1550619869.119 * [misc]progress:  [Phase 1 of 3] Setting up.
1550619869.119 * * * [misc]progress:  [1/2] Preparing points
1550619869.119 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550619869.120 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550619869.122 * * * * [misc]points:  Setting MPFR precision to 64
1550619869.124 * * * * [misc]points:  Setting MPFR precision to 320
1550619869.125 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550619869.128 * * * * [misc]points:  Setting MPFR precision to 64
1550619869.130 * * * * [misc]points:  Setting MPFR precision to 320
1550619869.132 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550619869.134 * * * * [misc]points:  Setting MPFR precision to 64
1550619869.136 * * * * [misc]points:  Setting MPFR precision to 320
1550619869.140 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550619869.142 * * * * [misc]points:  Setting MPFR precision to 64
1550619869.146 * * * * [misc]points:  Setting MPFR precision to 320
1550619869.152 * * * * [misc]points:  Computing exacts for 256 points
1550619869.154 * * * * [misc]points:  Setting MPFR precision to 64
1550619869.174 * * * * [misc]points:  Setting MPFR precision to 320
1550619869.202 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619869.213 * * * * [misc]points:  Sampling 126 additional inputs, on iter 1 have 130 / 256
1550619869.213 * * * * [misc]points:  Computing exacts on every 7 of 126 points to ramp up precision
1550619869.215 * * * * [misc]points:  Setting MPFR precision to 64
1550619869.216 * * * * [misc]points:  Setting MPFR precision to 320
1550619869.217 * * * * [misc]points:  Computing exacts on every 3 of 126 points to ramp up precision
1550619869.219 * * * * [misc]points:  Setting MPFR precision to 64
1550619869.221 * * * * [misc]points:  Setting MPFR precision to 320
1550619869.224 * * * * [misc]points:  Computing exacts for 126 points
1550619869.225 * * * * [misc]points:  Setting MPFR precision to 64
1550619869.232 * * * * [misc]points:  Setting MPFR precision to 320
1550619869.241 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619869.259 * * * * [misc]points:  Sampling 64 additional inputs, on iter 2 have 192 / 256
1550619869.259 * * * * [misc]points:  Computing exacts on every 4 of 64 points to ramp up precision
1550619869.261 * * * * [misc]points:  Setting MPFR precision to 64
1550619869.263 * * * * [misc]points:  Setting MPFR precision to 320
1550619869.264 * * * * [misc]points:  Computing exacts on every 2 of 64 points to ramp up precision
1550619869.270 * * * * [misc]points:  Setting MPFR precision to 64
1550619869.272 * * * * [misc]points:  Setting MPFR precision to 320
1550619869.274 * * * * [misc]points:  Computing exacts for 64 points
1550619869.277 * * * * [misc]points:  Setting MPFR precision to 64
1550619869.283 * * * * [misc]points:  Setting MPFR precision to 320
1550619869.289 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619869.291 * * * * [misc]points:  Sampling 25 additional inputs, on iter 3 have 231 / 256
1550619869.292 * * * * [misc]points:  Computing exacts for 25 points
1550619869.293 * * * * [misc]points:  Setting MPFR precision to 64
1550619869.295 * * * * [misc]points:  Setting MPFR precision to 320
1550619869.297 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619869.298 * * * * [misc]points:  Sampling 13 additional inputs, on iter 4 have 243 / 256
1550619869.298 * * * * [misc]points:  Computing exacts for 13 points
1550619869.300 * * * * [misc]points:  Setting MPFR precision to 64
1550619869.300 * * * * [misc]points:  Setting MPFR precision to 320
1550619869.301 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619869.302 * * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 253 / 256
1550619869.302 * * * * [misc]points:  Computing exacts for 4 points
1550619869.303 * * * * [misc]points:  Setting MPFR precision to 64
1550619869.304 * * * * [misc]points:  Setting MPFR precision to 320
1550619869.304 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619869.304 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 255 / 256
1550619869.304 * * * * [misc]points:  Computing exacts for 4 points
1550619869.306 * * * * [misc]points:  Setting MPFR precision to 64
1550619869.306 * * * * [misc]points:  Setting MPFR precision to 320
1550619869.307 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619869.307 * * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 255 / 256
1550619869.307 * * * * [misc]points:  Computing exacts for 4 points
1550619869.308 * * * * [misc]points:  Setting MPFR precision to 64
1550619869.309 * * * * [misc]points:  Setting MPFR precision to 320
1550619869.309 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619869.309 * * * * [exit]points:  Sampled 256 points with exact outputs
1550619869.309 * * * [misc]progress:  [2/2] Setting up program.
1550619869.336 * [misc]progress:  [Phase 2 of 3] Improving.
1550619869.336 * * * * [misc]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))))))>
1550619869.337 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619869.337 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619869.341 * * [misc]simplify:  iters left: 4 (22 enodes)
1550619869.345 * * [misc]simplify:  iters left: 3 (42 enodes)
1550619869.352 * * [misc]simplify:  iters left: 2 (100 enodes)
1550619869.382 * * [misc]simplify:  iters left: 1 (347 enodes)
1550619869.593 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619869.593 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550619869.594 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1550619869.595 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1550619869.605 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1550619869.663 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1550619869.779 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1550619869.900 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1550619869.991 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1550619870.089 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1550619870.198 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1550619870.199 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1550619870.219 * * [misc]progress:  iteration 1 / 4
1550619870.219 * * * [misc]progress:  picking best candidate
1550619870.246 * * * * [misc]pick:  Picked  #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1550619870.246 * * * [misc]progress:  localizing error
1550619870.495 * * * [misc]progress:  generating rewritten candidates
1550619870.495 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550619870.497 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2)
1550619870.498 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1550619870.499 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2)
1550619870.500 * * * [misc]progress:  generating series expansions
1550619870.500 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550619870.500 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2)
1550619870.500 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1550619870.500 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2)
1550619870.500 * * * [misc]progress:  simplifying candidates
1550619870.500 * * * * [misc]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)))))))>
1550619870.500 * * * * [misc]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)))))))>
1550619870.500 * * * * [misc]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))))))>
1550619870.500 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619870.500 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619870.502 * * [misc]simplify:  iters left: 4 (22 enodes)
1550619870.507 * * [misc]simplify:  iters left: 3 (42 enodes)
1550619870.514 * * [misc]simplify:  iters left: 2 (100 enodes)
1550619870.539 * * [misc]simplify:  iters left: 1 (347 enodes)
1550619870.741 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619870.741 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550619870.742 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1550619870.743 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1550619870.752 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1550619870.800 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1550619870.900 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1550619871.013 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1550619871.111 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1550619871.228 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1550619871.339 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1550619871.340 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1550619871.340 * * * * [misc]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))))))>
1550619871.340 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619871.340 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619871.342 * * [misc]simplify:  iters left: 4 (22 enodes)
1550619871.346 * * [misc]simplify:  iters left: 3 (42 enodes)
1550619871.354 * * [misc]simplify:  iters left: 2 (100 enodes)
1550619871.378 * * [misc]simplify:  iters left: 1 (347 enodes)
1550619871.553 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619871.554 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550619871.554 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1550619871.556 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1550619871.564 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1550619871.636 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1550619871.733 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1550619871.796 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1550619871.902 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1550619872.021 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1550619872.140 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1550619872.140 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1550619872.140 * * * * [misc]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))))))>
1550619872.140 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619872.140 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619872.145 * * [misc]simplify:  iters left: 4 (22 enodes)
1550619872.152 * * [misc]simplify:  iters left: 3 (42 enodes)
1550619872.169 * * [misc]simplify:  iters left: 2 (100 enodes)
1550619872.210 * * [misc]simplify:  iters left: 1 (347 enodes)
1550619872.463 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619872.463 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550619872.464 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1550619872.467 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1550619872.485 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1550619872.575 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1550619872.698 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1550619872.820 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1550619872.941 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1550619873.062 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1550619873.144 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1550619873.144 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1550619873.144 * * * * [misc]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))))))>
1550619873.144 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619873.144 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619873.147 * * [misc]simplify:  iters left: 4 (22 enodes)
1550619873.151 * * [misc]simplify:  iters left: 3 (42 enodes)
1550619873.158 * * [misc]simplify:  iters left: 2 (100 enodes)
1550619873.184 * * [misc]simplify:  iters left: 1 (347 enodes)
1550619873.486 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619873.487 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550619873.488 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1550619873.491 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1550619873.508 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1550619873.598 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1550619873.721 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1550619873.842 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1550619873.962 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1550619874.049 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1550619874.111 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1550619874.112 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x)))))
1550619874.112 * * * [misc]progress:  adding candidates to table
1550619874.287 * * [misc]progress:  iteration 2 / 4
1550619874.287 * * * [misc]progress:  picking best candidate
1550619874.307 * * * * [misc]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)))))))>
1550619874.307 * * * [misc]progress:  localizing error
1550619874.572 * * * [misc]progress:  generating rewritten candidates
1550619874.572 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
1550619874.577 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1550619874.592 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2)
1550619874.596 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1)
1550619874.600 * * * [misc]progress:  generating series expansions
1550619874.600 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
1550619874.600 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1550619874.601 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2)
1550619874.601 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1)
1550619874.601 * * * [misc]progress:  simplifying candidates
1550619874.601 * * * * [misc]progress:  [ 1 / 15 ] 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)))))))>
1550619874.601 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619874.601 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619874.611 * * [misc]simplify:  iters left: 4 (16 enodes)
1550619874.613 * * [misc]simplify:  iters left: 3 (18 enodes)
1550619874.616 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619874.616 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619874.616 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619874.616 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1550619874.616 * * [misc]simplify:  Extracting #4: cost 6 inf + 43
1550619874.616 * * [misc]simplify:  Extracting #5: cost 0 inf + 2214
1550619874.616 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1550619874.616 * [misc]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)))))))
1550619874.617 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619874.617 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619874.619 * * [misc]simplify:  iters left: 4 (22 enodes)
1550619874.622 * * [misc]simplify:  iters left: 3 (42 enodes)
1550619874.630 * * [misc]simplify:  iters left: 2 (100 enodes)
1550619874.651 * * [misc]simplify:  iters left: 1 (347 enodes)
1550619874.803 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619874.803 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550619874.804 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1550619874.805 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1550619874.814 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1550619874.881 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1550619874.959 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1550619875.028 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1550619875.137 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1550619875.216 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1550619875.293 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1550619875.293 * [misc]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)))))))
1550619875.293 * * * * [misc]progress:  [ 2 / 15 ] 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)))))))>
1550619875.293 * * * * [misc]progress:  [ 3 / 15 ] 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)))))))>
1550619875.293 * * * * [misc]progress:  [ 4 / 15 ] 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))))))))>
1550619875.294 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619875.294 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619875.299 * * [misc]simplify:  iters left: 4 (16 enodes)
1550619875.304 * * [misc]simplify:  iters left: 3 (18 enodes)
1550619875.309 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619875.310 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619875.310 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619875.310 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1550619875.310 * * [misc]simplify:  Extracting #4: cost 6 inf + 43
1550619875.310 * * [misc]simplify:  Extracting #5: cost 0 inf + 2214
1550619875.310 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1550619875.310 * [misc]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))))))))
1550619875.311 * * * * [misc]progress:  [ 5 / 15 ] 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)))))))))>
1550619875.311 * [enter]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)))))))
1550619875.311 * * [misc]simplify:  iters left: 6 (13 enodes)
1550619875.317 * * [misc]simplify:  iters left: 5 (45 enodes)
1550619875.338 * * [misc]simplify:  iters left: 4 (144 enodes)
1550619875.409 * * [misc]simplify:  iters left: 3 (446 enodes)
1550619875.737 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619875.737 * * [misc]simplify:  Extracting #1: cost 41 inf + 0
1550619875.739 * * [misc]simplify:  Extracting #2: cost 283 inf + 0
1550619875.741 * * [misc]simplify:  Extracting #3: cost 446 inf + 44
1550619875.763 * * [misc]simplify:  Extracting #4: cost 488 inf + 246749
1550619875.887 * * [misc]simplify:  Extracting #5: cost 101 inf + 1165723
1550619876.062 * * [misc]simplify:  Extracting #6: cost 2 inf + 1463482
1550619876.228 * * [misc]simplify:  Extracting #7: cost 0 inf + 1419126
1550619876.323 * * [misc]simplify:  Extracting #8: cost 0 inf + 1414206
1550619876.408 * [exit]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))))
1550619876.409 * [misc]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)))))))))
1550619876.409 * * * * [misc]progress:  [ 6 / 15 ] 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)))))))>
1550619876.409 * [enter]simplify:  Simplifying (sqrt.p16 (+.p16 x (real->posit16 1)))
1550619876.409 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619876.410 * * [misc]simplify:  iters left: 2 (11 enodes)
1550619876.412 * * [misc]simplify:  iters left: 1 (13 enodes)
1550619876.414 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619876.414 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619876.415 * * [misc]simplify:  Extracting #2: cost 4 inf + 0
1550619876.415 * * [misc]simplify:  Extracting #3: cost 4 inf + 1
1550619876.415 * * [misc]simplify:  Extracting #4: cost 0 inf + 127
1550619876.415 * [exit]simplify:  Simplified to (sqrt.p16 (+.p16 (real->posit16 1) x))
1550619876.415 * [misc]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)))))))
1550619876.415 * * * * [misc]progress:  [ 7 / 15 ] 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)))))))>
1550619876.415 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619876.415 * * [misc]simplify:  iters left: 5 (7 enodes)
1550619876.417 * * [misc]simplify:  iters left: 4 (16 enodes)
1550619876.421 * * [misc]simplify:  iters left: 3 (20 enodes)
1550619876.424 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619876.424 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619876.424 * * [misc]simplify:  Extracting #2: cost 8 inf + 0
1550619876.424 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550619876.424 * * [misc]simplify:  Extracting #4: cost 5 inf + 324
1550619876.424 * * [misc]simplify:  Extracting #5: cost 0 inf + 2334
1550619876.424 * [exit]simplify:  Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
1550619876.424 * [misc]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)))))))
1550619876.425 * * * * [misc]progress:  [ 8 / 15 ] 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)))))))>
1550619876.425 * * * * [misc]progress:  [ 9 / 15 ] 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)))))))>
1550619876.425 * [enter]simplify:  Simplifying (sqrt.p16 x)
1550619876.425 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619876.425 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619876.425 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619876.425 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619876.425 * * [misc]simplify:  Extracting #3: cost 0 inf + 42
1550619876.425 * [exit]simplify:  Simplified to (sqrt.p16 x)
1550619876.425 * [misc]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)))))))
1550619876.425 * * * * [misc]progress:  [ 10 / 15 ] 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)))))))>
1550619876.426 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x)))
1550619876.426 * * [misc]simplify:  iters left: 3 (6 enodes)
1550619876.427 * * [misc]simplify:  iters left: 2 (14 enodes)
1550619876.430 * * [misc]simplify:  iters left: 1 (18 enodes)
1550619876.432 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619876.432 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619876.432 * * [misc]simplify:  Extracting #2: cost 8 inf + 0
1550619876.432 * * [misc]simplify:  Extracting #3: cost 5 inf + 43
1550619876.433 * * [misc]simplify:  Extracting #4: cost 0 inf + 2131
1550619876.433 * [exit]simplify:  Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1))
1550619876.433 * [misc]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)))))))
1550619876.433 * * * * [misc]progress:  [ 11 / 15 ] 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)))))))>
1550619876.433 * * * * [misc]progress:  [ 12 / 15 ] 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)))))))>
1550619876.433 * * * * [misc]progress:  [ 13 / 15 ] 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)))))))>
1550619876.433 * * * * [misc]progress:  [ 14 / 15 ] 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)))))))>
1550619876.433 * * * * [misc]progress:  [ 15 / 15 ] 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)))))))>
1550619876.433 * * * [misc]progress:  adding candidates to table
1550619877.421 * * [misc]progress:  iteration 3 / 4
1550619877.421 * * * [misc]progress:  picking best candidate
1550619877.558 * * * * [misc]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)))))))>
1550619877.558 * * * [misc]progress:  localizing error
1550619877.658 * * * [misc]progress:  generating rewritten candidates
1550619877.658 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2)
1550619877.663 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1550619877.676 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 2)
1550619877.677 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 2)
1550619877.678 * * * [misc]progress:  generating series expansions
1550619877.678 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2)
1550619877.678 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1550619877.678 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 2)
1550619877.678 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 2)
1550619877.678 * * * [misc]progress:  simplifying candidates
1550619877.678 * * * * [misc]progress:  [ 1 / 8 ] 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)))))))>
1550619877.678 * * * * [misc]progress:  [ 2 / 8 ] 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)))))))>
1550619877.678 * * * * [misc]progress:  [ 3 / 8 ] 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))))))))>
1550619877.679 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619877.679 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619877.681 * * [misc]simplify:  iters left: 4 (16 enodes)
1550619877.683 * * [misc]simplify:  iters left: 3 (18 enodes)
1550619877.686 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619877.686 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619877.686 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619877.686 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1550619877.686 * * [misc]simplify:  Extracting #4: cost 6 inf + 43
1550619877.686 * * [misc]simplify:  Extracting #5: cost 0 inf + 2214
1550619877.686 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1550619877.686 * [misc]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))))))))
1550619877.687 * * * * [misc]progress:  [ 4 / 8 ] 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))))))))>
1550619877.687 * [enter]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)))))))
1550619877.687 * * [misc]simplify:  iters left: 6 (13 enodes)
1550619877.690 * * [misc]simplify:  iters left: 5 (38 enodes)
1550619877.697 * * [misc]simplify:  iters left: 4 (106 enodes)
1550619877.725 * * [misc]simplify:  iters left: 3 (376 enodes)
1550619877.892 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619877.892 * * [misc]simplify:  Extracting #1: cost 52 inf + 0
1550619877.893 * * [misc]simplify:  Extracting #2: cost 302 inf + 0
1550619877.894 * * [misc]simplify:  Extracting #3: cost 417 inf + 43
1550619877.909 * * [misc]simplify:  Extracting #4: cost 351 inf + 302562
1550619877.954 * * [misc]simplify:  Extracting #5: cost 35 inf + 1004993
1550619878.011 * * [misc]simplify:  Extracting #6: cost 0 inf + 1083663
1550619878.097 * * [misc]simplify:  Extracting #7: cost 0 inf + 1082583
1550619878.151 * [exit]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))))))
1550619878.151 * [misc]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))))))))
1550619878.151 * * * * [misc]progress:  [ 5 / 8 ] 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)))))))>
1550619878.151 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619878.152 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619878.154 * * [misc]simplify:  iters left: 4 (16 enodes)
1550619878.156 * * [misc]simplify:  iters left: 3 (18 enodes)
1550619878.159 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619878.159 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619878.159 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619878.159 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1550619878.159 * * [misc]simplify:  Extracting #4: cost 6 inf + 43
1550619878.159 * * [misc]simplify:  Extracting #5: cost 0 inf + 2214
1550619878.159 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1550619878.159 * [misc]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)))))))
1550619878.159 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619878.159 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619878.161 * * [misc]simplify:  iters left: 4 (22 enodes)
1550619878.165 * * [misc]simplify:  iters left: 3 (42 enodes)
1550619878.173 * * [misc]simplify:  iters left: 2 (100 enodes)
1550619878.195 * * [misc]simplify:  iters left: 1 (347 enodes)
1550619878.349 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619878.349 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550619878.350 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1550619878.351 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1550619878.360 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1550619878.404 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1550619878.472 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1550619878.535 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1550619878.599 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1550619878.660 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1550619878.723 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1550619878.723 * [misc]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)))))))
1550619878.723 * * * * [misc]progress:  [ 6 / 8 ] 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)))))))>
1550619878.723 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619878.724 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619878.726 * * [misc]simplify:  iters left: 4 (16 enodes)
1550619878.728 * * [misc]simplify:  iters left: 3 (18 enodes)
1550619878.731 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619878.731 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619878.731 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619878.731 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1550619878.731 * * [misc]simplify:  Extracting #4: cost 6 inf + 43
1550619878.731 * * [misc]simplify:  Extracting #5: cost 0 inf + 2214
1550619878.731 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1550619878.731 * [misc]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)))))))
1550619878.731 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619878.732 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619878.733 * * [misc]simplify:  iters left: 4 (22 enodes)
1550619878.738 * * [misc]simplify:  iters left: 3 (42 enodes)
1550619878.745 * * [misc]simplify:  iters left: 2 (100 enodes)
1550619878.767 * * [misc]simplify:  iters left: 1 (347 enodes)
1550619878.917 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619878.917 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550619878.918 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1550619878.919 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1550619878.928 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1550619878.973 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1550619879.078 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1550619879.199 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1550619879.311 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1550619879.375 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1550619879.437 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1550619879.437 * [misc]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)))))))
1550619879.437 * * * * [misc]progress:  [ 7 / 8 ] 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)))))))>
1550619879.437 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619879.438 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619879.440 * * [misc]simplify:  iters left: 4 (16 enodes)
1550619879.442 * * [misc]simplify:  iters left: 3 (18 enodes)
1550619879.445 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619879.445 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619879.445 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619879.445 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1550619879.445 * * [misc]simplify:  Extracting #4: cost 6 inf + 43
1550619879.446 * * [misc]simplify:  Extracting #5: cost 0 inf + 2214
1550619879.446 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1550619879.446 * [misc]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)))))))
1550619879.446 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619879.446 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619879.448 * * [misc]simplify:  iters left: 4 (22 enodes)
1550619879.452 * * [misc]simplify:  iters left: 3 (42 enodes)
1550619879.460 * * [misc]simplify:  iters left: 2 (100 enodes)
1550619879.482 * * [misc]simplify:  iters left: 1 (347 enodes)
1550619879.631 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619879.631 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550619879.632 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1550619879.633 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1550619879.642 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1550619879.691 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1550619879.754 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1550619879.816 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1550619879.894 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1550619879.956 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1550619880.017 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1550619880.017 * [misc]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)))))))
1550619880.017 * * * * [misc]progress:  [ 8 / 8 ] 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)))))))>
1550619880.018 * [enter]simplify:  Simplifying (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619880.018 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619880.020 * * [misc]simplify:  iters left: 4 (16 enodes)
1550619880.022 * * [misc]simplify:  iters left: 3 (18 enodes)
1550619880.026 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619880.026 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619880.026 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619880.026 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1550619880.026 * * [misc]simplify:  Extracting #4: cost 6 inf + 43
1550619880.026 * * [misc]simplify:  Extracting #5: cost 0 inf + 2214
1550619880.026 * [exit]simplify:  Simplified to (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1550619880.026 * [misc]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)))))))
1550619880.026 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619880.027 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619880.028 * * [misc]simplify:  iters left: 4 (22 enodes)
1550619880.032 * * [misc]simplify:  iters left: 3 (42 enodes)
1550619880.047 * * [misc]simplify:  iters left: 2 (100 enodes)
1550619880.074 * * [misc]simplify:  iters left: 1 (347 enodes)
1550619880.286 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619880.286 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550619880.287 * * [misc]simplify:  Extracting #2: cost 269 inf + 0
1550619880.292 * * [misc]simplify:  Extracting #3: cost 457 inf + 1
1550619880.301 * * [misc]simplify:  Extracting #4: cost 422 inf + 210469
1550619880.346 * * [misc]simplify:  Extracting #5: cost 77 inf + 915056
1550619880.462 * * [misc]simplify:  Extracting #6: cost 3 inf + 1114648
1550619880.537 * * [misc]simplify:  Extracting #7: cost 1 inf + 1091652
1550619880.600 * * [misc]simplify:  Extracting #8: cost 0 inf + 1093814
1550619880.704 * * [misc]simplify:  Extracting #9: cost 0 inf + 1093774
1550619880.771 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))
1550619880.771 * [misc]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)))))))
1550619880.771 * * * [misc]progress:  adding candidates to table
1550619881.050 * * [misc]progress:  iteration 4 / 4
1550619881.050 * * * [misc]progress:  picking best candidate
1550619881.493 * * * * [misc]pick:  Picked  #<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)))))))>
1550619881.493 * * * [misc]progress:  localizing error
1550619881.641 * * * [misc]progress:  generating rewritten candidates
1550619881.641 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
1550619881.644 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1550619881.664 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2)
1550619881.666 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2)
1550619881.667 * * * [misc]progress:  generating series expansions
1550619881.667 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
1550619881.667 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1550619881.667 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2)
1550619881.667 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2)
1550619881.667 * * * [misc]progress:  simplifying candidates
1550619881.667 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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)))))))>
1550619881.667 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (/.p16 (-.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 x))) (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) (/.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)))))))>
1550619881.667 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.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 x))) (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) (/.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)))))))))>
1550619881.667 * [enter]simplify:  Simplifying (-.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 x))) (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)))))))
1550619881.668 * * [misc]simplify:  iters left: 6 (14 enodes)
1550619881.671 * * [misc]simplify:  iters left: 5 (47 enodes)
1550619881.680 * * [misc]simplify:  iters left: 4 (140 enodes)
1550619881.714 * * [misc]simplify:  iters left: 3 (480 enodes)
1550619882.175 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619882.176 * * [misc]simplify:  Extracting #1: cost 36 inf + 0
1550619882.177 * * [misc]simplify:  Extracting #2: cost 250 inf + 0
1550619882.180 * * [misc]simplify:  Extracting #3: cost 413 inf + 725
1550619882.187 * * [misc]simplify:  Extracting #4: cost 550 inf + 129982
1550619882.239 * * [misc]simplify:  Extracting #5: cost 163 inf + 996596
1550619882.396 * * [misc]simplify:  Extracting #6: cost 12 inf + 1471739
1550619882.517 * * [misc]simplify:  Extracting #7: cost 0 inf + 1461963
1550619882.618 * * [misc]simplify:  Extracting #8: cost 0 inf + 1441923
1550619882.725 * * [misc]simplify:  Extracting #9: cost 0 inf + 1441523
1550619882.824 * [exit]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 (+.p16 (real->posit16 1) 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 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))))))
1550619882.824 * [misc]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 (+.p16 (real->posit16 1) 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 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) 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 (*.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)))))))))
1550619882.825 * * * * [misc]progress:  [ 4 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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)))))))>
1550619882.825 * [enter]simplify:  Simplifying (sqrt.p16 (+.p16 x (real->posit16 1)))
1550619882.825 * * [misc]simplify:  iters left: 3 (5 enodes)
1550619882.827 * * [misc]simplify:  iters left: 2 (11 enodes)
1550619882.829 * * [misc]simplify:  iters left: 1 (13 enodes)
1550619882.831 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619882.831 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619882.831 * * [misc]simplify:  Extracting #2: cost 4 inf + 0
1550619882.831 * * [misc]simplify:  Extracting #3: cost 4 inf + 1
1550619882.831 * * [misc]simplify:  Extracting #4: cost 0 inf + 127
1550619882.831 * [exit]simplify:  Simplified to (sqrt.p16 (+.p16 (real->posit16 1) x))
1550619882.831 * [misc]simplify:  Simplified (2 1 2 2) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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)))))))
1550619882.831 * * * * [misc]progress:  [ 5 / 10 ] 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)))))))>
1550619882.831 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619882.831 * * [misc]simplify:  iters left: 5 (7 enodes)
1550619882.833 * * [misc]simplify:  iters left: 4 (16 enodes)
1550619882.836 * * [misc]simplify:  iters left: 3 (20 enodes)
1550619882.839 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619882.839 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619882.839 * * [misc]simplify:  Extracting #2: cost 8 inf + 0
1550619882.839 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550619882.839 * * [misc]simplify:  Extracting #4: cost 5 inf + 324
1550619882.840 * * [misc]simplify:  Extracting #5: cost 0 inf + 2334
1550619882.840 * [exit]simplify:  Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (real->posit16 1) x))) (real->posit16 1))
1550619882.840 * [misc]simplify:  Simplified (2 1 2 1) to (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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)))))))
1550619882.840 * * * * [misc]progress:  [ 6 / 10 ] 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)))))))>
1550619882.840 * * * * [misc]progress:  [ 7 / 10 ] 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)))))))>
1550619882.840 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x)))
1550619882.840 * * [misc]simplify:  iters left: 3 (6 enodes)
1550619882.842 * * [misc]simplify:  iters left: 2 (14 enodes)
1550619882.844 * * [misc]simplify:  iters left: 1 (18 enodes)
1550619882.847 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619882.847 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619882.847 * * [misc]simplify:  Extracting #2: cost 8 inf + 0
1550619882.847 * * [misc]simplify:  Extracting #3: cost 5 inf + 43
1550619882.847 * * [misc]simplify:  Extracting #4: cost 0 inf + 2131
1550619882.847 * [exit]simplify:  Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1))
1550619882.847 * [misc]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)))))))
1550619882.848 * * * * [misc]progress:  [ 8 / 10 ] 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)))))))>
1550619882.848 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x)))
1550619882.848 * * [misc]simplify:  iters left: 3 (6 enodes)
1550619882.849 * * [misc]simplify:  iters left: 2 (14 enodes)
1550619882.851 * * [misc]simplify:  iters left: 1 (18 enodes)
1550619882.854 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619882.854 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619882.854 * * [misc]simplify:  Extracting #2: cost 8 inf + 0
1550619882.854 * * [misc]simplify:  Extracting #3: cost 5 inf + 43
1550619882.854 * * [misc]simplify:  Extracting #4: cost 0 inf + 2131
1550619882.854 * [exit]simplify:  Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1))
1550619882.854 * [misc]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)))))))
1550619882.855 * * * * [misc]progress:  [ 9 / 10 ] 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)))))))>
1550619882.855 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x)))
1550619882.855 * * [misc]simplify:  iters left: 3 (6 enodes)
1550619882.856 * * [misc]simplify:  iters left: 2 (14 enodes)
1550619882.858 * * [misc]simplify:  iters left: 1 (18 enodes)
1550619882.861 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619882.861 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619882.861 * * [misc]simplify:  Extracting #2: cost 8 inf + 0
1550619882.861 * * [misc]simplify:  Extracting #3: cost 5 inf + 43
1550619882.861 * * [misc]simplify:  Extracting #4: cost 0 inf + 2131
1550619882.861 * [exit]simplify:  Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1))
1550619882.862 * [misc]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)))))))
1550619882.862 * * * * [misc]progress:  [ 10 / 10 ] 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)))))))>
1550619882.862 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x)))
1550619882.862 * * [misc]simplify:  iters left: 3 (6 enodes)
1550619882.863 * * [misc]simplify:  iters left: 2 (14 enodes)
1550619882.865 * * [misc]simplify:  iters left: 1 (18 enodes)
1550619882.868 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619882.868 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619882.868 * * [misc]simplify:  Extracting #2: cost 8 inf + 0
1550619882.868 * * [misc]simplify:  Extracting #3: cost 5 inf + 43
1550619882.868 * * [misc]simplify:  Extracting #4: cost 0 inf + 2131
1550619882.868 * [exit]simplify:  Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (real->posit16 1))
1550619882.868 * [misc]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)))))))
1550619882.869 * * * [misc]progress:  adding candidates to table
1550619883.438 * [misc]progress:  [Phase 3 of 3] Extracting.
1550619883.438 * * [misc]regime:  Finding splitpoints for: (#<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 (/.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)))))))> #<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 (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) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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) (/.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)))))))))> #<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))))))))> #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.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)))))))>)
1550619883.444 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1550619883.444 * * * * [misc]regimes:  Trying to branch on x from (#<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 (/.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)))))))> #<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 (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) (/.p16 (real->posit16 1) (sqrt.p16 x))) (sqrt.p16 x)) (/.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (sqrt.p16 x))) (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) (/.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)))))))))> #<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))))))))> #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 x))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1))))))) (+.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))))> #<alt (λ (x) (/.p16 (-.p16 (/.p16 (*.p16 (real->posit16 1) (/.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)))))))>)
1550619883.847 * * * [misc]regime:  Found split indices: #<option (#s(si 3 256))>
1550619883.848 * [enter]simplify:  Simplifying (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619883.848 * * [misc]simplify:  iters left: 5 (9 enodes)
1550619883.849 * * [misc]simplify:  iters left: 4 (11 enodes)
1550619883.849 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619883.849 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619883.849 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619883.849 * * [misc]simplify:  Extracting #3: cost 9 inf + 0
1550619883.849 * * [misc]simplify:  Extracting #4: cost 6 inf + 43
1550619883.849 * * [misc]simplify:  Extracting #5: cost 0 inf + 2254
1550619883.850 * [exit]simplify:  Simplified to (-.p16 (/.p16 (real->posit16 1) (sqrt.p16 x)) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 x (real->posit16 1)))))
1550619883.850 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550619883.861 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550619883.863 * * * * [misc]points:  Setting MPFR precision to 64
1550619883.864 * * * * [misc]points:  Setting MPFR precision to 320
1550619883.865 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550619883.867 * * * * [misc]points:  Setting MPFR precision to 64
1550619883.869 * * * * [misc]points:  Setting MPFR precision to 320
1550619883.871 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550619883.872 * * * * [misc]points:  Setting MPFR precision to 64
1550619883.876 * * * * [misc]points:  Setting MPFR precision to 320
1550619883.880 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550619883.882 * * * * [misc]points:  Setting MPFR precision to 64
1550619883.889 * * * * [misc]points:  Setting MPFR precision to 320
1550619883.897 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550619883.899 * * * * [misc]points:  Setting MPFR precision to 64
1550619883.911 * * * * [misc]points:  Setting MPFR precision to 320
1550619883.929 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550619883.931 * * * * [misc]points:  Setting MPFR precision to 64
1550619883.978 * * * * [misc]points:  Setting MPFR precision to 320
1550619884.014 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550619884.016 * * * * [misc]points:  Setting MPFR precision to 64
1550619884.072 * * * * [misc]points:  Setting MPFR precision to 320
1550619884.200 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550619884.202 * * * * [misc]points:  Setting MPFR precision to 64
1550619884.299 * * * * [misc]points:  Setting MPFR precision to 320
1550619884.465 * * * * [misc]points:  Computing exacts for 8000 points
1550619884.467 * * * * [misc]points:  Setting MPFR precision to 64
1550619884.942 * * * * [misc]points:  Setting MPFR precision to 320
1550619885.595 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619885.821 * * * * [misc]points:  Sampling 4002 additional inputs, on iter 1 have 3998 / 8000
1550619885.827 * * * * [misc]points:  Computing exacts on every 250 of 4002 points to ramp up precision
1550619885.829 * * * * [misc]points:  Setting MPFR precision to 64
1550619885.830 * * * * [misc]points:  Setting MPFR precision to 320
1550619885.831 * * * * [misc]points:  Computing exacts on every 125 of 4002 points to ramp up precision
1550619885.832 * * * * [misc]points:  Setting MPFR precision to 64
1550619885.834 * * * * [misc]points:  Setting MPFR precision to 320
1550619885.836 * * * * [misc]points:  Computing exacts on every 62 of 4002 points to ramp up precision
1550619885.838 * * * * [misc]points:  Setting MPFR precision to 64
1550619885.841 * * * * [misc]points:  Setting MPFR precision to 320
1550619885.845 * * * * [misc]points:  Computing exacts on every 31 of 4002 points to ramp up precision
1550619885.847 * * * * [misc]points:  Setting MPFR precision to 64
1550619885.853 * * * * [misc]points:  Setting MPFR precision to 320
1550619885.861 * * * * [misc]points:  Computing exacts on every 15 of 4002 points to ramp up precision
1550619885.863 * * * * [misc]points:  Setting MPFR precision to 64
1550619885.875 * * * * [misc]points:  Setting MPFR precision to 320
1550619885.907 * * * * [misc]points:  Computing exacts on every 7 of 4002 points to ramp up precision
1550619885.909 * * * * [misc]points:  Setting MPFR precision to 64
1550619885.935 * * * * [misc]points:  Setting MPFR precision to 320
1550619885.968 * * * * [misc]points:  Computing exacts on every 3 of 4002 points to ramp up precision
1550619885.970 * * * * [misc]points:  Setting MPFR precision to 64
1550619886.016 * * * * [misc]points:  Setting MPFR precision to 320
1550619886.110 * * * * [misc]points:  Computing exacts for 4002 points
1550619886.112 * * * * [misc]points:  Setting MPFR precision to 64
1550619886.331 * * * * [misc]points:  Setting MPFR precision to 320
1550619886.929 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619887.052 * * * * [misc]points:  Sampling 2030 additional inputs, on iter 2 have 5970 / 8000
1550619887.055 * * * * [misc]points:  Computing exacts on every 126 of 2030 points to ramp up precision
1550619887.057 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.058 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.059 * * * * [misc]points:  Computing exacts on every 63 of 2030 points to ramp up precision
1550619887.060 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.062 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.064 * * * * [misc]points:  Computing exacts on every 31 of 2030 points to ramp up precision
1550619887.065 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.068 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.073 * * * * [misc]points:  Computing exacts on every 15 of 2030 points to ramp up precision
1550619887.074 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.081 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.103 * * * * [misc]points:  Computing exacts on every 7 of 2030 points to ramp up precision
1550619887.105 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.119 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.137 * * * * [misc]points:  Computing exacts on every 3 of 2030 points to ramp up precision
1550619887.138 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.162 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.196 * * * * [misc]points:  Computing exacts for 2030 points
1550619887.198 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.323 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.489 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619887.542 * * * * [misc]points:  Sampling 1000 additional inputs, on iter 3 have 7000 / 8000
1550619887.544 * * * * [misc]points:  Computing exacts on every 62 of 1000 points to ramp up precision
1550619887.545 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.546 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.547 * * * * [misc]points:  Computing exacts on every 31 of 1000 points to ramp up precision
1550619887.549 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.550 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.552 * * * * [misc]points:  Computing exacts on every 15 of 1000 points to ramp up precision
1550619887.569 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.573 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.578 * * * * [misc]points:  Computing exacts on every 7 of 1000 points to ramp up precision
1550619887.579 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.586 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.594 * * * * [misc]points:  Computing exacts on every 3 of 1000 points to ramp up precision
1550619887.596 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.608 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.626 * * * * [misc]points:  Computing exacts for 1000 points
1550619887.627 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.675 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.767 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619887.793 * * * * [misc]points:  Sampling 492 additional inputs, on iter 4 have 7508 / 8000
1550619887.793 * * * * [misc]points:  Computing exacts on every 30 of 492 points to ramp up precision
1550619887.795 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.796 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.797 * * * * [misc]points:  Computing exacts on every 15 of 492 points to ramp up precision
1550619887.799 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.800 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.802 * * * * [misc]points:  Computing exacts on every 7 of 492 points to ramp up precision
1550619887.804 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.807 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.811 * * * * [misc]points:  Computing exacts on every 3 of 492 points to ramp up precision
1550619887.813 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.819 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.827 * * * * [misc]points:  Computing exacts for 492 points
1550619887.829 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.874 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.908 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619887.921 * * * * [misc]points:  Sampling 241 additional inputs, on iter 5 have 7759 / 8000
1550619887.921 * * * * [misc]points:  Computing exacts on every 15 of 241 points to ramp up precision
1550619887.923 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.924 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.925 * * * * [misc]points:  Computing exacts on every 7 of 241 points to ramp up precision
1550619887.926 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.928 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.930 * * * * [misc]points:  Computing exacts on every 3 of 241 points to ramp up precision
1550619887.931 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.935 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.939 * * * * [misc]points:  Computing exacts for 241 points
1550619887.940 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.952 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.968 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619887.974 * * * * [misc]points:  Sampling 122 additional inputs, on iter 6 have 7878 / 8000
1550619887.974 * * * * [misc]points:  Computing exacts on every 7 of 122 points to ramp up precision
1550619887.976 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.977 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.978 * * * * [misc]points:  Computing exacts on every 3 of 122 points to ramp up precision
1550619887.979 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.981 * * * * [misc]points:  Setting MPFR precision to 320
1550619887.983 * * * * [misc]points:  Computing exacts for 122 points
1550619887.984 * * * * [misc]points:  Setting MPFR precision to 64
1550619887.990 * * * * [misc]points:  Setting MPFR precision to 320
1550619888.020 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619888.023 * * * * [misc]points:  Sampling 63 additional inputs, on iter 7 have 7937 / 8000
1550619888.023 * * * * [misc]points:  Computing exacts on every 3 of 63 points to ramp up precision
1550619888.025 * * * * [misc]points:  Setting MPFR precision to 64
1550619888.027 * * * * [misc]points:  Setting MPFR precision to 320
1550619888.028 * * * * [misc]points:  Computing exacts for 63 points
1550619888.030 * * * * [misc]points:  Setting MPFR precision to 64
1550619888.033 * * * * [misc]points:  Setting MPFR precision to 320
1550619888.037 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619888.039 * * * * [misc]points:  Sampling 37 additional inputs, on iter 8 have 7963 / 8000
1550619888.039 * * * * [misc]points:  Computing exacts on every 2 of 37 points to ramp up precision
1550619888.041 * * * * [misc]points:  Setting MPFR precision to 64
1550619888.041 * * * * [misc]points:  Setting MPFR precision to 320
1550619888.042 * * * * [misc]points:  Computing exacts for 37 points
1550619888.044 * * * * [misc]points:  Setting MPFR precision to 64
1550619888.046 * * * * [misc]points:  Setting MPFR precision to 320
1550619888.049 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619888.050 * * * * [misc]points:  Sampling 18 additional inputs, on iter 9 have 7982 / 8000
1550619888.050 * * * * [misc]points:  Computing exacts for 18 points
1550619888.051 * * * * [misc]points:  Setting MPFR precision to 64
1550619888.052 * * * * [misc]points:  Setting MPFR precision to 320
1550619888.054 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619888.054 * * * * [misc]points:  Sampling 10 additional inputs, on iter 10 have 7990 / 8000
1550619888.054 * * * * [misc]points:  Computing exacts for 10 points
1550619888.056 * * * * [misc]points:  Setting MPFR precision to 64
1550619888.056 * * * * [misc]points:  Setting MPFR precision to 320
1550619888.057 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619888.057 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7998 / 8000
1550619888.058 * * * * [misc]points:  Computing exacts for 4 points
1550619888.059 * * * * [misc]points:  Setting MPFR precision to 64
1550619888.059 * * * * [misc]points:  Setting MPFR precision to 320
1550619888.060 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619888.060 * * * * [exit]points:  Sampled 8001 points with exact outputs
1550619891.306 * [misc]regime-testing:  Baseline error score: 64.0
1550619891.308 * [misc]regime-testing:  Oracle error score: 64.0
1550619891.312 * [misc]regime-testing:  End program error score: 1.12769857756848