1552470026.278 * [progress]: [Phase 1 of 3] Setting up.
1552470026.278 * * * [progress]: [1/2] Preparing points
1552470026.278 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1552470026.279 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1552470026.281 * * * * [points]: Setting MPFR precision to 64
1552470026.282 * * * * [points]: Setting MPFR precision to 320
1552470026.284 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1552470026.291 * * * * [points]: Setting MPFR precision to 64
1552470026.293 * * * * [points]: Setting MPFR precision to 320
1552470026.296 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1552470026.300 * * * * [points]: Setting MPFR precision to 64
1552470026.304 * * * * [points]: Setting MPFR precision to 320
1552470026.310 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1552470026.313 * * * * [points]: Setting MPFR precision to 64
1552470026.320 * * * * [points]: Setting MPFR precision to 320
1552470026.330 * * * * [points]: Computing exacts for 256 points
1552470026.334 * * * * [points]: Setting MPFR precision to 64
1552470026.354 * * * * [points]: Setting MPFR precision to 320
1552470026.381 * * * * [points]: Filtering points with unrepresentable outputs
1552470026.392 * * * * [points]: Sampling 127 additional inputs, on iter 1 have 129 / 256
1552470026.392 * * * * [points]: Computing exacts on every 7 of 127 points to ramp up precision
1552470026.395 * * * * [points]: Setting MPFR precision to 64
1552470026.396 * * * * [points]: Setting MPFR precision to 320
1552470026.398 * * * * [points]: Computing exacts on every 3 of 127 points to ramp up precision
1552470026.401 * * * * [points]: Setting MPFR precision to 64
1552470026.404 * * * * [points]: Setting MPFR precision to 320
1552470026.407 * * * * [points]: Computing exacts for 127 points
1552470026.410 * * * * [points]: Setting MPFR precision to 64
1552470026.420 * * * * [points]: Setting MPFR precision to 320
1552470026.433 * * * * [points]: Filtering points with unrepresentable outputs
1552470026.439 * * * * [points]: Sampling 63 additional inputs, on iter 2 have 193 / 256
1552470026.439 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision
1552470026.443 * * * * [points]: Setting MPFR precision to 64
1552470026.444 * * * * [points]: Setting MPFR precision to 320
1552470026.446 * * * * [points]: Computing exacts for 63 points
1552470026.449 * * * * [points]: Setting MPFR precision to 64
1552470026.454 * * * * [points]: Setting MPFR precision to 320
1552470026.461 * * * * [points]: Filtering points with unrepresentable outputs
1552470026.464 * * * * [points]: Sampling 34 additional inputs, on iter 3 have 222 / 256
1552470026.464 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
1552470026.468 * * * * [points]: Setting MPFR precision to 64
1552470026.469 * * * * [points]: Setting MPFR precision to 320
1552470026.470 * * * * [points]: Computing exacts for 34 points
1552470026.473 * * * * [points]: Setting MPFR precision to 64
1552470026.476 * * * * [points]: Setting MPFR precision to 320
1552470026.480 * * * * [points]: Filtering points with unrepresentable outputs
1552470026.482 * * * * [points]: Sampling 20 additional inputs, on iter 4 have 236 / 256
1552470026.482 * * * * [points]: Computing exacts for 20 points
1552470026.505 * * * * [points]: Setting MPFR precision to 64
1552470026.507 * * * * [points]: Setting MPFR precision to 320
1552470026.508 * * * * [points]: Filtering points with unrepresentable outputs
1552470026.509 * * * * [points]: Sampling 9 additional inputs, on iter 5 have 247 / 256
1552470026.509 * * * * [points]: Computing exacts for 9 points
1552470026.510 * * * * [points]: Setting MPFR precision to 64
1552470026.511 * * * * [points]: Setting MPFR precision to 320
1552470026.512 * * * * [points]: Filtering points with unrepresentable outputs
1552470026.512 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 252 / 256
1552470026.512 * * * * [points]: Computing exacts for 4 points
1552470026.515 * * * * [points]: Setting MPFR precision to 64
1552470026.515 * * * * [points]: Setting MPFR precision to 320
1552470026.515 * * * * [points]: Filtering points with unrepresentable outputs
1552470026.516 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256
1552470026.516 * * * * [points]: Computing exacts for 4 points
1552470026.517 * * * * [points]: Setting MPFR precision to 64
1552470026.517 * * * * [points]: Setting MPFR precision to 320
1552470026.518 * * * * [points]: Filtering points with unrepresentable outputs
1552470026.518 * * * * [points]: Sampled 257 points with exact outputs
1552470026.518 * * * [progress]: [2/2] Setting up program.
1552470026.550 * [progress]: [Phase 2 of 3] Improving.
1552470026.550 * * * * [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))))))>
1552470026.550 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470026.550 * * [simplify]: iters left: 5 (9 enodes)
1552470026.555 * * [simplify]: iters left: 4 (22 enodes)
1552470026.562 * * [simplify]: iters left: 3 (42 enodes)
1552470026.578 * * [simplify]: iters left: 2 (100 enodes)
1552470026.599 * * [simplify]: iters left: 1 (347 enodes)
1552470026.780 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470026.780 * * [simplify]: Extracting #1: cost 48 inf + 0
1552470026.781 * * [simplify]: Extracting #2: cost 269 inf + 0
1552470026.782 * * [simplify]: Extracting #3: cost 457 inf + 1
1552470026.791 * * [simplify]: Extracting #4: cost 422 inf + 210469
1552470026.877 * * [simplify]: Extracting #5: cost 77 inf + 915056
1552470026.975 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1552470027.094 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1552470027.166 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1552470027.263 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1552470027.368 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470027.368 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1552470027.385 * * [progress]: iteration 1 / 4
1552470027.385 * * * [progress]: picking best candidate
1552470027.403 * * * * [pick]: Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1552470027.403 * * * [progress]: localizing error
1552470027.609 * * * [progress]: generating rewritten candidates
1552470027.609 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1552470027.612 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1552470027.613 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1552470027.615 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1552470027.615 * * * [progress]: generating series expansions
1552470027.615 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1552470027.615 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1552470027.615 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1552470027.615 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1552470027.615 * * * [progress]: simplifying candidates
1552470027.615 * * * * [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)))))))>
1552470027.615 * * * * [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)))))))>
1552470027.615 * * * * [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))))))>
1552470027.615 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470027.615 * * [simplify]: iters left: 5 (9 enodes)
1552470027.618 * * [simplify]: iters left: 4 (22 enodes)
1552470027.622 * * [simplify]: iters left: 3 (42 enodes)
1552470027.630 * * [simplify]: iters left: 2 (100 enodes)
1552470027.651 * * [simplify]: iters left: 1 (347 enodes)
1552470027.800 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470027.801 * * [simplify]: Extracting #1: cost 48 inf + 0
1552470027.801 * * [simplify]: Extracting #2: cost 269 inf + 0
1552470027.803 * * [simplify]: Extracting #3: cost 457 inf + 1
1552470027.811 * * [simplify]: Extracting #4: cost 422 inf + 210469
1552470027.857 * * [simplify]: Extracting #5: cost 77 inf + 915056
1552470027.924 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1552470028.005 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1552470028.126 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1552470028.245 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1552470028.313 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470028.313 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1552470028.313 * * * * [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))))))>
1552470028.313 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470028.313 * * [simplify]: iters left: 5 (9 enodes)
1552470028.316 * * [simplify]: iters left: 4 (22 enodes)
1552470028.320 * * [simplify]: iters left: 3 (42 enodes)
1552470028.327 * * [simplify]: iters left: 2 (100 enodes)
1552470028.348 * * [simplify]: iters left: 1 (347 enodes)
1552470028.498 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470028.498 * * [simplify]: Extracting #1: cost 48 inf + 0
1552470028.499 * * [simplify]: Extracting #2: cost 269 inf + 0
1552470028.500 * * [simplify]: Extracting #3: cost 457 inf + 1
1552470028.509 * * [simplify]: Extracting #4: cost 422 inf + 210469
1552470028.554 * * [simplify]: Extracting #5: cost 77 inf + 915056
1552470028.620 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1552470028.683 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1552470028.746 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1552470028.807 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1552470028.893 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470028.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)))))
1552470028.893 * * * * [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))))))>
1552470028.893 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470028.893 * * [simplify]: iters left: 5 (9 enodes)
1552470028.898 * * [simplify]: iters left: 4 (22 enodes)
1552470028.905 * * [simplify]: iters left: 3 (42 enodes)
1552470028.921 * * [simplify]: iters left: 2 (100 enodes)
1552470028.966 * * [simplify]: iters left: 1 (347 enodes)
1552470029.259 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470029.259 * * [simplify]: Extracting #1: cost 48 inf + 0
1552470029.260 * * [simplify]: Extracting #2: cost 269 inf + 0
1552470029.263 * * [simplify]: Extracting #3: cost 457 inf + 1
1552470029.280 * * [simplify]: Extracting #4: cost 422 inf + 210469
1552470029.332 * * [simplify]: Extracting #5: cost 77 inf + 915056
1552470029.396 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1552470029.466 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1552470029.542 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1552470029.624 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1552470029.688 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470029.690 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1552470029.690 * * * * [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))))))>
1552470029.690 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470029.690 * * [simplify]: iters left: 5 (9 enodes)
1552470029.693 * * [simplify]: iters left: 4 (22 enodes)
1552470029.697 * * [simplify]: iters left: 3 (42 enodes)
1552470029.713 * * [simplify]: iters left: 2 (100 enodes)
1552470029.741 * * [simplify]: iters left: 1 (347 enodes)
1552470029.927 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470029.927 * * [simplify]: Extracting #1: cost 48 inf + 0
1552470029.928 * * [simplify]: Extracting #2: cost 269 inf + 0
1552470029.929 * * [simplify]: Extracting #3: cost 457 inf + 1
1552470029.939 * * [simplify]: Extracting #4: cost 422 inf + 210469
1552470030.000 * * [simplify]: Extracting #5: cost 77 inf + 915056
1552470030.109 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1552470030.232 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1552470030.319 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1552470030.386 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1552470030.485 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470030.485 * [simplify]: Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1552470030.485 * * * [progress]: adding candidates to table
1552470030.751 * * [progress]: iteration 2 / 4
1552470030.751 * * * [progress]: picking best candidate
1552470030.788 * * * * [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)))))))>
1552470030.788 * * * [progress]: localizing error
1552470031.044 * * * [progress]: generating rewritten candidates
1552470031.044 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1552470031.069 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1552470031.124 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1552470031.134 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1552470031.144 * * * [progress]: generating series expansions
1552470031.144 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1552470031.144 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1552470031.144 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1552470031.144 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1552470031.144 * * * [progress]: simplifying candidates
1552470031.144 * * * * [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)))))))>
1552470031.144 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470031.145 * * [simplify]: iters left: 5 (9 enodes)
1552470031.149 * * [simplify]: iters left: 4 (16 enodes)
1552470031.154 * * [simplify]: iters left: 3 (18 enodes)
1552470031.159 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470031.159 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470031.159 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470031.159 * * [simplify]: Extracting #3: cost 9 inf + 0
1552470031.159 * * [simplify]: Extracting #4: cost 6 inf + 43
1552470031.160 * * [simplify]: Extracting #5: cost 0 inf + 2214
1552470031.160 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470031.160 * [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)))))))
1552470031.160 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470031.160 * * [simplify]: iters left: 5 (9 enodes)
1552470031.164 * * [simplify]: iters left: 4 (22 enodes)
1552470031.173 * * [simplify]: iters left: 3 (42 enodes)
1552470031.188 * * [simplify]: iters left: 2 (100 enodes)
1552470031.233 * * [simplify]: iters left: 1 (347 enodes)
1552470031.512 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470031.512 * * [simplify]: Extracting #1: cost 48 inf + 0
1552470031.514 * * [simplify]: Extracting #2: cost 269 inf + 0
1552470031.516 * * [simplify]: Extracting #3: cost 457 inf + 1
1552470031.533 * * [simplify]: Extracting #4: cost 422 inf + 210469
1552470031.621 * * [simplify]: Extracting #5: cost 77 inf + 915056
1552470031.748 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1552470031.868 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1552470031.961 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1552470032.045 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1552470032.123 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470032.124 * [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)))))))
1552470032.124 * * * * [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)))))))>
1552470032.124 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470032.124 * * [simplify]: iters left: 5 (9 enodes)
1552470032.126 * * [simplify]: iters left: 4 (16 enodes)
1552470032.129 * * [simplify]: iters left: 3 (18 enodes)
1552470032.131 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470032.131 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470032.131 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470032.131 * * [simplify]: Extracting #3: cost 9 inf + 0
1552470032.132 * * [simplify]: Extracting #4: cost 6 inf + 43
1552470032.132 * * [simplify]: Extracting #5: cost 0 inf + 2214
1552470032.132 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470032.132 * [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)))))))
1552470032.132 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470032.132 * * [simplify]: iters left: 5 (9 enodes)
1552470032.134 * * [simplify]: iters left: 4 (22 enodes)
1552470032.138 * * [simplify]: iters left: 3 (42 enodes)
1552470032.146 * * [simplify]: iters left: 2 (100 enodes)
1552470032.168 * * [simplify]: iters left: 1 (347 enodes)
1552470032.400 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470032.400 * * [simplify]: Extracting #1: cost 48 inf + 0
1552470032.402 * * [simplify]: Extracting #2: cost 269 inf + 0
1552470032.405 * * [simplify]: Extracting #3: cost 457 inf + 1
1552470032.422 * * [simplify]: Extracting #4: cost 422 inf + 210469
1552470032.514 * * [simplify]: Extracting #5: cost 77 inf + 915056
1552470032.636 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1552470032.757 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1552470032.874 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1552470032.948 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1552470033.009 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470033.009 * [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)))))))
1552470033.009 * * * * [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)))))))>
1552470033.010 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470033.010 * * [simplify]: iters left: 5 (9 enodes)
1552470033.012 * * [simplify]: iters left: 4 (16 enodes)
1552470033.017 * * [simplify]: iters left: 3 (18 enodes)
1552470033.023 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470033.023 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470033.023 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470033.023 * * [simplify]: Extracting #3: cost 9 inf + 0
1552470033.023 * * [simplify]: Extracting #4: cost 6 inf + 43
1552470033.023 * * [simplify]: Extracting #5: cost 0 inf + 2214
1552470033.023 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470033.023 * [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)))))))
1552470033.024 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470033.024 * * [simplify]: iters left: 5 (9 enodes)
1552470033.028 * * [simplify]: iters left: 4 (22 enodes)
1552470033.037 * * [simplify]: iters left: 3 (42 enodes)
1552470033.053 * * [simplify]: iters left: 2 (100 enodes)
1552470033.096 * * [simplify]: iters left: 1 (347 enodes)
1552470033.395 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470033.395 * * [simplify]: Extracting #1: cost 48 inf + 0
1552470033.396 * * [simplify]: Extracting #2: cost 269 inf + 0
1552470033.399 * * [simplify]: Extracting #3: cost 457 inf + 1
1552470033.416 * * [simplify]: Extracting #4: cost 422 inf + 210469
1552470033.469 * * [simplify]: Extracting #5: cost 77 inf + 915056
1552470033.535 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1552470033.596 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1552470033.693 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1552470033.813 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1552470033.929 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470033.929 * [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)))))))
1552470033.929 * * * * [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)))))))>
1552470033.929 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470033.929 * * [simplify]: iters left: 5 (9 enodes)
1552470033.931 * * [simplify]: iters left: 4 (16 enodes)
1552470033.934 * * [simplify]: iters left: 3 (18 enodes)
1552470033.937 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470033.937 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470033.937 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470033.937 * * [simplify]: Extracting #3: cost 9 inf + 0
1552470033.937 * * [simplify]: Extracting #4: cost 6 inf + 43
1552470033.937 * * [simplify]: Extracting #5: cost 0 inf + 2214
1552470033.937 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470033.937 * [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)))))))
1552470033.937 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470033.937 * * [simplify]: iters left: 5 (9 enodes)
1552470033.939 * * [simplify]: iters left: 4 (22 enodes)
1552470033.943 * * [simplify]: iters left: 3 (42 enodes)
1552470033.950 * * [simplify]: iters left: 2 (100 enodes)
1552470033.972 * * [simplify]: iters left: 1 (347 enodes)
1552470034.181 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470034.181 * * [simplify]: Extracting #1: cost 48 inf + 0
1552470034.182 * * [simplify]: Extracting #2: cost 269 inf + 0
1552470034.183 * * [simplify]: Extracting #3: cost 457 inf + 1
1552470034.192 * * [simplify]: Extracting #4: cost 422 inf + 210469
1552470034.240 * * [simplify]: Extracting #5: cost 77 inf + 915056
1552470034.360 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1552470034.481 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1552470034.606 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1552470034.707 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1552470034.798 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470034.798 * [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)))))))
1552470034.798 * * * * [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)))))))>
1552470034.798 * * * * [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)))))))>
1552470034.798 * * * * [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))))))))>
1552470034.798 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470034.799 * * [simplify]: iters left: 5 (9 enodes)
1552470034.803 * * [simplify]: iters left: 4 (16 enodes)
1552470034.809 * * [simplify]: iters left: 3 (18 enodes)
1552470034.814 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470034.814 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470034.814 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470034.814 * * [simplify]: Extracting #3: cost 9 inf + 0
1552470034.814 * * [simplify]: Extracting #4: cost 6 inf + 43
1552470034.815 * * [simplify]: Extracting #5: cost 0 inf + 2214
1552470034.815 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470034.815 * [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))))))))
1552470034.815 * * * * [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))))))))>
1552470034.816 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470034.816 * * [simplify]: iters left: 5 (9 enodes)
1552470034.819 * * [simplify]: iters left: 4 (16 enodes)
1552470034.825 * * [simplify]: iters left: 3 (18 enodes)
1552470034.830 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470034.830 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470034.830 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470034.831 * * [simplify]: Extracting #3: cost 9 inf + 0
1552470034.831 * * [simplify]: Extracting #4: cost 6 inf + 43
1552470034.831 * * [simplify]: Extracting #5: cost 0 inf + 2214
1552470034.831 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470034.831 * [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))))))))
1552470034.831 * * * * [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))))))))>
1552470034.832 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470034.832 * * [simplify]: iters left: 5 (9 enodes)
1552470034.836 * * [simplify]: iters left: 4 (16 enodes)
1552470034.840 * * [simplify]: iters left: 3 (18 enodes)
1552470034.846 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470034.846 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470034.846 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470034.846 * * [simplify]: Extracting #3: cost 9 inf + 0
1552470034.846 * * [simplify]: Extracting #4: cost 6 inf + 43
1552470034.846 * * [simplify]: Extracting #5: cost 0 inf + 2214
1552470034.847 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470034.847 * [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))))))))
1552470034.847 * * * * [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))))))))>
1552470034.847 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470034.847 * * [simplify]: iters left: 5 (9 enodes)
1552470034.851 * * [simplify]: iters left: 4 (16 enodes)
1552470034.856 * * [simplify]: iters left: 3 (18 enodes)
1552470034.861 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470034.861 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470034.861 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470034.861 * * [simplify]: Extracting #3: cost 9 inf + 0
1552470034.861 * * [simplify]: Extracting #4: cost 6 inf + 43
1552470034.861 * * [simplify]: Extracting #5: cost 0 inf + 2214
1552470034.861 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470034.861 * [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))))))))
1552470034.863 * * * * [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)))))))))>
1552470034.863 * [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)))))))
1552470034.863 * * [simplify]: iters left: 6 (13 enodes)
1552470034.869 * * [simplify]: iters left: 5 (45 enodes)
1552470034.889 * * [simplify]: iters left: 4 (144 enodes)
1552470034.957 * * [simplify]: iters left: 3 (446 enodes)
1552470035.373 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470035.373 * * [simplify]: Extracting #1: cost 41 inf + 0
1552470035.374 * * [simplify]: Extracting #2: cost 283 inf + 0
1552470035.377 * * [simplify]: Extracting #3: cost 446 inf + 44
1552470035.399 * * [simplify]: Extracting #4: cost 488 inf + 246749
1552470035.525 * * [simplify]: Extracting #5: cost 101 inf + 1165723
1552470035.692 * * [simplify]: Extracting #6: cost 2 inf + 1463482
1552470035.816 * * [simplify]: Extracting #7: cost 0 inf + 1419126
1552470035.917 * * [simplify]: Extracting #8: cost 0 inf + 1414206
1552470036.021 * [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))))
1552470036.021 * [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)))))))))
1552470036.021 * * * * [progress]: [ 12 / 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)))))))>
1552470036.021 * [simplify]: Simplifying (sqrt.p16 x)
1552470036.021 * * [simplify]: iters left: 1 (2 enodes)
1552470036.022 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470036.022 * * [simplify]: Extracting #1: cost 2 inf + 0
1552470036.022 * * [simplify]: Extracting #2: cost 1 inf + 1
1552470036.022 * * [simplify]: Extracting #3: cost 0 inf + 42
1552470036.022 * [simplify]: Simplified to (sqrt.p16 x)
1552470036.022 * [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)))))))
1552470036.022 * * * * [progress]: [ 13 / 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)))))))>
1552470036.022 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x)))
1552470036.022 * * [simplify]: iters left: 3 (6 enodes)
1552470036.024 * * [simplify]: iters left: 2 (14 enodes)
1552470036.026 * * [simplify]: iters left: 1 (18 enodes)
1552470036.029 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470036.029 * * [simplify]: Extracting #1: cost 6 inf + 0
1552470036.029 * * [simplify]: Extracting #2: cost 8 inf + 0
1552470036.029 * * [simplify]: Extracting #3: cost 5 inf + 43
1552470036.029 * * [simplify]: Extracting #4: cost 0 inf + 2131
1552470036.029 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1))
1552470036.029 * [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)))))))
1552470036.029 * * * * [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)))))))>
1552470036.029 * * * * [progress]: [ 15 / 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)))))))>
1552470036.030 * [simplify]: Simplifying (sqrt.p16 (+.p16 x (real->posit16 1)))
1552470036.030 * * [simplify]: iters left: 3 (5 enodes)
1552470036.032 * * [simplify]: iters left: 2 (11 enodes)
1552470036.036 * * [simplify]: iters left: 1 (13 enodes)
1552470036.040 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470036.040 * * [simplify]: Extracting #1: cost 2 inf + 0
1552470036.040 * * [simplify]: Extracting #2: cost 4 inf + 0
1552470036.040 * * [simplify]: Extracting #3: cost 4 inf + 1
1552470036.040 * * [simplify]: Extracting #4: cost 0 inf + 127
1552470036.040 * [simplify]: Simplified to (sqrt.p16 (+.p16 (real->posit16 1) x))
1552470036.040 * [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)))))))
1552470036.041 * * * * [progress]: [ 16 / 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)))))))>
1552470036.041 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470036.041 * * [simplify]: iters left: 5 (7 enodes)
1552470036.044 * * [simplify]: iters left: 4 (16 enodes)
1552470036.049 * * [simplify]: iters left: 3 (20 enodes)
1552470036.055 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470036.056 * * [simplify]: Extracting #1: cost 6 inf + 0
1552470036.056 * * [simplify]: Extracting #2: cost 8 inf + 0
1552470036.056 * * [simplify]: Extracting #3: cost 8 inf + 1
1552470036.056 * * [simplify]: Extracting #4: cost 5 inf + 324
1552470036.056 * * [simplify]: Extracting #5: cost 0 inf + 2334
1552470036.056 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
1552470036.056 * [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)))))))
1552470036.057 * * * * [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)))))))>
1552470036.057 * * * * [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)))))))>
1552470036.057 * * * * [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)))))))>
1552470036.057 * * * * [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)))))))>
1552470036.057 * * * * [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)))))))>
1552470036.057 * * * [progress]: adding candidates to table
1552470037.435 * * [progress]: iteration 3 / 4
1552470037.435 * * * [progress]: picking best candidate
1552470037.633 * * * * [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)))))))>
1552470037.633 * * * [progress]: localizing error
1552470037.747 * * * [progress]: generating rewritten candidates
1552470037.747 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1552470037.753 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1552470037.798 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
1552470037.801 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
1552470037.804 * * * [progress]: generating series expansions
1552470037.804 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1552470037.804 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1552470037.804 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
1552470037.804 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
1552470037.804 * * * [progress]: simplifying candidates
1552470037.804 * * * * [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)))))))>
1552470037.804 * * * * [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)))))))>
1552470037.804 * * * * [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))))))))>
1552470037.805 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470037.805 * * [simplify]: iters left: 5 (9 enodes)
1552470037.809 * * [simplify]: iters left: 4 (16 enodes)
1552470037.814 * * [simplify]: iters left: 3 (18 enodes)
1552470037.821 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470037.821 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470037.821 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470037.821 * * [simplify]: Extracting #3: cost 9 inf + 0
1552470037.821 * * [simplify]: Extracting #4: cost 6 inf + 43
1552470037.821 * * [simplify]: Extracting #5: cost 0 inf + 2214
1552470037.822 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470037.822 * [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))))))))
1552470037.822 * * * * [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))))))))>
1552470037.822 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470037.822 * * [simplify]: iters left: 5 (9 enodes)
1552470037.826 * * [simplify]: iters left: 4 (22 enodes)
1552470037.835 * * [simplify]: iters left: 3 (42 enodes)
1552470037.851 * * [simplify]: iters left: 2 (100 enodes)
1552470037.895 * * [simplify]: iters left: 1 (347 enodes)
1552470038.076 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470038.076 * * [simplify]: Extracting #1: cost 48 inf + 0
1552470038.076 * * [simplify]: Extracting #2: cost 269 inf + 0
1552470038.078 * * [simplify]: Extracting #3: cost 457 inf + 1
1552470038.092 * * [simplify]: Extracting #4: cost 422 inf + 210469
1552470038.175 * * [simplify]: Extracting #5: cost 77 inf + 915056
1552470038.279 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1552470038.362 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1552470038.435 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1552470038.521 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1552470038.625 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470038.625 * [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))))))))
1552470038.626 * * * * [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))))))))>
1552470038.626 * [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)))))))
1552470038.626 * * [simplify]: iters left: 6 (13 enodes)
1552470038.629 * * [simplify]: iters left: 5 (38 enodes)
1552470038.639 * * [simplify]: iters left: 4 (106 enodes)
1552470038.672 * * [simplify]: iters left: 3 (376 enodes)
1552470038.982 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470038.982 * * [simplify]: Extracting #1: cost 52 inf + 0
1552470038.984 * * [simplify]: Extracting #2: cost 302 inf + 0
1552470038.987 * * [simplify]: Extracting #3: cost 417 inf + 43
1552470039.013 * * [simplify]: Extracting #4: cost 351 inf + 302562
1552470039.102 * * [simplify]: Extracting #5: cost 35 inf + 1004993
1552470039.210 * * [simplify]: Extracting #6: cost 0 inf + 1083663
1552470039.275 * * [simplify]: Extracting #7: cost 0 inf + 1082583
1552470039.328 * [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))))))
1552470039.328 * [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))))))))
1552470039.328 * * * * [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)))))))>
1552470039.328 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470039.328 * * [simplify]: iters left: 5 (9 enodes)
1552470039.331 * * [simplify]: iters left: 4 (16 enodes)
1552470039.333 * * [simplify]: iters left: 3 (18 enodes)
1552470039.337 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470039.337 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470039.337 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470039.337 * * [simplify]: Extracting #3: cost 9 inf + 0
1552470039.337 * * [simplify]: Extracting #4: cost 6 inf + 43
1552470039.337 * * [simplify]: Extracting #5: cost 0 inf + 2214
1552470039.337 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470039.338 * [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)))))))
1552470039.338 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470039.338 * * [simplify]: iters left: 5 (9 enodes)
1552470039.340 * * [simplify]: iters left: 4 (22 enodes)
1552470039.344 * * [simplify]: iters left: 3 (42 enodes)
1552470039.352 * * [simplify]: iters left: 2 (100 enodes)
1552470039.373 * * [simplify]: iters left: 1 (347 enodes)
1552470039.588 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470039.588 * * [simplify]: Extracting #1: cost 48 inf + 0
1552470039.589 * * [simplify]: Extracting #2: cost 269 inf + 0
1552470039.597 * * [simplify]: Extracting #3: cost 457 inf + 1
1552470039.614 * * [simplify]: Extracting #4: cost 422 inf + 210469
1552470039.702 * * [simplify]: Extracting #5: cost 77 inf + 915056
1552470039.794 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1552470039.855 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1552470039.917 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1552470039.979 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1552470040.040 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470040.040 * [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)))))))
1552470040.040 * * * * [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)))))))>
1552470040.041 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470040.041 * * [simplify]: iters left: 5 (9 enodes)
1552470040.043 * * [simplify]: iters left: 4 (16 enodes)
1552470040.046 * * [simplify]: iters left: 3 (18 enodes)
1552470040.048 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470040.048 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470040.048 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470040.048 * * [simplify]: Extracting #3: cost 9 inf + 0
1552470040.048 * * [simplify]: Extracting #4: cost 6 inf + 43
1552470040.048 * * [simplify]: Extracting #5: cost 0 inf + 2214
1552470040.049 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470040.049 * [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)))))))
1552470040.049 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470040.049 * * [simplify]: iters left: 5 (9 enodes)
1552470040.051 * * [simplify]: iters left: 4 (22 enodes)
1552470040.054 * * [simplify]: iters left: 3 (42 enodes)
1552470040.062 * * [simplify]: iters left: 2 (100 enodes)
1552470040.093 * * [simplify]: iters left: 1 (347 enodes)
1552470040.271 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470040.271 * * [simplify]: Extracting #1: cost 48 inf + 0
1552470040.272 * * [simplify]: Extracting #2: cost 269 inf + 0
1552470040.275 * * [simplify]: Extracting #3: cost 457 inf + 1
1552470040.293 * * [simplify]: Extracting #4: cost 422 inf + 210469
1552470040.360 * * [simplify]: Extracting #5: cost 77 inf + 915056
1552470040.426 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1552470040.487 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1552470040.586 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1552470040.707 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1552470040.783 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470040.783 * [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)))))))
1552470040.783 * * * * [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)))))))>
1552470040.783 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470040.783 * * [simplify]: iters left: 5 (9 enodes)
1552470040.785 * * [simplify]: iters left: 4 (16 enodes)
1552470040.788 * * [simplify]: iters left: 3 (18 enodes)
1552470040.791 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470040.791 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470040.791 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470040.791 * * [simplify]: Extracting #3: cost 9 inf + 0
1552470040.791 * * [simplify]: Extracting #4: cost 6 inf + 43
1552470040.791 * * [simplify]: Extracting #5: cost 0 inf + 2214
1552470040.791 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470040.791 * [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)))))))
1552470040.792 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470040.792 * * [simplify]: iters left: 5 (9 enodes)
1552470040.794 * * [simplify]: iters left: 4 (22 enodes)
1552470040.798 * * [simplify]: iters left: 3 (42 enodes)
1552470040.805 * * [simplify]: iters left: 2 (100 enodes)
1552470040.829 * * [simplify]: iters left: 1 (347 enodes)
1552470041.040 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470041.040 * * [simplify]: Extracting #1: cost 48 inf + 0
1552470041.041 * * [simplify]: Extracting #2: cost 269 inf + 0
1552470041.042 * * [simplify]: Extracting #3: cost 457 inf + 1
1552470041.051 * * [simplify]: Extracting #4: cost 422 inf + 210469
1552470041.109 * * [simplify]: Extracting #5: cost 77 inf + 915056
1552470041.198 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1552470041.320 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1552470041.409 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1552470041.493 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1552470041.567 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470041.567 * [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)))))))
1552470041.567 * * * * [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)))))))>
1552470041.567 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470041.568 * * [simplify]: iters left: 5 (9 enodes)
1552470041.570 * * [simplify]: iters left: 4 (16 enodes)
1552470041.573 * * [simplify]: iters left: 3 (18 enodes)
1552470041.578 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470041.578 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470041.578 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470041.578 * * [simplify]: Extracting #3: cost 9 inf + 0
1552470041.578 * * [simplify]: Extracting #4: cost 6 inf + 43
1552470041.578 * * [simplify]: Extracting #5: cost 0 inf + 2214
1552470041.579 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470041.579 * [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)))))))
1552470041.579 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470041.579 * * [simplify]: iters left: 5 (9 enodes)
1552470041.583 * * [simplify]: iters left: 4 (22 enodes)
1552470041.593 * * [simplify]: iters left: 3 (42 enodes)
1552470041.608 * * [simplify]: iters left: 2 (100 enodes)
1552470041.652 * * [simplify]: iters left: 1 (347 enodes)
1552470041.871 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470041.871 * * [simplify]: Extracting #1: cost 48 inf + 0
1552470041.872 * * [simplify]: Extracting #2: cost 269 inf + 0
1552470041.873 * * [simplify]: Extracting #3: cost 457 inf + 1
1552470041.885 * * [simplify]: Extracting #4: cost 422 inf + 210469
1552470041.940 * * [simplify]: Extracting #5: cost 77 inf + 915056
1552470042.068 * * [simplify]: Extracting #6: cost 3 inf + 1114648
1552470042.189 * * [simplify]: Extracting #7: cost 1 inf + 1091652
1552470042.308 * * [simplify]: Extracting #8: cost 0 inf + 1093814
1552470042.376 * * [simplify]: Extracting #9: cost 0 inf + 1093774
1552470042.438 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1552470042.438 * [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)))))))
1552470042.438 * * * [progress]: adding candidates to table
1552470042.817 * * [progress]: iteration 4 / 4
1552470042.817 * * * [progress]: picking best candidate
1552470042.958 * * * * [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) (/.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)))))))>
1552470042.958 * * * [progress]: localizing error
1552470043.133 * * * [progress]: generating rewritten candidates
1552470043.133 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1552470043.145 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1552470043.166 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1552470043.171 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1552470043.177 * * * [progress]: generating series expansions
1552470043.177 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1552470043.177 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1552470043.177 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1552470043.177 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1552470043.177 * * * [progress]: simplifying candidates
1552470043.177 * * * * [progress]: [ 1 / 13 ] 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) (/.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)))))))>
1552470043.177 * * * * [progress]: [ 2 / 13 ] 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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (/.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)))))))>
1552470043.177 * * * * [progress]: [ 3 / 13 ] 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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (/.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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))))))>
1552470043.177 * [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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))))
1552470043.178 * * [simplify]: iters left: 6 (14 enodes)
1552470043.181 * * [simplify]: iters left: 5 (47 enodes)
1552470043.194 * * [simplify]: iters left: 4 (146 enodes)
1552470043.247 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470043.247 * * [simplify]: Extracting #1: cost 21 inf + 0
1552470043.247 * * [simplify]: Extracting #2: cost 77 inf + 0
1552470043.247 * * [simplify]: Extracting #3: cost 142 inf + 0
1552470043.248 * * [simplify]: Extracting #4: cost 160 inf + 10747
1552470043.253 * * [simplify]: Extracting #5: cost 72 inf + 141999
1552470043.265 * * [simplify]: Extracting #6: cost 2 inf + 294179
1552470043.278 * * [simplify]: Extracting #7: cost 0 inf + 300623
1552470043.293 * [simplify]: Simplified to (-.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) (real->posit16 1)) (+.p16 (real->posit16 1) x)) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.p16 (real->posit16 1) x))))
1552470043.293 * [simplify]: Simplified (2 1) to (λ (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) (real->posit16 1)) (+.p16 (real->posit16 1) x)) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (+.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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))))))
1552470043.294 * * * * [progress]: [ 4 / 13 ] 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) (/.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)))))))>
1552470043.294 * [simplify]: Simplifying (sqrt.p16 x)
1552470043.294 * * [simplify]: iters left: 1 (2 enodes)
1552470043.294 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470043.294 * * [simplify]: Extracting #1: cost 2 inf + 0
1552470043.294 * * [simplify]: Extracting #2: cost 1 inf + 1
1552470043.294 * * [simplify]: Extracting #3: cost 0 inf + 42
1552470043.294 * [simplify]: Simplified to (sqrt.p16 x)
1552470043.294 * [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) (/.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)))))))
1552470043.294 * * * * [progress]: [ 5 / 13 ] 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) (/.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)))))))>
1552470043.295 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x)))
1552470043.295 * * [simplify]: iters left: 3 (6 enodes)
1552470043.296 * * [simplify]: iters left: 2 (14 enodes)
1552470043.299 * * [simplify]: iters left: 1 (18 enodes)
1552470043.301 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470043.301 * * [simplify]: Extracting #1: cost 6 inf + 0
1552470043.301 * * [simplify]: Extracting #2: cost 8 inf + 0
1552470043.301 * * [simplify]: Extracting #3: cost 5 inf + 43
1552470043.301 * * [simplify]: Extracting #4: cost 0 inf + 2131
1552470043.301 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1))
1552470043.302 * [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) (/.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)))))))
1552470043.302 * * * * [progress]: [ 6 / 13 ] 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)))))))>
1552470043.302 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (real->posit16 1) (/.p16 (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)))))))>
1552470043.302 * [simplify]: Simplifying (real->posit16 1)
1552470043.302 * * [simplify]: iters left: 1 (2 enodes)
1552470043.303 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470043.303 * * [simplify]: Extracting #1: cost 2 inf + 0
1552470043.303 * * [simplify]: Extracting #2: cost 1 inf + 1
1552470043.303 * * [simplify]: Extracting #3: cost 0 inf + 2
1552470043.303 * [simplify]: Simplified to (real->posit16 1)
1552470043.303 * [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 (real->posit16 1) (/.p16 (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)))))))
1552470043.303 * * * * [progress]: [ 8 / 13 ] 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 (sqrt.p16 (+.p16 x (real->posit16 1))) (real->posit16 1)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))>
1552470043.303 * [simplify]: Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))
1552470043.303 * * [simplify]: iters left: 4 (6 enodes)
1552470043.304 * * [simplify]: iters left: 3 (12 enodes)
1552470043.306 * * [simplify]: iters left: 2 (14 enodes)
1552470043.308 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470043.308 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470043.308 * * [simplify]: Extracting #2: cost 5 inf + 0
1552470043.308 * * [simplify]: Extracting #3: cost 5 inf + 1
1552470043.308 * * [simplify]: Extracting #4: cost 0 inf + 649
1552470043.309 * [simplify]: Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))
1552470043.309 * [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 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (real->posit16 1)))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))
1552470043.309 * * * * [progress]: [ 9 / 13 ] 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) (real->posit16 1)) (*.p16 (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)))))))>
1552470043.309 * [simplify]: Simplifying (*.p16 (real->posit16 1) (real->posit16 1))
1552470043.309 * * [simplify]: iters left: 2 (3 enodes)
1552470043.310 * * [simplify]: iters left: 1 (6 enodes)
1552470043.311 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470043.311 * * [simplify]: Extracting #1: cost 2 inf + 0
1552470043.311 * * [simplify]: Extracting #2: cost 3 inf + 0
1552470043.311 * * [simplify]: Extracting #3: cost 2 inf + 1
1552470043.311 * * [simplify]: Extracting #4: cost 0 inf + 323
1552470043.311 * [simplify]: Simplified to (*.p16 (real->posit16 1) (real->posit16 1))
1552470043.311 * [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 (real->posit16 1) (real->posit16 1)) (*.p16 (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)))))))
1552470043.311 * * * * [progress]: [ 10 / 13 ] 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)))))))>
1552470043.311 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470043.311 * * [simplify]: iters left: 5 (7 enodes)
1552470043.313 * * [simplify]: iters left: 4 (16 enodes)
1552470043.315 * * [simplify]: iters left: 3 (20 enodes)
1552470043.318 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470043.318 * * [simplify]: Extracting #1: cost 6 inf + 0
1552470043.318 * * [simplify]: Extracting #2: cost 8 inf + 0
1552470043.318 * * [simplify]: Extracting #3: cost 8 inf + 1
1552470043.318 * * [simplify]: Extracting #4: cost 5 inf + 324
1552470043.319 * * [simplify]: Extracting #5: cost 0 inf + 2334
1552470043.319 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
1552470043.319 * [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)))))))
1552470043.319 * * * * [progress]: [ 11 / 13 ] 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)))))))>
1552470043.319 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470043.319 * * [simplify]: iters left: 5 (7 enodes)
1552470043.321 * * [simplify]: iters left: 4 (16 enodes)
1552470043.323 * * [simplify]: iters left: 3 (20 enodes)
1552470043.326 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470043.326 * * [simplify]: Extracting #1: cost 6 inf + 0
1552470043.326 * * [simplify]: Extracting #2: cost 8 inf + 0
1552470043.326 * * [simplify]: Extracting #3: cost 8 inf + 1
1552470043.326 * * [simplify]: Extracting #4: cost 5 inf + 324
1552470043.327 * * [simplify]: Extracting #5: cost 0 inf + 2334
1552470043.327 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
1552470043.327 * [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)))))))
1552470043.327 * * * * [progress]: [ 12 / 13 ] 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)))))))>
1552470043.327 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470043.327 * * [simplify]: iters left: 5 (7 enodes)
1552470043.329 * * [simplify]: iters left: 4 (16 enodes)
1552470043.332 * * [simplify]: iters left: 3 (20 enodes)
1552470043.334 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470043.335 * * [simplify]: Extracting #1: cost 6 inf + 0
1552470043.335 * * [simplify]: Extracting #2: cost 8 inf + 0
1552470043.335 * * [simplify]: Extracting #3: cost 8 inf + 1
1552470043.335 * * [simplify]: Extracting #4: cost 5 inf + 324
1552470043.335 * * [simplify]: Extracting #5: cost 0 inf + 2334
1552470043.335 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
1552470043.335 * [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)))))))
1552470043.335 * * * * [progress]: [ 13 / 13 ] 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)))))))>
1552470043.335 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1552470043.335 * * [simplify]: iters left: 5 (7 enodes)
1552470043.337 * * [simplify]: iters left: 4 (16 enodes)
1552470043.339 * * [simplify]: iters left: 3 (20 enodes)
1552470043.342 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470043.342 * * [simplify]: Extracting #1: cost 6 inf + 0
1552470043.343 * * [simplify]: Extracting #2: cost 8 inf + 0
1552470043.343 * * [simplify]: Extracting #3: cost 8 inf + 1
1552470043.343 * * [simplify]: Extracting #4: cost 5 inf + 324
1552470043.343 * * [simplify]: Extracting #5: cost 0 inf + 2334
1552470043.343 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
1552470043.343 * [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)))))))
1552470043.343 * * * [progress]: adding candidates to table
1552470043.838 * [progress]: [Phase 3 of 3] Extracting.
1552470043.838 * * [regime]: Finding splitpoints for: (#<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 (/.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)))))))> #<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 (*.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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (/.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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))))))> #<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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (/.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 (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 (/.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 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (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 (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))))))))>)
1552470043.842 * * * [regime-changes]: Trying 1 branch expressions: (x)
1552470043.842 * * * * [regimes]: Trying to branch on x from (#<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 (/.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)))))))> #<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 (*.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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (/.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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1))))))))> #<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) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.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 (/.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 (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 (/.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 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (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 (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))))))))>)
1552470044.253 * * * [regime]: Found split indices: #<option (#s(si 5 256))>
1552470044.253 * [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))))))
1552470044.253 * * [simplify]: iters left: 6 (12 enodes)
1552470044.256 * * [simplify]: iters left: 5 (14 enodes)
1552470044.257 * * [simplify]: Extracting #0: cost 1 inf + 0
1552470044.257 * * [simplify]: Extracting #1: cost 3 inf + 0
1552470044.257 * * [simplify]: Extracting #2: cost 6 inf + 0
1552470044.257 * * [simplify]: Extracting #3: cost 9 inf + 0
1552470044.257 * * [simplify]: Extracting #4: cost 12 inf + 0
1552470044.257 * * [simplify]: Extracting #5: cost 9 inf + 43
1552470044.258 * * [simplify]: Extracting #6: cost 0 inf + 6620
1552470044.258 * [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))))))
1552470044.258 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1552470044.278 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1552470044.280 * * * * [points]: Setting MPFR precision to 64
1552470044.281 * * * * [points]: Setting MPFR precision to 320
1552470044.282 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1552470044.283 * * * * [points]: Setting MPFR precision to 64
1552470044.285 * * * * [points]: Setting MPFR precision to 320
1552470044.287 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1552470044.289 * * * * [points]: Setting MPFR precision to 64
1552470044.292 * * * * [points]: Setting MPFR precision to 320
1552470044.296 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1552470044.298 * * * * [points]: Setting MPFR precision to 64
1552470044.304 * * * * [points]: Setting MPFR precision to 320
1552470044.312 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1552470044.314 * * * * [points]: Setting MPFR precision to 64
1552470044.326 * * * * [points]: Setting MPFR precision to 320
1552470044.342 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1552470044.344 * * * * [points]: Setting MPFR precision to 64
1552470044.371 * * * * [points]: Setting MPFR precision to 320
1552470044.433 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1552470044.434 * * * * [points]: Setting MPFR precision to 64
1552470044.507 * * * * [points]: Setting MPFR precision to 320
1552470044.623 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1552470044.664 * * * * [points]: Setting MPFR precision to 64
1552470044.822 * * * * [points]: Setting MPFR precision to 320
1552470045.067 * * * * [points]: Computing exacts for 8000 points
1552470045.070 * * * * [points]: Setting MPFR precision to 64
1552470046.051 * * * * [points]: Setting MPFR precision to 320
1552470046.876 * * * * [points]: Filtering points with unrepresentable outputs
1552470047.147 * * * * [points]: Sampling 4091 additional inputs, on iter 1 have 3909 / 8000
1552470047.153 * * * * [points]: Computing exacts on every 255 of 4091 points to ramp up precision
1552470047.155 * * * * [points]: Setting MPFR precision to 64
1552470047.156 * * * * [points]: Setting MPFR precision to 320
1552470047.157 * * * * [points]: Computing exacts on every 127 of 4091 points to ramp up precision
1552470047.158 * * * * [points]: Setting MPFR precision to 64
1552470047.160 * * * * [points]: Setting MPFR precision to 320
1552470047.162 * * * * [points]: Computing exacts on every 63 of 4091 points to ramp up precision
1552470047.164 * * * * [points]: Setting MPFR precision to 64
1552470047.168 * * * * [points]: Setting MPFR precision to 320
1552470047.172 * * * * [points]: Computing exacts on every 31 of 4091 points to ramp up precision
1552470047.174 * * * * [points]: Setting MPFR precision to 64
1552470047.180 * * * * [points]: Setting MPFR precision to 320
1552470047.187 * * * * [points]: Computing exacts on every 15 of 4091 points to ramp up precision
1552470047.189 * * * * [points]: Setting MPFR precision to 64
1552470047.202 * * * * [points]: Setting MPFR precision to 320
1552470047.239 * * * * [points]: Computing exacts on every 7 of 4091 points to ramp up precision
1552470047.241 * * * * [points]: Setting MPFR precision to 64
1552470047.269 * * * * [points]: Setting MPFR precision to 320
1552470047.317 * * * * [points]: Computing exacts on every 3 of 4091 points to ramp up precision
1552470047.319 * * * * [points]: Setting MPFR precision to 64
1552470047.385 * * * * [points]: Setting MPFR precision to 320
1552470047.538 * * * * [points]: Computing exacts for 4091 points
1552470047.542 * * * * [points]: Setting MPFR precision to 64
1552470047.898 * * * * [points]: Setting MPFR precision to 320
1552470048.286 * * * * [points]: Filtering points with unrepresentable outputs
1552470048.428 * * * * [points]: Sampling 1996 additional inputs, on iter 2 have 6004 / 8000
1552470048.433 * * * * [points]: Computing exacts on every 124 of 1996 points to ramp up precision
1552470048.435 * * * * [points]: Setting MPFR precision to 64
1552470048.436 * * * * [points]: Setting MPFR precision to 320
1552470048.437 * * * * [points]: Computing exacts on every 62 of 1996 points to ramp up precision
1552470048.439 * * * * [points]: Setting MPFR precision to 64
1552470048.440 * * * * [points]: Setting MPFR precision to 320
1552470048.442 * * * * [points]: Computing exacts on every 31 of 1996 points to ramp up precision
1552470048.444 * * * * [points]: Setting MPFR precision to 64
1552470048.461 * * * * [points]: Setting MPFR precision to 320
1552470048.468 * * * * [points]: Computing exacts on every 15 of 1996 points to ramp up precision
1552470048.471 * * * * [points]: Setting MPFR precision to 64
1552470048.481 * * * * [points]: Setting MPFR precision to 320
1552470048.493 * * * * [points]: Computing exacts on every 7 of 1996 points to ramp up precision
1552470048.495 * * * * [points]: Setting MPFR precision to 64
1552470048.508 * * * * [points]: Setting MPFR precision to 320
1552470048.534 * * * * [points]: Computing exacts on every 3 of 1996 points to ramp up precision
1552470048.536 * * * * [points]: Setting MPFR precision to 64
1552470048.575 * * * * [points]: Setting MPFR precision to 320
1552470048.627 * * * * [points]: Computing exacts for 1996 points
1552470048.628 * * * * [points]: Setting MPFR precision to 64
1552470048.761 * * * * [points]: Setting MPFR precision to 320
1552470048.941 * * * * [points]: Filtering points with unrepresentable outputs
1552470049.041 * * * * [points]: Sampling 968 additional inputs, on iter 3 have 7032 / 8000
1552470049.042 * * * * [points]: Computing exacts on every 60 of 968 points to ramp up precision
1552470049.044 * * * * [points]: Setting MPFR precision to 64
1552470049.045 * * * * [points]: Setting MPFR precision to 320
1552470049.046 * * * * [points]: Computing exacts on every 30 of 968 points to ramp up precision
1552470049.048 * * * * [points]: Setting MPFR precision to 64
1552470049.049 * * * * [points]: Setting MPFR precision to 320
1552470049.052 * * * * [points]: Computing exacts on every 15 of 968 points to ramp up precision
1552470049.054 * * * * [points]: Setting MPFR precision to 64
1552470049.057 * * * * [points]: Setting MPFR precision to 320
1552470049.061 * * * * [points]: Computing exacts on every 7 of 968 points to ramp up precision
1552470049.062 * * * * [points]: Setting MPFR precision to 64
1552470049.068 * * * * [points]: Setting MPFR precision to 320
1552470049.076 * * * * [points]: Computing exacts on every 3 of 968 points to ramp up precision
1552470049.078 * * * * [points]: Setting MPFR precision to 64
1552470049.090 * * * * [points]: Setting MPFR precision to 320
1552470049.112 * * * * [points]: Computing exacts for 968 points
1552470049.115 * * * * [points]: Setting MPFR precision to 64
1552470049.191 * * * * [points]: Setting MPFR precision to 320
1552470049.284 * * * * [points]: Filtering points with unrepresentable outputs
1552470049.307 * * * * [points]: Sampling 494 additional inputs, on iter 4 have 7506 / 8000
1552470049.308 * * * * [points]: Computing exacts on every 30 of 494 points to ramp up precision
1552470049.310 * * * * [points]: Setting MPFR precision to 64
1552470049.310 * * * * [points]: Setting MPFR precision to 320
1552470049.311 * * * * [points]: Computing exacts on every 15 of 494 points to ramp up precision
1552470049.313 * * * * [points]: Setting MPFR precision to 64
1552470049.315 * * * * [points]: Setting MPFR precision to 320
1552470049.317 * * * * [points]: Computing exacts on every 7 of 494 points to ramp up precision
1552470049.319 * * * * [points]: Setting MPFR precision to 64
1552470049.321 * * * * [points]: Setting MPFR precision to 320
1552470049.325 * * * * [points]: Computing exacts on every 3 of 494 points to ramp up precision
1552470049.327 * * * * [points]: Setting MPFR precision to 64
1552470049.333 * * * * [points]: Setting MPFR precision to 320
1552470049.342 * * * * [points]: Computing exacts for 494 points
1552470049.344 * * * * [points]: Setting MPFR precision to 64
1552470049.409 * * * * [points]: Setting MPFR precision to 320
1552470049.460 * * * * [points]: Filtering points with unrepresentable outputs
1552470049.483 * * * * [points]: Sampling 235 additional inputs, on iter 5 have 7765 / 8000
1552470049.484 * * * * [points]: Computing exacts on every 14 of 235 points to ramp up precision
1552470049.487 * * * * [points]: Setting MPFR precision to 64
1552470049.489 * * * * [points]: Setting MPFR precision to 320
1552470049.491 * * * * [points]: Computing exacts on every 7 of 235 points to ramp up precision
1552470049.493 * * * * [points]: Setting MPFR precision to 64
1552470049.496 * * * * [points]: Setting MPFR precision to 320
1552470049.499 * * * * [points]: Computing exacts on every 3 of 235 points to ramp up precision
1552470049.502 * * * * [points]: Setting MPFR precision to 64
1552470049.508 * * * * [points]: Setting MPFR precision to 320
1552470049.515 * * * * [points]: Computing exacts for 235 points
1552470049.518 * * * * [points]: Setting MPFR precision to 64
1552470049.540 * * * * [points]: Setting MPFR precision to 320
1552470049.566 * * * * [points]: Filtering points with unrepresentable outputs
1552470049.574 * * * * [points]: Sampling 115 additional inputs, on iter 6 have 7885 / 8000
1552470049.575 * * * * [points]: Computing exacts on every 7 of 115 points to ramp up precision
1552470049.578 * * * * [points]: Setting MPFR precision to 64
1552470049.579 * * * * [points]: Setting MPFR precision to 320
1552470049.580 * * * * [points]: Computing exacts on every 3 of 115 points to ramp up precision
1552470049.583 * * * * [points]: Setting MPFR precision to 64
1552470049.585 * * * * [points]: Setting MPFR precision to 320
1552470049.588 * * * * [points]: Computing exacts for 115 points
1552470049.591 * * * * [points]: Setting MPFR precision to 64
1552470049.628 * * * * [points]: Setting MPFR precision to 320
1552470049.641 * * * * [points]: Filtering points with unrepresentable outputs
1552470049.646 * * * * [points]: Sampling 52 additional inputs, on iter 7 have 7948 / 8000
1552470049.646 * * * * [points]: Computing exacts on every 3 of 52 points to ramp up precision
1552470049.649 * * * * [points]: Setting MPFR precision to 64
1552470049.651 * * * * [points]: Setting MPFR precision to 320
1552470049.652 * * * * [points]: Computing exacts for 52 points
1552470049.655 * * * * [points]: Setting MPFR precision to 64
1552470049.659 * * * * [points]: Setting MPFR precision to 320
1552470049.664 * * * * [points]: Filtering points with unrepresentable outputs
1552470049.666 * * * * [points]: Sampling 30 additional inputs, on iter 8 have 7970 / 8000
1552470049.667 * * * * [points]: Computing exacts for 30 points
1552470049.669 * * * * [points]: Setting MPFR precision to 64
1552470049.672 * * * * [points]: Setting MPFR precision to 320
1552470049.675 * * * * [points]: Filtering points with unrepresentable outputs
1552470049.676 * * * * [points]: Sampling 13 additional inputs, on iter 9 have 7987 / 8000
1552470049.676 * * * * [points]: Computing exacts for 13 points
1552470049.679 * * * * [points]: Setting MPFR precision to 64
1552470049.680 * * * * [points]: Setting MPFR precision to 320
1552470049.682 * * * * [points]: Filtering points with unrepresentable outputs
1552470049.682 * * * * [points]: Sampling 6 additional inputs, on iter 10 have 7994 / 8000
1552470049.682 * * * * [points]: Computing exacts for 6 points
1552470049.685 * * * * [points]: Setting MPFR precision to 64
1552470049.685 * * * * [points]: Setting MPFR precision to 320
1552470049.686 * * * * [points]: Filtering points with unrepresentable outputs
1552470049.686 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
1552470049.686 * * * * [points]: Computing exacts for 4 points
1552470049.689 * * * * [points]: Setting MPFR precision to 64
1552470049.690 * * * * [points]: Setting MPFR precision to 320
1552470049.690 * * * * [points]: Filtering points with unrepresentable outputs
1552470049.690 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
1552470049.690 * * * * [points]: Computing exacts for 4 points
1552470049.693 * * * * [points]: Setting MPFR precision to 64
1552470049.693 * * * * [points]: Setting MPFR precision to 320
1552470049.694 * * * * [points]: Filtering points with unrepresentable outputs
1552470049.694 * * * * [points]: Sampled 8002 points with exact outputs
1552470053.364 * [regime-testing]: Baseline error score: 64.0
1552470053.367 * [regime-testing]: Oracle error score: 64.0
1552470053.376 * [regime-testing]: End program error score: 1.2158497159097643