0.002 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.013 * * * * [points]: Setting MPFR precision to 320
0.015 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.022 * * * * [points]: Setting MPFR precision to 64
0.026 * * * * [points]: Setting MPFR precision to 320
0.030 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.036 * * * * [points]: Setting MPFR precision to 64
0.050 * * * * [points]: Setting MPFR precision to 320
0.058 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.065 * * * * [points]: Setting MPFR precision to 64
0.077 * * * * [points]: Setting MPFR precision to 320
0.088 * * * * [points]: Computing exacts for 256 points
0.097 * * * * [points]: Setting MPFR precision to 64
0.122 * * * * [points]: Setting MPFR precision to 320
0.141 * * * * [points]: Filtering points with unrepresentable outputs
0.141 * * * * [points]: Sampling 218 additional inputs, on iter 1 have 38 / 256
0.142 * * * * [points]: Computing exacts on every 13 of 218 points to ramp up precision
0.145 * * * * [points]: Setting MPFR precision to 64
0.146 * * * * [points]: Setting MPFR precision to 320
0.147 * * * * [points]: Computing exacts on every 6 of 218 points to ramp up precision
0.151 * * * * [points]: Setting MPFR precision to 64
0.153 * * * * [points]: Setting MPFR precision to 320
0.155 * * * * [points]: Computing exacts on every 3 of 218 points to ramp up precision
0.159 * * * * [points]: Setting MPFR precision to 64
0.163 * * * * [points]: Setting MPFR precision to 320
0.166 * * * * [points]: Computing exacts for 218 points
0.170 * * * * [points]: Setting MPFR precision to 64
0.213 * * * * [points]: Setting MPFR precision to 320
0.231 * * * * [points]: Filtering points with unrepresentable outputs
0.231 * * * * [points]: Sampling 194 additional inputs, on iter 2 have 62 / 256
0.232 * * * * [points]: Computing exacts on every 12 of 194 points to ramp up precision
0.236 * * * * [points]: Setting MPFR precision to 64
0.238 * * * * [points]: Setting MPFR precision to 320
0.240 * * * * [points]: Computing exacts on every 6 of 194 points to ramp up precision
0.247 * * * * [points]: Setting MPFR precision to 64
0.251 * * * * [points]: Setting MPFR precision to 320
0.254 * * * * [points]: Computing exacts on every 3 of 194 points to ramp up precision
0.261 * * * * [points]: Setting MPFR precision to 64
0.268 * * * * [points]: Setting MPFR precision to 320
0.274 * * * * [points]: Computing exacts for 194 points
0.282 * * * * [points]: Setting MPFR precision to 64
0.308 * * * * [points]: Setting MPFR precision to 320
0.335 * * * * [points]: Filtering points with unrepresentable outputs
0.335 * * * * [points]: Sampling 176 additional inputs, on iter 3 have 80 / 256
0.337 * * * * [points]: Computing exacts on every 11 of 176 points to ramp up precision
0.344 * * * * [points]: Setting MPFR precision to 64
0.346 * * * * [points]: Setting MPFR precision to 320
0.348 * * * * [points]: Computing exacts on every 5 of 176 points to ramp up precision
0.354 * * * * [points]: Setting MPFR precision to 64
0.358 * * * * [points]: Setting MPFR precision to 320
0.362 * * * * [points]: Computing exacts on every 2 of 176 points to ramp up precision
0.369 * * * * [points]: Setting MPFR precision to 64
0.412 * * * * [points]: Setting MPFR precision to 320
0.423 * * * * [points]: Computing exacts for 176 points
0.430 * * * * [points]: Setting MPFR precision to 64
0.443 * * * * [points]: Setting MPFR precision to 320
0.455 * * * * [points]: Filtering points with unrepresentable outputs
0.455 * * * * [points]: Sampling 149 additional inputs, on iter 4 have 107 / 256
0.456 * * * * [points]: Computing exacts on every 9 of 149 points to ramp up precision
0.459 * * * * [points]: Setting MPFR precision to 64
0.460 * * * * [points]: Setting MPFR precision to 320
0.462 * * * * [points]: Computing exacts on every 4 of 149 points to ramp up precision
0.467 * * * * [points]: Setting MPFR precision to 64
0.472 * * * * [points]: Setting MPFR precision to 320
0.476 * * * * [points]: Computing exacts on every 2 of 149 points to ramp up precision
0.483 * * * * [points]: Setting MPFR precision to 64
0.490 * * * * [points]: Setting MPFR precision to 320
0.497 * * * * [points]: Computing exacts for 149 points
0.504 * * * * [points]: Setting MPFR precision to 64
0.525 * * * * [points]: Setting MPFR precision to 320
0.546 * * * * [points]: Filtering points with unrepresentable outputs
0.546 * * * * [points]: Sampling 125 additional inputs, on iter 5 have 131 / 256
0.548 * * * * [points]: Computing exacts on every 7 of 125 points to ramp up precision
0.554 * * * * [points]: Setting MPFR precision to 64
0.556 * * * * [points]: Setting MPFR precision to 320
0.559 * * * * [points]: Computing exacts on every 3 of 125 points to ramp up precision
0.565 * * * * [points]: Setting MPFR precision to 64
0.570 * * * * [points]: Setting MPFR precision to 320
0.613 * * * * [points]: Computing exacts for 125 points
0.623 * * * * [points]: Setting MPFR precision to 64
0.640 * * * * [points]: Setting MPFR precision to 320
0.657 * * * * [points]: Filtering points with unrepresentable outputs
0.657 * * * * [points]: Sampling 112 additional inputs, on iter 6 have 144 / 256
0.658 * * * * [points]: Computing exacts on every 7 of 112 points to ramp up precision
0.665 * * * * [points]: Setting MPFR precision to 64
0.667 * * * * [points]: Setting MPFR precision to 320
0.669 * * * * [points]: Computing exacts on every 3 of 112 points to ramp up precision
0.676 * * * * [points]: Setting MPFR precision to 64
0.680 * * * * [points]: Setting MPFR precision to 320
0.684 * * * * [points]: Computing exacts for 112 points
0.691 * * * * [points]: Setting MPFR precision to 64
0.706 * * * * [points]: Setting MPFR precision to 320
0.722 * * * * [points]: Filtering points with unrepresentable outputs
0.722 * * * * [points]: Sampling 96 additional inputs, on iter 7 have 160 / 256
0.723 * * * * [points]: Computing exacts on every 6 of 96 points to ramp up precision
0.730 * * * * [points]: Setting MPFR precision to 64
0.732 * * * * [points]: Setting MPFR precision to 320
0.734 * * * * [points]: Computing exacts on every 3 of 96 points to ramp up precision
0.741 * * * * [points]: Setting MPFR precision to 64
0.744 * * * * [points]: Setting MPFR precision to 320
0.748 * * * * [points]: Computing exacts for 96 points
0.754 * * * * [points]: Setting MPFR precision to 64
0.767 * * * * [points]: Setting MPFR precision to 320
0.781 * * * * [points]: Filtering points with unrepresentable outputs
0.781 * * * * [points]: Sampling 89 additional inputs, on iter 8 have 167 / 256
0.782 * * * * [points]: Computing exacts on every 5 of 89 points to ramp up precision
0.788 * * * * [points]: Setting MPFR precision to 64
0.791 * * * * [points]: Setting MPFR precision to 320
0.792 * * * * [points]: Computing exacts on every 2 of 89 points to ramp up precision
0.832 * * * * [points]: Setting MPFR precision to 64
0.840 * * * * [points]: Setting MPFR precision to 320
0.844 * * * * [points]: Computing exacts for 89 points
0.851 * * * * [points]: Setting MPFR precision to 64
0.863 * * * * [points]: Setting MPFR precision to 320
0.875 * * * * [points]: Filtering points with unrepresentable outputs
0.875 * * * * [points]: Sampling 75 additional inputs, on iter 9 have 181 / 256
0.876 * * * * [points]: Computing exacts on every 4 of 75 points to ramp up precision
0.884 * * * * [points]: Setting MPFR precision to 64
0.886 * * * * [points]: Setting MPFR precision to 320
0.888 * * * * [points]: Computing exacts on every 2 of 75 points to ramp up precision
0.895 * * * * [points]: Setting MPFR precision to 64
0.898 * * * * [points]: Setting MPFR precision to 320
0.902 * * * * [points]: Computing exacts for 75 points
0.908 * * * * [points]: Setting MPFR precision to 64
0.918 * * * * [points]: Setting MPFR precision to 320
0.927 * * * * [points]: Filtering points with unrepresentable outputs
0.927 * * * * [points]: Sampling 68 additional inputs, on iter 10 have 188 / 256
0.928 * * * * [points]: Computing exacts on every 4 of 68 points to ramp up precision
0.934 * * * * [points]: Setting MPFR precision to 64
0.937 * * * * [points]: Setting MPFR precision to 320
0.938 * * * * [points]: Computing exacts on every 2 of 68 points to ramp up precision
0.946 * * * * [points]: Setting MPFR precision to 64
0.950 * * * * [points]: Setting MPFR precision to 320
0.953 * * * * [points]: Computing exacts for 68 points
0.959 * * * * [points]: Setting MPFR precision to 64
0.968 * * * * [points]: Setting MPFR precision to 320
0.977 * * * * [points]: Filtering points with unrepresentable outputs
0.977 * * * * [points]: Sampling 59 additional inputs, on iter 11 have 197 / 256
0.978 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
0.985 * * * * [points]: Setting MPFR precision to 64
0.987 * * * * [points]: Setting MPFR precision to 320
0.989 * * * * [points]: Computing exacts for 59 points
0.996 * * * * [points]: Setting MPFR precision to 64
1.033 * * * * [points]: Setting MPFR precision to 320
1.041 * * * * [points]: Filtering points with unrepresentable outputs
1.041 * * * * [points]: Sampling 56 additional inputs, on iter 12 have 200 / 256
1.042 * * * * [points]: Computing exacts on every 3 of 56 points to ramp up precision
1.051 * * * * [points]: Setting MPFR precision to 64
1.054 * * * * [points]: Setting MPFR precision to 320
1.056 * * * * [points]: Computing exacts for 56 points
1.063 * * * * [points]: Setting MPFR precision to 64
1.070 * * * * [points]: Setting MPFR precision to 320
1.078 * * * * [points]: Filtering points with unrepresentable outputs
1.078 * * * * [points]: Sampling 49 additional inputs, on iter 13 have 207 / 256
1.079 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
1.086 * * * * [points]: Setting MPFR precision to 64
1.088 * * * * [points]: Setting MPFR precision to 320
1.089 * * * * [points]: Computing exacts for 49 points
1.096 * * * * [points]: Setting MPFR precision to 64
1.103 * * * * [points]: Setting MPFR precision to 320
1.110 * * * * [points]: Filtering points with unrepresentable outputs
1.110 * * * * [points]: Sampling 41 additional inputs, on iter 14 have 215 / 256
1.111 * * * * [points]: Computing exacts on every 2 of 41 points to ramp up precision
1.117 * * * * [points]: Setting MPFR precision to 64
1.119 * * * * [points]: Setting MPFR precision to 320
1.121 * * * * [points]: Computing exacts for 41 points
1.128 * * * * [points]: Setting MPFR precision to 64
1.134 * * * * [points]: Setting MPFR precision to 320
1.140 * * * * [points]: Filtering points with unrepresentable outputs
1.140 * * * * [points]: Sampling 36 additional inputs, on iter 15 have 220 / 256
1.140 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
1.147 * * * * [points]: Setting MPFR precision to 64
1.149 * * * * [points]: Setting MPFR precision to 320
1.150 * * * * [points]: Computing exacts for 36 points
1.157 * * * * [points]: Setting MPFR precision to 64
1.162 * * * * [points]: Setting MPFR precision to 320
1.167 * * * * [points]: Filtering points with unrepresentable outputs
1.167 * * * * [points]: Sampling 28 additional inputs, on iter 16 have 228 / 256
1.167 * * * * [points]: Computing exacts for 28 points
1.174 * * * * [points]: Setting MPFR precision to 64
1.178 * * * * [points]: Setting MPFR precision to 320
1.182 * * * * [points]: Filtering points with unrepresentable outputs
1.182 * * * * [points]: Sampling 25 additional inputs, on iter 17 have 231 / 256
1.182 * * * * [points]: Computing exacts for 25 points
1.189 * * * * [points]: Setting MPFR precision to 64
1.192 * * * * [points]: Setting MPFR precision to 320
1.196 * * * * [points]: Filtering points with unrepresentable outputs
1.196 * * * * [points]: Sampling 19 additional inputs, on iter 18 have 237 / 256
1.196 * * * * [points]: Computing exacts for 19 points
1.203 * * * * [points]: Setting MPFR precision to 64
1.232 * * * * [points]: Setting MPFR precision to 320
1.235 * * * * [points]: Filtering points with unrepresentable outputs
1.235 * * * * [points]: Sampling 16 additional inputs, on iter 19 have 240 / 256
1.235 * * * * [points]: Computing exacts for 16 points
1.245 * * * * [points]: Setting MPFR precision to 64
1.248 * * * * [points]: Setting MPFR precision to 320
1.250 * * * * [points]: Filtering points with unrepresentable outputs
1.250 * * * * [points]: Sampling 14 additional inputs, on iter 20 have 242 / 256
1.250 * * * * [points]: Computing exacts for 14 points
1.257 * * * * [points]: Setting MPFR precision to 64
1.259 * * * * [points]: Setting MPFR precision to 320
1.261 * * * * [points]: Filtering points with unrepresentable outputs
1.261 * * * * [points]: Sampling 12 additional inputs, on iter 21 have 244 / 256
1.261 * * * * [points]: Computing exacts for 12 points
1.268 * * * * [points]: Setting MPFR precision to 64
1.270 * * * * [points]: Setting MPFR precision to 320
1.272 * * * * [points]: Filtering points with unrepresentable outputs
1.272 * * * * [points]: Sampling 10 additional inputs, on iter 22 have 246 / 256
1.272 * * * * [points]: Computing exacts for 10 points
1.279 * * * * [points]: Setting MPFR precision to 64
1.281 * * * * [points]: Setting MPFR precision to 320
1.282 * * * * [points]: Filtering points with unrepresentable outputs
1.282 * * * * [points]: Sampling 9 additional inputs, on iter 23 have 247 / 256
1.282 * * * * [points]: Computing exacts for 9 points
1.289 * * * * [points]: Setting MPFR precision to 64
1.290 * * * * [points]: Setting MPFR precision to 320
1.292 * * * * [points]: Filtering points with unrepresentable outputs
1.292 * * * * [points]: Sampling 9 additional inputs, on iter 24 have 247 / 256
1.292 * * * * [points]: Computing exacts for 9 points
1.299 * * * * [points]: Setting MPFR precision to 64
1.300 * * * * [points]: Setting MPFR precision to 320
1.301 * * * * [points]: Filtering points with unrepresentable outputs
1.301 * * * * [points]: Sampling 8 additional inputs, on iter 25 have 248 / 256
1.301 * * * * [points]: Computing exacts for 8 points
1.308 * * * * [points]: Setting MPFR precision to 64
1.309 * * * * [points]: Setting MPFR precision to 320
1.310 * * * * [points]: Filtering points with unrepresentable outputs
1.310 * * * * [points]: Sampling 8 additional inputs, on iter 26 have 248 / 256
1.310 * * * * [points]: Computing exacts for 8 points
1.317 * * * * [points]: Setting MPFR precision to 64
1.318 * * * * [points]: Setting MPFR precision to 320
1.319 * * * * [points]: Filtering points with unrepresentable outputs
1.319 * * * * [points]: Sampling 6 additional inputs, on iter 27 have 250 / 256
1.319 * * * * [points]: Computing exacts for 6 points
1.326 * * * * [points]: Setting MPFR precision to 64
1.327 * * * * [points]: Setting MPFR precision to 320
1.328 * * * * [points]: Filtering points with unrepresentable outputs
1.328 * * * * [points]: Sampling 4 additional inputs, on iter 28 have 252 / 256
1.328 * * * * [points]: Computing exacts for 4 points
1.334 * * * * [points]: Setting MPFR precision to 64
1.335 * * * * [points]: Setting MPFR precision to 320
1.336 * * * * [points]: Filtering points with unrepresentable outputs
1.336 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 253 / 256
1.336 * * * * [points]: Computing exacts for 4 points
1.343 * * * * [points]: Setting MPFR precision to 64
1.343 * * * * [points]: Setting MPFR precision to 320
1.344 * * * * [points]: Filtering points with unrepresentable outputs
1.344 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 254 / 256
1.344 * * * * [points]: Computing exacts for 4 points
1.351 * * * * [points]: Setting MPFR precision to 64
1.352 * * * * [points]: Setting MPFR precision to 320
1.353 * * * * [points]: Filtering points with unrepresentable outputs
1.353 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 254 / 256
1.353 * * * * [points]: Computing exacts for 4 points
1.359 * * * * [points]: Setting MPFR precision to 64
1.360 * * * * [points]: Setting MPFR precision to 320
1.361 * * * * [points]: Filtering points with unrepresentable outputs
1.361 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 254 / 256
1.361 * * * * [points]: Computing exacts for 4 points
1.368 * * * * [points]: Setting MPFR precision to 64
1.369 * * * * [points]: Setting MPFR precision to 320
1.369 * * * * [points]: Filtering points with unrepresentable outputs
1.369 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 254 / 256
1.369 * * * * [points]: Computing exacts for 4 points
1.376 * * * * [points]: Setting MPFR precision to 64
1.377 * * * * [points]: Setting MPFR precision to 320
1.377 * * * * [points]: Filtering points with unrepresentable outputs
1.377 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 254 / 256
1.377 * * * * [points]: Computing exacts for 4 points
1.824 * * * * [points]: Setting MPFR precision to 64
1.825 * * * * [points]: Setting MPFR precision to 320
1.825 * * * * [points]: Filtering points with unrepresentable outputs
1.825 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 255 / 256
1.825 * * * * [points]: Computing exacts for 4 points
1.835 * * * * [points]: Setting MPFR precision to 64
1.836 * * * * [points]: Setting MPFR precision to 320
1.837 * * * * [points]: Filtering points with unrepresentable outputs
1.837 * * * * [points]: Sampled 256 points with exact outputs
1.837 * * * [progress]: [2/2] Setting up program.
1.859 * [progress]: [Phase 2 of 3] Improving.
1.859 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.859 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
1.860 * * [simplify]: iteration 1: (15 enodes)
1.867 * * [simplify]: iteration 2: (54 enodes)
1.890 * * [simplify]: iteration 3: (174 enodes)
2.038 * * [simplify]: iteration 4: (1021 enodes)
3.893 * * [simplify]: Extracting #0: cost 1 inf + 0
3.893 * * [simplify]: Extracting #1: cost 2 inf + 0
3.894 * * [simplify]: Extracting #2: cost 174 inf + 0
3.900 * * [simplify]: Extracting #3: cost 1342 inf + 0
3.931 * * [simplify]: Extracting #4: cost 2271 inf + 691
3.958 * * [simplify]: Extracting #5: cost 2231 inf + 82476
4.062 * * [simplify]: Extracting #6: cost 1375 inf + 1509565
4.454 * * [simplify]: Extracting #7: cost 86 inf + 4121745
4.817 * * [simplify]: Extracting #8: cost 0 inf + 3944289
5.209 * * [simplify]: Extracting #9: cost 0 inf + 3923289
5.607 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)))
5.631 * * [progress]: iteration 1 / 4
5.631 * * * [progress]: picking best candidate
5.646 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.646 * * * [progress]: localizing error
5.936 * * * [progress]: generating rewritten candidates
5.936 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
5.984 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
6.036 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
6.085 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
6.150 * * * [progress]: generating series expansions
6.151 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
6.151 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
6.151 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
6.151 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
6.151 * * * [progress]: simplifying candidates
6.151 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.151 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.151 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.151 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.151 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
6.151 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
6.151 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.151 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (neg.p16 a) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.152 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.152 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.152 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.152 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.152 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.152 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.152 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
6.153 * [simplify]: Simplifying (neg.p16 a), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a), (neg.p16 b), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (neg.p16 c), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))), (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a)), (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))), (*.p16 (neg.p16 a) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))), (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))), (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)), (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))), (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))), (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))), (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
6.153 * * [simplify]: iteration 1: (32 enodes)
6.169 * * [simplify]: iteration 2: (94 enodes)
6.192 * * [simplify]: iteration 3: (342 enodes)
6.402 * * [simplify]: Extracting #0: cost 14 inf + 0
6.403 * * [simplify]: Extracting #1: cost 137 inf + 0
6.404 * * [simplify]: Extracting #2: cost 399 inf + 84
6.413 * * [simplify]: Extracting #3: cost 431 inf + 181932
6.452 * * [simplify]: Extracting #4: cost 206 inf + 662947
6.507 * * [simplify]: Extracting #5: cost 3 inf + 1002088
6.568 * * [simplify]: Extracting #6: cost 0 inf + 1010820
6.634 * [simplify]: Simplified to (neg.p16 a), (*.p16 (+.p16 a (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) a)), (+.p16 a (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2))), (neg.p16 b), (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) b)), (+.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) b), (neg.p16 c), (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)))), (+.p16 c (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2))), (*.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2))), (*.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) (neg.p16 a)), (*.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2))), (*.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) (neg.p16 a)), (*.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) (*.p16 (+.p16 a (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) a))), (*.p16 (+.p16 c (+.p16 b a)) (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) a)), (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) a) (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)))))), (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) a) (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)))))), (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) a) (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)))))), (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2)) a) (/.p16 (+.p16 c (+.p16 b a)) (real->posit16 2))))))
6.635 * * * [progress]: adding candidates to table
7.282 * * [progress]: iteration 2 / 4
7.282 * * * [progress]: picking best candidate
7.328 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.328 * * * [progress]: localizing error
7.858 * * * [progress]: generating rewritten candidates
7.858 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
7.951 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
8.001 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
8.007 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
8.046 * * * [progress]: generating series expansions
8.046 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
8.046 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
8.046 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
8.046 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
8.046 * * * [progress]: simplifying candidates
8.046 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.047 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.047 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.047 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.047 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.047 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.047 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.047 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
8.047 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
8.047 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.047 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.047 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.047 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.047 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)), (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))), (neg.p16 a), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (neg.p16 (*.p16 b b)), (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (neg.p16 c), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
8.048 * * [simplify]: iteration 1: (28 enodes)
8.055 * * [simplify]: iteration 2: (92 enodes)
8.076 * * [simplify]: iteration 3: (269 enodes)
8.208 * * [simplify]: iteration 4: (1108 enodes)
9.732 * * [simplify]: Extracting #0: cost 14 inf + 0
9.733 * * [simplify]: Extracting #1: cost 329 inf + 0
9.741 * * [simplify]: Extracting #2: cost 1337 inf + 3373
9.755 * * [simplify]: Extracting #3: cost 1851 inf + 21240
9.779 * * [simplify]: Extracting #4: cost 2027 inf + 92304
9.817 * * [simplify]: Extracting #5: cost 1848 inf + 288753
9.990 * * [simplify]: Extracting #6: cost 942 inf + 2002645
10.336 * * [simplify]: Extracting #7: cost 78 inf + 3857271
10.790 * * [simplify]: Extracting #8: cost 0 inf + 4059068
11.172 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)), (*.p16 (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 b b))), (neg.p16 a), (*.p16 (+.p16 a (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)), (+.p16 a (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))), (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b), (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b), (neg.p16 (*.p16 b b)), (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 b b)) (+.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 b b))), (+.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 b b)), (neg.p16 c), (*.p16 (+.p16 c (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)), (+.p16 c (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))), (*.p16 (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)), (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b), (*.p16 (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)), (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b), (*.p16 (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)), (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b), (*.p16 (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)), (+.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)
11.175 * * * [progress]: adding candidates to table
11.685 * * [progress]: iteration 3 / 4
11.686 * * * [progress]: picking best candidate
11.765 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
11.765 * * * [progress]: localizing error
12.210 * * * [progress]: generating rewritten candidates
12.210 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
12.278 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
12.345 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
12.348 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
12.373 * * * [progress]: generating series expansions
12.373 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
12.373 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
12.373 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
12.373 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
12.373 * * * [progress]: simplifying candidates
12.373 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.373 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.373 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))))>
12.374 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))>
12.374 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.374 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.374 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.374 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.374 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.374 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.374 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.374 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.374 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
12.375 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)), (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))), (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)), (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (neg.p16 (*.p16 c c)), (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (neg.p16 a), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
12.375 * * [simplify]: iteration 1: (30 enodes)
12.383 * * [simplify]: iteration 2: (98 enodes)
12.406 * * [simplify]: iteration 3: (300 enodes)
12.513 * * [simplify]: iteration 4: (1218 enodes)
14.074 * * [simplify]: Extracting #0: cost 13 inf + 0
14.076 * * [simplify]: Extracting #1: cost 352 inf + 0
14.083 * * [simplify]: Extracting #2: cost 1371 inf + 724
14.113 * * [simplify]: Extracting #3: cost 2009 inf + 6497
14.135 * * [simplify]: Extracting #4: cost 2139 inf + 70417
14.172 * * [simplify]: Extracting #5: cost 1837 inf + 551885
14.352 * * [simplify]: Extracting #6: cost 821 inf + 2493985
14.685 * * [simplify]: Extracting #7: cost 126 inf + 3994618
15.061 * * [simplify]: Extracting #8: cost 0 inf + 4252915
15.610 * * [simplify]: Extracting #9: cost 0 inf + 4188755
15.998 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b)), (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (*.p16 b b))), (/.p16 (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c)), (*.p16 (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (+.p16 (*.p16 c c) (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))))), (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))), (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c), (neg.p16 (*.p16 c c)), (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))), (+.p16 (*.p16 c c) (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))), (neg.p16 a), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))), (+.p16 a (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))), (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))), (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))), (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))), (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c) (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))), (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))
16.001 * * * [progress]: adding candidates to table
16.476 * * [progress]: iteration 4 / 4
16.476 * * * [progress]: picking best candidate
16.529 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
16.529 * * * [progress]: localizing error
16.963 * * * [progress]: generating rewritten candidates
16.963 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
17.059 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2)
17.066 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
17.091 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
17.134 * * * [progress]: generating series expansions
17.134 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
17.134 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2)
17.135 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
17.135 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
17.135 * * * [progress]: simplifying candidates
17.135 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.135 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.135 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.135 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.135 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.135 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.135 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.135 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.136 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
17.136 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
17.136 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.136 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.136 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.136 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.137 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))), (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))), (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a), (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a), (neg.p16 (*.p16 a a)), (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))), (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)), (neg.p16 b), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b), (neg.p16 c), (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)), (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c), (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))), (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))), (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))), (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))
17.137 * * [simplify]: iteration 1: (30 enodes)
17.152 * * [simplify]: iteration 2: (98 enodes)
17.195 * * [simplify]: iteration 3: (313 enodes)
17.401 * * [simplify]: iteration 4: (1388 enodes)
19.797 * * [simplify]: Extracting #0: cost 15 inf + 0
19.798 * * [simplify]: Extracting #1: cost 428 inf + 0
19.804 * * [simplify]: Extracting #2: cost 2045 inf + 3212
19.826 * * [simplify]: Extracting #3: cost 2820 inf + 21185
19.889 * * [simplify]: Extracting #4: cost 2668 inf + 569087
20.082 * * [simplify]: Extracting #5: cost 1218 inf + 3915194
20.697 * * [simplify]: Extracting #6: cost 45 inf + 6409020
21.370 * * [simplify]: Extracting #7: cost 0 inf + 6044844
21.883 * * [simplify]: Extracting #8: cost 0 inf + 6038564
22.435 * [simplify]: Simplified to (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)), (*.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))), (*.p16 (real->posit16 2) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))), (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))), (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a), (neg.p16 (*.p16 a a)), (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))), (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))), (neg.p16 b), (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)), (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b), (neg.p16 c), (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c)), (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))), (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))), (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))), (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))), (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
22.441 * * * [progress]: adding candidates to table
22.880 * [progress]: [Phase 3 of 3] Extracting.
22.880 * * [regime]: Finding splitpoints for: (#<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>)
22.891 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
22.891 * * * * [regimes]: Trying to branch on c from (#<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>)
23.094 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>)
23.278 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>)
23.442 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
23.442 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
23.442 * * [simplify]: iteration 1: (21 enodes)
23.444 * * [simplify]: Extracting #0: cost 1 inf + 0
23.444 * * [simplify]: Extracting #1: cost 2 inf + 0
23.444 * * [simplify]: Extracting #2: cost 4 inf + 0
23.444 * * [simplify]: Extracting #3: cost 8 inf + 0
23.444 * * [simplify]: Extracting #4: cost 11 inf + 1
23.444 * * [simplify]: Extracting #5: cost 14 inf + 2
23.444 * * [simplify]: Extracting #6: cost 16 inf + 3
23.444 * * [simplify]: Extracting #7: cost 13 inf + 7
23.444 * * [simplify]: Extracting #8: cost 11 inf + 656
23.444 * * [simplify]: Extracting #9: cost 7 inf + 1989
23.444 * * [simplify]: Extracting #10: cost 5 inf + 3117
23.445 * * [simplify]: Extracting #11: cost 3 inf + 6167
23.445 * * [simplify]: Extracting #12: cost 0 inf + 14222
23.446 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
23.446 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
23.483 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
23.487 * * * * [points]: Setting MPFR precision to 64
23.488 * * * * [points]: Setting MPFR precision to 320
23.489 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
23.493 * * * * [points]: Setting MPFR precision to 64
23.496 * * * * [points]: Setting MPFR precision to 320
23.498 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
23.502 * * * * [points]: Setting MPFR precision to 64
23.510 * * * * [points]: Setting MPFR precision to 320
23.534 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
23.541 * * * * [points]: Setting MPFR precision to 64
23.559 * * * * [points]: Setting MPFR precision to 320
23.576 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
23.583 * * * * [points]: Setting MPFR precision to 64
23.617 * * * * [points]: Setting MPFR precision to 320
23.649 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
23.656 * * * * [points]: Setting MPFR precision to 64
23.718 * * * * [points]: Setting MPFR precision to 320
23.828 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
23.835 * * * * [points]: Setting MPFR precision to 64
23.941 * * * * [points]: Setting MPFR precision to 320
24.099 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
24.106 * * * * [points]: Setting MPFR precision to 64
24.434 * * * * [points]: Setting MPFR precision to 320
24.800 * * * * [points]: Computing exacts for 8000 points
24.808 * * * * [points]: Setting MPFR precision to 64
25.786 * * * * [points]: Setting MPFR precision to 320
27.298 * * * * [points]: Filtering points with unrepresentable outputs
27.306 * * * * [points]: Sampling 6980 additional inputs, on iter 1 have 1020 / 8000
27.360 * * * * [points]: Computing exacts on every 436 of 6980 points to ramp up precision
27.367 * * * * [points]: Setting MPFR precision to 64
27.370 * * * * [points]: Setting MPFR precision to 320
27.372 * * * * [points]: Computing exacts on every 218 of 6980 points to ramp up precision
27.377 * * * * [points]: Setting MPFR precision to 64
27.379 * * * * [points]: Setting MPFR precision to 320
27.382 * * * * [points]: Computing exacts on every 109 of 6980 points to ramp up precision
27.409 * * * * [points]: Setting MPFR precision to 64
27.414 * * * * [points]: Setting MPFR precision to 320
27.420 * * * * [points]: Computing exacts on every 54 of 6980 points to ramp up precision
27.424 * * * * [points]: Setting MPFR precision to 64
27.433 * * * * [points]: Setting MPFR precision to 320
27.442 * * * * [points]: Computing exacts on every 27 of 6980 points to ramp up precision
27.448 * * * * [points]: Setting MPFR precision to 64
27.475 * * * * [points]: Setting MPFR precision to 320
27.493 * * * * [points]: Computing exacts on every 13 of 6980 points to ramp up precision
27.497 * * * * [points]: Setting MPFR precision to 64
27.583 * * * * [points]: Setting MPFR precision to 320
27.621 * * * * [points]: Computing exacts on every 6 of 6980 points to ramp up precision
27.627 * * * * [points]: Setting MPFR precision to 64
27.756 * * * * [points]: Setting MPFR precision to 320
27.930 * * * * [points]: Computing exacts on every 3 of 6980 points to ramp up precision
27.937 * * * * [points]: Setting MPFR precision to 64
28.175 * * * * [points]: Setting MPFR precision to 320
28.423 * * * * [points]: Computing exacts for 6980 points
28.426 * * * * [points]: Setting MPFR precision to 64
29.202 * * * * [points]: Setting MPFR precision to 320
30.395 * * * * [points]: Filtering points with unrepresentable outputs
30.402 * * * * [points]: Sampling 6084 additional inputs, on iter 2 have 1916 / 8000
30.487 * * * * [points]: Computing exacts on every 380 of 6084 points to ramp up precision
30.494 * * * * [points]: Setting MPFR precision to 64
30.499 * * * * [points]: Setting MPFR precision to 320
30.501 * * * * [points]: Computing exacts on every 190 of 6084 points to ramp up precision
30.508 * * * * [points]: Setting MPFR precision to 64
30.512 * * * * [points]: Setting MPFR precision to 320
30.516 * * * * [points]: Computing exacts on every 95 of 6084 points to ramp up precision
30.522 * * * * [points]: Setting MPFR precision to 64
30.531 * * * * [points]: Setting MPFR precision to 320
30.540 * * * * [points]: Computing exacts on every 47 of 6084 points to ramp up precision
30.546 * * * * [points]: Setting MPFR precision to 64
30.558 * * * * [points]: Setting MPFR precision to 320
30.567 * * * * [points]: Computing exacts on every 23 of 6084 points to ramp up precision
30.570 * * * * [points]: Setting MPFR precision to 64
30.589 * * * * [points]: Setting MPFR precision to 320
30.622 * * * * [points]: Computing exacts on every 11 of 6084 points to ramp up precision
30.627 * * * * [points]: Setting MPFR precision to 64
30.693 * * * * [points]: Setting MPFR precision to 320
30.740 * * * * [points]: Computing exacts on every 5 of 6084 points to ramp up precision
30.747 * * * * [points]: Setting MPFR precision to 64
30.857 * * * * [points]: Setting MPFR precision to 320
30.935 * * * * [points]: Computing exacts on every 2 of 6084 points to ramp up precision
30.942 * * * * [points]: Setting MPFR precision to 64
31.250 * * * * [points]: Setting MPFR precision to 320
31.493 * * * * [points]: Computing exacts for 6084 points
31.500 * * * * [points]: Setting MPFR precision to 64
32.354 * * * * [points]: Setting MPFR precision to 320
33.499 * * * * [points]: Filtering points with unrepresentable outputs
33.505 * * * * [points]: Sampling 5307 additional inputs, on iter 3 have 2693 / 8000
33.546 * * * * [points]: Computing exacts on every 331 of 5307 points to ramp up precision
33.553 * * * * [points]: Setting MPFR precision to 64
33.555 * * * * [points]: Setting MPFR precision to 320
33.557 * * * * [points]: Computing exacts on every 165 of 5307 points to ramp up precision
33.564 * * * * [points]: Setting MPFR precision to 64
33.569 * * * * [points]: Setting MPFR precision to 320
33.573 * * * * [points]: Computing exacts on every 82 of 5307 points to ramp up precision
33.581 * * * * [points]: Setting MPFR precision to 64
33.586 * * * * [points]: Setting MPFR precision to 320
33.591 * * * * [points]: Computing exacts on every 41 of 5307 points to ramp up precision
33.595 * * * * [points]: Setting MPFR precision to 64
33.605 * * * * [points]: Setting MPFR precision to 320
33.621 * * * * [points]: Computing exacts on every 20 of 5307 points to ramp up precision
33.666 * * * * [points]: Setting MPFR precision to 64
33.702 * * * * [points]: Setting MPFR precision to 320
33.735 * * * * [points]: Computing exacts on every 10 of 5307 points to ramp up precision
33.741 * * * * [points]: Setting MPFR precision to 64
33.806 * * * * [points]: Setting MPFR precision to 320
33.850 * * * * [points]: Computing exacts on every 5 of 5307 points to ramp up precision
33.903 * * * * [points]: Setting MPFR precision to 64
34.028 * * * * [points]: Setting MPFR precision to 320
34.180 * * * * [points]: Computing exacts on every 2 of 5307 points to ramp up precision
34.187 * * * * [points]: Setting MPFR precision to 64
34.436 * * * * [points]: Setting MPFR precision to 320
34.603 * * * * [points]: Computing exacts for 5307 points
34.607 * * * * [points]: Setting MPFR precision to 64
35.424 * * * * [points]: Setting MPFR precision to 320
35.963 * * * * [points]: Filtering points with unrepresentable outputs
35.965 * * * * [points]: Sampling 4623 additional inputs, on iter 4 have 3377 / 8000
35.985 * * * * [points]: Computing exacts on every 288 of 4623 points to ramp up precision
35.989 * * * * [points]: Setting MPFR precision to 64
35.992 * * * * [points]: Setting MPFR precision to 320
35.993 * * * * [points]: Computing exacts on every 144 of 4623 points to ramp up precision
35.997 * * * * [points]: Setting MPFR precision to 64
35.999 * * * * [points]: Setting MPFR precision to 320
36.001 * * * * [points]: Computing exacts on every 72 of 4623 points to ramp up precision
36.005 * * * * [points]: Setting MPFR precision to 64
36.010 * * * * [points]: Setting MPFR precision to 320
36.015 * * * * [points]: Computing exacts on every 36 of 4623 points to ramp up precision
36.018 * * * * [points]: Setting MPFR precision to 64
36.027 * * * * [points]: Setting MPFR precision to 320
36.036 * * * * [points]: Computing exacts on every 18 of 4623 points to ramp up precision
36.040 * * * * [points]: Setting MPFR precision to 64
36.081 * * * * [points]: Setting MPFR precision to 320
36.100 * * * * [points]: Computing exacts on every 9 of 4623 points to ramp up precision
36.104 * * * * [points]: Setting MPFR precision to 64
36.138 * * * * [points]: Setting MPFR precision to 320
36.171 * * * * [points]: Computing exacts on every 4 of 4623 points to ramp up precision
36.175 * * * * [points]: Setting MPFR precision to 64
36.275 * * * * [points]: Setting MPFR precision to 320
36.342 * * * * [points]: Computing exacts on every 2 of 4623 points to ramp up precision
36.378 * * * * [points]: Setting MPFR precision to 64
36.493 * * * * [points]: Setting MPFR precision to 320
37.185 * * * * [points]: Computing exacts for 4623 points
37.192 * * * * [points]: Setting MPFR precision to 64
37.706 * * * * [points]: Setting MPFR precision to 320
38.171 * * * * [points]: Filtering points with unrepresentable outputs
38.175 * * * * [points]: Sampling 4055 additional inputs, on iter 5 have 3945 / 8000
38.207 * * * * [points]: Computing exacts on every 253 of 4055 points to ramp up precision
38.214 * * * * [points]: Setting MPFR precision to 64
38.216 * * * * [points]: Setting MPFR precision to 320
38.218 * * * * [points]: Computing exacts on every 126 of 4055 points to ramp up precision
38.263 * * * * [points]: Setting MPFR precision to 64
38.270 * * * * [points]: Setting MPFR precision to 320
38.274 * * * * [points]: Computing exacts on every 63 of 4055 points to ramp up precision
38.280 * * * * [points]: Setting MPFR precision to 64
38.289 * * * * [points]: Setting MPFR precision to 320
38.298 * * * * [points]: Computing exacts on every 31 of 4055 points to ramp up precision
38.305 * * * * [points]: Setting MPFR precision to 64
38.323 * * * * [points]: Setting MPFR precision to 320
38.340 * * * * [points]: Computing exacts on every 15 of 4055 points to ramp up precision
38.347 * * * * [points]: Setting MPFR precision to 64
38.382 * * * * [points]: Setting MPFR precision to 320
38.416 * * * * [points]: Computing exacts on every 7 of 4055 points to ramp up precision
38.423 * * * * [points]: Setting MPFR precision to 64
38.535 * * * * [points]: Setting MPFR precision to 320
38.575 * * * * [points]: Computing exacts on every 3 of 4055 points to ramp up precision
38.578 * * * * [points]: Setting MPFR precision to 64
38.689 * * * * [points]: Setting MPFR precision to 320
38.763 * * * * [points]: Computing exacts for 4055 points
38.767 * * * * [points]: Setting MPFR precision to 64
39.215 * * * * [points]: Setting MPFR precision to 320
39.648 * * * * [points]: Filtering points with unrepresentable outputs
39.652 * * * * [points]: Sampling 3542 additional inputs, on iter 6 have 4458 / 8000
39.679 * * * * [points]: Computing exacts on every 221 of 3542 points to ramp up precision
40.149 * * * * [points]: Setting MPFR precision to 64
40.151 * * * * [points]: Setting MPFR precision to 320
40.152 * * * * [points]: Computing exacts on every 110 of 3542 points to ramp up precision
40.155 * * * * [points]: Setting MPFR precision to 64
40.159 * * * * [points]: Setting MPFR precision to 320
40.161 * * * * [points]: Computing exacts on every 55 of 3542 points to ramp up precision
40.165 * * * * [points]: Setting MPFR precision to 64
40.170 * * * * [points]: Setting MPFR precision to 320
40.174 * * * * [points]: Computing exacts on every 27 of 3542 points to ramp up precision
40.178 * * * * [points]: Setting MPFR precision to 64
40.188 * * * * [points]: Setting MPFR precision to 320
40.199 * * * * [points]: Computing exacts on every 13 of 3542 points to ramp up precision
40.205 * * * * [points]: Setting MPFR precision to 64
40.235 * * * * [points]: Setting MPFR precision to 320
40.265 * * * * [points]: Computing exacts on every 6 of 3542 points to ramp up precision
40.272 * * * * [points]: Setting MPFR precision to 64
40.376 * * * * [points]: Setting MPFR precision to 320
40.418 * * * * [points]: Computing exacts on every 3 of 3542 points to ramp up precision
40.421 * * * * [points]: Setting MPFR precision to 64
40.556 * * * * [points]: Setting MPFR precision to 320
40.630 * * * * [points]: Computing exacts for 3542 points
40.633 * * * * [points]: Setting MPFR precision to 64
41.017 * * * * [points]: Setting MPFR precision to 320
41.399 * * * * [points]: Filtering points with unrepresentable outputs
41.401 * * * * [points]: Sampling 3084 additional inputs, on iter 7 have 4916 / 8000
41.424 * * * * [points]: Computing exacts on every 192 of 3084 points to ramp up precision
41.431 * * * * [points]: Setting MPFR precision to 64
41.433 * * * * [points]: Setting MPFR precision to 320
41.435 * * * * [points]: Computing exacts on every 96 of 3084 points to ramp up precision
41.442 * * * * [points]: Setting MPFR precision to 64
41.446 * * * * [points]: Setting MPFR precision to 320
41.450 * * * * [points]: Computing exacts on every 48 of 3084 points to ramp up precision
41.456 * * * * [points]: Setting MPFR precision to 64
41.464 * * * * [points]: Setting MPFR precision to 320
41.472 * * * * [points]: Computing exacts on every 24 of 3084 points to ramp up precision
41.479 * * * * [points]: Setting MPFR precision to 64
41.494 * * * * [points]: Setting MPFR precision to 320
41.509 * * * * [points]: Computing exacts on every 12 of 3084 points to ramp up precision
41.516 * * * * [points]: Setting MPFR precision to 64
41.544 * * * * [points]: Setting MPFR precision to 320
41.615 * * * * [points]: Computing exacts on every 6 of 3084 points to ramp up precision
41.622 * * * * [points]: Setting MPFR precision to 64
41.682 * * * * [points]: Setting MPFR precision to 320
41.716 * * * * [points]: Computing exacts on every 3 of 3084 points to ramp up precision
41.720 * * * * [points]: Setting MPFR precision to 64
41.825 * * * * [points]: Setting MPFR precision to 320
41.891 * * * * [points]: Computing exacts for 3084 points
41.894 * * * * [points]: Setting MPFR precision to 64
42.203 * * * * [points]: Setting MPFR precision to 320
42.540 * * * * [points]: Filtering points with unrepresentable outputs
42.543 * * * * [points]: Sampling 2673 additional inputs, on iter 8 have 5327 / 8000
42.563 * * * * [points]: Computing exacts on every 167 of 2673 points to ramp up precision
42.571 * * * * [points]: Setting MPFR precision to 64
42.573 * * * * [points]: Setting MPFR precision to 320
42.575 * * * * [points]: Computing exacts on every 83 of 2673 points to ramp up precision
42.581 * * * * [points]: Setting MPFR precision to 64
42.584 * * * * [points]: Setting MPFR precision to 320
42.587 * * * * [points]: Computing exacts on every 41 of 2673 points to ramp up precision
42.591 * * * * [points]: Setting MPFR precision to 64
42.595 * * * * [points]: Setting MPFR precision to 320
42.600 * * * * [points]: Computing exacts on every 20 of 2673 points to ramp up precision
42.604 * * * * [points]: Setting MPFR precision to 64
42.644 * * * * [points]: Setting MPFR precision to 320
42.655 * * * * [points]: Computing exacts on every 10 of 2673 points to ramp up precision
42.658 * * * * [points]: Setting MPFR precision to 64
42.675 * * * * [points]: Setting MPFR precision to 320
42.692 * * * * [points]: Computing exacts on every 5 of 2673 points to ramp up precision
42.696 * * * * [points]: Setting MPFR precision to 64
42.747 * * * * [points]: Setting MPFR precision to 320
42.838 * * * * [points]: Computing exacts on every 2 of 2673 points to ramp up precision
42.845 * * * * [points]: Setting MPFR precision to 64
42.920 * * * * [points]: Setting MPFR precision to 320
43.353 * * * * [points]: Computing exacts for 2673 points
43.357 * * * * [points]: Setting MPFR precision to 64
43.624 * * * * [points]: Setting MPFR precision to 320
43.953 * * * * [points]: Filtering points with unrepresentable outputs
43.954 * * * * [points]: Sampling 2325 additional inputs, on iter 9 have 5675 / 8000
43.964 * * * * [points]: Computing exacts on every 145 of 2325 points to ramp up precision
43.969 * * * * [points]: Setting MPFR precision to 64
43.971 * * * * [points]: Setting MPFR precision to 320
43.973 * * * * [points]: Computing exacts on every 72 of 2325 points to ramp up precision
43.981 * * * * [points]: Setting MPFR precision to 64
43.985 * * * * [points]: Setting MPFR precision to 320
43.990 * * * * [points]: Computing exacts on every 36 of 2325 points to ramp up precision
43.997 * * * * [points]: Setting MPFR precision to 64
44.005 * * * * [points]: Setting MPFR precision to 320
44.058 * * * * [points]: Computing exacts on every 18 of 2325 points to ramp up precision
44.068 * * * * [points]: Setting MPFR precision to 64
44.084 * * * * [points]: Setting MPFR precision to 320
44.101 * * * * [points]: Computing exacts on every 9 of 2325 points to ramp up precision
44.107 * * * * [points]: Setting MPFR precision to 64
44.136 * * * * [points]: Setting MPFR precision to 320
44.165 * * * * [points]: Computing exacts on every 4 of 2325 points to ramp up precision
44.172 * * * * [points]: Setting MPFR precision to 64
44.206 * * * * [points]: Setting MPFR precision to 320
44.278 * * * * [points]: Computing exacts on every 2 of 2325 points to ramp up precision
44.282 * * * * [points]: Setting MPFR precision to 64
44.344 * * * * [points]: Setting MPFR precision to 320
44.459 * * * * [points]: Computing exacts for 2325 points
44.466 * * * * [points]: Setting MPFR precision to 64
44.784 * * * * [points]: Setting MPFR precision to 320
45.065 * * * * [points]: Filtering points with unrepresentable outputs
45.066 * * * * [points]: Sampling 2031 additional inputs, on iter 10 have 5969 / 8000
45.075 * * * * [points]: Computing exacts on every 126 of 2031 points to ramp up precision
45.078 * * * * [points]: Setting MPFR precision to 64
45.080 * * * * [points]: Setting MPFR precision to 320
45.081 * * * * [points]: Computing exacts on every 63 of 2031 points to ramp up precision
45.085 * * * * [points]: Setting MPFR precision to 64
45.087 * * * * [points]: Setting MPFR precision to 320
45.090 * * * * [points]: Computing exacts on every 31 of 2031 points to ramp up precision
45.096 * * * * [points]: Setting MPFR precision to 64
45.104 * * * * [points]: Setting MPFR precision to 320
45.113 * * * * [points]: Computing exacts on every 15 of 2031 points to ramp up precision
45.119 * * * * [points]: Setting MPFR precision to 64
45.132 * * * * [points]: Setting MPFR precision to 320
45.141 * * * * [points]: Computing exacts on every 7 of 2031 points to ramp up precision
45.145 * * * * [points]: Setting MPFR precision to 64
45.164 * * * * [points]: Setting MPFR precision to 320
45.206 * * * * [points]: Computing exacts on every 3 of 2031 points to ramp up precision
45.213 * * * * [points]: Setting MPFR precision to 64
45.249 * * * * [points]: Setting MPFR precision to 320
45.285 * * * * [points]: Computing exacts for 2031 points
45.289 * * * * [points]: Setting MPFR precision to 64
45.507 * * * * [points]: Setting MPFR precision to 320
45.714 * * * * [points]: Filtering points with unrepresentable outputs
45.715 * * * * [points]: Sampling 1792 additional inputs, on iter 11 have 6208 / 8000
45.726 * * * * [points]: Computing exacts on every 112 of 1792 points to ramp up precision
45.733 * * * * [points]: Setting MPFR precision to 64
45.735 * * * * [points]: Setting MPFR precision to 320
45.737 * * * * [points]: Computing exacts on every 56 of 1792 points to ramp up precision
45.744 * * * * [points]: Setting MPFR precision to 64
45.749 * * * * [points]: Setting MPFR precision to 320
45.753 * * * * [points]: Computing exacts on every 28 of 1792 points to ramp up precision
45.760 * * * * [points]: Setting MPFR precision to 64
45.768 * * * * [points]: Setting MPFR precision to 320
45.776 * * * * [points]: Computing exacts on every 14 of 1792 points to ramp up precision
45.783 * * * * [points]: Setting MPFR precision to 64
45.798 * * * * [points]: Setting MPFR precision to 320
45.813 * * * * [points]: Computing exacts on every 7 of 1792 points to ramp up precision
45.820 * * * * [points]: Setting MPFR precision to 64
45.888 * * * * [points]: Setting MPFR precision to 320
45.915 * * * * [points]: Computing exacts on every 3 of 1792 points to ramp up precision
45.923 * * * * [points]: Setting MPFR precision to 64
45.979 * * * * [points]: Setting MPFR precision to 320
46.037 * * * * [points]: Computing exacts for 1792 points
46.044 * * * * [points]: Setting MPFR precision to 64
46.207 * * * * [points]: Setting MPFR precision to 320
46.754 * * * * [points]: Filtering points with unrepresentable outputs
46.755 * * * * [points]: Sampling 1574 additional inputs, on iter 12 have 6426 / 8000
46.763 * * * * [points]: Computing exacts on every 98 of 1574 points to ramp up precision
46.767 * * * * [points]: Setting MPFR precision to 64
46.768 * * * * [points]: Setting MPFR precision to 320
46.769 * * * * [points]: Computing exacts on every 49 of 1574 points to ramp up precision
46.773 * * * * [points]: Setting MPFR precision to 64
46.775 * * * * [points]: Setting MPFR precision to 320
46.777 * * * * [points]: Computing exacts on every 24 of 1574 points to ramp up precision
46.781 * * * * [points]: Setting MPFR precision to 64
46.785 * * * * [points]: Setting MPFR precision to 320
46.790 * * * * [points]: Computing exacts on every 12 of 1574 points to ramp up precision
46.793 * * * * [points]: Setting MPFR precision to 64
46.803 * * * * [points]: Setting MPFR precision to 320
46.812 * * * * [points]: Computing exacts on every 6 of 1574 points to ramp up precision
46.816 * * * * [points]: Setting MPFR precision to 64
46.831 * * * * [points]: Setting MPFR precision to 320
46.847 * * * * [points]: Computing exacts on every 3 of 1574 points to ramp up precision
46.878 * * * * [points]: Setting MPFR precision to 64
46.907 * * * * [points]: Setting MPFR precision to 320
46.935 * * * * [points]: Computing exacts for 1574 points
46.942 * * * * [points]: Setting MPFR precision to 64
47.133 * * * * [points]: Setting MPFR precision to 320
47.316 * * * * [points]: Filtering points with unrepresentable outputs
47.316 * * * * [points]: Sampling 1372 additional inputs, on iter 13 have 6628 / 8000
47.322 * * * * [points]: Computing exacts on every 85 of 1372 points to ramp up precision
47.326 * * * * [points]: Setting MPFR precision to 64
47.327 * * * * [points]: Setting MPFR precision to 320
47.328 * * * * [points]: Computing exacts on every 42 of 1372 points to ramp up precision
47.332 * * * * [points]: Setting MPFR precision to 64
47.334 * * * * [points]: Setting MPFR precision to 320
47.336 * * * * [points]: Computing exacts on every 21 of 1372 points to ramp up precision
47.340 * * * * [points]: Setting MPFR precision to 64
47.344 * * * * [points]: Setting MPFR precision to 320
47.349 * * * * [points]: Computing exacts on every 10 of 1372 points to ramp up precision
47.352 * * * * [points]: Setting MPFR precision to 64
47.361 * * * * [points]: Setting MPFR precision to 320
47.398 * * * * [points]: Computing exacts on every 5 of 1372 points to ramp up precision
47.402 * * * * [points]: Setting MPFR precision to 64
47.429 * * * * [points]: Setting MPFR precision to 320
47.449 * * * * [points]: Computing exacts on every 2 of 1372 points to ramp up precision
47.453 * * * * [points]: Setting MPFR precision to 64
47.491 * * * * [points]: Setting MPFR precision to 320
47.527 * * * * [points]: Computing exacts for 1372 points
47.563 * * * * [points]: Setting MPFR precision to 64
47.681 * * * * [points]: Setting MPFR precision to 320
47.903 * * * * [points]: Filtering points with unrepresentable outputs
47.904 * * * * [points]: Sampling 1194 additional inputs, on iter 14 have 6806 / 8000
47.913 * * * * [points]: Computing exacts on every 74 of 1194 points to ramp up precision
47.920 * * * * [points]: Setting MPFR precision to 64
47.922 * * * * [points]: Setting MPFR precision to 320
47.924 * * * * [points]: Computing exacts on every 37 of 1194 points to ramp up precision
47.930 * * * * [points]: Setting MPFR precision to 64
47.934 * * * * [points]: Setting MPFR precision to 320
47.937 * * * * [points]: Computing exacts on every 18 of 1194 points to ramp up precision
47.940 * * * * [points]: Setting MPFR precision to 64
47.944 * * * * [points]: Setting MPFR precision to 320
47.976 * * * * [points]: Computing exacts on every 9 of 1194 points to ramp up precision
47.980 * * * * [points]: Setting MPFR precision to 64
47.990 * * * * [points]: Setting MPFR precision to 320
47.999 * * * * [points]: Computing exacts on every 4 of 1194 points to ramp up precision
48.003 * * * * [points]: Setting MPFR precision to 64
48.033 * * * * [points]: Setting MPFR precision to 320
48.062 * * * * [points]: Computing exacts on every 2 of 1194 points to ramp up precision
48.068 * * * * [points]: Setting MPFR precision to 64
48.108 * * * * [points]: Setting MPFR precision to 320
48.192 * * * * [points]: Computing exacts for 1194 points
48.199 * * * * [points]: Setting MPFR precision to 64
48.334 * * * * [points]: Setting MPFR precision to 320
48.507 * * * * [points]: Filtering points with unrepresentable outputs
48.508 * * * * [points]: Sampling 1044 additional inputs, on iter 15 have 6956 / 8000
48.513 * * * * [points]: Computing exacts on every 65 of 1044 points to ramp up precision
48.517 * * * * [points]: Setting MPFR precision to 64
48.518 * * * * [points]: Setting MPFR precision to 320
48.519 * * * * [points]: Computing exacts on every 32 of 1044 points to ramp up precision
48.523 * * * * [points]: Setting MPFR precision to 64
48.525 * * * * [points]: Setting MPFR precision to 320
48.527 * * * * [points]: Computing exacts on every 16 of 1044 points to ramp up precision
48.530 * * * * [points]: Setting MPFR precision to 64
48.535 * * * * [points]: Setting MPFR precision to 320
48.540 * * * * [points]: Computing exacts on every 8 of 1044 points to ramp up precision
48.588 * * * * [points]: Setting MPFR precision to 64
48.607 * * * * [points]: Setting MPFR precision to 320
48.622 * * * * [points]: Computing exacts on every 4 of 1044 points to ramp up precision
48.629 * * * * [points]: Setting MPFR precision to 64
48.656 * * * * [points]: Setting MPFR precision to 320
48.682 * * * * [points]: Computing exacts on every 2 of 1044 points to ramp up precision
48.689 * * * * [points]: Setting MPFR precision to 64
48.733 * * * * [points]: Setting MPFR precision to 320
48.776 * * * * [points]: Computing exacts for 1044 points
48.783 * * * * [points]: Setting MPFR precision to 64
48.888 * * * * [points]: Setting MPFR precision to 320
48.992 * * * * [points]: Filtering points with unrepresentable outputs
48.992 * * * * [points]: Sampling 918 additional inputs, on iter 16 have 7082 / 8000
48.999 * * * * [points]: Computing exacts on every 57 of 918 points to ramp up precision
49.006 * * * * [points]: Setting MPFR precision to 64
49.008 * * * * [points]: Setting MPFR precision to 320
49.010 * * * * [points]: Computing exacts on every 28 of 918 points to ramp up precision
49.016 * * * * [points]: Setting MPFR precision to 64
49.020 * * * * [points]: Setting MPFR precision to 320
49.025 * * * * [points]: Computing exacts on every 14 of 918 points to ramp up precision
49.031 * * * * [points]: Setting MPFR precision to 64
49.039 * * * * [points]: Setting MPFR precision to 320
49.046 * * * * [points]: Computing exacts on every 7 of 918 points to ramp up precision
49.052 * * * * [points]: Setting MPFR precision to 64
49.060 * * * * [points]: Setting MPFR precision to 320
49.068 * * * * [points]: Computing exacts on every 3 of 918 points to ramp up precision
49.071 * * * * [points]: Setting MPFR precision to 64
49.087 * * * * [points]: Setting MPFR precision to 320
49.127 * * * * [points]: Computing exacts for 918 points
49.131 * * * * [points]: Setting MPFR precision to 64
49.195 * * * * [points]: Setting MPFR precision to 320
49.289 * * * * [points]: Filtering points with unrepresentable outputs
49.290 * * * * [points]: Sampling 814 additional inputs, on iter 17 have 7186 / 8000
49.293 * * * * [points]: Computing exacts on every 50 of 814 points to ramp up precision
49.297 * * * * [points]: Setting MPFR precision to 64
49.298 * * * * [points]: Setting MPFR precision to 320
49.300 * * * * [points]: Computing exacts on every 25 of 814 points to ramp up precision
49.303 * * * * [points]: Setting MPFR precision to 64
49.305 * * * * [points]: Setting MPFR precision to 320
49.308 * * * * [points]: Computing exacts on every 12 of 814 points to ramp up precision
49.311 * * * * [points]: Setting MPFR precision to 64
49.315 * * * * [points]: Setting MPFR precision to 320
49.321 * * * * [points]: Computing exacts on every 6 of 814 points to ramp up precision
49.327 * * * * [points]: Setting MPFR precision to 64
49.341 * * * * [points]: Setting MPFR precision to 320
49.356 * * * * [points]: Computing exacts on every 3 of 814 points to ramp up precision
49.362 * * * * [points]: Setting MPFR precision to 64
49.787 * * * * [points]: Setting MPFR precision to 320
49.803 * * * * [points]: Computing exacts for 814 points
49.807 * * * * [points]: Setting MPFR precision to 64
49.864 * * * * [points]: Setting MPFR precision to 320
49.965 * * * * [points]: Filtering points with unrepresentable outputs
49.966 * * * * [points]: Sampling 721 additional inputs, on iter 18 have 7279 / 8000
49.969 * * * * [points]: Computing exacts on every 45 of 721 points to ramp up precision
49.972 * * * * [points]: Setting MPFR precision to 64
49.973 * * * * [points]: Setting MPFR precision to 320
49.974 * * * * [points]: Computing exacts on every 22 of 721 points to ramp up precision
49.978 * * * * [points]: Setting MPFR precision to 64
49.980 * * * * [points]: Setting MPFR precision to 320
49.982 * * * * [points]: Computing exacts on every 11 of 721 points to ramp up precision
49.986 * * * * [points]: Setting MPFR precision to 64
49.993 * * * * [points]: Setting MPFR precision to 320
50.000 * * * * [points]: Computing exacts on every 5 of 721 points to ramp up precision
50.007 * * * * [points]: Setting MPFR precision to 64
50.019 * * * * [points]: Setting MPFR precision to 320
50.027 * * * * [points]: Computing exacts on every 2 of 721 points to ramp up precision
50.031 * * * * [points]: Setting MPFR precision to 64
50.047 * * * * [points]: Setting MPFR precision to 320
50.099 * * * * [points]: Computing exacts for 721 points
50.106 * * * * [points]: Setting MPFR precision to 64
50.176 * * * * [points]: Setting MPFR precision to 320
50.253 * * * * [points]: Filtering points with unrepresentable outputs
50.254 * * * * [points]: Sampling 647 additional inputs, on iter 19 have 7353 / 8000
50.259 * * * * [points]: Computing exacts on every 40 of 647 points to ramp up precision
50.308 * * * * [points]: Setting MPFR precision to 64
50.309 * * * * [points]: Setting MPFR precision to 320
50.310 * * * * [points]: Computing exacts on every 20 of 647 points to ramp up precision
50.315 * * * * [points]: Setting MPFR precision to 64
50.318 * * * * [points]: Setting MPFR precision to 320
50.320 * * * * [points]: Computing exacts on every 10 of 647 points to ramp up precision
50.323 * * * * [points]: Setting MPFR precision to 64
50.327 * * * * [points]: Setting MPFR precision to 320
50.331 * * * * [points]: Computing exacts on every 5 of 647 points to ramp up precision
50.335 * * * * [points]: Setting MPFR precision to 64
50.342 * * * * [points]: Setting MPFR precision to 320
50.350 * * * * [points]: Computing exacts on every 2 of 647 points to ramp up precision
50.353 * * * * [points]: Setting MPFR precision to 64
50.368 * * * * [points]: Setting MPFR precision to 320
50.383 * * * * [points]: Computing exacts for 647 points
50.387 * * * * [points]: Setting MPFR precision to 64
50.471 * * * * [points]: Setting MPFR precision to 320
50.522 * * * * [points]: Filtering points with unrepresentable outputs
50.522 * * * * [points]: Sampling 581 additional inputs, on iter 20 have 7419 / 8000
50.525 * * * * [points]: Computing exacts on every 36 of 581 points to ramp up precision
50.528 * * * * [points]: Setting MPFR precision to 64
50.529 * * * * [points]: Setting MPFR precision to 320
50.530 * * * * [points]: Computing exacts on every 18 of 581 points to ramp up precision
50.537 * * * * [points]: Setting MPFR precision to 64
50.540 * * * * [points]: Setting MPFR precision to 320
50.544 * * * * [points]: Computing exacts on every 9 of 581 points to ramp up precision
50.551 * * * * [points]: Setting MPFR precision to 64
50.559 * * * * [points]: Setting MPFR precision to 320
50.565 * * * * [points]: Computing exacts on every 4 of 581 points to ramp up precision
50.593 * * * * [points]: Setting MPFR precision to 64
50.601 * * * * [points]: Setting MPFR precision to 320
50.611 * * * * [points]: Computing exacts on every 2 of 581 points to ramp up precision
50.615 * * * * [points]: Setting MPFR precision to 64
50.630 * * * * [points]: Setting MPFR precision to 320
50.654 * * * * [points]: Computing exacts for 581 points
50.660 * * * * [points]: Setting MPFR precision to 64
50.704 * * * * [points]: Setting MPFR precision to 320
50.801 * * * * [points]: Filtering points with unrepresentable outputs
50.802 * * * * [points]: Sampling 513 additional inputs, on iter 21 have 7487 / 8000
50.806 * * * * [points]: Computing exacts on every 32 of 513 points to ramp up precision
50.813 * * * * [points]: Setting MPFR precision to 64
50.815 * * * * [points]: Setting MPFR precision to 320
50.816 * * * * [points]: Computing exacts on every 16 of 513 points to ramp up precision
50.823 * * * * [points]: Setting MPFR precision to 64
50.827 * * * * [points]: Setting MPFR precision to 320
50.830 * * * * [points]: Computing exacts on every 8 of 513 points to ramp up precision
50.834 * * * * [points]: Setting MPFR precision to 64
50.838 * * * * [points]: Setting MPFR precision to 320
50.842 * * * * [points]: Computing exacts on every 4 of 513 points to ramp up precision
50.845 * * * * [points]: Setting MPFR precision to 64
50.852 * * * * [points]: Setting MPFR precision to 320
50.859 * * * * [points]: Computing exacts on every 2 of 513 points to ramp up precision
50.863 * * * * [points]: Setting MPFR precision to 64
50.874 * * * * [points]: Setting MPFR precision to 320
50.889 * * * * [points]: Computing exacts for 513 points
50.916 * * * * [points]: Setting MPFR precision to 64
50.979 * * * * [points]: Setting MPFR precision to 320
51.023 * * * * [points]: Filtering points with unrepresentable outputs
51.024 * * * * [points]: Sampling 443 additional inputs, on iter 22 have 7557 / 8000
51.027 * * * * [points]: Computing exacts on every 27 of 443 points to ramp up precision
51.034 * * * * [points]: Setting MPFR precision to 64
51.036 * * * * [points]: Setting MPFR precision to 320
51.039 * * * * [points]: Computing exacts on every 13 of 443 points to ramp up precision
51.042 * * * * [points]: Setting MPFR precision to 64
51.045 * * * * [points]: Setting MPFR precision to 320
51.047 * * * * [points]: Computing exacts on every 6 of 443 points to ramp up precision
51.050 * * * * [points]: Setting MPFR precision to 64
51.055 * * * * [points]: Setting MPFR precision to 320
51.059 * * * * [points]: Computing exacts on every 3 of 443 points to ramp up precision
51.063 * * * * [points]: Setting MPFR precision to 64
51.099 * * * * [points]: Setting MPFR precision to 320
51.109 * * * * [points]: Computing exacts for 443 points
51.114 * * * * [points]: Setting MPFR precision to 64
51.165 * * * * [points]: Setting MPFR precision to 320
51.198 * * * * [points]: Filtering points with unrepresentable outputs
51.198 * * * * [points]: Sampling 390 additional inputs, on iter 23 have 7610 / 8000
51.200 * * * * [points]: Computing exacts on every 24 of 390 points to ramp up precision
51.207 * * * * [points]: Setting MPFR precision to 64
51.208 * * * * [points]: Setting MPFR precision to 320
51.209 * * * * [points]: Computing exacts on every 12 of 390 points to ramp up precision
51.213 * * * * [points]: Setting MPFR precision to 64
51.215 * * * * [points]: Setting MPFR precision to 320
51.217 * * * * [points]: Computing exacts on every 6 of 390 points to ramp up precision
51.220 * * * * [points]: Setting MPFR precision to 64
51.224 * * * * [points]: Setting MPFR precision to 320
51.258 * * * * [points]: Computing exacts on every 3 of 390 points to ramp up precision
51.267 * * * * [points]: Setting MPFR precision to 64
51.274 * * * * [points]: Setting MPFR precision to 320
51.281 * * * * [points]: Computing exacts for 390 points
51.285 * * * * [points]: Setting MPFR precision to 64
51.311 * * * * [points]: Setting MPFR precision to 320
51.352 * * * * [points]: Filtering points with unrepresentable outputs
51.353 * * * * [points]: Sampling 345 additional inputs, on iter 24 have 7655 / 8000
51.355 * * * * [points]: Computing exacts on every 21 of 345 points to ramp up precision
51.362 * * * * [points]: Setting MPFR precision to 64
51.364 * * * * [points]: Setting MPFR precision to 320
51.366 * * * * [points]: Computing exacts on every 10 of 345 points to ramp up precision
51.373 * * * * [points]: Setting MPFR precision to 64
51.376 * * * * [points]: Setting MPFR precision to 320
51.378 * * * * [points]: Computing exacts on every 5 of 345 points to ramp up precision
51.382 * * * * [points]: Setting MPFR precision to 64
51.410 * * * * [points]: Setting MPFR precision to 320
51.414 * * * * [points]: Computing exacts on every 2 of 345 points to ramp up precision
51.417 * * * * [points]: Setting MPFR precision to 64
51.429 * * * * [points]: Setting MPFR precision to 320
51.437 * * * * [points]: Computing exacts for 345 points
51.441 * * * * [points]: Setting MPFR precision to 64
51.466 * * * * [points]: Setting MPFR precision to 320
51.490 * * * * [points]: Filtering points with unrepresentable outputs
51.490 * * * * [points]: Sampling 302 additional inputs, on iter 25 have 7698 / 8000
51.492 * * * * [points]: Computing exacts on every 18 of 302 points to ramp up precision
51.499 * * * * [points]: Setting MPFR precision to 64
51.501 * * * * [points]: Setting MPFR precision to 320
51.503 * * * * [points]: Computing exacts on every 9 of 302 points to ramp up precision
51.510 * * * * [points]: Setting MPFR precision to 64
51.512 * * * * [points]: Setting MPFR precision to 320
51.514 * * * * [points]: Computing exacts on every 4 of 302 points to ramp up precision
51.518 * * * * [points]: Setting MPFR precision to 64
51.522 * * * * [points]: Setting MPFR precision to 320
51.551 * * * * [points]: Computing exacts on every 2 of 302 points to ramp up precision
51.555 * * * * [points]: Setting MPFR precision to 64
51.564 * * * * [points]: Setting MPFR precision to 320
51.571 * * * * [points]: Computing exacts for 302 points
51.574 * * * * [points]: Setting MPFR precision to 64
51.607 * * * * [points]: Setting MPFR precision to 320
51.629 * * * * [points]: Filtering points with unrepresentable outputs
51.629 * * * * [points]: Sampling 274 additional inputs, on iter 26 have 7726 / 8000
51.630 * * * * [points]: Computing exacts on every 17 of 274 points to ramp up precision
51.634 * * * * [points]: Setting MPFR precision to 64
51.635 * * * * [points]: Setting MPFR precision to 320
51.636 * * * * [points]: Computing exacts on every 8 of 274 points to ramp up precision
51.639 * * * * [points]: Setting MPFR precision to 64
51.642 * * * * [points]: Setting MPFR precision to 320
51.644 * * * * [points]: Computing exacts on every 4 of 274 points to ramp up precision
51.647 * * * * [points]: Setting MPFR precision to 64
51.651 * * * * [points]: Setting MPFR precision to 320
51.655 * * * * [points]: Computing exacts on every 2 of 274 points to ramp up precision
51.659 * * * * [points]: Setting MPFR precision to 64
51.694 * * * * [points]: Setting MPFR precision to 320
51.709 * * * * [points]: Computing exacts for 274 points
51.716 * * * * [points]: Setting MPFR precision to 64
51.753 * * * * [points]: Setting MPFR precision to 320
51.775 * * * * [points]: Filtering points with unrepresentable outputs
51.776 * * * * [points]: Sampling 240 additional inputs, on iter 27 have 7760 / 8000
51.777 * * * * [points]: Computing exacts on every 15 of 240 points to ramp up precision
51.781 * * * * [points]: Setting MPFR precision to 64
51.783 * * * * [points]: Setting MPFR precision to 320
51.784 * * * * [points]: Computing exacts on every 7 of 240 points to ramp up precision
51.787 * * * * [points]: Setting MPFR precision to 64
51.789 * * * * [points]: Setting MPFR precision to 320
51.792 * * * * [points]: Computing exacts on every 3 of 240 points to ramp up precision
51.795 * * * * [points]: Setting MPFR precision to 64
51.800 * * * * [points]: Setting MPFR precision to 320
51.806 * * * * [points]: Computing exacts for 240 points
51.813 * * * * [points]: Setting MPFR precision to 64
51.834 * * * * [points]: Setting MPFR precision to 320
51.878 * * * * [points]: Filtering points with unrepresentable outputs
51.878 * * * * [points]: Sampling 214 additional inputs, on iter 28 have 7786 / 8000
51.879 * * * * [points]: Computing exacts on every 13 of 214 points to ramp up precision
51.883 * * * * [points]: Setting MPFR precision to 64
51.884 * * * * [points]: Setting MPFR precision to 320
51.885 * * * * [points]: Computing exacts on every 6 of 214 points to ramp up precision
51.888 * * * * [points]: Setting MPFR precision to 64
51.891 * * * * [points]: Setting MPFR precision to 320
51.893 * * * * [points]: Computing exacts on every 3 of 214 points to ramp up precision
51.896 * * * * [points]: Setting MPFR precision to 64
51.900 * * * * [points]: Setting MPFR precision to 320
51.905 * * * * [points]: Computing exacts for 214 points
51.908 * * * * [points]: Setting MPFR precision to 64
51.924 * * * * [points]: Setting MPFR precision to 320
51.941 * * * * [points]: Filtering points with unrepresentable outputs
51.941 * * * * [points]: Sampling 184 additional inputs, on iter 29 have 7816 / 8000
51.942 * * * * [points]: Computing exacts on every 11 of 184 points to ramp up precision
51.945 * * * * [points]: Setting MPFR precision to 64
51.946 * * * * [points]: Setting MPFR precision to 320
51.947 * * * * [points]: Computing exacts on every 5 of 184 points to ramp up precision
51.951 * * * * [points]: Setting MPFR precision to 64
51.953 * * * * [points]: Setting MPFR precision to 320
51.955 * * * * [points]: Computing exacts on every 2 of 184 points to ramp up precision
51.958 * * * * [points]: Setting MPFR precision to 64
51.986 * * * * [points]: Setting MPFR precision to 320
51.991 * * * * [points]: Computing exacts for 184 points
51.996 * * * * [points]: Setting MPFR precision to 64
52.009 * * * * [points]: Setting MPFR precision to 320
52.022 * * * * [points]: Filtering points with unrepresentable outputs
52.022 * * * * [points]: Sampling 167 additional inputs, on iter 30 have 7833 / 8000
52.022 * * * * [points]: Computing exacts on every 10 of 167 points to ramp up precision
52.026 * * * * [points]: Setting MPFR precision to 64
52.027 * * * * [points]: Setting MPFR precision to 320
52.028 * * * * [points]: Computing exacts on every 5 of 167 points to ramp up precision
52.032 * * * * [points]: Setting MPFR precision to 64
52.034 * * * * [points]: Setting MPFR precision to 320
52.036 * * * * [points]: Computing exacts on every 2 of 167 points to ramp up precision
52.039 * * * * [points]: Setting MPFR precision to 64
52.047 * * * * [points]: Setting MPFR precision to 320
52.054 * * * * [points]: Computing exacts for 167 points
52.061 * * * * [points]: Setting MPFR precision to 64
52.083 * * * * [points]: Setting MPFR precision to 320
52.105 * * * * [points]: Filtering points with unrepresentable outputs
52.105 * * * * [points]: Sampling 150 additional inputs, on iter 31 have 7850 / 8000
52.107 * * * * [points]: Computing exacts on every 9 of 150 points to ramp up precision
52.112 * * * * [points]: Setting MPFR precision to 64
52.113 * * * * [points]: Setting MPFR precision to 320
52.114 * * * * [points]: Computing exacts on every 4 of 150 points to ramp up precision
52.143 * * * * [points]: Setting MPFR precision to 64
52.148 * * * * [points]: Setting MPFR precision to 320
52.155 * * * * [points]: Computing exacts on every 2 of 150 points to ramp up precision
52.162 * * * * [points]: Setting MPFR precision to 64
52.168 * * * * [points]: Setting MPFR precision to 320
52.174 * * * * [points]: Computing exacts for 150 points
52.181 * * * * [points]: Setting MPFR precision to 64
52.200 * * * * [points]: Setting MPFR precision to 320
52.214 * * * * [points]: Filtering points with unrepresentable outputs
52.214 * * * * [points]: Sampling 128 additional inputs, on iter 32 have 7872 / 8000
52.214 * * * * [points]: Computing exacts on every 8 of 128 points to ramp up precision
52.218 * * * * [points]: Setting MPFR precision to 64
52.219 * * * * [points]: Setting MPFR precision to 320
52.220 * * * * [points]: Computing exacts on every 4 of 128 points to ramp up precision
52.224 * * * * [points]: Setting MPFR precision to 64
52.226 * * * * [points]: Setting MPFR precision to 320
52.228 * * * * [points]: Computing exacts on every 2 of 128 points to ramp up precision
52.232 * * * * [points]: Setting MPFR precision to 64
52.235 * * * * [points]: Setting MPFR precision to 320
52.239 * * * * [points]: Computing exacts for 128 points
52.242 * * * * [points]: Setting MPFR precision to 64
52.251 * * * * [points]: Setting MPFR precision to 320
52.260 * * * * [points]: Filtering points with unrepresentable outputs
52.260 * * * * [points]: Sampling 114 additional inputs, on iter 33 have 7886 / 8000
52.261 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision
52.264 * * * * [points]: Setting MPFR precision to 64
52.266 * * * * [points]: Setting MPFR precision to 320
52.267 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision
52.290 * * * * [points]: Setting MPFR precision to 64
52.293 * * * * [points]: Setting MPFR precision to 320
52.295 * * * * [points]: Computing exacts for 114 points
52.300 * * * * [points]: Setting MPFR precision to 64
52.309 * * * * [points]: Setting MPFR precision to 320
52.317 * * * * [points]: Filtering points with unrepresentable outputs
52.317 * * * * [points]: Sampling 103 additional inputs, on iter 34 have 7897 / 8000
52.317 * * * * [points]: Computing exacts on every 6 of 103 points to ramp up precision
52.321 * * * * [points]: Setting MPFR precision to 64
52.322 * * * * [points]: Setting MPFR precision to 320
52.323 * * * * [points]: Computing exacts on every 3 of 103 points to ramp up precision
52.327 * * * * [points]: Setting MPFR precision to 64
52.329 * * * * [points]: Setting MPFR precision to 320
52.331 * * * * [points]: Computing exacts for 103 points
52.334 * * * * [points]: Setting MPFR precision to 64
52.341 * * * * [points]: Setting MPFR precision to 320
52.349 * * * * [points]: Filtering points with unrepresentable outputs
52.349 * * * * [points]: Sampling 91 additional inputs, on iter 35 have 7909 / 8000
52.349 * * * * [points]: Computing exacts on every 5 of 91 points to ramp up precision
52.353 * * * * [points]: Setting MPFR precision to 64
52.354 * * * * [points]: Setting MPFR precision to 320
52.355 * * * * [points]: Computing exacts on every 2 of 91 points to ramp up precision
52.359 * * * * [points]: Setting MPFR precision to 64
52.362 * * * * [points]: Setting MPFR precision to 320
52.364 * * * * [points]: Computing exacts for 91 points
52.367 * * * * [points]: Setting MPFR precision to 64
52.375 * * * * [points]: Setting MPFR precision to 320
52.383 * * * * [points]: Filtering points with unrepresentable outputs
52.384 * * * * [points]: Sampling 84 additional inputs, on iter 36 have 7916 / 8000
52.384 * * * * [points]: Computing exacts on every 5 of 84 points to ramp up precision
52.426 * * * * [points]: Setting MPFR precision to 64
52.428 * * * * [points]: Setting MPFR precision to 320
52.430 * * * * [points]: Computing exacts on every 2 of 84 points to ramp up precision
52.439 * * * * [points]: Setting MPFR precision to 64
52.443 * * * * [points]: Setting MPFR precision to 320
52.447 * * * * [points]: Computing exacts for 84 points
52.453 * * * * [points]: Setting MPFR precision to 64
52.464 * * * * [points]: Setting MPFR precision to 320
52.476 * * * * [points]: Filtering points with unrepresentable outputs
52.476 * * * * [points]: Sampling 75 additional inputs, on iter 37 have 7925 / 8000
52.476 * * * * [points]: Computing exacts on every 4 of 75 points to ramp up precision
52.483 * * * * [points]: Setting MPFR precision to 64
52.485 * * * * [points]: Setting MPFR precision to 320
52.487 * * * * [points]: Computing exacts on every 2 of 75 points to ramp up precision
52.494 * * * * [points]: Setting MPFR precision to 64
52.497 * * * * [points]: Setting MPFR precision to 320
52.501 * * * * [points]: Computing exacts for 75 points
52.508 * * * * [points]: Setting MPFR precision to 64
52.517 * * * * [points]: Setting MPFR precision to 320
52.527 * * * * [points]: Filtering points with unrepresentable outputs
52.527 * * * * [points]: Sampling 66 additional inputs, on iter 38 have 7934 / 8000
52.527 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
52.534 * * * * [points]: Setting MPFR precision to 64
52.536 * * * * [points]: Setting MPFR precision to 320
52.537 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
52.544 * * * * [points]: Setting MPFR precision to 64
52.547 * * * * [points]: Setting MPFR precision to 320
52.548 * * * * [points]: Computing exacts for 66 points
52.552 * * * * [points]: Setting MPFR precision to 64
52.556 * * * * [points]: Setting MPFR precision to 320
52.561 * * * * [points]: Filtering points with unrepresentable outputs
52.561 * * * * [points]: Sampling 58 additional inputs, on iter 39 have 7942 / 8000
52.562 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
52.566 * * * * [points]: Setting MPFR precision to 64
52.567 * * * * [points]: Setting MPFR precision to 320
52.568 * * * * [points]: Computing exacts for 58 points
52.572 * * * * [points]: Setting MPFR precision to 64
52.595 * * * * [points]: Setting MPFR precision to 320
52.599 * * * * [points]: Filtering points with unrepresentable outputs
52.599 * * * * [points]: Sampling 47 additional inputs, on iter 40 have 7953 / 8000
52.599 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
52.604 * * * * [points]: Setting MPFR precision to 64
52.606 * * * * [points]: Setting MPFR precision to 320
52.607 * * * * [points]: Computing exacts for 47 points
52.610 * * * * [points]: Setting MPFR precision to 64
52.613 * * * * [points]: Setting MPFR precision to 320
52.617 * * * * [points]: Filtering points with unrepresentable outputs
52.617 * * * * [points]: Sampling 42 additional inputs, on iter 41 have 7958 / 8000
52.617 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
52.622 * * * * [points]: Setting MPFR precision to 64
52.624 * * * * [points]: Setting MPFR precision to 320
52.626 * * * * [points]: Computing exacts for 42 points
52.632 * * * * [points]: Setting MPFR precision to 64
52.638 * * * * [points]: Setting MPFR precision to 320
52.644 * * * * [points]: Filtering points with unrepresentable outputs
52.644 * * * * [points]: Sampling 40 additional inputs, on iter 42 have 7960 / 8000
52.644 * * * * [points]: Computing exacts on every 2 of 40 points to ramp up precision
52.651 * * * * [points]: Setting MPFR precision to 64
52.653 * * * * [points]: Setting MPFR precision to 320
52.654 * * * * [points]: Computing exacts for 40 points
52.658 * * * * [points]: Setting MPFR precision to 64
52.662 * * * * [points]: Setting MPFR precision to 320
52.665 * * * * [points]: Filtering points with unrepresentable outputs
52.665 * * * * [points]: Sampling 33 additional inputs, on iter 43 have 7967 / 8000
52.665 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
52.668 * * * * [points]: Setting MPFR precision to 64
52.669 * * * * [points]: Setting MPFR precision to 320
52.670 * * * * [points]: Computing exacts for 33 points
52.674 * * * * [points]: Setting MPFR precision to 64
52.677 * * * * [points]: Setting MPFR precision to 320
52.679 * * * * [points]: Filtering points with unrepresentable outputs
52.679 * * * * [points]: Sampling 26 additional inputs, on iter 44 have 7974 / 8000
52.679 * * * * [points]: Computing exacts for 26 points
52.683 * * * * [points]: Setting MPFR precision to 64
52.685 * * * * [points]: Setting MPFR precision to 320
52.687 * * * * [points]: Filtering points with unrepresentable outputs
52.687 * * * * [points]: Sampling 20 additional inputs, on iter 45 have 7980 / 8000
52.687 * * * * [points]: Computing exacts for 20 points
52.690 * * * * [points]: Setting MPFR precision to 64
52.693 * * * * [points]: Setting MPFR precision to 320
52.696 * * * * [points]: Filtering points with unrepresentable outputs
52.696 * * * * [points]: Sampling 17 additional inputs, on iter 46 have 7983 / 8000
52.696 * * * * [points]: Computing exacts for 17 points
52.701 * * * * [points]: Setting MPFR precision to 64
52.702 * * * * [points]: Setting MPFR precision to 320
52.703 * * * * [points]: Filtering points with unrepresentable outputs
52.703 * * * * [points]: Sampling 15 additional inputs, on iter 47 have 7985 / 8000
52.704 * * * * [points]: Computing exacts for 15 points
53.109 * * * * [points]: Setting MPFR precision to 64
53.110 * * * * [points]: Setting MPFR precision to 320
53.112 * * * * [points]: Filtering points with unrepresentable outputs
53.112 * * * * [points]: Sampling 14 additional inputs, on iter 48 have 7986 / 8000
53.112 * * * * [points]: Computing exacts for 14 points
53.115 * * * * [points]: Setting MPFR precision to 64
53.118 * * * * [points]: Setting MPFR precision to 320
53.119 * * * * [points]: Filtering points with unrepresentable outputs
53.119 * * * * [points]: Sampling 12 additional inputs, on iter 49 have 7988 / 8000
53.119 * * * * [points]: Computing exacts for 12 points
53.123 * * * * [points]: Setting MPFR precision to 64
53.124 * * * * [points]: Setting MPFR precision to 320
53.125 * * * * [points]: Filtering points with unrepresentable outputs
53.125 * * * * [points]: Sampling 10 additional inputs, on iter 50 have 7990 / 8000
53.125 * * * * [points]: Computing exacts for 10 points
53.131 * * * * [points]: Setting MPFR precision to 64
53.132 * * * * [points]: Setting MPFR precision to 320
53.134 * * * * [points]: Filtering points with unrepresentable outputs
53.134 * * * * [points]: Sampling 10 additional inputs, on iter 51 have 7990 / 8000
53.134 * * * * [points]: Computing exacts for 10 points
53.143 * * * * [points]: Setting MPFR precision to 64
53.144 * * * * [points]: Setting MPFR precision to 320
53.146 * * * * [points]: Filtering points with unrepresentable outputs
53.146 * * * * [points]: Sampling 8 additional inputs, on iter 52 have 7992 / 8000
53.146 * * * * [points]: Computing exacts for 8 points
53.153 * * * * [points]: Setting MPFR precision to 64
53.155 * * * * [points]: Setting MPFR precision to 320
53.156 * * * * [points]: Filtering points with unrepresentable outputs
53.156 * * * * [points]: Sampling 8 additional inputs, on iter 53 have 7992 / 8000
53.156 * * * * [points]: Computing exacts for 8 points
53.161 * * * * [points]: Setting MPFR precision to 64
53.161 * * * * [points]: Setting MPFR precision to 320
53.162 * * * * [points]: Filtering points with unrepresentable outputs
53.162 * * * * [points]: Sampling 7 additional inputs, on iter 54 have 7993 / 8000
53.162 * * * * [points]: Computing exacts for 7 points
53.166 * * * * [points]: Setting MPFR precision to 64
53.167 * * * * [points]: Setting MPFR precision to 320
53.167 * * * * [points]: Filtering points with unrepresentable outputs
53.167 * * * * [points]: Sampling 7 additional inputs, on iter 55 have 7993 / 8000
53.167 * * * * [points]: Computing exacts for 7 points
53.171 * * * * [points]: Setting MPFR precision to 64
53.172 * * * * [points]: Setting MPFR precision to 320
53.172 * * * * [points]: Filtering points with unrepresentable outputs
53.172 * * * * [points]: Sampling 6 additional inputs, on iter 56 have 7994 / 8000
53.172 * * * * [points]: Computing exacts for 6 points
53.176 * * * * [points]: Setting MPFR precision to 64
53.176 * * * * [points]: Setting MPFR precision to 320
53.177 * * * * [points]: Filtering points with unrepresentable outputs
53.177 * * * * [points]: Sampling 5 additional inputs, on iter 57 have 7995 / 8000
53.177 * * * * [points]: Computing exacts for 5 points
53.180 * * * * [points]: Setting MPFR precision to 64
53.181 * * * * [points]: Setting MPFR precision to 320
53.181 * * * * [points]: Filtering points with unrepresentable outputs
53.181 * * * * [points]: Sampling 4 additional inputs, on iter 58 have 7996 / 8000
53.181 * * * * [points]: Computing exacts for 4 points
53.186 * * * * [points]: Setting MPFR precision to 64
53.187 * * * * [points]: Setting MPFR precision to 320
53.188 * * * * [points]: Filtering points with unrepresentable outputs
53.188 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7996 / 8000
53.188 * * * * [points]: Computing exacts for 4 points
53.194 * * * * [points]: Setting MPFR precision to 64
53.195 * * * * [points]: Setting MPFR precision to 320
53.196 * * * * [points]: Filtering points with unrepresentable outputs
53.196 * * * * [points]: Sampling 4 additional inputs, on iter 60 have 7996 / 8000
53.196 * * * * [points]: Computing exacts for 4 points
53.200 * * * * [points]: Setting MPFR precision to 64
53.201 * * * * [points]: Setting MPFR precision to 320
53.201 * * * * [points]: Filtering points with unrepresentable outputs
53.201 * * * * [points]: Sampling 4 additional inputs, on iter 61 have 7996 / 8000
53.201 * * * * [points]: Computing exacts for 4 points
53.205 * * * * [points]: Setting MPFR precision to 64
53.205 * * * * [points]: Setting MPFR precision to 320
53.205 * * * * [points]: Filtering points with unrepresentable outputs
53.205 * * * * [points]: Sampling 4 additional inputs, on iter 62 have 7996 / 8000
53.205 * * * * [points]: Computing exacts for 4 points
53.220 * * * * [points]: Setting MPFR precision to 64
53.221 * * * * [points]: Setting MPFR precision to 320
53.221 * * * * [points]: Filtering points with unrepresentable outputs
53.221 * * * * [points]: Sampling 4 additional inputs, on iter 63 have 7997 / 8000
53.221 * * * * [points]: Computing exacts for 4 points
53.224 * * * * [points]: Setting MPFR precision to 64
53.225 * * * * [points]: Setting MPFR precision to 320
53.225 * * * * [points]: Filtering points with unrepresentable outputs
53.225 * * * * [points]: Sampling 4 additional inputs, on iter 64 have 7997 / 8000
53.225 * * * * [points]: Computing exacts for 4 points
53.229 * * * * [points]: Setting MPFR precision to 64
53.229 * * * * [points]: Setting MPFR precision to 320
53.229 * * * * [points]: Filtering points with unrepresentable outputs
53.229 * * * * [points]: Sampling 4 additional inputs, on iter 65 have 7997 / 8000
53.230 * * * * [points]: Computing exacts for 4 points
53.235 * * * * [points]: Setting MPFR precision to 64
53.235 * * * * [points]: Setting MPFR precision to 320
53.235 * * * * [points]: Filtering points with unrepresentable outputs
53.236 * * * * [points]: Sampling 4 additional inputs, on iter 66 have 7998 / 8000
53.236 * * * * [points]: Computing exacts for 4 points
53.239 * * * * [points]: Setting MPFR precision to 64
53.239 * * * * [points]: Setting MPFR precision to 320
53.239 * * * * [points]: Filtering points with unrepresentable outputs
53.240 * * * * [points]: Sampling 4 additional inputs, on iter 67 have 7999 / 8000
53.240 * * * * [points]: Computing exacts for 4 points
53.243 * * * * [points]: Setting MPFR precision to 64
53.243 * * * * [points]: Setting MPFR precision to 320
53.244 * * * * [points]: Filtering points with unrepresentable outputs
53.244 * * * * [points]: Sampling 4 additional inputs, on iter 68 have 7999 / 8000
53.244 * * * * [points]: Computing exacts for 4 points
53.247 * * * * [points]: Setting MPFR precision to 64
53.247 * * * * [points]: Setting MPFR precision to 320
53.248 * * * * [points]: Filtering points with unrepresentable outputs
53.248 * * * * [points]: Sampling 4 additional inputs, on iter 69 have 7999 / 8000
53.248 * * * * [points]: Computing exacts for 4 points
53.251 * * * * [points]: Setting MPFR precision to 64
53.251 * * * * [points]: Setting MPFR precision to 320
53.252 * * * * [points]: Filtering points with unrepresentable outputs
53.252 * * * * [points]: Sampled 8000 points with exact outputs
56.416 * [regime-testing]: Baseline error score: 64.0
56.419 * [regime-testing]: Oracle error score: 64.0
56.426 * [regime-testing]: End program error score: 0.16279421713485165