0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.008 * * * * [points]: Setting MPFR precision to 64
0.011 * * * * [points]: Setting MPFR precision to 320
0.013 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.018 * * * * [points]: Setting MPFR precision to 64
0.021 * * * * [points]: Setting MPFR precision to 320
0.023 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.026 * * * * [points]: Setting MPFR precision to 64
0.030 * * * * [points]: Setting MPFR precision to 320
0.034 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.037 * * * * [points]: Setting MPFR precision to 64
0.043 * * * * [points]: Setting MPFR precision to 320
0.049 * * * * [points]: Computing exacts for 256 points
0.052 * * * * [points]: Setting MPFR precision to 64
0.070 * * * * [points]: Setting MPFR precision to 320
0.105 * * * * [points]: Filtering points with unrepresentable outputs
0.105 * * * * [points]: Sampling 225 additional inputs, on iter 1 have 31 / 256
0.106 * * * * [points]: Computing exacts on every 14 of 225 points to ramp up precision
0.110 * * * * [points]: Setting MPFR precision to 64
0.111 * * * * [points]: Setting MPFR precision to 320
0.112 * * * * [points]: Computing exacts on every 7 of 225 points to ramp up precision
0.116 * * * * [points]: Setting MPFR precision to 64
0.119 * * * * [points]: Setting MPFR precision to 320
0.121 * * * * [points]: Computing exacts on every 3 of 225 points to ramp up precision
0.124 * * * * [points]: Setting MPFR precision to 64
0.128 * * * * [points]: Setting MPFR precision to 320
0.132 * * * * [points]: Computing exacts for 225 points
0.135 * * * * [points]: Setting MPFR precision to 64
0.150 * * * * [points]: Setting MPFR precision to 320
0.165 * * * * [points]: Filtering points with unrepresentable outputs
0.165 * * * * [points]: Sampling 203 additional inputs, on iter 2 have 53 / 256
0.166 * * * * [points]: Computing exacts on every 12 of 203 points to ramp up precision
0.170 * * * * [points]: Setting MPFR precision to 64
0.171 * * * * [points]: Setting MPFR precision to 320
0.172 * * * * [points]: Computing exacts on every 6 of 203 points to ramp up precision
0.175 * * * * [points]: Setting MPFR precision to 64
0.177 * * * * [points]: Setting MPFR precision to 320
0.179 * * * * [points]: Computing exacts on every 3 of 203 points to ramp up precision
0.183 * * * * [points]: Setting MPFR precision to 64
0.186 * * * * [points]: Setting MPFR precision to 320
0.190 * * * * [points]: Computing exacts for 203 points
0.193 * * * * [points]: Setting MPFR precision to 64
0.236 * * * * [points]: Setting MPFR precision to 320
0.251 * * * * [points]: Filtering points with unrepresentable outputs
0.251 * * * * [points]: Sampling 179 additional inputs, on iter 3 have 77 / 256
0.252 * * * * [points]: Computing exacts on every 11 of 179 points to ramp up precision
0.255 * * * * [points]: Setting MPFR precision to 64
0.256 * * * * [points]: Setting MPFR precision to 320
0.257 * * * * [points]: Computing exacts on every 5 of 179 points to ramp up precision
0.260 * * * * [points]: Setting MPFR precision to 64
0.262 * * * * [points]: Setting MPFR precision to 320
0.264 * * * * [points]: Computing exacts on every 2 of 179 points to ramp up precision
0.267 * * * * [points]: Setting MPFR precision to 64
0.271 * * * * [points]: Setting MPFR precision to 320
0.275 * * * * [points]: Computing exacts for 179 points
0.278 * * * * [points]: Setting MPFR precision to 64
0.290 * * * * [points]: Setting MPFR precision to 320
0.302 * * * * [points]: Filtering points with unrepresentable outputs
0.302 * * * * [points]: Sampling 158 additional inputs, on iter 4 have 98 / 256
0.303 * * * * [points]: Computing exacts on every 9 of 158 points to ramp up precision
0.307 * * * * [points]: Setting MPFR precision to 64
0.308 * * * * [points]: Setting MPFR precision to 320
0.309 * * * * [points]: Computing exacts on every 4 of 158 points to ramp up precision
0.312 * * * * [points]: Setting MPFR precision to 64
0.314 * * * * [points]: Setting MPFR precision to 320
0.317 * * * * [points]: Computing exacts on every 2 of 158 points to ramp up precision
0.320 * * * * [points]: Setting MPFR precision to 64
0.345 * * * * [points]: Setting MPFR precision to 320
0.349 * * * * [points]: Computing exacts for 158 points
0.354 * * * * [points]: Setting MPFR precision to 64
0.365 * * * * [points]: Setting MPFR precision to 320
0.375 * * * * [points]: Filtering points with unrepresentable outputs
0.375 * * * * [points]: Sampling 142 additional inputs, on iter 5 have 114 / 256
0.376 * * * * [points]: Computing exacts on every 8 of 142 points to ramp up precision
0.379 * * * * [points]: Setting MPFR precision to 64
0.380 * * * * [points]: Setting MPFR precision to 320
0.382 * * * * [points]: Computing exacts on every 4 of 142 points to ramp up precision
0.385 * * * * [points]: Setting MPFR precision to 64
0.387 * * * * [points]: Setting MPFR precision to 320
0.389 * * * * [points]: Computing exacts on every 2 of 142 points to ramp up precision
0.392 * * * * [points]: Setting MPFR precision to 64
0.395 * * * * [points]: Setting MPFR precision to 320
0.398 * * * * [points]: Computing exacts for 142 points
0.401 * * * * [points]: Setting MPFR precision to 64
0.411 * * * * [points]: Setting MPFR precision to 320
0.420 * * * * [points]: Filtering points with unrepresentable outputs
0.420 * * * * [points]: Sampling 133 additional inputs, on iter 6 have 123 / 256
0.421 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision
0.424 * * * * [points]: Setting MPFR precision to 64
0.425 * * * * [points]: Setting MPFR precision to 320
0.426 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision
0.429 * * * * [points]: Setting MPFR precision to 64
0.431 * * * * [points]: Setting MPFR precision to 320
0.433 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision
0.752 * * * * [points]: Setting MPFR precision to 64
0.758 * * * * [points]: Setting MPFR precision to 320
0.767 * * * * [points]: Computing exacts for 133 points
0.773 * * * * [points]: Setting MPFR precision to 64
0.790 * * * * [points]: Setting MPFR precision to 320
0.807 * * * * [points]: Filtering points with unrepresentable outputs
0.807 * * * * [points]: Sampling 117 additional inputs, on iter 7 have 139 / 256
0.808 * * * * [points]: Computing exacts on every 7 of 117 points to ramp up precision
0.815 * * * * [points]: Setting MPFR precision to 64
0.817 * * * * [points]: Setting MPFR precision to 320
0.819 * * * * [points]: Computing exacts on every 3 of 117 points to ramp up precision
0.825 * * * * [points]: Setting MPFR precision to 64
0.828 * * * * [points]: Setting MPFR precision to 320
0.832 * * * * [points]: Computing exacts for 117 points
0.838 * * * * [points]: Setting MPFR precision to 64
0.852 * * * * [points]: Setting MPFR precision to 320
0.867 * * * * [points]: Filtering points with unrepresentable outputs
0.867 * * * * [points]: Sampling 104 additional inputs, on iter 8 have 152 / 256
0.868 * * * * [points]: Computing exacts on every 6 of 104 points to ramp up precision
0.875 * * * * [points]: Setting MPFR precision to 64
0.877 * * * * [points]: Setting MPFR precision to 320
0.879 * * * * [points]: Computing exacts on every 3 of 104 points to ramp up precision
0.885 * * * * [points]: Setting MPFR precision to 64
0.889 * * * * [points]: Setting MPFR precision to 320
0.892 * * * * [points]: Computing exacts for 104 points
0.898 * * * * [points]: Setting MPFR precision to 64
0.911 * * * * [points]: Setting MPFR precision to 320
0.925 * * * * [points]: Filtering points with unrepresentable outputs
0.925 * * * * [points]: Sampling 89 additional inputs, on iter 9 have 167 / 256
0.926 * * * * [points]: Computing exacts on every 5 of 89 points to ramp up precision
0.963 * * * * [points]: Setting MPFR precision to 64
0.965 * * * * [points]: Setting MPFR precision to 320
0.967 * * * * [points]: Computing exacts on every 2 of 89 points to ramp up precision
0.976 * * * * [points]: Setting MPFR precision to 64
0.979 * * * * [points]: Setting MPFR precision to 320
0.983 * * * * [points]: Computing exacts for 89 points
0.989 * * * * [points]: Setting MPFR precision to 64
0.999 * * * * [points]: Setting MPFR precision to 320
1.010 * * * * [points]: Filtering points with unrepresentable outputs
1.010 * * * * [points]: Sampling 79 additional inputs, on iter 10 have 177 / 256
1.011 * * * * [points]: Computing exacts on every 4 of 79 points to ramp up precision
1.017 * * * * [points]: Setting MPFR precision to 64
1.018 * * * * [points]: Setting MPFR precision to 320
1.020 * * * * [points]: Computing exacts on every 2 of 79 points to ramp up precision
1.026 * * * * [points]: Setting MPFR precision to 64
1.030 * * * * [points]: Setting MPFR precision to 320
1.033 * * * * [points]: Computing exacts for 79 points
1.039 * * * * [points]: Setting MPFR precision to 64
1.048 * * * * [points]: Setting MPFR precision to 320
1.057 * * * * [points]: Filtering points with unrepresentable outputs
1.057 * * * * [points]: Sampling 73 additional inputs, on iter 11 have 183 / 256
1.058 * * * * [points]: Computing exacts on every 4 of 73 points to ramp up precision
1.064 * * * * [points]: Setting MPFR precision to 64
1.066 * * * * [points]: Setting MPFR precision to 320
1.068 * * * * [points]: Computing exacts on every 2 of 73 points to ramp up precision
1.073 * * * * [points]: Setting MPFR precision to 64
1.076 * * * * [points]: Setting MPFR precision to 320
1.079 * * * * [points]: Computing exacts for 73 points
1.084 * * * * [points]: Setting MPFR precision to 64
1.089 * * * * [points]: Setting MPFR precision to 320
1.094 * * * * [points]: Filtering points with unrepresentable outputs
1.094 * * * * [points]: Sampling 66 additional inputs, on iter 12 have 190 / 256
1.094 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
1.097 * * * * [points]: Setting MPFR precision to 64
1.098 * * * * [points]: Setting MPFR precision to 320
1.099 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
1.121 * * * * [points]: Setting MPFR precision to 64
1.124 * * * * [points]: Setting MPFR precision to 320
1.125 * * * * [points]: Computing exacts for 66 points
1.130 * * * * [points]: Setting MPFR precision to 64
1.134 * * * * [points]: Setting MPFR precision to 320
1.139 * * * * [points]: Filtering points with unrepresentable outputs
1.139 * * * * [points]: Sampling 53 additional inputs, on iter 13 have 203 / 256
1.139 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
1.143 * * * * [points]: Setting MPFR precision to 64
1.144 * * * * [points]: Setting MPFR precision to 320
1.145 * * * * [points]: Computing exacts for 53 points
1.148 * * * * [points]: Setting MPFR precision to 64
1.152 * * * * [points]: Setting MPFR precision to 320
1.155 * * * * [points]: Filtering points with unrepresentable outputs
1.155 * * * * [points]: Sampling 41 additional inputs, on iter 14 have 215 / 256
1.156 * * * * [points]: Computing exacts on every 2 of 41 points to ramp up precision
1.159 * * * * [points]: Setting MPFR precision to 64
1.160 * * * * [points]: Setting MPFR precision to 320
1.161 * * * * [points]: Computing exacts for 41 points
1.164 * * * * [points]: Setting MPFR precision to 64
1.166 * * * * [points]: Setting MPFR precision to 320
1.169 * * * * [points]: Filtering points with unrepresentable outputs
1.169 * * * * [points]: Sampling 37 additional inputs, on iter 15 have 219 / 256
1.169 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
1.172 * * * * [points]: Setting MPFR precision to 64
1.173 * * * * [points]: Setting MPFR precision to 320
1.174 * * * * [points]: Computing exacts for 37 points
1.177 * * * * [points]: Setting MPFR precision to 64
1.180 * * * * [points]: Setting MPFR precision to 320
1.183 * * * * [points]: Filtering points with unrepresentable outputs
1.183 * * * * [points]: Sampling 33 additional inputs, on iter 16 have 223 / 256
1.183 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
1.186 * * * * [points]: Setting MPFR precision to 64
1.187 * * * * [points]: Setting MPFR precision to 320
1.187 * * * * [points]: Computing exacts for 33 points
1.191 * * * * [points]: Setting MPFR precision to 64
1.193 * * * * [points]: Setting MPFR precision to 320
1.195 * * * * [points]: Filtering points with unrepresentable outputs
1.195 * * * * [points]: Sampling 27 additional inputs, on iter 17 have 229 / 256
1.195 * * * * [points]: Computing exacts for 27 points
1.198 * * * * [points]: Setting MPFR precision to 64
1.200 * * * * [points]: Setting MPFR precision to 320
1.202 * * * * [points]: Filtering points with unrepresentable outputs
1.202 * * * * [points]: Sampling 23 additional inputs, on iter 18 have 233 / 256
1.202 * * * * [points]: Computing exacts for 23 points
1.206 * * * * [points]: Setting MPFR precision to 64
1.207 * * * * [points]: Setting MPFR precision to 320
1.228 * * * * [points]: Filtering points with unrepresentable outputs
1.228 * * * * [points]: Sampling 21 additional inputs, on iter 19 have 235 / 256
1.229 * * * * [points]: Computing exacts for 21 points
1.234 * * * * [points]: Setting MPFR precision to 64
1.239 * * * * [points]: Setting MPFR precision to 320
1.241 * * * * [points]: Filtering points with unrepresentable outputs
1.241 * * * * [points]: Sampling 16 additional inputs, on iter 20 have 240 / 256
1.241 * * * * [points]: Computing exacts for 16 points
1.247 * * * * [points]: Setting MPFR precision to 64
1.249 * * * * [points]: Setting MPFR precision to 320
1.251 * * * * [points]: Filtering points with unrepresentable outputs
1.251 * * * * [points]: Sampling 12 additional inputs, on iter 21 have 244 / 256
1.251 * * * * [points]: Computing exacts for 12 points
1.255 * * * * [points]: Setting MPFR precision to 64
1.256 * * * * [points]: Setting MPFR precision to 320
1.257 * * * * [points]: Filtering points with unrepresentable outputs
1.257 * * * * [points]: Sampling 9 additional inputs, on iter 22 have 247 / 256
1.257 * * * * [points]: Computing exacts for 9 points
1.260 * * * * [points]: Setting MPFR precision to 64
1.261 * * * * [points]: Setting MPFR precision to 320
1.262 * * * * [points]: Filtering points with unrepresentable outputs
1.262 * * * * [points]: Sampling 7 additional inputs, on iter 23 have 249 / 256
1.262 * * * * [points]: Computing exacts for 7 points
1.265 * * * * [points]: Setting MPFR precision to 64
1.265 * * * * [points]: Setting MPFR precision to 320
1.266 * * * * [points]: Filtering points with unrepresentable outputs
1.266 * * * * [points]: Sampling 7 additional inputs, on iter 24 have 249 / 256
1.266 * * * * [points]: Computing exacts for 7 points
1.269 * * * * [points]: Setting MPFR precision to 64
1.269 * * * * [points]: Setting MPFR precision to 320
1.270 * * * * [points]: Filtering points with unrepresentable outputs
1.270 * * * * [points]: Sampling 5 additional inputs, on iter 25 have 251 / 256
1.270 * * * * [points]: Computing exacts for 5 points
1.273 * * * * [points]: Setting MPFR precision to 64
1.274 * * * * [points]: Setting MPFR precision to 320
1.274 * * * * [points]: Filtering points with unrepresentable outputs
1.274 * * * * [points]: Sampling 5 additional inputs, on iter 26 have 251 / 256
1.274 * * * * [points]: Computing exacts for 5 points
1.277 * * * * [points]: Setting MPFR precision to 64
1.277 * * * * [points]: Setting MPFR precision to 320
1.278 * * * * [points]: Filtering points with unrepresentable outputs
1.278 * * * * [points]: Sampling 4 additional inputs, on iter 27 have 252 / 256
1.278 * * * * [points]: Computing exacts for 4 points
1.281 * * * * [points]: Setting MPFR precision to 64
1.281 * * * * [points]: Setting MPFR precision to 320
1.282 * * * * [points]: Filtering points with unrepresentable outputs
1.282 * * * * [points]: Sampling 4 additional inputs, on iter 28 have 252 / 256
1.282 * * * * [points]: Computing exacts for 4 points
1.288 * * * * [points]: Setting MPFR precision to 64
1.288 * * * * [points]: Setting MPFR precision to 320
1.289 * * * * [points]: Filtering points with unrepresentable outputs
1.289 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 252 / 256
1.289 * * * * [points]: Computing exacts for 4 points
1.295 * * * * [points]: Setting MPFR precision to 64
1.295 * * * * [points]: Setting MPFR precision to 320
1.296 * * * * [points]: Filtering points with unrepresentable outputs
1.296 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 253 / 256
1.296 * * * * [points]: Computing exacts for 4 points
1.302 * * * * [points]: Setting MPFR precision to 64
1.302 * * * * [points]: Setting MPFR precision to 320
1.303 * * * * [points]: Filtering points with unrepresentable outputs
1.303 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 253 / 256
1.303 * * * * [points]: Computing exacts for 4 points
1.309 * * * * [points]: Setting MPFR precision to 64
1.310 * * * * [points]: Setting MPFR precision to 320
1.310 * * * * [points]: Filtering points with unrepresentable outputs
1.310 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 253 / 256
1.310 * * * * [points]: Computing exacts for 4 points
1.313 * * * * [points]: Setting MPFR precision to 64
1.314 * * * * [points]: Setting MPFR precision to 320
1.314 * * * * [points]: Filtering points with unrepresentable outputs
1.314 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 253 / 256
1.314 * * * * [points]: Computing exacts for 4 points
1.317 * * * * [points]: Setting MPFR precision to 64
1.318 * * * * [points]: Setting MPFR precision to 320
1.318 * * * * [points]: Filtering points with unrepresentable outputs
1.318 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 253 / 256
1.318 * * * * [points]: Computing exacts for 4 points
1.321 * * * * [points]: Setting MPFR precision to 64
1.321 * * * * [points]: Setting MPFR precision to 320
1.322 * * * * [points]: Filtering points with unrepresentable outputs
1.322 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 254 / 256
1.322 * * * * [points]: Computing exacts for 4 points
1.343 * * * * [points]: Setting MPFR precision to 64
1.344 * * * * [points]: Setting MPFR precision to 320
1.345 * * * * [points]: Filtering points with unrepresentable outputs
1.345 * * * * [points]: Sampled 256 points with exact outputs
1.345 * * * [progress]: [2/2] Setting up program.
1.357 * [progress]: [Phase 2 of 3] Improving.
1.357 * * * * [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.357 * [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.358 * * [simplify]: iters left: 6 (15 enodes)
1.361 * * [simplify]: iters left: 5 (54 enodes)
1.381 * * [simplify]: iters left: 4 (174 enodes)
1.468 * * [simplify]: Extracting #0: cost 1 inf + 0
1.468 * * [simplify]: Extracting #1: cost 2 inf + 0
1.468 * * [simplify]: Extracting #2: cost 52 inf + 0
1.469 * * [simplify]: Extracting #3: cost 218 inf + 0
1.470 * * [simplify]: Extracting #4: cost 350 inf + 488
1.474 * * [simplify]: Extracting #5: cost 271 inf + 83278
1.488 * * [simplify]: Extracting #6: cost 99 inf + 301152
1.516 * * [simplify]: Extracting #7: cost 13 inf + 445414
1.559 * * [simplify]: Extracting #8: cost 0 inf + 471346
1.589 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
1.589 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
1.601 * * [progress]: iteration 1 / 4
1.601 * * * [progress]: picking best candidate
1.617 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1.617 * * * [progress]: localizing error
1.959 * * * [progress]: generating rewritten candidates
1.959 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
2.003 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
2.051 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
2.091 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
2.106 * * * [progress]: generating series expansions
2.106 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
2.106 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
2.106 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
2.106 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
2.106 * * * [progress]: simplifying candidates
2.106 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.106 * [simplify]: Simplifying (neg.p16 b)
2.106 * * [simplify]: iters left: 1 (2 enodes)
2.107 * * [simplify]: Extracting #0: cost 1 inf + 0
2.107 * * [simplify]: Extracting #1: cost 2 inf + 0
2.107 * * [simplify]: Extracting #2: cost 1 inf + 1
2.107 * * [simplify]: Extracting #3: cost 0 inf + 82
2.107 * [simplify]: Simplified to (neg.p16 b)
2.107 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
2.107 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.107 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))
2.107 * * [simplify]: iters left: 5 (11 enodes)
2.110 * * [simplify]: iters left: 4 (36 enodes)
2.116 * * [simplify]: iters left: 3 (93 enodes)
2.143 * * [simplify]: iters left: 2 (310 enodes)
2.324 * * [simplify]: Extracting #0: cost 1 inf + 0
2.324 * * [simplify]: Extracting #1: cost 32 inf + 0
2.325 * * [simplify]: Extracting #2: cost 177 inf + 0
2.326 * * [simplify]: Extracting #3: cost 262 inf + 3
2.329 * * [simplify]: Extracting #4: cost 421 inf + 54370
2.349 * * [simplify]: Extracting #5: cost 153 inf + 436108
2.390 * * [simplify]: Extracting #6: cost 5 inf + 707828
2.432 * * [simplify]: Extracting #7: cost 1 inf + 716961
2.475 * * [simplify]: Extracting #8: cost 0 inf + 720765
2.518 * [simplify]: Simplified to (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))
2.518 * [simplify]: Simplified (2 1 1 2 1) to (λ (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 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
2.518 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
2.519 * * [simplify]: iters left: 4 (9 enodes)
2.521 * * [simplify]: iters left: 3 (21 enodes)
2.524 * * [simplify]: iters left: 2 (27 enodes)
2.528 * * [simplify]: iters left: 1 (28 enodes)
2.531 * * [simplify]: Extracting #0: cost 1 inf + 0
2.531 * * [simplify]: Extracting #1: cost 3 inf + 0
2.531 * * [simplify]: Extracting #2: cost 4 inf + 1
2.531 * * [simplify]: Extracting #3: cost 10 inf + 1
2.531 * * [simplify]: Extracting #4: cost 5 inf + 47
2.531 * * [simplify]: Extracting #5: cost 1 inf + 738
2.531 * * [simplify]: Extracting #6: cost 0 inf + 1302
2.532 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
2.532 * [simplify]: Simplified (2 1 1 2 2) to (λ (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 a (+.p16 c b)) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
2.532 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.532 * [simplify]: Simplifying (neg.p16 a)
2.532 * * [simplify]: iters left: 1 (2 enodes)
2.532 * * [simplify]: Extracting #0: cost 1 inf + 0
2.532 * * [simplify]: Extracting #1: cost 2 inf + 0
2.532 * * [simplify]: Extracting #2: cost 1 inf + 1
2.532 * * [simplify]: Extracting #3: cost 0 inf + 82
2.532 * [simplify]: Simplified to (neg.p16 a)
2.532 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
2.533 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.533 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))
2.533 * * [simplify]: iters left: 5 (11 enodes)
2.535 * * [simplify]: iters left: 4 (36 enodes)
2.542 * * [simplify]: iters left: 3 (93 enodes)
2.564 * * [simplify]: iters left: 2 (310 enodes)
2.704 * * [simplify]: Extracting #0: cost 1 inf + 0
2.704 * * [simplify]: Extracting #1: cost 32 inf + 0
2.704 * * [simplify]: Extracting #2: cost 177 inf + 0
2.705 * * [simplify]: Extracting #3: cost 264 inf + 3
2.707 * * [simplify]: Extracting #4: cost 467 inf + 4714
2.722 * * [simplify]: Extracting #5: cost 264 inf + 269730
2.776 * * [simplify]: Extracting #6: cost 26 inf + 662825
2.819 * * [simplify]: Extracting #7: cost 3 inf + 715354
2.862 * * [simplify]: Extracting #8: cost 0 inf + 724446
2.904 * [simplify]: Simplified to (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))
2.904 * [simplify]: Simplified (2 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
2.905 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
2.905 * * [simplify]: iters left: 4 (9 enodes)
2.907 * * [simplify]: iters left: 3 (21 enodes)
2.910 * * [simplify]: iters left: 2 (27 enodes)
2.914 * * [simplify]: iters left: 1 (28 enodes)
2.918 * * [simplify]: Extracting #0: cost 1 inf + 0
2.918 * * [simplify]: Extracting #1: cost 3 inf + 0
2.918 * * [simplify]: Extracting #2: cost 4 inf + 1
2.918 * * [simplify]: Extracting #3: cost 10 inf + 1
2.918 * * [simplify]: Extracting #4: cost 1 inf + 738
2.918 * * [simplify]: Extracting #5: cost 0 inf + 1302
2.918 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
2.918 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (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 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
2.918 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
2.919 * [simplify]: Simplifying (neg.p16 c)
2.919 * * [simplify]: iters left: 1 (2 enodes)
2.919 * * [simplify]: Extracting #0: cost 1 inf + 0
2.919 * * [simplify]: Extracting #1: cost 2 inf + 0
2.919 * * [simplify]: Extracting #2: cost 1 inf + 1
2.919 * * [simplify]: Extracting #3: cost 0 inf + 82
2.919 * [simplify]: Simplified to (neg.p16 c)
2.919 * [simplify]: Simplified (2 1 2 2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))
2.919 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
2.919 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))
2.920 * * [simplify]: iters left: 5 (11 enodes)
2.922 * * [simplify]: iters left: 4 (36 enodes)
2.929 * * [simplify]: iters left: 3 (93 enodes)
2.950 * * [simplify]: iters left: 2 (310 enodes)
3.093 * * [simplify]: Extracting #0: cost 1 inf + 0
3.093 * * [simplify]: Extracting #1: cost 32 inf + 0
3.094 * * [simplify]: Extracting #2: cost 177 inf + 0
3.095 * * [simplify]: Extracting #3: cost 264 inf + 3
3.096 * * [simplify]: Extracting #4: cost 468 inf + 3993
3.108 * * [simplify]: Extracting #5: cost 260 inf + 278346
3.143 * * [simplify]: Extracting #6: cost 26 inf + 662225
3.187 * * [simplify]: Extracting #7: cost 4 inf + 710950
3.232 * * [simplify]: Extracting #8: cost 0 inf + 722886
3.290 * [simplify]: Simplified to (*.p16 (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))
3.290 * [simplify]: Simplified (2 1 2 1) to (λ (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 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
3.291 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
3.291 * * [simplify]: iters left: 4 (9 enodes)
3.294 * * [simplify]: iters left: 3 (21 enodes)
3.297 * * [simplify]: iters left: 2 (27 enodes)
3.300 * * [simplify]: iters left: 1 (28 enodes)
3.304 * * [simplify]: Extracting #0: cost 1 inf + 0
3.304 * * [simplify]: Extracting #1: cost 3 inf + 0
3.304 * * [simplify]: Extracting #2: cost 4 inf + 1
3.304 * * [simplify]: Extracting #3: cost 10 inf + 1
3.304 * * [simplify]: Extracting #4: cost 5 inf + 47
3.304 * * [simplify]: Extracting #5: cost 1 inf + 738
3.304 * * [simplify]: Extracting #6: cost 0 inf + 1302
3.305 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
3.305 * [simplify]: Simplified (2 1 2 2) to (λ (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 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))))))
3.305 * * * * [progress]: [ 7 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) c))))>
3.305 * [simplify]: Simplifying (+.p16 b c)
3.305 * * [simplify]: iters left: 1 (3 enodes)
3.306 * * [simplify]: Extracting #0: cost 1 inf + 0
3.306 * * [simplify]: Extracting #1: cost 3 inf + 0
3.306 * * [simplify]: Extracting #2: cost 1 inf + 2
3.306 * * [simplify]: Extracting #3: cost 0 inf + 44
3.306 * [simplify]: Simplified to (+.p16 c b)
3.306 * [simplify]: Simplified (2 1 2 1 1 2) to (λ (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 a (+.p16 c b)) (real->posit16 2)) c))))
3.306 * * * * [progress]: [ 8 / 12 ] 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 c (+.p16 a b)) (real->posit16 2)) c))))>
3.306 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.306 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
3.306 * * [simplify]: iters left: 6 (15 enodes)
3.310 * * [simplify]: iters left: 5 (54 enodes)
3.321 * * [simplify]: iters left: 4 (174 enodes)
3.418 * * [simplify]: Extracting #0: cost 1 inf + 0
3.419 * * [simplify]: Extracting #1: cost 2 inf + 0
3.419 * * [simplify]: Extracting #2: cost 52 inf + 0
3.420 * * [simplify]: Extracting #3: cost 218 inf + 0
3.422 * * [simplify]: Extracting #4: cost 350 inf + 488
3.430 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.448 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.492 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.536 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.563 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
3.563 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
3.563 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.564 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
3.564 * * [simplify]: iters left: 6 (15 enodes)
3.567 * * [simplify]: iters left: 5 (54 enodes)
3.578 * * [simplify]: iters left: 4 (174 enodes)
3.655 * * [simplify]: Extracting #0: cost 1 inf + 0
3.656 * * [simplify]: Extracting #1: cost 2 inf + 0
3.656 * * [simplify]: Extracting #2: cost 52 inf + 0
3.656 * * [simplify]: Extracting #3: cost 218 inf + 0
3.657 * * [simplify]: Extracting #4: cost 350 inf + 488
3.664 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.678 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.717 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.759 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.804 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
3.804 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
3.805 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.805 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
3.805 * * [simplify]: iters left: 6 (15 enodes)
3.811 * * [simplify]: iters left: 5 (54 enodes)
3.828 * * [simplify]: iters left: 4 (174 enodes)
3.939 * * [simplify]: Extracting #0: cost 1 inf + 0
3.939 * * [simplify]: Extracting #1: cost 2 inf + 0
3.939 * * [simplify]: Extracting #2: cost 52 inf + 0
3.940 * * [simplify]: Extracting #3: cost 218 inf + 0
3.941 * * [simplify]: Extracting #4: cost 350 inf + 488
3.945 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.965 * * [simplify]: Extracting #6: cost 99 inf + 301152
4.005 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.036 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.063 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
4.064 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
4.064 * * * * [progress]: [ 12 / 12 ] 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))))>
4.064 * [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)))
4.064 * * [simplify]: iters left: 6 (15 enodes)
4.068 * * [simplify]: iters left: 5 (54 enodes)
4.078 * * [simplify]: iters left: 4 (174 enodes)
4.148 * * [simplify]: Extracting #0: cost 1 inf + 0
4.148 * * [simplify]: Extracting #1: cost 2 inf + 0
4.148 * * [simplify]: Extracting #2: cost 52 inf + 0
4.148 * * [simplify]: Extracting #3: cost 218 inf + 0
4.149 * * [simplify]: Extracting #4: cost 350 inf + 488
4.154 * * [simplify]: Extracting #5: cost 271 inf + 83278
4.170 * * [simplify]: Extracting #6: cost 99 inf + 301152
4.196 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.223 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.251 * [simplify]: Simplified to (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
4.251 * [simplify]: Simplified (2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))))
4.251 * * * [progress]: adding candidates to table
4.706 * * [progress]: iteration 2 / 4
4.706 * * * [progress]: picking best candidate
4.748 * * * * [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 a (+.p16 b c)) (real->posit16 2)) c))))>
4.749 * * * [progress]: localizing error
5.066 * * * [progress]: generating rewritten candidates
5.066 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
5.088 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
5.114 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
5.123 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
5.131 * * * [progress]: generating series expansions
5.131 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
5.131 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
5.131 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
5.131 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1)
5.131 * * * [progress]: simplifying candidates
5.131 * * * * [progress]: [ 1 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) c))))>
5.131 * [simplify]: Simplifying (neg.p16 b)
5.131 * * [simplify]: iters left: 1 (2 enodes)
5.132 * * [simplify]: Extracting #0: cost 1 inf + 0
5.132 * * [simplify]: Extracting #1: cost 2 inf + 0
5.132 * * [simplify]: Extracting #2: cost 1 inf + 1
5.132 * * [simplify]: Extracting #3: cost 0 inf + 82
5.132 * [simplify]: Simplified to (neg.p16 b)
5.132 * [simplify]: Simplified (2 1 1 2 2) to (λ (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 a (+.p16 b c)) (real->posit16 2)) c))))
5.132 * * * * [progress]: [ 2 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) c))))>
5.132 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))
5.132 * * [simplify]: iters left: 5 (11 enodes)
5.135 * * [simplify]: iters left: 4 (36 enodes)
5.142 * * [simplify]: iters left: 3 (93 enodes)
5.162 * * [simplify]: iters left: 2 (310 enodes)
5.307 * * [simplify]: Extracting #0: cost 1 inf + 0
5.307 * * [simplify]: Extracting #1: cost 32 inf + 0
5.307 * * [simplify]: Extracting #2: cost 177 inf + 0
5.308 * * [simplify]: Extracting #3: cost 262 inf + 3
5.311 * * [simplify]: Extracting #4: cost 421 inf + 54370
5.331 * * [simplify]: Extracting #5: cost 153 inf + 436108
5.389 * * [simplify]: Extracting #6: cost 5 inf + 707828
5.448 * * [simplify]: Extracting #7: cost 1 inf + 716961
5.507 * * [simplify]: Extracting #8: cost 0 inf + 720765
5.565 * [simplify]: Simplified to (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b))
5.565 * [simplify]: Simplified (2 1 1 2 1) to (λ (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 b a) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
5.565 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
5.565 * * [simplify]: iters left: 4 (9 enodes)
5.569 * * [simplify]: iters left: 3 (21 enodes)
5.575 * * [simplify]: iters left: 2 (27 enodes)
5.582 * * [simplify]: iters left: 1 (28 enodes)
5.588 * * [simplify]: Extracting #0: cost 1 inf + 0
5.588 * * [simplify]: Extracting #1: cost 3 inf + 0
5.588 * * [simplify]: Extracting #2: cost 4 inf + 1
5.588 * * [simplify]: Extracting #3: cost 10 inf + 1
5.588 * * [simplify]: Extracting #4: cost 5 inf + 47
5.589 * * [simplify]: Extracting #5: cost 1 inf + 738
5.589 * * [simplify]: Extracting #6: cost 0 inf + 1302
5.589 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
5.589 * [simplify]: Simplified (2 1 1 2 2) to (λ (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 a (+.p16 c b)) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
5.589 * * * * [progress]: [ 3 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) c))))>
5.590 * [simplify]: Simplifying (neg.p16 a)
5.590 * * [simplify]: iters left: 1 (2 enodes)
5.591 * * [simplify]: Extracting #0: cost 1 inf + 0
5.591 * * [simplify]: Extracting #1: cost 2 inf + 0
5.591 * * [simplify]: Extracting #2: cost 1 inf + 1
5.591 * * [simplify]: Extracting #3: cost 0 inf + 82
5.591 * [simplify]: Simplified to (neg.p16 a)
5.591 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (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 a (+.p16 b c)) (real->posit16 2)) c))))
5.591 * * * * [progress]: [ 4 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) c))))>
5.591 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))
5.591 * * [simplify]: iters left: 5 (11 enodes)
5.597 * * [simplify]: iters left: 4 (36 enodes)
5.606 * * [simplify]: iters left: 3 (93 enodes)
5.643 * * [simplify]: iters left: 2 (310 enodes)
5.859 * * [simplify]: Extracting #0: cost 1 inf + 0
5.859 * * [simplify]: Extracting #1: cost 32 inf + 0
5.860 * * [simplify]: Extracting #2: cost 177 inf + 0
5.861 * * [simplify]: Extracting #3: cost 264 inf + 3
5.865 * * [simplify]: Extracting #4: cost 467 inf + 4714
5.879 * * [simplify]: Extracting #5: cost 264 inf + 269730
5.913 * * [simplify]: Extracting #6: cost 26 inf + 662825
5.984 * * [simplify]: Extracting #7: cost 3 inf + 715354
6.051 * * [simplify]: Extracting #8: cost 0 inf + 724446
6.101 * [simplify]: Simplified to (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))
6.101 * [simplify]: Simplified (2 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
6.102 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
6.102 * * [simplify]: iters left: 4 (9 enodes)
6.104 * * [simplify]: iters left: 3 (21 enodes)
6.107 * * [simplify]: iters left: 2 (27 enodes)
6.111 * * [simplify]: iters left: 1 (28 enodes)
6.116 * * [simplify]: Extracting #0: cost 1 inf + 0
6.116 * * [simplify]: Extracting #1: cost 3 inf + 0
6.116 * * [simplify]: Extracting #2: cost 4 inf + 1
6.116 * * [simplify]: Extracting #3: cost 10 inf + 1
6.116 * * [simplify]: Extracting #4: cost 1 inf + 738
6.116 * * [simplify]: Extracting #5: cost 0 inf + 1302
6.117 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
6.117 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (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 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
6.117 * * * * [progress]: [ 5 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) (neg.p16 c)))))>
6.117 * [simplify]: Simplifying (neg.p16 c)
6.117 * * [simplify]: iters left: 1 (2 enodes)
6.117 * * [simplify]: Extracting #0: cost 1 inf + 0
6.117 * * [simplify]: Extracting #1: cost 2 inf + 0
6.117 * * [simplify]: Extracting #2: cost 1 inf + 1
6.118 * * [simplify]: Extracting #3: cost 0 inf + 82
6.118 * [simplify]: Simplified to (neg.p16 c)
6.118 * [simplify]: Simplified (2 1 2 2) to (λ (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 a (+.p16 b c)) (real->posit16 2)) (neg.p16 c)))))
6.118 * * * * [progress]: [ 6 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c)))))>
6.118 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2))) (*.p16 c c))
6.118 * * [simplify]: iters left: 5 (11 enodes)
6.121 * * [simplify]: iters left: 4 (36 enodes)
6.128 * * [simplify]: iters left: 3 (93 enodes)
6.160 * * [simplify]: iters left: 2 (308 enodes)
6.401 * * [simplify]: Extracting #0: cost 1 inf + 0
6.401 * * [simplify]: Extracting #1: cost 32 inf + 0
6.402 * * [simplify]: Extracting #2: cost 177 inf + 0
6.404 * * [simplify]: Extracting #3: cost 262 inf + 324
6.411 * * [simplify]: Extracting #4: cost 412 inf + 68682
6.459 * * [simplify]: Extracting #5: cost 111 inf + 523519
6.528 * * [simplify]: Extracting #6: cost 2 inf + 708073
6.596 * * [simplify]: Extracting #7: cost 0 inf + 714841
6.669 * [simplify]: Simplified to (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))
6.669 * [simplify]: Simplified (2 1 2 1) to (λ (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 c (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c)))))
6.669 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c)
6.669 * * [simplify]: iters left: 4 (9 enodes)
6.673 * * [simplify]: iters left: 3 (21 enodes)
6.678 * * [simplify]: iters left: 2 (27 enodes)
6.686 * * [simplify]: iters left: 1 (29 enodes)
6.690 * * [simplify]: Extracting #0: cost 1 inf + 0
6.690 * * [simplify]: Extracting #1: cost 3 inf + 0
6.690 * * [simplify]: Extracting #2: cost 4 inf + 1
6.690 * * [simplify]: Extracting #3: cost 10 inf + 1
6.690 * * [simplify]: Extracting #4: cost 6 inf + 46
6.691 * * [simplify]: Extracting #5: cost 0 inf + 1302
6.691 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)))
6.691 * [simplify]: Simplified (2 1 2 2) to (λ (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 c (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c)) (+.p16 c (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)))))))
6.691 * * * * [progress]: [ 7 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
6.691 * [simplify]: Simplifying (+.p16 b c)
6.691 * * [simplify]: iters left: 1 (3 enodes)
6.692 * * [simplify]: Extracting #0: cost 1 inf + 0
6.692 * * [simplify]: Extracting #1: cost 3 inf + 0
6.692 * * [simplify]: Extracting #2: cost 1 inf + 2
6.692 * * [simplify]: Extracting #3: cost 0 inf + 44
6.692 * [simplify]: Simplified to (+.p16 c b)
6.692 * [simplify]: Simplified (2 1 1 2 1 1 2) to (λ (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 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
6.692 * * * * [progress]: [ 8 / 12 ] 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 c (+.p16 a b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
6.692 * * * * [progress]: [ 9 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) c))))>
6.692 * [simplify]: Simplifying (+.p16 b c)
6.692 * * [simplify]: iters left: 1 (3 enodes)
6.693 * * [simplify]: Extracting #0: cost 1 inf + 0
6.693 * * [simplify]: Extracting #1: cost 3 inf + 0
6.693 * * [simplify]: Extracting #2: cost 1 inf + 2
6.693 * * [simplify]: Extracting #3: cost 0 inf + 44
6.693 * [simplify]: Simplified to (+.p16 c b)
6.693 * [simplify]: Simplified (2 1 2 1 1 2) to (λ (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 a (+.p16 c b)) (real->posit16 2)) c))))
6.693 * * * * [progress]: [ 10 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) c))))>
6.693 * [simplify]: Simplifying (+.p16 b c)
6.693 * * [simplify]: iters left: 1 (3 enodes)
6.694 * * [simplify]: Extracting #0: cost 1 inf + 0
6.694 * * [simplify]: Extracting #1: cost 3 inf + 0
6.695 * * [simplify]: Extracting #2: cost 1 inf + 2
6.695 * * [simplify]: Extracting #3: cost 0 inf + 44
6.695 * [simplify]: Simplified to (+.p16 c b)
6.695 * [simplify]: Simplified (2 1 2 1 1 2) to (λ (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 a (+.p16 c b)) (real->posit16 2)) c))))
6.695 * * * * [progress]: [ 11 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) c))))>
6.695 * [simplify]: Simplifying (+.p16 b c)
6.695 * * [simplify]: iters left: 1 (3 enodes)
6.696 * * [simplify]: Extracting #0: cost 1 inf + 0
6.696 * * [simplify]: Extracting #1: cost 3 inf + 0
6.696 * * [simplify]: Extracting #2: cost 1 inf + 2
6.696 * * [simplify]: Extracting #3: cost 0 inf + 44
6.696 * [simplify]: Simplified to (+.p16 c b)
6.696 * [simplify]: Simplified (2 1 2 1 1 2) to (λ (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 a (+.p16 c b)) (real->posit16 2)) c))))
6.697 * * * * [progress]: [ 12 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) c))))>
6.697 * [simplify]: Simplifying (+.p16 b c)
6.697 * * [simplify]: iters left: 1 (3 enodes)
6.698 * * [simplify]: Extracting #0: cost 1 inf + 0
6.698 * * [simplify]: Extracting #1: cost 3 inf + 0
6.698 * * [simplify]: Extracting #2: cost 1 inf + 2
6.698 * * [simplify]: Extracting #3: cost 0 inf + 44
6.698 * [simplify]: Simplified to (+.p16 c b)
6.698 * [simplify]: Simplified (2 1 2 1 1 2) to (λ (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 a (+.p16 c b)) (real->posit16 2)) c))))
6.698 * * * [progress]: adding candidates to table
7.032 * * [progress]: iteration 3 / 4
7.032 * * * [progress]: picking best candidate
7.066 * * * * [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 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
7.066 * * * [progress]: localizing error
7.338 * * * [progress]: generating rewritten candidates
7.338 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
7.348 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
7.375 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
7.385 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 1)
7.393 * * * [progress]: generating series expansions
7.393 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
7.393 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
7.393 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
7.393 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 1)
7.394 * * * [progress]: simplifying candidates
7.394 * * * * [progress]: [ 1 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
7.394 * [simplify]: Simplifying (neg.p16 b)
7.394 * * [simplify]: iters left: 1 (2 enodes)
7.394 * * [simplify]: Extracting #0: cost 1 inf + 0
7.394 * * [simplify]: Extracting #1: cost 2 inf + 0
7.394 * * [simplify]: Extracting #2: cost 1 inf + 1
7.394 * * [simplify]: Extracting #3: cost 0 inf + 82
7.394 * [simplify]: Simplified to (neg.p16 b)
7.394 * [simplify]: Simplified (2 1 1 2 2) to (λ (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 a (+.p16 b c)) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
7.394 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
7.395 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2))) (*.p16 b b))
7.395 * * [simplify]: iters left: 5 (11 enodes)
7.398 * * [simplify]: iters left: 4 (36 enodes)
7.405 * * [simplify]: iters left: 3 (93 enodes)
7.426 * * [simplify]: iters left: 2 (308 enodes)
7.631 * * [simplify]: Extracting #0: cost 1 inf + 0
7.631 * * [simplify]: Extracting #1: cost 32 inf + 0
7.632 * * [simplify]: Extracting #2: cost 177 inf + 0
7.633 * * [simplify]: Extracting #3: cost 261 inf + 324
7.639 * * [simplify]: Extracting #4: cost 420 inf + 66053
7.676 * * [simplify]: Extracting #5: cost 118 inf + 514168
7.742 * * [simplify]: Extracting #6: cost 1 inf + 712757
7.797 * * [simplify]: Extracting #7: cost 0 inf + 715281
7.837 * [simplify]: Simplified to (*.p16 (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b))
7.838 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
7.838 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)
7.838 * * [simplify]: iters left: 4 (9 enodes)
7.840 * * [simplify]: iters left: 3 (21 enodes)
7.843 * * [simplify]: iters left: 2 (27 enodes)
7.847 * * [simplify]: iters left: 1 (29 enodes)
7.851 * * [simplify]: Extracting #0: cost 1 inf + 0
7.851 * * [simplify]: Extracting #1: cost 3 inf + 0
7.851 * * [simplify]: Extracting #2: cost 4 inf + 1
7.851 * * [simplify]: Extracting #3: cost 10 inf + 1
7.851 * * [simplify]: Extracting #4: cost 6 inf + 46
7.851 * * [simplify]: Extracting #5: cost 0 inf + 1302
7.851 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)
7.851 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
7.852 * * * * [progress]: [ 3 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
7.852 * [simplify]: Simplifying (neg.p16 a)
7.852 * * [simplify]: iters left: 1 (2 enodes)
7.852 * * [simplify]: Extracting #0: cost 1 inf + 0
7.852 * * [simplify]: Extracting #1: cost 2 inf + 0
7.852 * * [simplify]: Extracting #2: cost 1 inf + 1
7.852 * * [simplify]: Extracting #3: cost 0 inf + 82
7.852 * [simplify]: Simplified to (neg.p16 a)
7.852 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (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 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
7.852 * * * * [progress]: [ 4 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
7.852 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))
7.853 * * [simplify]: iters left: 5 (11 enodes)
7.856 * * [simplify]: iters left: 4 (36 enodes)
7.869 * * [simplify]: iters left: 3 (93 enodes)
7.903 * * [simplify]: iters left: 2 (310 enodes)
8.099 * * [simplify]: Extracting #0: cost 1 inf + 0
8.099 * * [simplify]: Extracting #1: cost 32 inf + 0
8.120 * * [simplify]: Extracting #2: cost 177 inf + 0
8.122 * * [simplify]: Extracting #3: cost 264 inf + 3
8.125 * * [simplify]: Extracting #4: cost 467 inf + 4714
8.144 * * [simplify]: Extracting #5: cost 264 inf + 269730
8.201 * * [simplify]: Extracting #6: cost 26 inf + 662825
8.255 * * [simplify]: Extracting #7: cost 3 inf + 715354
8.299 * * [simplify]: Extracting #8: cost 0 inf + 724446
8.361 * [simplify]: Simplified to (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))
8.361 * [simplify]: Simplified (2 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
8.362 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
8.362 * * [simplify]: iters left: 4 (9 enodes)
8.366 * * [simplify]: iters left: 3 (21 enodes)
8.371 * * [simplify]: iters left: 2 (27 enodes)
8.377 * * [simplify]: iters left: 1 (28 enodes)
8.383 * * [simplify]: Extracting #0: cost 1 inf + 0
8.383 * * [simplify]: Extracting #1: cost 3 inf + 0
8.384 * * [simplify]: Extracting #2: cost 4 inf + 1
8.384 * * [simplify]: Extracting #3: cost 10 inf + 1
8.384 * * [simplify]: Extracting #4: cost 1 inf + 738
8.384 * * [simplify]: Extracting #5: cost 0 inf + 1302
8.384 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
8.384 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (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 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
8.385 * * * * [progress]: [ 5 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) (neg.p16 c)))))>
8.385 * [simplify]: Simplifying (neg.p16 c)
8.385 * * [simplify]: iters left: 1 (2 enodes)
8.385 * * [simplify]: Extracting #0: cost 1 inf + 0
8.385 * * [simplify]: Extracting #1: cost 2 inf + 0
8.385 * * [simplify]: Extracting #2: cost 1 inf + 1
8.385 * * [simplify]: Extracting #3: cost 0 inf + 82
8.385 * [simplify]: Simplified to (neg.p16 c)
8.385 * [simplify]: Simplified (2 1 2 2) to (λ (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 a (+.p16 b c)) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) (neg.p16 c)))))
8.386 * * * * [progress]: [ 6 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c)))))>
8.386 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2))) (*.p16 c c))
8.386 * * [simplify]: iters left: 5 (11 enodes)
8.389 * * [simplify]: iters left: 4 (36 enodes)
8.398 * * [simplify]: iters left: 3 (93 enodes)
8.423 * * [simplify]: iters left: 2 (308 enodes)
8.595 * * [simplify]: Extracting #0: cost 1 inf + 0
8.595 * * [simplify]: Extracting #1: cost 32 inf + 0
8.596 * * [simplify]: Extracting #2: cost 177 inf + 0
8.597 * * [simplify]: Extracting #3: cost 262 inf + 324
8.604 * * [simplify]: Extracting #4: cost 412 inf + 68682
8.643 * * [simplify]: Extracting #5: cost 111 inf + 523519
8.718 * * [simplify]: Extracting #6: cost 2 inf + 708073
8.796 * * [simplify]: Extracting #7: cost 0 inf + 714841
8.870 * [simplify]: Simplified to (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))
8.870 * [simplify]: Simplified (2 1 2 1) to (λ (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 a (+.p16 b c)) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c)))))
8.870 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c)
8.871 * * [simplify]: iters left: 4 (9 enodes)
8.874 * * [simplify]: iters left: 3 (21 enodes)
8.882 * * [simplify]: iters left: 2 (27 enodes)
8.890 * * [simplify]: iters left: 1 (29 enodes)
8.898 * * [simplify]: Extracting #0: cost 1 inf + 0
8.898 * * [simplify]: Extracting #1: cost 3 inf + 0
8.898 * * [simplify]: Extracting #2: cost 4 inf + 1
8.899 * * [simplify]: Extracting #3: cost 10 inf + 1
8.899 * * [simplify]: Extracting #4: cost 6 inf + 46
8.899 * * [simplify]: Extracting #5: cost 0 inf + 1302
8.899 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)))
8.899 * [simplify]: Simplified (2 1 2 2) to (λ (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 a (+.p16 b c)) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c)) (+.p16 c (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)))))))
8.899 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
8.900 * [simplify]: Simplifying (+.p16 b c)
8.900 * * [simplify]: iters left: 1 (3 enodes)
8.901 * * [simplify]: Extracting #0: cost 1 inf + 0
8.901 * * [simplify]: Extracting #1: cost 3 inf + 0
8.901 * * [simplify]: Extracting #2: cost 1 inf + 2
8.901 * * [simplify]: Extracting #3: cost 0 inf + 44
8.901 * [simplify]: Simplified to (+.p16 c b)
8.901 * [simplify]: Simplified (2 1 1 1 2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
8.902 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
8.902 * * * * [progress]: [ 9 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
8.902 * [simplify]: Simplifying (+.p16 b c)
8.902 * * [simplify]: iters left: 1 (3 enodes)
8.903 * * [simplify]: Extracting #0: cost 1 inf + 0
8.903 * * [simplify]: Extracting #1: cost 3 inf + 0
8.903 * * [simplify]: Extracting #2: cost 1 inf + 2
8.903 * * [simplify]: Extracting #3: cost 0 inf + 44
8.903 * [simplify]: Simplified to (+.p16 c b)
8.903 * [simplify]: Simplified (2 1 1 2 1 1 2) to (λ (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 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
8.904 * * * * [progress]: [ 10 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
8.904 * [simplify]: Simplifying (+.p16 b c)
8.904 * * [simplify]: iters left: 1 (3 enodes)
8.905 * * [simplify]: Extracting #0: cost 1 inf + 0
8.905 * * [simplify]: Extracting #1: cost 3 inf + 0
8.905 * * [simplify]: Extracting #2: cost 1 inf + 2
8.905 * * [simplify]: Extracting #3: cost 0 inf + 44
8.905 * [simplify]: Simplified to (+.p16 c b)
8.905 * [simplify]: Simplified (2 1 1 2 1 1 2) to (λ (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 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
8.906 * * * * [progress]: [ 11 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
8.906 * [simplify]: Simplifying (+.p16 b c)
8.906 * * [simplify]: iters left: 1 (3 enodes)
8.907 * * [simplify]: Extracting #0: cost 1 inf + 0
8.907 * * [simplify]: Extracting #1: cost 3 inf + 0
8.907 * * [simplify]: Extracting #2: cost 1 inf + 2
8.907 * * [simplify]: Extracting #3: cost 0 inf + 44
8.907 * [simplify]: Simplified to (+.p16 c b)
8.907 * [simplify]: Simplified (2 1 1 2 1 1 2) to (λ (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 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
8.907 * * * * [progress]: [ 12 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
8.908 * [simplify]: Simplifying (+.p16 b c)
8.908 * * [simplify]: iters left: 1 (3 enodes)
8.909 * * [simplify]: Extracting #0: cost 1 inf + 0
8.909 * * [simplify]: Extracting #1: cost 3 inf + 0
8.909 * * [simplify]: Extracting #2: cost 1 inf + 2
8.909 * * [simplify]: Extracting #3: cost 0 inf + 44
8.909 * [simplify]: Simplified to (+.p16 c b)
8.909 * [simplify]: Simplified (2 1 1 2 1 1 2) to (λ (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 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
8.909 * * * [progress]: adding candidates to table
9.314 * * [progress]: iteration 4 / 4
9.314 * * * [progress]: picking best candidate
9.346 * * * * [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 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
9.346 * * * [progress]: localizing error
9.738 * * * [progress]: generating rewritten candidates
9.738 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
9.753 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
9.778 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
9.789 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 1)
9.798 * * * [progress]: generating series expansions
9.798 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
9.798 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
9.798 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
9.798 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 1)
9.798 * * * [progress]: simplifying candidates
9.798 * * * * [progress]: [ 1 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
9.798 * [simplify]: Simplifying (neg.p16 b)
9.798 * * [simplify]: iters left: 1 (2 enodes)
9.799 * * [simplify]: Extracting #0: cost 1 inf + 0
9.799 * * [simplify]: Extracting #1: cost 2 inf + 0
9.799 * * [simplify]: Extracting #2: cost 1 inf + 1
9.799 * * [simplify]: Extracting #3: cost 0 inf + 82
9.799 * [simplify]: Simplified to (neg.p16 b)
9.799 * [simplify]: Simplified (2 1 1 2 2) to (λ (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 a (+.p16 b c)) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
9.799 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
9.799 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2))) (*.p16 b b))
9.799 * * [simplify]: iters left: 5 (11 enodes)
9.802 * * [simplify]: iters left: 4 (36 enodes)
9.809 * * [simplify]: iters left: 3 (93 enodes)
9.829 * * [simplify]: iters left: 2 (308 enodes)
10.042 * * [simplify]: Extracting #0: cost 1 inf + 0
10.042 * * [simplify]: Extracting #1: cost 32 inf + 0
10.043 * * [simplify]: Extracting #2: cost 177 inf + 0
10.044 * * [simplify]: Extracting #3: cost 261 inf + 324
10.051 * * [simplify]: Extracting #4: cost 420 inf + 66053
10.086 * * [simplify]: Extracting #5: cost 118 inf + 514168
10.148 * * [simplify]: Extracting #6: cost 1 inf + 712757
10.213 * * [simplify]: Extracting #7: cost 0 inf + 715281
10.258 * [simplify]: Simplified to (*.p16 (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b))
10.258 * [simplify]: Simplified (2 1 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
10.258 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)
10.258 * * [simplify]: iters left: 4 (9 enodes)
10.263 * * [simplify]: iters left: 3 (21 enodes)
10.269 * * [simplify]: iters left: 2 (27 enodes)
10.277 * * [simplify]: iters left: 1 (29 enodes)
10.284 * * [simplify]: Extracting #0: cost 1 inf + 0
10.284 * * [simplify]: Extracting #1: cost 3 inf + 0
10.284 * * [simplify]: Extracting #2: cost 4 inf + 1
10.285 * * [simplify]: Extracting #3: cost 10 inf + 1
10.285 * * [simplify]: Extracting #4: cost 6 inf + 46
10.285 * * [simplify]: Extracting #5: cost 0 inf + 1302
10.285 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)
10.285 * [simplify]: Simplified (2 1 1 2 2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
10.285 * * * * [progress]: [ 3 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
10.286 * [simplify]: Simplifying (neg.p16 a)
10.286 * * [simplify]: iters left: 1 (2 enodes)
10.286 * * [simplify]: Extracting #0: cost 1 inf + 0
10.286 * * [simplify]: Extracting #1: cost 2 inf + 0
10.286 * * [simplify]: Extracting #2: cost 1 inf + 1
10.286 * * [simplify]: Extracting #3: cost 0 inf + 82
10.286 * [simplify]: Simplified to (neg.p16 a)
10.286 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (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 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
10.286 * * * * [progress]: [ 4 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
10.286 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))
10.287 * * [simplify]: iters left: 5 (11 enodes)
10.289 * * [simplify]: iters left: 4 (36 enodes)
10.296 * * [simplify]: iters left: 3 (93 enodes)
10.330 * * [simplify]: iters left: 2 (310 enodes)
10.576 * * [simplify]: Extracting #0: cost 1 inf + 0
10.576 * * [simplify]: Extracting #1: cost 32 inf + 0
10.577 * * [simplify]: Extracting #2: cost 177 inf + 0
10.578 * * [simplify]: Extracting #3: cost 264 inf + 3
10.581 * * [simplify]: Extracting #4: cost 467 inf + 4714
10.601 * * [simplify]: Extracting #5: cost 264 inf + 269730
10.664 * * [simplify]: Extracting #6: cost 26 inf + 662825
10.724 * * [simplify]: Extracting #7: cost 3 inf + 715354
10.781 * * [simplify]: Extracting #8: cost 0 inf + 724446
10.824 * [simplify]: Simplified to (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a))
10.824 * [simplify]: Simplified (2 1 1 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (*.p16 (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
10.824 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
10.824 * * [simplify]: iters left: 4 (9 enodes)
10.828 * * [simplify]: iters left: 3 (21 enodes)
10.833 * * [simplify]: iters left: 2 (27 enodes)
10.839 * * [simplify]: iters left: 1 (28 enodes)
10.845 * * [simplify]: Extracting #0: cost 1 inf + 0
10.846 * * [simplify]: Extracting #1: cost 3 inf + 0
10.846 * * [simplify]: Extracting #2: cost 4 inf + 1
10.846 * * [simplify]: Extracting #3: cost 10 inf + 1
10.846 * * [simplify]: Extracting #4: cost 1 inf + 738
10.846 * * [simplify]: Extracting #5: cost 0 inf + 1302
10.846 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
10.846 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (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 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
10.847 * * * * [progress]: [ 5 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) (neg.p16 c)))))>
10.847 * [simplify]: Simplifying (neg.p16 c)
10.847 * * [simplify]: iters left: 1 (2 enodes)
10.848 * * [simplify]: Extracting #0: cost 1 inf + 0
10.848 * * [simplify]: Extracting #1: cost 2 inf + 0
10.848 * * [simplify]: Extracting #2: cost 1 inf + 1
10.848 * * [simplify]: Extracting #3: cost 0 inf + 82
10.848 * [simplify]: Simplified to (neg.p16 c)
10.848 * [simplify]: Simplified (2 1 2 2) to (λ (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 a (+.p16 b c)) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) (neg.p16 c)))))
10.848 * * * * [progress]: [ 6 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c)))))>
10.848 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2))) (*.p16 c c))
10.849 * * [simplify]: iters left: 5 (11 enodes)
10.852 * * [simplify]: iters left: 4 (36 enodes)
10.859 * * [simplify]: iters left: 3 (93 enodes)
10.879 * * [simplify]: iters left: 2 (308 enodes)
11.074 * * [simplify]: Extracting #0: cost 1 inf + 0
11.074 * * [simplify]: Extracting #1: cost 32 inf + 0
11.075 * * [simplify]: Extracting #2: cost 177 inf + 0
11.076 * * [simplify]: Extracting #3: cost 262 inf + 324
11.082 * * [simplify]: Extracting #4: cost 412 inf + 68682
11.111 * * [simplify]: Extracting #5: cost 111 inf + 523519
11.149 * * [simplify]: Extracting #6: cost 2 inf + 708073
11.207 * * [simplify]: Extracting #7: cost 0 inf + 714841
11.267 * [simplify]: Simplified to (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))
11.267 * [simplify]: Simplified (2 1 2 1) to (λ (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 a (+.p16 b c)) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c)))))
11.267 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c)
11.268 * * [simplify]: iters left: 4 (9 enodes)
11.271 * * [simplify]: iters left: 3 (21 enodes)
11.276 * * [simplify]: iters left: 2 (27 enodes)
11.280 * * [simplify]: iters left: 1 (29 enodes)
11.284 * * [simplify]: Extracting #0: cost 1 inf + 0
11.284 * * [simplify]: Extracting #1: cost 3 inf + 0
11.284 * * [simplify]: Extracting #2: cost 4 inf + 1
11.284 * * [simplify]: Extracting #3: cost 10 inf + 1
11.284 * * [simplify]: Extracting #4: cost 6 inf + 46
11.284 * * [simplify]: Extracting #5: cost 0 inf + 1302
11.284 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)))
11.284 * [simplify]: Simplified (2 1 2 2) to (λ (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 a (+.p16 b c)) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c)) (+.p16 c (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)))))))
11.285 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
11.285 * [simplify]: Simplifying (+.p16 b c)
11.285 * * [simplify]: iters left: 1 (3 enodes)
11.286 * * [simplify]: Extracting #0: cost 1 inf + 0
11.286 * * [simplify]: Extracting #1: cost 3 inf + 0
11.286 * * [simplify]: Extracting #2: cost 1 inf + 2
11.286 * * [simplify]: Extracting #3: cost 0 inf + 44
11.286 * [simplify]: Simplified to (+.p16 c b)
11.286 * [simplify]: Simplified (2 1 1 1 2 1 1 2) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
11.286 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 c (+.p16 a b)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
11.286 * * * * [progress]: [ 9 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
11.286 * [simplify]: Simplifying (+.p16 b c)
11.286 * * [simplify]: iters left: 1 (3 enodes)
11.287 * * [simplify]: Extracting #0: cost 1 inf + 0
11.287 * * [simplify]: Extracting #1: cost 3 inf + 0
11.287 * * [simplify]: Extracting #2: cost 1 inf + 2
11.287 * * [simplify]: Extracting #3: cost 0 inf + 44
11.287 * [simplify]: Simplified to (+.p16 c b)
11.287 * [simplify]: Simplified (2 1 1 2 1 1 2) to (λ (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 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
11.287 * * * * [progress]: [ 10 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
11.287 * [simplify]: Simplifying (+.p16 b c)
11.287 * * [simplify]: iters left: 1 (3 enodes)
11.288 * * [simplify]: Extracting #0: cost 1 inf + 0
11.288 * * [simplify]: Extracting #1: cost 3 inf + 0
11.288 * * [simplify]: Extracting #2: cost 1 inf + 2
11.288 * * [simplify]: Extracting #3: cost 0 inf + 44
11.288 * [simplify]: Simplified to (+.p16 c b)
11.288 * [simplify]: Simplified (2 1 1 2 1 1 2) to (λ (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 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
11.288 * * * * [progress]: [ 11 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
11.288 * [simplify]: Simplifying (+.p16 b c)
11.288 * * [simplify]: iters left: 1 (3 enodes)
11.290 * * [simplify]: Extracting #0: cost 1 inf + 0
11.290 * * [simplify]: Extracting #1: cost 3 inf + 0
11.290 * * [simplify]: Extracting #2: cost 1 inf + 2
11.290 * * [simplify]: Extracting #3: cost 0 inf + 44
11.290 * [simplify]: Simplified to (+.p16 c b)
11.290 * [simplify]: Simplified (2 1 1 2 1 1 2) to (λ (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 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
11.290 * * * * [progress]: [ 12 / 12 ] 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 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>
11.290 * [simplify]: Simplifying (+.p16 b c)
11.290 * * [simplify]: iters left: 1 (3 enodes)
11.291 * * [simplify]: Extracting #0: cost 1 inf + 0
11.291 * * [simplify]: Extracting #1: cost 3 inf + 0
11.291 * * [simplify]: Extracting #2: cost 1 inf + 2
11.291 * * [simplify]: Extracting #3: cost 0 inf + 44
11.291 * [simplify]: Simplified to (+.p16 c b)
11.291 * [simplify]: Simplified (2 1 1 2 1 1 2) to (λ (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 a (+.p16 c b)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))
11.291 * * * [progress]: adding candidates to table
11.644 * [progress]: [Phase 3 of 3] Extracting.
11.644 * * [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 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>)
11.646 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
11.646 * * * * [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 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>)
11.796 * * * * [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 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>)
11.934 * * * * [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 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c))))>)
12.024 * * * [regime]: Found split indices: #<option (#s(si 2 256))>
12.024 * [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 a (+.p16 b c)) (real->posit16 2)) c)))
12.025 * * [simplify]: iters left: 6 (18 enodes)
12.026 * * [simplify]: Extracting #0: cost 1 inf + 0
12.026 * * [simplify]: Extracting #1: cost 2 inf + 0
12.026 * * [simplify]: Extracting #2: cost 4 inf + 0
12.026 * * [simplify]: Extracting #3: cost 8 inf + 0
12.026 * * [simplify]: Extracting #4: cost 12 inf + 1
12.026 * * [simplify]: Extracting #5: cost 15 inf + 2
12.026 * * [simplify]: Extracting #6: cost 13 inf + 46
12.026 * * [simplify]: Extracting #7: cost 8 inf + 779
12.026 * * [simplify]: Extracting #8: cost 2 inf + 5363
12.026 * * [simplify]: Extracting #9: cost 1 inf + 7607
12.027 * * [simplify]: Extracting #10: cost 0 inf + 9891
12.027 * [simplify]: Simplified to (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 a (+.p16 b c)) (real->posit16 2)) c)))
12.027 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
12.062 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
12.065 * * * * [points]: Setting MPFR precision to 64
12.066 * * * * [points]: Setting MPFR precision to 320
12.067 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
12.071 * * * * [points]: Setting MPFR precision to 64
12.073 * * * * [points]: Setting MPFR precision to 320
12.075 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
12.078 * * * * [points]: Setting MPFR precision to 64
12.083 * * * * [points]: Setting MPFR precision to 320
12.087 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
12.090 * * * * [points]: Setting MPFR precision to 64
12.099 * * * * [points]: Setting MPFR precision to 320
12.107 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
12.111 * * * * [points]: Setting MPFR precision to 64
12.146 * * * * [points]: Setting MPFR precision to 320
12.163 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
12.166 * * * * [points]: Setting MPFR precision to 64
12.199 * * * * [points]: Setting MPFR precision to 320
12.243 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
12.247 * * * * [points]: Setting MPFR precision to 64
12.344 * * * * [points]: Setting MPFR precision to 320
12.447 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
12.450 * * * * [points]: Setting MPFR precision to 64
12.633 * * * * [points]: Setting MPFR precision to 320
12.856 * * * * [points]: Computing exacts for 8000 points
12.862 * * * * [points]: Setting MPFR precision to 64
14.170 * * * * [points]: Setting MPFR precision to 320
15.225 * * * * [points]: Filtering points with unrepresentable outputs
15.231 * * * * [points]: Sampling 7043 additional inputs, on iter 1 have 957 / 8000
15.262 * * * * [points]: Computing exacts on every 440 of 7043 points to ramp up precision
15.265 * * * * [points]: Setting MPFR precision to 64
15.266 * * * * [points]: Setting MPFR precision to 320
15.268 * * * * [points]: Computing exacts on every 220 of 7043 points to ramp up precision
15.271 * * * * [points]: Setting MPFR precision to 64
15.273 * * * * [points]: Setting MPFR precision to 320
15.275 * * * * [points]: Computing exacts on every 110 of 7043 points to ramp up precision
15.278 * * * * [points]: Setting MPFR precision to 64
15.283 * * * * [points]: Setting MPFR precision to 320
15.288 * * * * [points]: Computing exacts on every 55 of 7043 points to ramp up precision
15.291 * * * * [points]: Setting MPFR precision to 64
15.300 * * * * [points]: Setting MPFR precision to 320
15.334 * * * * [points]: Computing exacts on every 27 of 7043 points to ramp up precision
15.338 * * * * [points]: Setting MPFR precision to 64
15.360 * * * * [points]: Setting MPFR precision to 320
15.381 * * * * [points]: Computing exacts on every 13 of 7043 points to ramp up precision
15.384 * * * * [points]: Setting MPFR precision to 64
15.432 * * * * [points]: Setting MPFR precision to 320
15.502 * * * * [points]: Computing exacts on every 6 of 7043 points to ramp up precision
15.510 * * * * [points]: Setting MPFR precision to 64
15.619 * * * * [points]: Setting MPFR precision to 320
15.773 * * * * [points]: Computing exacts on every 3 of 7043 points to ramp up precision
15.779 * * * * [points]: Setting MPFR precision to 64
16.000 * * * * [points]: Setting MPFR precision to 320
16.458 * * * * [points]: Computing exacts for 7043 points
16.464 * * * * [points]: Setting MPFR precision to 64
17.433 * * * * [points]: Setting MPFR precision to 320
18.275 * * * * [points]: Filtering points with unrepresentable outputs
18.281 * * * * [points]: Sampling 6135 additional inputs, on iter 2 have 1865 / 8000
18.323 * * * * [points]: Computing exacts on every 383 of 6135 points to ramp up precision
18.328 * * * * [points]: Setting MPFR precision to 64
18.330 * * * * [points]: Setting MPFR precision to 320
18.332 * * * * [points]: Computing exacts on every 191 of 6135 points to ramp up precision
18.374 * * * * [points]: Setting MPFR precision to 64
18.378 * * * * [points]: Setting MPFR precision to 320
18.381 * * * * [points]: Computing exacts on every 95 of 6135 points to ramp up precision
18.388 * * * * [points]: Setting MPFR precision to 64
18.396 * * * * [points]: Setting MPFR precision to 320
18.403 * * * * [points]: Computing exacts on every 47 of 6135 points to ramp up precision
18.408 * * * * [points]: Setting MPFR precision to 64
18.424 * * * * [points]: Setting MPFR precision to 320
18.440 * * * * [points]: Computing exacts on every 23 of 6135 points to ramp up precision
18.446 * * * * [points]: Setting MPFR precision to 64
18.479 * * * * [points]: Setting MPFR precision to 320
18.509 * * * * [points]: Computing exacts on every 11 of 6135 points to ramp up precision
18.516 * * * * [points]: Setting MPFR precision to 64
18.617 * * * * [points]: Setting MPFR precision to 320
18.684 * * * * [points]: Computing exacts on every 5 of 6135 points to ramp up precision
18.690 * * * * [points]: Setting MPFR precision to 64
18.865 * * * * [points]: Setting MPFR precision to 320
18.992 * * * * [points]: Computing exacts on every 2 of 6135 points to ramp up precision
18.999 * * * * [points]: Setting MPFR precision to 64
19.322 * * * * [points]: Setting MPFR precision to 320
19.972 * * * * [points]: Computing exacts for 6135 points
19.979 * * * * [points]: Setting MPFR precision to 64
20.945 * * * * [points]: Setting MPFR precision to 320
21.816 * * * * [points]: Filtering points with unrepresentable outputs
21.821 * * * * [points]: Sampling 5344 additional inputs, on iter 3 have 2656 / 8000
21.861 * * * * [points]: Computing exacts on every 334 of 5344 points to ramp up precision
21.867 * * * * [points]: Setting MPFR precision to 64
21.869 * * * * [points]: Setting MPFR precision to 320
21.871 * * * * [points]: Computing exacts on every 167 of 5344 points to ramp up precision
21.878 * * * * [points]: Setting MPFR precision to 64
21.882 * * * * [points]: Setting MPFR precision to 320
21.886 * * * * [points]: Computing exacts on every 83 of 5344 points to ramp up precision
21.893 * * * * [points]: Setting MPFR precision to 64
21.901 * * * * [points]: Setting MPFR precision to 320
21.909 * * * * [points]: Computing exacts on every 41 of 5344 points to ramp up precision
21.915 * * * * [points]: Setting MPFR precision to 64
21.924 * * * * [points]: Setting MPFR precision to 320
21.933 * * * * [points]: Computing exacts on every 20 of 5344 points to ramp up precision
21.936 * * * * [points]: Setting MPFR precision to 64
21.976 * * * * [points]: Setting MPFR precision to 320
21.994 * * * * [points]: Computing exacts on every 10 of 5344 points to ramp up precision
21.997 * * * * [points]: Setting MPFR precision to 64
22.035 * * * * [points]: Setting MPFR precision to 320
22.070 * * * * [points]: Computing exacts on every 5 of 5344 points to ramp up precision
22.074 * * * * [points]: Setting MPFR precision to 64
22.171 * * * * [points]: Setting MPFR precision to 320
22.344 * * * * [points]: Computing exacts on every 2 of 5344 points to ramp up precision
22.350 * * * * [points]: Setting MPFR precision to 64
22.638 * * * * [points]: Setting MPFR precision to 320
22.850 * * * * [points]: Computing exacts for 5344 points
22.853 * * * * [points]: Setting MPFR precision to 64
23.930 * * * * [points]: Setting MPFR precision to 320
24.663 * * * * [points]: Filtering points with unrepresentable outputs
24.668 * * * * [points]: Sampling 4670 additional inputs, on iter 4 have 3330 / 8000
24.692 * * * * [points]: Computing exacts on every 291 of 4670 points to ramp up precision
24.695 * * * * [points]: Setting MPFR precision to 64
24.696 * * * * [points]: Setting MPFR precision to 320
24.697 * * * * [points]: Computing exacts on every 145 of 4670 points to ramp up precision
24.704 * * * * [points]: Setting MPFR precision to 64
24.708 * * * * [points]: Setting MPFR precision to 320
24.712 * * * * [points]: Computing exacts on every 72 of 4670 points to ramp up precision
24.719 * * * * [points]: Setting MPFR precision to 64
24.727 * * * * [points]: Setting MPFR precision to 320
24.735 * * * * [points]: Computing exacts on every 36 of 4670 points to ramp up precision
24.741 * * * * [points]: Setting MPFR precision to 64
24.757 * * * * [points]: Setting MPFR precision to 320
24.773 * * * * [points]: Computing exacts on every 18 of 4670 points to ramp up precision
24.780 * * * * [points]: Setting MPFR precision to 64
24.840 * * * * [points]: Setting MPFR precision to 320
24.859 * * * * [points]: Computing exacts on every 9 of 4670 points to ramp up precision
24.862 * * * * [points]: Setting MPFR precision to 64
24.898 * * * * [points]: Setting MPFR precision to 320
24.948 * * * * [points]: Computing exacts on every 4 of 4670 points to ramp up precision
24.955 * * * * [points]: Setting MPFR precision to 64
25.128 * * * * [points]: Setting MPFR precision to 320
25.246 * * * * [points]: Computing exacts on every 2 of 4670 points to ramp up precision
25.305 * * * * [points]: Setting MPFR precision to 64
25.459 * * * * [points]: Setting MPFR precision to 320
25.622 * * * * [points]: Computing exacts for 4670 points
25.655 * * * * [points]: Setting MPFR precision to 64
26.288 * * * * [points]: Setting MPFR precision to 320
27.206 * * * * [points]: Filtering points with unrepresentable outputs
27.208 * * * * [points]: Sampling 4089 additional inputs, on iter 5 have 3911 / 8000
27.227 * * * * [points]: Computing exacts on every 255 of 4089 points to ramp up precision
27.230 * * * * [points]: Setting MPFR precision to 64
27.232 * * * * [points]: Setting MPFR precision to 320
27.233 * * * * [points]: Computing exacts on every 127 of 4089 points to ramp up precision
27.236 * * * * [points]: Setting MPFR precision to 64
27.238 * * * * [points]: Setting MPFR precision to 320
27.241 * * * * [points]: Computing exacts on every 63 of 4089 points to ramp up precision
27.244 * * * * [points]: Setting MPFR precision to 64
27.249 * * * * [points]: Setting MPFR precision to 320
27.253 * * * * [points]: Computing exacts on every 31 of 4089 points to ramp up precision
27.256 * * * * [points]: Setting MPFR precision to 64
27.265 * * * * [points]: Setting MPFR precision to 320
27.274 * * * * [points]: Computing exacts on every 15 of 4089 points to ramp up precision
27.278 * * * * [points]: Setting MPFR precision to 64
27.296 * * * * [points]: Setting MPFR precision to 320
27.314 * * * * [points]: Computing exacts on every 7 of 4089 points to ramp up precision
27.317 * * * * [points]: Setting MPFR precision to 64
27.415 * * * * [points]: Setting MPFR precision to 320
27.481 * * * * [points]: Computing exacts on every 3 of 4089 points to ramp up precision
27.488 * * * * [points]: Setting MPFR precision to 64
27.597 * * * * [points]: Setting MPFR precision to 320
27.665 * * * * [points]: Computing exacts for 4089 points
27.669 * * * * [points]: Setting MPFR precision to 64
28.196 * * * * [points]: Setting MPFR precision to 320
28.652 * * * * [points]: Filtering points with unrepresentable outputs
28.653 * * * * [points]: Sampling 3562 additional inputs, on iter 6 have 4438 / 8000
28.669 * * * * [points]: Computing exacts on every 222 of 3562 points to ramp up precision
28.673 * * * * [points]: Setting MPFR precision to 64
28.674 * * * * [points]: Setting MPFR precision to 320
28.675 * * * * [points]: Computing exacts on every 111 of 3562 points to ramp up precision
28.678 * * * * [points]: Setting MPFR precision to 64
28.680 * * * * [points]: Setting MPFR precision to 320
28.683 * * * * [points]: Computing exacts on every 55 of 3562 points to ramp up precision
28.687 * * * * [points]: Setting MPFR precision to 64
28.691 * * * * [points]: Setting MPFR precision to 320
28.696 * * * * [points]: Computing exacts on every 27 of 3562 points to ramp up precision
28.699 * * * * [points]: Setting MPFR precision to 64
28.708 * * * * [points]: Setting MPFR precision to 320
28.717 * * * * [points]: Computing exacts on every 13 of 3562 points to ramp up precision
28.720 * * * * [points]: Setting MPFR precision to 64
28.737 * * * * [points]: Setting MPFR precision to 320
28.777 * * * * [points]: Computing exacts on every 6 of 3562 points to ramp up precision
28.782 * * * * [points]: Setting MPFR precision to 64
28.821 * * * * [points]: Setting MPFR precision to 320
28.857 * * * * [points]: Computing exacts on every 3 of 3562 points to ramp up precision
28.860 * * * * [points]: Setting MPFR precision to 64
28.953 * * * * [points]: Setting MPFR precision to 320
29.015 * * * * [points]: Computing exacts for 3562 points
29.018 * * * * [points]: Setting MPFR precision to 64
29.442 * * * * [points]: Setting MPFR precision to 320
30.199 * * * * [points]: Filtering points with unrepresentable outputs
30.200 * * * * [points]: Sampling 3104 additional inputs, on iter 7 have 4896 / 8000
30.217 * * * * [points]: Computing exacts on every 194 of 3104 points to ramp up precision
30.220 * * * * [points]: Setting MPFR precision to 64
30.221 * * * * [points]: Setting MPFR precision to 320
30.222 * * * * [points]: Computing exacts on every 97 of 3104 points to ramp up precision
30.226 * * * * [points]: Setting MPFR precision to 64
30.228 * * * * [points]: Setting MPFR precision to 320
30.230 * * * * [points]: Computing exacts on every 48 of 3104 points to ramp up precision
30.233 * * * * [points]: Setting MPFR precision to 64
30.238 * * * * [points]: Setting MPFR precision to 320
30.243 * * * * [points]: Computing exacts on every 24 of 3104 points to ramp up precision
30.249 * * * * [points]: Setting MPFR precision to 64
30.265 * * * * [points]: Setting MPFR precision to 320
30.274 * * * * [points]: Computing exacts on every 12 of 3104 points to ramp up precision
30.277 * * * * [points]: Setting MPFR precision to 64
30.324 * * * * [points]: Setting MPFR precision to 320
30.350 * * * * [points]: Computing exacts on every 6 of 3104 points to ramp up precision
30.355 * * * * [points]: Setting MPFR precision to 64
30.388 * * * * [points]: Setting MPFR precision to 320
30.439 * * * * [points]: Computing exacts on every 3 of 3104 points to ramp up precision
30.445 * * * * [points]: Setting MPFR precision to 64
30.546 * * * * [points]: Setting MPFR precision to 320
30.604 * * * * [points]: Computing exacts for 3104 points
30.608 * * * * [points]: Setting MPFR precision to 64
30.939 * * * * [points]: Setting MPFR precision to 320
31.300 * * * * [points]: Filtering points with unrepresentable outputs
31.301 * * * * [points]: Sampling 2725 additional inputs, on iter 8 have 5275 / 8000
31.312 * * * * [points]: Computing exacts on every 170 of 2725 points to ramp up precision
31.316 * * * * [points]: Setting MPFR precision to 64
31.317 * * * * [points]: Setting MPFR precision to 320
31.318 * * * * [points]: Computing exacts on every 85 of 2725 points to ramp up precision
31.321 * * * * [points]: Setting MPFR precision to 64
31.351 * * * * [points]: Setting MPFR precision to 320
31.354 * * * * [points]: Computing exacts on every 42 of 2725 points to ramp up precision
31.357 * * * * [points]: Setting MPFR precision to 64
31.363 * * * * [points]: Setting MPFR precision to 320
31.368 * * * * [points]: Computing exacts on every 21 of 2725 points to ramp up precision
31.371 * * * * [points]: Setting MPFR precision to 64
31.380 * * * * [points]: Setting MPFR precision to 320
31.388 * * * * [points]: Computing exacts on every 10 of 2725 points to ramp up precision
31.392 * * * * [points]: Setting MPFR precision to 64
31.420 * * * * [points]: Setting MPFR precision to 320
31.441 * * * * [points]: Computing exacts on every 5 of 2725 points to ramp up precision
31.444 * * * * [points]: Setting MPFR precision to 64
31.500 * * * * [points]: Setting MPFR precision to 320
31.535 * * * * [points]: Computing exacts on every 2 of 2725 points to ramp up precision
31.538 * * * * [points]: Setting MPFR precision to 64
31.600 * * * * [points]: Setting MPFR precision to 320
31.707 * * * * [points]: Computing exacts for 2725 points
31.711 * * * * [points]: Setting MPFR precision to 64
32.097 * * * * [points]: Setting MPFR precision to 320
32.318 * * * * [points]: Filtering points with unrepresentable outputs
32.320 * * * * [points]: Sampling 2350 additional inputs, on iter 9 have 5650 / 8000
32.359 * * * * [points]: Computing exacts on every 146 of 2350 points to ramp up precision
32.363 * * * * [points]: Setting MPFR precision to 64
32.364 * * * * [points]: Setting MPFR precision to 320
32.365 * * * * [points]: Computing exacts on every 73 of 2350 points to ramp up precision
32.368 * * * * [points]: Setting MPFR precision to 64
32.372 * * * * [points]: Setting MPFR precision to 320
32.374 * * * * [points]: Computing exacts on every 36 of 2350 points to ramp up precision
32.378 * * * * [points]: Setting MPFR precision to 64
32.382 * * * * [points]: Setting MPFR precision to 320
32.387 * * * * [points]: Computing exacts on every 18 of 2350 points to ramp up precision
32.390 * * * * [points]: Setting MPFR precision to 64
32.399 * * * * [points]: Setting MPFR precision to 320
32.408 * * * * [points]: Computing exacts on every 9 of 2350 points to ramp up precision
32.411 * * * * [points]: Setting MPFR precision to 64
32.429 * * * * [points]: Setting MPFR precision to 320
32.445 * * * * [points]: Computing exacts on every 4 of 2350 points to ramp up precision
32.448 * * * * [points]: Setting MPFR precision to 64
32.505 * * * * [points]: Setting MPFR precision to 320
32.538 * * * * [points]: Computing exacts on every 2 of 2350 points to ramp up precision
32.541 * * * * [points]: Setting MPFR precision to 64
32.593 * * * * [points]: Setting MPFR precision to 320
32.682 * * * * [points]: Computing exacts for 2350 points
32.688 * * * * [points]: Setting MPFR precision to 64
33.340 * * * * [points]: Setting MPFR precision to 320
33.632 * * * * [points]: Filtering points with unrepresentable outputs
33.634 * * * * [points]: Sampling 2048 additional inputs, on iter 10 have 5952 / 8000
33.642 * * * * [points]: Computing exacts on every 128 of 2048 points to ramp up precision
33.646 * * * * [points]: Setting MPFR precision to 64
33.647 * * * * [points]: Setting MPFR precision to 320
33.648 * * * * [points]: Computing exacts on every 64 of 2048 points to ramp up precision
33.651 * * * * [points]: Setting MPFR precision to 64
33.654 * * * * [points]: Setting MPFR precision to 320
33.656 * * * * [points]: Computing exacts on every 32 of 2048 points to ramp up precision
33.659 * * * * [points]: Setting MPFR precision to 64
33.663 * * * * [points]: Setting MPFR precision to 320
33.668 * * * * [points]: Computing exacts on every 16 of 2048 points to ramp up precision
33.671 * * * * [points]: Setting MPFR precision to 64
33.680 * * * * [points]: Setting MPFR precision to 320
33.688 * * * * [points]: Computing exacts on every 8 of 2048 points to ramp up precision
33.714 * * * * [points]: Setting MPFR precision to 64
33.731 * * * * [points]: Setting MPFR precision to 320
33.749 * * * * [points]: Computing exacts on every 4 of 2048 points to ramp up precision
33.752 * * * * [points]: Setting MPFR precision to 64
33.780 * * * * [points]: Setting MPFR precision to 320
33.808 * * * * [points]: Computing exacts on every 2 of 2048 points to ramp up precision
33.811 * * * * [points]: Setting MPFR precision to 64
33.906 * * * * [points]: Setting MPFR precision to 320
33.952 * * * * [points]: Computing exacts for 2048 points
33.955 * * * * [points]: Setting MPFR precision to 64
34.234 * * * * [points]: Setting MPFR precision to 320
34.435 * * * * [points]: Filtering points with unrepresentable outputs
34.436 * * * * [points]: Sampling 1808 additional inputs, on iter 11 have 6192 / 8000
34.443 * * * * [points]: Computing exacts on every 113 of 1808 points to ramp up precision
34.446 * * * * [points]: Setting MPFR precision to 64
34.448 * * * * [points]: Setting MPFR precision to 320
34.449 * * * * [points]: Computing exacts on every 56 of 1808 points to ramp up precision
34.452 * * * * [points]: Setting MPFR precision to 64
34.454 * * * * [points]: Setting MPFR precision to 320
34.456 * * * * [points]: Computing exacts on every 28 of 1808 points to ramp up precision
34.460 * * * * [points]: Setting MPFR precision to 64
34.464 * * * * [points]: Setting MPFR precision to 320
34.468 * * * * [points]: Computing exacts on every 14 of 1808 points to ramp up precision
34.472 * * * * [points]: Setting MPFR precision to 64
34.480 * * * * [points]: Setting MPFR precision to 320
34.488 * * * * [points]: Computing exacts on every 7 of 1808 points to ramp up precision
34.492 * * * * [points]: Setting MPFR precision to 64
34.537 * * * * [points]: Setting MPFR precision to 320
34.554 * * * * [points]: Computing exacts on every 3 of 1808 points to ramp up precision
34.558 * * * * [points]: Setting MPFR precision to 64
34.588 * * * * [points]: Setting MPFR precision to 320
34.618 * * * * [points]: Computing exacts for 1808 points
34.621 * * * * [points]: Setting MPFR precision to 64
34.779 * * * * [points]: Setting MPFR precision to 320
34.976 * * * * [points]: Filtering points with unrepresentable outputs
34.977 * * * * [points]: Sampling 1575 additional inputs, on iter 12 have 6425 / 8000
34.985 * * * * [points]: Computing exacts on every 98 of 1575 points to ramp up precision
34.988 * * * * [points]: Setting MPFR precision to 64
34.989 * * * * [points]: Setting MPFR precision to 320
34.990 * * * * [points]: Computing exacts on every 49 of 1575 points to ramp up precision
34.993 * * * * [points]: Setting MPFR precision to 64
34.996 * * * * [points]: Setting MPFR precision to 320
34.998 * * * * [points]: Computing exacts on every 24 of 1575 points to ramp up precision
35.001 * * * * [points]: Setting MPFR precision to 64
35.005 * * * * [points]: Setting MPFR precision to 320
35.009 * * * * [points]: Computing exacts on every 12 of 1575 points to ramp up precision
35.012 * * * * [points]: Setting MPFR precision to 64
35.021 * * * * [points]: Setting MPFR precision to 320
35.029 * * * * [points]: Computing exacts on every 6 of 1575 points to ramp up precision
35.032 * * * * [points]: Setting MPFR precision to 64
35.048 * * * * [points]: Setting MPFR precision to 320
35.065 * * * * [points]: Computing exacts on every 3 of 1575 points to ramp up precision
35.092 * * * * [points]: Setting MPFR precision to 64
35.120 * * * * [points]: Setting MPFR precision to 320
35.146 * * * * [points]: Computing exacts for 1575 points
35.150 * * * * [points]: Setting MPFR precision to 64
35.287 * * * * [points]: Setting MPFR precision to 320
35.426 * * * * [points]: Filtering points with unrepresentable outputs
35.427 * * * * [points]: Sampling 1394 additional inputs, on iter 13 have 6606 / 8000
35.433 * * * * [points]: Computing exacts on every 87 of 1394 points to ramp up precision
35.436 * * * * [points]: Setting MPFR precision to 64
35.438 * * * * [points]: Setting MPFR precision to 320
35.439 * * * * [points]: Computing exacts on every 43 of 1394 points to ramp up precision
35.442 * * * * [points]: Setting MPFR precision to 64
35.444 * * * * [points]: Setting MPFR precision to 320
35.446 * * * * [points]: Computing exacts on every 21 of 1394 points to ramp up precision
35.450 * * * * [points]: Setting MPFR precision to 64
35.454 * * * * [points]: Setting MPFR precision to 320
35.458 * * * * [points]: Computing exacts on every 10 of 1394 points to ramp up precision
35.461 * * * * [points]: Setting MPFR precision to 64
35.470 * * * * [points]: Setting MPFR precision to 320
35.504 * * * * [points]: Computing exacts on every 5 of 1394 points to ramp up precision
35.508 * * * * [points]: Setting MPFR precision to 64
35.525 * * * * [points]: Setting MPFR precision to 320
35.540 * * * * [points]: Computing exacts on every 2 of 1394 points to ramp up precision
35.544 * * * * [points]: Setting MPFR precision to 64
35.574 * * * * [points]: Setting MPFR precision to 320
35.605 * * * * [points]: Computing exacts for 1394 points
35.907 * * * * [points]: Setting MPFR precision to 64
35.998 * * * * [points]: Setting MPFR precision to 320
36.124 * * * * [points]: Filtering points with unrepresentable outputs
36.125 * * * * [points]: Sampling 1222 additional inputs, on iter 14 have 6778 / 8000
36.130 * * * * [points]: Computing exacts on every 76 of 1222 points to ramp up precision
36.133 * * * * [points]: Setting MPFR precision to 64
36.134 * * * * [points]: Setting MPFR precision to 320
36.135 * * * * [points]: Computing exacts on every 38 of 1222 points to ramp up precision
36.138 * * * * [points]: Setting MPFR precision to 64
36.140 * * * * [points]: Setting MPFR precision to 320
36.142 * * * * [points]: Computing exacts on every 19 of 1222 points to ramp up precision
36.146 * * * * [points]: Setting MPFR precision to 64
36.150 * * * * [points]: Setting MPFR precision to 320
36.182 * * * * [points]: Computing exacts on every 9 of 1222 points to ramp up precision
36.185 * * * * [points]: Setting MPFR precision to 64
36.195 * * * * [points]: Setting MPFR precision to 320
36.203 * * * * [points]: Computing exacts on every 4 of 1222 points to ramp up precision
36.206 * * * * [points]: Setting MPFR precision to 64
36.222 * * * * [points]: Setting MPFR precision to 320
36.238 * * * * [points]: Computing exacts on every 2 of 1222 points to ramp up precision
36.241 * * * * [points]: Setting MPFR precision to 64
36.268 * * * * [points]: Setting MPFR precision to 320
36.325 * * * * [points]: Computing exacts for 1222 points
36.328 * * * * [points]: Setting MPFR precision to 64
36.409 * * * * [points]: Setting MPFR precision to 320
36.522 * * * * [points]: Filtering points with unrepresentable outputs
36.523 * * * * [points]: Sampling 1072 additional inputs, on iter 15 have 6928 / 8000
36.527 * * * * [points]: Computing exacts on every 67 of 1072 points to ramp up precision
36.530 * * * * [points]: Setting MPFR precision to 64
36.532 * * * * [points]: Setting MPFR precision to 320
36.533 * * * * [points]: Computing exacts on every 33 of 1072 points to ramp up precision
36.536 * * * * [points]: Setting MPFR precision to 64
36.538 * * * * [points]: Setting MPFR precision to 320
36.540 * * * * [points]: Computing exacts on every 16 of 1072 points to ramp up precision
36.543 * * * * [points]: Setting MPFR precision to 64
36.547 * * * * [points]: Setting MPFR precision to 320
36.551 * * * * [points]: Computing exacts on every 8 of 1072 points to ramp up precision
36.581 * * * * [points]: Setting MPFR precision to 64
36.591 * * * * [points]: Setting MPFR precision to 320
36.599 * * * * [points]: Computing exacts on every 4 of 1072 points to ramp up precision
36.602 * * * * [points]: Setting MPFR precision to 64
36.616 * * * * [points]: Setting MPFR precision to 320
36.630 * * * * [points]: Computing exacts on every 2 of 1072 points to ramp up precision
36.634 * * * * [points]: Setting MPFR precision to 64
36.658 * * * * [points]: Setting MPFR precision to 320
36.681 * * * * [points]: Computing exacts for 1072 points
36.711 * * * * [points]: Setting MPFR precision to 64
36.785 * * * * [points]: Setting MPFR precision to 320
36.889 * * * * [points]: Filtering points with unrepresentable outputs
36.890 * * * * [points]: Sampling 956 additional inputs, on iter 16 have 7044 / 8000
36.894 * * * * [points]: Computing exacts on every 59 of 956 points to ramp up precision
36.898 * * * * [points]: Setting MPFR precision to 64
36.899 * * * * [points]: Setting MPFR precision to 320
36.900 * * * * [points]: Computing exacts on every 29 of 956 points to ramp up precision
36.903 * * * * [points]: Setting MPFR precision to 64
36.906 * * * * [points]: Setting MPFR precision to 320
36.908 * * * * [points]: Computing exacts on every 14 of 956 points to ramp up precision
36.911 * * * * [points]: Setting MPFR precision to 64
36.916 * * * * [points]: Setting MPFR precision to 320
36.920 * * * * [points]: Computing exacts on every 7 of 956 points to ramp up precision
36.924 * * * * [points]: Setting MPFR precision to 64
36.931 * * * * [points]: Setting MPFR precision to 320
36.939 * * * * [points]: Computing exacts on every 3 of 956 points to ramp up precision
36.943 * * * * [points]: Setting MPFR precision to 64
36.984 * * * * [points]: Setting MPFR precision to 320
37.002 * * * * [points]: Computing exacts for 956 points
37.005 * * * * [points]: Setting MPFR precision to 64
37.068 * * * * [points]: Setting MPFR precision to 320
37.163 * * * * [points]: Filtering points with unrepresentable outputs
37.163 * * * * [points]: Sampling 821 additional inputs, on iter 17 have 7179 / 8000
37.167 * * * * [points]: Computing exacts on every 51 of 821 points to ramp up precision
37.170 * * * * [points]: Setting MPFR precision to 64
37.171 * * * * [points]: Setting MPFR precision to 320
37.172 * * * * [points]: Computing exacts on every 25 of 821 points to ramp up precision
37.175 * * * * [points]: Setting MPFR precision to 64
37.178 * * * * [points]: Setting MPFR precision to 320
37.180 * * * * [points]: Computing exacts on every 12 of 821 points to ramp up precision
37.183 * * * * [points]: Setting MPFR precision to 64
37.187 * * * * [points]: Setting MPFR precision to 320
37.191 * * * * [points]: Computing exacts on every 6 of 821 points to ramp up precision
37.194 * * * * [points]: Setting MPFR precision to 64
37.202 * * * * [points]: Setting MPFR precision to 320
37.210 * * * * [points]: Computing exacts on every 3 of 821 points to ramp up precision
37.213 * * * * [points]: Setting MPFR precision to 64
37.251 * * * * [points]: Setting MPFR precision to 320
37.266 * * * * [points]: Computing exacts for 821 points
37.270 * * * * [points]: Setting MPFR precision to 64
37.323 * * * * [points]: Setting MPFR precision to 320
37.410 * * * * [points]: Filtering points with unrepresentable outputs
37.411 * * * * [points]: Sampling 705 additional inputs, on iter 18 have 7295 / 8000
37.414 * * * * [points]: Computing exacts on every 44 of 705 points to ramp up precision
37.417 * * * * [points]: Setting MPFR precision to 64
37.418 * * * * [points]: Setting MPFR precision to 320
37.419 * * * * [points]: Computing exacts on every 22 of 705 points to ramp up precision
37.422 * * * * [points]: Setting MPFR precision to 64
37.424 * * * * [points]: Setting MPFR precision to 320
37.427 * * * * [points]: Computing exacts on every 11 of 705 points to ramp up precision
37.430 * * * * [points]: Setting MPFR precision to 64
37.433 * * * * [points]: Setting MPFR precision to 320
37.437 * * * * [points]: Computing exacts on every 5 of 705 points to ramp up precision
37.440 * * * * [points]: Setting MPFR precision to 64
37.448 * * * * [points]: Setting MPFR precision to 320
37.456 * * * * [points]: Computing exacts on every 2 of 705 points to ramp up precision
37.459 * * * * [points]: Setting MPFR precision to 64
37.474 * * * * [points]: Setting MPFR precision to 320
37.518 * * * * [points]: Computing exacts for 705 points
37.522 * * * * [points]: Setting MPFR precision to 64
37.568 * * * * [points]: Setting MPFR precision to 320
37.646 * * * * [points]: Filtering points with unrepresentable outputs
37.647 * * * * [points]: Sampling 613 additional inputs, on iter 19 have 7387 / 8000
37.649 * * * * [points]: Computing exacts on every 38 of 613 points to ramp up precision
37.654 * * * * [points]: Setting MPFR precision to 64
37.655 * * * * [points]: Setting MPFR precision to 320
37.656 * * * * [points]: Computing exacts on every 19 of 613 points to ramp up precision
37.659 * * * * [points]: Setting MPFR precision to 64
37.661 * * * * [points]: Setting MPFR precision to 320
37.663 * * * * [points]: Computing exacts on every 9 of 613 points to ramp up precision
37.666 * * * * [points]: Setting MPFR precision to 64
37.670 * * * * [points]: Setting MPFR precision to 320
37.675 * * * * [points]: Computing exacts on every 4 of 613 points to ramp up precision
37.678 * * * * [points]: Setting MPFR precision to 64
37.686 * * * * [points]: Setting MPFR precision to 320
37.694 * * * * [points]: Computing exacts on every 2 of 613 points to ramp up precision
37.698 * * * * [points]: Setting MPFR precision to 64
37.711 * * * * [points]: Setting MPFR precision to 320
37.725 * * * * [points]: Computing exacts for 613 points
37.728 * * * * [points]: Setting MPFR precision to 64
37.797 * * * * [points]: Setting MPFR precision to 320
37.838 * * * * [points]: Filtering points with unrepresentable outputs
37.838 * * * * [points]: Sampling 551 additional inputs, on iter 20 have 7449 / 8000
37.840 * * * * [points]: Computing exacts on every 34 of 551 points to ramp up precision
37.844 * * * * [points]: Setting MPFR precision to 64
37.845 * * * * [points]: Setting MPFR precision to 320
37.846 * * * * [points]: Computing exacts on every 17 of 551 points to ramp up precision
37.849 * * * * [points]: Setting MPFR precision to 64
37.851 * * * * [points]: Setting MPFR precision to 320
37.853 * * * * [points]: Computing exacts on every 8 of 551 points to ramp up precision
37.856 * * * * [points]: Setting MPFR precision to 64
37.860 * * * * [points]: Setting MPFR precision to 320
37.865 * * * * [points]: Computing exacts on every 4 of 551 points to ramp up precision
37.896 * * * * [points]: Setting MPFR precision to 64
37.904 * * * * [points]: Setting MPFR precision to 320
37.913 * * * * [points]: Computing exacts on every 2 of 551 points to ramp up precision
37.916 * * * * [points]: Setting MPFR precision to 64
37.928 * * * * [points]: Setting MPFR precision to 320
37.940 * * * * [points]: Computing exacts for 551 points
37.944 * * * * [points]: Setting MPFR precision to 64
37.979 * * * * [points]: Setting MPFR precision to 320
38.045 * * * * [points]: Filtering points with unrepresentable outputs
38.045 * * * * [points]: Sampling 468 additional inputs, on iter 21 have 7532 / 8000
38.047 * * * * [points]: Computing exacts on every 29 of 468 points to ramp up precision
38.051 * * * * [points]: Setting MPFR precision to 64
38.052 * * * * [points]: Setting MPFR precision to 320
38.053 * * * * [points]: Computing exacts on every 14 of 468 points to ramp up precision
38.056 * * * * [points]: Setting MPFR precision to 64
38.058 * * * * [points]: Setting MPFR precision to 320
38.060 * * * * [points]: Computing exacts on every 7 of 468 points to ramp up precision
38.063 * * * * [points]: Setting MPFR precision to 64
38.067 * * * * [points]: Setting MPFR precision to 320
38.070 * * * * [points]: Computing exacts on every 3 of 468 points to ramp up precision
38.073 * * * * [points]: Setting MPFR precision to 64
38.081 * * * * [points]: Setting MPFR precision to 320
38.088 * * * * [points]: Computing exacts for 468 points
38.092 * * * * [points]: Setting MPFR precision to 64
38.123 * * * * [points]: Setting MPFR precision to 320
38.453 * * * * [points]: Filtering points with unrepresentable outputs
38.454 * * * * [points]: Sampling 413 additional inputs, on iter 22 have 7587 / 8000
38.455 * * * * [points]: Computing exacts on every 25 of 413 points to ramp up precision
38.459 * * * * [points]: Setting MPFR precision to 64
38.460 * * * * [points]: Setting MPFR precision to 320
38.461 * * * * [points]: Computing exacts on every 12 of 413 points to ramp up precision
38.464 * * * * [points]: Setting MPFR precision to 64
38.466 * * * * [points]: Setting MPFR precision to 320
38.469 * * * * [points]: Computing exacts on every 6 of 413 points to ramp up precision
38.472 * * * * [points]: Setting MPFR precision to 64
38.476 * * * * [points]: Setting MPFR precision to 320
38.480 * * * * [points]: Computing exacts on every 3 of 413 points to ramp up precision
38.483 * * * * [points]: Setting MPFR precision to 64
38.490 * * * * [points]: Setting MPFR precision to 320
38.497 * * * * [points]: Computing exacts for 413 points
38.500 * * * * [points]: Setting MPFR precision to 64
38.549 * * * * [points]: Setting MPFR precision to 320
38.578 * * * * [points]: Filtering points with unrepresentable outputs
38.579 * * * * [points]: Sampling 363 additional inputs, on iter 23 have 7637 / 8000
38.580 * * * * [points]: Computing exacts on every 22 of 363 points to ramp up precision
38.584 * * * * [points]: Setting MPFR precision to 64
38.585 * * * * [points]: Setting MPFR precision to 320
38.586 * * * * [points]: Computing exacts on every 11 of 363 points to ramp up precision
38.589 * * * * [points]: Setting MPFR precision to 64
38.591 * * * * [points]: Setting MPFR precision to 320
38.593 * * * * [points]: Computing exacts on every 5 of 363 points to ramp up precision
38.597 * * * * [points]: Setting MPFR precision to 64
38.601 * * * * [points]: Setting MPFR precision to 320
38.605 * * * * [points]: Computing exacts on every 2 of 363 points to ramp up precision
38.608 * * * * [points]: Setting MPFR precision to 64
38.617 * * * * [points]: Setting MPFR precision to 320
38.626 * * * * [points]: Computing exacts for 363 points
38.629 * * * * [points]: Setting MPFR precision to 64
38.675 * * * * [points]: Setting MPFR precision to 320
38.701 * * * * [points]: Filtering points with unrepresentable outputs
38.701 * * * * [points]: Sampling 315 additional inputs, on iter 24 have 7685 / 8000
38.702 * * * * [points]: Computing exacts on every 19 of 315 points to ramp up precision
38.705 * * * * [points]: Setting MPFR precision to 64
38.707 * * * * [points]: Setting MPFR precision to 320
38.708 * * * * [points]: Computing exacts on every 9 of 315 points to ramp up precision
38.710 * * * * [points]: Setting MPFR precision to 64
38.713 * * * * [points]: Setting MPFR precision to 320
38.715 * * * * [points]: Computing exacts on every 4 of 315 points to ramp up precision
38.718 * * * * [points]: Setting MPFR precision to 64
38.722 * * * * [points]: Setting MPFR precision to 320
38.726 * * * * [points]: Computing exacts on every 2 of 315 points to ramp up precision
38.729 * * * * [points]: Setting MPFR precision to 64
38.737 * * * * [points]: Setting MPFR precision to 320
38.745 * * * * [points]: Computing exacts for 315 points
38.748 * * * * [points]: Setting MPFR precision to 64
38.790 * * * * [points]: Setting MPFR precision to 320
38.812 * * * * [points]: Filtering points with unrepresentable outputs
38.812 * * * * [points]: Sampling 275 additional inputs, on iter 25 have 7725 / 8000
38.814 * * * * [points]: Computing exacts on every 17 of 275 points to ramp up precision
38.817 * * * * [points]: Setting MPFR precision to 64
38.818 * * * * [points]: Setting MPFR precision to 320
38.819 * * * * [points]: Computing exacts on every 8 of 275 points to ramp up precision
38.822 * * * * [points]: Setting MPFR precision to 64
38.824 * * * * [points]: Setting MPFR precision to 320
38.826 * * * * [points]: Computing exacts on every 4 of 275 points to ramp up precision
38.828 * * * * [points]: Setting MPFR precision to 64
38.832 * * * * [points]: Setting MPFR precision to 320
38.836 * * * * [points]: Computing exacts on every 2 of 275 points to ramp up precision
38.839 * * * * [points]: Setting MPFR precision to 64
38.845 * * * * [points]: Setting MPFR precision to 320
38.851 * * * * [points]: Computing exacts for 275 points
38.854 * * * * [points]: Setting MPFR precision to 64
38.873 * * * * [points]: Setting MPFR precision to 320
38.913 * * * * [points]: Filtering points with unrepresentable outputs
38.914 * * * * [points]: Sampling 241 additional inputs, on iter 26 have 7759 / 8000
38.915 * * * * [points]: Computing exacts on every 15 of 241 points to ramp up precision
38.918 * * * * [points]: Setting MPFR precision to 64
38.921 * * * * [points]: Setting MPFR precision to 320
38.922 * * * * [points]: Computing exacts on every 7 of 241 points to ramp up precision
38.925 * * * * [points]: Setting MPFR precision to 64
38.927 * * * * [points]: Setting MPFR precision to 320
38.929 * * * * [points]: Computing exacts on every 3 of 241 points to ramp up precision
38.932 * * * * [points]: Setting MPFR precision to 64
38.936 * * * * [points]: Setting MPFR precision to 320
38.939 * * * * [points]: Computing exacts for 241 points
38.942 * * * * [points]: Setting MPFR precision to 64
38.958 * * * * [points]: Setting MPFR precision to 320
38.973 * * * * [points]: Filtering points with unrepresentable outputs
38.974 * * * * [points]: Sampling 209 additional inputs, on iter 27 have 7791 / 8000
38.974 * * * * [points]: Computing exacts on every 13 of 209 points to ramp up precision
38.978 * * * * [points]: Setting MPFR precision to 64
38.980 * * * * [points]: Setting MPFR precision to 320
38.981 * * * * [points]: Computing exacts on every 6 of 209 points to ramp up precision
38.983 * * * * [points]: Setting MPFR precision to 64
38.985 * * * * [points]: Setting MPFR precision to 320
38.987 * * * * [points]: Computing exacts on every 3 of 209 points to ramp up precision
38.990 * * * * [points]: Setting MPFR precision to 64
38.994 * * * * [points]: Setting MPFR precision to 320
38.997 * * * * [points]: Computing exacts for 209 points
39.020 * * * * [points]: Setting MPFR precision to 64
39.035 * * * * [points]: Setting MPFR precision to 320
39.048 * * * * [points]: Filtering points with unrepresentable outputs
39.048 * * * * [points]: Sampling 180 additional inputs, on iter 28 have 7820 / 8000
39.049 * * * * [points]: Computing exacts on every 11 of 180 points to ramp up precision
39.052 * * * * [points]: Setting MPFR precision to 64
39.053 * * * * [points]: Setting MPFR precision to 320
39.054 * * * * [points]: Computing exacts on every 5 of 180 points to ramp up precision
39.057 * * * * [points]: Setting MPFR precision to 64
39.059 * * * * [points]: Setting MPFR precision to 320
39.061 * * * * [points]: Computing exacts on every 2 of 180 points to ramp up precision
39.064 * * * * [points]: Setting MPFR precision to 64
39.067 * * * * [points]: Setting MPFR precision to 320
39.071 * * * * [points]: Computing exacts for 180 points
39.074 * * * * [points]: Setting MPFR precision to 64
39.086 * * * * [points]: Setting MPFR precision to 320
39.098 * * * * [points]: Filtering points with unrepresentable outputs
39.099 * * * * [points]: Sampling 160 additional inputs, on iter 29 have 7840 / 8000
39.099 * * * * [points]: Computing exacts on every 10 of 160 points to ramp up precision
39.102 * * * * [points]: Setting MPFR precision to 64
39.103 * * * * [points]: Setting MPFR precision to 320
39.104 * * * * [points]: Computing exacts on every 5 of 160 points to ramp up precision
39.107 * * * * [points]: Setting MPFR precision to 64
39.109 * * * * [points]: Setting MPFR precision to 320
39.131 * * * * [points]: Computing exacts on every 2 of 160 points to ramp up precision
39.134 * * * * [points]: Setting MPFR precision to 64
39.137 * * * * [points]: Setting MPFR precision to 320
39.142 * * * * [points]: Computing exacts for 160 points
39.145 * * * * [points]: Setting MPFR precision to 64
39.156 * * * * [points]: Setting MPFR precision to 320
39.166 * * * * [points]: Filtering points with unrepresentable outputs
39.166 * * * * [points]: Sampling 136 additional inputs, on iter 30 have 7864 / 8000
39.166 * * * * [points]: Computing exacts on every 8 of 136 points to ramp up precision
39.169 * * * * [points]: Setting MPFR precision to 64
39.170 * * * * [points]: Setting MPFR precision to 320
39.171 * * * * [points]: Computing exacts on every 4 of 136 points to ramp up precision
39.174 * * * * [points]: Setting MPFR precision to 64
39.176 * * * * [points]: Setting MPFR precision to 320
39.178 * * * * [points]: Computing exacts on every 2 of 136 points to ramp up precision
39.181 * * * * [points]: Setting MPFR precision to 64
39.184 * * * * [points]: Setting MPFR precision to 320
39.186 * * * * [points]: Computing exacts for 136 points
39.189 * * * * [points]: Setting MPFR precision to 64
39.198 * * * * [points]: Setting MPFR precision to 320
39.207 * * * * [points]: Filtering points with unrepresentable outputs
39.207 * * * * [points]: Sampling 117 additional inputs, on iter 31 have 7883 / 8000
39.208 * * * * [points]: Computing exacts on every 7 of 117 points to ramp up precision
39.211 * * * * [points]: Setting MPFR precision to 64
39.212 * * * * [points]: Setting MPFR precision to 320
39.213 * * * * [points]: Computing exacts on every 3 of 117 points to ramp up precision
39.217 * * * * [points]: Setting MPFR precision to 64
39.236 * * * * [points]: Setting MPFR precision to 320
39.238 * * * * [points]: Computing exacts for 117 points
39.242 * * * * [points]: Setting MPFR precision to 64
39.250 * * * * [points]: Setting MPFR precision to 320
39.258 * * * * [points]: Filtering points with unrepresentable outputs
39.258 * * * * [points]: Sampling 100 additional inputs, on iter 32 have 7900 / 8000
39.259 * * * * [points]: Computing exacts on every 6 of 100 points to ramp up precision
39.262 * * * * [points]: Setting MPFR precision to 64
39.263 * * * * [points]: Setting MPFR precision to 320
39.263 * * * * [points]: Computing exacts on every 3 of 100 points to ramp up precision
39.266 * * * * [points]: Setting MPFR precision to 64
39.268 * * * * [points]: Setting MPFR precision to 320
39.270 * * * * [points]: Computing exacts for 100 points
39.273 * * * * [points]: Setting MPFR precision to 64
39.279 * * * * [points]: Setting MPFR precision to 320
39.285 * * * * [points]: Filtering points with unrepresentable outputs
39.285 * * * * [points]: Sampling 83 additional inputs, on iter 33 have 7917 / 8000
39.286 * * * * [points]: Computing exacts on every 5 of 83 points to ramp up precision
39.289 * * * * [points]: Setting MPFR precision to 64
39.290 * * * * [points]: Setting MPFR precision to 320
39.291 * * * * [points]: Computing exacts on every 2 of 83 points to ramp up precision
39.293 * * * * [points]: Setting MPFR precision to 64
39.295 * * * * [points]: Setting MPFR precision to 320
39.297 * * * * [points]: Computing exacts for 83 points
39.300 * * * * [points]: Setting MPFR precision to 64
39.305 * * * * [points]: Setting MPFR precision to 320
39.310 * * * * [points]: Filtering points with unrepresentable outputs
39.310 * * * * [points]: Sampling 74 additional inputs, on iter 34 have 7926 / 8000
39.311 * * * * [points]: Computing exacts on every 4 of 74 points to ramp up precision
39.313 * * * * [points]: Setting MPFR precision to 64
39.314 * * * * [points]: Setting MPFR precision to 320
39.315 * * * * [points]: Computing exacts on every 2 of 74 points to ramp up precision
39.318 * * * * [points]: Setting MPFR precision to 64
39.320 * * * * [points]: Setting MPFR precision to 320
39.342 * * * * [points]: Computing exacts for 74 points
39.346 * * * * [points]: Setting MPFR precision to 64
39.350 * * * * [points]: Setting MPFR precision to 320
39.357 * * * * [points]: Filtering points with unrepresentable outputs
39.357 * * * * [points]: Sampling 62 additional inputs, on iter 35 have 7938 / 8000
39.357 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
39.360 * * * * [points]: Setting MPFR precision to 64
39.361 * * * * [points]: Setting MPFR precision to 320
39.362 * * * * [points]: Computing exacts for 62 points
39.365 * * * * [points]: Setting MPFR precision to 64
39.369 * * * * [points]: Setting MPFR precision to 320
39.373 * * * * [points]: Filtering points with unrepresentable outputs
39.373 * * * * [points]: Sampling 56 additional inputs, on iter 36 have 7944 / 8000
39.374 * * * * [points]: Computing exacts on every 3 of 56 points to ramp up precision
39.377 * * * * [points]: Setting MPFR precision to 64
39.378 * * * * [points]: Setting MPFR precision to 320
39.378 * * * * [points]: Computing exacts for 56 points
39.381 * * * * [points]: Setting MPFR precision to 64
39.385 * * * * [points]: Setting MPFR precision to 320
39.388 * * * * [points]: Filtering points with unrepresentable outputs
39.389 * * * * [points]: Sampling 47 additional inputs, on iter 37 have 7953 / 8000
39.389 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
39.392 * * * * [points]: Setting MPFR precision to 64
39.393 * * * * [points]: Setting MPFR precision to 320
39.394 * * * * [points]: Computing exacts for 47 points
39.397 * * * * [points]: Setting MPFR precision to 64
39.400 * * * * [points]: Setting MPFR precision to 320
39.403 * * * * [points]: Filtering points with unrepresentable outputs
39.403 * * * * [points]: Sampling 38 additional inputs, on iter 38 have 7962 / 8000
39.403 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
39.406 * * * * [points]: Setting MPFR precision to 64
39.407 * * * * [points]: Setting MPFR precision to 320
39.408 * * * * [points]: Computing exacts for 38 points
39.410 * * * * [points]: Setting MPFR precision to 64
39.413 * * * * [points]: Setting MPFR precision to 320
39.416 * * * * [points]: Filtering points with unrepresentable outputs
39.416 * * * * [points]: Sampling 31 additional inputs, on iter 39 have 7969 / 8000
39.416 * * * * [points]: Computing exacts for 31 points
39.419 * * * * [points]: Setting MPFR precision to 64
39.421 * * * * [points]: Setting MPFR precision to 320
39.423 * * * * [points]: Filtering points with unrepresentable outputs
39.423 * * * * [points]: Sampling 29 additional inputs, on iter 40 have 7971 / 8000
39.423 * * * * [points]: Computing exacts for 29 points
39.444 * * * * [points]: Setting MPFR precision to 64
39.446 * * * * [points]: Setting MPFR precision to 320
39.448 * * * * [points]: Filtering points with unrepresentable outputs
39.449 * * * * [points]: Sampling 26 additional inputs, on iter 41 have 7974 / 8000
39.449 * * * * [points]: Computing exacts for 26 points
39.452 * * * * [points]: Setting MPFR precision to 64
39.454 * * * * [points]: Setting MPFR precision to 320
39.456 * * * * [points]: Filtering points with unrepresentable outputs
39.456 * * * * [points]: Sampling 25 additional inputs, on iter 42 have 7975 / 8000
39.457 * * * * [points]: Computing exacts for 25 points
39.460 * * * * [points]: Setting MPFR precision to 64
39.462 * * * * [points]: Setting MPFR precision to 320
39.464 * * * * [points]: Filtering points with unrepresentable outputs
39.464 * * * * [points]: Sampling 22 additional inputs, on iter 43 have 7978 / 8000
39.464 * * * * [points]: Computing exacts for 22 points
39.467 * * * * [points]: Setting MPFR precision to 64
39.468 * * * * [points]: Setting MPFR precision to 320
39.470 * * * * [points]: Filtering points with unrepresentable outputs
39.470 * * * * [points]: Sampling 20 additional inputs, on iter 44 have 7980 / 8000
39.470 * * * * [points]: Computing exacts for 20 points
39.473 * * * * [points]: Setting MPFR precision to 64
39.474 * * * * [points]: Setting MPFR precision to 320
39.475 * * * * [points]: Filtering points with unrepresentable outputs
39.475 * * * * [points]: Sampling 17 additional inputs, on iter 45 have 7983 / 8000
39.476 * * * * [points]: Computing exacts for 17 points
39.478 * * * * [points]: Setting MPFR precision to 64
39.479 * * * * [points]: Setting MPFR precision to 320
39.481 * * * * [points]: Filtering points with unrepresentable outputs
39.481 * * * * [points]: Sampling 16 additional inputs, on iter 46 have 7984 / 8000
39.481 * * * * [points]: Computing exacts for 16 points
39.484 * * * * [points]: Setting MPFR precision to 64
39.485 * * * * [points]: Setting MPFR precision to 320
39.486 * * * * [points]: Filtering points with unrepresentable outputs
39.486 * * * * [points]: Sampling 14 additional inputs, on iter 47 have 7986 / 8000
39.486 * * * * [points]: Computing exacts for 14 points
39.489 * * * * [points]: Setting MPFR precision to 64
39.490 * * * * [points]: Setting MPFR precision to 320
39.491 * * * * [points]: Filtering points with unrepresentable outputs
39.491 * * * * [points]: Sampling 12 additional inputs, on iter 48 have 7988 / 8000
39.491 * * * * [points]: Computing exacts for 12 points
39.494 * * * * [points]: Setting MPFR precision to 64
39.494 * * * * [points]: Setting MPFR precision to 320
39.495 * * * * [points]: Filtering points with unrepresentable outputs
39.495 * * * * [points]: Sampling 10 additional inputs, on iter 49 have 7990 / 8000
39.495 * * * * [points]: Computing exacts for 10 points
39.498 * * * * [points]: Setting MPFR precision to 64
39.499 * * * * [points]: Setting MPFR precision to 320
39.499 * * * * [points]: Filtering points with unrepresentable outputs
39.500 * * * * [points]: Sampling 9 additional inputs, on iter 50 have 7991 / 8000
39.500 * * * * [points]: Computing exacts for 9 points
39.502 * * * * [points]: Setting MPFR precision to 64
39.503 * * * * [points]: Setting MPFR precision to 320
39.504 * * * * [points]: Filtering points with unrepresentable outputs
39.504 * * * * [points]: Sampling 7 additional inputs, on iter 51 have 7993 / 8000
39.504 * * * * [points]: Computing exacts for 7 points
39.507 * * * * [points]: Setting MPFR precision to 64
39.507 * * * * [points]: Setting MPFR precision to 320
39.508 * * * * [points]: Filtering points with unrepresentable outputs
39.508 * * * * [points]: Sampling 7 additional inputs, on iter 52 have 7993 / 8000
39.508 * * * * [points]: Computing exacts for 7 points
39.510 * * * * [points]: Setting MPFR precision to 64
39.511 * * * * [points]: Setting MPFR precision to 320
39.512 * * * * [points]: Filtering points with unrepresentable outputs
39.512 * * * * [points]: Sampling 5 additional inputs, on iter 53 have 7995 / 8000
39.512 * * * * [points]: Computing exacts for 5 points
39.515 * * * * [points]: Setting MPFR precision to 64
39.515 * * * * [points]: Setting MPFR precision to 320
39.515 * * * * [points]: Filtering points with unrepresentable outputs
39.515 * * * * [points]: Sampling 4 additional inputs, on iter 54 have 7996 / 8000
39.515 * * * * [points]: Computing exacts for 4 points
39.530 * * * * [points]: Setting MPFR precision to 64
39.530 * * * * [points]: Setting MPFR precision to 320
39.531 * * * * [points]: Filtering points with unrepresentable outputs
39.531 * * * * [points]: Sampling 4 additional inputs, on iter 55 have 7997 / 8000
39.531 * * * * [points]: Computing exacts for 4 points
39.535 * * * * [points]: Setting MPFR precision to 64
39.536 * * * * [points]: Setting MPFR precision to 320
39.536 * * * * [points]: Filtering points with unrepresentable outputs
39.536 * * * * [points]: Sampling 4 additional inputs, on iter 56 have 7998 / 8000
39.536 * * * * [points]: Computing exacts for 4 points
39.539 * * * * [points]: Setting MPFR precision to 64
39.539 * * * * [points]: Setting MPFR precision to 320
39.540 * * * * [points]: Filtering points with unrepresentable outputs
39.540 * * * * [points]: Sampled 8000 points with exact outputs
41.258 * [regime-testing]: Baseline error score: 64.0
41.261 * [regime-testing]: Oracle error score: 64.0
41.267 * [regime-testing]: End program error score: 0.15496751366764536