1553863156.133 * [progress]: [Phase 1 of 3] Setting up.
1553863156.133 * * * [progress]: [1/2] Preparing points
1553863156.133 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1553863156.134 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1553863156.137 * * * * [points]: Setting MPFR precision to 64
1553863156.138 * * * * [points]: Setting MPFR precision to 320
1553863156.140 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1553863156.143 * * * * [points]: Setting MPFR precision to 64
1553863156.146 * * * * [points]: Setting MPFR precision to 320
1553863156.150 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1553863156.153 * * * * [points]: Setting MPFR precision to 64
1553863156.157 * * * * [points]: Setting MPFR precision to 320
1553863156.164 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1553863156.167 * * * * [points]: Setting MPFR precision to 64
1553863156.175 * * * * [points]: Setting MPFR precision to 320
1553863156.185 * * * * [points]: Computing exacts for 256 points
1553863156.188 * * * * [points]: Setting MPFR precision to 64
1553863156.210 * * * * [points]: Setting MPFR precision to 320
1553863156.241 * * * * [points]: Filtering points with unrepresentable outputs
1553863156.252 * * * * [points]: Sampling 147 additional inputs, on iter 1 have 109 / 256
1553863156.252 * * * * [points]: Computing exacts on every 9 of 147 points to ramp up precision
1553863156.255 * * * * [points]: Setting MPFR precision to 64
1553863156.257 * * * * [points]: Setting MPFR precision to 320
1553863156.258 * * * * [points]: Computing exacts on every 4 of 147 points to ramp up precision
1553863156.261 * * * * [points]: Setting MPFR precision to 64
1553863156.264 * * * * [points]: Setting MPFR precision to 320
1553863156.267 * * * * [points]: Computing exacts on every 2 of 147 points to ramp up precision
1553863156.270 * * * * [points]: Setting MPFR precision to 64
1553863156.274 * * * * [points]: Setting MPFR precision to 320
1553863156.280 * * * * [points]: Computing exacts for 147 points
1553863156.284 * * * * [points]: Setting MPFR precision to 64
1553863156.296 * * * * [points]: Setting MPFR precision to 320
1553863156.315 * * * * [points]: Filtering points with unrepresentable outputs
1553863156.322 * * * * [points]: Sampling 76 additional inputs, on iter 2 have 180 / 256
1553863156.322 * * * * [points]: Computing exacts on every 4 of 76 points to ramp up precision
1553863156.349 * * * * [points]: Setting MPFR precision to 64
1553863156.351 * * * * [points]: Setting MPFR precision to 320
1553863156.353 * * * * [points]: Computing exacts on every 2 of 76 points to ramp up precision
1553863156.357 * * * * [points]: Setting MPFR precision to 64
1553863156.361 * * * * [points]: Setting MPFR precision to 320
1553863156.364 * * * * [points]: Computing exacts for 76 points
1553863156.368 * * * * [points]: Setting MPFR precision to 64
1553863156.374 * * * * [points]: Setting MPFR precision to 320
1553863156.384 * * * * [points]: Filtering points with unrepresentable outputs
1553863156.388 * * * * [points]: Sampling 36 additional inputs, on iter 3 have 220 / 256
1553863156.388 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
1553863156.391 * * * * [points]: Setting MPFR precision to 64
1553863156.393 * * * * [points]: Setting MPFR precision to 320
1553863156.394 * * * * [points]: Computing exacts for 36 points
1553863156.397 * * * * [points]: Setting MPFR precision to 64
1553863156.401 * * * * [points]: Setting MPFR precision to 320
1553863156.405 * * * * [points]: Filtering points with unrepresentable outputs
1553863156.407 * * * * [points]: Sampling 23 additional inputs, on iter 4 have 233 / 256
1553863156.407 * * * * [points]: Computing exacts for 23 points
1553863156.410 * * * * [points]: Setting MPFR precision to 64
1553863156.412 * * * * [points]: Setting MPFR precision to 320
1553863156.415 * * * * [points]: Filtering points with unrepresentable outputs
1553863156.416 * * * * [points]: Sampling 9 additional inputs, on iter 5 have 247 / 256
1553863156.416 * * * * [points]: Computing exacts for 9 points
1553863156.420 * * * * [points]: Setting MPFR precision to 64
1553863156.421 * * * * [points]: Setting MPFR precision to 320
1553863156.422 * * * * [points]: Filtering points with unrepresentable outputs
1553863156.423 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
1553863156.423 * * * * [points]: Computing exacts for 4 points
1553863156.426 * * * * [points]: Setting MPFR precision to 64
1553863156.427 * * * * [points]: Setting MPFR precision to 320
1553863156.427 * * * * [points]: Filtering points with unrepresentable outputs
1553863156.427 * * * * [points]: Sampled 256 points with exact outputs
1553863156.428 * * * [progress]: [2/2] Setting up program.
1553863156.463 * [progress]: [Phase 2 of 3] Improving.
1553863156.463 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1553863156.464 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863156.464 * * [simplify]: iters left: 5 (9 enodes)
1553863156.468 * * [simplify]: iters left: 4 (22 enodes)
1553863156.477 * * [simplify]: iters left: 3 (42 enodes)
1553863156.493 * * [simplify]: iters left: 2 (100 enodes)
1553863156.553 * * [simplify]: iters left: 1 (347 enodes)
1553863156.859 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863156.859 * * [simplify]: Extracting #1: cost 48 inf + 0
1553863156.861 * * [simplify]: Extracting #2: cost 269 inf + 0
1553863156.864 * * [simplify]: Extracting #3: cost 457 inf + 1
1553863156.882 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553863156.974 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553863157.096 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553863157.220 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553863157.341 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553863157.460 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553863157.579 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863157.579 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1553863157.604 * * [progress]: iteration 1 / 4
1553863157.604 * * * [progress]: picking best candidate
1553863157.627 * * * * [pick]: Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1553863157.627 * * * [progress]: localizing error
1553863157.995 * * * [progress]: generating rewritten candidates
1553863157.995 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1553863158.001 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1553863158.003 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1553863158.005 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1553863158.006 * * * [progress]: generating series expansions
1553863158.006 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1553863158.006 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1553863158.006 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1553863158.006 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1553863158.006 * * * [progress]: simplifying candidates
1553863158.006 * * * * [progress]: [ 1 / 6 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863158.006 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863158.006 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1553863158.007 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863158.007 * * [simplify]: iters left: 5 (9 enodes)
1553863158.010 * * [simplify]: iters left: 4 (22 enodes)
1553863158.018 * * [simplify]: iters left: 3 (42 enodes)
1553863158.032 * * [simplify]: iters left: 2 (100 enodes)
1553863158.079 * * [simplify]: iters left: 1 (347 enodes)
1553863158.330 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863158.330 * * [simplify]: Extracting #1: cost 48 inf + 0
1553863158.331 * * [simplify]: Extracting #2: cost 269 inf + 0
1553863158.332 * * [simplify]: Extracting #3: cost 457 inf + 1
1553863158.341 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553863158.389 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553863158.455 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553863158.518 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553863158.581 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553863158.680 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553863158.799 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863158.799 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1553863158.800 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1553863158.800 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863158.800 * * [simplify]: iters left: 5 (9 enodes)
1553863158.805 * * [simplify]: iters left: 4 (22 enodes)
1553863158.813 * * [simplify]: iters left: 3 (42 enodes)
1553863158.830 * * [simplify]: iters left: 2 (100 enodes)
1553863158.877 * * [simplify]: iters left: 1 (347 enodes)
1553863159.177 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863159.178 * * [simplify]: Extracting #1: cost 48 inf + 0
1553863159.179 * * [simplify]: Extracting #2: cost 269 inf + 0
1553863159.182 * * [simplify]: Extracting #3: cost 457 inf + 1
1553863159.199 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553863159.291 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553863159.416 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553863159.538 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553863159.657 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553863159.777 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553863159.893 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863159.893 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1553863159.894 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1553863159.894 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863159.894 * * [simplify]: iters left: 5 (9 enodes)
1553863159.897 * * [simplify]: iters left: 4 (22 enodes)
1553863159.902 * * [simplify]: iters left: 3 (42 enodes)
1553863159.912 * * [simplify]: iters left: 2 (100 enodes)
1553863159.935 * * [simplify]: iters left: 1 (347 enodes)
1553863160.120 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863160.120 * * [simplify]: Extracting #1: cost 48 inf + 0
1553863160.121 * * [simplify]: Extracting #2: cost 269 inf + 0
1553863160.122 * * [simplify]: Extracting #3: cost 457 inf + 1
1553863160.131 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553863160.196 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553863160.323 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553863160.443 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553863160.566 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553863160.688 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553863160.810 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863160.810 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1553863160.810 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1553863160.811 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863160.812 * * [simplify]: iters left: 5 (9 enodes)
1553863160.817 * * [simplify]: iters left: 4 (22 enodes)
1553863160.825 * * [simplify]: iters left: 3 (42 enodes)
1553863160.841 * * [simplify]: iters left: 2 (100 enodes)
1553863160.886 * * [simplify]: iters left: 1 (347 enodes)
1553863161.126 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863161.126 * * [simplify]: Extracting #1: cost 48 inf + 0
1553863161.126 * * [simplify]: Extracting #2: cost 269 inf + 0
1553863161.128 * * [simplify]: Extracting #3: cost 457 inf + 1
1553863161.136 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553863161.188 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553863161.315 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553863161.411 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553863161.517 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553863161.636 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553863161.757 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863161.757 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1553863161.758 * * * [progress]: adding candidates to table
1553863162.088 * * [progress]: iteration 2 / 4
1553863162.088 * * * [progress]: picking best candidate
1553863162.128 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863162.128 * * * [progress]: localizing error
1553863162.695 * * * [progress]: generating rewritten candidates
1553863162.695 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1553863162.720 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1553863162.769 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1553863162.779 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1553863162.789 * * * [progress]: generating series expansions
1553863162.789 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1553863162.790 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1553863162.790 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1553863162.790 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1553863162.790 * * * [progress]: simplifying candidates
1553863162.790 * * * * [progress]: [ 1 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863162.790 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863162.790 * * [simplify]: iters left: 5 (9 enodes)
1553863162.795 * * [simplify]: iters left: 4 (16 enodes)
1553863162.801 * * [simplify]: iters left: 3 (18 enodes)
1553863162.809 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863162.809 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863162.809 * * [simplify]: Extracting #2: cost 6 inf + 0
1553863162.809 * * [simplify]: Extracting #3: cost 9 inf + 0
1553863162.809 * * [simplify]: Extracting #4: cost 6 inf + 43
1553863162.810 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553863162.810 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863162.810 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863162.810 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863162.810 * * [simplify]: iters left: 5 (9 enodes)
1553863162.814 * * [simplify]: iters left: 4 (22 enodes)
1553863162.822 * * [simplify]: iters left: 3 (42 enodes)
1553863162.838 * * [simplify]: iters left: 2 (100 enodes)
1553863162.884 * * [simplify]: iters left: 1 (347 enodes)
1553863163.181 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863163.181 * * [simplify]: Extracting #1: cost 48 inf + 0
1553863163.187 * * [simplify]: Extracting #2: cost 269 inf + 0
1553863163.190 * * [simplify]: Extracting #3: cost 457 inf + 1
1553863163.208 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553863163.294 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553863163.372 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553863163.446 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553863163.510 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553863163.573 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553863163.636 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863163.636 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863163.636 * * * * [progress]: [ 2 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863163.636 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863163.636 * * [simplify]: iters left: 5 (9 enodes)
1553863163.640 * * [simplify]: iters left: 4 (16 enodes)
1553863163.646 * * [simplify]: iters left: 3 (18 enodes)
1553863163.652 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863163.652 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863163.652 * * [simplify]: Extracting #2: cost 6 inf + 0
1553863163.652 * * [simplify]: Extracting #3: cost 9 inf + 0
1553863163.652 * * [simplify]: Extracting #4: cost 6 inf + 43
1553863163.652 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553863163.652 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863163.652 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863163.653 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863163.653 * * [simplify]: iters left: 5 (9 enodes)
1553863163.657 * * [simplify]: iters left: 4 (22 enodes)
1553863163.665 * * [simplify]: iters left: 3 (42 enodes)
1553863163.681 * * [simplify]: iters left: 2 (100 enodes)
1553863163.726 * * [simplify]: iters left: 1 (347 enodes)
1553863164.033 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863164.034 * * [simplify]: Extracting #1: cost 48 inf + 0
1553863164.035 * * [simplify]: Extracting #2: cost 269 inf + 0
1553863164.038 * * [simplify]: Extracting #3: cost 457 inf + 1
1553863164.055 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553863164.144 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553863164.234 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553863164.356 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553863164.480 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553863164.602 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553863164.723 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863164.723 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863164.723 * * * * [progress]: [ 3 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863164.723 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863164.723 * * [simplify]: iters left: 5 (9 enodes)
1553863164.728 * * [simplify]: iters left: 4 (16 enodes)
1553863164.733 * * [simplify]: iters left: 3 (18 enodes)
1553863164.739 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863164.739 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863164.739 * * [simplify]: Extracting #2: cost 6 inf + 0
1553863164.739 * * [simplify]: Extracting #3: cost 9 inf + 0
1553863164.739 * * [simplify]: Extracting #4: cost 6 inf + 43
1553863164.739 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553863164.740 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863164.740 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863164.740 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863164.740 * * [simplify]: iters left: 5 (9 enodes)
1553863164.744 * * [simplify]: iters left: 4 (22 enodes)
1553863164.753 * * [simplify]: iters left: 3 (42 enodes)
1553863164.769 * * [simplify]: iters left: 2 (100 enodes)
1553863164.816 * * [simplify]: iters left: 1 (347 enodes)
1553863165.125 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863165.125 * * [simplify]: Extracting #1: cost 48 inf + 0
1553863165.126 * * [simplify]: Extracting #2: cost 269 inf + 0
1553863165.129 * * [simplify]: Extracting #3: cost 457 inf + 1
1553863165.147 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553863165.241 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553863165.366 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553863165.487 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553863165.610 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553863165.733 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553863165.855 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863165.855 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863165.855 * * * * [progress]: [ 4 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863165.855 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863165.856 * * [simplify]: iters left: 5 (9 enodes)
1553863165.860 * * [simplify]: iters left: 4 (16 enodes)
1553863165.865 * * [simplify]: iters left: 3 (18 enodes)
1553863165.873 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863165.873 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863165.873 * * [simplify]: Extracting #2: cost 6 inf + 0
1553863165.873 * * [simplify]: Extracting #3: cost 9 inf + 0
1553863165.873 * * [simplify]: Extracting #4: cost 6 inf + 43
1553863165.873 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553863165.874 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863165.874 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863165.874 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863165.874 * * [simplify]: iters left: 5 (9 enodes)
1553863165.878 * * [simplify]: iters left: 4 (22 enodes)
1553863165.887 * * [simplify]: iters left: 3 (42 enodes)
1553863165.903 * * [simplify]: iters left: 2 (100 enodes)
1553863165.949 * * [simplify]: iters left: 1 (347 enodes)
1553863166.258 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863166.259 * * [simplify]: Extracting #1: cost 48 inf + 0
1553863166.265 * * [simplify]: Extracting #2: cost 269 inf + 0
1553863166.268 * * [simplify]: Extracting #3: cost 457 inf + 1
1553863166.287 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553863166.375 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553863166.501 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553863166.622 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553863166.745 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553863166.868 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553863166.990 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863166.990 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863166.990 * * * * [progress]: [ 5 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (neg.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863166.990 * * * * [progress]: [ 6 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863166.991 * * * * [progress]: [ 7 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
1553863166.991 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863166.991 * * [simplify]: iters left: 5 (9 enodes)
1553863166.997 * * [simplify]: iters left: 4 (16 enodes)
1553863167.003 * * [simplify]: iters left: 3 (18 enodes)
1553863167.009 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863167.009 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863167.009 * * [simplify]: Extracting #2: cost 6 inf + 0
1553863167.009 * * [simplify]: Extracting #3: cost 9 inf + 0
1553863167.009 * * [simplify]: Extracting #4: cost 6 inf + 43
1553863167.009 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553863167.009 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863167.009 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
1553863167.010 * * * * [progress]: [ 8 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
1553863167.010 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863167.010 * * [simplify]: iters left: 5 (9 enodes)
1553863167.014 * * [simplify]: iters left: 4 (16 enodes)
1553863167.020 * * [simplify]: iters left: 3 (18 enodes)
1553863167.026 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863167.026 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863167.026 * * [simplify]: Extracting #2: cost 6 inf + 0
1553863167.026 * * [simplify]: Extracting #3: cost 9 inf + 0
1553863167.026 * * [simplify]: Extracting #4: cost 6 inf + 43
1553863167.026 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553863167.026 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863167.026 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
1553863167.027 * * * * [progress]: [ 9 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
1553863167.027 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863167.027 * * [simplify]: iters left: 5 (9 enodes)
1553863167.031 * * [simplify]: iters left: 4 (16 enodes)
1553863167.036 * * [simplify]: iters left: 3 (18 enodes)
1553863167.042 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863167.042 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863167.042 * * [simplify]: Extracting #2: cost 6 inf + 0
1553863167.042 * * [simplify]: Extracting #3: cost 9 inf + 0
1553863167.042 * * [simplify]: Extracting #4: cost 6 inf + 43
1553863167.043 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553863167.043 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863167.043 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
1553863167.043 * * * * [progress]: [ 10 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
1553863167.043 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863167.044 * * [simplify]: iters left: 5 (9 enodes)
1553863167.048 * * [simplify]: iters left: 4 (16 enodes)
1553863167.054 * * [simplify]: iters left: 3 (18 enodes)
1553863167.060 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863167.060 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863167.060 * * [simplify]: Extracting #2: cost 6 inf + 0
1553863167.060 * * [simplify]: Extracting #3: cost 9 inf + 0
1553863167.060 * * [simplify]: Extracting #4: cost 6 inf + 43
1553863167.061 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553863167.061 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863167.061 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
1553863167.061 * * * * [progress]: [ 11 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))))>
1553863167.061 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863167.062 * * [simplify]: iters left: 6 (13 enodes)
1553863167.068 * * [simplify]: iters left: 5 (45 enodes)
1553863167.089 * * [simplify]: iters left: 4 (144 enodes)
1553863167.161 * * [simplify]: iters left: 3 (446 enodes)
1553863167.590 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863167.591 * * [simplify]: Extracting #1: cost 41 inf + 0
1553863167.592 * * [simplify]: Extracting #2: cost 283 inf + 0
1553863167.595 * * [simplify]: Extracting #3: cost 446 inf + 44
1553863167.617 * * [simplify]: Extracting #4: cost 488 inf + 246749
1553863167.736 * * [simplify]: Extracting #5: cost 101 inf + 1165723
1553863167.913 * * [simplify]: Extracting #6: cost 2 inf + 1463482
1553863168.080 * * [simplify]: Extracting #7: cost 0 inf + 1419126
1553863168.249 * * [simplify]: Extracting #8: cost 0 inf + 1414206
1553863168.416 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 1) (-.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))) (*.p16 (real->posit16 1) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x))))
1553863168.417 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (*.p16 (*.p16 (real->posit16 1) (-.p16 (/.p16 (real->posit16 1) x) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))) (*.p16 (real->posit16 1) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))))
1553863168.417 * * * * [progress]: [ 12 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863168.417 * [simplify]: Simplifying (sqrt.p16 (+.p16 x (real->posit16 1)))
1553863168.417 * * [simplify]: iters left: 3 (5 enodes)
1553863168.420 * * [simplify]: iters left: 2 (11 enodes)
1553863168.424 * * [simplify]: iters left: 1 (13 enodes)
1553863168.429 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863168.429 * * [simplify]: Extracting #1: cost 2 inf + 0
1553863168.429 * * [simplify]: Extracting #2: cost 4 inf + 0
1553863168.429 * * [simplify]: Extracting #3: cost 4 inf + 1
1553863168.429 * * [simplify]: Extracting #4: cost 0 inf + 127
1553863168.429 * [simplify]: Simplified to (sqrt.p16 (+.p16 (real->posit16 1) x))
1553863168.429 * [simplify]: Simplified (2 1 2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (real->posit16 1)) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863168.429 * * * * [progress]: [ 13 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863168.430 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863168.430 * * [simplify]: iters left: 5 (7 enodes)
1553863168.433 * * [simplify]: iters left: 4 (16 enodes)
1553863168.439 * * [simplify]: iters left: 3 (20 enodes)
1553863168.445 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863168.446 * * [simplify]: Extracting #1: cost 6 inf + 0
1553863168.446 * * [simplify]: Extracting #2: cost 8 inf + 0
1553863168.446 * * [simplify]: Extracting #3: cost 8 inf + 1
1553863168.446 * * [simplify]: Extracting #4: cost 5 inf + 324
1553863168.446 * * [simplify]: Extracting #5: cost 0 inf + 2334
1553863168.446 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
1553863168.446 * [simplify]: Simplified (2 1 2 1) to (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1)) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863168.447 * * * * [progress]: [ 14 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863168.447 * * * * [progress]: [ 15 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1)) (sqrt.p16 x)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863168.447 * [simplify]: Simplifying (sqrt.p16 x)
1553863168.447 * * [simplify]: iters left: 1 (2 enodes)
1553863168.448 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863168.448 * * [simplify]: Extracting #1: cost 2 inf + 0
1553863168.448 * * [simplify]: Extracting #2: cost 1 inf + 1
1553863168.448 * * [simplify]: Extracting #3: cost 0 inf + 42
1553863168.448 * [simplify]: Simplified to (sqrt.p16 x)
1553863168.448 * [simplify]: Simplified (2 1 1 2) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1)) (sqrt.p16 x)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863168.449 * * * * [progress]: [ 16 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863168.449 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x)))
1553863168.449 * * [simplify]: iters left: 3 (6 enodes)
1553863168.453 * * [simplify]: iters left: 2 (14 enodes)
1553863168.458 * * [simplify]: iters left: 1 (18 enodes)
1553863168.464 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863168.464 * * [simplify]: Extracting #1: cost 6 inf + 0
1553863168.464 * * [simplify]: Extracting #2: cost 8 inf + 0
1553863168.464 * * [simplify]: Extracting #3: cost 5 inf + 43
1553863168.465 * * [simplify]: Extracting #4: cost 0 inf + 2131
1553863168.465 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1))
1553863168.465 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1)) (sqrt.p16 x)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863168.465 * * * * [progress]: [ 17 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863168.465 * * * * [progress]: [ 18 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863168.465 * * * * [progress]: [ 19 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863168.465 * * * * [progress]: [ 20 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863168.465 * * * * [progress]: [ 21 / 21 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863168.466 * * * [progress]: adding candidates to table
1553863170.035 * * [progress]: iteration 3 / 4
1553863170.035 * * * [progress]: picking best candidate
1553863170.233 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863170.234 * * * [progress]: localizing error
1553863170.688 * * * [progress]: generating rewritten candidates
1553863170.688 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1553863170.694 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1553863170.729 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
1553863170.732 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
1553863170.735 * * * [progress]: generating series expansions
1553863170.735 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1553863170.735 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1553863170.735 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
1553863170.735 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
1553863170.735 * * * [progress]: simplifying candidates
1553863170.735 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863170.736 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863170.736 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
1553863170.736 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863170.736 * * [simplify]: iters left: 5 (9 enodes)
1553863170.741 * * [simplify]: iters left: 4 (16 enodes)
1553863170.746 * * [simplify]: iters left: 3 (18 enodes)
1553863170.752 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863170.753 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863170.753 * * [simplify]: Extracting #2: cost 6 inf + 0
1553863170.753 * * [simplify]: Extracting #3: cost 9 inf + 0
1553863170.753 * * [simplify]: Extracting #4: cost 6 inf + 43
1553863170.753 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553863170.753 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863170.753 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
1553863170.753 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
1553863170.754 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863170.754 * * [simplify]: iters left: 5 (9 enodes)
1553863170.758 * * [simplify]: iters left: 4 (22 enodes)
1553863170.767 * * [simplify]: iters left: 3 (42 enodes)
1553863170.784 * * [simplify]: iters left: 2 (100 enodes)
1553863170.832 * * [simplify]: iters left: 1 (347 enodes)
1553863171.113 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863171.113 * * [simplify]: Extracting #1: cost 48 inf + 0
1553863171.114 * * [simplify]: Extracting #2: cost 269 inf + 0
1553863171.116 * * [simplify]: Extracting #3: cost 457 inf + 1
1553863171.126 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553863171.194 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553863171.259 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553863171.336 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553863171.398 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553863171.521 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553863171.643 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863171.644 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
1553863171.644 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
1553863171.644 * [simplify]: Simplifying (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863171.644 * * [simplify]: iters left: 6 (13 enodes)
1553863171.651 * * [simplify]: iters left: 5 (38 enodes)
1553863171.666 * * [simplify]: iters left: 4 (106 enodes)
1553863171.719 * * [simplify]: iters left: 3 (376 enodes)
1553863172.063 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863172.063 * * [simplify]: Extracting #1: cost 52 inf + 0
1553863172.064 * * [simplify]: Extracting #2: cost 302 inf + 0
1553863172.067 * * [simplify]: Extracting #3: cost 417 inf + 43
1553863172.089 * * [simplify]: Extracting #4: cost 351 inf + 302562
1553863172.151 * * [simplify]: Extracting #5: cost 35 inf + 1004993
1553863172.222 * * [simplify]: Extracting #6: cost 0 inf + 1083663
1553863172.312 * * [simplify]: Extracting #7: cost 0 inf + 1082583
1553863172.419 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))))
1553863172.419 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
1553863172.420 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863172.420 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863172.420 * * [simplify]: iters left: 5 (9 enodes)
1553863172.424 * * [simplify]: iters left: 4 (16 enodes)
1553863172.430 * * [simplify]: iters left: 3 (18 enodes)
1553863172.436 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863172.436 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863172.436 * * [simplify]: Extracting #2: cost 6 inf + 0
1553863172.436 * * [simplify]: Extracting #3: cost 9 inf + 0
1553863172.436 * * [simplify]: Extracting #4: cost 6 inf + 43
1553863172.436 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553863172.436 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863172.436 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863172.437 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863172.437 * * [simplify]: iters left: 5 (9 enodes)
1553863172.441 * * [simplify]: iters left: 4 (22 enodes)
1553863172.449 * * [simplify]: iters left: 3 (42 enodes)
1553863172.466 * * [simplify]: iters left: 2 (100 enodes)
1553863172.511 * * [simplify]: iters left: 1 (347 enodes)
1553863172.814 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863172.814 * * [simplify]: Extracting #1: cost 48 inf + 0
1553863172.815 * * [simplify]: Extracting #2: cost 269 inf + 0
1553863172.818 * * [simplify]: Extracting #3: cost 457 inf + 1
1553863172.836 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553863172.924 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553863173.054 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553863173.177 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553863173.255 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553863173.367 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553863173.491 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863173.491 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863173.491 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863173.492 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863173.492 * * [simplify]: iters left: 5 (9 enodes)
1553863173.496 * * [simplify]: iters left: 4 (16 enodes)
1553863173.501 * * [simplify]: iters left: 3 (18 enodes)
1553863173.507 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863173.507 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863173.507 * * [simplify]: Extracting #2: cost 6 inf + 0
1553863173.507 * * [simplify]: Extracting #3: cost 9 inf + 0
1553863173.507 * * [simplify]: Extracting #4: cost 6 inf + 43
1553863173.508 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553863173.508 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863173.508 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863173.508 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863173.508 * * [simplify]: iters left: 5 (9 enodes)
1553863173.512 * * [simplify]: iters left: 4 (22 enodes)
1553863173.521 * * [simplify]: iters left: 3 (42 enodes)
1553863173.537 * * [simplify]: iters left: 2 (100 enodes)
1553863173.584 * * [simplify]: iters left: 1 (347 enodes)
1553863173.848 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863173.848 * * [simplify]: Extracting #1: cost 48 inf + 0
1553863173.849 * * [simplify]: Extracting #2: cost 269 inf + 0
1553863173.852 * * [simplify]: Extracting #3: cost 457 inf + 1
1553863173.869 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553863173.934 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553863174.032 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553863174.151 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553863174.234 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553863174.323 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553863174.399 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863174.399 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863174.399 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863174.400 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863174.400 * * [simplify]: iters left: 5 (9 enodes)
1553863174.403 * * [simplify]: iters left: 4 (16 enodes)
1553863174.408 * * [simplify]: iters left: 3 (18 enodes)
1553863174.414 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863174.414 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863174.414 * * [simplify]: Extracting #2: cost 6 inf + 0
1553863174.414 * * [simplify]: Extracting #3: cost 9 inf + 0
1553863174.414 * * [simplify]: Extracting #4: cost 6 inf + 43
1553863174.414 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553863174.414 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863174.414 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863174.416 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863174.416 * * [simplify]: iters left: 5 (9 enodes)
1553863174.420 * * [simplify]: iters left: 4 (22 enodes)
1553863174.428 * * [simplify]: iters left: 3 (42 enodes)
1553863174.444 * * [simplify]: iters left: 2 (100 enodes)
1553863174.488 * * [simplify]: iters left: 1 (347 enodes)
1553863174.732 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863174.732 * * [simplify]: Extracting #1: cost 48 inf + 0
1553863174.733 * * [simplify]: Extracting #2: cost 269 inf + 0
1553863174.738 * * [simplify]: Extracting #3: cost 457 inf + 1
1553863174.748 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553863174.823 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553863174.899 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553863174.982 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553863175.065 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553863175.154 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553863175.255 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863175.255 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863175.256 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1553863175.256 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863175.256 * * [simplify]: iters left: 5 (9 enodes)
1553863175.259 * * [simplify]: iters left: 4 (16 enodes)
1553863175.261 * * [simplify]: iters left: 3 (18 enodes)
1553863175.264 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863175.265 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863175.265 * * [simplify]: Extracting #2: cost 6 inf + 0
1553863175.265 * * [simplify]: Extracting #3: cost 9 inf + 0
1553863175.265 * * [simplify]: Extracting #4: cost 6 inf + 43
1553863175.265 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553863175.265 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863175.265 * [simplify]: Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863175.265 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863175.265 * * [simplify]: iters left: 5 (9 enodes)
1553863175.267 * * [simplify]: iters left: 4 (22 enodes)
1553863175.271 * * [simplify]: iters left: 3 (42 enodes)
1553863175.280 * * [simplify]: iters left: 2 (100 enodes)
1553863175.303 * * [simplify]: iters left: 1 (347 enodes)
1553863175.553 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863175.554 * * [simplify]: Extracting #1: cost 48 inf + 0
1553863175.554 * * [simplify]: Extracting #2: cost 269 inf + 0
1553863175.556 * * [simplify]: Extracting #3: cost 457 inf + 1
1553863175.564 * * [simplify]: Extracting #4: cost 422 inf + 210469
1553863175.624 * * [simplify]: Extracting #5: cost 77 inf + 915056
1553863175.691 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1553863175.768 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1553863175.875 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1553863175.975 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1553863176.058 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863176.058 * [simplify]: Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1553863176.058 * * * [progress]: adding candidates to table
1553863176.348 * * [progress]: iteration 4 / 4
1553863176.348 * * * [progress]: picking best candidate
1553863176.478 * * * * [pick]: Picked  #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
1553863176.478 * * * [progress]: localizing error
1553863176.787 * * * [progress]: generating rewritten candidates
1553863176.787 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1553863176.793 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1553863176.810 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
1553863176.812 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
1553863176.815 * * * [progress]: generating series expansions
1553863176.815 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1553863176.815 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1553863176.815 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
1553863176.815 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
1553863176.816 * * * [progress]: simplifying candidates
1553863176.816 * * * * [progress]: [ 1 / 7 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (neg.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))))>
1553863176.816 * * * * [progress]: [ 2 / 7 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))))>
1553863176.816 * * * * [progress]: [ 3 / 7 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
1553863176.816 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863176.816 * * [simplify]: iters left: 5 (9 enodes)
1553863176.820 * * [simplify]: iters left: 4 (16 enodes)
1553863176.835 * * [simplify]: iters left: 3 (18 enodes)
1553863176.841 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863176.841 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863176.841 * * [simplify]: Extracting #2: cost 6 inf + 0
1553863176.841 * * [simplify]: Extracting #3: cost 9 inf + 0
1553863176.841 * * [simplify]: Extracting #4: cost 6 inf + 43
1553863176.842 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553863176.842 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863176.842 * [simplify]: Simplified (2 2 2) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))))
1553863176.842 * * * * [progress]: [ 4 / 7 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
1553863176.843 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863176.843 * * [simplify]: iters left: 5 (9 enodes)
1553863176.847 * * [simplify]: iters left: 4 (16 enodes)
1553863176.852 * * [simplify]: iters left: 3 (18 enodes)
1553863176.859 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863176.859 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863176.859 * * [simplify]: Extracting #2: cost 6 inf + 0
1553863176.859 * * [simplify]: Extracting #3: cost 9 inf + 0
1553863176.859 * * [simplify]: Extracting #4: cost 6 inf + 43
1553863176.859 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553863176.859 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863176.859 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
1553863176.860 * * * * [progress]: [ 5 / 7 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
1553863176.860 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863176.860 * * [simplify]: iters left: 5 (9 enodes)
1553863176.864 * * [simplify]: iters left: 4 (16 enodes)
1553863176.869 * * [simplify]: iters left: 3 (18 enodes)
1553863176.875 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863176.875 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863176.875 * * [simplify]: Extracting #2: cost 6 inf + 0
1553863176.875 * * [simplify]: Extracting #3: cost 9 inf + 0
1553863176.875 * * [simplify]: Extracting #4: cost 6 inf + 43
1553863176.876 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553863176.876 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863176.876 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
1553863176.876 * * * * [progress]: [ 6 / 7 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
1553863176.876 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863176.876 * * [simplify]: iters left: 5 (9 enodes)
1553863176.880 * * [simplify]: iters left: 4 (16 enodes)
1553863176.886 * * [simplify]: iters left: 3 (18 enodes)
1553863176.891 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863176.891 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863176.891 * * [simplify]: Extracting #2: cost 6 inf + 0
1553863176.891 * * [simplify]: Extracting #3: cost 9 inf + 0
1553863176.891 * * [simplify]: Extracting #4: cost 6 inf + 43
1553863176.892 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553863176.892 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863176.892 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
1553863176.892 * * * * [progress]: [ 7 / 7 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
1553863176.892 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1553863176.892 * * [simplify]: iters left: 5 (9 enodes)
1553863176.897 * * [simplify]: iters left: 4 (16 enodes)
1553863176.902 * * [simplify]: iters left: 3 (18 enodes)
1553863176.906 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863176.906 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863176.906 * * [simplify]: Extracting #2: cost 6 inf + 0
1553863176.906 * * [simplify]: Extracting #3: cost 9 inf + 0
1553863176.906 * * [simplify]: Extracting #4: cost 6 inf + 43
1553863176.907 * * [simplify]: Extracting #5: cost 0 inf + 2214
1553863176.907 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1553863176.907 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
1553863176.907 * * * [progress]: adding candidates to table
1553863177.168 * [progress]: [Phase 3 of 3] Extracting.
1553863177.168 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))> #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))> #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))))> #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>)
1553863177.172 * * * [regime-changes]: Trying 1 branch expressions: (x)
1553863177.172 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))> #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))> #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))))> #<alt (λ (x) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (/.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>)
1553863177.558 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
1553863177.558 * [simplify]: Simplifying (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
1553863177.558 * * [simplify]: iters left: 6 (12 enodes)
1553863177.559 * * [simplify]: iters left: 5 (14 enodes)
1553863177.560 * * [simplify]: Extracting #0: cost 1 inf + 0
1553863177.560 * * [simplify]: Extracting #1: cost 3 inf + 0
1553863177.560 * * [simplify]: Extracting #2: cost 6 inf + 0
1553863177.560 * * [simplify]: Extracting #3: cost 9 inf + 0
1553863177.560 * * [simplify]: Extracting #4: cost 12 inf + 0
1553863177.560 * * [simplify]: Extracting #5: cost 9 inf + 43
1553863177.560 * * [simplify]: Extracting #6: cost 0 inf + 6620
1553863177.561 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))
1553863177.561 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1553863177.578 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1553863177.581 * * * * [points]: Setting MPFR precision to 64
1553863177.582 * * * * [points]: Setting MPFR precision to 320
1553863177.583 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1553863177.585 * * * * [points]: Setting MPFR precision to 64
1553863177.586 * * * * [points]: Setting MPFR precision to 320
1553863177.588 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1553863177.589 * * * * [points]: Setting MPFR precision to 64
1553863177.592 * * * * [points]: Setting MPFR precision to 320
1553863177.596 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1553863177.598 * * * * [points]: Setting MPFR precision to 64
1553863177.603 * * * * [points]: Setting MPFR precision to 320
1553863177.628 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1553863177.633 * * * * [points]: Setting MPFR precision to 64
1553863177.652 * * * * [points]: Setting MPFR precision to 320
1553863177.675 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1553863177.678 * * * * [points]: Setting MPFR precision to 64
1553863177.713 * * * * [points]: Setting MPFR precision to 320
1553863177.747 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1553863177.750 * * * * [points]: Setting MPFR precision to 64
1553863178.173 * * * * [points]: Setting MPFR precision to 320
1553863178.248 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1553863178.252 * * * * [points]: Setting MPFR precision to 64
1553863178.425 * * * * [points]: Setting MPFR precision to 320
1553863178.677 * * * * [points]: Computing exacts for 8000 points
1553863178.680 * * * * [points]: Setting MPFR precision to 64
1553863179.287 * * * * [points]: Setting MPFR precision to 320
1553863179.965 * * * * [points]: Filtering points with unrepresentable outputs
1553863180.245 * * * * [points]: Sampling 3980 additional inputs, on iter 1 have 4020 / 8000
1553863180.250 * * * * [points]: Computing exacts on every 248 of 3980 points to ramp up precision
1553863180.252 * * * * [points]: Setting MPFR precision to 64
1553863180.253 * * * * [points]: Setting MPFR precision to 320
1553863180.254 * * * * [points]: Computing exacts on every 124 of 3980 points to ramp up precision
1553863180.256 * * * * [points]: Setting MPFR precision to 64
1553863180.257 * * * * [points]: Setting MPFR precision to 320
1553863180.259 * * * * [points]: Computing exacts on every 62 of 3980 points to ramp up precision
1553863180.261 * * * * [points]: Setting MPFR precision to 64
1553863180.264 * * * * [points]: Setting MPFR precision to 320
1553863180.268 * * * * [points]: Computing exacts on every 31 of 3980 points to ramp up precision
1553863180.270 * * * * [points]: Setting MPFR precision to 64
1553863180.276 * * * * [points]: Setting MPFR precision to 320
1553863180.285 * * * * [points]: Computing exacts on every 15 of 3980 points to ramp up precision
1553863180.286 * * * * [points]: Setting MPFR precision to 64
1553863180.301 * * * * [points]: Setting MPFR precision to 320
1553863180.327 * * * * [points]: Computing exacts on every 7 of 3980 points to ramp up precision
1553863180.330 * * * * [points]: Setting MPFR precision to 64
1553863180.355 * * * * [points]: Setting MPFR precision to 320
1553863180.406 * * * * [points]: Computing exacts on every 3 of 3980 points to ramp up precision
1553863180.408 * * * * [points]: Setting MPFR precision to 64
1553863180.455 * * * * [points]: Setting MPFR precision to 320
1553863180.570 * * * * [points]: Computing exacts for 3980 points
1553863180.573 * * * * [points]: Setting MPFR precision to 64
1553863180.788 * * * * [points]: Setting MPFR precision to 320
1553863181.090 * * * * [points]: Filtering points with unrepresentable outputs
1553863181.206 * * * * [points]: Sampling 1963 additional inputs, on iter 2 have 6037 / 8000
1553863181.209 * * * * [points]: Computing exacts on every 122 of 1963 points to ramp up precision
1553863181.212 * * * * [points]: Setting MPFR precision to 64
1553863181.213 * * * * [points]: Setting MPFR precision to 320
1553863181.214 * * * * [points]: Computing exacts on every 61 of 1963 points to ramp up precision
1553863181.216 * * * * [points]: Setting MPFR precision to 64
1553863181.217 * * * * [points]: Setting MPFR precision to 320
1553863181.219 * * * * [points]: Computing exacts on every 30 of 1963 points to ramp up precision
1553863181.221 * * * * [points]: Setting MPFR precision to 64
1553863181.224 * * * * [points]: Setting MPFR precision to 320
1553863181.228 * * * * [points]: Computing exacts on every 15 of 1963 points to ramp up precision
1553863181.230 * * * * [points]: Setting MPFR precision to 64
1553863181.236 * * * * [points]: Setting MPFR precision to 320
1553863181.243 * * * * [points]: Computing exacts on every 7 of 1963 points to ramp up precision
1553863181.245 * * * * [points]: Setting MPFR precision to 64
1553863181.256 * * * * [points]: Setting MPFR precision to 320
1553863181.276 * * * * [points]: Computing exacts on every 3 of 1963 points to ramp up precision
1553863181.278 * * * * [points]: Setting MPFR precision to 64
1553863181.300 * * * * [points]: Setting MPFR precision to 320
1553863181.349 * * * * [points]: Computing exacts for 1963 points
1553863181.352 * * * * [points]: Setting MPFR precision to 64
1553863181.441 * * * * [points]: Setting MPFR precision to 320
1553863181.590 * * * * [points]: Filtering points with unrepresentable outputs
1553863181.916 * * * * [points]: Sampling 1020 additional inputs, on iter 3 have 6980 / 8000
1553863181.917 * * * * [points]: Computing exacts on every 63 of 1020 points to ramp up precision
1553863181.919 * * * * [points]: Setting MPFR precision to 64
1553863181.920 * * * * [points]: Setting MPFR precision to 320
1553863181.921 * * * * [points]: Computing exacts on every 31 of 1020 points to ramp up precision
1553863181.922 * * * * [points]: Setting MPFR precision to 64
1553863181.924 * * * * [points]: Setting MPFR precision to 320
1553863181.926 * * * * [points]: Computing exacts on every 15 of 1020 points to ramp up precision
1553863181.928 * * * * [points]: Setting MPFR precision to 64
1553863181.930 * * * * [points]: Setting MPFR precision to 320
1553863181.934 * * * * [points]: Computing exacts on every 7 of 1020 points to ramp up precision
1553863181.936 * * * * [points]: Setting MPFR precision to 64
1553863181.942 * * * * [points]: Setting MPFR precision to 320
1553863181.950 * * * * [points]: Computing exacts on every 3 of 1020 points to ramp up precision
1553863181.952 * * * * [points]: Setting MPFR precision to 64
1553863181.964 * * * * [points]: Setting MPFR precision to 320
1553863181.981 * * * * [points]: Computing exacts for 1020 points
1553863181.983 * * * * [points]: Setting MPFR precision to 64
1553863182.050 * * * * [points]: Setting MPFR precision to 320
1553863182.115 * * * * [points]: Filtering points with unrepresentable outputs
1553863182.139 * * * * [points]: Sampling 520 additional inputs, on iter 4 have 7480 / 8000
1553863182.140 * * * * [points]: Computing exacts on every 32 of 520 points to ramp up precision
1553863182.164 * * * * [points]: Setting MPFR precision to 64
1553863182.165 * * * * [points]: Setting MPFR precision to 320
1553863182.166 * * * * [points]: Computing exacts on every 16 of 520 points to ramp up precision
1553863182.167 * * * * [points]: Setting MPFR precision to 64
1553863182.169 * * * * [points]: Setting MPFR precision to 320
1553863182.173 * * * * [points]: Computing exacts on every 8 of 520 points to ramp up precision
1553863182.175 * * * * [points]: Setting MPFR precision to 64
1553863182.178 * * * * [points]: Setting MPFR precision to 320
1553863182.182 * * * * [points]: Computing exacts on every 4 of 520 points to ramp up precision
1553863182.184 * * * * [points]: Setting MPFR precision to 64
1553863182.189 * * * * [points]: Setting MPFR precision to 320
1553863182.195 * * * * [points]: Computing exacts on every 2 of 520 points to ramp up precision
1553863182.197 * * * * [points]: Setting MPFR precision to 64
1553863182.205 * * * * [points]: Setting MPFR precision to 320
1553863182.216 * * * * [points]: Computing exacts for 520 points
1553863182.218 * * * * [points]: Setting MPFR precision to 64
1553863182.243 * * * * [points]: Setting MPFR precision to 320
1553863182.276 * * * * [points]: Filtering points with unrepresentable outputs
1553863182.313 * * * * [points]: Sampling 284 additional inputs, on iter 5 have 7716 / 8000
1553863182.313 * * * * [points]: Computing exacts on every 17 of 284 points to ramp up precision
1553863182.315 * * * * [points]: Setting MPFR precision to 64
1553863182.316 * * * * [points]: Setting MPFR precision to 320
1553863182.317 * * * * [points]: Computing exacts on every 8 of 284 points to ramp up precision
1553863182.319 * * * * [points]: Setting MPFR precision to 64
1553863182.322 * * * * [points]: Setting MPFR precision to 320
1553863182.324 * * * * [points]: Computing exacts on every 4 of 284 points to ramp up precision
1553863182.326 * * * * [points]: Setting MPFR precision to 64
1553863182.328 * * * * [points]: Setting MPFR precision to 320
1553863182.332 * * * * [points]: Computing exacts on every 2 of 284 points to ramp up precision
1553863182.334 * * * * [points]: Setting MPFR precision to 64
1553863182.338 * * * * [points]: Setting MPFR precision to 320
1553863182.344 * * * * [points]: Computing exacts for 284 points
1553863182.346 * * * * [points]: Setting MPFR precision to 64
1553863182.359 * * * * [points]: Setting MPFR precision to 320
1553863182.378 * * * * [points]: Filtering points with unrepresentable outputs
1553863182.384 * * * * [points]: Sampling 146 additional inputs, on iter 6 have 7854 / 8000
1553863182.385 * * * * [points]: Computing exacts on every 9 of 146 points to ramp up precision
1553863182.387 * * * * [points]: Setting MPFR precision to 64
1553863182.387 * * * * [points]: Setting MPFR precision to 320
1553863182.388 * * * * [points]: Computing exacts on every 4 of 146 points to ramp up precision
1553863182.390 * * * * [points]: Setting MPFR precision to 64
1553863182.391 * * * * [points]: Setting MPFR precision to 320
1553863182.393 * * * * [points]: Computing exacts on every 2 of 146 points to ramp up precision
1553863182.395 * * * * [points]: Setting MPFR precision to 64
1553863182.397 * * * * [points]: Setting MPFR precision to 320
1553863182.400 * * * * [points]: Computing exacts for 146 points
1553863182.402 * * * * [points]: Setting MPFR precision to 64
1553863182.409 * * * * [points]: Setting MPFR precision to 320
1553863182.418 * * * * [points]: Filtering points with unrepresentable outputs
1553863182.422 * * * * [points]: Sampling 66 additional inputs, on iter 7 have 7934 / 8000
1553863182.422 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
1553863182.424 * * * * [points]: Setting MPFR precision to 64
1553863182.447 * * * * [points]: Setting MPFR precision to 320
1553863182.448 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
1553863182.450 * * * * [points]: Setting MPFR precision to 64
1553863182.451 * * * * [points]: Setting MPFR precision to 320
1553863182.453 * * * * [points]: Computing exacts for 66 points
1553863182.455 * * * * [points]: Setting MPFR precision to 64
1553863182.459 * * * * [points]: Setting MPFR precision to 320
1553863182.463 * * * * [points]: Filtering points with unrepresentable outputs
1553863182.465 * * * * [points]: Sampling 33 additional inputs, on iter 8 have 7967 / 8000
1553863182.465 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
1553863182.466 * * * * [points]: Setting MPFR precision to 64
1553863182.467 * * * * [points]: Setting MPFR precision to 320
1553863182.468 * * * * [points]: Computing exacts for 33 points
1553863182.469 * * * * [points]: Setting MPFR precision to 64
1553863182.471 * * * * [points]: Setting MPFR precision to 320
1553863182.473 * * * * [points]: Filtering points with unrepresentable outputs
1553863182.474 * * * * [points]: Sampling 17 additional inputs, on iter 9 have 7983 / 8000
1553863182.474 * * * * [points]: Computing exacts for 17 points
1553863182.476 * * * * [points]: Setting MPFR precision to 64
1553863182.477 * * * * [points]: Setting MPFR precision to 320
1553863182.478 * * * * [points]: Filtering points with unrepresentable outputs
1553863182.478 * * * * [points]: Sampling 9 additional inputs, on iter 10 have 7991 / 8000
1553863182.478 * * * * [points]: Computing exacts for 9 points
1553863182.480 * * * * [points]: Setting MPFR precision to 64
1553863182.480 * * * * [points]: Setting MPFR precision to 320
1553863182.481 * * * * [points]: Filtering points with unrepresentable outputs
1553863182.482 * * * * [points]: Sampling 6 additional inputs, on iter 11 have 7994 / 8000
1553863182.482 * * * * [points]: Computing exacts for 6 points
1553863182.483 * * * * [points]: Setting MPFR precision to 64
1553863182.484 * * * * [points]: Setting MPFR precision to 320
1553863182.484 * * * * [points]: Filtering points with unrepresentable outputs
1553863182.484 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000
1553863182.484 * * * * [points]: Computing exacts for 4 points
1553863182.486 * * * * [points]: Setting MPFR precision to 64
1553863182.486 * * * * [points]: Setting MPFR precision to 320
1553863182.487 * * * * [points]: Filtering points with unrepresentable outputs
1553863182.487 * * * * [points]: Sampled 8001 points with exact outputs
1553863185.339 * [regime-testing]: Baseline error score: 64.0
1553863185.342 * [regime-testing]: Oracle error score: 64.0
1553863185.346 * [regime-testing]: End program error score: 1.2077072356732026