1550699640.884 * [misc]progress:  [Phase 1 of 3] Setting up.
1550699640.884 * * * [misc]progress:  [1/2] Preparing points
1550699640.884 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550699640.885 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550699640.887 * * * * [misc]points:  Setting MPFR precision to 64
1550699640.889 * * * * [misc]points:  Setting MPFR precision to 320
1550699640.890 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550699640.893 * * * * [misc]points:  Setting MPFR precision to 64
1550699640.895 * * * * [misc]points:  Setting MPFR precision to 320
1550699640.898 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550699640.901 * * * * [misc]points:  Setting MPFR precision to 64
1550699640.905 * * * * [misc]points:  Setting MPFR precision to 320
1550699640.911 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550699640.913 * * * * [misc]points:  Setting MPFR precision to 64
1550699640.920 * * * * [misc]points:  Setting MPFR precision to 320
1550699640.930 * * * * [misc]points:  Computing exacts for 256 points
1550699640.932 * * * * [misc]points:  Setting MPFR precision to 64
1550699640.952 * * * * [misc]points:  Setting MPFR precision to 320
1550699640.979 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699640.991 * * * * [misc]points:  Sampling 123 additional inputs, on iter 1 have 133 / 256
1550699640.992 * * * * [misc]points:  Computing exacts on every 7 of 123 points to ramp up precision
1550699640.994 * * * * [misc]points:  Setting MPFR precision to 64
1550699640.996 * * * * [misc]points:  Setting MPFR precision to 320
1550699640.997 * * * * [misc]points:  Computing exacts on every 3 of 123 points to ramp up precision
1550699641.000 * * * * [misc]points:  Setting MPFR precision to 64
1550699641.002 * * * * [misc]points:  Setting MPFR precision to 320
1550699641.006 * * * * [misc]points:  Computing exacts for 123 points
1550699641.008 * * * * [misc]points:  Setting MPFR precision to 64
1550699641.033 * * * * [misc]points:  Setting MPFR precision to 320
1550699641.046 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699641.050 * * * * [misc]points:  Sampling 61 additional inputs, on iter 2 have 195 / 256
1550699641.050 * * * * [misc]points:  Computing exacts on every 3 of 61 points to ramp up precision
1550699641.052 * * * * [misc]points:  Setting MPFR precision to 64
1550699641.054 * * * * [misc]points:  Setting MPFR precision to 320
1550699641.055 * * * * [misc]points:  Computing exacts for 61 points
1550699641.057 * * * * [misc]points:  Setting MPFR precision to 64
1550699641.061 * * * * [misc]points:  Setting MPFR precision to 320
1550699641.067 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699641.070 * * * * [misc]points:  Sampling 34 additional inputs, on iter 3 have 222 / 256
1550699641.070 * * * * [misc]points:  Computing exacts on every 2 of 34 points to ramp up precision
1550699641.072 * * * * [misc]points:  Setting MPFR precision to 64
1550699641.073 * * * * [misc]points:  Setting MPFR precision to 320
1550699641.074 * * * * [misc]points:  Computing exacts for 34 points
1550699641.076 * * * * [misc]points:  Setting MPFR precision to 64
1550699641.078 * * * * [misc]points:  Setting MPFR precision to 320
1550699641.081 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699641.083 * * * * [misc]points:  Sampling 19 additional inputs, on iter 4 have 237 / 256
1550699641.083 * * * * [misc]points:  Computing exacts for 19 points
1550699641.085 * * * * [misc]points:  Setting MPFR precision to 64
1550699641.086 * * * * [misc]points:  Setting MPFR precision to 320
1550699641.088 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699641.088 * * * * [misc]points:  Sampling 13 additional inputs, on iter 5 have 243 / 256
1550699641.088 * * * * [misc]points:  Computing exacts for 13 points
1550699641.090 * * * * [misc]points:  Setting MPFR precision to 64
1550699641.091 * * * * [misc]points:  Setting MPFR precision to 320
1550699641.093 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699641.094 * * * * [misc]points:  Sampling 6 additional inputs, on iter 6 have 250 / 256
1550699641.094 * * * * [misc]points:  Computing exacts for 6 points
1550699641.096 * * * * [misc]points:  Setting MPFR precision to 64
1550699641.097 * * * * [misc]points:  Setting MPFR precision to 320
1550699641.097 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699641.097 * * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 254 / 256
1550699641.097 * * * * [misc]points:  Computing exacts for 4 points
1550699641.099 * * * * [misc]points:  Setting MPFR precision to 64
1550699641.099 * * * * [misc]points:  Setting MPFR precision to 320
1550699641.100 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699641.100 * * * * [misc]points:  Sampling 4 additional inputs, on iter 8 have 255 / 256
1550699641.100 * * * * [misc]points:  Computing exacts for 4 points
1550699641.102 * * * * [misc]points:  Setting MPFR precision to 64
1550699641.103 * * * * [misc]points:  Setting MPFR precision to 320
1550699641.103 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699641.104 * * * * [exit]points:  Sampled 256 points with exact outputs
1550699641.104 * * * [misc]progress:  [2/2] Setting up program.
1550699641.127 * [misc]progress:  [Phase 2 of 3] Improving.
1550699641.127 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))>
1550699641.128 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))
1550699641.128 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699641.131 * * [misc]simplify:  iters left: 3 (20 enodes)
1550699641.137 * * [misc]simplify:  iters left: 2 (32 enodes)
1550699641.144 * * [misc]simplify:  iters left: 1 (92 enodes)
1550699641.184 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699641.184 * * [misc]simplify:  Extracting #1: cost 13 inf + 0
1550699641.184 * * [misc]simplify:  Extracting #2: cost 67 inf + 0
1550699641.184 * * [misc]simplify:  Extracting #3: cost 111 inf + 723
1550699641.185 * * [misc]simplify:  Extracting #4: cost 94 inf + 7692
1550699641.188 * * [misc]simplify:  Extracting #5: cost 25 inf + 47669
1550699641.196 * * [misc]simplify:  Extracting #6: cost 0 inf + 67124
1550699641.204 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x))
1550699641.204 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x)))
1550699641.235 * * [misc]progress:  iteration 1 / 4
1550699641.235 * * * [misc]progress:  picking best candidate
1550699641.264 * * * * [misc]pick:  Picked  #<alt (λ (x) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))>
1550699641.264 * * * [misc]progress:  localizing error
1550699641.482 * * * [misc]progress:  generating rewritten candidates
1550699641.482 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1550699641.485 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1550699641.485 * * * [misc]progress:  generating series expansions
1550699641.485 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1550699641.486 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1550699641.486 * * * [misc]progress:  simplifying candidates
1550699641.486 * * * * [misc]progress:  [ 1 / 4 ] simplifiying candidate #<alt (λ (x) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (neg.p16 (sqrt.p16 x))))>
1550699641.486 * * * * [misc]progress:  [ 2 / 4 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699641.486 * * * * [misc]progress:  [ 3 / 4 ] simplifiying candidate #<alt (λ (x) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))>
1550699641.486 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))
1550699641.486 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699641.490 * * [misc]simplify:  iters left: 3 (20 enodes)
1550699641.498 * * [misc]simplify:  iters left: 2 (32 enodes)
1550699641.509 * * [misc]simplify:  iters left: 1 (92 enodes)
1550699641.555 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699641.555 * * [misc]simplify:  Extracting #1: cost 13 inf + 0
1550699641.555 * * [misc]simplify:  Extracting #2: cost 67 inf + 0
1550699641.556 * * [misc]simplify:  Extracting #3: cost 111 inf + 723
1550699641.566 * * [misc]simplify:  Extracting #4: cost 94 inf + 7692
1550699641.571 * * [misc]simplify:  Extracting #5: cost 25 inf + 47669
1550699641.580 * * [misc]simplify:  Extracting #6: cost 0 inf + 67124
1550699641.589 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x))
1550699641.589 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x)))
1550699641.589 * * * * [misc]progress:  [ 4 / 4 ] simplifiying candidate #<alt (λ (x) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))>
1550699641.589 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))
1550699641.589 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699641.592 * * [misc]simplify:  iters left: 3 (20 enodes)
1550699641.599 * * [misc]simplify:  iters left: 2 (32 enodes)
1550699641.609 * * [misc]simplify:  iters left: 1 (92 enodes)
1550699641.641 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699641.641 * * [misc]simplify:  Extracting #1: cost 13 inf + 0
1550699641.642 * * [misc]simplify:  Extracting #2: cost 67 inf + 0
1550699641.642 * * [misc]simplify:  Extracting #3: cost 111 inf + 723
1550699641.643 * * [misc]simplify:  Extracting #4: cost 94 inf + 7692
1550699641.646 * * [misc]simplify:  Extracting #5: cost 25 inf + 47669
1550699641.653 * * [misc]simplify:  Extracting #6: cost 0 inf + 67124
1550699641.660 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x))
1550699641.660 * [misc]simplify:  Simplified (2) to (λ (x) (-.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x)))
1550699641.661 * * * [misc]progress:  adding candidates to table
1550699641.846 * * [misc]progress:  iteration 2 / 4
1550699641.846 * * * [misc]progress:  picking best candidate
1550699641.865 * * * * [misc]pick:  Picked  #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699641.865 * * * [misc]progress:  localizing error
1550699642.118 * * * [misc]progress:  generating rewritten candidates
1550699642.118 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
1550699642.124 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1)
1550699642.128 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2)
1550699642.139 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2)
1550699642.144 * * * [misc]progress:  generating series expansions
1550699642.144 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
1550699642.144 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1)
1550699642.144 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2)
1550699642.145 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2)
1550699642.145 * * * [misc]progress:  simplifying candidates
1550699642.145 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699642.145 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))
1550699642.145 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699642.149 * * [misc]simplify:  iters left: 3 (14 enodes)
1550699642.154 * * [misc]simplify:  iters left: 2 (16 enodes)
1550699642.159 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699642.159 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699642.159 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699642.159 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699642.159 * * [misc]simplify:  Extracting #4: cost 5 inf + 42
1550699642.159 * * [misc]simplify:  Extracting #5: cost 0 inf + 330
1550699642.160 * [exit]simplify:  Simplified to (+.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x))
1550699642.160 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x)) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))
1550699642.160 * [enter]simplify:  Simplifying (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))
1550699642.160 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699642.164 * * [misc]simplify:  iters left: 3 (20 enodes)
1550699642.171 * * [misc]simplify:  iters left: 2 (32 enodes)
1550699642.183 * * [misc]simplify:  iters left: 1 (92 enodes)
1550699642.230 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699642.230 * * [misc]simplify:  Extracting #1: cost 13 inf + 0
1550699642.230 * * [misc]simplify:  Extracting #2: cost 67 inf + 0
1550699642.231 * * [misc]simplify:  Extracting #3: cost 111 inf + 723
1550699642.232 * * [misc]simplify:  Extracting #4: cost 94 inf + 7692
1550699642.238 * * [misc]simplify:  Extracting #5: cost 25 inf + 47669
1550699642.244 * * [misc]simplify:  Extracting #6: cost 0 inf + 67124
1550699642.252 * [exit]simplify:  Simplified to (-.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x))
1550699642.252 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (/.p16 (*.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (-.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))
1550699642.252 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (neg.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699642.252 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699642.252 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699642.253 * [enter]simplify:  Simplifying (real->posit16 1)
1550699642.253 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699642.254 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699642.254 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699642.254 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699642.254 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550699642.254 * [exit]simplify:  Simplified to (real->posit16 1)
1550699642.255 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))
1550699642.255 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699642.255 * * * * [misc]progress:  [ 6 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (/.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))))>
1550699642.255 * [enter]simplify:  Simplifying (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))
1550699642.255 * * [misc]simplify:  iters left: 4 (7 enodes)
1550699642.258 * * [misc]simplify:  iters left: 3 (14 enodes)
1550699642.264 * * [misc]simplify:  iters left: 2 (16 enodes)
1550699642.268 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699642.268 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699642.268 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699642.268 * * [misc]simplify:  Extracting #3: cost 5 inf + 1
1550699642.268 * * [misc]simplify:  Extracting #4: cost 5 inf + 42
1550699642.268 * * [misc]simplify:  Extracting #5: cost 0 inf + 330
1550699642.268 * [exit]simplify:  Simplified to (+.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x))
1550699642.268 * [misc]simplify:  Simplified (2 1) to (λ (x) (/.p16 (+.p16 (sqrt.p16 (+.p16 (real->posit16 1) x)) (sqrt.p16 x)) (/.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))))
1550699642.268 * * * * [misc]progress:  [ 7 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (*.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (+.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))))))>
1550699642.269 * [enter]simplify:  Simplifying (-.p16 (*.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1))))) (*.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))))
1550699642.269 * * [misc]simplify:  iters left: 6 (11 enodes)
1550699642.274 * * [misc]simplify:  iters left: 5 (36 enodes)
1550699642.284 * * [misc]simplify:  iters left: 4 (113 enodes)
1550699642.342 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699642.343 * * [misc]simplify:  Extracting #1: cost 47 inf + 0
1550699642.343 * * [misc]simplify:  Extracting #2: cost 86 inf + 0
1550699642.344 * * [misc]simplify:  Extracting #3: cost 135 inf + 444
1550699642.345 * * [misc]simplify:  Extracting #4: cost 135 inf + 19159
1550699642.351 * * [misc]simplify:  Extracting #5: cost 41 inf + 89813
1550699642.358 * * [misc]simplify:  Extracting #6: cost 4 inf + 126851
1550699642.370 * * [misc]simplify:  Extracting #7: cost 0 inf + 133619
1550699642.385 * [exit]simplify:  Simplified to (*.p16 (+.p16 (real->posit16 0.0) (real->posit16 1)) (+.p16 (+.p16 x x) (real->posit16 1)))
1550699642.385 * [misc]simplify:  Simplified (2 1) to (λ (x) (/.p16 (*.p16 (+.p16 (real->posit16 0.0) (real->posit16 1)) (+.p16 (+.p16 x x) (real->posit16 1))) (*.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (+.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))))))
1550699642.385 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 x) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1550699642.385 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699642.385 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699642.385 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699642.385 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699642.385 * * * [misc]progress:  adding candidates to table
1550699642.971 * * [misc]progress:  iteration 3 / 4
1550699642.971 * * * [misc]progress:  picking best candidate
1550699643.101 * * * * [misc]pick:  Picked  #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699643.101 * * * [misc]progress:  localizing error
1550699643.205 * * * [misc]progress:  generating rewritten candidates
1550699643.206 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
1550699643.209 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1550699643.213 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550699643.216 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2)
1550699643.218 * * * [misc]progress:  generating series expansions
1550699643.218 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
1550699643.218 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1550699643.218 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550699643.218 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2)
1550699643.218 * * * [misc]progress:  simplifying candidates
1550699643.218 * * * * [misc]progress:  [ 1 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699643.218 * * * * [misc]progress:  [ 2 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (+.p16 x (real->posit16 1)) (neg.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699643.219 * * * * [misc]progress:  [ 3 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699643.219 * * * * [misc]progress:  [ 4 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (*.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (+.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))))))>
1550699643.219 * [enter]simplify:  Simplifying (-.p16 (*.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))))
1550699643.219 * * [misc]simplify:  iters left: 4 (9 enodes)
1550699643.222 * * [misc]simplify:  iters left: 3 (36 enodes)
1550699643.235 * * [misc]simplify:  iters left: 2 (126 enodes)
1550699643.291 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699643.292 * * [misc]simplify:  Extracting #1: cost 46 inf + 0
1550699643.292 * * [misc]simplify:  Extracting #2: cost 96 inf + 0
1550699643.292 * * [misc]simplify:  Extracting #3: cost 146 inf + 1527
1550699643.293 * * [misc]simplify:  Extracting #4: cost 138 inf + 22563
1550699643.297 * * [misc]simplify:  Extracting #5: cost 35 inf + 106803
1550699643.304 * * [misc]simplify:  Extracting #6: cost 0 inf + 141195
1550699643.311 * [exit]simplify:  Simplified to (*.p16 (+.p16 (real->posit16 1) (+.p16 x x)) (+.p16 (real->posit16 0.0) (real->posit16 1)))
1550699643.311 * [misc]simplify:  Simplified (2 1) to (λ (x) (/.p16 (*.p16 (+.p16 (real->posit16 1) (+.p16 x x)) (+.p16 (real->posit16 0.0) (real->posit16 1))) (*.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (+.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))))))
1550699643.311 * * * * [misc]progress:  [ 5 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 x) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1550699643.311 * * * * [misc]progress:  [ 6 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) x) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699643.311 * * * * [misc]progress:  [ 7 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699643.311 * * * * [misc]progress:  [ 8 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699643.311 * [enter]simplify:  Simplifying (real->posit16 1)
1550699643.311 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699643.312 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699643.312 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699643.312 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699643.312 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550699643.312 * [exit]simplify:  Simplified to (real->posit16 1)
1550699643.312 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))
1550699643.312 * * * * [misc]progress:  [ 9 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699643.313 * [enter]simplify:  Simplifying (real->posit16 1)
1550699643.313 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699643.314 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699643.314 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699643.314 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699643.314 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550699643.314 * [exit]simplify:  Simplified to (real->posit16 1)
1550699643.314 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))
1550699643.314 * * * * [misc]progress:  [ 10 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699643.314 * [enter]simplify:  Simplifying (real->posit16 1)
1550699643.314 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699643.315 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699643.315 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699643.315 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699643.315 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550699643.315 * [exit]simplify:  Simplified to (real->posit16 1)
1550699643.315 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))
1550699643.315 * * * * [misc]progress:  [ 11 / 11 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699643.315 * [enter]simplify:  Simplifying (real->posit16 1)
1550699643.315 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699643.316 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699643.316 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699643.316 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699643.316 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550699643.317 * [exit]simplify:  Simplified to (real->posit16 1)
1550699643.317 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))
1550699643.317 * * * [misc]progress:  adding candidates to table
1550699643.903 * * [misc]progress:  iteration 4 / 4
1550699643.903 * * * [misc]progress:  picking best candidate
1550699644.041 * * * * [misc]pick:  Picked  #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699644.041 * * * [misc]progress:  localizing error
1550699644.167 * * * [misc]progress:  generating rewritten candidates
1550699644.167 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1)
1550699644.169 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1550699644.172 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550699644.175 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 2)
1550699644.177 * * * [misc]progress:  generating series expansions
1550699644.177 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1)
1550699644.177 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1550699644.177 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550699644.177 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 2)
1550699644.177 * * * [misc]progress:  simplifying candidates
1550699644.177 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (+.p16 x (real->posit16 1)) (neg.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699644.178 * [enter]simplify:  Simplifying (neg.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)))
1550699644.178 * * [misc]simplify:  iters left: 3 (4 enodes)
1550699644.179 * * [misc]simplify:  iters left: 2 (6 enodes)
1550699644.181 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699644.181 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699644.181 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699644.181 * * [misc]simplify:  Extracting #3: cost 0 inf + 82
1550699644.181 * [exit]simplify:  Simplified to (neg.p16 x)
1550699644.181 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (/.p16 (+.p16 (+.p16 x (real->posit16 1)) (neg.p16 x)) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))
1550699644.181 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699644.181 * [enter]simplify:  Simplifying (*.p16 (sqrt.p16 x) (sqrt.p16 x))
1550699644.182 * * [misc]simplify:  iters left: 2 (3 enodes)
1550699644.183 * * [misc]simplify:  iters left: 1 (5 enodes)
1550699644.184 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699644.184 * * [misc]simplify:  Extracting #1: cost 0 inf + 1
1550699644.184 * [exit]simplify:  Simplified to x
1550699644.184 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) x) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))
1550699644.184 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 (-.p16 (real->posit16 1) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) x) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699644.184 * * * * [misc]progress:  [ 4 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 x) (sqrt.p16 (+.p16 x (real->posit16 1))))))>
1550699644.184 * * * * [misc]progress:  [ 5 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) x)) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699644.184 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699644.184 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699644.184 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699644.185 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699644.185 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>
1550699644.185 * * * [misc]progress:  adding candidates to table
1550699644.772 * [misc]progress:  [Phase 3 of 3] Extracting.
1550699644.772 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))> #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) x)) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (real->posit16 0.0) (real->posit16 1)) (+.p16 (+.p16 x x) (real->posit16 1))) (*.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (+.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))))))> #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) x) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))> #<alt (λ (x) (/.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (/.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (real->posit16 1) (+.p16 x x)) (+.p16 (real->posit16 0.0) (real->posit16 1))) (*.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (+.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))))))> #<alt (λ (x) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>)
1550699644.774 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1550699644.774 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (/.p16 (/.p16 (-.p16 (*.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) (*.p16 (*.p16 (sqrt.p16 x) (sqrt.p16 x)) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x)))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))> #<alt (λ (x) (/.p16 (+.p16 x (-.p16 (real->posit16 1) x)) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (real->posit16 0.0) (real->posit16 1)) (+.p16 (+.p16 x x) (real->posit16 1))) (*.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (+.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))))))> #<alt (λ (x) (/.p16 (-.p16 (+.p16 x (real->posit16 1)) x) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))> #<alt (λ (x) (/.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (/.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))))> #<alt (λ (x) (/.p16 (*.p16 (+.p16 (real->posit16 1) (+.p16 x x)) (+.p16 (real->posit16 0.0) (real->posit16 1))) (*.p16 (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)) (+.p16 (+.p16 x (real->posit16 1)) (*.p16 (sqrt.p16 x) (sqrt.p16 x))))))> #<alt (λ (x) (-.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 (+.p16 x (real->posit16 1)))) (*.p16 (sqrt.p16 x) (sqrt.p16 x))) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x))))>)
1550699645.215 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1550699645.215 * [enter]simplify:  Simplifying (/.p16 (+.p16 x (-.p16 (real->posit16 1) x)) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))
1550699645.215 * * [misc]simplify:  iters left: 5 (10 enodes)
1550699645.217 * * [misc]simplify:  iters left: 4 (12 enodes)
1550699645.218 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699645.218 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699645.218 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699645.218 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550699645.218 * * [misc]simplify:  Extracting #4: cost 8 inf + 42
1550699645.219 * * [misc]simplify:  Extracting #5: cost 0 inf + 1256
1550699645.219 * [exit]simplify:  Simplified to (/.p16 (+.p16 x (-.p16 (real->posit16 1) x)) (+.p16 (sqrt.p16 (+.p16 x (real->posit16 1))) (sqrt.p16 x)))
1550699645.219 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550699645.240 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550699645.242 * * * * [misc]points:  Setting MPFR precision to 64
1550699645.244 * * * * [misc]points:  Setting MPFR precision to 320
1550699645.246 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550699645.248 * * * * [misc]points:  Setting MPFR precision to 64
1550699645.251 * * * * [misc]points:  Setting MPFR precision to 320
1550699645.255 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550699645.257 * * * * [misc]points:  Setting MPFR precision to 64
1550699645.263 * * * * [misc]points:  Setting MPFR precision to 320
1550699645.270 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550699645.273 * * * * [misc]points:  Setting MPFR precision to 64
1550699645.283 * * * * [misc]points:  Setting MPFR precision to 320
1550699645.297 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550699645.300 * * * * [misc]points:  Setting MPFR precision to 64
1550699645.315 * * * * [misc]points:  Setting MPFR precision to 320
1550699645.331 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550699645.333 * * * * [misc]points:  Setting MPFR precision to 64
1550699645.377 * * * * [misc]points:  Setting MPFR precision to 320
1550699645.428 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550699645.430 * * * * [misc]points:  Setting MPFR precision to 64
1550699645.495 * * * * [misc]points:  Setting MPFR precision to 320
1550699645.629 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550699645.632 * * * * [misc]points:  Setting MPFR precision to 64
1550699645.780 * * * * [misc]points:  Setting MPFR precision to 320
1550699646.049 * * * * [misc]points:  Computing exacts for 8000 points
1550699646.052 * * * * [misc]points:  Setting MPFR precision to 64
1550699647.144 * * * * [misc]points:  Setting MPFR precision to 320
1550699648.072 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699648.470 * * * * [misc]points:  Sampling 4001 additional inputs, on iter 1 have 3999 / 8000
1550699648.480 * * * * [misc]points:  Computing exacts on every 250 of 4001 points to ramp up precision
1550699648.483 * * * * [misc]points:  Setting MPFR precision to 64
1550699648.484 * * * * [misc]points:  Setting MPFR precision to 320
1550699648.486 * * * * [misc]points:  Computing exacts on every 125 of 4001 points to ramp up precision
1550699648.489 * * * * [misc]points:  Setting MPFR precision to 64
1550699648.492 * * * * [misc]points:  Setting MPFR precision to 320
1550699648.496 * * * * [misc]points:  Computing exacts on every 62 of 4001 points to ramp up precision
1550699648.498 * * * * [misc]points:  Setting MPFR precision to 64
1550699648.504 * * * * [misc]points:  Setting MPFR precision to 320
1550699648.532 * * * * [misc]points:  Computing exacts on every 31 of 4001 points to ramp up precision
1550699648.536 * * * * [misc]points:  Setting MPFR precision to 64
1550699648.547 * * * * [misc]points:  Setting MPFR precision to 320
1550699648.563 * * * * [misc]points:  Computing exacts on every 15 of 4001 points to ramp up precision
1550699648.566 * * * * [misc]points:  Setting MPFR precision to 64
1550699648.585 * * * * [misc]points:  Setting MPFR precision to 320
1550699648.616 * * * * [misc]points:  Computing exacts on every 7 of 4001 points to ramp up precision
1550699648.619 * * * * [misc]points:  Setting MPFR precision to 64
1550699648.660 * * * * [misc]points:  Setting MPFR precision to 320
1550699648.717 * * * * [misc]points:  Computing exacts on every 3 of 4001 points to ramp up precision
1550699648.720 * * * * [misc]points:  Setting MPFR precision to 64
1550699648.841 * * * * [misc]points:  Setting MPFR precision to 320
1550699648.947 * * * * [misc]points:  Computing exacts for 4001 points
1550699648.949 * * * * [misc]points:  Setting MPFR precision to 64
1550699649.297 * * * * [misc]points:  Setting MPFR precision to 320
1550699649.818 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699650.056 * * * * [misc]points:  Sampling 2048 additional inputs, on iter 2 have 5952 / 8000
1550699650.062 * * * * [misc]points:  Computing exacts on every 128 of 2048 points to ramp up precision
1550699650.065 * * * * [misc]points:  Setting MPFR precision to 64
1550699650.067 * * * * [misc]points:  Setting MPFR precision to 320
1550699650.069 * * * * [misc]points:  Computing exacts on every 64 of 2048 points to ramp up precision
1550699650.072 * * * * [misc]points:  Setting MPFR precision to 64
1550699650.075 * * * * [misc]points:  Setting MPFR precision to 320
1550699650.078 * * * * [misc]points:  Computing exacts on every 32 of 2048 points to ramp up precision
1550699650.081 * * * * [misc]points:  Setting MPFR precision to 64
1550699650.087 * * * * [misc]points:  Setting MPFR precision to 320
1550699650.095 * * * * [misc]points:  Computing exacts on every 16 of 2048 points to ramp up precision
1550699650.099 * * * * [misc]points:  Setting MPFR precision to 64
1550699650.110 * * * * [misc]points:  Setting MPFR precision to 320
1550699650.125 * * * * [misc]points:  Computing exacts on every 8 of 2048 points to ramp up precision
1550699650.127 * * * * [misc]points:  Setting MPFR precision to 64
1550699650.146 * * * * [misc]points:  Setting MPFR precision to 320
1550699650.174 * * * * [misc]points:  Computing exacts on every 4 of 2048 points to ramp up precision
1550699650.177 * * * * [misc]points:  Setting MPFR precision to 64
1550699650.244 * * * * [misc]points:  Setting MPFR precision to 320
1550699650.298 * * * * [misc]points:  Computing exacts on every 2 of 2048 points to ramp up precision
1550699650.300 * * * * [misc]points:  Setting MPFR precision to 64
1550699650.360 * * * * [misc]points:  Setting MPFR precision to 320
1550699650.448 * * * * [misc]points:  Computing exacts for 2048 points
1550699650.450 * * * * [misc]points:  Setting MPFR precision to 64
1550699650.673 * * * * [misc]points:  Setting MPFR precision to 320
1550699650.938 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699651.027 * * * * [misc]points:  Sampling 1023 additional inputs, on iter 3 have 6977 / 8000
1550699651.029 * * * * [misc]points:  Computing exacts on every 63 of 1023 points to ramp up precision
1550699651.032 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.034 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.035 * * * * [misc]points:  Computing exacts on every 31 of 1023 points to ramp up precision
1550699651.038 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.041 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.044 * * * * [misc]points:  Computing exacts on every 15 of 1023 points to ramp up precision
1550699651.047 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.051 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.058 * * * * [misc]points:  Computing exacts on every 7 of 1023 points to ramp up precision
1550699651.088 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.098 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.110 * * * * [misc]points:  Computing exacts on every 3 of 1023 points to ramp up precision
1550699651.113 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.130 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.160 * * * * [misc]points:  Computing exacts for 1023 points
1550699651.162 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.227 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.386 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699651.435 * * * * [misc]points:  Sampling 536 additional inputs, on iter 4 have 7464 / 8000
1550699651.436 * * * * [misc]points:  Computing exacts on every 33 of 536 points to ramp up precision
1550699651.439 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.440 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.442 * * * * [misc]points:  Computing exacts on every 16 of 536 points to ramp up precision
1550699651.445 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.447 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.451 * * * * [misc]points:  Computing exacts on every 8 of 536 points to ramp up precision
1550699651.453 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.458 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.465 * * * * [misc]points:  Computing exacts on every 4 of 536 points to ramp up precision
1550699651.468 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.476 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.488 * * * * [misc]points:  Computing exacts on every 2 of 536 points to ramp up precision
1550699651.490 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.504 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.524 * * * * [misc]points:  Computing exacts for 536 points
1550699651.526 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.567 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.662 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699651.687 * * * * [misc]points:  Sampling 275 additional inputs, on iter 5 have 7725 / 8000
1550699651.688 * * * * [misc]points:  Computing exacts on every 17 of 275 points to ramp up precision
1550699651.691 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.693 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.694 * * * * [misc]points:  Computing exacts on every 8 of 275 points to ramp up precision
1550699651.697 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.699 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.703 * * * * [misc]points:  Computing exacts on every 4 of 275 points to ramp up precision
1550699651.705 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.710 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.716 * * * * [misc]points:  Computing exacts on every 2 of 275 points to ramp up precision
1550699651.718 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.726 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.736 * * * * [misc]points:  Computing exacts for 275 points
1550699651.738 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.759 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.789 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699651.804 * * * * [misc]points:  Sampling 141 additional inputs, on iter 6 have 7859 / 8000
1550699651.805 * * * * [misc]points:  Computing exacts on every 8 of 141 points to ramp up precision
1550699651.807 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.809 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.810 * * * * [misc]points:  Computing exacts on every 4 of 141 points to ramp up precision
1550699651.813 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.815 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.819 * * * * [misc]points:  Computing exacts on every 2 of 141 points to ramp up precision
1550699651.821 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.825 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.831 * * * * [misc]points:  Computing exacts for 141 points
1550699651.833 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.845 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.860 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699651.900 * * * * [misc]points:  Sampling 70 additional inputs, on iter 7 have 7930 / 8000
1550699651.900 * * * * [misc]points:  Computing exacts on every 4 of 70 points to ramp up precision
1550699651.903 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.904 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.906 * * * * [misc]points:  Computing exacts on every 2 of 70 points to ramp up precision
1550699651.911 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.913 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.916 * * * * [misc]points:  Computing exacts for 70 points
1550699651.918 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.924 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.932 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699651.936 * * * * [misc]points:  Sampling 35 additional inputs, on iter 8 have 7965 / 8000
1550699651.936 * * * * [misc]points:  Computing exacts on every 2 of 35 points to ramp up precision
1550699651.939 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.940 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.941 * * * * [misc]points:  Computing exacts for 35 points
1550699651.944 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.947 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.951 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699651.953 * * * * [misc]points:  Sampling 18 additional inputs, on iter 9 have 7982 / 8000
1550699651.953 * * * * [misc]points:  Computing exacts for 18 points
1550699651.956 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.958 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.960 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699651.961 * * * * [misc]points:  Sampling 10 additional inputs, on iter 10 have 7990 / 8000
1550699651.961 * * * * [misc]points:  Computing exacts for 10 points
1550699651.964 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.965 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.966 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699651.967 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7997 / 8000
1550699651.967 * * * * [misc]points:  Computing exacts for 4 points
1550699651.970 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.970 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.971 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699651.971 * * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 7999 / 8000
1550699651.971 * * * * [misc]points:  Computing exacts for 4 points
1550699651.974 * * * * [misc]points:  Setting MPFR precision to 64
1550699651.974 * * * * [misc]points:  Setting MPFR precision to 320
1550699651.975 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699651.975 * * * * [exit]points:  Sampled 8001 points with exact outputs
1550699658.038 * [misc]regime-testing:  Baseline error score: 64.0
1550699658.040 * [misc]regime-testing:  Oracle error score: 64.0
1550699658.051 * [misc]regime-testing:  End program error score: 0.5766593745521015