0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.010 * * * * [points]: Setting MPFR precision to 64
0.013 * * * * [points]: Setting MPFR precision to 320
0.015 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.022 * * * * [points]: Setting MPFR precision to 64
0.026 * * * * [points]: Setting MPFR precision to 320
0.029 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.033 * * * * [points]: Setting MPFR precision to 64
0.037 * * * * [points]: Setting MPFR precision to 320
0.041 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.044 * * * * [points]: Setting MPFR precision to 64
0.050 * * * * [points]: Setting MPFR precision to 320
0.056 * * * * [points]: Computing exacts for 256 points
0.060 * * * * [points]: Setting MPFR precision to 64
0.078 * * * * [points]: Setting MPFR precision to 320
0.111 * * * * [points]: Filtering points with unrepresentable outputs
0.111 * * * * [points]: Sampling 227 additional inputs, on iter 1 have 29 / 256
0.112 * * * * [points]: Computing exacts on every 14 of 227 points to ramp up precision
0.116 * * * * [points]: Setting MPFR precision to 64
0.117 * * * * [points]: Setting MPFR precision to 320
0.119 * * * * [points]: Computing exacts on every 7 of 227 points to ramp up precision
0.122 * * * * [points]: Setting MPFR precision to 64
0.124 * * * * [points]: Setting MPFR precision to 320
0.126 * * * * [points]: Computing exacts on every 3 of 227 points to ramp up precision
0.130 * * * * [points]: Setting MPFR precision to 64
0.134 * * * * [points]: Setting MPFR precision to 320
0.139 * * * * [points]: Computing exacts for 227 points
0.143 * * * * [points]: Setting MPFR precision to 64
0.160 * * * * [points]: Setting MPFR precision to 320
0.177 * * * * [points]: Filtering points with unrepresentable outputs
0.177 * * * * [points]: Sampling 197 additional inputs, on iter 2 have 59 / 256
0.178 * * * * [points]: Computing exacts on every 12 of 197 points to ramp up precision
0.181 * * * * [points]: Setting MPFR precision to 64
0.183 * * * * [points]: Setting MPFR precision to 320
0.184 * * * * [points]: Computing exacts on every 6 of 197 points to ramp up precision
0.187 * * * * [points]: Setting MPFR precision to 64
0.190 * * * * [points]: Setting MPFR precision to 320
0.192 * * * * [points]: Computing exacts on every 3 of 197 points to ramp up precision
0.195 * * * * [points]: Setting MPFR precision to 64
0.199 * * * * [points]: Setting MPFR precision to 320
0.223 * * * * [points]: Computing exacts for 197 points
0.226 * * * * [points]: Setting MPFR precision to 64
0.242 * * * * [points]: Setting MPFR precision to 320
0.256 * * * * [points]: Filtering points with unrepresentable outputs
0.256 * * * * [points]: Sampling 173 additional inputs, on iter 3 have 83 / 256
0.257 * * * * [points]: Computing exacts on every 10 of 173 points to ramp up precision
0.260 * * * * [points]: Setting MPFR precision to 64
0.261 * * * * [points]: Setting MPFR precision to 320
0.262 * * * * [points]: Computing exacts on every 5 of 173 points to ramp up precision
0.266 * * * * [points]: Setting MPFR precision to 64
0.268 * * * * [points]: Setting MPFR precision to 320
0.270 * * * * [points]: Computing exacts on every 2 of 173 points to ramp up precision
0.273 * * * * [points]: Setting MPFR precision to 64
0.277 * * * * [points]: Setting MPFR precision to 320
0.281 * * * * [points]: Computing exacts for 173 points
0.285 * * * * [points]: Setting MPFR precision to 64
0.296 * * * * [points]: Setting MPFR precision to 320
0.309 * * * * [points]: Filtering points with unrepresentable outputs
0.309 * * * * [points]: Sampling 148 additional inputs, on iter 4 have 108 / 256
0.310 * * * * [points]: Computing exacts on every 9 of 148 points to ramp up precision
0.313 * * * * [points]: Setting MPFR precision to 64
0.314 * * * * [points]: Setting MPFR precision to 320
0.315 * * * * [points]: Computing exacts on every 4 of 148 points to ramp up precision
0.343 * * * * [points]: Setting MPFR precision to 64
0.346 * * * * [points]: Setting MPFR precision to 320
0.348 * * * * [points]: Computing exacts on every 2 of 148 points to ramp up precision
0.355 * * * * [points]: Setting MPFR precision to 64
0.358 * * * * [points]: Setting MPFR precision to 320
0.362 * * * * [points]: Computing exacts for 148 points
0.365 * * * * [points]: Setting MPFR precision to 64
0.375 * * * * [points]: Setting MPFR precision to 320
0.386 * * * * [points]: Filtering points with unrepresentable outputs
0.386 * * * * [points]: Sampling 139 additional inputs, on iter 5 have 117 / 256
0.386 * * * * [points]: Computing exacts on every 8 of 139 points to ramp up precision
0.390 * * * * [points]: Setting MPFR precision to 64
0.392 * * * * [points]: Setting MPFR precision to 320
0.394 * * * * [points]: Computing exacts on every 4 of 139 points to ramp up precision
0.401 * * * * [points]: Setting MPFR precision to 64
0.404 * * * * [points]: Setting MPFR precision to 320
0.407 * * * * [points]: Computing exacts on every 2 of 139 points to ramp up precision
0.412 * * * * [points]: Setting MPFR precision to 64
0.416 * * * * [points]: Setting MPFR precision to 320
0.421 * * * * [points]: Computing exacts for 139 points
0.427 * * * * [points]: Setting MPFR precision to 64
0.444 * * * * [points]: Setting MPFR precision to 320
0.463 * * * * [points]: Filtering points with unrepresentable outputs
0.463 * * * * [points]: Sampling 130 additional inputs, on iter 6 have 126 / 256
0.464 * * * * [points]: Computing exacts on every 8 of 130 points to ramp up precision
0.471 * * * * [points]: Setting MPFR precision to 64
0.508 * * * * [points]: Setting MPFR precision to 320
0.510 * * * * [points]: Computing exacts on every 4 of 130 points to ramp up precision
0.519 * * * * [points]: Setting MPFR precision to 64
0.523 * * * * [points]: Setting MPFR precision to 320
0.526 * * * * [points]: Computing exacts on every 2 of 130 points to ramp up precision
0.533 * * * * [points]: Setting MPFR precision to 64
0.538 * * * * [points]: Setting MPFR precision to 320
0.544 * * * * [points]: Computing exacts for 130 points
0.551 * * * * [points]: Setting MPFR precision to 64
0.569 * * * * [points]: Setting MPFR precision to 320
0.586 * * * * [points]: Filtering points with unrepresentable outputs
0.586 * * * * [points]: Sampling 112 additional inputs, on iter 7 have 144 / 256
0.587 * * * * [points]: Computing exacts on every 7 of 112 points to ramp up precision
0.591 * * * * [points]: Setting MPFR precision to 64
0.592 * * * * [points]: Setting MPFR precision to 320
0.593 * * * * [points]: Computing exacts on every 3 of 112 points to ramp up precision
0.597 * * * * [points]: Setting MPFR precision to 64
0.599 * * * * [points]: Setting MPFR precision to 320
0.601 * * * * [points]: Computing exacts for 112 points
0.605 * * * * [points]: Setting MPFR precision to 64
0.613 * * * * [points]: Setting MPFR precision to 320
0.621 * * * * [points]: Filtering points with unrepresentable outputs
0.621 * * * * [points]: Sampling 99 additional inputs, on iter 8 have 157 / 256
0.622 * * * * [points]: Computing exacts on every 6 of 99 points to ramp up precision
0.625 * * * * [points]: Setting MPFR precision to 64
0.626 * * * * [points]: Setting MPFR precision to 320
0.627 * * * * [points]: Computing exacts on every 3 of 99 points to ramp up precision
0.631 * * * * [points]: Setting MPFR precision to 64
0.633 * * * * [points]: Setting MPFR precision to 320
0.634 * * * * [points]: Computing exacts for 99 points
0.665 * * * * [points]: Setting MPFR precision to 64
0.681 * * * * [points]: Setting MPFR precision to 320
0.694 * * * * [points]: Filtering points with unrepresentable outputs
0.694 * * * * [points]: Sampling 89 additional inputs, on iter 9 have 167 / 256
0.695 * * * * [points]: Computing exacts on every 5 of 89 points to ramp up precision
0.701 * * * * [points]: Setting MPFR precision to 64
0.703 * * * * [points]: Setting MPFR precision to 320
0.705 * * * * [points]: Computing exacts on every 2 of 89 points to ramp up precision
0.712 * * * * [points]: Setting MPFR precision to 64
0.716 * * * * [points]: Setting MPFR precision to 320
0.720 * * * * [points]: Computing exacts for 89 points
0.726 * * * * [points]: Setting MPFR precision to 64
0.738 * * * * [points]: Setting MPFR precision to 320
0.751 * * * * [points]: Filtering points with unrepresentable outputs
0.751 * * * * [points]: Sampling 83 additional inputs, on iter 10 have 173 / 256
0.751 * * * * [points]: Computing exacts on every 5 of 83 points to ramp up precision
0.758 * * * * [points]: Setting MPFR precision to 64
0.760 * * * * [points]: Setting MPFR precision to 320
0.761 * * * * [points]: Computing exacts on every 2 of 83 points to ramp up precision
0.768 * * * * [points]: Setting MPFR precision to 64
0.771 * * * * [points]: Setting MPFR precision to 320
0.775 * * * * [points]: Computing exacts for 83 points
0.782 * * * * [points]: Setting MPFR precision to 64
0.792 * * * * [points]: Setting MPFR precision to 320
0.803 * * * * [points]: Filtering points with unrepresentable outputs
0.803 * * * * [points]: Sampling 74 additional inputs, on iter 11 have 182 / 256
0.804 * * * * [points]: Computing exacts on every 4 of 74 points to ramp up precision
0.811 * * * * [points]: Setting MPFR precision to 64
0.813 * * * * [points]: Setting MPFR precision to 320
0.814 * * * * [points]: Computing exacts on every 2 of 74 points to ramp up precision
0.817 * * * * [points]: Setting MPFR precision to 64
0.819 * * * * [points]: Setting MPFR precision to 320
0.821 * * * * [points]: Computing exacts for 74 points
0.844 * * * * [points]: Setting MPFR precision to 64
0.850 * * * * [points]: Setting MPFR precision to 320
0.856 * * * * [points]: Filtering points with unrepresentable outputs
0.856 * * * * [points]: Sampling 68 additional inputs, on iter 12 have 188 / 256
0.856 * * * * [points]: Computing exacts on every 4 of 68 points to ramp up precision
0.859 * * * * [points]: Setting MPFR precision to 64
0.860 * * * * [points]: Setting MPFR precision to 320
0.861 * * * * [points]: Computing exacts on every 2 of 68 points to ramp up precision
0.865 * * * * [points]: Setting MPFR precision to 64
0.867 * * * * [points]: Setting MPFR precision to 320
0.868 * * * * [points]: Computing exacts for 68 points
0.871 * * * * [points]: Setting MPFR precision to 64
0.876 * * * * [points]: Setting MPFR precision to 320
0.881 * * * * [points]: Filtering points with unrepresentable outputs
0.881 * * * * [points]: Sampling 58 additional inputs, on iter 13 have 198 / 256
0.882 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
0.885 * * * * [points]: Setting MPFR precision to 64
0.886 * * * * [points]: Setting MPFR precision to 320
0.887 * * * * [points]: Computing exacts for 58 points
0.891 * * * * [points]: Setting MPFR precision to 64
0.896 * * * * [points]: Setting MPFR precision to 320
0.900 * * * * [points]: Filtering points with unrepresentable outputs
0.900 * * * * [points]: Sampling 49 additional inputs, on iter 14 have 207 / 256
0.900 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
0.904 * * * * [points]: Setting MPFR precision to 64
0.905 * * * * [points]: Setting MPFR precision to 320
0.905 * * * * [points]: Computing exacts for 49 points
0.909 * * * * [points]: Setting MPFR precision to 64
0.912 * * * * [points]: Setting MPFR precision to 320
0.916 * * * * [points]: Filtering points with unrepresentable outputs
0.916 * * * * [points]: Sampling 42 additional inputs, on iter 15 have 214 / 256
0.916 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
0.920 * * * * [points]: Setting MPFR precision to 64
0.921 * * * * [points]: Setting MPFR precision to 320
0.922 * * * * [points]: Computing exacts for 42 points
0.925 * * * * [points]: Setting MPFR precision to 64
0.928 * * * * [points]: Setting MPFR precision to 320
0.931 * * * * [points]: Filtering points with unrepresentable outputs
0.931 * * * * [points]: Sampling 36 additional inputs, on iter 16 have 220 / 256
0.931 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
0.956 * * * * [points]: Setting MPFR precision to 64
0.957 * * * * [points]: Setting MPFR precision to 320
0.958 * * * * [points]: Computing exacts for 36 points
0.961 * * * * [points]: Setting MPFR precision to 64
0.966 * * * * [points]: Setting MPFR precision to 320
0.968 * * * * [points]: Filtering points with unrepresentable outputs
0.968 * * * * [points]: Sampling 33 additional inputs, on iter 17 have 223 / 256
0.969 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
0.972 * * * * [points]: Setting MPFR precision to 64
0.973 * * * * [points]: Setting MPFR precision to 320
0.974 * * * * [points]: Computing exacts for 33 points
0.977 * * * * [points]: Setting MPFR precision to 64
0.980 * * * * [points]: Setting MPFR precision to 320
0.982 * * * * [points]: Filtering points with unrepresentable outputs
0.982 * * * * [points]: Sampling 31 additional inputs, on iter 18 have 225 / 256
0.982 * * * * [points]: Computing exacts for 31 points
0.986 * * * * [points]: Setting MPFR precision to 64
0.989 * * * * [points]: Setting MPFR precision to 320
0.992 * * * * [points]: Filtering points with unrepresentable outputs
0.992 * * * * [points]: Sampling 24 additional inputs, on iter 19 have 232 / 256
0.992 * * * * [points]: Computing exacts for 24 points
0.996 * * * * [points]: Setting MPFR precision to 64
0.997 * * * * [points]: Setting MPFR precision to 320
0.999 * * * * [points]: Filtering points with unrepresentable outputs
0.999 * * * * [points]: Sampling 20 additional inputs, on iter 20 have 236 / 256
0.999 * * * * [points]: Computing exacts for 20 points
1.003 * * * * [points]: Setting MPFR precision to 64
1.005 * * * * [points]: Setting MPFR precision to 320
1.006 * * * * [points]: Filtering points with unrepresentable outputs
1.006 * * * * [points]: Sampling 19 additional inputs, on iter 21 have 237 / 256
1.006 * * * * [points]: Computing exacts for 19 points
1.010 * * * * [points]: Setting MPFR precision to 64
1.011 * * * * [points]: Setting MPFR precision to 320
1.013 * * * * [points]: Filtering points with unrepresentable outputs
1.013 * * * * [points]: Sampling 17 additional inputs, on iter 22 have 239 / 256
1.013 * * * * [points]: Computing exacts for 17 points
1.016 * * * * [points]: Setting MPFR precision to 64
1.018 * * * * [points]: Setting MPFR precision to 320
1.019 * * * * [points]: Filtering points with unrepresentable outputs
1.019 * * * * [points]: Sampling 15 additional inputs, on iter 23 have 241 / 256
1.019 * * * * [points]: Computing exacts for 15 points
1.022 * * * * [points]: Setting MPFR precision to 64
1.024 * * * * [points]: Setting MPFR precision to 320
1.025 * * * * [points]: Filtering points with unrepresentable outputs
1.025 * * * * [points]: Sampling 14 additional inputs, on iter 24 have 242 / 256
1.025 * * * * [points]: Computing exacts for 14 points
1.028 * * * * [points]: Setting MPFR precision to 64
1.029 * * * * [points]: Setting MPFR precision to 320
1.030 * * * * [points]: Filtering points with unrepresentable outputs
1.030 * * * * [points]: Sampling 13 additional inputs, on iter 25 have 243 / 256
1.030 * * * * [points]: Computing exacts for 13 points
1.034 * * * * [points]: Setting MPFR precision to 64
1.036 * * * * [points]: Setting MPFR precision to 320
1.037 * * * * [points]: Filtering points with unrepresentable outputs
1.037 * * * * [points]: Sampling 11 additional inputs, on iter 26 have 245 / 256
1.038 * * * * [points]: Computing exacts for 11 points
1.061 * * * * [points]: Setting MPFR precision to 64
1.062 * * * * [points]: Setting MPFR precision to 320
1.064 * * * * [points]: Filtering points with unrepresentable outputs
1.064 * * * * [points]: Sampling 10 additional inputs, on iter 27 have 246 / 256
1.064 * * * * [points]: Computing exacts for 10 points
1.073 * * * * [points]: Setting MPFR precision to 64
1.074 * * * * [points]: Setting MPFR precision to 320
1.075 * * * * [points]: Filtering points with unrepresentable outputs
1.075 * * * * [points]: Sampling 7 additional inputs, on iter 28 have 249 / 256
1.075 * * * * [points]: Computing exacts for 7 points
1.080 * * * * [points]: Setting MPFR precision to 64
1.081 * * * * [points]: Setting MPFR precision to 320
1.082 * * * * [points]: Filtering points with unrepresentable outputs
1.082 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 252 / 256
1.082 * * * * [points]: Computing exacts for 4 points
1.088 * * * * [points]: Setting MPFR precision to 64
1.088 * * * * [points]: Setting MPFR precision to 320
1.088 * * * * [points]: Filtering points with unrepresentable outputs
1.088 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 252 / 256
1.088 * * * * [points]: Computing exacts for 4 points
1.092 * * * * [points]: Setting MPFR precision to 64
1.092 * * * * [points]: Setting MPFR precision to 320
1.093 * * * * [points]: Filtering points with unrepresentable outputs
1.093 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 253 / 256
1.093 * * * * [points]: Computing exacts for 4 points
1.096 * * * * [points]: Setting MPFR precision to 64
1.096 * * * * [points]: Setting MPFR precision to 320
1.097 * * * * [points]: Filtering points with unrepresentable outputs
1.097 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 253 / 256
1.097 * * * * [points]: Computing exacts for 4 points
1.100 * * * * [points]: Setting MPFR precision to 64
1.101 * * * * [points]: Setting MPFR precision to 320
1.101 * * * * [points]: Filtering points with unrepresentable outputs
1.101 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 253 / 256
1.101 * * * * [points]: Computing exacts for 4 points
1.104 * * * * [points]: Setting MPFR precision to 64
1.105 * * * * [points]: Setting MPFR precision to 320
1.105 * * * * [points]: Filtering points with unrepresentable outputs
1.105 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 254 / 256
1.105 * * * * [points]: Computing exacts for 4 points
1.109 * * * * [points]: Setting MPFR precision to 64
1.109 * * * * [points]: Setting MPFR precision to 320
1.109 * * * * [points]: Filtering points with unrepresentable outputs
1.109 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 254 / 256
1.109 * * * * [points]: Computing exacts for 4 points
1.113 * * * * [points]: Setting MPFR precision to 64
1.113 * * * * [points]: Setting MPFR precision to 320
1.114 * * * * [points]: Filtering points with unrepresentable outputs
1.114 * * * * [points]: Sampling 4 additional inputs, on iter 36 have 254 / 256
1.114 * * * * [points]: Computing exacts for 4 points
1.117 * * * * [points]: Setting MPFR precision to 64
1.117 * * * * [points]: Setting MPFR precision to 320
1.118 * * * * [points]: Filtering points with unrepresentable outputs
1.118 * * * * [points]: Sampled 256 points with exact outputs
1.118 * * * [progress]: [2/2] Setting up program.
1.129 * [progress]: [Phase 2 of 3] Improving.
1.130 * * * * [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.130 * [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.130 * * [simplify]: iteration 1: (15 enodes)
1.138 * * [simplify]: iteration 2: (54 enodes)
1.158 * * [simplify]: iteration 3: (174 enodes)
1.280 * * [simplify]: iteration 4: (1021 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 174 inf + 0
3.503 * * [simplify]: Extracting #3: cost 1342 inf + 0
3.520 * * [simplify]: Extracting #4: cost 2271 inf + 691
3.545 * * [simplify]: Extracting #5: cost 2231 inf + 82476
3.651 * * [simplify]: Extracting #6: cost 1375 inf + 1509565
4.077 * * [simplify]: Extracting #7: cost 86 inf + 4121745
4.458 * * [simplify]: Extracting #8: cost 0 inf + 3944289
4.758 * * [simplify]: Extracting #9: cost 0 inf + 3923289
5.206 * [simplify]: Simplified to:
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)))
5.218 * * [progress]: iteration 1 / 4
5.219 * * * [progress]: picking best candidate
5.230 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.230 * * * [progress]: localizing error
5.643 * * * [progress]: generating rewritten candidates
5.643 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
5.694 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
5.751 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
5.801 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
5.867 * * * [progress]: generating series expansions
5.867 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
5.867 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
5.867 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
5.867 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
5.867 * * * [progress]: simplifying candidates
5.867 * * * * [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)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
5.867 * * * * [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 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.867 * * * * [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)) (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))))>
5.867 * * * * [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 (+.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.868 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.868 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.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.868 * * * * [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))))>
5.868 * * * * [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))))>
5.868 * * * * [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))))>
5.868 * * * * [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))))>
5.868 * * * * [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))))>
5.868 * * * * [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))))>
5.868 * * * * [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))))>
5.868 * * * * [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))))>
5.868 * * * * [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))))>
5.869 * [simplify]: Simplifying:
  (neg.p16 c)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
  (neg.p16 a)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
  (neg.p16 b)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
  (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))
  (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))
  (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))
  (*.p16 (neg.p16 a) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))
  (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))
  (*.p16 (+.p16 (+.p16 a b) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
  (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
  (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
  (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
  (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
5.869 * * [simplify]: iteration 1: (32 enodes)
5.882 * * [simplify]: iteration 2: (94 enodes)
5.914 * * [simplify]: iteration 3: (342 enodes)
6.118 * * [simplify]: Extracting #0: cost 14 inf + 0
6.118 * * [simplify]: Extracting #1: cost 137 inf + 0
6.119 * * [simplify]: Extracting #2: cost 399 inf + 84
6.126 * * [simplify]: Extracting #3: cost 450 inf + 144269
6.552 * * [simplify]: Extracting #4: cost 212 inf + 654916
6.631 * * [simplify]: Extracting #5: cost 2 inf + 1009966
6.713 * * [simplify]: Extracting #6: cost 0 inf + 1014334
6.778 * [simplify]: Simplified to:
  (neg.p16 c)
  (*.p16 (+.p16 c (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) c))
  (+.p16 c (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)))
  (neg.p16 a)
  (*.p16 (+.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a))
  (+.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)
  (neg.p16 b)
  (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b) (+.p16 b (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))))
  (+.p16 b (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)))
  (*.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)))
  (*.p16 (/.p16 (neg.p16 a) (real->posit16 2)) (+.p16 c (+.p16 a b)))
  (*.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)))
  (*.p16 (/.p16 (neg.p16 a) (real->posit16 2)) (+.p16 c (+.p16 a b)))
  (*.p16 (+.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))))
  (*.p16 (+.p16 c (+.p16 a b)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a))
  (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))))))
  (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))))))
  (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))))))
  (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a) (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2))))))
6.779 * * * [progress]: adding candidates to table
7.377 * * [progress]: iteration 2 / 4
7.377 * * * [progress]: picking best candidate
7.415 * * * * [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))))>
7.415 * * * [progress]: localizing error
7.797 * * * [progress]: generating rewritten candidates
7.798 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
7.944 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
7.983 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
7.988 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
8.030 * * * [progress]: generating series expansions
8.030 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
8.030 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
8.030 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
8.030 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
8.030 * * * [progress]: simplifying candidates
8.030 * * * * [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))))>
8.030 * * * * [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))))>
8.030 * * * * [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))))>
8.030 * * * * [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)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
8.031 * * * * [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 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
8.031 * * * * [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)) 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.031 * * * * [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))) (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))))>
8.031 * * * * [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 (+.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))))>
8.031 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.031 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
8.031 * * * * [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))))>
8.031 * * * * [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))))>
8.031 * * * * [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))))>
8.031 * * * * [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))))>
8.032 * [simplify]: Simplifying:
  (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))
  (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))
  (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (real->posit16 2))
  (neg.p16 c)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
  (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
  (neg.p16 (*.p16 a a))
  (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))
  (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))
  (neg.p16 b)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
  (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))
  (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))
  (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))
  (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))
8.033 * * [simplify]: iteration 1: (30 enodes)
8.047 * * [simplify]: iteration 2: (98 enodes)
8.087 * * [simplify]: iteration 3: (309 enodes)
8.233 * * [simplify]: iteration 4: (1376 enodes)
10.787 * * [simplify]: Extracting #0: cost 15 inf + 0
10.789 * * [simplify]: Extracting #1: cost 430 inf + 0
10.800 * * [simplify]: Extracting #2: cost 2042 inf + 3212
10.820 * * [simplify]: Extracting #3: cost 2796 inf + 18096
10.886 * * [simplify]: Extracting #4: cost 2604 inf + 627892
11.205 * * [simplify]: Extracting #5: cost 918 inf + 4573431
11.752 * * [simplify]: Extracting #6: cost 28 inf + 6329461
12.262 * * [simplify]: Extracting #7: cost 0 inf + 6003144
12.819 * * [simplify]: Extracting #8: cost 0 inf + 5965023
13.416 * * [simplify]: Extracting #9: cost 0 inf + 5964143
13.894 * [simplify]: Simplified to:
  (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))
  (*.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))))
  (*.p16 (real->posit16 2) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
  (neg.p16 c)
  (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c))
  (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
  (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
  (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)
  (neg.p16 (*.p16 a a))
  (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (*.p16 a a)) (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))))
  (+.p16 (*.p16 a a) (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
  (neg.p16 b)
  (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b))
  (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
  (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (*.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
  (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (*.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
  (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (*.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
  (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (*.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
13.896 * * * [progress]: adding candidates to table
14.335 * * [progress]: iteration 3 / 4
14.335 * * * [progress]: picking best candidate
14.453 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
14.453 * * * [progress]: localizing error
14.810 * * * [progress]: generating rewritten candidates
14.810 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
14.868 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 2)
14.891 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
14.944 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
14.972 * * * [progress]: generating series expansions
14.972 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
14.972 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 2)
14.972 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
14.972 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
14.972 * * * [progress]: simplifying candidates
14.972 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
14.972 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.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)))))>
14.973 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (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))))>
14.973 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (*.p16 a a)) (+.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))))>
14.973 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
14.973 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.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))))>
14.973 * * * * [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 (real->posit16 1.0) (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (*.p16 a a)))) (+.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))))>
14.973 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (real->posit16 1.0)) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
14.973 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (*.p16 (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (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))))>
14.973 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
14.973 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
14.973 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
14.973 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
14.973 * [simplify]: Simplifying:
  (neg.p16 c)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
  (neg.p16 a)
  (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (*.p16 a a))
  (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)
  (neg.p16 b)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
  (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (*.p16 a a))))
  (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (real->posit16 1.0))
  (*.p16 (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (real->posit16 2))
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (real->posit16 1.0) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
14.974 * * [simplify]: iteration 1: (39 enodes)
14.984 * * [simplify]: iteration 2: (109 enodes)
15.006 * * [simplify]: iteration 3: (468 enodes)
15.314 * * [simplify]: Extracting #0: cost 13 inf + 0
15.315 * * [simplify]: Extracting #1: cost 129 inf + 0
15.316 * * [simplify]: Extracting #2: cost 402 inf + 1208
15.318 * * [simplify]: Extracting #3: cost 628 inf + 12802
15.324 * * [simplify]: Extracting #4: cost 617 inf + 108848
15.369 * * [simplify]: Extracting #5: cost 295 inf + 534261
15.461 * * [simplify]: Extracting #6: cost 35 inf + 973163
15.533 * * [simplify]: Extracting #7: cost 2 inf + 1049662
15.608 * * [simplify]: Extracting #8: cost 0 inf + 1053551
15.673 * * [simplify]: Extracting #9: cost 0 inf + 1053471
15.738 * [simplify]: Simplified to:
  (neg.p16 c)
  (*.p16 (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c))
  (+.p16 c (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))
  (neg.p16 a)
  (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))
  (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)
  (neg.p16 b)
  (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b) (+.p16 b (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))))
  (+.p16 b (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)))
  (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))
  (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))
  (/.p16 (real->posit16 2) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))
  (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c))))
  (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c))))
  (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c))))
  (sqrt.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a) (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) b) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c))))
15.742 * * * [progress]: adding candidates to table
16.444 * * [progress]: iteration 4 / 4
16.444 * * * [progress]: picking best candidate
16.554 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.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))))>
16.554 * * * [progress]: localizing error
17.097 * * * [progress]: generating rewritten candidates
17.098 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
17.138 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
17.182 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 2)
17.234 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
17.274 * * * [progress]: generating series expansions
17.274 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
17.274 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
17.274 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 2)
17.274 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
17.274 * * * [progress]: simplifying candidates
17.274 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (/.p16 (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.274 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (*.p16 (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.274 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (+.p16 (+.p16 c b) a) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (*.p16 (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.275 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.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)) (neg.p16 c)))))>
17.275 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.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 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
17.275 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (neg.p16 a))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.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))))>
17.275 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.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))))>
17.275 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.275 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
17.275 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.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))))>
17.275 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.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))))>
17.275 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.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))))>
17.275 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.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))))>
17.275 * [simplify]: Simplifying:
  (/.p16 (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))
  (*.p16 (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))
  (*.p16 (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (real->posit16 2))
  (neg.p16 c)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
  (neg.p16 a)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (*.p16 a a))
  (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)
  (neg.p16 b)
  (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))
  (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.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)))
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.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)))
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.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)))
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.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)))
17.276 * * [simplify]: iteration 1: (40 enodes)
17.285 * * [simplify]: iteration 2: (121 enodes)
17.331 * * [simplify]: iteration 3: (533 enodes)
17.902 * * [simplify]: Extracting #0: cost 13 inf + 0
17.902 * * [simplify]: Extracting #1: cost 98 inf + 0
17.904 * * [simplify]: Extracting #2: cost 406 inf + 1127
17.908 * * [simplify]: Extracting #3: cost 702 inf + 10028
17.935 * * [simplify]: Extracting #4: cost 591 inf + 322626
18.042 * * [simplify]: Extracting #5: cost 61 inf + 1111423
18.173 * * [simplify]: Extracting #6: cost 0 inf + 1201545
18.288 * [simplify]: Simplified to:
  (/.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
  (*.p16 (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
  (*.p16 (real->posit16 2) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
  (neg.p16 c)
  (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c))
  (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c)
  (neg.p16 a)
  (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))
  (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
  (neg.p16 b)
  (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b))
  (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
  (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)))
  (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)))
  (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)))
  (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) c) (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)))
18.290 * * * [progress]: adding candidates to table
18.826 * [progress]: [Phase 3 of 3] Extracting.
18.826 * * [regime]: Finding splitpoints for: (#<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))))> #<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))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.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))))>)
18.835 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
18.835 * * * * [regimes]: Trying to branch on c from (#<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))))> #<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))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.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))))>)
18.979 * * * * [regimes]: Trying to branch on b from (#<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))))> #<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))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.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))))>)
19.106 * * * * [regimes]: Trying to branch on a from (#<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))))> #<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))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.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))))>)
19.270 * * * [regime]: Found split indices: #<option (#s(si 4 256))>
19.271 * [simplify]: Simplifying:
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.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)))
19.271 * * [simplify]: iteration 1: (27 enodes)
19.275 * * [simplify]: Extracting #0: cost 1 inf + 0
19.275 * * [simplify]: Extracting #1: cost 2 inf + 0
19.275 * * [simplify]: Extracting #2: cost 4 inf + 0
19.275 * * [simplify]: Extracting #3: cost 8 inf + 0
19.275 * * [simplify]: Extracting #4: cost 12 inf + 1
19.275 * * [simplify]: Extracting #5: cost 17 inf + 2
19.275 * * [simplify]: Extracting #6: cost 18 inf + 4
19.275 * * [simplify]: Extracting #7: cost 18 inf + 130
19.275 * * [simplify]: Extracting #8: cost 14 inf + 1990
19.276 * * [simplify]: Extracting #9: cost 7 inf + 6378
19.276 * * [simplify]: Extracting #10: cost 4 inf + 13110
19.277 * * [simplify]: Extracting #11: cost 3 inf + 16154
19.277 * * [simplify]: Extracting #12: cost 1 inf + 24482
19.278 * * [simplify]: Extracting #13: cost 0 inf + 28886
19.279 * [simplify]: Simplified to:
  (sqrt.p16 (*.p16 (*.p16 (/.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (*.p16 (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a) (+.p16 a (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) a)) (+.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)))
19.280 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
19.317 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
19.321 * * * * [points]: Setting MPFR precision to 64
19.322 * * * * [points]: Setting MPFR precision to 320
19.323 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
19.327 * * * * [points]: Setting MPFR precision to 64
19.330 * * * * [points]: Setting MPFR precision to 320
19.332 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
19.336 * * * * [points]: Setting MPFR precision to 64
19.340 * * * * [points]: Setting MPFR precision to 320
19.345 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
19.348 * * * * [points]: Setting MPFR precision to 64
19.357 * * * * [points]: Setting MPFR precision to 320
19.368 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
19.372 * * * * [points]: Setting MPFR precision to 64
19.389 * * * * [points]: Setting MPFR precision to 320
19.437 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
19.440 * * * * [points]: Setting MPFR precision to 64
19.477 * * * * [points]: Setting MPFR precision to 320
19.514 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
19.517 * * * * [points]: Setting MPFR precision to 64
19.626 * * * * [points]: Setting MPFR precision to 320
19.701 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
19.740 * * * * [points]: Setting MPFR precision to 64
19.929 * * * * [points]: Setting MPFR precision to 320
20.110 * * * * [points]: Computing exacts for 8000 points
20.114 * * * * [points]: Setting MPFR precision to 64
21.562 * * * * [points]: Setting MPFR precision to 320
22.574 * * * * [points]: Filtering points with unrepresentable outputs
22.605 * * * * [points]: Sampling 6996 additional inputs, on iter 1 have 1004 / 8000
22.638 * * * * [points]: Computing exacts on every 437 of 6996 points to ramp up precision
22.643 * * * * [points]: Setting MPFR precision to 64
22.645 * * * * [points]: Setting MPFR precision to 320
22.647 * * * * [points]: Computing exacts on every 218 of 6996 points to ramp up precision
22.653 * * * * [points]: Setting MPFR precision to 64
22.657 * * * * [points]: Setting MPFR precision to 320
22.662 * * * * [points]: Computing exacts on every 109 of 6996 points to ramp up precision
22.669 * * * * [points]: Setting MPFR precision to 64
22.677 * * * * [points]: Setting MPFR precision to 320
22.686 * * * * [points]: Computing exacts on every 54 of 6996 points to ramp up precision
22.692 * * * * [points]: Setting MPFR precision to 64
22.709 * * * * [points]: Setting MPFR precision to 320
22.725 * * * * [points]: Computing exacts on every 27 of 6996 points to ramp up precision
22.732 * * * * [points]: Setting MPFR precision to 64
22.763 * * * * [points]: Setting MPFR precision to 320
22.832 * * * * [points]: Computing exacts on every 13 of 6996 points to ramp up precision
22.839 * * * * [points]: Setting MPFR precision to 64
22.905 * * * * [points]: Setting MPFR precision to 320
22.947 * * * * [points]: Computing exacts on every 6 of 6996 points to ramp up precision
22.954 * * * * [points]: Setting MPFR precision to 64
23.130 * * * * [points]: Setting MPFR precision to 320
23.234 * * * * [points]: Computing exacts on every 3 of 6996 points to ramp up precision
23.290 * * * * [points]: Setting MPFR precision to 64
23.547 * * * * [points]: Setting MPFR precision to 320
23.780 * * * * [points]: Computing exacts for 6996 points
23.785 * * * * [points]: Setting MPFR precision to 64
25.184 * * * * [points]: Setting MPFR precision to 320
25.964 * * * * [points]: Filtering points with unrepresentable outputs
25.967 * * * * [points]: Sampling 6121 additional inputs, on iter 2 have 1879 / 8000
25.995 * * * * [points]: Computing exacts on every 382 of 6121 points to ramp up precision
25.998 * * * * [points]: Setting MPFR precision to 64
26.000 * * * * [points]: Setting MPFR precision to 320
26.001 * * * * [points]: Computing exacts on every 191 of 6121 points to ramp up precision
26.004 * * * * [points]: Setting MPFR precision to 64
26.007 * * * * [points]: Setting MPFR precision to 320
26.009 * * * * [points]: Computing exacts on every 95 of 6121 points to ramp up precision
26.013 * * * * [points]: Setting MPFR precision to 64
26.017 * * * * [points]: Setting MPFR precision to 320
26.022 * * * * [points]: Computing exacts on every 47 of 6121 points to ramp up precision
26.026 * * * * [points]: Setting MPFR precision to 64
26.035 * * * * [points]: Setting MPFR precision to 320
26.067 * * * * [points]: Computing exacts on every 23 of 6121 points to ramp up precision
26.071 * * * * [points]: Setting MPFR precision to 64
26.106 * * * * [points]: Setting MPFR precision to 320
26.138 * * * * [points]: Computing exacts on every 11 of 6121 points to ramp up precision
26.145 * * * * [points]: Setting MPFR precision to 64
26.207 * * * * [points]: Setting MPFR precision to 320
26.313 * * * * [points]: Computing exacts on every 5 of 6121 points to ramp up precision
26.324 * * * * [points]: Setting MPFR precision to 64
26.426 * * * * [points]: Setting MPFR precision to 320
26.598 * * * * [points]: Computing exacts on every 2 of 6121 points to ramp up precision
26.605 * * * * [points]: Setting MPFR precision to 64
26.911 * * * * [points]: Setting MPFR precision to 320
27.113 * * * * [points]: Computing exacts for 6121 points
27.147 * * * * [points]: Setting MPFR precision to 64
28.282 * * * * [points]: Setting MPFR precision to 320
29.175 * * * * [points]: Filtering points with unrepresentable outputs
29.177 * * * * [points]: Sampling 5341 additional inputs, on iter 3 have 2659 / 8000
29.239 * * * * [points]: Computing exacts on every 333 of 5341 points to ramp up precision
29.246 * * * * [points]: Setting MPFR precision to 64
29.249 * * * * [points]: Setting MPFR precision to 320
29.251 * * * * [points]: Computing exacts on every 166 of 5341 points to ramp up precision
29.258 * * * * [points]: Setting MPFR precision to 64
29.263 * * * * [points]: Setting MPFR precision to 320
29.267 * * * * [points]: Computing exacts on every 83 of 5341 points to ramp up precision
29.273 * * * * [points]: Setting MPFR precision to 64
29.281 * * * * [points]: Setting MPFR precision to 320
29.289 * * * * [points]: Computing exacts on every 41 of 5341 points to ramp up precision
29.297 * * * * [points]: Setting MPFR precision to 64
29.313 * * * * [points]: Setting MPFR precision to 320
29.325 * * * * [points]: Computing exacts on every 20 of 5341 points to ramp up precision
29.329 * * * * [points]: Setting MPFR precision to 64
29.347 * * * * [points]: Setting MPFR precision to 320
29.366 * * * * [points]: Computing exacts on every 10 of 5341 points to ramp up precision
29.394 * * * * [points]: Setting MPFR precision to 64
29.431 * * * * [points]: Setting MPFR precision to 320
29.467 * * * * [points]: Computing exacts on every 5 of 5341 points to ramp up precision
29.470 * * * * [points]: Setting MPFR precision to 64
29.573 * * * * [points]: Setting MPFR precision to 320
29.653 * * * * [points]: Computing exacts on every 2 of 5341 points to ramp up precision
29.660 * * * * [points]: Setting MPFR precision to 64
29.906 * * * * [points]: Setting MPFR precision to 320
30.178 * * * * [points]: Computing exacts for 5341 points
30.188 * * * * [points]: Setting MPFR precision to 64
31.264 * * * * [points]: Setting MPFR precision to 320
31.880 * * * * [points]: Filtering points with unrepresentable outputs
31.882 * * * * [points]: Sampling 4693 additional inputs, on iter 4 have 3307 / 8000
31.929 * * * * [points]: Computing exacts on every 293 of 4693 points to ramp up precision
31.933 * * * * [points]: Setting MPFR precision to 64
31.934 * * * * [points]: Setting MPFR precision to 320
31.937 * * * * [points]: Computing exacts on every 146 of 4693 points to ramp up precision
31.940 * * * * [points]: Setting MPFR precision to 64
31.943 * * * * [points]: Setting MPFR precision to 320
31.945 * * * * [points]: Computing exacts on every 73 of 4693 points to ramp up precision
31.949 * * * * [points]: Setting MPFR precision to 64
31.953 * * * * [points]: Setting MPFR precision to 320
31.958 * * * * [points]: Computing exacts on every 36 of 4693 points to ramp up precision
31.962 * * * * [points]: Setting MPFR precision to 64
31.971 * * * * [points]: Setting MPFR precision to 320
31.980 * * * * [points]: Computing exacts on every 18 of 4693 points to ramp up precision
31.985 * * * * [points]: Setting MPFR precision to 64
32.004 * * * * [points]: Setting MPFR precision to 320
32.021 * * * * [points]: Computing exacts on every 9 of 4693 points to ramp up precision
32.028 * * * * [points]: Setting MPFR precision to 64
32.127 * * * * [points]: Setting MPFR precision to 320
32.185 * * * * [points]: Computing exacts on every 4 of 4693 points to ramp up precision
32.193 * * * * [points]: Setting MPFR precision to 64
32.325 * * * * [points]: Setting MPFR precision to 320
32.404 * * * * [points]: Computing exacts on every 2 of 4693 points to ramp up precision
32.408 * * * * [points]: Setting MPFR precision to 64
32.569 * * * * [points]: Setting MPFR precision to 320
32.790 * * * * [points]: Computing exacts for 4693 points
32.794 * * * * [points]: Setting MPFR precision to 64
33.262 * * * * [points]: Setting MPFR precision to 320
33.994 * * * * [points]: Filtering points with unrepresentable outputs
33.999 * * * * [points]: Sampling 4081 additional inputs, on iter 5 have 3919 / 8000
34.031 * * * * [points]: Computing exacts on every 255 of 4081 points to ramp up precision
34.038 * * * * [points]: Setting MPFR precision to 64
34.040 * * * * [points]: Setting MPFR precision to 320
34.042 * * * * [points]: Computing exacts on every 127 of 4081 points to ramp up precision
34.049 * * * * [points]: Setting MPFR precision to 64
34.053 * * * * [points]: Setting MPFR precision to 320
34.518 * * * * [points]: Computing exacts on every 63 of 4081 points to ramp up precision
34.528 * * * * [points]: Setting MPFR precision to 64
34.537 * * * * [points]: Setting MPFR precision to 320
34.545 * * * * [points]: Computing exacts on every 31 of 4081 points to ramp up precision
34.552 * * * * [points]: Setting MPFR precision to 64
34.568 * * * * [points]: Setting MPFR precision to 320
34.584 * * * * [points]: Computing exacts on every 15 of 4081 points to ramp up precision
34.591 * * * * [points]: Setting MPFR precision to 64
34.616 * * * * [points]: Setting MPFR precision to 320
34.635 * * * * [points]: Computing exacts on every 7 of 4081 points to ramp up precision
34.639 * * * * [points]: Setting MPFR precision to 64
34.729 * * * * [points]: Setting MPFR precision to 320
34.766 * * * * [points]: Computing exacts on every 3 of 4081 points to ramp up precision
34.770 * * * * [points]: Setting MPFR precision to 64
34.946 * * * * [points]: Setting MPFR precision to 320
35.074 * * * * [points]: Computing exacts for 4081 points
35.082 * * * * [points]: Setting MPFR precision to 64
35.583 * * * * [points]: Setting MPFR precision to 320
36.053 * * * * [points]: Filtering points with unrepresentable outputs
36.057 * * * * [points]: Sampling 3538 additional inputs, on iter 6 have 4462 / 8000
36.085 * * * * [points]: Computing exacts on every 221 of 3538 points to ramp up precision
36.132 * * * * [points]: Setting MPFR precision to 64
36.135 * * * * [points]: Setting MPFR precision to 320
36.136 * * * * [points]: Computing exacts on every 110 of 3538 points to ramp up precision
36.147 * * * * [points]: Setting MPFR precision to 64
36.152 * * * * [points]: Setting MPFR precision to 320
36.156 * * * * [points]: Computing exacts on every 55 of 3538 points to ramp up precision
36.163 * * * * [points]: Setting MPFR precision to 64
36.171 * * * * [points]: Setting MPFR precision to 320
36.179 * * * * [points]: Computing exacts on every 27 of 3538 points to ramp up precision
36.186 * * * * [points]: Setting MPFR precision to 64
36.202 * * * * [points]: Setting MPFR precision to 320
36.218 * * * * [points]: Computing exacts on every 13 of 3538 points to ramp up precision
36.225 * * * * [points]: Setting MPFR precision to 64
36.257 * * * * [points]: Setting MPFR precision to 320
36.288 * * * * [points]: Computing exacts on every 6 of 3538 points to ramp up precision
36.295 * * * * [points]: Setting MPFR precision to 64
36.395 * * * * [points]: Setting MPFR precision to 320
36.458 * * * * [points]: Computing exacts on every 3 of 3538 points to ramp up precision
36.462 * * * * [points]: Setting MPFR precision to 64
36.591 * * * * [points]: Setting MPFR precision to 320
36.701 * * * * [points]: Computing exacts for 3538 points
36.709 * * * * [points]: Setting MPFR precision to 64
37.266 * * * * [points]: Setting MPFR precision to 320
38.220 * * * * [points]: Filtering points with unrepresentable outputs
38.221 * * * * [points]: Sampling 3105 additional inputs, on iter 7 have 4895 / 8000
38.236 * * * * [points]: Computing exacts on every 194 of 3105 points to ramp up precision
38.239 * * * * [points]: Setting MPFR precision to 64
38.240 * * * * [points]: Setting MPFR precision to 320
38.242 * * * * [points]: Computing exacts on every 97 of 3105 points to ramp up precision
38.245 * * * * [points]: Setting MPFR precision to 64
38.247 * * * * [points]: Setting MPFR precision to 320
38.250 * * * * [points]: Computing exacts on every 48 of 3105 points to ramp up precision
38.253 * * * * [points]: Setting MPFR precision to 64
38.258 * * * * [points]: Setting MPFR precision to 320
38.262 * * * * [points]: Computing exacts on every 24 of 3105 points to ramp up precision
38.265 * * * * [points]: Setting MPFR precision to 64
38.274 * * * * [points]: Setting MPFR precision to 320
38.283 * * * * [points]: Computing exacts on every 12 of 3105 points to ramp up precision
38.286 * * * * [points]: Setting MPFR precision to 64
38.304 * * * * [points]: Setting MPFR precision to 320
38.352 * * * * [points]: Computing exacts on every 6 of 3105 points to ramp up precision
38.356 * * * * [points]: Setting MPFR precision to 64
38.400 * * * * [points]: Setting MPFR precision to 320
38.433 * * * * [points]: Computing exacts on every 3 of 3105 points to ramp up precision
38.436 * * * * [points]: Setting MPFR precision to 64
38.548 * * * * [points]: Setting MPFR precision to 320
38.633 * * * * [points]: Computing exacts for 3105 points
38.637 * * * * [points]: Setting MPFR precision to 64
38.970 * * * * [points]: Setting MPFR precision to 320
39.376 * * * * [points]: Filtering points with unrepresentable outputs
39.379 * * * * [points]: Sampling 2747 additional inputs, on iter 8 have 5253 / 8000
39.400 * * * * [points]: Computing exacts on every 171 of 2747 points to ramp up precision
39.407 * * * * [points]: Setting MPFR precision to 64
39.409 * * * * [points]: Setting MPFR precision to 320
39.411 * * * * [points]: Computing exacts on every 85 of 2747 points to ramp up precision
39.418 * * * * [points]: Setting MPFR precision to 64
39.423 * * * * [points]: Setting MPFR precision to 320
39.427 * * * * [points]: Computing exacts on every 42 of 2747 points to ramp up precision
39.434 * * * * [points]: Setting MPFR precision to 64
39.442 * * * * [points]: Setting MPFR precision to 320
39.450 * * * * [points]: Computing exacts on every 21 of 2747 points to ramp up precision
39.497 * * * * [points]: Setting MPFR precision to 64
39.515 * * * * [points]: Setting MPFR precision to 320
39.526 * * * * [points]: Computing exacts on every 10 of 2747 points to ramp up precision
39.530 * * * * [points]: Setting MPFR precision to 64
39.548 * * * * [points]: Setting MPFR precision to 320
39.567 * * * * [points]: Computing exacts on every 5 of 2747 points to ramp up precision
39.570 * * * * [points]: Setting MPFR precision to 64
39.610 * * * * [points]: Setting MPFR precision to 320
39.688 * * * * [points]: Computing exacts on every 2 of 2747 points to ramp up precision
39.695 * * * * [points]: Setting MPFR precision to 64
39.784 * * * * [points]: Setting MPFR precision to 320
39.942 * * * * [points]: Computing exacts for 2747 points
39.946 * * * * [points]: Setting MPFR precision to 64
40.254 * * * * [points]: Setting MPFR precision to 320
40.610 * * * * [points]: Filtering points with unrepresentable outputs
40.613 * * * * [points]: Sampling 2417 additional inputs, on iter 9 have 5583 / 8000
40.631 * * * * [points]: Computing exacts on every 151 of 2417 points to ramp up precision
40.635 * * * * [points]: Setting MPFR precision to 64
40.636 * * * * [points]: Setting MPFR precision to 320
40.637 * * * * [points]: Computing exacts on every 75 of 2417 points to ramp up precision
40.672 * * * * [points]: Setting MPFR precision to 64
40.675 * * * * [points]: Setting MPFR precision to 320
40.678 * * * * [points]: Computing exacts on every 37 of 2417 points to ramp up precision
40.683 * * * * [points]: Setting MPFR precision to 64
40.688 * * * * [points]: Setting MPFR precision to 320
40.693 * * * * [points]: Computing exacts on every 18 of 2417 points to ramp up precision
40.696 * * * * [points]: Setting MPFR precision to 64
40.705 * * * * [points]: Setting MPFR precision to 320
40.715 * * * * [points]: Computing exacts on every 9 of 2417 points to ramp up precision
40.718 * * * * [points]: Setting MPFR precision to 64
40.735 * * * * [points]: Setting MPFR precision to 320
40.752 * * * * [points]: Computing exacts on every 4 of 2417 points to ramp up precision
40.756 * * * * [points]: Setting MPFR precision to 64
40.851 * * * * [points]: Setting MPFR precision to 320
40.915 * * * * [points]: Computing exacts on every 2 of 2417 points to ramp up precision
40.918 * * * * [points]: Setting MPFR precision to 64
40.979 * * * * [points]: Setting MPFR precision to 320
41.098 * * * * [points]: Computing exacts for 2417 points
41.105 * * * * [points]: Setting MPFR precision to 64
41.812 * * * * [points]: Setting MPFR precision to 320
42.111 * * * * [points]: Filtering points with unrepresentable outputs
42.112 * * * * [points]: Sampling 2105 additional inputs, on iter 10 have 5895 / 8000
42.121 * * * * [points]: Computing exacts on every 131 of 2105 points to ramp up precision
42.124 * * * * [points]: Setting MPFR precision to 64
42.126 * * * * [points]: Setting MPFR precision to 320
42.127 * * * * [points]: Computing exacts on every 65 of 2105 points to ramp up precision
42.130 * * * * [points]: Setting MPFR precision to 64
42.133 * * * * [points]: Setting MPFR precision to 320
42.135 * * * * [points]: Computing exacts on every 32 of 2105 points to ramp up precision
42.138 * * * * [points]: Setting MPFR precision to 64
42.143 * * * * [points]: Setting MPFR precision to 320
42.147 * * * * [points]: Computing exacts on every 16 of 2105 points to ramp up precision
42.151 * * * * [points]: Setting MPFR precision to 64
42.186 * * * * [points]: Setting MPFR precision to 320
42.203 * * * * [points]: Computing exacts on every 8 of 2105 points to ramp up precision
42.209 * * * * [points]: Setting MPFR precision to 64
42.238 * * * * [points]: Setting MPFR precision to 320
42.265 * * * * [points]: Computing exacts on every 4 of 2105 points to ramp up precision
42.269 * * * * [points]: Setting MPFR precision to 64
42.298 * * * * [points]: Setting MPFR precision to 320
42.378 * * * * [points]: Computing exacts on every 2 of 2105 points to ramp up precision
42.389 * * * * [points]: Setting MPFR precision to 64
42.476 * * * * [points]: Setting MPFR precision to 320
42.569 * * * * [points]: Computing exacts for 2105 points
42.576 * * * * [points]: Setting MPFR precision to 64
42.957 * * * * [points]: Setting MPFR precision to 320
43.296 * * * * [points]: Filtering points with unrepresentable outputs
43.297 * * * * [points]: Sampling 1846 additional inputs, on iter 11 have 6154 / 8000
43.312 * * * * [points]: Computing exacts on every 115 of 1846 points to ramp up precision
43.319 * * * * [points]: Setting MPFR precision to 64
43.321 * * * * [points]: Setting MPFR precision to 320
43.323 * * * * [points]: Computing exacts on every 57 of 1846 points to ramp up precision
43.330 * * * * [points]: Setting MPFR precision to 64
43.334 * * * * [points]: Setting MPFR precision to 320
43.338 * * * * [points]: Computing exacts on every 28 of 1846 points to ramp up precision
43.346 * * * * [points]: Setting MPFR precision to 64
43.355 * * * * [points]: Setting MPFR precision to 320
43.364 * * * * [points]: Computing exacts on every 14 of 1846 points to ramp up precision
43.412 * * * * [points]: Setting MPFR precision to 64
43.431 * * * * [points]: Setting MPFR precision to 320
43.448 * * * * [points]: Computing exacts on every 7 of 1846 points to ramp up precision
43.455 * * * * [points]: Setting MPFR precision to 64
43.485 * * * * [points]: Setting MPFR precision to 320
43.515 * * * * [points]: Computing exacts on every 3 of 1846 points to ramp up precision
43.523 * * * * [points]: Setting MPFR precision to 64
43.582 * * * * [points]: Setting MPFR precision to 320
43.697 * * * * [points]: Computing exacts for 1846 points
43.704 * * * * [points]: Setting MPFR precision to 64
43.943 * * * * [points]: Setting MPFR precision to 320
44.166 * * * * [points]: Filtering points with unrepresentable outputs
44.167 * * * * [points]: Sampling 1646 additional inputs, on iter 12 have 6354 / 8000
44.180 * * * * [points]: Computing exacts on every 102 of 1646 points to ramp up precision
44.186 * * * * [points]: Setting MPFR precision to 64
44.188 * * * * [points]: Setting MPFR precision to 320
44.189 * * * * [points]: Computing exacts on every 51 of 1646 points to ramp up precision
44.192 * * * * [points]: Setting MPFR precision to 64
44.194 * * * * [points]: Setting MPFR precision to 320
44.196 * * * * [points]: Computing exacts on every 25 of 1646 points to ramp up precision
44.200 * * * * [points]: Setting MPFR precision to 64
44.204 * * * * [points]: Setting MPFR precision to 320
44.209 * * * * [points]: Computing exacts on every 12 of 1646 points to ramp up precision
44.212 * * * * [points]: Setting MPFR precision to 64
44.221 * * * * [points]: Setting MPFR precision to 320
44.234 * * * * [points]: Computing exacts on every 6 of 1646 points to ramp up precision
44.273 * * * * [points]: Setting MPFR precision to 64
44.297 * * * * [points]: Setting MPFR precision to 320
44.322 * * * * [points]: Computing exacts on every 3 of 1646 points to ramp up precision
44.326 * * * * [points]: Setting MPFR precision to 64
44.361 * * * * [points]: Setting MPFR precision to 320
44.393 * * * * [points]: Computing exacts for 1646 points
44.397 * * * * [points]: Setting MPFR precision to 64
44.557 * * * * [points]: Setting MPFR precision to 320
44.774 * * * * [points]: Filtering points with unrepresentable outputs
44.776 * * * * [points]: Sampling 1445 additional inputs, on iter 13 have 6555 / 8000
44.838 * * * * [points]: Computing exacts on every 90 of 1445 points to ramp up precision
44.845 * * * * [points]: Setting MPFR precision to 64
44.847 * * * * [points]: Setting MPFR precision to 320
44.849 * * * * [points]: Computing exacts on every 45 of 1445 points to ramp up precision
44.855 * * * * [points]: Setting MPFR precision to 64
44.859 * * * * [points]: Setting MPFR precision to 320
44.863 * * * * [points]: Computing exacts on every 22 of 1445 points to ramp up precision
44.870 * * * * [points]: Setting MPFR precision to 64
44.877 * * * * [points]: Setting MPFR precision to 320
44.885 * * * * [points]: Computing exacts on every 11 of 1445 points to ramp up precision
44.891 * * * * [points]: Setting MPFR precision to 64
44.906 * * * * [points]: Setting MPFR precision to 320
44.921 * * * * [points]: Computing exacts on every 5 of 1445 points to ramp up precision
44.928 * * * * [points]: Setting MPFR precision to 64
44.953 * * * * [points]: Setting MPFR precision to 320
44.972 * * * * [points]: Computing exacts on every 2 of 1445 points to ramp up precision
44.979 * * * * [points]: Setting MPFR precision to 64
45.432 * * * * [points]: Setting MPFR precision to 320
45.486 * * * * [points]: Computing exacts for 1445 points
45.492 * * * * [points]: Setting MPFR precision to 64
45.655 * * * * [points]: Setting MPFR precision to 320
45.815 * * * * [points]: Filtering points with unrepresentable outputs
45.815 * * * * [points]: Sampling 1295 additional inputs, on iter 14 have 6705 / 8000
45.823 * * * * [points]: Computing exacts on every 80 of 1295 points to ramp up precision
45.830 * * * * [points]: Setting MPFR precision to 64
45.832 * * * * [points]: Setting MPFR precision to 320
45.834 * * * * [points]: Computing exacts on every 40 of 1295 points to ramp up precision
45.838 * * * * [points]: Setting MPFR precision to 64
45.840 * * * * [points]: Setting MPFR precision to 320
45.843 * * * * [points]: Computing exacts on every 20 of 1295 points to ramp up precision
45.847 * * * * [points]: Setting MPFR precision to 64
45.852 * * * * [points]: Setting MPFR precision to 320
45.857 * * * * [points]: Computing exacts on every 10 of 1295 points to ramp up precision
45.861 * * * * [points]: Setting MPFR precision to 64
45.869 * * * * [points]: Setting MPFR precision to 320
45.884 * * * * [points]: Computing exacts on every 5 of 1295 points to ramp up precision
45.891 * * * * [points]: Setting MPFR precision to 64
45.934 * * * * [points]: Setting MPFR precision to 320
45.949 * * * * [points]: Computing exacts on every 2 of 1295 points to ramp up precision
45.953 * * * * [points]: Setting MPFR precision to 64
45.983 * * * * [points]: Setting MPFR precision to 320
46.021 * * * * [points]: Computing exacts for 1295 points
46.028 * * * * [points]: Setting MPFR precision to 64
46.168 * * * * [points]: Setting MPFR precision to 320
46.301 * * * * [points]: Filtering points with unrepresentable outputs
46.302 * * * * [points]: Sampling 1103 additional inputs, on iter 15 have 6897 / 8000
46.311 * * * * [points]: Computing exacts on every 68 of 1103 points to ramp up precision
46.319 * * * * [points]: Setting MPFR precision to 64
46.322 * * * * [points]: Setting MPFR precision to 320
46.323 * * * * [points]: Computing exacts on every 34 of 1103 points to ramp up precision
46.330 * * * * [points]: Setting MPFR precision to 64
46.334 * * * * [points]: Setting MPFR precision to 320
46.337 * * * * [points]: Computing exacts on every 17 of 1103 points to ramp up precision
46.343 * * * * [points]: Setting MPFR precision to 64
46.350 * * * * [points]: Setting MPFR precision to 320
46.357 * * * * [points]: Computing exacts on every 8 of 1103 points to ramp up precision
46.363 * * * * [points]: Setting MPFR precision to 64
46.377 * * * * [points]: Setting MPFR precision to 320
46.390 * * * * [points]: Computing exacts on every 4 of 1103 points to ramp up precision
46.429 * * * * [points]: Setting MPFR precision to 64
46.446 * * * * [points]: Setting MPFR precision to 320
46.463 * * * * [points]: Computing exacts on every 2 of 1103 points to ramp up precision
46.467 * * * * [points]: Setting MPFR precision to 64
46.496 * * * * [points]: Setting MPFR precision to 320
46.527 * * * * [points]: Computing exacts for 1103 points
46.531 * * * * [points]: Setting MPFR precision to 64
46.668 * * * * [points]: Setting MPFR precision to 320
46.793 * * * * [points]: Filtering points with unrepresentable outputs
46.794 * * * * [points]: Sampling 978 additional inputs, on iter 16 have 7022 / 8000
46.802 * * * * [points]: Computing exacts on every 61 of 978 points to ramp up precision
46.808 * * * * [points]: Setting MPFR precision to 64
46.811 * * * * [points]: Setting MPFR precision to 320
46.813 * * * * [points]: Computing exacts on every 30 of 978 points to ramp up precision
46.819 * * * * [points]: Setting MPFR precision to 64
46.823 * * * * [points]: Setting MPFR precision to 320
46.827 * * * * [points]: Computing exacts on every 15 of 978 points to ramp up precision
46.832 * * * * [points]: Setting MPFR precision to 64
46.836 * * * * [points]: Setting MPFR precision to 320
46.842 * * * * [points]: Computing exacts on every 7 of 978 points to ramp up precision
46.845 * * * * [points]: Setting MPFR precision to 64
46.854 * * * * [points]: Setting MPFR precision to 320
46.863 * * * * [points]: Computing exacts on every 3 of 978 points to ramp up precision
46.866 * * * * [points]: Setting MPFR precision to 64
46.884 * * * * [points]: Setting MPFR precision to 320
46.934 * * * * [points]: Computing exacts for 978 points
46.938 * * * * [points]: Setting MPFR precision to 64
47.009 * * * * [points]: Setting MPFR precision to 320
47.120 * * * * [points]: Filtering points with unrepresentable outputs
47.121 * * * * [points]: Sampling 859 additional inputs, on iter 17 have 7141 / 8000
47.125 * * * * [points]: Computing exacts on every 53 of 859 points to ramp up precision
47.129 * * * * [points]: Setting MPFR precision to 64
47.131 * * * * [points]: Setting MPFR precision to 320
47.133 * * * * [points]: Computing exacts on every 26 of 859 points to ramp up precision
47.140 * * * * [points]: Setting MPFR precision to 64
47.143 * * * * [points]: Setting MPFR precision to 320
47.147 * * * * [points]: Computing exacts on every 13 of 859 points to ramp up precision
47.153 * * * * [points]: Setting MPFR precision to 64
47.157 * * * * [points]: Setting MPFR precision to 320
47.162 * * * * [points]: Computing exacts on every 6 of 859 points to ramp up precision
47.165 * * * * [points]: Setting MPFR precision to 64
47.174 * * * * [points]: Setting MPFR precision to 320
47.184 * * * * [points]: Computing exacts on every 3 of 859 points to ramp up precision
47.191 * * * * [points]: Setting MPFR precision to 64
47.235 * * * * [points]: Setting MPFR precision to 320
47.252 * * * * [points]: Computing exacts for 859 points
47.255 * * * * [points]: Setting MPFR precision to 64
47.316 * * * * [points]: Setting MPFR precision to 320
47.429 * * * * [points]: Filtering points with unrepresentable outputs
47.430 * * * * [points]: Sampling 754 additional inputs, on iter 18 have 7246 / 8000
47.436 * * * * [points]: Computing exacts on every 47 of 754 points to ramp up precision
47.443 * * * * [points]: Setting MPFR precision to 64
47.445 * * * * [points]: Setting MPFR precision to 320
47.447 * * * * [points]: Computing exacts on every 23 of 754 points to ramp up precision
47.455 * * * * [points]: Setting MPFR precision to 64
47.459 * * * * [points]: Setting MPFR precision to 320
47.463 * * * * [points]: Computing exacts on every 11 of 754 points to ramp up precision
47.471 * * * * [points]: Setting MPFR precision to 64
47.480 * * * * [points]: Setting MPFR precision to 320
47.487 * * * * [points]: Computing exacts on every 5 of 754 points to ramp up precision
47.491 * * * * [points]: Setting MPFR precision to 64
47.500 * * * * [points]: Setting MPFR precision to 320
47.509 * * * * [points]: Computing exacts on every 2 of 754 points to ramp up precision
47.513 * * * * [points]: Setting MPFR precision to 64
47.570 * * * * [points]: Setting MPFR precision to 320
47.601 * * * * [points]: Computing exacts for 754 points
47.608 * * * * [points]: Setting MPFR precision to 64
47.687 * * * * [points]: Setting MPFR precision to 320
47.795 * * * * [points]: Filtering points with unrepresentable outputs
47.795 * * * * [points]: Sampling 667 additional inputs, on iter 19 have 7333 / 8000
47.798 * * * * [points]: Computing exacts on every 41 of 667 points to ramp up precision
47.802 * * * * [points]: Setting MPFR precision to 64
47.804 * * * * [points]: Setting MPFR precision to 320
47.805 * * * * [points]: Computing exacts on every 20 of 667 points to ramp up precision
47.810 * * * * [points]: Setting MPFR precision to 64
47.812 * * * * [points]: Setting MPFR precision to 320
47.814 * * * * [points]: Computing exacts on every 10 of 667 points to ramp up precision
47.818 * * * * [points]: Setting MPFR precision to 64
47.822 * * * * [points]: Setting MPFR precision to 320
47.826 * * * * [points]: Computing exacts on every 5 of 667 points to ramp up precision
47.830 * * * * [points]: Setting MPFR precision to 64
47.838 * * * * [points]: Setting MPFR precision to 320
47.846 * * * * [points]: Computing exacts on every 2 of 667 points to ramp up precision
47.849 * * * * [points]: Setting MPFR precision to 64
47.865 * * * * [points]: Setting MPFR precision to 320
47.914 * * * * [points]: Computing exacts for 667 points
47.920 * * * * [points]: Setting MPFR precision to 64
47.978 * * * * [points]: Setting MPFR precision to 320
48.025 * * * * [points]: Filtering points with unrepresentable outputs
48.025 * * * * [points]: Sampling 589 additional inputs, on iter 20 have 7411 / 8000
48.028 * * * * [points]: Computing exacts on every 36 of 589 points to ramp up precision
48.031 * * * * [points]: Setting MPFR precision to 64
48.454 * * * * [points]: Setting MPFR precision to 320
48.455 * * * * [points]: Computing exacts on every 18 of 589 points to ramp up precision
48.459 * * * * [points]: Setting MPFR precision to 64
48.463 * * * * [points]: Setting MPFR precision to 320
48.466 * * * * [points]: Computing exacts on every 9 of 589 points to ramp up precision
48.470 * * * * [points]: Setting MPFR precision to 64
48.474 * * * * [points]: Setting MPFR precision to 320
48.479 * * * * [points]: Computing exacts on every 4 of 589 points to ramp up precision
48.482 * * * * [points]: Setting MPFR precision to 64
48.494 * * * * [points]: Setting MPFR precision to 320
48.502 * * * * [points]: Computing exacts on every 2 of 589 points to ramp up precision
48.506 * * * * [points]: Setting MPFR precision to 64
48.519 * * * * [points]: Setting MPFR precision to 320
48.541 * * * * [points]: Computing exacts for 589 points
48.547 * * * * [points]: Setting MPFR precision to 64
48.615 * * * * [points]: Setting MPFR precision to 320
48.668 * * * * [points]: Filtering points with unrepresentable outputs
48.668 * * * * [points]: Sampling 518 additional inputs, on iter 21 have 7482 / 8000
48.670 * * * * [points]: Computing exacts on every 32 of 518 points to ramp up precision
48.674 * * * * [points]: Setting MPFR precision to 64
48.675 * * * * [points]: Setting MPFR precision to 320
48.676 * * * * [points]: Computing exacts on every 16 of 518 points to ramp up precision
48.680 * * * * [points]: Setting MPFR precision to 64
48.682 * * * * [points]: Setting MPFR precision to 320
48.684 * * * * [points]: Computing exacts on every 8 of 518 points to ramp up precision
48.689 * * * * [points]: Setting MPFR precision to 64
48.696 * * * * [points]: Setting MPFR precision to 320
48.703 * * * * [points]: Computing exacts on every 4 of 518 points to ramp up precision
48.706 * * * * [points]: Setting MPFR precision to 64
48.714 * * * * [points]: Setting MPFR precision to 320
48.746 * * * * [points]: Computing exacts on every 2 of 518 points to ramp up precision
48.750 * * * * [points]: Setting MPFR precision to 64
48.763 * * * * [points]: Setting MPFR precision to 320
48.780 * * * * [points]: Computing exacts for 518 points
48.787 * * * * [points]: Setting MPFR precision to 64
48.823 * * * * [points]: Setting MPFR precision to 320
48.876 * * * * [points]: Filtering points with unrepresentable outputs
48.876 * * * * [points]: Sampling 452 additional inputs, on iter 22 have 7548 / 8000
48.878 * * * * [points]: Computing exacts on every 28 of 452 points to ramp up precision
48.911 * * * * [points]: Setting MPFR precision to 64
48.913 * * * * [points]: Setting MPFR precision to 320
48.914 * * * * [points]: Computing exacts on every 14 of 452 points to ramp up precision
48.917 * * * * [points]: Setting MPFR precision to 64
48.921 * * * * [points]: Setting MPFR precision to 320
48.923 * * * * [points]: Computing exacts on every 7 of 452 points to ramp up precision
48.927 * * * * [points]: Setting MPFR precision to 64
48.932 * * * * [points]: Setting MPFR precision to 320
48.940 * * * * [points]: Computing exacts on every 3 of 452 points to ramp up precision
48.946 * * * * [points]: Setting MPFR precision to 64
48.955 * * * * [points]: Setting MPFR precision to 320
48.963 * * * * [points]: Computing exacts for 452 points
48.966 * * * * [points]: Setting MPFR precision to 64
48.999 * * * * [points]: Setting MPFR precision to 320
49.078 * * * * [points]: Filtering points with unrepresentable outputs
49.079 * * * * [points]: Sampling 395 additional inputs, on iter 23 have 7605 / 8000
49.082 * * * * [points]: Computing exacts on every 24 of 395 points to ramp up precision
49.089 * * * * [points]: Setting MPFR precision to 64
49.091 * * * * [points]: Setting MPFR precision to 320
49.093 * * * * [points]: Computing exacts on every 12 of 395 points to ramp up precision
49.100 * * * * [points]: Setting MPFR precision to 64
49.104 * * * * [points]: Setting MPFR precision to 320
49.108 * * * * [points]: Computing exacts on every 6 of 395 points to ramp up precision
49.112 * * * * [points]: Setting MPFR precision to 64
49.116 * * * * [points]: Setting MPFR precision to 320
49.121 * * * * [points]: Computing exacts on every 3 of 395 points to ramp up precision
49.124 * * * * [points]: Setting MPFR precision to 64
49.132 * * * * [points]: Setting MPFR precision to 320
49.139 * * * * [points]: Computing exacts for 395 points
49.142 * * * * [points]: Setting MPFR precision to 64
49.170 * * * * [points]: Setting MPFR precision to 320
49.224 * * * * [points]: Filtering points with unrepresentable outputs
49.225 * * * * [points]: Sampling 344 additional inputs, on iter 24 have 7656 / 8000
49.226 * * * * [points]: Computing exacts on every 21 of 344 points to ramp up precision
49.230 * * * * [points]: Setting MPFR precision to 64
49.232 * * * * [points]: Setting MPFR precision to 320
49.233 * * * * [points]: Computing exacts on every 10 of 344 points to ramp up precision
49.236 * * * * [points]: Setting MPFR precision to 64
49.239 * * * * [points]: Setting MPFR precision to 320
49.241 * * * * [points]: Computing exacts on every 5 of 344 points to ramp up precision
49.245 * * * * [points]: Setting MPFR precision to 64
49.249 * * * * [points]: Setting MPFR precision to 320
49.253 * * * * [points]: Computing exacts on every 2 of 344 points to ramp up precision
49.256 * * * * [points]: Setting MPFR precision to 64
49.264 * * * * [points]: Setting MPFR precision to 320
49.274 * * * * [points]: Computing exacts for 344 points
49.278 * * * * [points]: Setting MPFR precision to 64
49.303 * * * * [points]: Setting MPFR precision to 320
49.354 * * * * [points]: Filtering points with unrepresentable outputs
49.354 * * * * [points]: Sampling 293 additional inputs, on iter 25 have 7707 / 8000
49.356 * * * * [points]: Computing exacts on every 18 of 293 points to ramp up precision
49.359 * * * * [points]: Setting MPFR precision to 64
49.361 * * * * [points]: Setting MPFR precision to 320
49.362 * * * * [points]: Computing exacts on every 9 of 293 points to ramp up precision
49.365 * * * * [points]: Setting MPFR precision to 64
49.367 * * * * [points]: Setting MPFR precision to 320
49.369 * * * * [points]: Computing exacts on every 4 of 293 points to ramp up precision
49.374 * * * * [points]: Setting MPFR precision to 64
49.378 * * * * [points]: Setting MPFR precision to 320
49.382 * * * * [points]: Computing exacts on every 2 of 293 points to ramp up precision
49.386 * * * * [points]: Setting MPFR precision to 64
49.393 * * * * [points]: Setting MPFR precision to 320
49.399 * * * * [points]: Computing exacts for 293 points
49.403 * * * * [points]: Setting MPFR precision to 64
49.426 * * * * [points]: Setting MPFR precision to 320
49.480 * * * * [points]: Filtering points with unrepresentable outputs
49.480 * * * * [points]: Sampling 256 additional inputs, on iter 26 have 7744 / 8000
49.481 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
49.485 * * * * [points]: Setting MPFR precision to 64
49.486 * * * * [points]: Setting MPFR precision to 320
49.487 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
49.492 * * * * [points]: Setting MPFR precision to 64
49.495 * * * * [points]: Setting MPFR precision to 320
49.497 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
49.501 * * * * [points]: Setting MPFR precision to 64
49.505 * * * * [points]: Setting MPFR precision to 320
49.508 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
49.513 * * * * [points]: Setting MPFR precision to 64
49.521 * * * * [points]: Setting MPFR precision to 320
49.527 * * * * [points]: Computing exacts for 256 points
49.530 * * * * [points]: Setting MPFR precision to 64
49.552 * * * * [points]: Setting MPFR precision to 320
49.580 * * * * [points]: Filtering points with unrepresentable outputs
49.580 * * * * [points]: Sampling 227 additional inputs, on iter 27 have 7773 / 8000
49.581 * * * * [points]: Computing exacts on every 14 of 227 points to ramp up precision
49.584 * * * * [points]: Setting MPFR precision to 64
49.586 * * * * [points]: Setting MPFR precision to 320
49.587 * * * * [points]: Computing exacts on every 7 of 227 points to ramp up precision
49.590 * * * * [points]: Setting MPFR precision to 64
49.613 * * * * [points]: Setting MPFR precision to 320
49.615 * * * * [points]: Computing exacts on every 3 of 227 points to ramp up precision
49.618 * * * * [points]: Setting MPFR precision to 64
49.624 * * * * [points]: Setting MPFR precision to 320
49.628 * * * * [points]: Computing exacts for 227 points
49.632 * * * * [points]: Setting MPFR precision to 64
49.648 * * * * [points]: Setting MPFR precision to 320
49.664 * * * * [points]: Filtering points with unrepresentable outputs
49.664 * * * * [points]: Sampling 196 additional inputs, on iter 28 have 7804 / 8000
49.665 * * * * [points]: Computing exacts on every 12 of 196 points to ramp up precision
49.668 * * * * [points]: Setting MPFR precision to 64
49.670 * * * * [points]: Setting MPFR precision to 320
49.671 * * * * [points]: Computing exacts on every 6 of 196 points to ramp up precision
49.674 * * * * [points]: Setting MPFR precision to 64
49.676 * * * * [points]: Setting MPFR precision to 320
49.678 * * * * [points]: Computing exacts on every 3 of 196 points to ramp up precision
49.682 * * * * [points]: Setting MPFR precision to 64
49.685 * * * * [points]: Setting MPFR precision to 320
49.688 * * * * [points]: Computing exacts for 196 points
49.692 * * * * [points]: Setting MPFR precision to 64
49.705 * * * * [points]: Setting MPFR precision to 320
49.741 * * * * [points]: Filtering points with unrepresentable outputs
49.741 * * * * [points]: Sampling 172 additional inputs, on iter 29 have 7828 / 8000
49.741 * * * * [points]: Computing exacts on every 10 of 172 points to ramp up precision
49.747 * * * * [points]: Setting MPFR precision to 64
49.748 * * * * [points]: Setting MPFR precision to 320
49.749 * * * * [points]: Computing exacts on every 5 of 172 points to ramp up precision
49.753 * * * * [points]: Setting MPFR precision to 64
49.755 * * * * [points]: Setting MPFR precision to 320
49.757 * * * * [points]: Computing exacts on every 2 of 172 points to ramp up precision
49.760 * * * * [points]: Setting MPFR precision to 64
49.764 * * * * [points]: Setting MPFR precision to 320
49.768 * * * * [points]: Computing exacts for 172 points
49.772 * * * * [points]: Setting MPFR precision to 64
49.784 * * * * [points]: Setting MPFR precision to 320
49.801 * * * * [points]: Filtering points with unrepresentable outputs
49.801 * * * * [points]: Sampling 149 additional inputs, on iter 30 have 7851 / 8000
49.802 * * * * [points]: Computing exacts on every 9 of 149 points to ramp up precision
49.809 * * * * [points]: Setting MPFR precision to 64
49.811 * * * * [points]: Setting MPFR precision to 320
49.812 * * * * [points]: Computing exacts on every 4 of 149 points to ramp up precision
49.817 * * * * [points]: Setting MPFR precision to 64
49.819 * * * * [points]: Setting MPFR precision to 320
49.821 * * * * [points]: Computing exacts on every 2 of 149 points to ramp up precision
49.824 * * * * [points]: Setting MPFR precision to 64
49.828 * * * * [points]: Setting MPFR precision to 320
49.832 * * * * [points]: Computing exacts for 149 points
49.835 * * * * [points]: Setting MPFR precision to 64
49.866 * * * * [points]: Setting MPFR precision to 320
49.878 * * * * [points]: Filtering points with unrepresentable outputs
49.878 * * * * [points]: Sampling 129 additional inputs, on iter 31 have 7871 / 8000
49.878 * * * * [points]: Computing exacts on every 8 of 129 points to ramp up precision
49.882 * * * * [points]: Setting MPFR precision to 64
49.883 * * * * [points]: Setting MPFR precision to 320
49.884 * * * * [points]: Computing exacts on every 4 of 129 points to ramp up precision
49.888 * * * * [points]: Setting MPFR precision to 64
49.890 * * * * [points]: Setting MPFR precision to 320
49.891 * * * * [points]: Computing exacts on every 2 of 129 points to ramp up precision
49.895 * * * * [points]: Setting MPFR precision to 64
49.898 * * * * [points]: Setting MPFR precision to 320
49.901 * * * * [points]: Computing exacts for 129 points
49.905 * * * * [points]: Setting MPFR precision to 64
49.914 * * * * [points]: Setting MPFR precision to 320
49.924 * * * * [points]: Filtering points with unrepresentable outputs
49.924 * * * * [points]: Sampling 116 additional inputs, on iter 32 have 7884 / 8000
49.924 * * * * [points]: Computing exacts on every 7 of 116 points to ramp up precision
49.928 * * * * [points]: Setting MPFR precision to 64
49.929 * * * * [points]: Setting MPFR precision to 320
49.931 * * * * [points]: Computing exacts on every 3 of 116 points to ramp up precision
49.934 * * * * [points]: Setting MPFR precision to 64
49.936 * * * * [points]: Setting MPFR precision to 320
49.938 * * * * [points]: Computing exacts for 116 points
49.942 * * * * [points]: Setting MPFR precision to 64
49.950 * * * * [points]: Setting MPFR precision to 320
49.996 * * * * [points]: Filtering points with unrepresentable outputs
49.997 * * * * [points]: Sampling 108 additional inputs, on iter 33 have 7892 / 8000
49.998 * * * * [points]: Computing exacts on every 6 of 108 points to ramp up precision
50.007 * * * * [points]: Setting MPFR precision to 64
50.009 * * * * [points]: Setting MPFR precision to 320
50.011 * * * * [points]: Computing exacts on every 3 of 108 points to ramp up precision
50.018 * * * * [points]: Setting MPFR precision to 64
50.021 * * * * [points]: Setting MPFR precision to 320
50.025 * * * * [points]: Computing exacts for 108 points
50.031 * * * * [points]: Setting MPFR precision to 64
50.045 * * * * [points]: Setting MPFR precision to 320
50.060 * * * * [points]: Filtering points with unrepresentable outputs
50.060 * * * * [points]: Sampling 94 additional inputs, on iter 34 have 7906 / 8000
50.061 * * * * [points]: Computing exacts on every 5 of 94 points to ramp up precision
50.067 * * * * [points]: Setting MPFR precision to 64
50.069 * * * * [points]: Setting MPFR precision to 320
50.071 * * * * [points]: Computing exacts on every 2 of 94 points to ramp up precision
50.076 * * * * [points]: Setting MPFR precision to 64
50.079 * * * * [points]: Setting MPFR precision to 320
50.081 * * * * [points]: Computing exacts for 94 points
50.085 * * * * [points]: Setting MPFR precision to 64
50.092 * * * * [points]: Setting MPFR precision to 320
50.098 * * * * [points]: Filtering points with unrepresentable outputs
50.099 * * * * [points]: Sampling 86 additional inputs, on iter 35 have 7914 / 8000
50.099 * * * * [points]: Computing exacts on every 5 of 86 points to ramp up precision
50.103 * * * * [points]: Setting MPFR precision to 64
50.104 * * * * [points]: Setting MPFR precision to 320
50.105 * * * * [points]: Computing exacts on every 2 of 86 points to ramp up precision
50.108 * * * * [points]: Setting MPFR precision to 64
50.110 * * * * [points]: Setting MPFR precision to 320
50.112 * * * * [points]: Computing exacts for 86 points
50.116 * * * * [points]: Setting MPFR precision to 64
50.141 * * * * [points]: Setting MPFR precision to 320
50.149 * * * * [points]: Filtering points with unrepresentable outputs
50.149 * * * * [points]: Sampling 72 additional inputs, on iter 36 have 7928 / 8000
50.149 * * * * [points]: Computing exacts on every 4 of 72 points to ramp up precision
50.153 * * * * [points]: Setting MPFR precision to 64
50.154 * * * * [points]: Setting MPFR precision to 320
50.155 * * * * [points]: Computing exacts on every 2 of 72 points to ramp up precision
50.158 * * * * [points]: Setting MPFR precision to 64
50.160 * * * * [points]: Setting MPFR precision to 320
50.162 * * * * [points]: Computing exacts for 72 points
50.166 * * * * [points]: Setting MPFR precision to 64
50.171 * * * * [points]: Setting MPFR precision to 320
50.176 * * * * [points]: Filtering points with unrepresentable outputs
50.176 * * * * [points]: Sampling 60 additional inputs, on iter 37 have 7940 / 8000
50.176 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
50.180 * * * * [points]: Setting MPFR precision to 64
50.181 * * * * [points]: Setting MPFR precision to 320
50.182 * * * * [points]: Computing exacts for 60 points
50.185 * * * * [points]: Setting MPFR precision to 64
50.192 * * * * [points]: Setting MPFR precision to 320
50.199 * * * * [points]: Filtering points with unrepresentable outputs
50.199 * * * * [points]: Sampling 53 additional inputs, on iter 38 have 7947 / 8000
50.199 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
50.206 * * * * [points]: Setting MPFR precision to 64
50.208 * * * * [points]: Setting MPFR precision to 320
50.209 * * * * [points]: Computing exacts for 53 points
50.216 * * * * [points]: Setting MPFR precision to 64
50.223 * * * * [points]: Setting MPFR precision to 320
50.226 * * * * [points]: Filtering points with unrepresentable outputs
50.226 * * * * [points]: Sampling 49 additional inputs, on iter 39 have 7951 / 8000
50.227 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
50.230 * * * * [points]: Setting MPFR precision to 64
50.231 * * * * [points]: Setting MPFR precision to 320
50.232 * * * * [points]: Computing exacts for 49 points
50.235 * * * * [points]: Setting MPFR precision to 64
50.239 * * * * [points]: Setting MPFR precision to 320
50.242 * * * * [points]: Filtering points with unrepresentable outputs
50.243 * * * * [points]: Sampling 42 additional inputs, on iter 40 have 7958 / 8000
50.261 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
50.265 * * * * [points]: Setting MPFR precision to 64
50.266 * * * * [points]: Setting MPFR precision to 320
50.267 * * * * [points]: Computing exacts for 42 points
50.270 * * * * [points]: Setting MPFR precision to 64
50.275 * * * * [points]: Setting MPFR precision to 320
50.278 * * * * [points]: Filtering points with unrepresentable outputs
50.278 * * * * [points]: Sampling 38 additional inputs, on iter 41 have 7962 / 8000
50.278 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
50.282 * * * * [points]: Setting MPFR precision to 64
50.283 * * * * [points]: Setting MPFR precision to 320
50.283 * * * * [points]: Computing exacts for 38 points
50.287 * * * * [points]: Setting MPFR precision to 64
50.289 * * * * [points]: Setting MPFR precision to 320
50.292 * * * * [points]: Filtering points with unrepresentable outputs
50.292 * * * * [points]: Sampling 31 additional inputs, on iter 42 have 7969 / 8000
50.292 * * * * [points]: Computing exacts for 31 points
50.296 * * * * [points]: Setting MPFR precision to 64
50.298 * * * * [points]: Setting MPFR precision to 320
50.302 * * * * [points]: Filtering points with unrepresentable outputs
50.303 * * * * [points]: Sampling 29 additional inputs, on iter 43 have 7971 / 8000
50.303 * * * * [points]: Computing exacts for 29 points
50.310 * * * * [points]: Setting MPFR precision to 64
50.314 * * * * [points]: Setting MPFR precision to 320
50.318 * * * * [points]: Filtering points with unrepresentable outputs
50.318 * * * * [points]: Sampling 24 additional inputs, on iter 44 have 7976 / 8000
50.318 * * * * [points]: Computing exacts for 24 points
50.326 * * * * [points]: Setting MPFR precision to 64
50.329 * * * * [points]: Setting MPFR precision to 320
50.332 * * * * [points]: Filtering points with unrepresentable outputs
50.332 * * * * [points]: Sampling 21 additional inputs, on iter 45 have 7979 / 8000
50.332 * * * * [points]: Computing exacts for 21 points
50.339 * * * * [points]: Setting MPFR precision to 64
50.342 * * * * [points]: Setting MPFR precision to 320
50.344 * * * * [points]: Filtering points with unrepresentable outputs
50.344 * * * * [points]: Sampling 17 additional inputs, on iter 46 have 7983 / 8000
50.344 * * * * [points]: Computing exacts for 17 points
50.351 * * * * [points]: Setting MPFR precision to 64
50.353 * * * * [points]: Setting MPFR precision to 320
50.356 * * * * [points]: Filtering points with unrepresentable outputs
50.356 * * * * [points]: Sampling 14 additional inputs, on iter 47 have 7986 / 8000
50.356 * * * * [points]: Computing exacts for 14 points
50.363 * * * * [points]: Setting MPFR precision to 64
50.365 * * * * [points]: Setting MPFR precision to 320
50.367 * * * * [points]: Filtering points with unrepresentable outputs
50.367 * * * * [points]: Sampling 14 additional inputs, on iter 48 have 7986 / 8000
50.367 * * * * [points]: Computing exacts for 14 points
50.373 * * * * [points]: Setting MPFR precision to 64
50.375 * * * * [points]: Setting MPFR precision to 320
50.377 * * * * [points]: Filtering points with unrepresentable outputs
50.377 * * * * [points]: Sampling 13 additional inputs, on iter 49 have 7987 / 8000
50.377 * * * * [points]: Computing exacts for 13 points
50.381 * * * * [points]: Setting MPFR precision to 64
50.401 * * * * [points]: Setting MPFR precision to 320
50.404 * * * * [points]: Filtering points with unrepresentable outputs
50.404 * * * * [points]: Sampling 11 additional inputs, on iter 50 have 7989 / 8000
50.404 * * * * [points]: Computing exacts for 11 points
50.408 * * * * [points]: Setting MPFR precision to 64
50.408 * * * * [points]: Setting MPFR precision to 320
50.409 * * * * [points]: Filtering points with unrepresentable outputs
50.409 * * * * [points]: Sampling 9 additional inputs, on iter 51 have 7991 / 8000
50.409 * * * * [points]: Computing exacts for 9 points
50.413 * * * * [points]: Setting MPFR precision to 64
50.414 * * * * [points]: Setting MPFR precision to 320
50.415 * * * * [points]: Filtering points with unrepresentable outputs
50.415 * * * * [points]: Sampling 9 additional inputs, on iter 52 have 7991 / 8000
50.415 * * * * [points]: Computing exacts for 9 points
50.418 * * * * [points]: Setting MPFR precision to 64
50.419 * * * * [points]: Setting MPFR precision to 320
50.420 * * * * [points]: Filtering points with unrepresentable outputs
50.420 * * * * [points]: Sampling 8 additional inputs, on iter 53 have 7992 / 8000
50.420 * * * * [points]: Computing exacts for 8 points
50.424 * * * * [points]: Setting MPFR precision to 64
50.424 * * * * [points]: Setting MPFR precision to 320
50.425 * * * * [points]: Filtering points with unrepresentable outputs
50.425 * * * * [points]: Sampling 6 additional inputs, on iter 54 have 7994 / 8000
50.425 * * * * [points]: Computing exacts for 6 points
50.428 * * * * [points]: Setting MPFR precision to 64
50.429 * * * * [points]: Setting MPFR precision to 320
50.430 * * * * [points]: Filtering points with unrepresentable outputs
50.430 * * * * [points]: Sampling 6 additional inputs, on iter 55 have 7994 / 8000
50.430 * * * * [points]: Computing exacts for 6 points
50.436 * * * * [points]: Setting MPFR precision to 64
50.437 * * * * [points]: Setting MPFR precision to 320
50.438 * * * * [points]: Filtering points with unrepresentable outputs
50.438 * * * * [points]: Sampling 4 additional inputs, on iter 56 have 7996 / 8000
50.438 * * * * [points]: Computing exacts for 4 points
50.445 * * * * [points]: Setting MPFR precision to 64
50.445 * * * * [points]: Setting MPFR precision to 320
50.446 * * * * [points]: Filtering points with unrepresentable outputs
50.446 * * * * [points]: Sampling 4 additional inputs, on iter 57 have 7996 / 8000
50.446 * * * * [points]: Computing exacts for 4 points
50.452 * * * * [points]: Setting MPFR precision to 64
50.453 * * * * [points]: Setting MPFR precision to 320
50.454 * * * * [points]: Filtering points with unrepresentable outputs
50.454 * * * * [points]: Sampling 4 additional inputs, on iter 58 have 7997 / 8000
50.454 * * * * [points]: Computing exacts for 4 points
50.460 * * * * [points]: Setting MPFR precision to 64
50.461 * * * * [points]: Setting MPFR precision to 320
50.462 * * * * [points]: Filtering points with unrepresentable outputs
50.462 * * * * [points]: Sampling 4 additional inputs, on iter 59 have 7998 / 8000
50.462 * * * * [points]: Computing exacts for 4 points
50.469 * * * * [points]: Setting MPFR precision to 64
50.469 * * * * [points]: Setting MPFR precision to 320
50.470 * * * * [points]: Filtering points with unrepresentable outputs
50.470 * * * * [points]: Sampling 4 additional inputs, on iter 60 have 7998 / 8000
50.470 * * * * [points]: Computing exacts for 4 points
50.474 * * * * [points]: Setting MPFR precision to 64
50.474 * * * * [points]: Setting MPFR precision to 320
50.474 * * * * [points]: Filtering points with unrepresentable outputs
50.474 * * * * [points]: Sampling 4 additional inputs, on iter 61 have 7999 / 8000
50.474 * * * * [points]: Computing exacts for 4 points
50.478 * * * * [points]: Setting MPFR precision to 64
50.478 * * * * [points]: Setting MPFR precision to 320
50.478 * * * * [points]: Filtering points with unrepresentable outputs
50.479 * * * * [points]: Sampled 8000 points with exact outputs
53.364 * [regime-testing]: Baseline error score: 64.0
53.368 * [regime-testing]: Oracle error score: 64.0
53.375 * [regime-testing]: End program error score: 0.14057647850286753