0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.005 * * * * [points]: Setting MPFR precision to 64
0.007 * * * * [points]: Setting MPFR precision to 320
0.008 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.014 * * * * [points]: Setting MPFR precision to 320
0.016 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.019 * * * * [points]: Setting MPFR precision to 64
0.023 * * * * [points]: Setting MPFR precision to 320
0.027 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.031 * * * * [points]: Setting MPFR precision to 64
0.044 * * * * [points]: Setting MPFR precision to 320
0.051 * * * * [points]: Computing exacts for 256 points
0.054 * * * * [points]: Setting MPFR precision to 64
0.073 * * * * [points]: Setting MPFR precision to 320
0.093 * * * * [points]: Filtering points with unrepresentable outputs
0.093 * * * * [points]: Sampling 220 additional inputs, on iter 1 have 36 / 256
0.094 * * * * [points]: Computing exacts on every 13 of 220 points to ramp up precision
0.098 * * * * [points]: Setting MPFR precision to 64
0.099 * * * * [points]: Setting MPFR precision to 320
0.100 * * * * [points]: Computing exacts on every 6 of 220 points to ramp up precision
0.103 * * * * [points]: Setting MPFR precision to 64
0.106 * * * * [points]: Setting MPFR precision to 320
0.108 * * * * [points]: Computing exacts on every 3 of 220 points to ramp up precision
0.112 * * * * [points]: Setting MPFR precision to 64
0.116 * * * * [points]: Setting MPFR precision to 320
0.120 * * * * [points]: Computing exacts for 220 points
0.123 * * * * [points]: Setting MPFR precision to 64
0.139 * * * * [points]: Setting MPFR precision to 320
0.180 * * * * [points]: Filtering points with unrepresentable outputs
0.180 * * * * [points]: Sampling 194 additional inputs, on iter 2 have 62 / 256
0.181 * * * * [points]: Computing exacts on every 12 of 194 points to ramp up precision
0.184 * * * * [points]: Setting MPFR precision to 64
0.185 * * * * [points]: Setting MPFR precision to 320
0.188 * * * * [points]: Computing exacts on every 6 of 194 points to ramp up precision
0.192 * * * * [points]: Setting MPFR precision to 64
0.194 * * * * [points]: Setting MPFR precision to 320
0.196 * * * * [points]: Computing exacts on every 3 of 194 points to ramp up precision
0.199 * * * * [points]: Setting MPFR precision to 64
0.203 * * * * [points]: Setting MPFR precision to 320
0.207 * * * * [points]: Computing exacts for 194 points
0.210 * * * * [points]: Setting MPFR precision to 64
0.224 * * * * [points]: Setting MPFR precision to 320
0.238 * * * * [points]: Filtering points with unrepresentable outputs
0.238 * * * * [points]: Sampling 169 additional inputs, on iter 3 have 87 / 256
0.239 * * * * [points]: Computing exacts on every 10 of 169 points to ramp up precision
0.242 * * * * [points]: Setting MPFR precision to 64
0.243 * * * * [points]: Setting MPFR precision to 320
0.245 * * * * [points]: Computing exacts on every 5 of 169 points to ramp up precision
0.248 * * * * [points]: Setting MPFR precision to 64
0.250 * * * * [points]: Setting MPFR precision to 320
0.252 * * * * [points]: Computing exacts on every 2 of 169 points to ramp up precision
0.255 * * * * [points]: Setting MPFR precision to 64
0.260 * * * * [points]: Setting MPFR precision to 320
0.264 * * * * [points]: Computing exacts for 169 points
0.267 * * * * [points]: Setting MPFR precision to 64
0.303 * * * * [points]: Setting MPFR precision to 320
0.317 * * * * [points]: Filtering points with unrepresentable outputs
0.318 * * * * [points]: Sampling 147 additional inputs, on iter 4 have 109 / 256
0.318 * * * * [points]: Computing exacts on every 9 of 147 points to ramp up precision
0.322 * * * * [points]: Setting MPFR precision to 64
0.323 * * * * [points]: Setting MPFR precision to 320
0.325 * * * * [points]: Computing exacts on every 4 of 147 points to ramp up precision
0.332 * * * * [points]: Setting MPFR precision to 64
0.336 * * * * [points]: Setting MPFR precision to 320
0.341 * * * * [points]: Computing exacts on every 2 of 147 points to ramp up precision
0.349 * * * * [points]: Setting MPFR precision to 64
0.356 * * * * [points]: Setting MPFR precision to 320
0.362 * * * * [points]: Computing exacts for 147 points
0.369 * * * * [points]: Setting MPFR precision to 64
0.388 * * * * [points]: Setting MPFR precision to 320
0.407 * * * * [points]: Filtering points with unrepresentable outputs
0.408 * * * * [points]: Sampling 124 additional inputs, on iter 5 have 132 / 256
0.409 * * * * [points]: Computing exacts on every 7 of 124 points to ramp up precision
0.415 * * * * [points]: Setting MPFR precision to 64
0.418 * * * * [points]: Setting MPFR precision to 320
0.420 * * * * [points]: Computing exacts on every 3 of 124 points to ramp up precision
0.426 * * * * [points]: Setting MPFR precision to 64
0.430 * * * * [points]: Setting MPFR precision to 320
0.433 * * * * [points]: Computing exacts for 124 points
0.440 * * * * [points]: Setting MPFR precision to 64
0.455 * * * * [points]: Setting MPFR precision to 320
0.516 * * * * [points]: Filtering points with unrepresentable outputs
0.516 * * * * [points]: Sampling 108 additional inputs, on iter 6 have 148 / 256
0.517 * * * * [points]: Computing exacts on every 6 of 108 points to ramp up precision
0.527 * * * * [points]: Setting MPFR precision to 64
0.530 * * * * [points]: Setting MPFR precision to 320
0.532 * * * * [points]: Computing exacts on every 3 of 108 points to ramp up precision
0.538 * * * * [points]: Setting MPFR precision to 64
0.542 * * * * [points]: Setting MPFR precision to 320
0.545 * * * * [points]: Computing exacts for 108 points
0.552 * * * * [points]: Setting MPFR precision to 64
0.566 * * * * [points]: Setting MPFR precision to 320
0.581 * * * * [points]: Filtering points with unrepresentable outputs
0.581 * * * * [points]: Sampling 90 additional inputs, on iter 7 have 166 / 256
0.582 * * * * [points]: Computing exacts on every 5 of 90 points to ramp up precision
0.588 * * * * [points]: Setting MPFR precision to 64
0.590 * * * * [points]: Setting MPFR precision to 320
0.592 * * * * [points]: Computing exacts on every 2 of 90 points to ramp up precision
0.598 * * * * [points]: Setting MPFR precision to 64
0.603 * * * * [points]: Setting MPFR precision to 320
0.607 * * * * [points]: Computing exacts for 90 points
0.613 * * * * [points]: Setting MPFR precision to 64
0.624 * * * * [points]: Setting MPFR precision to 320
0.636 * * * * [points]: Filtering points with unrepresentable outputs
0.636 * * * * [points]: Sampling 84 additional inputs, on iter 8 have 172 / 256
0.637 * * * * [points]: Computing exacts on every 5 of 84 points to ramp up precision
0.644 * * * * [points]: Setting MPFR precision to 64
0.646 * * * * [points]: Setting MPFR precision to 320
0.648 * * * * [points]: Computing exacts on every 2 of 84 points to ramp up precision
0.655 * * * * [points]: Setting MPFR precision to 64
0.659 * * * * [points]: Setting MPFR precision to 320
0.663 * * * * [points]: Computing exacts for 84 points
0.670 * * * * [points]: Setting MPFR precision to 64
0.682 * * * * [points]: Setting MPFR precision to 320
0.723 * * * * [points]: Filtering points with unrepresentable outputs
0.723 * * * * [points]: Sampling 75 additional inputs, on iter 9 have 181 / 256
0.724 * * * * [points]: Computing exacts on every 4 of 75 points to ramp up precision
0.730 * * * * [points]: Setting MPFR precision to 64
0.737 * * * * [points]: Setting MPFR precision to 320
0.739 * * * * [points]: Computing exacts on every 2 of 75 points to ramp up precision
0.746 * * * * [points]: Setting MPFR precision to 64
0.750 * * * * [points]: Setting MPFR precision to 320
0.753 * * * * [points]: Computing exacts for 75 points
0.760 * * * * [points]: Setting MPFR precision to 64
0.770 * * * * [points]: Setting MPFR precision to 320
0.780 * * * * [points]: Filtering points with unrepresentable outputs
0.780 * * * * [points]: Sampling 68 additional inputs, on iter 10 have 188 / 256
0.781 * * * * [points]: Computing exacts on every 4 of 68 points to ramp up precision
0.788 * * * * [points]: Setting MPFR precision to 64
0.790 * * * * [points]: Setting MPFR precision to 320
0.792 * * * * [points]: Computing exacts on every 2 of 68 points to ramp up precision
0.799 * * * * [points]: Setting MPFR precision to 64
0.803 * * * * [points]: Setting MPFR precision to 320
0.806 * * * * [points]: Computing exacts for 68 points
0.813 * * * * [points]: Setting MPFR precision to 64
0.822 * * * * [points]: Setting MPFR precision to 320
0.830 * * * * [points]: Filtering points with unrepresentable outputs
0.831 * * * * [points]: Sampling 57 additional inputs, on iter 11 have 199 / 256
0.831 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
0.839 * * * * [points]: Setting MPFR precision to 64
0.841 * * * * [points]: Setting MPFR precision to 320
0.843 * * * * [points]: Computing exacts for 57 points
0.849 * * * * [points]: Setting MPFR precision to 64
0.855 * * * * [points]: Setting MPFR precision to 320
0.863 * * * * [points]: Filtering points with unrepresentable outputs
0.863 * * * * [points]: Sampling 48 additional inputs, on iter 12 have 208 / 256
0.864 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision
0.870 * * * * [points]: Setting MPFR precision to 64
0.872 * * * * [points]: Setting MPFR precision to 320
0.874 * * * * [points]: Computing exacts for 48 points
0.880 * * * * [points]: Setting MPFR precision to 64
0.886 * * * * [points]: Setting MPFR precision to 320
0.893 * * * * [points]: Filtering points with unrepresentable outputs
0.893 * * * * [points]: Sampling 44 additional inputs, on iter 13 have 212 / 256
0.893 * * * * [points]: Computing exacts on every 2 of 44 points to ramp up precision
0.900 * * * * [points]: Setting MPFR precision to 64
0.930 * * * * [points]: Setting MPFR precision to 320
0.932 * * * * [points]: Computing exacts for 44 points
0.941 * * * * [points]: Setting MPFR precision to 64
0.947 * * * * [points]: Setting MPFR precision to 320
0.953 * * * * [points]: Filtering points with unrepresentable outputs
0.953 * * * * [points]: Sampling 41 additional inputs, on iter 14 have 215 / 256
0.953 * * * * [points]: Computing exacts on every 2 of 41 points to ramp up precision
0.960 * * * * [points]: Setting MPFR precision to 64
0.962 * * * * [points]: Setting MPFR precision to 320
0.963 * * * * [points]: Computing exacts for 41 points
0.970 * * * * [points]: Setting MPFR precision to 64
0.975 * * * * [points]: Setting MPFR precision to 320
0.981 * * * * [points]: Filtering points with unrepresentable outputs
0.981 * * * * [points]: Sampling 38 additional inputs, on iter 15 have 218 / 256
0.982 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
0.989 * * * * [points]: Setting MPFR precision to 64
0.991 * * * * [points]: Setting MPFR precision to 320
0.993 * * * * [points]: Computing exacts for 38 points
1.001 * * * * [points]: Setting MPFR precision to 64
1.007 * * * * [points]: Setting MPFR precision to 320
1.012 * * * * [points]: Filtering points with unrepresentable outputs
1.012 * * * * [points]: Sampling 31 additional inputs, on iter 16 have 225 / 256
1.013 * * * * [points]: Computing exacts for 31 points
1.021 * * * * [points]: Setting MPFR precision to 64
1.025 * * * * [points]: Setting MPFR precision to 320
1.030 * * * * [points]: Filtering points with unrepresentable outputs
1.030 * * * * [points]: Sampling 29 additional inputs, on iter 17 have 227 / 256
1.030 * * * * [points]: Computing exacts for 29 points
1.037 * * * * [points]: Setting MPFR precision to 64
1.041 * * * * [points]: Setting MPFR precision to 320
1.044 * * * * [points]: Filtering points with unrepresentable outputs
1.045 * * * * [points]: Sampling 24 additional inputs, on iter 18 have 232 / 256
1.045 * * * * [points]: Computing exacts for 24 points
1.051 * * * * [points]: Setting MPFR precision to 64
1.055 * * * * [points]: Setting MPFR precision to 320
1.058 * * * * [points]: Filtering points with unrepresentable outputs
1.058 * * * * [points]: Sampling 19 additional inputs, on iter 19 have 237 / 256
1.058 * * * * [points]: Computing exacts for 19 points
1.065 * * * * [points]: Setting MPFR precision to 64
1.067 * * * * [points]: Setting MPFR precision to 320
1.070 * * * * [points]: Filtering points with unrepresentable outputs
1.070 * * * * [points]: Sampling 16 additional inputs, on iter 20 have 240 / 256
1.070 * * * * [points]: Computing exacts for 16 points
1.076 * * * * [points]: Setting MPFR precision to 64
1.078 * * * * [points]: Setting MPFR precision to 320
1.080 * * * * [points]: Filtering points with unrepresentable outputs
1.080 * * * * [points]: Sampling 15 additional inputs, on iter 21 have 241 / 256
1.081 * * * * [points]: Computing exacts for 15 points
1.087 * * * * [points]: Setting MPFR precision to 64
1.089 * * * * [points]: Setting MPFR precision to 320
1.091 * * * * [points]: Filtering points with unrepresentable outputs
1.091 * * * * [points]: Sampling 13 additional inputs, on iter 22 have 243 / 256
1.091 * * * * [points]: Computing exacts for 13 points
1.097 * * * * [points]: Setting MPFR precision to 64
1.099 * * * * [points]: Setting MPFR precision to 320
1.100 * * * * [points]: Filtering points with unrepresentable outputs
1.101 * * * * [points]: Sampling 13 additional inputs, on iter 23 have 243 / 256
1.101 * * * * [points]: Computing exacts for 13 points
1.131 * * * * [points]: Setting MPFR precision to 64
1.133 * * * * [points]: Setting MPFR precision to 320
1.135 * * * * [points]: Filtering points with unrepresentable outputs
1.135 * * * * [points]: Sampling 10 additional inputs, on iter 24 have 246 / 256
1.135 * * * * [points]: Computing exacts for 10 points
1.143 * * * * [points]: Setting MPFR precision to 64
1.145 * * * * [points]: Setting MPFR precision to 320
1.146 * * * * [points]: Filtering points with unrepresentable outputs
1.146 * * * * [points]: Sampling 10 additional inputs, on iter 25 have 246 / 256
1.146 * * * * [points]: Computing exacts for 10 points
1.151 * * * * [points]: Setting MPFR precision to 64
1.153 * * * * [points]: Setting MPFR precision to 320
1.154 * * * * [points]: Filtering points with unrepresentable outputs
1.154 * * * * [points]: Sampling 10 additional inputs, on iter 26 have 246 / 256
1.154 * * * * [points]: Computing exacts for 10 points
1.161 * * * * [points]: Setting MPFR precision to 64
1.162 * * * * [points]: Setting MPFR precision to 320
1.164 * * * * [points]: Filtering points with unrepresentable outputs
1.164 * * * * [points]: Sampling 9 additional inputs, on iter 27 have 247 / 256
1.164 * * * * [points]: Computing exacts for 9 points
1.170 * * * * [points]: Setting MPFR precision to 64
1.171 * * * * [points]: Setting MPFR precision to 320
1.173 * * * * [points]: Filtering points with unrepresentable outputs
1.173 * * * * [points]: Sampling 8 additional inputs, on iter 28 have 248 / 256
1.173 * * * * [points]: Computing exacts for 8 points
1.180 * * * * [points]: Setting MPFR precision to 64
1.181 * * * * [points]: Setting MPFR precision to 320
1.183 * * * * [points]: Filtering points with unrepresentable outputs
1.183 * * * * [points]: Sampling 8 additional inputs, on iter 29 have 248 / 256
1.183 * * * * [points]: Computing exacts for 8 points
1.189 * * * * [points]: Setting MPFR precision to 64
1.190 * * * * [points]: Setting MPFR precision to 320
1.191 * * * * [points]: Filtering points with unrepresentable outputs
1.191 * * * * [points]: Sampling 7 additional inputs, on iter 30 have 249 / 256
1.192 * * * * [points]: Computing exacts for 7 points
1.198 * * * * [points]: Setting MPFR precision to 64
1.199 * * * * [points]: Setting MPFR precision to 320
1.200 * * * * [points]: Filtering points with unrepresentable outputs
1.200 * * * * [points]: Sampling 7 additional inputs, on iter 31 have 249 / 256
1.200 * * * * [points]: Computing exacts for 7 points
1.203 * * * * [points]: Setting MPFR precision to 64
1.204 * * * * [points]: Setting MPFR precision to 320
1.204 * * * * [points]: Filtering points with unrepresentable outputs
1.204 * * * * [points]: Sampling 7 additional inputs, on iter 32 have 249 / 256
1.205 * * * * [points]: Computing exacts for 7 points
1.208 * * * * [points]: Setting MPFR precision to 64
1.208 * * * * [points]: Setting MPFR precision to 320
1.209 * * * * [points]: Filtering points with unrepresentable outputs
1.209 * * * * [points]: Sampling 6 additional inputs, on iter 33 have 250 / 256
1.209 * * * * [points]: Computing exacts for 6 points
1.212 * * * * [points]: Setting MPFR precision to 64
1.213 * * * * [points]: Setting MPFR precision to 320
1.214 * * * * [points]: Filtering points with unrepresentable outputs
1.214 * * * * [points]: Sampling 6 additional inputs, on iter 34 have 250 / 256
1.214 * * * * [points]: Computing exacts for 6 points
1.220 * * * * [points]: Setting MPFR precision to 64
1.221 * * * * [points]: Setting MPFR precision to 320
1.222 * * * * [points]: Filtering points with unrepresentable outputs
1.222 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 252 / 256
1.222 * * * * [points]: Computing exacts for 4 points
1.228 * * * * [points]: Setting MPFR precision to 64
1.229 * * * * [points]: Setting MPFR precision to 320
1.230 * * * * [points]: Filtering points with unrepresentable outputs
1.230 * * * * [points]: Sampling 4 additional inputs, on iter 36 have 252 / 256
1.230 * * * * [points]: Computing exacts for 4 points
1.236 * * * * [points]: Setting MPFR precision to 64
1.236 * * * * [points]: Setting MPFR precision to 320
1.237 * * * * [points]: Filtering points with unrepresentable outputs
1.237 * * * * [points]: Sampling 4 additional inputs, on iter 37 have 252 / 256
1.237 * * * * [points]: Computing exacts for 4 points
1.243 * * * * [points]: Setting MPFR precision to 64
1.244 * * * * [points]: Setting MPFR precision to 320
1.245 * * * * [points]: Filtering points with unrepresentable outputs
1.245 * * * * [points]: Sampling 4 additional inputs, on iter 38 have 252 / 256
1.245 * * * * [points]: Computing exacts for 4 points
1.251 * * * * [points]: Setting MPFR precision to 64
1.252 * * * * [points]: Setting MPFR precision to 320
1.252 * * * * [points]: Filtering points with unrepresentable outputs
1.252 * * * * [points]: Sampling 4 additional inputs, on iter 39 have 253 / 256
1.252 * * * * [points]: Computing exacts for 4 points
1.273 * * * * [points]: Setting MPFR precision to 64
1.274 * * * * [points]: Setting MPFR precision to 320
1.274 * * * * [points]: Filtering points with unrepresentable outputs
1.274 * * * * [points]: Sampling 4 additional inputs, on iter 40 have 253 / 256
1.274 * * * * [points]: Computing exacts for 4 points
1.283 * * * * [points]: Setting MPFR precision to 64
1.284 * * * * [points]: Setting MPFR precision to 320
1.285 * * * * [points]: Filtering points with unrepresentable outputs
1.285 * * * * [points]: Sampling 4 additional inputs, on iter 41 have 253 / 256
1.285 * * * * [points]: Computing exacts for 4 points
1.291 * * * * [points]: Setting MPFR precision to 64
1.291 * * * * [points]: Setting MPFR precision to 320
1.292 * * * * [points]: Filtering points with unrepresentable outputs
1.292 * * * * [points]: Sampling 4 additional inputs, on iter 42 have 253 / 256
1.292 * * * * [points]: Computing exacts for 4 points
1.298 * * * * [points]: Setting MPFR precision to 64
1.299 * * * * [points]: Setting MPFR precision to 320
1.299 * * * * [points]: Filtering points with unrepresentable outputs
1.299 * * * * [points]: Sampling 4 additional inputs, on iter 43 have 253 / 256
1.300 * * * * [points]: Computing exacts for 4 points
1.306 * * * * [points]: Setting MPFR precision to 64
1.306 * * * * [points]: Setting MPFR precision to 320
1.307 * * * * [points]: Filtering points with unrepresentable outputs
1.307 * * * * [points]: Sampling 4 additional inputs, on iter 44 have 253 / 256
1.307 * * * * [points]: Computing exacts for 4 points
1.313 * * * * [points]: Setting MPFR precision to 64
1.314 * * * * [points]: Setting MPFR precision to 320
1.314 * * * * [points]: Filtering points with unrepresentable outputs
1.314 * * * * [points]: Sampling 4 additional inputs, on iter 45 have 253 / 256
1.314 * * * * [points]: Computing exacts for 4 points
1.320 * * * * [points]: Setting MPFR precision to 64
1.321 * * * * [points]: Setting MPFR precision to 320
1.322 * * * * [points]: Filtering points with unrepresentable outputs
1.322 * * * * [points]: Sampling 4 additional inputs, on iter 46 have 254 / 256
1.322 * * * * [points]: Computing exacts for 4 points
1.328 * * * * [points]: Setting MPFR precision to 64
1.328 * * * * [points]: Setting MPFR precision to 320
1.329 * * * * [points]: Filtering points with unrepresentable outputs
1.329 * * * * [points]: Sampling 4 additional inputs, on iter 47 have 254 / 256
1.329 * * * * [points]: Computing exacts for 4 points
1.335 * * * * [points]: Setting MPFR precision to 64
1.336 * * * * [points]: Setting MPFR precision to 320
1.337 * * * * [points]: Filtering points with unrepresentable outputs
1.337 * * * * [points]: Sampling 4 additional inputs, on iter 48 have 254 / 256
1.337 * * * * [points]: Computing exacts for 4 points
1.343 * * * * [points]: Setting MPFR precision to 64
1.344 * * * * [points]: Setting MPFR precision to 320
1.344 * * * * [points]: Filtering points with unrepresentable outputs
1.344 * * * * [points]: Sampling 4 additional inputs, on iter 49 have 254 / 256
1.344 * * * * [points]: Computing exacts for 4 points
1.350 * * * * [points]: Setting MPFR precision to 64
1.351 * * * * [points]: Setting MPFR precision to 320
1.352 * * * * [points]: Filtering points with unrepresentable outputs
1.352 * * * * [points]: Sampling 4 additional inputs, on iter 50 have 255 / 256
1.352 * * * * [points]: Computing exacts for 4 points
1.358 * * * * [points]: Setting MPFR precision to 64
1.358 * * * * [points]: Setting MPFR precision to 320
1.359 * * * * [points]: Filtering points with unrepresentable outputs
1.359 * * * * [points]: Sampling 4 additional inputs, on iter 51 have 255 / 256
1.359 * * * * [points]: Computing exacts for 4 points
1.365 * * * * [points]: Setting MPFR precision to 64
1.366 * * * * [points]: Setting MPFR precision to 320
1.366 * * * * [points]: Filtering points with unrepresentable outputs
1.366 * * * * [points]: Sampled 257 points with exact outputs
1.366 * * * [progress]: [2/2] Setting up program.
1.385 * [progress]: [Phase 2 of 3] Improving.
1.385 * * * * [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.385 * [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.385 * * [simplify]: iters left: 6 (15 enodes)
1.389 * * [simplify]: iters left: 5 (54 enodes)
1.412 * * [simplify]: iters left: 4 (174 enodes)
1.507 * * [simplify]: Extracting #0: cost 1 inf + 0
1.507 * * [simplify]: Extracting #1: cost 2 inf + 0
1.507 * * [simplify]: Extracting #2: cost 52 inf + 0
1.507 * * [simplify]: Extracting #3: cost 218 inf + 0
1.508 * * [simplify]: Extracting #4: cost 350 inf + 488
1.513 * * [simplify]: Extracting #5: cost 271 inf + 83278
1.527 * * [simplify]: Extracting #6: cost 99 inf + 301152
1.552 * * [simplify]: Extracting #7: cost 13 inf + 445414
1.587 * * [simplify]: Extracting #8: cost 0 inf + 471346
1.638 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
1.638 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
1.656 * * [progress]: iteration 1 / 4
1.656 * * * [progress]: picking best candidate
1.676 * * * * [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))))>
1.676 * * * [progress]: localizing error
2.059 * * * [progress]: generating rewritten candidates
2.059 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
2.106 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
2.152 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
2.201 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
2.268 * * * [progress]: generating series expansions
2.268 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
2.268 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
2.268 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
2.268 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
2.268 * * * [progress]: simplifying candidates
2.268 * * * * [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)) 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))))>
2.268 * * * * [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 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))))>
2.268 * * * * [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)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
2.268 * * * * [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 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)))))>
2.268 * * * * [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)) (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))))>
2.269 * * * * [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 (+.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))))>
2.269 * * * * [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))))>
2.269 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))
2.269 * * [simplify]: iters left: 4 (10 enodes)
2.274 * * [simplify]: iters left: 3 (24 enodes)
2.282 * * [simplify]: iters left: 2 (34 enodes)
2.293 * * [simplify]: iters left: 1 (63 enodes)
2.318 * * [simplify]: Extracting #0: cost 1 inf + 0
2.318 * * [simplify]: Extracting #1: cost 7 inf + 0
2.318 * * [simplify]: Extracting #2: cost 25 inf + 0
2.318 * * [simplify]: Extracting #3: cost 20 inf + 85
2.319 * * [simplify]: Extracting #4: cost 4 inf + 5242
2.320 * * [simplify]: Extracting #5: cost 0 inf + 5695
2.321 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 a (+.p16 c b)) (neg.p16 a)) (real->posit16 2))
2.321 * [simplify]: Simplified (2 1 1 1 2) to (λ (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 a (+.p16 c b)) (neg.p16 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))))
2.321 * * * * [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))))>
2.321 * [simplify]: Simplifying (*.p16 (neg.p16 a) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))
2.321 * * [simplify]: iters left: 4 (10 enodes)
2.326 * * [simplify]: iters left: 3 (24 enodes)
2.334 * * [simplify]: iters left: 2 (48 enodes)
2.351 * * [simplify]: iters left: 1 (77 enodes)
2.375 * * [simplify]: Extracting #0: cost 1 inf + 0
2.375 * * [simplify]: Extracting #1: cost 21 inf + 0
2.375 * * [simplify]: Extracting #2: cost 35 inf + 0
2.376 * * [simplify]: Extracting #3: cost 22 inf + 2985
2.377 * * [simplify]: Extracting #4: cost 2 inf + 15440
2.379 * * [simplify]: Extracting #5: cost 0 inf + 16765
2.380 * [simplify]: Simplified to (*.p16 (/.p16 (neg.p16 a) (real->posit16 2)) (+.p16 a (+.p16 b c)))
2.380 * [simplify]: Simplified (2 1 1 1 2) to (λ (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 (neg.p16 a) (real->posit16 2)) (+.p16 a (+.p16 b c)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
2.381 * * * * [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))))>
2.381 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
2.381 * * [simplify]: iters left: 4 (9 enodes)
2.385 * * [simplify]: iters left: 3 (21 enodes)
2.392 * * [simplify]: iters left: 2 (27 enodes)
2.400 * * [simplify]: iters left: 1 (28 enodes)
2.407 * * [simplify]: Extracting #0: cost 1 inf + 0
2.407 * * [simplify]: Extracting #1: cost 3 inf + 0
2.407 * * [simplify]: Extracting #2: cost 4 inf + 1
2.408 * * [simplify]: Extracting #3: cost 10 inf + 1
2.408 * * [simplify]: Extracting #4: cost 1 inf + 738
2.408 * * [simplify]: Extracting #5: cost 0 inf + 1302
2.408 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
2.408 * [simplify]: Simplified (2 1 1 1 2) to (λ (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 a (/.p16 (+.p16 (+.p16 b a) 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))))
2.409 * * * * [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))))>
2.409 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
2.409 * * [simplify]: iters left: 5 (10 enodes)
2.414 * * [simplify]: iters left: 4 (29 enodes)
2.424 * * [simplify]: iters left: 3 (71 enodes)
2.466 * * [simplify]: iters left: 2 (268 enodes)
2.682 * * [simplify]: Extracting #0: cost 1 inf + 0
2.682 * * [simplify]: Extracting #1: cost 84 inf + 0
2.683 * * [simplify]: Extracting #2: cost 241 inf + 0
2.684 * * [simplify]: Extracting #3: cost 312 inf + 3195
2.689 * * [simplify]: Extracting #4: cost 236 inf + 85856
2.712 * * [simplify]: Extracting #5: cost 43 inf + 353834
2.744 * * [simplify]: Extracting #6: cost 0 inf + 427326
2.788 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))
2.789 * [simplify]: Simplified (2 1 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (+.p16 (+.p16 b a) c) (-.p16 (/.p16 (+.p16 (+.p16 b a) 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))))
2.789 * * * * [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))))>
2.789 * * * * [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))))>
2.789 * [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)))
2.789 * * [simplify]: iters left: 6 (15 enodes)
2.793 * * [simplify]: iters left: 5 (54 enodes)
2.803 * * [simplify]: iters left: 4 (174 enodes)
2.916 * * [simplify]: Extracting #0: cost 1 inf + 0
2.916 * * [simplify]: Extracting #1: cost 2 inf + 0
2.917 * * [simplify]: Extracting #2: cost 52 inf + 0
2.918 * * [simplify]: Extracting #3: cost 218 inf + 0
2.920 * * [simplify]: Extracting #4: cost 350 inf + 488
2.929 * * [simplify]: Extracting #5: cost 271 inf + 83278
2.952 * * [simplify]: Extracting #6: cost 99 inf + 301152
2.983 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.037 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.087 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
3.087 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
3.087 * * * * [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))))>
3.088 * [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)))
3.088 * * [simplify]: iters left: 6 (15 enodes)
3.096 * * [simplify]: iters left: 5 (54 enodes)
3.116 * * [simplify]: iters left: 4 (174 enodes)
3.235 * * [simplify]: Extracting #0: cost 1 inf + 0
3.235 * * [simplify]: Extracting #1: cost 2 inf + 0
3.235 * * [simplify]: Extracting #2: cost 52 inf + 0
3.235 * * [simplify]: Extracting #3: cost 218 inf + 0
3.236 * * [simplify]: Extracting #4: cost 350 inf + 488
3.240 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.254 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.298 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.355 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.409 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
3.409 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
3.409 * * * * [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))))>
3.409 * [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)))
3.409 * * [simplify]: iters left: 6 (15 enodes)
3.413 * * [simplify]: iters left: 5 (54 enodes)
3.423 * * [simplify]: iters left: 4 (174 enodes)
3.496 * * [simplify]: Extracting #0: cost 1 inf + 0
3.496 * * [simplify]: Extracting #1: cost 2 inf + 0
3.496 * * [simplify]: Extracting #2: cost 52 inf + 0
3.496 * * [simplify]: Extracting #3: cost 218 inf + 0
3.497 * * [simplify]: Extracting #4: cost 350 inf + 488
3.502 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.517 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.543 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.573 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.600 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
3.600 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
3.600 * * * * [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))))>
3.600 * [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)))
3.600 * * [simplify]: iters left: 6 (15 enodes)
3.604 * * [simplify]: iters left: 5 (54 enodes)
3.615 * * [simplify]: iters left: 4 (174 enodes)
3.685 * * [simplify]: Extracting #0: cost 1 inf + 0
3.685 * * [simplify]: Extracting #1: cost 2 inf + 0
3.685 * * [simplify]: Extracting #2: cost 52 inf + 0
3.685 * * [simplify]: Extracting #3: cost 218 inf + 0
3.687 * * [simplify]: Extracting #4: cost 350 inf + 488
3.691 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.708 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.732 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.759 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.791 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
3.791 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
3.791 * * * [progress]: adding candidates to table
4.353 * * [progress]: iteration 2 / 4
4.353 * * * [progress]: picking best candidate
4.434 * * * * [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))))>
4.435 * * * [progress]: localizing error
4.925 * * * [progress]: generating rewritten candidates
4.925 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
5.045 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
5.068 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
5.109 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
5.115 * * * [progress]: generating series expansions
5.115 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
5.115 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
5.116 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
5.116 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2)
5.116 * * * [progress]: simplifying candidates
5.116 * * * * [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))))>
5.116 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))
5.116 * * [simplify]: iters left: 3 (8 enodes)
5.120 * * [simplify]: iters left: 2 (19 enodes)
5.123 * * [simplify]: iters left: 1 (25 enodes)
5.128 * * [simplify]: Extracting #0: cost 1 inf + 0
5.128 * * [simplify]: Extracting #1: cost 3 inf + 0
5.128 * * [simplify]: Extracting #2: cost 10 inf + 0
5.128 * * [simplify]: Extracting #3: cost 5 inf + 46
5.128 * * [simplify]: Extracting #4: cost 0 inf + 738
5.128 * [simplify]: Simplified to (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))
5.128 * [simplify]: Simplified (2 1 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 a (+.p16 c b)) (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))))
5.128 * * * * [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))))>
5.129 * [simplify]: Simplifying (*.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))))
5.129 * * [simplify]: iters left: 6 (14 enodes)
5.132 * * [simplify]: iters left: 5 (50 enodes)
5.143 * * [simplify]: iters left: 4 (163 enodes)
5.235 * * [simplify]: Extracting #0: cost 1 inf + 0
5.235 * * [simplify]: Extracting #1: cost 24 inf + 0
5.236 * * [simplify]: Extracting #2: cost 103 inf + 0
5.237 * * [simplify]: Extracting #3: cost 150 inf + 1579
5.246 * * [simplify]: Extracting #4: cost 165 inf + 115905
5.274 * * [simplify]: Extracting #5: cost 42 inf + 304394
5.311 * * [simplify]: Extracting #6: cost 3 inf + 372481
5.351 * * [simplify]: Extracting #7: cost 0 inf + 383253
5.391 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (*.p16 (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 a a))))
5.392 * [simplify]: Simplified (2 1 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (*.p16 (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) 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 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
5.392 * * * * [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))))>
5.392 * [simplify]: Simplifying (*.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)))
5.392 * * [simplify]: iters left: 6 (12 enodes)
5.398 * * [simplify]: iters left: 5 (38 enodes)
5.413 * * [simplify]: iters left: 4 (123 enodes)
5.484 * * [simplify]: Extracting #0: cost 1 inf + 0
5.484 * * [simplify]: Extracting #1: cost 29 inf + 0
5.485 * * [simplify]: Extracting #2: cost 142 inf + 0
5.486 * * [simplify]: Extracting #3: cost 167 inf + 933
5.488 * * [simplify]: Extracting #4: cost 169 inf + 15002
5.498 * * [simplify]: Extracting #5: cost 77 inf + 120561
5.521 * * [simplify]: Extracting #6: cost 4 inf + 222171
5.546 * * [simplify]: Extracting #7: cost 0 inf + 230707
5.572 * * [simplify]: Extracting #8: cost 0 inf + 230627
5.601 * [simplify]: Simplified to (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 (+.p16 b a) c)))
5.601 * [simplify]: Simplified (2 1 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (+.p16 (+.p16 b a) c))) (*.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))))
5.601 * * * * [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)) (/.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))))>
5.601 * * * * [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))) (*.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))))>
5.601 * * * * [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 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)))))>
5.602 * * * * [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)) 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)))))>
5.602 * * * * [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)) 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))))>
5.602 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
5.602 * * [simplify]: iters left: 4 (9 enodes)
5.606 * * [simplify]: iters left: 3 (21 enodes)
5.613 * * [simplify]: iters left: 2 (27 enodes)
5.620 * * [simplify]: iters left: 1 (28 enodes)
5.627 * * [simplify]: Extracting #0: cost 1 inf + 0
5.627 * * [simplify]: Extracting #1: cost 3 inf + 0
5.627 * * [simplify]: Extracting #2: cost 4 inf + 1
5.627 * * [simplify]: Extracting #3: cost 10 inf + 1
5.627 * * [simplify]: Extracting #4: cost 1 inf + 738
5.627 * * [simplify]: Extracting #5: cost 0 inf + 1302
5.628 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
5.628 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) 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)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
5.628 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
5.628 * * [simplify]: iters left: 4 (9 enodes)
5.632 * * [simplify]: iters left: 3 (27 enodes)
5.641 * * [simplify]: iters left: 2 (47 enodes)
5.659 * * [simplify]: iters left: 1 (123 enodes)
5.721 * * [simplify]: Extracting #0: cost 1 inf + 0
5.721 * * [simplify]: Extracting #1: cost 15 inf + 0
5.721 * * [simplify]: Extracting #2: cost 53 inf + 1
5.722 * * [simplify]: Extracting #3: cost 87 inf + 1044
5.723 * * [simplify]: Extracting #4: cost 139 inf + 5657
5.727 * * [simplify]: Extracting #5: cost 115 inf + 19521
5.735 * * [simplify]: Extracting #6: cost 57 inf + 79064
5.751 * * [simplify]: Extracting #7: cost 8 inf + 157140
5.769 * * [simplify]: Extracting #8: cost 0 inf + 176132
5.788 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
5.788 * [simplify]: Simplified (2 1 1 1 1 2 2) to (λ (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 b (+.p16 a 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))))
5.788 * * * * [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))) (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))))>
5.788 * * * * [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 (+.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))))>
5.789 * * * * [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))))>
5.789 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
5.789 * * [simplify]: iters left: 4 (9 enodes)
5.793 * * [simplify]: iters left: 3 (21 enodes)
5.800 * * [simplify]: iters left: 2 (27 enodes)
5.807 * * [simplify]: iters left: 1 (28 enodes)
5.815 * * [simplify]: Extracting #0: cost 1 inf + 0
5.815 * * [simplify]: Extracting #1: cost 3 inf + 0
5.815 * * [simplify]: Extracting #2: cost 4 inf + 1
5.815 * * [simplify]: Extracting #3: cost 10 inf + 1
5.815 * * [simplify]: Extracting #4: cost 1 inf + 738
5.815 * * [simplify]: Extracting #5: cost 0 inf + 1302
5.816 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
5.816 * [simplify]: Simplified (2 1 1 1 2) to (λ (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 a (/.p16 (+.p16 (+.p16 b a) 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))))
5.816 * * * * [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))))>
5.816 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
5.817 * * [simplify]: iters left: 4 (9 enodes)
5.821 * * [simplify]: iters left: 3 (21 enodes)
5.827 * * [simplify]: iters left: 2 (27 enodes)
5.835 * * [simplify]: iters left: 1 (28 enodes)
5.842 * * [simplify]: Extracting #0: cost 1 inf + 0
5.842 * * [simplify]: Extracting #1: cost 3 inf + 0
5.842 * * [simplify]: Extracting #2: cost 4 inf + 1
5.842 * * [simplify]: Extracting #3: cost 10 inf + 1
5.842 * * [simplify]: Extracting #4: cost 1 inf + 738
5.842 * * [simplify]: Extracting #5: cost 0 inf + 1302
5.843 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
5.843 * [simplify]: Simplified (2 1 1 1 2) to (λ (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 a (/.p16 (+.p16 (+.p16 b a) 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))))
5.843 * * * * [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))))>
5.843 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
5.843 * * [simplify]: iters left: 4 (9 enodes)
5.847 * * [simplify]: iters left: 3 (21 enodes)
5.854 * * [simplify]: iters left: 2 (27 enodes)
5.862 * * [simplify]: iters left: 1 (28 enodes)
5.870 * * [simplify]: Extracting #0: cost 1 inf + 0
5.870 * * [simplify]: Extracting #1: cost 3 inf + 0
5.870 * * [simplify]: Extracting #2: cost 4 inf + 1
5.870 * * [simplify]: Extracting #3: cost 10 inf + 1
5.870 * * [simplify]: Extracting #4: cost 1 inf + 738
5.871 * * [simplify]: Extracting #5: cost 0 inf + 1302
5.871 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
5.871 * [simplify]: Simplified (2 1 1 1 2) to (λ (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 a (/.p16 (+.p16 (+.p16 b a) 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))))
5.871 * * * * [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))))>
5.871 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
5.872 * * [simplify]: iters left: 4 (9 enodes)
5.876 * * [simplify]: iters left: 3 (21 enodes)
5.882 * * [simplify]: iters left: 2 (27 enodes)
5.891 * * [simplify]: iters left: 1 (28 enodes)
5.898 * * [simplify]: Extracting #0: cost 1 inf + 0
5.898 * * [simplify]: Extracting #1: cost 3 inf + 0
5.898 * * [simplify]: Extracting #2: cost 4 inf + 1
5.898 * * [simplify]: Extracting #3: cost 10 inf + 1
5.899 * * [simplify]: Extracting #4: cost 1 inf + 738
5.899 * * [simplify]: Extracting #5: cost 0 inf + 1302
5.899 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
5.899 * [simplify]: Simplified (2 1 1 1 2) to (λ (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 a (/.p16 (+.p16 (+.p16 b a) 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))))
5.899 * * * [progress]: adding candidates to table
6.663 * * [progress]: iteration 3 / 4
6.663 * * * [progress]: picking best candidate
6.781 * * * * [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)) 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))))>
6.781 * * * [progress]: localizing error
7.212 * * * [progress]: generating rewritten candidates
7.212 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
7.309 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
7.343 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
7.389 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2 2)
7.436 * * * [progress]: generating series expansions
7.436 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
7.436 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
7.436 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
7.437 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2 2)
7.437 * * * [progress]: simplifying candidates
7.437 * * * * [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 (+.p16 a b) c) (real->posit16 2)) a) (*.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)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.437 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))
7.437 * * [simplify]: iters left: 3 (8 enodes)
7.441 * * [simplify]: iters left: 2 (19 enodes)
7.447 * * [simplify]: iters left: 1 (25 enodes)
7.456 * * [simplify]: Extracting #0: cost 1 inf + 0
7.456 * * [simplify]: Extracting #1: cost 3 inf + 0
7.456 * * [simplify]: Extracting #2: cost 10 inf + 0
7.456 * * [simplify]: Extracting #3: cost 5 inf + 46
7.457 * * [simplify]: Extracting #4: cost 0 inf + 738
7.457 * [simplify]: Simplified to (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))
7.457 * [simplify]: Simplified (2 1 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 a (+.p16 c b)) (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)) 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))))
7.457 * * * * [progress]: [ 2 / 13 ] 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 (+.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 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))))>
7.457 * [simplify]: Simplifying (*.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))))
7.458 * * [simplify]: iters left: 6 (14 enodes)
7.465 * * [simplify]: iters left: 5 (45 enodes)
7.482 * * [simplify]: iters left: 4 (147 enodes)
7.550 * * [simplify]: Extracting #0: cost 1 inf + 0
7.550 * * [simplify]: Extracting #1: cost 35 inf + 0
7.551 * * [simplify]: Extracting #2: cost 140 inf + 0
7.553 * * [simplify]: Extracting #3: cost 172 inf + 2709
7.560 * * [simplify]: Extracting #4: cost 158 inf + 82998
7.586 * * [simplify]: Extracting #5: cost 25 inf + 260754
7.622 * * [simplify]: Extracting #6: cost 0 inf + 306171
7.657 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))
7.657 * [simplify]: Simplified (2 1 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) 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)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
7.658 * * * * [progress]: [ 3 / 13 ] 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)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) 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))))>
7.658 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 a b) c) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))
7.658 * * [simplify]: iters left: 6 (12 enodes)
7.664 * * [simplify]: iters left: 5 (34 enodes)
7.678 * * [simplify]: iters left: 4 (104 enodes)
7.769 * * [simplify]: Extracting #0: cost 1 inf + 0
7.769 * * [simplify]: Extracting #1: cost 40 inf + 0
7.770 * * [simplify]: Extracting #2: cost 179 inf + 0
7.772 * * [simplify]: Extracting #3: cost 223 inf + 1693
7.778 * * [simplify]: Extracting #4: cost 156 inf + 63778
7.802 * * [simplify]: Extracting #5: cost 15 inf + 242446
7.833 * * [simplify]: Extracting #6: cost 0 inf + 269426
7.866 * * [simplify]: Extracting #7: cost 0 inf + 268986
7.895 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 b a) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)))
7.895 * [simplify]: Simplified (2 1 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (+.p16 (+.p16 b a) c) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) 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))))
7.896 * * * * [progress]: [ 4 / 13 ] 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)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.896 * * * * [progress]: [ 5 / 13 ] 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 (+.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.896 * * * * [progress]: [ 6 / 13 ] 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)) (neg.p16 c)))))>
7.896 * * * * [progress]: [ 7 / 13 ] 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 (+.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)))))>
7.896 * * * * [progress]: [ 8 / 13 ] 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)) (neg.p16 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))))>
7.896 * * * * [progress]: [ 9 / 13 ] 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 (+.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)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
7.896 * * * * [progress]: [ 10 / 13 ] 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))))>
7.897 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
7.897 * * [simplify]: iters left: 4 (9 enodes)
7.901 * * [simplify]: iters left: 3 (21 enodes)
7.908 * * [simplify]: iters left: 2 (27 enodes)
7.916 * * [simplify]: iters left: 1 (28 enodes)
7.923 * * [simplify]: Extracting #0: cost 1 inf + 0
7.923 * * [simplify]: Extracting #1: cost 3 inf + 0
7.923 * * [simplify]: Extracting #2: cost 4 inf + 1
7.923 * * [simplify]: Extracting #3: cost 10 inf + 1
7.923 * * [simplify]: Extracting #4: cost 1 inf + 738
7.924 * * [simplify]: Extracting #5: cost 0 inf + 1302
7.924 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
7.924 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) 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)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
7.925 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
7.925 * * [simplify]: iters left: 4 (9 enodes)
7.929 * * [simplify]: iters left: 3 (27 enodes)
7.938 * * [simplify]: iters left: 2 (47 enodes)
7.956 * * [simplify]: iters left: 1 (123 enodes)
8.020 * * [simplify]: Extracting #0: cost 1 inf + 0
8.021 * * [simplify]: Extracting #1: cost 15 inf + 0
8.021 * * [simplify]: Extracting #2: cost 53 inf + 1
8.021 * * [simplify]: Extracting #3: cost 87 inf + 1044
8.021 * * [simplify]: Extracting #4: cost 139 inf + 5657
8.022 * * [simplify]: Extracting #5: cost 115 inf + 19521
8.026 * * [simplify]: Extracting #6: cost 57 inf + 79064
8.033 * * [simplify]: Extracting #7: cost 8 inf + 157140
8.043 * * [simplify]: Extracting #8: cost 0 inf + 176132
8.052 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
8.053 * [simplify]: Simplified (2 1 1 1 1 2 2) to (λ (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 b (+.p16 a 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))))
8.053 * * * * [progress]: [ 11 / 13 ] 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))))>
8.053 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
8.053 * * [simplify]: iters left: 4 (9 enodes)
8.055 * * [simplify]: iters left: 3 (21 enodes)
8.058 * * [simplify]: iters left: 2 (27 enodes)
8.062 * * [simplify]: iters left: 1 (28 enodes)
8.066 * * [simplify]: Extracting #0: cost 1 inf + 0
8.066 * * [simplify]: Extracting #1: cost 3 inf + 0
8.066 * * [simplify]: Extracting #2: cost 4 inf + 1
8.066 * * [simplify]: Extracting #3: cost 10 inf + 1
8.066 * * [simplify]: Extracting #4: cost 1 inf + 738
8.066 * * [simplify]: Extracting #5: cost 0 inf + 1302
8.067 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
8.067 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) 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)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
8.067 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
8.067 * * [simplify]: iters left: 4 (9 enodes)
8.069 * * [simplify]: iters left: 3 (27 enodes)
8.074 * * [simplify]: iters left: 2 (47 enodes)
8.082 * * [simplify]: iters left: 1 (123 enodes)
8.115 * * [simplify]: Extracting #0: cost 1 inf + 0
8.115 * * [simplify]: Extracting #1: cost 15 inf + 0
8.115 * * [simplify]: Extracting #2: cost 53 inf + 1
8.115 * * [simplify]: Extracting #3: cost 87 inf + 1044
8.116 * * [simplify]: Extracting #4: cost 139 inf + 5657
8.117 * * [simplify]: Extracting #5: cost 115 inf + 19521
8.120 * * [simplify]: Extracting #6: cost 57 inf + 79064
8.128 * * [simplify]: Extracting #7: cost 8 inf + 157140
8.137 * * [simplify]: Extracting #8: cost 0 inf + 176132
8.147 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
8.147 * [simplify]: Simplified (2 1 1 1 1 2 2) to (λ (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 b (+.p16 a 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))))
8.147 * * * * [progress]: [ 12 / 13 ] 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))))>
8.147 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
8.147 * * [simplify]: iters left: 4 (9 enodes)
8.150 * * [simplify]: iters left: 3 (21 enodes)
8.153 * * [simplify]: iters left: 2 (27 enodes)
8.157 * * [simplify]: iters left: 1 (28 enodes)
8.161 * * [simplify]: Extracting #0: cost 1 inf + 0
8.161 * * [simplify]: Extracting #1: cost 3 inf + 0
8.161 * * [simplify]: Extracting #2: cost 4 inf + 1
8.161 * * [simplify]: Extracting #3: cost 10 inf + 1
8.161 * * [simplify]: Extracting #4: cost 1 inf + 738
8.161 * * [simplify]: Extracting #5: cost 0 inf + 1302
8.161 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
8.161 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) 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)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
8.162 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
8.162 * * [simplify]: iters left: 4 (9 enodes)
8.164 * * [simplify]: iters left: 3 (27 enodes)
8.168 * * [simplify]: iters left: 2 (47 enodes)
8.179 * * [simplify]: iters left: 1 (123 enodes)
8.209 * * [simplify]: Extracting #0: cost 1 inf + 0
8.209 * * [simplify]: Extracting #1: cost 15 inf + 0
8.210 * * [simplify]: Extracting #2: cost 53 inf + 1
8.210 * * [simplify]: Extracting #3: cost 87 inf + 1044
8.210 * * [simplify]: Extracting #4: cost 139 inf + 5657
8.211 * * [simplify]: Extracting #5: cost 115 inf + 19521
8.215 * * [simplify]: Extracting #6: cost 57 inf + 79064
8.222 * * [simplify]: Extracting #7: cost 8 inf + 157140
8.231 * * [simplify]: Extracting #8: cost 0 inf + 176132
8.241 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
8.241 * [simplify]: Simplified (2 1 1 1 1 2 2) to (λ (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 b (+.p16 a 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))))
8.241 * * * * [progress]: [ 13 / 13 ] 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))))>
8.241 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
8.241 * * [simplify]: iters left: 4 (9 enodes)
8.244 * * [simplify]: iters left: 3 (21 enodes)
8.249 * * [simplify]: iters left: 2 (27 enodes)
8.253 * * [simplify]: iters left: 1 (28 enodes)
8.256 * * [simplify]: Extracting #0: cost 1 inf + 0
8.256 * * [simplify]: Extracting #1: cost 3 inf + 0
8.256 * * [simplify]: Extracting #2: cost 4 inf + 1
8.256 * * [simplify]: Extracting #3: cost 10 inf + 1
8.256 * * [simplify]: Extracting #4: cost 1 inf + 738
8.257 * * [simplify]: Extracting #5: cost 0 inf + 1302
8.257 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
8.257 * [simplify]: Simplified (2 1 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) 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)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
8.257 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
8.257 * * [simplify]: iters left: 4 (9 enodes)
8.259 * * [simplify]: iters left: 3 (27 enodes)
8.264 * * [simplify]: iters left: 2 (47 enodes)
8.273 * * [simplify]: iters left: 1 (123 enodes)
8.304 * * [simplify]: Extracting #0: cost 1 inf + 0
8.304 * * [simplify]: Extracting #1: cost 15 inf + 0
8.304 * * [simplify]: Extracting #2: cost 53 inf + 1
8.304 * * [simplify]: Extracting #3: cost 87 inf + 1044
8.305 * * [simplify]: Extracting #4: cost 139 inf + 5657
8.306 * * [simplify]: Extracting #5: cost 115 inf + 19521
8.309 * * [simplify]: Extracting #6: cost 57 inf + 79064
8.319 * * [simplify]: Extracting #7: cost 8 inf + 157140
8.328 * * [simplify]: Extracting #8: cost 0 inf + 176132
8.337 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
8.337 * [simplify]: Simplified (2 1 1 1 1 2 2) to (λ (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 b (+.p16 a 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))))
8.337 * * * [progress]: adding candidates to table
8.680 * * [progress]: iteration 4 / 4
8.680 * * * [progress]: picking best candidate
8.737 * * * * [pick]: Picked  #<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))))>
8.737 * * * [progress]: localizing error
9.028 * * * [progress]: generating rewritten candidates
9.028 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
9.034 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
9.063 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
9.086 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
9.100 * * * [progress]: generating series expansions
9.100 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
9.100 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
9.100 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
9.100 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
9.100 * * * [progress]: simplifying candidates
9.100 * * * * [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 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))))>
9.100 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))
9.100 * * [simplify]: iters left: 3 (8 enodes)
9.102 * * [simplify]: iters left: 2 (19 enodes)
9.105 * * [simplify]: iters left: 1 (25 enodes)
9.109 * * [simplify]: Extracting #0: cost 1 inf + 0
9.109 * * [simplify]: Extracting #1: cost 3 inf + 0
9.109 * * [simplify]: Extracting #2: cost 10 inf + 0
9.109 * * [simplify]: Extracting #3: cost 5 inf + 46
9.110 * * [simplify]: Extracting #4: cost 0 inf + 738
9.110 * [simplify]: Simplified to (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))
9.110 * [simplify]: Simplified (2 1 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (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))))
9.110 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))
9.110 * * [simplify]: iters left: 4 (10 enodes)
9.112 * * [simplify]: iters left: 3 (23 enodes)
9.116 * * [simplify]: iters left: 2 (34 enodes)
9.122 * * [simplify]: iters left: 1 (48 enodes)
9.131 * * [simplify]: Extracting #0: cost 1 inf + 0
9.131 * * [simplify]: Extracting #1: cost 9 inf + 0
9.131 * * [simplify]: Extracting #2: cost 24 inf + 1
9.131 * * [simplify]: Extracting #3: cost 38 inf + 1044
9.131 * * [simplify]: Extracting #4: cost 43 inf + 4412
9.131 * * [simplify]: Extracting #5: cost 31 inf + 9289
9.133 * * [simplify]: Extracting #6: cost 7 inf + 32425
9.135 * * [simplify]: Extracting #7: cost 0 inf + 44173
9.136 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)
9.137 * [simplify]: Simplified (2 1 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.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))))
9.137 * * * * [progress]: [ 2 / 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 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))))>
9.137 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))
9.137 * * [simplify]: iters left: 3 (8 enodes)
9.139 * * [simplify]: iters left: 2 (19 enodes)
9.142 * * [simplify]: iters left: 1 (25 enodes)
9.146 * * [simplify]: Extracting #0: cost 1 inf + 0
9.146 * * [simplify]: Extracting #1: cost 3 inf + 0
9.146 * * [simplify]: Extracting #2: cost 10 inf + 0
9.146 * * [simplify]: Extracting #3: cost 5 inf + 46
9.146 * * [simplify]: Extracting #4: cost 0 inf + 738
9.146 * [simplify]: Simplified to (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))
9.146 * [simplify]: Simplified (2 1 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (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))))
9.146 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))
9.147 * * [simplify]: iters left: 4 (10 enodes)
9.149 * * [simplify]: iters left: 3 (23 enodes)
9.153 * * [simplify]: iters left: 2 (34 enodes)
9.158 * * [simplify]: iters left: 1 (48 enodes)
9.166 * * [simplify]: Extracting #0: cost 1 inf + 0
9.167 * * [simplify]: Extracting #1: cost 9 inf + 0
9.167 * * [simplify]: Extracting #2: cost 24 inf + 1
9.167 * * [simplify]: Extracting #3: cost 38 inf + 1044
9.167 * * [simplify]: Extracting #4: cost 43 inf + 4412
9.167 * * [simplify]: Extracting #5: cost 31 inf + 9289
9.169 * * [simplify]: Extracting #6: cost 7 inf + 32425
9.170 * * [simplify]: Extracting #7: cost 0 inf + 44173
9.172 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)
9.172 * [simplify]: Simplified (2 1 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.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))))
9.173 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (+.p16 (*.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 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
9.173 * * * * [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 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)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
9.173 * * * * [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 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))))>
9.173 * * * * [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 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)) (neg.p16 c)))))>
9.173 * * * * [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 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 (+.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)))))>
9.173 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.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))))>
9.173 * [simplify]: Simplifying (real->posit16 2)
9.173 * * [simplify]: iters left: 1 (2 enodes)
9.174 * * [simplify]: Extracting #0: cost 1 inf + 0
9.174 * * [simplify]: Extracting #1: cost 2 inf + 0
9.174 * * [simplify]: Extracting #2: cost 1 inf + 1
9.174 * * [simplify]: Extracting #3: cost 0 inf + 2
9.174 * [simplify]: Simplified to (real->posit16 2)
9.174 * [simplify]: Simplified (2 1 1 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.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))))
9.174 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (+.p16 (/.p16 (*.p16 (+.p16 (+.p16 a b) c) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (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))))>
9.174 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 a b) c) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))
9.174 * * [simplify]: iters left: 4 (9 enodes)
9.176 * * [simplify]: iters left: 3 (23 enodes)
9.180 * * [simplify]: iters left: 2 (59 enodes)
9.195 * * [simplify]: iters left: 1 (207 enodes)
9.301 * * [simplify]: Extracting #0: cost 1 inf + 0
9.301 * * [simplify]: Extracting #1: cost 18 inf + 0
9.301 * * [simplify]: Extracting #2: cost 105 inf + 0
9.302 * * [simplify]: Extracting #3: cost 140 inf + 3835
9.306 * * [simplify]: Extracting #4: cost 34 inf + 57024
9.311 * * [simplify]: Extracting #5: cost 0 inf + 84246
9.320 * [simplify]: Simplified to (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (+.p16 (+.p16 b a) c))
9.320 * [simplify]: Simplified (2 1 1 1 1 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (+.p16 (+.p16 b a) 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))))
9.320 * * * * [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 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))))>
9.320 * * * * [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 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))))>
9.320 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))
9.320 * * [simplify]: iters left: 4 (10 enodes)
9.323 * * [simplify]: iters left: 3 (24 enodes)
9.327 * * [simplify]: iters left: 2 (34 enodes)
9.332 * * [simplify]: iters left: 1 (63 enodes)
9.354 * * [simplify]: Extracting #0: cost 1 inf + 0
9.354 * * [simplify]: Extracting #1: cost 7 inf + 0
9.354 * * [simplify]: Extracting #2: cost 25 inf + 0
9.354 * * [simplify]: Extracting #3: cost 20 inf + 85
9.355 * * [simplify]: Extracting #4: cost 4 inf + 5242
9.356 * * [simplify]: Extracting #5: cost 0 inf + 5695
9.357 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 a (+.p16 c b)) (neg.p16 a)) (real->posit16 2))
9.357 * [simplify]: Simplified (2 1 1 1 2) to (λ (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 a (+.p16 c b)) (neg.p16 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))))
9.357 * * * * [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 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))))>
9.357 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))
9.358 * * [simplify]: iters left: 4 (10 enodes)
9.363 * * [simplify]: iters left: 3 (24 enodes)
9.370 * * [simplify]: iters left: 2 (34 enodes)
9.381 * * [simplify]: iters left: 1 (63 enodes)
9.404 * * [simplify]: Extracting #0: cost 1 inf + 0
9.404 * * [simplify]: Extracting #1: cost 7 inf + 0
9.404 * * [simplify]: Extracting #2: cost 25 inf + 0
9.404 * * [simplify]: Extracting #3: cost 20 inf + 85
9.405 * * [simplify]: Extracting #4: cost 4 inf + 5242
9.406 * * [simplify]: Extracting #5: cost 0 inf + 5695
9.407 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 a (+.p16 c b)) (neg.p16 a)) (real->posit16 2))
9.407 * [simplify]: Simplified (2 1 1 1 2) to (λ (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 a (+.p16 c b)) (neg.p16 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))))
9.407 * * * * [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 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))))>
9.407 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))
9.408 * * [simplify]: iters left: 4 (10 enodes)
9.412 * * [simplify]: iters left: 3 (24 enodes)
9.420 * * [simplify]: iters left: 2 (34 enodes)
9.430 * * [simplify]: iters left: 1 (63 enodes)
9.454 * * [simplify]: Extracting #0: cost 1 inf + 0
9.455 * * [simplify]: Extracting #1: cost 7 inf + 0
9.455 * * [simplify]: Extracting #2: cost 25 inf + 0
9.455 * * [simplify]: Extracting #3: cost 20 inf + 85
9.456 * * [simplify]: Extracting #4: cost 4 inf + 5242
9.457 * * [simplify]: Extracting #5: cost 0 inf + 5695
9.458 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 a (+.p16 c b)) (neg.p16 a)) (real->posit16 2))
9.458 * [simplify]: Simplified (2 1 1 1 2) to (λ (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 a (+.p16 c b)) (neg.p16 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))))
9.458 * * * * [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 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))))>
9.458 * [simplify]: Simplifying (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))
9.458 * * [simplify]: iters left: 4 (10 enodes)
9.463 * * [simplify]: iters left: 3 (24 enodes)
9.470 * * [simplify]: iters left: 2 (34 enodes)
9.481 * * [simplify]: iters left: 1 (63 enodes)
9.504 * * [simplify]: Extracting #0: cost 1 inf + 0
9.504 * * [simplify]: Extracting #1: cost 7 inf + 0
9.504 * * [simplify]: Extracting #2: cost 25 inf + 0
9.504 * * [simplify]: Extracting #3: cost 20 inf + 85
9.505 * * [simplify]: Extracting #4: cost 4 inf + 5242
9.506 * * [simplify]: Extracting #5: cost 0 inf + 5695
9.507 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 a (+.p16 c b)) (neg.p16 a)) (real->posit16 2))
9.507 * [simplify]: Simplified (2 1 1 1 2) to (λ (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 a (+.p16 c b)) (neg.p16 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))))
9.507 * * * [progress]: adding candidates to table
10.253 * [progress]: [Phase 3 of 3] Extracting.
10.253 * * [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 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))))> #<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))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.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))))> #<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))))> #<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 (+.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 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))))>)
10.259 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
10.259 * * * * [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 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))))> #<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))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.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))))> #<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))))> #<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 (+.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 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))))>)
10.424 * * * * [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 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))))> #<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))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.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))))> #<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))))> #<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 (+.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 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))))>)
10.592 * * * * [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 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))))> #<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))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.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))))> #<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))))> #<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 (+.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 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))))>)
10.716 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
10.717 * [simplify]: Simplifying (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)))
10.717 * * [simplify]: iters left: 6 (18 enodes)
10.718 * * [simplify]: Extracting #0: cost 1 inf + 0
10.718 * * [simplify]: Extracting #1: cost 2 inf + 0
10.718 * * [simplify]: Extracting #2: cost 4 inf + 0
10.718 * * [simplify]: Extracting #3: cost 8 inf + 0
10.718 * * [simplify]: Extracting #4: cost 12 inf + 1
10.718 * * [simplify]: Extracting #5: cost 15 inf + 2
10.718 * * [simplify]: Extracting #6: cost 14 inf + 4
10.718 * * [simplify]: Extracting #7: cost 7 inf + 2466
10.718 * * [simplify]: Extracting #8: cost 4 inf + 5278
10.719 * * [simplify]: Extracting #9: cost 1 inf + 11650
10.719 * * [simplify]: Extracting #10: cost 0 inf + 14214
10.720 * [simplify]: Simplified to (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)))
10.720 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
10.753 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
10.756 * * * * [points]: Setting MPFR precision to 64
10.758 * * * * [points]: Setting MPFR precision to 320
10.759 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
10.762 * * * * [points]: Setting MPFR precision to 64
10.764 * * * * [points]: Setting MPFR precision to 320
10.767 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
10.770 * * * * [points]: Setting MPFR precision to 64
10.774 * * * * [points]: Setting MPFR precision to 320
10.779 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
10.782 * * * * [points]: Setting MPFR precision to 64
10.803 * * * * [points]: Setting MPFR precision to 320
10.813 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
10.816 * * * * [points]: Setting MPFR precision to 64
10.836 * * * * [points]: Setting MPFR precision to 320
10.855 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
10.859 * * * * [points]: Setting MPFR precision to 64
10.894 * * * * [points]: Setting MPFR precision to 320
11.287 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
11.294 * * * * [points]: Setting MPFR precision to 64
11.377 * * * * [points]: Setting MPFR precision to 320
11.504 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
11.508 * * * * [points]: Setting MPFR precision to 64
11.714 * * * * [points]: Setting MPFR precision to 320
11.906 * * * * [points]: Computing exacts for 8000 points
11.909 * * * * [points]: Setting MPFR precision to 64
13.103 * * * * [points]: Setting MPFR precision to 320
14.465 * * * * [points]: Filtering points with unrepresentable outputs
14.472 * * * * [points]: Sampling 6973 additional inputs, on iter 1 have 1027 / 8000
14.526 * * * * [points]: Computing exacts on every 435 of 6973 points to ramp up precision
14.533 * * * * [points]: Setting MPFR precision to 64
14.535 * * * * [points]: Setting MPFR precision to 320
14.537 * * * * [points]: Computing exacts on every 217 of 6973 points to ramp up precision
14.544 * * * * [points]: Setting MPFR precision to 64
14.548 * * * * [points]: Setting MPFR precision to 320
14.552 * * * * [points]: Computing exacts on every 108 of 6973 points to ramp up precision
14.559 * * * * [points]: Setting MPFR precision to 64
14.968 * * * * [points]: Setting MPFR precision to 320
14.975 * * * * [points]: Computing exacts on every 54 of 6973 points to ramp up precision
14.983 * * * * [points]: Setting MPFR precision to 64
14.998 * * * * [points]: Setting MPFR precision to 320
15.013 * * * * [points]: Computing exacts on every 27 of 6973 points to ramp up precision
15.019 * * * * [points]: Setting MPFR precision to 64
15.047 * * * * [points]: Setting MPFR precision to 320
15.075 * * * * [points]: Computing exacts on every 13 of 6973 points to ramp up precision
15.081 * * * * [points]: Setting MPFR precision to 64
15.141 * * * * [points]: Setting MPFR precision to 320
15.245 * * * * [points]: Computing exacts on every 6 of 6973 points to ramp up precision
15.250 * * * * [points]: Setting MPFR precision to 64
15.359 * * * * [points]: Setting MPFR precision to 320
15.529 * * * * [points]: Computing exacts on every 3 of 6973 points to ramp up precision
15.536 * * * * [points]: Setting MPFR precision to 64
15.822 * * * * [points]: Setting MPFR precision to 320
16.040 * * * * [points]: Computing exacts for 6973 points
16.047 * * * * [points]: Setting MPFR precision to 64
17.021 * * * * [points]: Setting MPFR precision to 320
17.881 * * * * [points]: Filtering points with unrepresentable outputs
17.884 * * * * [points]: Sampling 6157 additional inputs, on iter 2 have 1843 / 8000
17.910 * * * * [points]: Computing exacts on every 384 of 6157 points to ramp up precision
17.914 * * * * [points]: Setting MPFR precision to 64
18.227 * * * * [points]: Setting MPFR precision to 320
18.228 * * * * [points]: Computing exacts on every 192 of 6157 points to ramp up precision
18.231 * * * * [points]: Setting MPFR precision to 64
18.234 * * * * [points]: Setting MPFR precision to 320
18.238 * * * * [points]: Computing exacts on every 96 of 6157 points to ramp up precision
18.241 * * * * [points]: Setting MPFR precision to 64
18.246 * * * * [points]: Setting MPFR precision to 320
18.251 * * * * [points]: Computing exacts on every 48 of 6157 points to ramp up precision
18.255 * * * * [points]: Setting MPFR precision to 64
18.264 * * * * [points]: Setting MPFR precision to 320
18.274 * * * * [points]: Computing exacts on every 24 of 6157 points to ramp up precision
18.278 * * * * [points]: Setting MPFR precision to 64
18.295 * * * * [points]: Setting MPFR precision to 320
18.314 * * * * [points]: Computing exacts on every 12 of 6157 points to ramp up precision
18.318 * * * * [points]: Setting MPFR precision to 64
18.381 * * * * [points]: Setting MPFR precision to 320
18.415 * * * * [points]: Computing exacts on every 6 of 6157 points to ramp up precision
18.419 * * * * [points]: Setting MPFR precision to 64
18.517 * * * * [points]: Setting MPFR precision to 320
18.583 * * * * [points]: Computing exacts on every 3 of 6157 points to ramp up precision
18.586 * * * * [points]: Setting MPFR precision to 64
18.734 * * * * [points]: Setting MPFR precision to 320
18.905 * * * * [points]: Computing exacts for 6157 points
18.911 * * * * [points]: Setting MPFR precision to 64
19.807 * * * * [points]: Setting MPFR precision to 320
20.728 * * * * [points]: Filtering points with unrepresentable outputs
20.733 * * * * [points]: Sampling 5398 additional inputs, on iter 3 have 2602 / 8000
20.774 * * * * [points]: Computing exacts on every 337 of 5398 points to ramp up precision
20.780 * * * * [points]: Setting MPFR precision to 64
20.782 * * * * [points]: Setting MPFR precision to 320
20.784 * * * * [points]: Computing exacts on every 168 of 5398 points to ramp up precision
20.790 * * * * [points]: Setting MPFR precision to 64
20.795 * * * * [points]: Setting MPFR precision to 320
20.799 * * * * [points]: Computing exacts on every 84 of 5398 points to ramp up precision
20.806 * * * * [points]: Setting MPFR precision to 64
20.815 * * * * [points]: Setting MPFR precision to 320
20.860 * * * * [points]: Computing exacts on every 42 of 5398 points to ramp up precision
20.869 * * * * [points]: Setting MPFR precision to 64
20.882 * * * * [points]: Setting MPFR precision to 320
20.892 * * * * [points]: Computing exacts on every 21 of 5398 points to ramp up precision
20.895 * * * * [points]: Setting MPFR precision to 64
20.914 * * * * [points]: Setting MPFR precision to 320
20.932 * * * * [points]: Computing exacts on every 10 of 5398 points to ramp up precision
20.936 * * * * [points]: Setting MPFR precision to 64
20.972 * * * * [points]: Setting MPFR precision to 320
21.077 * * * * [points]: Computing exacts on every 5 of 5398 points to ramp up precision
21.084 * * * * [points]: Setting MPFR precision to 64
21.206 * * * * [points]: Setting MPFR precision to 320
21.791 * * * * [points]: Computing exacts on every 2 of 5398 points to ramp up precision
21.798 * * * * [points]: Setting MPFR precision to 64
22.048 * * * * [points]: Setting MPFR precision to 320
22.336 * * * * [points]: Computing exacts for 5398 points
22.343 * * * * [points]: Setting MPFR precision to 64
23.284 * * * * [points]: Setting MPFR precision to 320
24.098 * * * * [points]: Filtering points with unrepresentable outputs
24.103 * * * * [points]: Sampling 4717 additional inputs, on iter 4 have 3283 / 8000
24.140 * * * * [points]: Computing exacts on every 294 of 4717 points to ramp up precision
24.146 * * * * [points]: Setting MPFR precision to 64
24.149 * * * * [points]: Setting MPFR precision to 320
24.151 * * * * [points]: Computing exacts on every 147 of 4717 points to ramp up precision
24.157 * * * * [points]: Setting MPFR precision to 64
24.162 * * * * [points]: Setting MPFR precision to 320
24.166 * * * * [points]: Computing exacts on every 73 of 4717 points to ramp up precision
24.172 * * * * [points]: Setting MPFR precision to 64
24.218 * * * * [points]: Setting MPFR precision to 320
24.229 * * * * [points]: Computing exacts on every 36 of 4717 points to ramp up precision
24.236 * * * * [points]: Setting MPFR precision to 64
24.254 * * * * [points]: Setting MPFR precision to 320
24.271 * * * * [points]: Computing exacts on every 18 of 4717 points to ramp up precision
24.278 * * * * [points]: Setting MPFR precision to 64
24.311 * * * * [points]: Setting MPFR precision to 320
24.344 * * * * [points]: Computing exacts on every 9 of 4717 points to ramp up precision
24.351 * * * * [points]: Setting MPFR precision to 64
24.416 * * * * [points]: Setting MPFR precision to 320
24.526 * * * * [points]: Computing exacts on every 4 of 4717 points to ramp up precision
24.533 * * * * [points]: Setting MPFR precision to 64
24.661 * * * * [points]: Setting MPFR precision to 320
24.779 * * * * [points]: Computing exacts on every 2 of 4717 points to ramp up precision
24.783 * * * * [points]: Setting MPFR precision to 64
24.935 * * * * [points]: Setting MPFR precision to 320
25.088 * * * * [points]: Computing exacts for 4717 points
25.092 * * * * [points]: Setting MPFR precision to 64
26.064 * * * * [points]: Setting MPFR precision to 320
26.676 * * * * [points]: Filtering points with unrepresentable outputs
26.680 * * * * [points]: Sampling 4111 additional inputs, on iter 5 have 3889 / 8000
26.712 * * * * [points]: Computing exacts on every 256 of 4111 points to ramp up precision
26.718 * * * * [points]: Setting MPFR precision to 64
26.721 * * * * [points]: Setting MPFR precision to 320
26.723 * * * * [points]: Computing exacts on every 128 of 4111 points to ramp up precision
26.729 * * * * [points]: Setting MPFR precision to 64
26.733 * * * * [points]: Setting MPFR precision to 320
26.737 * * * * [points]: Computing exacts on every 64 of 4111 points to ramp up precision
26.744 * * * * [points]: Setting MPFR precision to 64
26.752 * * * * [points]: Setting MPFR precision to 320
26.761 * * * * [points]: Computing exacts on every 32 of 4111 points to ramp up precision
26.768 * * * * [points]: Setting MPFR precision to 64
26.822 * * * * [points]: Setting MPFR precision to 320
26.841 * * * * [points]: Computing exacts on every 16 of 4111 points to ramp up precision
26.848 * * * * [points]: Setting MPFR precision to 64
26.880 * * * * [points]: Setting MPFR precision to 320
26.912 * * * * [points]: Computing exacts on every 8 of 4111 points to ramp up precision
26.918 * * * * [points]: Setting MPFR precision to 64
26.979 * * * * [points]: Setting MPFR precision to 320
27.085 * * * * [points]: Computing exacts on every 4 of 4111 points to ramp up precision
27.096 * * * * [points]: Setting MPFR precision to 64
27.205 * * * * [points]: Setting MPFR precision to 320
27.367 * * * * [points]: Computing exacts on every 2 of 4111 points to ramp up precision
27.375 * * * * [points]: Setting MPFR precision to 64
27.520 * * * * [points]: Setting MPFR precision to 320
27.678 * * * * [points]: Computing exacts for 4111 points
27.682 * * * * [points]: Setting MPFR precision to 64
28.160 * * * * [points]: Setting MPFR precision to 320
29.120 * * * * [points]: Filtering points with unrepresentable outputs
29.127 * * * * [points]: Sampling 3593 additional inputs, on iter 6 have 4407 / 8000
29.154 * * * * [points]: Computing exacts on every 224 of 3593 points to ramp up precision
29.160 * * * * [points]: Setting MPFR precision to 64
29.163 * * * * [points]: Setting MPFR precision to 320
29.165 * * * * [points]: Computing exacts on every 112 of 3593 points to ramp up precision
29.171 * * * * [points]: Setting MPFR precision to 64
29.175 * * * * [points]: Setting MPFR precision to 320
29.179 * * * * [points]: Computing exacts on every 56 of 3593 points to ramp up precision
29.185 * * * * [points]: Setting MPFR precision to 64
29.194 * * * * [points]: Setting MPFR precision to 320
29.202 * * * * [points]: Computing exacts on every 28 of 3593 points to ramp up precision
29.208 * * * * [points]: Setting MPFR precision to 64
29.225 * * * * [points]: Setting MPFR precision to 320
29.242 * * * * [points]: Computing exacts on every 14 of 3593 points to ramp up precision
29.249 * * * * [points]: Setting MPFR precision to 64
29.280 * * * * [points]: Setting MPFR precision to 320
29.312 * * * * [points]: Computing exacts on every 7 of 3593 points to ramp up precision
29.354 * * * * [points]: Setting MPFR precision to 64
29.418 * * * * [points]: Setting MPFR precision to 320
29.475 * * * * [points]: Computing exacts on every 3 of 3593 points to ramp up precision
29.482 * * * * [points]: Setting MPFR precision to 64
29.649 * * * * [points]: Setting MPFR precision to 320
29.762 * * * * [points]: Computing exacts for 3593 points
29.765 * * * * [points]: Setting MPFR precision to 64
30.164 * * * * [points]: Setting MPFR precision to 320
30.699 * * * * [points]: Filtering points with unrepresentable outputs
30.701 * * * * [points]: Sampling 3159 additional inputs, on iter 7 have 4841 / 8000
30.714 * * * * [points]: Computing exacts on every 197 of 3159 points to ramp up precision
30.718 * * * * [points]: Setting MPFR precision to 64
30.719 * * * * [points]: Setting MPFR precision to 320
30.721 * * * * [points]: Computing exacts on every 98 of 3159 points to ramp up precision
30.727 * * * * [points]: Setting MPFR precision to 64
30.731 * * * * [points]: Setting MPFR precision to 320
30.735 * * * * [points]: Computing exacts on every 49 of 3159 points to ramp up precision
30.742 * * * * [points]: Setting MPFR precision to 64
30.750 * * * * [points]: Setting MPFR precision to 320
30.758 * * * * [points]: Computing exacts on every 24 of 3159 points to ramp up precision
30.765 * * * * [points]: Setting MPFR precision to 64
30.781 * * * * [points]: Setting MPFR precision to 320
30.797 * * * * [points]: Computing exacts on every 12 of 3159 points to ramp up precision
30.804 * * * * [points]: Setting MPFR precision to 64
30.877 * * * * [points]: Setting MPFR precision to 320
30.909 * * * * [points]: Computing exacts on every 6 of 3159 points to ramp up precision
30.912 * * * * [points]: Setting MPFR precision to 64
30.961 * * * * [points]: Setting MPFR precision to 320
31.014 * * * * [points]: Computing exacts on every 3 of 3159 points to ramp up precision
31.020 * * * * [points]: Setting MPFR precision to 64
31.148 * * * * [points]: Setting MPFR precision to 320
31.213 * * * * [points]: Computing exacts for 3159 points
31.217 * * * * [points]: Setting MPFR precision to 64
31.635 * * * * [points]: Setting MPFR precision to 320
32.176 * * * * [points]: Filtering points with unrepresentable outputs
32.179 * * * * [points]: Sampling 2746 additional inputs, on iter 8 have 5254 / 8000
32.200 * * * * [points]: Computing exacts on every 171 of 2746 points to ramp up precision
32.208 * * * * [points]: Setting MPFR precision to 64
32.210 * * * * [points]: Setting MPFR precision to 320
32.212 * * * * [points]: Computing exacts on every 85 of 2746 points to ramp up precision
32.266 * * * * [points]: Setting MPFR precision to 64
32.274 * * * * [points]: Setting MPFR precision to 320
32.278 * * * * [points]: Computing exacts on every 42 of 2746 points to ramp up precision
32.285 * * * * [points]: Setting MPFR precision to 64
32.293 * * * * [points]: Setting MPFR precision to 320
32.302 * * * * [points]: Computing exacts on every 21 of 2746 points to ramp up precision
32.308 * * * * [points]: Setting MPFR precision to 64
32.324 * * * * [points]: Setting MPFR precision to 320
32.341 * * * * [points]: Computing exacts on every 10 of 2746 points to ramp up precision
32.347 * * * * [points]: Setting MPFR precision to 64
32.379 * * * * [points]: Setting MPFR precision to 320
32.413 * * * * [points]: Computing exacts on every 5 of 2746 points to ramp up precision
32.419 * * * * [points]: Setting MPFR precision to 64
32.518 * * * * [points]: Setting MPFR precision to 320
32.553 * * * * [points]: Computing exacts on every 2 of 2746 points to ramp up precision
32.557 * * * * [points]: Setting MPFR precision to 64
32.622 * * * * [points]: Setting MPFR precision to 320
33.253 * * * * [points]: Computing exacts for 2746 points
33.259 * * * * [points]: Setting MPFR precision to 64
33.581 * * * * [points]: Setting MPFR precision to 320
33.879 * * * * [points]: Filtering points with unrepresentable outputs
33.880 * * * * [points]: Sampling 2385 additional inputs, on iter 9 have 5615 / 8000
33.891 * * * * [points]: Computing exacts on every 149 of 2385 points to ramp up precision
33.895 * * * * [points]: Setting MPFR precision to 64
33.897 * * * * [points]: Setting MPFR precision to 320
33.898 * * * * [points]: Computing exacts on every 74 of 2385 points to ramp up precision
33.901 * * * * [points]: Setting MPFR precision to 64
33.904 * * * * [points]: Setting MPFR precision to 320
33.906 * * * * [points]: Computing exacts on every 37 of 2385 points to ramp up precision
33.909 * * * * [points]: Setting MPFR precision to 64
33.914 * * * * [points]: Setting MPFR precision to 320
33.918 * * * * [points]: Computing exacts on every 18 of 2385 points to ramp up precision
33.922 * * * * [points]: Setting MPFR precision to 64
33.931 * * * * [points]: Setting MPFR precision to 320
33.941 * * * * [points]: Computing exacts on every 9 of 2385 points to ramp up precision
33.945 * * * * [points]: Setting MPFR precision to 64
33.962 * * * * [points]: Setting MPFR precision to 320
33.980 * * * * [points]: Computing exacts on every 4 of 2385 points to ramp up precision
33.983 * * * * [points]: Setting MPFR precision to 64
34.045 * * * * [points]: Setting MPFR precision to 320
34.081 * * * * [points]: Computing exacts on every 2 of 2385 points to ramp up precision
34.084 * * * * [points]: Setting MPFR precision to 64
34.191 * * * * [points]: Setting MPFR precision to 320
34.267 * * * * [points]: Computing exacts for 2385 points
34.273 * * * * [points]: Setting MPFR precision to 64
34.632 * * * * [points]: Setting MPFR precision to 320
34.990 * * * * [points]: Filtering points with unrepresentable outputs
34.992 * * * * [points]: Sampling 2088 additional inputs, on iter 10 have 5912 / 8000
35.008 * * * * [points]: Computing exacts on every 130 of 2088 points to ramp up precision
35.015 * * * * [points]: Setting MPFR precision to 64
35.017 * * * * [points]: Setting MPFR precision to 320
35.020 * * * * [points]: Computing exacts on every 65 of 2088 points to ramp up precision
35.026 * * * * [points]: Setting MPFR precision to 64
35.031 * * * * [points]: Setting MPFR precision to 320
35.035 * * * * [points]: Computing exacts on every 32 of 2088 points to ramp up precision
35.042 * * * * [points]: Setting MPFR precision to 64
35.051 * * * * [points]: Setting MPFR precision to 320
35.059 * * * * [points]: Computing exacts on every 16 of 2088 points to ramp up precision
35.108 * * * * [points]: Setting MPFR precision to 64
35.128 * * * * [points]: Setting MPFR precision to 320
35.144 * * * * [points]: Computing exacts on every 8 of 2088 points to ramp up precision
35.151 * * * * [points]: Setting MPFR precision to 64
35.182 * * * * [points]: Setting MPFR precision to 320
35.213 * * * * [points]: Computing exacts on every 4 of 2088 points to ramp up precision
35.220 * * * * [points]: Setting MPFR precision to 64
35.276 * * * * [points]: Setting MPFR precision to 320
35.382 * * * * [points]: Computing exacts on every 2 of 2088 points to ramp up precision
35.391 * * * * [points]: Setting MPFR precision to 64
35.487 * * * * [points]: Setting MPFR precision to 320
35.584 * * * * [points]: Computing exacts for 2088 points
35.638 * * * * [points]: Setting MPFR precision to 64
35.982 * * * * [points]: Setting MPFR precision to 320
36.322 * * * * [points]: Filtering points with unrepresentable outputs
36.324 * * * * [points]: Sampling 1789 additional inputs, on iter 11 have 6211 / 8000
36.338 * * * * [points]: Computing exacts on every 111 of 1789 points to ramp up precision
36.345 * * * * [points]: Setting MPFR precision to 64
36.347 * * * * [points]: Setting MPFR precision to 320
36.349 * * * * [points]: Computing exacts on every 55 of 1789 points to ramp up precision
36.355 * * * * [points]: Setting MPFR precision to 64
36.360 * * * * [points]: Setting MPFR precision to 320
36.364 * * * * [points]: Computing exacts on every 27 of 1789 points to ramp up precision
36.371 * * * * [points]: Setting MPFR precision to 64
36.380 * * * * [points]: Setting MPFR precision to 320
36.389 * * * * [points]: Computing exacts on every 13 of 1789 points to ramp up precision
36.395 * * * * [points]: Setting MPFR precision to 64
36.442 * * * * [points]: Setting MPFR precision to 320
36.453 * * * * [points]: Computing exacts on every 6 of 1789 points to ramp up precision
36.457 * * * * [points]: Setting MPFR precision to 64
36.476 * * * * [points]: Setting MPFR precision to 320
36.494 * * * * [points]: Computing exacts on every 3 of 1789 points to ramp up precision
36.498 * * * * [points]: Setting MPFR precision to 64
36.532 * * * * [points]: Setting MPFR precision to 320
36.945 * * * * [points]: Computing exacts for 1789 points
36.952 * * * * [points]: Setting MPFR precision to 64
37.245 * * * * [points]: Setting MPFR precision to 320
37.536 * * * * [points]: Filtering points with unrepresentable outputs
37.538 * * * * [points]: Sampling 1567 additional inputs, on iter 12 have 6433 / 8000
37.550 * * * * [points]: Computing exacts on every 97 of 1567 points to ramp up precision
37.556 * * * * [points]: Setting MPFR precision to 64
37.558 * * * * [points]: Setting MPFR precision to 320
37.560 * * * * [points]: Computing exacts on every 48 of 1567 points to ramp up precision
37.566 * * * * [points]: Setting MPFR precision to 64
37.570 * * * * [points]: Setting MPFR precision to 320
37.575 * * * * [points]: Computing exacts on every 24 of 1567 points to ramp up precision
37.581 * * * * [points]: Setting MPFR precision to 64
37.589 * * * * [points]: Setting MPFR precision to 320
37.598 * * * * [points]: Computing exacts on every 12 of 1567 points to ramp up precision
37.604 * * * * [points]: Setting MPFR precision to 64
37.619 * * * * [points]: Setting MPFR precision to 320
37.634 * * * * [points]: Computing exacts on every 6 of 1567 points to ramp up precision
37.642 * * * * [points]: Setting MPFR precision to 64
37.710 * * * * [points]: Setting MPFR precision to 320
37.740 * * * * [points]: Computing exacts on every 3 of 1567 points to ramp up precision
37.746 * * * * [points]: Setting MPFR precision to 64
37.798 * * * * [points]: Setting MPFR precision to 320
37.849 * * * * [points]: Computing exacts for 1567 points
37.856 * * * * [points]: Setting MPFR precision to 64
38.113 * * * * [points]: Setting MPFR precision to 320
38.376 * * * * [points]: Filtering points with unrepresentable outputs
38.377 * * * * [points]: Sampling 1379 additional inputs, on iter 13 have 6621 / 8000
38.383 * * * * [points]: Computing exacts on every 86 of 1379 points to ramp up precision
38.387 * * * * [points]: Setting MPFR precision to 64
38.388 * * * * [points]: Setting MPFR precision to 320
38.389 * * * * [points]: Computing exacts on every 43 of 1379 points to ramp up precision
38.393 * * * * [points]: Setting MPFR precision to 64
38.395 * * * * [points]: Setting MPFR precision to 320
38.397 * * * * [points]: Computing exacts on every 21 of 1379 points to ramp up precision
38.401 * * * * [points]: Setting MPFR precision to 64
38.405 * * * * [points]: Setting MPFR precision to 320
38.438 * * * * [points]: Computing exacts on every 10 of 1379 points to ramp up precision
38.441 * * * * [points]: Setting MPFR precision to 64
38.452 * * * * [points]: Setting MPFR precision to 320
38.460 * * * * [points]: Computing exacts on every 5 of 1379 points to ramp up precision
38.464 * * * * [points]: Setting MPFR precision to 64
38.480 * * * * [points]: Setting MPFR precision to 320
38.496 * * * * [points]: Computing exacts on every 2 of 1379 points to ramp up precision
38.499 * * * * [points]: Setting MPFR precision to 64
38.531 * * * * [points]: Setting MPFR precision to 320
38.595 * * * * [points]: Computing exacts for 1379 points
38.599 * * * * [points]: Setting MPFR precision to 64
38.726 * * * * [points]: Setting MPFR precision to 320
38.825 * * * * [points]: Filtering points with unrepresentable outputs
38.826 * * * * [points]: Sampling 1194 additional inputs, on iter 14 have 6806 / 8000
38.831 * * * * [points]: Computing exacts on every 74 of 1194 points to ramp up precision
38.834 * * * * [points]: Setting MPFR precision to 64
38.835 * * * * [points]: Setting MPFR precision to 320
38.837 * * * * [points]: Computing exacts on every 37 of 1194 points to ramp up precision
38.869 * * * * [points]: Setting MPFR precision to 64
38.871 * * * * [points]: Setting MPFR precision to 320
38.874 * * * * [points]: Computing exacts on every 18 of 1194 points to ramp up precision
38.879 * * * * [points]: Setting MPFR precision to 64
38.883 * * * * [points]: Setting MPFR precision to 320
38.887 * * * * [points]: Computing exacts on every 9 of 1194 points to ramp up precision
38.891 * * * * [points]: Setting MPFR precision to 64
38.899 * * * * [points]: Setting MPFR precision to 320
38.907 * * * * [points]: Computing exacts on every 4 of 1194 points to ramp up precision
38.910 * * * * [points]: Setting MPFR precision to 64
38.929 * * * * [points]: Setting MPFR precision to 320
38.945 * * * * [points]: Computing exacts on every 2 of 1194 points to ramp up precision
38.948 * * * * [points]: Setting MPFR precision to 64
39.000 * * * * [points]: Setting MPFR precision to 320
39.029 * * * * [points]: Computing exacts for 1194 points
39.032 * * * * [points]: Setting MPFR precision to 64
39.142 * * * * [points]: Setting MPFR precision to 320
39.228 * * * * [points]: Filtering points with unrepresentable outputs
39.229 * * * * [points]: Sampling 1025 additional inputs, on iter 15 have 6975 / 8000
39.233 * * * * [points]: Computing exacts on every 64 of 1025 points to ramp up precision
39.236 * * * * [points]: Setting MPFR precision to 64
39.238 * * * * [points]: Setting MPFR precision to 320
39.239 * * * * [points]: Computing exacts on every 32 of 1025 points to ramp up precision
39.242 * * * * [points]: Setting MPFR precision to 64
39.244 * * * * [points]: Setting MPFR precision to 320
39.246 * * * * [points]: Computing exacts on every 16 of 1025 points to ramp up precision
39.279 * * * * [points]: Setting MPFR precision to 64
39.284 * * * * [points]: Setting MPFR precision to 320
39.289 * * * * [points]: Computing exacts on every 8 of 1025 points to ramp up precision
39.293 * * * * [points]: Setting MPFR precision to 64
39.301 * * * * [points]: Setting MPFR precision to 320
39.310 * * * * [points]: Computing exacts on every 4 of 1025 points to ramp up precision
39.313 * * * * [points]: Setting MPFR precision to 64
39.327 * * * * [points]: Setting MPFR precision to 320
39.340 * * * * [points]: Computing exacts on every 2 of 1025 points to ramp up precision
39.344 * * * * [points]: Setting MPFR precision to 64
39.366 * * * * [points]: Setting MPFR precision to 320
39.415 * * * * [points]: Computing exacts for 1025 points
39.421 * * * * [points]: Setting MPFR precision to 64
39.491 * * * * [points]: Setting MPFR precision to 320
39.593 * * * * [points]: Filtering points with unrepresentable outputs
39.594 * * * * [points]: Sampling 901 additional inputs, on iter 16 have 7099 / 8000
39.597 * * * * [points]: Computing exacts on every 56 of 901 points to ramp up precision
39.601 * * * * [points]: Setting MPFR precision to 64
39.602 * * * * [points]: Setting MPFR precision to 320
39.603 * * * * [points]: Computing exacts on every 28 of 901 points to ramp up precision
39.606 * * * * [points]: Setting MPFR precision to 64
39.608 * * * * [points]: Setting MPFR precision to 320
39.611 * * * * [points]: Computing exacts on every 14 of 901 points to ramp up precision
39.614 * * * * [points]: Setting MPFR precision to 64
39.618 * * * * [points]: Setting MPFR precision to 320
39.622 * * * * [points]: Computing exacts on every 7 of 901 points to ramp up precision
39.625 * * * * [points]: Setting MPFR precision to 64
39.633 * * * * [points]: Setting MPFR precision to 320
39.641 * * * * [points]: Computing exacts on every 3 of 901 points to ramp up precision
39.644 * * * * [points]: Setting MPFR precision to 64
39.680 * * * * [points]: Setting MPFR precision to 320
39.698 * * * * [points]: Computing exacts for 901 points
39.701 * * * * [points]: Setting MPFR precision to 64
39.761 * * * * [points]: Setting MPFR precision to 320
40.112 * * * * [points]: Filtering points with unrepresentable outputs
40.112 * * * * [points]: Sampling 794 additional inputs, on iter 17 have 7206 / 8000
40.115 * * * * [points]: Computing exacts on every 49 of 794 points to ramp up precision
40.118 * * * * [points]: Setting MPFR precision to 64
40.120 * * * * [points]: Setting MPFR precision to 320
40.121 * * * * [points]: Computing exacts on every 24 of 794 points to ramp up precision
40.124 * * * * [points]: Setting MPFR precision to 64
40.126 * * * * [points]: Setting MPFR precision to 320
40.128 * * * * [points]: Computing exacts on every 12 of 794 points to ramp up precision
40.131 * * * * [points]: Setting MPFR precision to 64
40.136 * * * * [points]: Setting MPFR precision to 320
40.140 * * * * [points]: Computing exacts on every 6 of 794 points to ramp up precision
40.143 * * * * [points]: Setting MPFR precision to 64
40.151 * * * * [points]: Setting MPFR precision to 320
40.158 * * * * [points]: Computing exacts on every 3 of 794 points to ramp up precision
40.162 * * * * [points]: Setting MPFR precision to 64
40.195 * * * * [points]: Setting MPFR precision to 320
40.211 * * * * [points]: Computing exacts for 794 points
40.215 * * * * [points]: Setting MPFR precision to 64
40.268 * * * * [points]: Setting MPFR precision to 320
40.355 * * * * [points]: Filtering points with unrepresentable outputs
40.355 * * * * [points]: Sampling 689 additional inputs, on iter 18 have 7311 / 8000
40.358 * * * * [points]: Computing exacts on every 43 of 689 points to ramp up precision
40.361 * * * * [points]: Setting MPFR precision to 64
40.363 * * * * [points]: Setting MPFR precision to 320
40.364 * * * * [points]: Computing exacts on every 21 of 689 points to ramp up precision
40.367 * * * * [points]: Setting MPFR precision to 64
40.369 * * * * [points]: Setting MPFR precision to 320
40.371 * * * * [points]: Computing exacts on every 10 of 689 points to ramp up precision
40.374 * * * * [points]: Setting MPFR precision to 64
40.378 * * * * [points]: Setting MPFR precision to 320
40.383 * * * * [points]: Computing exacts on every 5 of 689 points to ramp up precision
40.386 * * * * [points]: Setting MPFR precision to 64
40.393 * * * * [points]: Setting MPFR precision to 320
40.401 * * * * [points]: Computing exacts on every 2 of 689 points to ramp up precision
40.404 * * * * [points]: Setting MPFR precision to 64
40.420 * * * * [points]: Setting MPFR precision to 320
40.460 * * * * [points]: Computing exacts for 689 points
40.463 * * * * [points]: Setting MPFR precision to 64
40.512 * * * * [points]: Setting MPFR precision to 320
40.558 * * * * [points]: Filtering points with unrepresentable outputs
40.558 * * * * [points]: Sampling 593 additional inputs, on iter 19 have 7407 / 8000
40.561 * * * * [points]: Computing exacts on every 37 of 593 points to ramp up precision
40.564 * * * * [points]: Setting MPFR precision to 64
40.565 * * * * [points]: Setting MPFR precision to 320
40.566 * * * * [points]: Computing exacts on every 18 of 593 points to ramp up precision
40.598 * * * * [points]: Setting MPFR precision to 64
40.600 * * * * [points]: Setting MPFR precision to 320
40.602 * * * * [points]: Computing exacts on every 9 of 593 points to ramp up precision
40.607 * * * * [points]: Setting MPFR precision to 64
40.611 * * * * [points]: Setting MPFR precision to 320
40.615 * * * * [points]: Computing exacts on every 4 of 593 points to ramp up precision
40.618 * * * * [points]: Setting MPFR precision to 64
40.626 * * * * [points]: Setting MPFR precision to 320
40.634 * * * * [points]: Computing exacts on every 2 of 593 points to ramp up precision
40.638 * * * * [points]: Setting MPFR precision to 64
40.651 * * * * [points]: Setting MPFR precision to 320
40.664 * * * * [points]: Computing exacts for 593 points
40.668 * * * * [points]: Setting MPFR precision to 64
40.733 * * * * [points]: Setting MPFR precision to 320
40.772 * * * * [points]: Filtering points with unrepresentable outputs
40.773 * * * * [points]: Sampling 512 additional inputs, on iter 20 have 7488 / 8000
40.775 * * * * [points]: Computing exacts on every 32 of 512 points to ramp up precision
40.778 * * * * [points]: Setting MPFR precision to 64
40.779 * * * * [points]: Setting MPFR precision to 320
40.780 * * * * [points]: Computing exacts on every 16 of 512 points to ramp up precision
40.783 * * * * [points]: Setting MPFR precision to 64
40.785 * * * * [points]: Setting MPFR precision to 320
40.787 * * * * [points]: Computing exacts on every 8 of 512 points to ramp up precision
40.790 * * * * [points]: Setting MPFR precision to 64
40.794 * * * * [points]: Setting MPFR precision to 320
40.798 * * * * [points]: Computing exacts on every 4 of 512 points to ramp up precision
40.801 * * * * [points]: Setting MPFR precision to 64
40.808 * * * * [points]: Setting MPFR precision to 320
40.815 * * * * [points]: Computing exacts on every 2 of 512 points to ramp up precision
40.818 * * * * [points]: Setting MPFR precision to 64
40.856 * * * * [points]: Setting MPFR precision to 320
40.868 * * * * [points]: Computing exacts for 512 points
40.871 * * * * [points]: Setting MPFR precision to 64
40.906 * * * * [points]: Setting MPFR precision to 320
40.940 * * * * [points]: Filtering points with unrepresentable outputs
40.940 * * * * [points]: Sampling 444 additional inputs, on iter 21 have 7556 / 8000
40.942 * * * * [points]: Computing exacts on every 27 of 444 points to ramp up precision
40.945 * * * * [points]: Setting MPFR precision to 64
40.947 * * * * [points]: Setting MPFR precision to 320
40.948 * * * * [points]: Computing exacts on every 13 of 444 points to ramp up precision
40.978 * * * * [points]: Setting MPFR precision to 64
40.981 * * * * [points]: Setting MPFR precision to 320
40.983 * * * * [points]: Computing exacts on every 6 of 444 points to ramp up precision
40.987 * * * * [points]: Setting MPFR precision to 64
40.993 * * * * [points]: Setting MPFR precision to 320
40.998 * * * * [points]: Computing exacts on every 3 of 444 points to ramp up precision
41.001 * * * * [points]: Setting MPFR precision to 64
41.009 * * * * [points]: Setting MPFR precision to 320
41.017 * * * * [points]: Computing exacts for 444 points
41.020 * * * * [points]: Setting MPFR precision to 64
41.050 * * * * [points]: Setting MPFR precision to 320
41.081 * * * * [points]: Filtering points with unrepresentable outputs
41.081 * * * * [points]: Sampling 395 additional inputs, on iter 22 have 7605 / 8000
41.083 * * * * [points]: Computing exacts on every 24 of 395 points to ramp up precision
41.113 * * * * [points]: Setting MPFR precision to 64
41.114 * * * * [points]: Setting MPFR precision to 320
41.115 * * * * [points]: Computing exacts on every 12 of 395 points to ramp up precision
41.119 * * * * [points]: Setting MPFR precision to 64
41.121 * * * * [points]: Setting MPFR precision to 320
41.125 * * * * [points]: Computing exacts on every 6 of 395 points to ramp up precision
41.128 * * * * [points]: Setting MPFR precision to 64
41.132 * * * * [points]: Setting MPFR precision to 320
41.136 * * * * [points]: Computing exacts on every 3 of 395 points to ramp up precision
41.139 * * * * [points]: Setting MPFR precision to 64
41.146 * * * * [points]: Setting MPFR precision to 320
41.153 * * * * [points]: Computing exacts for 395 points
41.156 * * * * [points]: Setting MPFR precision to 64
41.183 * * * * [points]: Setting MPFR precision to 320
41.210 * * * * [points]: Filtering points with unrepresentable outputs
41.210 * * * * [points]: Sampling 347 additional inputs, on iter 23 have 7653 / 8000
41.212 * * * * [points]: Computing exacts on every 21 of 347 points to ramp up precision
41.241 * * * * [points]: Setting MPFR precision to 64
41.242 * * * * [points]: Setting MPFR precision to 320
41.244 * * * * [points]: Computing exacts on every 10 of 347 points to ramp up precision
41.247 * * * * [points]: Setting MPFR precision to 64
41.250 * * * * [points]: Setting MPFR precision to 320
41.254 * * * * [points]: Computing exacts on every 5 of 347 points to ramp up precision
41.257 * * * * [points]: Setting MPFR precision to 64
41.261 * * * * [points]: Setting MPFR precision to 320
41.265 * * * * [points]: Computing exacts on every 2 of 347 points to ramp up precision
41.268 * * * * [points]: Setting MPFR precision to 64
41.276 * * * * [points]: Setting MPFR precision to 320
41.284 * * * * [points]: Computing exacts for 347 points
41.287 * * * * [points]: Setting MPFR precision to 64
41.311 * * * * [points]: Setting MPFR precision to 320
41.335 * * * * [points]: Filtering points with unrepresentable outputs
41.335 * * * * [points]: Sampling 299 additional inputs, on iter 24 have 7701 / 8000
41.336 * * * * [points]: Computing exacts on every 18 of 299 points to ramp up precision
41.339 * * * * [points]: Setting MPFR precision to 64
41.340 * * * * [points]: Setting MPFR precision to 320
41.342 * * * * [points]: Computing exacts on every 9 of 299 points to ramp up precision
41.368 * * * * [points]: Setting MPFR precision to 64
41.371 * * * * [points]: Setting MPFR precision to 320
41.373 * * * * [points]: Computing exacts on every 4 of 299 points to ramp up precision
41.379 * * * * [points]: Setting MPFR precision to 64
41.383 * * * * [points]: Setting MPFR precision to 320
41.387 * * * * [points]: Computing exacts on every 2 of 299 points to ramp up precision
41.390 * * * * [points]: Setting MPFR precision to 64
41.397 * * * * [points]: Setting MPFR precision to 320
41.404 * * * * [points]: Computing exacts for 299 points
41.407 * * * * [points]: Setting MPFR precision to 64
41.428 * * * * [points]: Setting MPFR precision to 320
41.449 * * * * [points]: Filtering points with unrepresentable outputs
41.449 * * * * [points]: Sampling 259 additional inputs, on iter 25 have 7741 / 8000
41.450 * * * * [points]: Computing exacts on every 16 of 259 points to ramp up precision
41.453 * * * * [points]: Setting MPFR precision to 64
41.455 * * * * [points]: Setting MPFR precision to 320
41.456 * * * * [points]: Computing exacts on every 8 of 259 points to ramp up precision
41.459 * * * * [points]: Setting MPFR precision to 64
41.461 * * * * [points]: Setting MPFR precision to 320
41.463 * * * * [points]: Computing exacts on every 4 of 259 points to ramp up precision
41.487 * * * * [points]: Setting MPFR precision to 64
41.491 * * * * [points]: Setting MPFR precision to 320
41.495 * * * * [points]: Computing exacts on every 2 of 259 points to ramp up precision
41.500 * * * * [points]: Setting MPFR precision to 64
41.506 * * * * [points]: Setting MPFR precision to 320
41.512 * * * * [points]: Computing exacts for 259 points
41.515 * * * * [points]: Setting MPFR precision to 64
41.533 * * * * [points]: Setting MPFR precision to 320
41.551 * * * * [points]: Filtering points with unrepresentable outputs
41.551 * * * * [points]: Sampling 224 additional inputs, on iter 26 have 7776 / 8000
41.552 * * * * [points]: Computing exacts on every 14 of 224 points to ramp up precision
41.555 * * * * [points]: Setting MPFR precision to 64
41.557 * * * * [points]: Setting MPFR precision to 320
41.558 * * * * [points]: Computing exacts on every 7 of 224 points to ramp up precision
41.561 * * * * [points]: Setting MPFR precision to 64
41.563 * * * * [points]: Setting MPFR precision to 320
41.565 * * * * [points]: Computing exacts on every 3 of 224 points to ramp up precision
41.568 * * * * [points]: Setting MPFR precision to 64
41.572 * * * * [points]: Setting MPFR precision to 320
41.576 * * * * [points]: Computing exacts for 224 points
41.579 * * * * [points]: Setting MPFR precision to 64
41.617 * * * * [points]: Setting MPFR precision to 320
41.634 * * * * [points]: Filtering points with unrepresentable outputs
41.634 * * * * [points]: Sampling 197 additional inputs, on iter 27 have 7803 / 8000
41.635 * * * * [points]: Computing exacts on every 12 of 197 points to ramp up precision
41.638 * * * * [points]: Setting MPFR precision to 64
41.640 * * * * [points]: Setting MPFR precision to 320
41.641 * * * * [points]: Computing exacts on every 6 of 197 points to ramp up precision
41.644 * * * * [points]: Setting MPFR precision to 64
41.646 * * * * [points]: Setting MPFR precision to 320
41.648 * * * * [points]: Computing exacts on every 3 of 197 points to ramp up precision
41.651 * * * * [points]: Setting MPFR precision to 64
41.654 * * * * [points]: Setting MPFR precision to 320
41.658 * * * * [points]: Computing exacts for 197 points
41.661 * * * * [points]: Setting MPFR precision to 64
41.675 * * * * [points]: Setting MPFR precision to 320
41.689 * * * * [points]: Filtering points with unrepresentable outputs
41.689 * * * * [points]: Sampling 175 additional inputs, on iter 28 have 7825 / 8000
41.689 * * * * [points]: Computing exacts on every 10 of 175 points to ramp up precision
41.693 * * * * [points]: Setting MPFR precision to 64
41.694 * * * * [points]: Setting MPFR precision to 320
41.695 * * * * [points]: Computing exacts on every 5 of 175 points to ramp up precision
41.698 * * * * [points]: Setting MPFR precision to 64
41.700 * * * * [points]: Setting MPFR precision to 320
41.702 * * * * [points]: Computing exacts on every 2 of 175 points to ramp up precision
41.706 * * * * [points]: Setting MPFR precision to 64
41.732 * * * * [points]: Setting MPFR precision to 320
41.736 * * * * [points]: Computing exacts for 175 points
41.741 * * * * [points]: Setting MPFR precision to 64
41.753 * * * * [points]: Setting MPFR precision to 320
41.767 * * * * [points]: Filtering points with unrepresentable outputs
41.767 * * * * [points]: Sampling 158 additional inputs, on iter 29 have 7842 / 8000
41.768 * * * * [points]: Computing exacts on every 9 of 158 points to ramp up precision
41.771 * * * * [points]: Setting MPFR precision to 64
41.772 * * * * [points]: Setting MPFR precision to 320
41.774 * * * * [points]: Computing exacts on every 4 of 158 points to ramp up precision
41.777 * * * * [points]: Setting MPFR precision to 64
41.779 * * * * [points]: Setting MPFR precision to 320
41.782 * * * * [points]: Computing exacts on every 2 of 158 points to ramp up precision
41.785 * * * * [points]: Setting MPFR precision to 64
41.788 * * * * [points]: Setting MPFR precision to 320
41.792 * * * * [points]: Computing exacts for 158 points
41.795 * * * * [points]: Setting MPFR precision to 64
41.806 * * * * [points]: Setting MPFR precision to 320
41.817 * * * * [points]: Filtering points with unrepresentable outputs
41.817 * * * * [points]: Sampling 132 additional inputs, on iter 30 have 7868 / 8000
41.818 * * * * [points]: Computing exacts on every 8 of 132 points to ramp up precision
41.821 * * * * [points]: Setting MPFR precision to 64
41.822 * * * * [points]: Setting MPFR precision to 320
41.823 * * * * [points]: Computing exacts on every 4 of 132 points to ramp up precision
41.826 * * * * [points]: Setting MPFR precision to 64
41.828 * * * * [points]: Setting MPFR precision to 320
41.850 * * * * [points]: Computing exacts on every 2 of 132 points to ramp up precision
41.854 * * * * [points]: Setting MPFR precision to 64
41.857 * * * * [points]: Setting MPFR precision to 320
41.862 * * * * [points]: Computing exacts for 132 points
41.865 * * * * [points]: Setting MPFR precision to 64
41.874 * * * * [points]: Setting MPFR precision to 320
41.883 * * * * [points]: Filtering points with unrepresentable outputs
41.883 * * * * [points]: Sampling 119 additional inputs, on iter 31 have 7881 / 8000
41.884 * * * * [points]: Computing exacts on every 7 of 119 points to ramp up precision
41.887 * * * * [points]: Setting MPFR precision to 64
41.889 * * * * [points]: Setting MPFR precision to 320
41.890 * * * * [points]: Computing exacts on every 3 of 119 points to ramp up precision
41.894 * * * * [points]: Setting MPFR precision to 64
41.896 * * * * [points]: Setting MPFR precision to 320
41.898 * * * * [points]: Computing exacts for 119 points
41.902 * * * * [points]: Setting MPFR precision to 64
41.910 * * * * [points]: Setting MPFR precision to 320
41.918 * * * * [points]: Filtering points with unrepresentable outputs
41.918 * * * * [points]: Sampling 105 additional inputs, on iter 32 have 7895 / 8000
41.919 * * * * [points]: Computing exacts on every 6 of 105 points to ramp up precision
41.922 * * * * [points]: Setting MPFR precision to 64
41.923 * * * * [points]: Setting MPFR precision to 320
41.924 * * * * [points]: Computing exacts on every 3 of 105 points to ramp up precision
41.927 * * * * [points]: Setting MPFR precision to 64
41.929 * * * * [points]: Setting MPFR precision to 320
41.931 * * * * [points]: Computing exacts for 105 points
41.934 * * * * [points]: Setting MPFR precision to 64
41.941 * * * * [points]: Setting MPFR precision to 320
41.969 * * * * [points]: Filtering points with unrepresentable outputs
41.969 * * * * [points]: Sampling 92 additional inputs, on iter 33 have 7908 / 8000
41.969 * * * * [points]: Computing exacts on every 5 of 92 points to ramp up precision
41.972 * * * * [points]: Setting MPFR precision to 64
41.974 * * * * [points]: Setting MPFR precision to 320
41.976 * * * * [points]: Computing exacts on every 2 of 92 points to ramp up precision
41.979 * * * * [points]: Setting MPFR precision to 64
41.982 * * * * [points]: Setting MPFR precision to 320
41.984 * * * * [points]: Computing exacts for 92 points
41.987 * * * * [points]: Setting MPFR precision to 64
41.993 * * * * [points]: Setting MPFR precision to 320
42.000 * * * * [points]: Filtering points with unrepresentable outputs
42.000 * * * * [points]: Sampling 84 additional inputs, on iter 34 have 7916 / 8000
42.000 * * * * [points]: Computing exacts on every 5 of 84 points to ramp up precision
42.004 * * * * [points]: Setting MPFR precision to 64
42.005 * * * * [points]: Setting MPFR precision to 320
42.006 * * * * [points]: Computing exacts on every 2 of 84 points to ramp up precision
42.009 * * * * [points]: Setting MPFR precision to 64
42.011 * * * * [points]: Setting MPFR precision to 320
42.013 * * * * [points]: Computing exacts for 84 points
42.017 * * * * [points]: Setting MPFR precision to 64
42.023 * * * * [points]: Setting MPFR precision to 320
42.030 * * * * [points]: Filtering points with unrepresentable outputs
42.030 * * * * [points]: Sampling 73 additional inputs, on iter 35 have 7927 / 8000
42.031 * * * * [points]: Computing exacts on every 4 of 73 points to ramp up precision
42.034 * * * * [points]: Setting MPFR precision to 64
42.035 * * * * [points]: Setting MPFR precision to 320
42.036 * * * * [points]: Computing exacts on every 2 of 73 points to ramp up precision
42.039 * * * * [points]: Setting MPFR precision to 64
42.041 * * * * [points]: Setting MPFR precision to 320
42.042 * * * * [points]: Computing exacts for 73 points
42.045 * * * * [points]: Setting MPFR precision to 64
42.050 * * * * [points]: Setting MPFR precision to 320
42.055 * * * * [points]: Filtering points with unrepresentable outputs
42.056 * * * * [points]: Sampling 63 additional inputs, on iter 36 have 7937 / 8000
42.056 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision
42.079 * * * * [points]: Setting MPFR precision to 64
42.080 * * * * [points]: Setting MPFR precision to 320
42.081 * * * * [points]: Computing exacts for 63 points
42.084 * * * * [points]: Setting MPFR precision to 64
42.089 * * * * [points]: Setting MPFR precision to 320
42.094 * * * * [points]: Filtering points with unrepresentable outputs
42.094 * * * * [points]: Sampling 54 additional inputs, on iter 37 have 7946 / 8000
42.094 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
42.097 * * * * [points]: Setting MPFR precision to 64
42.098 * * * * [points]: Setting MPFR precision to 320
42.099 * * * * [points]: Computing exacts for 54 points
42.102 * * * * [points]: Setting MPFR precision to 64
42.106 * * * * [points]: Setting MPFR precision to 320
42.110 * * * * [points]: Filtering points with unrepresentable outputs
42.110 * * * * [points]: Sampling 42 additional inputs, on iter 38 have 7958 / 8000
42.110 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
42.114 * * * * [points]: Setting MPFR precision to 64
42.115 * * * * [points]: Setting MPFR precision to 320
42.116 * * * * [points]: Computing exacts for 42 points
42.119 * * * * [points]: Setting MPFR precision to 64
42.122 * * * * [points]: Setting MPFR precision to 320
42.125 * * * * [points]: Filtering points with unrepresentable outputs
42.125 * * * * [points]: Sampling 38 additional inputs, on iter 39 have 7962 / 8000
42.125 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
42.128 * * * * [points]: Setting MPFR precision to 64
42.129 * * * * [points]: Setting MPFR precision to 320
42.130 * * * * [points]: Computing exacts for 38 points
42.133 * * * * [points]: Setting MPFR precision to 64
42.136 * * * * [points]: Setting MPFR precision to 320
42.138 * * * * [points]: Filtering points with unrepresentable outputs
42.138 * * * * [points]: Sampling 36 additional inputs, on iter 40 have 7964 / 8000
42.139 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
42.142 * * * * [points]: Setting MPFR precision to 64
42.143 * * * * [points]: Setting MPFR precision to 320
42.144 * * * * [points]: Computing exacts for 36 points
42.147 * * * * [points]: Setting MPFR precision to 64
42.150 * * * * [points]: Setting MPFR precision to 320
42.152 * * * * [points]: Filtering points with unrepresentable outputs
42.152 * * * * [points]: Sampling 31 additional inputs, on iter 41 have 7969 / 8000
42.153 * * * * [points]: Computing exacts for 31 points
42.157 * * * * [points]: Setting MPFR precision to 64
42.159 * * * * [points]: Setting MPFR precision to 320
42.161 * * * * [points]: Filtering points with unrepresentable outputs
42.161 * * * * [points]: Sampling 26 additional inputs, on iter 42 have 7974 / 8000
42.161 * * * * [points]: Computing exacts for 26 points
42.164 * * * * [points]: Setting MPFR precision to 64
42.182 * * * * [points]: Setting MPFR precision to 320
42.184 * * * * [points]: Filtering points with unrepresentable outputs
42.184 * * * * [points]: Sampling 22 additional inputs, on iter 43 have 7978 / 8000
42.184 * * * * [points]: Computing exacts for 22 points
42.187 * * * * [points]: Setting MPFR precision to 64
42.189 * * * * [points]: Setting MPFR precision to 320
42.191 * * * * [points]: Filtering points with unrepresentable outputs
42.191 * * * * [points]: Sampling 18 additional inputs, on iter 44 have 7982 / 8000
42.191 * * * * [points]: Computing exacts for 18 points
42.195 * * * * [points]: Setting MPFR precision to 64
42.197 * * * * [points]: Setting MPFR precision to 320
42.198 * * * * [points]: Filtering points with unrepresentable outputs
42.198 * * * * [points]: Sampling 17 additional inputs, on iter 45 have 7983 / 8000
42.198 * * * * [points]: Computing exacts for 17 points
42.202 * * * * [points]: Setting MPFR precision to 64
42.203 * * * * [points]: Setting MPFR precision to 320
42.204 * * * * [points]: Filtering points with unrepresentable outputs
42.204 * * * * [points]: Sampling 17 additional inputs, on iter 46 have 7983 / 8000
42.204 * * * * [points]: Computing exacts for 17 points
42.207 * * * * [points]: Setting MPFR precision to 64
42.208 * * * * [points]: Setting MPFR precision to 320
42.210 * * * * [points]: Filtering points with unrepresentable outputs
42.210 * * * * [points]: Sampling 15 additional inputs, on iter 47 have 7985 / 8000
42.210 * * * * [points]: Computing exacts for 15 points
42.213 * * * * [points]: Setting MPFR precision to 64
42.214 * * * * [points]: Setting MPFR precision to 320
42.215 * * * * [points]: Filtering points with unrepresentable outputs
42.215 * * * * [points]: Sampling 14 additional inputs, on iter 48 have 7986 / 8000
42.215 * * * * [points]: Computing exacts for 14 points
42.218 * * * * [points]: Setting MPFR precision to 64
42.219 * * * * [points]: Setting MPFR precision to 320
42.220 * * * * [points]: Filtering points with unrepresentable outputs
42.220 * * * * [points]: Sampling 11 additional inputs, on iter 49 have 7989 / 8000
42.220 * * * * [points]: Computing exacts for 11 points
42.224 * * * * [points]: Setting MPFR precision to 64
42.224 * * * * [points]: Setting MPFR precision to 320
42.226 * * * * [points]: Filtering points with unrepresentable outputs
42.226 * * * * [points]: Sampling 9 additional inputs, on iter 50 have 7991 / 8000
42.226 * * * * [points]: Computing exacts for 9 points
42.229 * * * * [points]: Setting MPFR precision to 64
42.230 * * * * [points]: Setting MPFR precision to 320
42.230 * * * * [points]: Filtering points with unrepresentable outputs
42.230 * * * * [points]: Sampling 8 additional inputs, on iter 51 have 7992 / 8000
42.230 * * * * [points]: Computing exacts for 8 points
42.233 * * * * [points]: Setting MPFR precision to 64
42.234 * * * * [points]: Setting MPFR precision to 320
42.235 * * * * [points]: Filtering points with unrepresentable outputs
42.235 * * * * [points]: Sampling 7 additional inputs, on iter 52 have 7993 / 8000
42.235 * * * * [points]: Computing exacts for 7 points
42.238 * * * * [points]: Setting MPFR precision to 64
42.238 * * * * [points]: Setting MPFR precision to 320
42.239 * * * * [points]: Filtering points with unrepresentable outputs
42.239 * * * * [points]: Sampling 7 additional inputs, on iter 53 have 7993 / 8000
42.239 * * * * [points]: Computing exacts for 7 points
42.242 * * * * [points]: Setting MPFR precision to 64
42.243 * * * * [points]: Setting MPFR precision to 320
42.243 * * * * [points]: Filtering points with unrepresentable outputs
42.243 * * * * [points]: Sampling 7 additional inputs, on iter 54 have 7993 / 8000
42.243 * * * * [points]: Computing exacts for 7 points
42.246 * * * * [points]: Setting MPFR precision to 64
42.247 * * * * [points]: Setting MPFR precision to 320
42.247 * * * * [points]: Filtering points with unrepresentable outputs
42.247 * * * * [points]: Sampling 5 additional inputs, on iter 55 have 7995 / 8000
42.247 * * * * [points]: Computing exacts for 5 points
42.250 * * * * [points]: Setting MPFR precision to 64
42.251 * * * * [points]: Setting MPFR precision to 320
42.252 * * * * [points]: Filtering points with unrepresentable outputs
42.252 * * * * [points]: Sampling 4 additional inputs, on iter 56 have 7996 / 8000
42.252 * * * * [points]: Computing exacts for 4 points
42.255 * * * * [points]: Setting MPFR precision to 64
42.255 * * * * [points]: Setting MPFR precision to 320
42.255 * * * * [points]: Filtering points with unrepresentable outputs
42.255 * * * * [points]: Sampling 4 additional inputs, on iter 57 have 7996 / 8000
42.256 * * * * [points]: Computing exacts for 4 points
42.258 * * * * [points]: Setting MPFR precision to 64
42.273 * * * * [points]: Setting MPFR precision to 320
42.273 * * * * [points]: Filtering points with unrepresentable outputs
42.273 * * * * [points]: Sampling 4 additional inputs, on iter 58 have 7996 / 8000
42.273 * * * * [points]: Computing exacts for 4 points
42.277 * * * * [points]: Setting MPFR precision to 64
42.277 * * * * [points]: Setting MPFR precision to 320
42.277 * * * * [points]: Filtering points with unrepresentable outputs
42.277 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7997 / 8000
42.277 * * * * [points]: Computing exacts for 4 points
42.281 * * * * [points]: Setting MPFR precision to 64
42.281 * * * * [points]: Setting MPFR precision to 320
42.281 * * * * [points]: Filtering points with unrepresentable outputs
42.281 * * * * [points]: Sampling 4 additional inputs, on iter 60 have 7998 / 8000
42.281 * * * * [points]: Computing exacts for 4 points
42.287 * * * * [points]: Setting MPFR precision to 64
42.288 * * * * [points]: Setting MPFR precision to 320
42.288 * * * * [points]: Filtering points with unrepresentable outputs
42.288 * * * * [points]: Sampling 4 additional inputs, on iter 61 have 7998 / 8000
42.288 * * * * [points]: Computing exacts for 4 points
42.291 * * * * [points]: Setting MPFR precision to 64
42.291 * * * * [points]: Setting MPFR precision to 320
42.292 * * * * [points]: Filtering points with unrepresentable outputs
42.292 * * * * [points]: Sampling 4 additional inputs, on iter 62 have 7999 / 8000
42.292 * * * * [points]: Computing exacts for 4 points
42.295 * * * * [points]: Setting MPFR precision to 64
42.295 * * * * [points]: Setting MPFR precision to 320
42.296 * * * * [points]: Filtering points with unrepresentable outputs
42.296 * * * * [points]: Sampled 8000 points with exact outputs
45.224 * [regime-testing]: Baseline error score: 64.0
45.227 * [regime-testing]: Oracle error score: 64.0
45.234 * [regime-testing]: End program error score: 0.16900152451046455