0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.007 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [points]: Setting MPFR precision to 320
0.011 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.017 * * * * [points]: Setting MPFR precision to 64
0.020 * * * * [points]: Setting MPFR precision to 320
0.023 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.028 * * * * [points]: Setting MPFR precision to 64
0.034 * * * * [points]: Setting MPFR precision to 320
0.040 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.045 * * * * [points]: Setting MPFR precision to 64
0.055 * * * * [points]: Setting MPFR precision to 320
0.065 * * * * [points]: Computing exacts for 256 points
0.070 * * * * [points]: Setting MPFR precision to 64
0.098 * * * * [points]: Setting MPFR precision to 320
0.127 * * * * [points]: Filtering points with unrepresentable outputs
0.127 * * * * [points]: Sampling 225 additional inputs, on iter 1 have 31 / 256
0.128 * * * * [points]: Computing exacts on every 14 of 225 points to ramp up precision
0.133 * * * * [points]: Setting MPFR precision to 64
0.134 * * * * [points]: Setting MPFR precision to 320
0.135 * * * * [points]: Computing exacts on every 7 of 225 points to ramp up precision
0.138 * * * * [points]: Setting MPFR precision to 64
0.140 * * * * [points]: Setting MPFR precision to 320
0.143 * * * * [points]: Computing exacts on every 3 of 225 points to ramp up precision
0.148 * * * * [points]: Setting MPFR precision to 64
0.181 * * * * [points]: Setting MPFR precision to 320
0.188 * * * * [points]: Computing exacts for 225 points
0.193 * * * * [points]: Setting MPFR precision to 64
0.218 * * * * [points]: Setting MPFR precision to 320
0.243 * * * * [points]: Filtering points with unrepresentable outputs
0.244 * * * * [points]: Sampling 203 additional inputs, on iter 2 have 53 / 256
0.245 * * * * [points]: Computing exacts on every 12 of 203 points to ramp up precision
0.249 * * * * [points]: Setting MPFR precision to 64
0.250 * * * * [points]: Setting MPFR precision to 320
0.251 * * * * [points]: Computing exacts on every 6 of 203 points to ramp up precision
0.254 * * * * [points]: Setting MPFR precision to 64
0.256 * * * * [points]: Setting MPFR precision to 320
0.259 * * * * [points]: Computing exacts on every 3 of 203 points to ramp up precision
0.262 * * * * [points]: Setting MPFR precision to 64
0.265 * * * * [points]: Setting MPFR precision to 320
0.271 * * * * [points]: Computing exacts for 203 points
0.274 * * * * [points]: Setting MPFR precision to 64
0.288 * * * * [points]: Setting MPFR precision to 320
0.302 * * * * [points]: Filtering points with unrepresentable outputs
0.302 * * * * [points]: Sampling 179 additional inputs, on iter 3 have 77 / 256
0.303 * * * * [points]: Computing exacts on every 11 of 179 points to ramp up precision
0.329 * * * * [points]: Setting MPFR precision to 64
0.331 * * * * [points]: Setting MPFR precision to 320
0.332 * * * * [points]: Computing exacts on every 5 of 179 points to ramp up precision
0.335 * * * * [points]: Setting MPFR precision to 64
0.339 * * * * [points]: Setting MPFR precision to 320
0.341 * * * * [points]: Computing exacts on every 2 of 179 points to ramp up precision
0.346 * * * * [points]: Setting MPFR precision to 64
0.350 * * * * [points]: Setting MPFR precision to 320
0.357 * * * * [points]: Computing exacts for 179 points
0.363 * * * * [points]: Setting MPFR precision to 64
0.384 * * * * [points]: Setting MPFR precision to 320
0.405 * * * * [points]: Filtering points with unrepresentable outputs
0.405 * * * * [points]: Sampling 158 additional inputs, on iter 4 have 98 / 256
0.406 * * * * [points]: Computing exacts on every 9 of 158 points to ramp up precision
0.412 * * * * [points]: Setting MPFR precision to 64
0.413 * * * * [points]: Setting MPFR precision to 320
0.415 * * * * [points]: Computing exacts on every 4 of 158 points to ramp up precision
0.422 * * * * [points]: Setting MPFR precision to 64
0.426 * * * * [points]: Setting MPFR precision to 320
0.430 * * * * [points]: Computing exacts on every 2 of 158 points to ramp up precision
0.437 * * * * [points]: Setting MPFR precision to 64
0.444 * * * * [points]: Setting MPFR precision to 320
0.451 * * * * [points]: Computing exacts for 158 points
0.458 * * * * [points]: Setting MPFR precision to 64
0.503 * * * * [points]: Setting MPFR precision to 320
0.525 * * * * [points]: Filtering points with unrepresentable outputs
0.525 * * * * [points]: Sampling 142 additional inputs, on iter 5 have 114 / 256
0.526 * * * * [points]: Computing exacts on every 8 of 142 points to ramp up precision
0.532 * * * * [points]: Setting MPFR precision to 64
0.535 * * * * [points]: Setting MPFR precision to 320
0.536 * * * * [points]: Computing exacts on every 4 of 142 points to ramp up precision
0.543 * * * * [points]: Setting MPFR precision to 64
0.547 * * * * [points]: Setting MPFR precision to 320
0.550 * * * * [points]: Computing exacts on every 2 of 142 points to ramp up precision
0.556 * * * * [points]: Setting MPFR precision to 64
0.563 * * * * [points]: Setting MPFR precision to 320
0.569 * * * * [points]: Computing exacts for 142 points
0.575 * * * * [points]: Setting MPFR precision to 64
0.591 * * * * [points]: Setting MPFR precision to 320
0.607 * * * * [points]: Filtering points with unrepresentable outputs
0.607 * * * * [points]: Sampling 133 additional inputs, on iter 6 have 123 / 256
0.608 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision
0.611 * * * * [points]: Setting MPFR precision to 64
0.613 * * * * [points]: Setting MPFR precision to 320
0.614 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision
0.617 * * * * [points]: Setting MPFR precision to 64
0.619 * * * * [points]: Setting MPFR precision to 320
0.621 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision
0.624 * * * * [points]: Setting MPFR precision to 64
0.627 * * * * [points]: Setting MPFR precision to 320
0.631 * * * * [points]: Computing exacts for 133 points
0.638 * * * * [points]: Setting MPFR precision to 64
0.672 * * * * [points]: Setting MPFR precision to 320
0.683 * * * * [points]: Filtering points with unrepresentable outputs
0.684 * * * * [points]: Sampling 117 additional inputs, on iter 7 have 139 / 256
0.684 * * * * [points]: Computing exacts on every 7 of 117 points to ramp up precision
0.688 * * * * [points]: Setting MPFR precision to 64
0.689 * * * * [points]: Setting MPFR precision to 320
0.690 * * * * [points]: Computing exacts on every 3 of 117 points to ramp up precision
0.693 * * * * [points]: Setting MPFR precision to 64
0.696 * * * * [points]: Setting MPFR precision to 320
0.698 * * * * [points]: Computing exacts for 117 points
0.701 * * * * [points]: Setting MPFR precision to 64
0.710 * * * * [points]: Setting MPFR precision to 320
0.718 * * * * [points]: Filtering points with unrepresentable outputs
0.718 * * * * [points]: Sampling 104 additional inputs, on iter 8 have 152 / 256
0.718 * * * * [points]: Computing exacts on every 6 of 104 points to ramp up precision
0.725 * * * * [points]: Setting MPFR precision to 64
0.727 * * * * [points]: Setting MPFR precision to 320
0.729 * * * * [points]: Computing exacts on every 3 of 104 points to ramp up precision
0.735 * * * * [points]: Setting MPFR precision to 64
0.739 * * * * [points]: Setting MPFR precision to 320
0.742 * * * * [points]: Computing exacts for 104 points
0.748 * * * * [points]: Setting MPFR precision to 64
0.760 * * * * [points]: Setting MPFR precision to 320
0.772 * * * * [points]: Filtering points with unrepresentable outputs
0.772 * * * * [points]: Sampling 89 additional inputs, on iter 9 have 167 / 256
0.773 * * * * [points]: Computing exacts on every 5 of 89 points to ramp up precision
0.779 * * * * [points]: Setting MPFR precision to 64
0.780 * * * * [points]: Setting MPFR precision to 320
0.781 * * * * [points]: Computing exacts on every 2 of 89 points to ramp up precision
0.785 * * * * [points]: Setting MPFR precision to 64
0.787 * * * * [points]: Setting MPFR precision to 320
0.789 * * * * [points]: Computing exacts for 89 points
0.812 * * * * [points]: Setting MPFR precision to 64
0.819 * * * * [points]: Setting MPFR precision to 320
0.826 * * * * [points]: Filtering points with unrepresentable outputs
0.827 * * * * [points]: Sampling 79 additional inputs, on iter 10 have 177 / 256
0.827 * * * * [points]: Computing exacts on every 4 of 79 points to ramp up precision
0.830 * * * * [points]: Setting MPFR precision to 64
0.831 * * * * [points]: Setting MPFR precision to 320
0.832 * * * * [points]: Computing exacts on every 2 of 79 points to ramp up precision
0.836 * * * * [points]: Setting MPFR precision to 64
0.838 * * * * [points]: Setting MPFR precision to 320
0.840 * * * * [points]: Computing exacts for 79 points
0.843 * * * * [points]: Setting MPFR precision to 64
0.848 * * * * [points]: Setting MPFR precision to 320
0.854 * * * * [points]: Filtering points with unrepresentable outputs
0.854 * * * * [points]: Sampling 73 additional inputs, on iter 11 have 183 / 256
0.855 * * * * [points]: Computing exacts on every 4 of 73 points to ramp up precision
0.859 * * * * [points]: Setting MPFR precision to 64
0.860 * * * * [points]: Setting MPFR precision to 320
0.861 * * * * [points]: Computing exacts on every 2 of 73 points to ramp up precision
0.864 * * * * [points]: Setting MPFR precision to 64
0.866 * * * * [points]: Setting MPFR precision to 320
0.868 * * * * [points]: Computing exacts for 73 points
0.871 * * * * [points]: Setting MPFR precision to 64
0.876 * * * * [points]: Setting MPFR precision to 320
0.882 * * * * [points]: Filtering points with unrepresentable outputs
0.882 * * * * [points]: Sampling 66 additional inputs, on iter 12 have 190 / 256
0.883 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
0.888 * * * * [points]: Setting MPFR precision to 64
0.889 * * * * [points]: Setting MPFR precision to 320
0.891 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
0.896 * * * * [points]: Setting MPFR precision to 64
0.899 * * * * [points]: Setting MPFR precision to 320
0.901 * * * * [points]: Computing exacts for 66 points
0.906 * * * * [points]: Setting MPFR precision to 64
1.185 * * * * [points]: Setting MPFR precision to 320
1.190 * * * * [points]: Filtering points with unrepresentable outputs
1.190 * * * * [points]: Sampling 53 additional inputs, on iter 13 have 203 / 256
1.190 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
1.194 * * * * [points]: Setting MPFR precision to 64
1.195 * * * * [points]: Setting MPFR precision to 320
1.196 * * * * [points]: Computing exacts for 53 points
1.199 * * * * [points]: Setting MPFR precision to 64
1.203 * * * * [points]: Setting MPFR precision to 320
1.207 * * * * [points]: Filtering points with unrepresentable outputs
1.207 * * * * [points]: Sampling 41 additional inputs, on iter 14 have 215 / 256
1.207 * * * * [points]: Computing exacts on every 2 of 41 points to ramp up precision
1.212 * * * * [points]: Setting MPFR precision to 64
1.213 * * * * [points]: Setting MPFR precision to 320
1.214 * * * * [points]: Computing exacts for 41 points
1.218 * * * * [points]: Setting MPFR precision to 64
1.221 * * * * [points]: Setting MPFR precision to 320
1.223 * * * * [points]: Filtering points with unrepresentable outputs
1.223 * * * * [points]: Sampling 37 additional inputs, on iter 15 have 219 / 256
1.224 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
1.227 * * * * [points]: Setting MPFR precision to 64
1.228 * * * * [points]: Setting MPFR precision to 320
1.229 * * * * [points]: Computing exacts for 37 points
1.232 * * * * [points]: Setting MPFR precision to 64
1.235 * * * * [points]: Setting MPFR precision to 320
1.238 * * * * [points]: Filtering points with unrepresentable outputs
1.238 * * * * [points]: Sampling 33 additional inputs, on iter 16 have 223 / 256
1.238 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
1.241 * * * * [points]: Setting MPFR precision to 64
1.242 * * * * [points]: Setting MPFR precision to 320
1.243 * * * * [points]: Computing exacts for 33 points
1.246 * * * * [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 27 additional inputs, on iter 17 have 229 / 256
1.251 * * * * [points]: Computing exacts for 27 points
1.255 * * * * [points]: Setting MPFR precision to 64
1.257 * * * * [points]: Setting MPFR precision to 320
1.259 * * * * [points]: Filtering points with unrepresentable outputs
1.259 * * * * [points]: Sampling 23 additional inputs, on iter 18 have 233 / 256
1.259 * * * * [points]: Computing exacts for 23 points
1.262 * * * * [points]: Setting MPFR precision to 64
1.264 * * * * [points]: Setting MPFR precision to 320
1.266 * * * * [points]: Filtering points with unrepresentable outputs
1.266 * * * * [points]: Sampling 21 additional inputs, on iter 19 have 235 / 256
1.266 * * * * [points]: Computing exacts for 21 points
1.270 * * * * [points]: Setting MPFR precision to 64
1.271 * * * * [points]: Setting MPFR precision to 320
1.273 * * * * [points]: Filtering points with unrepresentable outputs
1.273 * * * * [points]: Sampling 16 additional inputs, on iter 20 have 240 / 256
1.273 * * * * [points]: Computing exacts for 16 points
1.295 * * * * [points]: Setting MPFR precision to 64
1.296 * * * * [points]: Setting MPFR precision to 320
1.297 * * * * [points]: Filtering points with unrepresentable outputs
1.297 * * * * [points]: Sampling 12 additional inputs, on iter 21 have 244 / 256
1.297 * * * * [points]: Computing exacts for 12 points
1.300 * * * * [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 9 additional inputs, on iter 22 have 247 / 256
1.303 * * * * [points]: Computing exacts for 9 points
1.306 * * * * [points]: Setting MPFR precision to 64
1.307 * * * * [points]: Setting MPFR precision to 320
1.307 * * * * [points]: Filtering points with unrepresentable outputs
1.307 * * * * [points]: Sampling 7 additional inputs, on iter 23 have 249 / 256
1.307 * * * * [points]: Computing exacts for 7 points
1.311 * * * * [points]: Setting MPFR precision to 64
1.311 * * * * [points]: Setting MPFR precision to 320
1.312 * * * * [points]: Filtering points with unrepresentable outputs
1.312 * * * * [points]: Sampling 7 additional inputs, on iter 24 have 249 / 256
1.312 * * * * [points]: Computing exacts for 7 points
1.315 * * * * [points]: Setting MPFR precision to 64
1.316 * * * * [points]: Setting MPFR precision to 320
1.316 * * * * [points]: Filtering points with unrepresentable outputs
1.316 * * * * [points]: Sampling 5 additional inputs, on iter 25 have 251 / 256
1.316 * * * * [points]: Computing exacts for 5 points
1.320 * * * * [points]: Setting MPFR precision to 64
1.320 * * * * [points]: Setting MPFR precision to 320
1.320 * * * * [points]: Filtering points with unrepresentable outputs
1.320 * * * * [points]: Sampling 5 additional inputs, on iter 26 have 251 / 256
1.320 * * * * [points]: Computing exacts for 5 points
1.324 * * * * [points]: Setting MPFR precision to 64
1.324 * * * * [points]: Setting MPFR precision to 320
1.325 * * * * [points]: Filtering points with unrepresentable outputs
1.325 * * * * [points]: Sampling 4 additional inputs, on iter 27 have 252 / 256
1.325 * * * * [points]: Computing exacts for 4 points
1.328 * * * * [points]: Setting MPFR precision to 64
1.328 * * * * [points]: Setting MPFR precision to 320
1.328 * * * * [points]: Filtering points with unrepresentable outputs
1.329 * * * * [points]: Sampling 4 additional inputs, on iter 28 have 252 / 256
1.329 * * * * [points]: Computing exacts for 4 points
1.332 * * * * [points]: Setting MPFR precision to 64
1.332 * * * * [points]: Setting MPFR precision to 320
1.333 * * * * [points]: Filtering points with unrepresentable outputs
1.333 * * * * [points]: Sampling 4 additional inputs, on iter 29 have 252 / 256
1.333 * * * * [points]: Computing exacts for 4 points
1.336 * * * * [points]: Setting MPFR precision to 64
1.336 * * * * [points]: Setting MPFR precision to 320
1.337 * * * * [points]: Filtering points with unrepresentable outputs
1.337 * * * * [points]: Sampling 4 additional inputs, on iter 30 have 253 / 256
1.337 * * * * [points]: Computing exacts for 4 points
1.340 * * * * [points]: Setting MPFR precision to 64
1.340 * * * * [points]: Setting MPFR precision to 320
1.341 * * * * [points]: Filtering points with unrepresentable outputs
1.341 * * * * [points]: Sampling 4 additional inputs, on iter 31 have 253 / 256
1.341 * * * * [points]: Computing exacts for 4 points
1.344 * * * * [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]: Sampling 4 additional inputs, on iter 32 have 253 / 256
1.345 * * * * [points]: Computing exacts for 4 points
1.348 * * * * [points]: Setting MPFR precision to 64
1.348 * * * * [points]: Setting MPFR precision to 320
1.349 * * * * [points]: Filtering points with unrepresentable outputs
1.349 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 253 / 256
1.349 * * * * [points]: Computing exacts for 4 points
1.352 * * * * [points]: Setting MPFR precision to 64
1.353 * * * * [points]: Setting MPFR precision to 320
1.353 * * * * [points]: Filtering points with unrepresentable outputs
1.353 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 253 / 256
1.353 * * * * [points]: Computing exacts for 4 points
1.357 * * * * [points]: Setting MPFR precision to 64
1.357 * * * * [points]: Setting MPFR precision to 320
1.358 * * * * [points]: Filtering points with unrepresentable outputs
1.358 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 254 / 256
1.358 * * * * [points]: Computing exacts for 4 points
1.361 * * * * [points]: Setting MPFR precision to 64
1.361 * * * * [points]: Setting MPFR precision to 320
1.362 * * * * [points]: Filtering points with unrepresentable outputs
1.362 * * * * [points]: Sampled 256 points with exact outputs
1.362 * * * [progress]: [2/2] Setting up program.
1.391 * [progress]: [Phase 2 of 3] Improving.
1.391 * * * * [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.391 * [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.391 * * [simplify]: iters left: 6 (15 enodes)
1.395 * * [simplify]: iters left: 5 (54 enodes)
1.405 * * [simplify]: iters left: 4 (174 enodes)
1.500 * * [simplify]: Extracting #0: cost 1 inf + 0
1.500 * * [simplify]: Extracting #1: cost 2 inf + 0
1.501 * * [simplify]: Extracting #2: cost 52 inf + 0
1.501 * * [simplify]: Extracting #3: cost 218 inf + 0
1.504 * * [simplify]: Extracting #4: cost 350 inf + 488
1.512 * * [simplify]: Extracting #5: cost 271 inf + 83278
1.534 * * [simplify]: Extracting #6: cost 99 inf + 301152
1.571 * * [simplify]: Extracting #7: cost 13 inf + 445414
1.619 * * [simplify]: Extracting #8: cost 0 inf + 471346
1.662 * [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.662 * [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.679 * * [progress]: iteration 1 / 4
1.679 * * * [progress]: picking best candidate
1.695 * * * * [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.695 * * * [progress]: localizing error
1.929 * * * [progress]: generating rewritten candidates
1.929 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
1.964 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
2.010 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
2.045 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
2.053 * * * [progress]: generating series expansions
2.053 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
2.053 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
2.053 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
2.053 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
2.053 * * * [progress]: simplifying candidates
2.053 * * * * [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.053 * [simplify]: Simplifying (neg.p16 b)
2.053 * * [simplify]: iters left: 1 (2 enodes)
2.054 * * [simplify]: Extracting #0: cost 1 inf + 0
2.054 * * [simplify]: Extracting #1: cost 2 inf + 0
2.054 * * [simplify]: Extracting #2: cost 1 inf + 1
2.054 * * [simplify]: Extracting #3: cost 0 inf + 82
2.054 * [simplify]: Simplified to (neg.p16 b)
2.054 * [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.054 * * * * [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.054 * [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.054 * * [simplify]: iters left: 5 (11 enodes)
2.057 * * [simplify]: iters left: 4 (36 enodes)
2.064 * * [simplify]: iters left: 3 (93 enodes)
2.086 * * [simplify]: iters left: 2 (310 enodes)
2.226 * * [simplify]: Extracting #0: cost 1 inf + 0
2.226 * * [simplify]: Extracting #1: cost 32 inf + 0
2.227 * * [simplify]: Extracting #2: cost 177 inf + 0
2.227 * * [simplify]: Extracting #3: cost 262 inf + 3
2.231 * * [simplify]: Extracting #4: cost 421 inf + 54370
2.249 * * [simplify]: Extracting #5: cost 153 inf + 436108
2.291 * * [simplify]: Extracting #6: cost 5 inf + 707828
2.333 * * [simplify]: Extracting #7: cost 1 inf + 716961
2.375 * * [simplify]: Extracting #8: cost 0 inf + 720765
2.420 * [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.420 * [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.420 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
2.420 * * [simplify]: iters left: 4 (9 enodes)
2.422 * * [simplify]: iters left: 3 (21 enodes)
2.425 * * [simplify]: iters left: 2 (27 enodes)
2.429 * * [simplify]: iters left: 1 (28 enodes)
2.432 * * [simplify]: Extracting #0: cost 1 inf + 0
2.432 * * [simplify]: Extracting #1: cost 3 inf + 0
2.432 * * [simplify]: Extracting #2: cost 4 inf + 1
2.432 * * [simplify]: Extracting #3: cost 10 inf + 1
2.432 * * [simplify]: Extracting #4: cost 5 inf + 47
2.432 * * [simplify]: Extracting #5: cost 1 inf + 738
2.432 * * [simplify]: Extracting #6: cost 0 inf + 1302
2.433 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
2.433 * [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.433 * * * * [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.433 * [simplify]: Simplifying (neg.p16 a)
2.433 * * [simplify]: iters left: 1 (2 enodes)
2.433 * * [simplify]: Extracting #0: cost 1 inf + 0
2.433 * * [simplify]: Extracting #1: cost 2 inf + 0
2.433 * * [simplify]: Extracting #2: cost 1 inf + 1
2.433 * * [simplify]: Extracting #3: cost 0 inf + 82
2.433 * [simplify]: Simplified to (neg.p16 a)
2.433 * [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.433 * * * * [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.434 * [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.434 * * [simplify]: iters left: 5 (11 enodes)
2.436 * * [simplify]: iters left: 4 (36 enodes)
2.442 * * [simplify]: iters left: 3 (93 enodes)
2.462 * * [simplify]: iters left: 2 (310 enodes)
2.602 * * [simplify]: Extracting #0: cost 1 inf + 0
2.602 * * [simplify]: Extracting #1: cost 32 inf + 0
2.602 * * [simplify]: Extracting #2: cost 177 inf + 0
2.603 * * [simplify]: Extracting #3: cost 264 inf + 3
2.605 * * [simplify]: Extracting #4: cost 467 inf + 4714
2.616 * * [simplify]: Extracting #5: cost 264 inf + 269730
2.650 * * [simplify]: Extracting #6: cost 26 inf + 662825
2.724 * * [simplify]: Extracting #7: cost 3 inf + 715354
2.766 * * [simplify]: Extracting #8: cost 0 inf + 724446
2.827 * [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.827 * [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.828 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
2.828 * * [simplify]: iters left: 4 (9 enodes)
2.833 * * [simplify]: iters left: 3 (21 enodes)
2.840 * * [simplify]: iters left: 2 (27 enodes)
2.848 * * [simplify]: iters left: 1 (28 enodes)
2.856 * * [simplify]: Extracting #0: cost 1 inf + 0
2.856 * * [simplify]: Extracting #1: cost 3 inf + 0
2.856 * * [simplify]: Extracting #2: cost 4 inf + 1
2.856 * * [simplify]: Extracting #3: cost 10 inf + 1
2.856 * * [simplify]: Extracting #4: cost 1 inf + 738
2.856 * * [simplify]: Extracting #5: cost 0 inf + 1302
2.856 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
2.856 * [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.857 * * * * [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.857 * [simplify]: Simplifying (neg.p16 c)
2.857 * * [simplify]: iters left: 1 (2 enodes)
2.857 * * [simplify]: Extracting #0: cost 1 inf + 0
2.857 * * [simplify]: Extracting #1: cost 2 inf + 0
2.857 * * [simplify]: Extracting #2: cost 1 inf + 1
2.857 * * [simplify]: Extracting #3: cost 0 inf + 82
2.857 * [simplify]: Simplified to (neg.p16 c)
2.857 * [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.858 * * * * [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.858 * [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.858 * * [simplify]: iters left: 5 (11 enodes)
2.861 * * [simplify]: iters left: 4 (36 enodes)
2.868 * * [simplify]: iters left: 3 (93 enodes)
2.889 * * [simplify]: iters left: 2 (310 enodes)
3.099 * * [simplify]: Extracting #0: cost 1 inf + 0
3.099 * * [simplify]: Extracting #1: cost 32 inf + 0
3.100 * * [simplify]: Extracting #2: cost 177 inf + 0
3.101 * * [simplify]: Extracting #3: cost 264 inf + 3
3.104 * * [simplify]: Extracting #4: cost 468 inf + 3993
3.122 * * [simplify]: Extracting #5: cost 260 inf + 278346
3.176 * * [simplify]: Extracting #6: cost 26 inf + 662225
3.243 * * [simplify]: Extracting #7: cost 4 inf + 710950
3.310 * * [simplify]: Extracting #8: cost 0 inf + 722886
3.375 * [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.376 * [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.376 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
3.376 * * [simplify]: iters left: 4 (9 enodes)
3.380 * * [simplify]: iters left: 3 (21 enodes)
3.384 * * [simplify]: iters left: 2 (27 enodes)
3.390 * * [simplify]: iters left: 1 (28 enodes)
3.394 * * [simplify]: Extracting #0: cost 1 inf + 0
3.394 * * [simplify]: Extracting #1: cost 3 inf + 0
3.394 * * [simplify]: Extracting #2: cost 4 inf + 1
3.394 * * [simplify]: Extracting #3: cost 10 inf + 1
3.394 * * [simplify]: Extracting #4: cost 5 inf + 47
3.395 * * [simplify]: Extracting #5: cost 1 inf + 738
3.395 * * [simplify]: Extracting #6: cost 0 inf + 1302
3.395 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
3.395 * [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.395 * * * * [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.396 * [simplify]: Simplifying (+.p16 b c)
3.396 * * [simplify]: iters left: 1 (3 enodes)
3.396 * * [simplify]: Extracting #0: cost 1 inf + 0
3.396 * * [simplify]: Extracting #1: cost 3 inf + 0
3.396 * * [simplify]: Extracting #2: cost 1 inf + 2
3.396 * * [simplify]: Extracting #3: cost 0 inf + 44
3.396 * [simplify]: Simplified to (+.p16 c b)
3.396 * [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.397 * * * * [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.397 * * * * [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.397 * [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.397 * * [simplify]: iters left: 6 (15 enodes)
3.400 * * [simplify]: iters left: 5 (54 enodes)
3.410 * * [simplify]: iters left: 4 (174 enodes)
3.482 * * [simplify]: Extracting #0: cost 1 inf + 0
3.482 * * [simplify]: Extracting #1: cost 2 inf + 0
3.482 * * [simplify]: Extracting #2: cost 52 inf + 0
3.482 * * [simplify]: Extracting #3: cost 218 inf + 0
3.483 * * [simplify]: Extracting #4: cost 350 inf + 488
3.488 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.501 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.529 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.573 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.615 * [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.615 * [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.615 * * * * [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.616 * [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.616 * * [simplify]: iters left: 6 (15 enodes)
3.622 * * [simplify]: iters left: 5 (54 enodes)
3.633 * * [simplify]: iters left: 4 (174 enodes)
3.740 * * [simplify]: Extracting #0: cost 1 inf + 0
3.740 * * [simplify]: Extracting #1: cost 2 inf + 0
3.741 * * [simplify]: Extracting #2: cost 52 inf + 0
3.741 * * [simplify]: Extracting #3: cost 218 inf + 0
3.743 * * [simplify]: Extracting #4: cost 350 inf + 488
3.750 * * [simplify]: Extracting #5: cost 271 inf + 83278
3.776 * * [simplify]: Extracting #6: cost 99 inf + 301152
3.816 * * [simplify]: Extracting #7: cost 13 inf + 445414
3.855 * * [simplify]: Extracting #8: cost 0 inf + 471346
3.897 * [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.897 * [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.898 * * * * [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.898 * [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.898 * * [simplify]: iters left: 6 (15 enodes)
3.904 * * [simplify]: iters left: 5 (54 enodes)
3.924 * * [simplify]: iters left: 4 (174 enodes)
4.013 * * [simplify]: Extracting #0: cost 1 inf + 0
4.014 * * [simplify]: Extracting #1: cost 2 inf + 0
4.014 * * [simplify]: Extracting #2: cost 52 inf + 0
4.014 * * [simplify]: Extracting #3: cost 218 inf + 0
4.015 * * [simplify]: Extracting #4: cost 350 inf + 488
4.019 * * [simplify]: Extracting #5: cost 271 inf + 83278
4.033 * * [simplify]: Extracting #6: cost 99 inf + 301152
4.061 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.100 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.136 * [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.136 * [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.136 * * * * [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.136 * [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.137 * * [simplify]: iters left: 6 (15 enodes)
4.140 * * [simplify]: iters left: 5 (54 enodes)
4.150 * * [simplify]: iters left: 4 (174 enodes)
4.217 * * [simplify]: Extracting #0: cost 1 inf + 0
4.217 * * [simplify]: Extracting #1: cost 2 inf + 0
4.217 * * [simplify]: Extracting #2: cost 52 inf + 0
4.218 * * [simplify]: Extracting #3: cost 218 inf + 0
4.219 * * [simplify]: Extracting #4: cost 350 inf + 488
4.223 * * [simplify]: Extracting #5: cost 271 inf + 83278
4.237 * * [simplify]: Extracting #6: cost 99 inf + 301152
4.265 * * [simplify]: Extracting #7: cost 13 inf + 445414
4.293 * * [simplify]: Extracting #8: cost 0 inf + 471346
4.323 * [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.323 * [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.323 * * * [progress]: adding candidates to table
4.752 * * [progress]: iteration 2 / 4
4.752 * * * [progress]: picking best candidate
4.786 * * * * [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.786 * * * [progress]: localizing error
5.136 * * * [progress]: generating rewritten candidates
5.137 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
5.175 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
5.209 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
5.220 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1)
5.229 * * * [progress]: generating series expansions
5.229 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
5.229 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
5.229 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
5.229 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1)
5.229 * * * [progress]: simplifying candidates
5.229 * * * * [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.229 * [simplify]: Simplifying (neg.p16 b)
5.229 * * [simplify]: iters left: 1 (2 enodes)
5.230 * * [simplify]: Extracting #0: cost 1 inf + 0
5.230 * * [simplify]: Extracting #1: cost 2 inf + 0
5.230 * * [simplify]: Extracting #2: cost 1 inf + 1
5.230 * * [simplify]: Extracting #3: cost 0 inf + 82
5.230 * [simplify]: Simplified to (neg.p16 b)
5.230 * [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.230 * * * * [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.230 * [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.230 * * [simplify]: iters left: 5 (11 enodes)
5.233 * * [simplify]: iters left: 4 (36 enodes)
5.247 * * [simplify]: iters left: 3 (93 enodes)
5.285 * * [simplify]: iters left: 2 (310 enodes)
5.507 * * [simplify]: Extracting #0: cost 1 inf + 0
5.507 * * [simplify]: Extracting #1: cost 32 inf + 0
5.507 * * [simplify]: Extracting #2: cost 177 inf + 0
5.509 * * [simplify]: Extracting #3: cost 262 inf + 3
5.516 * * [simplify]: Extracting #4: cost 421 inf + 54370
5.535 * * [simplify]: Extracting #5: cost 153 inf + 436108
5.573 * * [simplify]: Extracting #6: cost 5 inf + 707828
5.616 * * [simplify]: Extracting #7: cost 1 inf + 716961
5.661 * * [simplify]: Extracting #8: cost 0 inf + 720765
5.717 * [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.717 * [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.718 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
5.718 * * [simplify]: iters left: 4 (9 enodes)
5.722 * * [simplify]: iters left: 3 (21 enodes)
5.728 * * [simplify]: iters left: 2 (27 enodes)
5.731 * * [simplify]: iters left: 1 (28 enodes)
5.735 * * [simplify]: Extracting #0: cost 1 inf + 0
5.735 * * [simplify]: Extracting #1: cost 3 inf + 0
5.735 * * [simplify]: Extracting #2: cost 4 inf + 1
5.735 * * [simplify]: Extracting #3: cost 10 inf + 1
5.735 * * [simplify]: Extracting #4: cost 5 inf + 47
5.735 * * [simplify]: Extracting #5: cost 1 inf + 738
5.735 * * [simplify]: Extracting #6: cost 0 inf + 1302
5.736 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
5.736 * [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.736 * * * * [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.736 * [simplify]: Simplifying (neg.p16 a)
5.736 * * [simplify]: iters left: 1 (2 enodes)
5.737 * * [simplify]: Extracting #0: cost 1 inf + 0
5.738 * * [simplify]: Extracting #1: cost 2 inf + 0
5.738 * * [simplify]: Extracting #2: cost 1 inf + 1
5.738 * * [simplify]: Extracting #3: cost 0 inf + 82
5.738 * [simplify]: Simplified to (neg.p16 a)
5.738 * [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.738 * * * * [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.738 * [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.738 * * [simplify]: iters left: 5 (11 enodes)
5.742 * * [simplify]: iters left: 4 (36 enodes)
5.754 * * [simplify]: iters left: 3 (93 enodes)
5.789 * * [simplify]: iters left: 2 (310 enodes)
5.989 * * [simplify]: Extracting #0: cost 1 inf + 0
5.989 * * [simplify]: Extracting #1: cost 32 inf + 0
5.990 * * [simplify]: Extracting #2: cost 177 inf + 0
5.991 * * [simplify]: Extracting #3: cost 264 inf + 3
5.992 * * [simplify]: Extracting #4: cost 467 inf + 4714
6.004 * * [simplify]: Extracting #5: cost 264 inf + 269730
6.052 * * [simplify]: Extracting #6: cost 26 inf + 662825
6.112 * * [simplify]: Extracting #7: cost 3 inf + 715354
6.181 * * [simplify]: Extracting #8: cost 0 inf + 724446
6.240 * [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.240 * [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.240 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
6.240 * * [simplify]: iters left: 4 (9 enodes)
6.242 * * [simplify]: iters left: 3 (21 enodes)
6.245 * * [simplify]: iters left: 2 (27 enodes)
6.249 * * [simplify]: iters left: 1 (28 enodes)
6.253 * * [simplify]: Extracting #0: cost 1 inf + 0
6.253 * * [simplify]: Extracting #1: cost 3 inf + 0
6.253 * * [simplify]: Extracting #2: cost 4 inf + 1
6.253 * * [simplify]: Extracting #3: cost 10 inf + 1
6.253 * * [simplify]: Extracting #4: cost 1 inf + 738
6.253 * * [simplify]: Extracting #5: cost 0 inf + 1302
6.253 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
6.253 * [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.253 * * * * [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.254 * [simplify]: Simplifying (neg.p16 c)
6.254 * * [simplify]: iters left: 1 (2 enodes)
6.254 * * [simplify]: Extracting #0: cost 1 inf + 0
6.254 * * [simplify]: Extracting #1: cost 2 inf + 0
6.254 * * [simplify]: Extracting #2: cost 1 inf + 1
6.254 * * [simplify]: Extracting #3: cost 0 inf + 82
6.254 * [simplify]: Simplified to (neg.p16 c)
6.254 * [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.254 * * * * [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.255 * [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.255 * * [simplify]: iters left: 5 (11 enodes)
6.257 * * [simplify]: iters left: 4 (36 enodes)
6.264 * * [simplify]: iters left: 3 (93 enodes)
6.285 * * [simplify]: iters left: 2 (308 enodes)
6.459 * * [simplify]: Extracting #0: cost 1 inf + 0
6.459 * * [simplify]: Extracting #1: cost 32 inf + 0
6.460 * * [simplify]: Extracting #2: cost 177 inf + 0
6.461 * * [simplify]: Extracting #3: cost 262 inf + 324
6.464 * * [simplify]: Extracting #4: cost 412 inf + 68682
6.486 * * [simplify]: Extracting #5: cost 111 inf + 523519
6.546 * * [simplify]: Extracting #6: cost 2 inf + 708073
6.588 * * [simplify]: Extracting #7: cost 0 inf + 714841
6.629 * [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.629 * [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.630 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c)
6.630 * * [simplify]: iters left: 4 (9 enodes)
6.632 * * [simplify]: iters left: 3 (21 enodes)
6.637 * * [simplify]: iters left: 2 (27 enodes)
6.640 * * [simplify]: iters left: 1 (29 enodes)
6.644 * * [simplify]: Extracting #0: cost 1 inf + 0
6.644 * * [simplify]: Extracting #1: cost 3 inf + 0
6.644 * * [simplify]: Extracting #2: cost 4 inf + 1
6.644 * * [simplify]: Extracting #3: cost 10 inf + 1
6.644 * * [simplify]: Extracting #4: cost 6 inf + 46
6.644 * * [simplify]: Extracting #5: cost 0 inf + 1302
6.645 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)))
6.645 * [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.645 * * * * [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.645 * [simplify]: Simplifying (+.p16 b c)
6.645 * * [simplify]: iters left: 1 (3 enodes)
6.646 * * [simplify]: Extracting #0: cost 1 inf + 0
6.646 * * [simplify]: Extracting #1: cost 3 inf + 0
6.646 * * [simplify]: Extracting #2: cost 1 inf + 2
6.646 * * [simplify]: Extracting #3: cost 0 inf + 44
6.646 * [simplify]: Simplified to (+.p16 c b)
6.646 * [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.646 * * * * [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.646 * * * * [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.646 * [simplify]: Simplifying (+.p16 b c)
6.646 * * [simplify]: iters left: 1 (3 enodes)
6.647 * * [simplify]: Extracting #0: cost 1 inf + 0
6.647 * * [simplify]: Extracting #1: cost 3 inf + 0
6.647 * * [simplify]: Extracting #2: cost 1 inf + 2
6.647 * * [simplify]: Extracting #3: cost 0 inf + 44
6.647 * [simplify]: Simplified to (+.p16 c b)
6.647 * [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.647 * * * * [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.647 * [simplify]: Simplifying (+.p16 b c)
6.647 * * [simplify]: iters left: 1 (3 enodes)
6.648 * * [simplify]: Extracting #0: cost 1 inf + 0
6.648 * * [simplify]: Extracting #1: cost 3 inf + 0
6.648 * * [simplify]: Extracting #2: cost 1 inf + 2
6.648 * * [simplify]: Extracting #3: cost 0 inf + 44
6.648 * [simplify]: Simplified to (+.p16 c b)
6.648 * [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.648 * * * * [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.648 * [simplify]: Simplifying (+.p16 b c)
6.648 * * [simplify]: iters left: 1 (3 enodes)
6.649 * * [simplify]: Extracting #0: cost 1 inf + 0
6.649 * * [simplify]: Extracting #1: cost 3 inf + 0
6.649 * * [simplify]: Extracting #2: cost 1 inf + 2
6.649 * * [simplify]: Extracting #3: cost 0 inf + 44
6.649 * [simplify]: Simplified to (+.p16 c b)
6.649 * [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.649 * * * * [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.649 * [simplify]: Simplifying (+.p16 b c)
6.649 * * [simplify]: iters left: 1 (3 enodes)
6.650 * * [simplify]: Extracting #0: cost 1 inf + 0
6.650 * * [simplify]: Extracting #1: cost 3 inf + 0
6.650 * * [simplify]: Extracting #2: cost 1 inf + 2
6.650 * * [simplify]: Extracting #3: cost 0 inf + 44
6.650 * [simplify]: Simplified to (+.p16 c b)
6.650 * [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.650 * * * [progress]: adding candidates to table
6.922 * * [progress]: iteration 3 / 4
6.922 * * * [progress]: picking best candidate
6.966 * * * * [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))))>
6.966 * * * [progress]: localizing error
7.229 * * * [progress]: generating rewritten candidates
7.229 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
7.238 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
7.259 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
7.272 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 1)
7.281 * * * [progress]: generating series expansions
7.281 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
7.281 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
7.281 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
7.281 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 1)
7.281 * * * [progress]: simplifying candidates
7.281 * * * * [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.281 * [simplify]: Simplifying (neg.p16 b)
7.281 * * [simplify]: iters left: 1 (2 enodes)
7.282 * * [simplify]: Extracting #0: cost 1 inf + 0
7.282 * * [simplify]: Extracting #1: cost 2 inf + 0
7.282 * * [simplify]: Extracting #2: cost 1 inf + 1
7.282 * * [simplify]: Extracting #3: cost 0 inf + 82
7.282 * [simplify]: Simplified to (neg.p16 b)
7.282 * [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.282 * * * * [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.282 * [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.282 * * [simplify]: iters left: 5 (11 enodes)
7.285 * * [simplify]: iters left: 4 (36 enodes)
7.292 * * [simplify]: iters left: 3 (93 enodes)
7.312 * * [simplify]: iters left: 2 (308 enodes)
7.442 * * [simplify]: Extracting #0: cost 1 inf + 0
7.442 * * [simplify]: Extracting #1: cost 32 inf + 0
7.442 * * [simplify]: Extracting #2: cost 177 inf + 0
7.443 * * [simplify]: Extracting #3: cost 261 inf + 324
7.447 * * [simplify]: Extracting #4: cost 420 inf + 66053
7.484 * * [simplify]: Extracting #5: cost 118 inf + 514168
7.550 * * [simplify]: Extracting #6: cost 1 inf + 712757
7.621 * * [simplify]: Extracting #7: cost 0 inf + 715281
7.685 * [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.685 * [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.686 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)
7.686 * * [simplify]: iters left: 4 (9 enodes)
7.688 * * [simplify]: iters left: 3 (21 enodes)
7.691 * * [simplify]: iters left: 2 (27 enodes)
7.695 * * [simplify]: iters left: 1 (29 enodes)
7.699 * * [simplify]: Extracting #0: cost 1 inf + 0
7.699 * * [simplify]: Extracting #1: cost 3 inf + 0
7.699 * * [simplify]: Extracting #2: cost 4 inf + 1
7.699 * * [simplify]: Extracting #3: cost 10 inf + 1
7.699 * * [simplify]: Extracting #4: cost 6 inf + 46
7.699 * * [simplify]: Extracting #5: cost 0 inf + 1302
7.699 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)
7.699 * [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.699 * * * * [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.699 * [simplify]: Simplifying (neg.p16 a)
7.699 * * [simplify]: iters left: 1 (2 enodes)
7.700 * * [simplify]: Extracting #0: cost 1 inf + 0
7.700 * * [simplify]: Extracting #1: cost 2 inf + 0
7.700 * * [simplify]: Extracting #2: cost 1 inf + 1
7.700 * * [simplify]: Extracting #3: cost 0 inf + 82
7.700 * [simplify]: Simplified to (neg.p16 a)
7.700 * [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.700 * * * * [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.700 * [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.700 * * [simplify]: iters left: 5 (11 enodes)
7.703 * * [simplify]: iters left: 4 (36 enodes)
7.709 * * [simplify]: iters left: 3 (93 enodes)
7.731 * * [simplify]: iters left: 2 (310 enodes)
7.933 * * [simplify]: Extracting #0: cost 1 inf + 0
7.933 * * [simplify]: Extracting #1: cost 32 inf + 0
7.934 * * [simplify]: Extracting #2: cost 177 inf + 0
7.935 * * [simplify]: Extracting #3: cost 264 inf + 3
7.939 * * [simplify]: Extracting #4: cost 467 inf + 4714
7.960 * * [simplify]: Extracting #5: cost 264 inf + 269730
8.025 * * [simplify]: Extracting #6: cost 26 inf + 662825
8.106 * * [simplify]: Extracting #7: cost 3 inf + 715354
8.186 * * [simplify]: Extracting #8: cost 0 inf + 724446
8.230 * [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.230 * [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.231 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
8.231 * * [simplify]: iters left: 4 (9 enodes)
8.233 * * [simplify]: iters left: 3 (21 enodes)
8.236 * * [simplify]: iters left: 2 (27 enodes)
8.240 * * [simplify]: iters left: 1 (28 enodes)
8.243 * * [simplify]: Extracting #0: cost 1 inf + 0
8.243 * * [simplify]: Extracting #1: cost 3 inf + 0
8.243 * * [simplify]: Extracting #2: cost 4 inf + 1
8.244 * * [simplify]: Extracting #3: cost 10 inf + 1
8.244 * * [simplify]: Extracting #4: cost 1 inf + 738
8.244 * * [simplify]: Extracting #5: cost 0 inf + 1302
8.244 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
8.244 * [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.244 * * * * [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.244 * [simplify]: Simplifying (neg.p16 c)
8.244 * * [simplify]: iters left: 1 (2 enodes)
8.245 * * [simplify]: Extracting #0: cost 1 inf + 0
8.245 * * [simplify]: Extracting #1: cost 2 inf + 0
8.245 * * [simplify]: Extracting #2: cost 1 inf + 1
8.245 * * [simplify]: Extracting #3: cost 0 inf + 82
8.245 * [simplify]: Simplified to (neg.p16 c)
8.245 * [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.245 * * * * [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.245 * [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.245 * * [simplify]: iters left: 5 (11 enodes)
8.248 * * [simplify]: iters left: 4 (36 enodes)
8.254 * * [simplify]: iters left: 3 (93 enodes)
8.274 * * [simplify]: iters left: 2 (308 enodes)
8.443 * * [simplify]: Extracting #0: cost 1 inf + 0
8.443 * * [simplify]: Extracting #1: cost 32 inf + 0
8.444 * * [simplify]: Extracting #2: cost 177 inf + 0
8.445 * * [simplify]: Extracting #3: cost 262 inf + 324
8.448 * * [simplify]: Extracting #4: cost 412 inf + 68682
8.470 * * [simplify]: Extracting #5: cost 111 inf + 523519
8.524 * * [simplify]: Extracting #6: cost 2 inf + 708073
8.597 * * [simplify]: Extracting #7: cost 0 inf + 714841
8.667 * [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.667 * [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.668 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c)
8.668 * * [simplify]: iters left: 4 (9 enodes)
8.671 * * [simplify]: iters left: 3 (21 enodes)
8.677 * * [simplify]: iters left: 2 (27 enodes)
8.683 * * [simplify]: iters left: 1 (29 enodes)
8.690 * * [simplify]: Extracting #0: cost 1 inf + 0
8.690 * * [simplify]: Extracting #1: cost 3 inf + 0
8.690 * * [simplify]: Extracting #2: cost 4 inf + 1
8.690 * * [simplify]: Extracting #3: cost 10 inf + 1
8.690 * * [simplify]: Extracting #4: cost 6 inf + 46
8.690 * * [simplify]: Extracting #5: cost 0 inf + 1302
8.691 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)))
8.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 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.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 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.691 * [simplify]: Simplifying (+.p16 b c)
8.691 * * [simplify]: iters left: 1 (3 enodes)
8.692 * * [simplify]: Extracting #0: cost 1 inf + 0
8.692 * * [simplify]: Extracting #1: cost 3 inf + 0
8.692 * * [simplify]: Extracting #2: cost 1 inf + 2
8.692 * * [simplify]: Extracting #3: cost 0 inf + 44
8.692 * [simplify]: Simplified to (+.p16 c b)
8.692 * [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.693 * * * * [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.693 * * * * [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.693 * [simplify]: Simplifying (+.p16 b c)
8.693 * * [simplify]: iters left: 1 (3 enodes)
8.694 * * [simplify]: Extracting #0: cost 1 inf + 0
8.694 * * [simplify]: Extracting #1: cost 3 inf + 0
8.694 * * [simplify]: Extracting #2: cost 1 inf + 2
8.694 * * [simplify]: Extracting #3: cost 0 inf + 44
8.694 * [simplify]: Simplified to (+.p16 c b)
8.694 * [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.694 * * * * [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.695 * [simplify]: Simplifying (+.p16 b c)
8.695 * * [simplify]: iters left: 1 (3 enodes)
8.696 * * [simplify]: Extracting #0: cost 1 inf + 0
8.696 * * [simplify]: Extracting #1: cost 3 inf + 0
8.696 * * [simplify]: Extracting #2: cost 1 inf + 2
8.696 * * [simplify]: Extracting #3: cost 0 inf + 44
8.696 * [simplify]: Simplified to (+.p16 c b)
8.696 * [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.696 * * * * [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.696 * [simplify]: Simplifying (+.p16 b c)
8.697 * * [simplify]: iters left: 1 (3 enodes)
8.698 * * [simplify]: Extracting #0: cost 1 inf + 0
8.698 * * [simplify]: Extracting #1: cost 3 inf + 0
8.698 * * [simplify]: Extracting #2: cost 1 inf + 2
8.698 * * [simplify]: Extracting #3: cost 0 inf + 44
8.698 * [simplify]: Simplified to (+.p16 c b)
8.698 * [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.698 * * * * [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.698 * [simplify]: Simplifying (+.p16 b c)
8.698 * * [simplify]: iters left: 1 (3 enodes)
8.699 * * [simplify]: Extracting #0: cost 1 inf + 0
8.699 * * [simplify]: Extracting #1: cost 3 inf + 0
8.699 * * [simplify]: Extracting #2: cost 1 inf + 2
8.699 * * [simplify]: Extracting #3: cost 0 inf + 44
8.700 * [simplify]: Simplified to (+.p16 c b)
8.700 * [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.700 * * * [progress]: adding candidates to table
9.190 * * [progress]: iteration 4 / 4
9.191 * * * [progress]: picking best candidate
9.231 * * * * [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.232 * * * [progress]: localizing error
9.715 * * * [progress]: generating rewritten candidates
9.715 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
9.731 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
9.756 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
9.765 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 1)
9.780 * * * [progress]: generating series expansions
9.780 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
9.780 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
9.780 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
9.780 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 1)
9.780 * * * [progress]: simplifying candidates
9.780 * * * * [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.780 * [simplify]: Simplifying (neg.p16 b)
9.780 * * [simplify]: iters left: 1 (2 enodes)
9.781 * * [simplify]: Extracting #0: cost 1 inf + 0
9.781 * * [simplify]: Extracting #1: cost 2 inf + 0
9.781 * * [simplify]: Extracting #2: cost 1 inf + 1
9.781 * * [simplify]: Extracting #3: cost 0 inf + 82
9.781 * [simplify]: Simplified to (neg.p16 b)
9.781 * [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.781 * * * * [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.782 * [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.782 * * [simplify]: iters left: 5 (11 enodes)
9.786 * * [simplify]: iters left: 4 (36 enodes)
9.800 * * [simplify]: iters left: 3 (93 enodes)
9.835 * * [simplify]: iters left: 2 (308 enodes)
10.054 * * [simplify]: Extracting #0: cost 1 inf + 0
10.055 * * [simplify]: Extracting #1: cost 32 inf + 0
10.055 * * [simplify]: Extracting #2: cost 177 inf + 0
10.057 * * [simplify]: Extracting #3: cost 261 inf + 324
10.064 * * [simplify]: Extracting #4: cost 420 inf + 66053
10.101 * * [simplify]: Extracting #5: cost 118 inf + 514168
10.156 * * [simplify]: Extracting #6: cost 1 inf + 712757
10.221 * * [simplify]: Extracting #7: cost 0 inf + 715281
10.275 * [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.275 * [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.275 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)
10.276 * * [simplify]: iters left: 4 (9 enodes)
10.279 * * [simplify]: iters left: 3 (21 enodes)
10.285 * * [simplify]: iters left: 2 (27 enodes)
10.292 * * [simplify]: iters left: 1 (29 enodes)
10.299 * * [simplify]: Extracting #0: cost 1 inf + 0
10.299 * * [simplify]: Extracting #1: cost 3 inf + 0
10.299 * * [simplify]: Extracting #2: cost 4 inf + 1
10.299 * * [simplify]: Extracting #3: cost 10 inf + 1
10.299 * * [simplify]: Extracting #4: cost 6 inf + 46
10.300 * * [simplify]: Extracting #5: cost 0 inf + 1302
10.300 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) b)
10.300 * [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.300 * * * * [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.301 * [simplify]: Simplifying (neg.p16 a)
10.301 * * [simplify]: iters left: 1 (2 enodes)
10.301 * * [simplify]: Extracting #0: cost 1 inf + 0
10.302 * * [simplify]: Extracting #1: cost 2 inf + 0
10.302 * * [simplify]: Extracting #2: cost 1 inf + 1
10.302 * * [simplify]: Extracting #3: cost 0 inf + 82
10.302 * [simplify]: Simplified to (neg.p16 a)
10.302 * [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.302 * * * * [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.302 * [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.302 * * [simplify]: iters left: 5 (11 enodes)
10.307 * * [simplify]: iters left: 4 (36 enodes)
10.318 * * [simplify]: iters left: 3 (93 enodes)
10.354 * * [simplify]: iters left: 2 (310 enodes)
10.557 * * [simplify]: Extracting #0: cost 1 inf + 0
10.557 * * [simplify]: Extracting #1: cost 32 inf + 0
10.558 * * [simplify]: Extracting #2: cost 177 inf + 0
10.560 * * [simplify]: Extracting #3: cost 264 inf + 3
10.563 * * [simplify]: Extracting #4: cost 467 inf + 4714
10.585 * * [simplify]: Extracting #5: cost 264 inf + 269730
10.649 * * [simplify]: Extracting #6: cost 26 inf + 662825
10.729 * * [simplify]: Extracting #7: cost 3 inf + 715354
10.784 * * [simplify]: Extracting #8: cost 0 inf + 724446
10.866 * [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.867 * [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.867 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
10.867 * * [simplify]: iters left: 4 (9 enodes)
10.872 * * [simplify]: iters left: 3 (21 enodes)
10.879 * * [simplify]: iters left: 2 (27 enodes)
10.888 * * [simplify]: iters left: 1 (28 enodes)
10.896 * * [simplify]: Extracting #0: cost 1 inf + 0
10.896 * * [simplify]: Extracting #1: cost 3 inf + 0
10.896 * * [simplify]: Extracting #2: cost 4 inf + 1
10.896 * * [simplify]: Extracting #3: cost 10 inf + 1
10.896 * * [simplify]: Extracting #4: cost 1 inf + 738
10.897 * * [simplify]: Extracting #5: cost 0 inf + 1302
10.897 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
10.897 * [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.897 * * * * [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.898 * [simplify]: Simplifying (neg.p16 c)
10.898 * * [simplify]: iters left: 1 (2 enodes)
10.899 * * [simplify]: Extracting #0: cost 1 inf + 0
10.899 * * [simplify]: Extracting #1: cost 2 inf + 0
10.899 * * [simplify]: Extracting #2: cost 1 inf + 1
10.899 * * [simplify]: Extracting #3: cost 0 inf + 82
10.899 * [simplify]: Simplified to (neg.p16 c)
10.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 a (+.p16 b c)) (real->posit16 2)) (neg.p16 c)))))
10.899 * * * * [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.899 * [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.899 * * [simplify]: iters left: 5 (11 enodes)
10.902 * * [simplify]: iters left: 4 (36 enodes)
10.909 * * [simplify]: iters left: 3 (93 enodes)
10.932 * * [simplify]: iters left: 2 (308 enodes)
11.111 * * [simplify]: Extracting #0: cost 1 inf + 0
11.111 * * [simplify]: Extracting #1: cost 32 inf + 0
11.112 * * [simplify]: Extracting #2: cost 177 inf + 0
11.113 * * [simplify]: Extracting #3: cost 262 inf + 324
11.116 * * [simplify]: Extracting #4: cost 412 inf + 68682
11.142 * * [simplify]: Extracting #5: cost 111 inf + 523519
11.180 * * [simplify]: Extracting #6: cost 2 inf + 708073
11.221 * * [simplify]: Extracting #7: cost 0 inf + 714841
11.268 * [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.268 * [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.269 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)) c)
11.269 * * [simplify]: iters left: 4 (9 enodes)
11.274 * * [simplify]: iters left: 3 (21 enodes)
11.280 * * [simplify]: iters left: 2 (27 enodes)
11.287 * * [simplify]: iters left: 1 (29 enodes)
11.295 * * [simplify]: Extracting #0: cost 1 inf + 0
11.295 * * [simplify]: Extracting #1: cost 3 inf + 0
11.295 * * [simplify]: Extracting #2: cost 4 inf + 1
11.296 * * [simplify]: Extracting #3: cost 10 inf + 1
11.296 * * [simplify]: Extracting #4: cost 6 inf + 46
11.296 * * [simplify]: Extracting #5: cost 0 inf + 1302
11.296 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 b c)) (real->posit16 2)))
11.296 * [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.296 * * * * [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.297 * [simplify]: Simplifying (+.p16 b c)
11.297 * * [simplify]: iters left: 1 (3 enodes)
11.298 * * [simplify]: Extracting #0: cost 1 inf + 0
11.298 * * [simplify]: Extracting #1: cost 3 inf + 0
11.298 * * [simplify]: Extracting #2: cost 1 inf + 2
11.298 * * [simplify]: Extracting #3: cost 0 inf + 44
11.298 * [simplify]: Simplified to (+.p16 c b)
11.298 * [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.299 * * * * [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.299 * * * * [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.299 * [simplify]: Simplifying (+.p16 b c)
11.299 * * [simplify]: iters left: 1 (3 enodes)
11.300 * * [simplify]: Extracting #0: cost 1 inf + 0
11.300 * * [simplify]: Extracting #1: cost 3 inf + 0
11.300 * * [simplify]: Extracting #2: cost 1 inf + 2
11.300 * * [simplify]: Extracting #3: cost 0 inf + 44
11.300 * [simplify]: Simplified to (+.p16 c b)
11.300 * [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.301 * * * * [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.301 * [simplify]: Simplifying (+.p16 b c)
11.301 * * [simplify]: iters left: 1 (3 enodes)
11.302 * * [simplify]: Extracting #0: cost 1 inf + 0
11.302 * * [simplify]: Extracting #1: cost 3 inf + 0
11.302 * * [simplify]: Extracting #2: cost 1 inf + 2
11.302 * * [simplify]: Extracting #3: cost 0 inf + 44
11.302 * [simplify]: Simplified to (+.p16 c b)
11.302 * [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.303 * * * * [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.303 * [simplify]: Simplifying (+.p16 b c)
11.303 * * [simplify]: iters left: 1 (3 enodes)
11.304 * * [simplify]: Extracting #0: cost 1 inf + 0
11.304 * * [simplify]: Extracting #1: cost 3 inf + 0
11.304 * * [simplify]: Extracting #2: cost 1 inf + 2
11.304 * * [simplify]: Extracting #3: cost 0 inf + 44
11.304 * [simplify]: Simplified to (+.p16 c b)
11.304 * [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.305 * * * * [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.305 * [simplify]: Simplifying (+.p16 b c)
11.305 * * [simplify]: iters left: 1 (3 enodes)
11.306 * * [simplify]: Extracting #0: cost 1 inf + 0
11.306 * * [simplify]: Extracting #1: cost 3 inf + 0
11.306 * * [simplify]: Extracting #2: cost 1 inf + 2
11.306 * * [simplify]: Extracting #3: cost 0 inf + 44
11.306 * [simplify]: Simplified to (+.p16 c b)
11.306 * [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.307 * * * [progress]: adding candidates to table
11.764 * [progress]: [Phase 3 of 3] Extracting.
11.764 * * [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 (+.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 (+.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 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.766 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
11.766 * * * * [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 (+.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 (+.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 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.855 * * * * [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 (+.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 (+.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 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.956 * * * * [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 (+.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 (+.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 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.062 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
12.063 * [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.063 * * [simplify]: iters left: 6 (18 enodes)
12.064 * * [simplify]: Extracting #0: cost 1 inf + 0
12.064 * * [simplify]: Extracting #1: cost 2 inf + 0
12.064 * * [simplify]: Extracting #2: cost 4 inf + 0
12.064 * * [simplify]: Extracting #3: cost 8 inf + 0
12.064 * * [simplify]: Extracting #4: cost 12 inf + 1
12.064 * * [simplify]: Extracting #5: cost 15 inf + 2
12.064 * * [simplify]: Extracting #6: cost 13 inf + 46
12.064 * * [simplify]: Extracting #7: cost 8 inf + 779
12.064 * * [simplify]: Extracting #8: cost 2 inf + 5363
12.065 * * [simplify]: Extracting #9: cost 1 inf + 7607
12.065 * * [simplify]: Extracting #10: cost 0 inf + 9891
12.065 * [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.065 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
12.112 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
12.122 * * * * [points]: Setting MPFR precision to 64
12.124 * * * * [points]: Setting MPFR precision to 320
12.125 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
12.128 * * * * [points]: Setting MPFR precision to 64
12.131 * * * * [points]: Setting MPFR precision to 320
12.133 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
12.136 * * * * [points]: Setting MPFR precision to 64
12.141 * * * * [points]: Setting MPFR precision to 320
12.145 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
12.148 * * * * [points]: Setting MPFR precision to 64
12.157 * * * * [points]: Setting MPFR precision to 320
12.169 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
12.175 * * * * [points]: Setting MPFR precision to 64
12.204 * * * * [points]: Setting MPFR precision to 320
12.233 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
12.239 * * * * [points]: Setting MPFR precision to 64
12.331 * * * * [points]: Setting MPFR precision to 320
12.371 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
12.378 * * * * [points]: Setting MPFR precision to 64
12.486 * * * * [points]: Setting MPFR precision to 320
12.556 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
12.560 * * * * [points]: Setting MPFR precision to 64
12.828 * * * * [points]: Setting MPFR precision to 320
13.088 * * * * [points]: Computing exacts for 8000 points
13.095 * * * * [points]: Setting MPFR precision to 64
14.630 * * * * [points]: Setting MPFR precision to 320
15.827 * * * * [points]: Filtering points with unrepresentable outputs
15.831 * * * * [points]: Sampling 7043 additional inputs, on iter 1 have 957 / 8000
15.926 * * * * [points]: Computing exacts on every 440 of 7043 points to ramp up precision
15.932 * * * * [points]: Setting MPFR precision to 64
15.935 * * * * [points]: Setting MPFR precision to 320
15.937 * * * * [points]: Computing exacts on every 220 of 7043 points to ramp up precision
15.943 * * * * [points]: Setting MPFR precision to 64
15.948 * * * * [points]: Setting MPFR precision to 320
15.952 * * * * [points]: Computing exacts on every 110 of 7043 points to ramp up precision
15.958 * * * * [points]: Setting MPFR precision to 64
15.966 * * * * [points]: Setting MPFR precision to 320
15.975 * * * * [points]: Computing exacts on every 55 of 7043 points to ramp up precision
15.982 * * * * [points]: Setting MPFR precision to 64
15.998 * * * * [points]: Setting MPFR precision to 320
16.016 * * * * [points]: Computing exacts on every 27 of 7043 points to ramp up precision
16.023 * * * * [points]: Setting MPFR precision to 64
16.055 * * * * [points]: Setting MPFR precision to 320
16.089 * * * * [points]: Computing exacts on every 13 of 7043 points to ramp up precision
16.131 * * * * [points]: Setting MPFR precision to 64
16.168 * * * * [points]: Setting MPFR precision to 320
16.210 * * * * [points]: Computing exacts on every 6 of 7043 points to ramp up precision
16.214 * * * * [points]: Setting MPFR precision to 64
16.331 * * * * [points]: Setting MPFR precision to 320
16.401 * * * * [points]: Computing exacts on every 3 of 7043 points to ramp up precision
16.405 * * * * [points]: Setting MPFR precision to 64
16.600 * * * * [points]: Setting MPFR precision to 320
16.828 * * * * [points]: Computing exacts for 7043 points
16.831 * * * * [points]: Setting MPFR precision to 64
17.993 * * * * [points]: Setting MPFR precision to 320
18.755 * * * * [points]: Filtering points with unrepresentable outputs
18.758 * * * * [points]: Sampling 6135 additional inputs, on iter 2 have 1865 / 8000
18.785 * * * * [points]: Computing exacts on every 383 of 6135 points to ramp up precision
18.792 * * * * [points]: Setting MPFR precision to 64
18.795 * * * * [points]: Setting MPFR precision to 320
18.797 * * * * [points]: Computing exacts on every 191 of 6135 points to ramp up precision
18.803 * * * * [points]: Setting MPFR precision to 64
18.808 * * * * [points]: Setting MPFR precision to 320
18.812 * * * * [points]: Computing exacts on every 95 of 6135 points to ramp up precision
18.818 * * * * [points]: Setting MPFR precision to 64
18.826 * * * * [points]: Setting MPFR precision to 320
18.834 * * * * [points]: Computing exacts on every 47 of 6135 points to ramp up precision
18.840 * * * * [points]: Setting MPFR precision to 64
18.857 * * * * [points]: Setting MPFR precision to 320
18.872 * * * * [points]: Computing exacts on every 23 of 6135 points to ramp up precision
18.879 * * * * [points]: Setting MPFR precision to 64
18.927 * * * * [points]: Setting MPFR precision to 320
18.960 * * * * [points]: Computing exacts on every 11 of 6135 points to ramp up precision
18.968 * * * * [points]: Setting MPFR precision to 64
19.033 * * * * [points]: Setting MPFR precision to 320
19.092 * * * * [points]: Computing exacts on every 5 of 6135 points to ramp up precision
19.132 * * * * [points]: Setting MPFR precision to 64
19.267 * * * * [points]: Setting MPFR precision to 320
19.409 * * * * [points]: Computing exacts on every 2 of 6135 points to ramp up precision
19.413 * * * * [points]: Setting MPFR precision to 64
19.590 * * * * [points]: Setting MPFR precision to 320
19.794 * * * * [points]: Computing exacts for 6135 points
19.797 * * * * [points]: Setting MPFR precision to 64
20.900 * * * * [points]: Setting MPFR precision to 320
21.473 * * * * [points]: Filtering points with unrepresentable outputs
21.476 * * * * [points]: Sampling 5344 additional inputs, on iter 3 have 2656 / 8000
21.499 * * * * [points]: Computing exacts on every 334 of 5344 points to ramp up precision
21.503 * * * * [points]: Setting MPFR precision to 64
21.504 * * * * [points]: Setting MPFR precision to 320
21.506 * * * * [points]: Computing exacts on every 167 of 5344 points to ramp up precision
21.510 * * * * [points]: Setting MPFR precision to 64
21.512 * * * * [points]: Setting MPFR precision to 320
21.516 * * * * [points]: Computing exacts on every 83 of 5344 points to ramp up precision
21.520 * * * * [points]: Setting MPFR precision to 64
21.549 * * * * [points]: Setting MPFR precision to 320
21.553 * * * * [points]: Computing exacts on every 41 of 5344 points to ramp up precision
21.558 * * * * [points]: Setting MPFR precision to 64
21.567 * * * * [points]: Setting MPFR precision to 320
21.576 * * * * [points]: Computing exacts on every 20 of 5344 points to ramp up precision
21.580 * * * * [points]: Setting MPFR precision to 64
21.598 * * * * [points]: Setting MPFR precision to 320
21.616 * * * * [points]: Computing exacts on every 10 of 5344 points to ramp up precision
21.620 * * * * [points]: Setting MPFR precision to 64
21.654 * * * * [points]: Setting MPFR precision to 320
21.718 * * * * [points]: Computing exacts on every 5 of 5344 points to ramp up precision
21.722 * * * * [points]: Setting MPFR precision to 64
21.789 * * * * [points]: Setting MPFR precision to 320
21.884 * * * * [points]: Computing exacts on every 2 of 5344 points to ramp up precision
21.888 * * * * [points]: Setting MPFR precision to 64
22.051 * * * * [points]: Setting MPFR precision to 320
22.212 * * * * [points]: Computing exacts for 5344 points
22.216 * * * * [points]: Setting MPFR precision to 64
22.738 * * * * [points]: Setting MPFR precision to 320
23.643 * * * * [points]: Filtering points with unrepresentable outputs
23.645 * * * * [points]: Sampling 4670 additional inputs, on iter 4 have 3330 / 8000
23.665 * * * * [points]: Computing exacts on every 291 of 4670 points to ramp up precision
23.669 * * * * [points]: Setting MPFR precision to 64
23.670 * * * * [points]: Setting MPFR precision to 320
23.671 * * * * [points]: Computing exacts on every 145 of 4670 points to ramp up precision
23.674 * * * * [points]: Setting MPFR precision to 64
23.677 * * * * [points]: Setting MPFR precision to 320
23.679 * * * * [points]: Computing exacts on every 72 of 4670 points to ramp up precision
23.682 * * * * [points]: Setting MPFR precision to 64
23.687 * * * * [points]: Setting MPFR precision to 320
23.692 * * * * [points]: Computing exacts on every 36 of 4670 points to ramp up precision
23.695 * * * * [points]: Setting MPFR precision to 64
23.729 * * * * [points]: Setting MPFR precision to 320
23.740 * * * * [points]: Computing exacts on every 18 of 4670 points to ramp up precision
23.744 * * * * [points]: Setting MPFR precision to 64
23.761 * * * * [points]: Setting MPFR precision to 320
23.779 * * * * [points]: Computing exacts on every 9 of 4670 points to ramp up precision
23.783 * * * * [points]: Setting MPFR precision to 64
23.819 * * * * [points]: Setting MPFR precision to 320
23.879 * * * * [points]: Computing exacts on every 4 of 4670 points to ramp up precision
23.885 * * * * [points]: Setting MPFR precision to 64
23.951 * * * * [points]: Setting MPFR precision to 320
24.052 * * * * [points]: Computing exacts on every 2 of 4670 points to ramp up precision
24.056 * * * * [points]: Setting MPFR precision to 64
24.249 * * * * [points]: Setting MPFR precision to 320
24.487 * * * * [points]: Computing exacts for 4670 points
24.492 * * * * [points]: Setting MPFR precision to 64
25.137 * * * * [points]: Setting MPFR precision to 320
25.773 * * * * [points]: Filtering points with unrepresentable outputs
25.778 * * * * [points]: Sampling 4089 additional inputs, on iter 5 have 3911 / 8000
25.807 * * * * [points]: Computing exacts on every 255 of 4089 points to ramp up precision
25.813 * * * * [points]: Setting MPFR precision to 64
25.815 * * * * [points]: Setting MPFR precision to 320
25.817 * * * * [points]: Computing exacts on every 127 of 4089 points to ramp up precision
25.823 * * * * [points]: Setting MPFR precision to 64
25.826 * * * * [points]: Setting MPFR precision to 320
25.830 * * * * [points]: Computing exacts on every 63 of 4089 points to ramp up precision
25.836 * * * * [points]: Setting MPFR precision to 64
25.843 * * * * [points]: Setting MPFR precision to 320
25.851 * * * * [points]: Computing exacts on every 31 of 4089 points to ramp up precision
25.856 * * * * [points]: Setting MPFR precision to 64
25.870 * * * * [points]: Setting MPFR precision to 320
25.884 * * * * [points]: Computing exacts on every 15 of 4089 points to ramp up precision
25.890 * * * * [points]: Setting MPFR precision to 64
25.955 * * * * [points]: Setting MPFR precision to 320
25.984 * * * * [points]: Computing exacts on every 7 of 4089 points to ramp up precision
25.990 * * * * [points]: Setting MPFR precision to 64
26.045 * * * * [points]: Setting MPFR precision to 320
26.108 * * * * [points]: Computing exacts on every 3 of 4089 points to ramp up precision
26.115 * * * * [points]: Setting MPFR precision to 64
26.656 * * * * [points]: Setting MPFR precision to 320
26.761 * * * * [points]: Computing exacts for 4089 points
26.765 * * * * [points]: Setting MPFR precision to 64
27.208 * * * * [points]: Setting MPFR precision to 320
27.612 * * * * [points]: Filtering points with unrepresentable outputs
27.613 * * * * [points]: Sampling 3562 additional inputs, on iter 6 have 4438 / 8000
27.628 * * * * [points]: Computing exacts on every 222 of 3562 points to ramp up precision
27.632 * * * * [points]: Setting MPFR precision to 64
27.633 * * * * [points]: Setting MPFR precision to 320
27.634 * * * * [points]: Computing exacts on every 111 of 3562 points to ramp up precision
27.638 * * * * [points]: Setting MPFR precision to 64
27.640 * * * * [points]: Setting MPFR precision to 320
27.642 * * * * [points]: Computing exacts on every 55 of 3562 points to ramp up precision
27.649 * * * * [points]: Setting MPFR precision to 64
27.657 * * * * [points]: Setting MPFR precision to 320
27.666 * * * * [points]: Computing exacts on every 27 of 3562 points to ramp up precision
27.673 * * * * [points]: Setting MPFR precision to 64
27.690 * * * * [points]: Setting MPFR precision to 320
27.708 * * * * [points]: Computing exacts on every 13 of 3562 points to ramp up precision
27.752 * * * * [points]: Setting MPFR precision to 64
27.788 * * * * [points]: Setting MPFR precision to 320
27.823 * * * * [points]: Computing exacts on every 6 of 3562 points to ramp up precision
27.831 * * * * [points]: Setting MPFR precision to 64
27.900 * * * * [points]: Setting MPFR precision to 320
28.015 * * * * [points]: Computing exacts on every 3 of 3562 points to ramp up precision
28.025 * * * * [points]: Setting MPFR precision to 64
28.147 * * * * [points]: Setting MPFR precision to 320
28.322 * * * * [points]: Computing exacts for 3562 points
28.329 * * * * [points]: Setting MPFR precision to 64
28.849 * * * * [points]: Setting MPFR precision to 320
29.174 * * * * [points]: Filtering points with unrepresentable outputs
29.175 * * * * [points]: Sampling 3104 additional inputs, on iter 7 have 4896 / 8000
29.188 * * * * [points]: Computing exacts on every 194 of 3104 points to ramp up precision
29.192 * * * * [points]: Setting MPFR precision to 64
29.194 * * * * [points]: Setting MPFR precision to 320
29.195 * * * * [points]: Computing exacts on every 97 of 3104 points to ramp up precision
29.198 * * * * [points]: Setting MPFR precision to 64
29.201 * * * * [points]: Setting MPFR precision to 320
29.203 * * * * [points]: Computing exacts on every 48 of 3104 points to ramp up precision
29.207 * * * * [points]: Setting MPFR precision to 64
29.242 * * * * [points]: Setting MPFR precision to 320
29.246 * * * * [points]: Computing exacts on every 24 of 3104 points to ramp up precision
29.250 * * * * [points]: Setting MPFR precision to 64
29.260 * * * * [points]: Setting MPFR precision to 320
29.269 * * * * [points]: Computing exacts on every 12 of 3104 points to ramp up precision
29.272 * * * * [points]: Setting MPFR precision to 64
29.289 * * * * [points]: Setting MPFR precision to 320
29.306 * * * * [points]: Computing exacts on every 6 of 3104 points to ramp up precision
29.310 * * * * [points]: Setting MPFR precision to 64
29.341 * * * * [points]: Setting MPFR precision to 320
29.673 * * * * [points]: Computing exacts on every 3 of 3104 points to ramp up precision
29.677 * * * * [points]: Setting MPFR precision to 64
29.735 * * * * [points]: Setting MPFR precision to 320
29.827 * * * * [points]: Computing exacts for 3104 points
29.831 * * * * [points]: Setting MPFR precision to 64
30.129 * * * * [points]: Setting MPFR precision to 320
30.421 * * * * [points]: Filtering points with unrepresentable outputs
30.422 * * * * [points]: Sampling 2725 additional inputs, on iter 8 have 5275 / 8000
30.434 * * * * [points]: Computing exacts on every 170 of 2725 points to ramp up precision
30.439 * * * * [points]: Setting MPFR precision to 64
30.441 * * * * [points]: Setting MPFR precision to 320
30.442 * * * * [points]: Computing exacts on every 85 of 2725 points to ramp up precision
30.445 * * * * [points]: Setting MPFR precision to 64
30.448 * * * * [points]: Setting MPFR precision to 320
30.450 * * * * [points]: Computing exacts on every 42 of 2725 points to ramp up precision
30.453 * * * * [points]: Setting MPFR precision to 64
30.458 * * * * [points]: Setting MPFR precision to 320
30.463 * * * * [points]: Computing exacts on every 21 of 2725 points to ramp up precision
30.466 * * * * [points]: Setting MPFR precision to 64
30.475 * * * * [points]: Setting MPFR precision to 320
30.484 * * * * [points]: Computing exacts on every 10 of 2725 points to ramp up precision
30.487 * * * * [points]: Setting MPFR precision to 64
30.505 * * * * [points]: Setting MPFR precision to 320
30.546 * * * * [points]: Computing exacts on every 5 of 2725 points to ramp up precision
30.552 * * * * [points]: Setting MPFR precision to 64
30.584 * * * * [points]: Setting MPFR precision to 320
30.616 * * * * [points]: Computing exacts on every 2 of 2725 points to ramp up precision
30.620 * * * * [points]: Setting MPFR precision to 64
30.715 * * * * [points]: Setting MPFR precision to 320
30.779 * * * * [points]: Computing exacts for 2725 points
30.783 * * * * [points]: Setting MPFR precision to 64
31.043 * * * * [points]: Setting MPFR precision to 320
31.318 * * * * [points]: Filtering points with unrepresentable outputs
31.320 * * * * [points]: Sampling 2350 additional inputs, on iter 9 have 5650 / 8000
31.330 * * * * [points]: Computing exacts on every 146 of 2350 points to ramp up precision
31.333 * * * * [points]: Setting MPFR precision to 64
31.335 * * * * [points]: Setting MPFR precision to 320
31.336 * * * * [points]: Computing exacts on every 73 of 2350 points to ramp up precision
31.339 * * * * [points]: Setting MPFR precision to 64
31.341 * * * * [points]: Setting MPFR precision to 320
31.344 * * * * [points]: Computing exacts on every 36 of 2350 points to ramp up precision
31.347 * * * * [points]: Setting MPFR precision to 64
31.352 * * * * [points]: Setting MPFR precision to 320
31.356 * * * * [points]: Computing exacts on every 18 of 2350 points to ramp up precision
31.359 * * * * [points]: Setting MPFR precision to 64
31.368 * * * * [points]: Setting MPFR precision to 320
31.377 * * * * [points]: Computing exacts on every 9 of 2350 points to ramp up precision
31.381 * * * * [points]: Setting MPFR precision to 64
31.431 * * * * [points]: Setting MPFR precision to 320
31.450 * * * * [points]: Computing exacts on every 4 of 2350 points to ramp up precision
31.457 * * * * [points]: Setting MPFR precision to 64
31.516 * * * * [points]: Setting MPFR precision to 320
31.579 * * * * [points]: Computing exacts on every 2 of 2350 points to ramp up precision
31.586 * * * * [points]: Setting MPFR precision to 64
31.735 * * * * [points]: Setting MPFR precision to 320
31.804 * * * * [points]: Computing exacts for 2350 points
31.808 * * * * [points]: Setting MPFR precision to 64
32.443 * * * * [points]: Setting MPFR precision to 320
32.776 * * * * [points]: Filtering points with unrepresentable outputs
32.779 * * * * [points]: Sampling 2048 additional inputs, on iter 10 have 5952 / 8000
32.794 * * * * [points]: Computing exacts on every 128 of 2048 points to ramp up precision
32.801 * * * * [points]: Setting MPFR precision to 64
32.803 * * * * [points]: Setting MPFR precision to 320
32.805 * * * * [points]: Computing exacts on every 64 of 2048 points to ramp up precision
32.812 * * * * [points]: Setting MPFR precision to 64
32.816 * * * * [points]: Setting MPFR precision to 320
32.861 * * * * [points]: Computing exacts on every 32 of 2048 points to ramp up precision
32.868 * * * * [points]: Setting MPFR precision to 64
32.879 * * * * [points]: Setting MPFR precision to 320
32.888 * * * * [points]: Computing exacts on every 16 of 2048 points to ramp up precision
32.894 * * * * [points]: Setting MPFR precision to 64
32.910 * * * * [points]: Setting MPFR precision to 320
32.924 * * * * [points]: Computing exacts on every 8 of 2048 points to ramp up precision
32.929 * * * * [points]: Setting MPFR precision to 64
32.959 * * * * [points]: Setting MPFR precision to 320
32.990 * * * * [points]: Computing exacts on every 4 of 2048 points to ramp up precision
32.996 * * * * [points]: Setting MPFR precision to 64
33.050 * * * * [points]: Setting MPFR precision to 320
33.137 * * * * [points]: Computing exacts on every 2 of 2048 points to ramp up precision
33.143 * * * * [points]: Setting MPFR precision to 64
33.225 * * * * [points]: Setting MPFR precision to 320
33.352 * * * * [points]: Computing exacts for 2048 points
33.356 * * * * [points]: Setting MPFR precision to 64
33.651 * * * * [points]: Setting MPFR precision to 320
33.829 * * * * [points]: Filtering points with unrepresentable outputs
33.830 * * * * [points]: Sampling 1808 additional inputs, on iter 11 have 6192 / 8000
33.837 * * * * [points]: Computing exacts on every 113 of 1808 points to ramp up precision
33.841 * * * * [points]: Setting MPFR precision to 64
33.842 * * * * [points]: Setting MPFR precision to 320
33.843 * * * * [points]: Computing exacts on every 56 of 1808 points to ramp up precision
33.847 * * * * [points]: Setting MPFR precision to 64
33.849 * * * * [points]: Setting MPFR precision to 320
33.851 * * * * [points]: Computing exacts on every 28 of 1808 points to ramp up precision
33.854 * * * * [points]: Setting MPFR precision to 64
33.859 * * * * [points]: Setting MPFR precision to 320
33.891 * * * * [points]: Computing exacts on every 14 of 1808 points to ramp up precision
33.895 * * * * [points]: Setting MPFR precision to 64
33.905 * * * * [points]: Setting MPFR precision to 320
33.913 * * * * [points]: Computing exacts on every 7 of 1808 points to ramp up precision
33.917 * * * * [points]: Setting MPFR precision to 64
33.935 * * * * [points]: Setting MPFR precision to 320
33.951 * * * * [points]: Computing exacts on every 3 of 1808 points to ramp up precision
33.954 * * * * [points]: Setting MPFR precision to 64
33.985 * * * * [points]: Setting MPFR precision to 320
34.046 * * * * [points]: Computing exacts for 1808 points
34.050 * * * * [points]: Setting MPFR precision to 64
34.208 * * * * [points]: Setting MPFR precision to 320
34.371 * * * * [points]: Filtering points with unrepresentable outputs
34.372 * * * * [points]: Sampling 1575 additional inputs, on iter 12 have 6425 / 8000
34.378 * * * * [points]: Computing exacts on every 98 of 1575 points to ramp up precision
34.382 * * * * [points]: Setting MPFR precision to 64
34.383 * * * * [points]: Setting MPFR precision to 320
34.384 * * * * [points]: Computing exacts on every 49 of 1575 points to ramp up precision
34.387 * * * * [points]: Setting MPFR precision to 64
34.389 * * * * [points]: Setting MPFR precision to 320
34.392 * * * * [points]: Computing exacts on every 24 of 1575 points to ramp up precision
34.395 * * * * [points]: Setting MPFR precision to 64
34.399 * * * * [points]: Setting MPFR precision to 320
34.404 * * * * [points]: Computing exacts on every 12 of 1575 points to ramp up precision
34.407 * * * * [points]: Setting MPFR precision to 64
34.415 * * * * [points]: Setting MPFR precision to 320
34.423 * * * * [points]: Computing exacts on every 6 of 1575 points to ramp up precision
34.452 * * * * [points]: Setting MPFR precision to 64
34.470 * * * * [points]: Setting MPFR precision to 320
34.486 * * * * [points]: Computing exacts on every 3 of 1575 points to ramp up precision
34.489 * * * * [points]: Setting MPFR precision to 64
34.516 * * * * [points]: Setting MPFR precision to 320
34.545 * * * * [points]: Computing exacts for 1575 points
34.548 * * * * [points]: Setting MPFR precision to 64
34.688 * * * * [points]: Setting MPFR precision to 320
34.834 * * * * [points]: Filtering points with unrepresentable outputs
34.835 * * * * [points]: Sampling 1394 additional inputs, on iter 13 have 6606 / 8000
34.841 * * * * [points]: Computing exacts on every 87 of 1394 points to ramp up precision
34.845 * * * * [points]: Setting MPFR precision to 64
34.847 * * * * [points]: Setting MPFR precision to 320
34.848 * * * * [points]: Computing exacts on every 43 of 1394 points to ramp up precision
34.851 * * * * [points]: Setting MPFR precision to 64
34.884 * * * * [points]: Setting MPFR precision to 320
34.887 * * * * [points]: Computing exacts on every 21 of 1394 points to ramp up precision
34.890 * * * * [points]: Setting MPFR precision to 64
34.896 * * * * [points]: Setting MPFR precision to 320
34.901 * * * * [points]: Computing exacts on every 10 of 1394 points to ramp up precision
34.905 * * * * [points]: Setting MPFR precision to 64
34.914 * * * * [points]: Setting MPFR precision to 320
34.922 * * * * [points]: Computing exacts on every 5 of 1394 points to ramp up precision
34.926 * * * * [points]: Setting MPFR precision to 64
34.942 * * * * [points]: Setting MPFR precision to 320
34.958 * * * * [points]: Computing exacts on every 2 of 1394 points to ramp up precision
34.961 * * * * [points]: Setting MPFR precision to 64
35.021 * * * * [points]: Setting MPFR precision to 320
35.055 * * * * [points]: Computing exacts for 1394 points
35.059 * * * * [points]: Setting MPFR precision to 64
35.460 * * * * [points]: Setting MPFR precision to 320
35.587 * * * * [points]: Filtering points with unrepresentable outputs
35.587 * * * * [points]: Sampling 1222 additional inputs, on iter 14 have 6778 / 8000
35.594 * * * * [points]: Computing exacts on every 76 of 1222 points to ramp up precision
35.598 * * * * [points]: Setting MPFR precision to 64
35.599 * * * * [points]: Setting MPFR precision to 320
35.601 * * * * [points]: Computing exacts on every 38 of 1222 points to ramp up precision
35.604 * * * * [points]: Setting MPFR precision to 64
35.606 * * * * [points]: Setting MPFR precision to 320
35.608 * * * * [points]: Computing exacts on every 19 of 1222 points to ramp up precision
35.612 * * * * [points]: Setting MPFR precision to 64
35.616 * * * * [points]: Setting MPFR precision to 320
35.620 * * * * [points]: Computing exacts on every 9 of 1222 points to ramp up precision
35.623 * * * * [points]: Setting MPFR precision to 64
35.632 * * * * [points]: Setting MPFR precision to 320
35.640 * * * * [points]: Computing exacts on every 4 of 1222 points to ramp up precision
35.644 * * * * [points]: Setting MPFR precision to 64
35.663 * * * * [points]: Setting MPFR precision to 320
35.680 * * * * [points]: Computing exacts on every 2 of 1222 points to ramp up precision
35.707 * * * * [points]: Setting MPFR precision to 64
35.737 * * * * [points]: Setting MPFR precision to 320
35.765 * * * * [points]: Computing exacts for 1222 points
35.768 * * * * [points]: Setting MPFR precision to 64
35.880 * * * * [points]: Setting MPFR precision to 320
35.996 * * * * [points]: Filtering points with unrepresentable outputs
35.996 * * * * [points]: Sampling 1072 additional inputs, on iter 15 have 6928 / 8000
36.003 * * * * [points]: Computing exacts on every 67 of 1072 points to ramp up precision
36.007 * * * * [points]: Setting MPFR precision to 64
36.008 * * * * [points]: Setting MPFR precision to 320
36.009 * * * * [points]: Computing exacts on every 33 of 1072 points to ramp up precision
36.013 * * * * [points]: Setting MPFR precision to 64
36.015 * * * * [points]: Setting MPFR precision to 320
36.017 * * * * [points]: Computing exacts on every 16 of 1072 points to ramp up precision
36.020 * * * * [points]: Setting MPFR precision to 64
36.025 * * * * [points]: Setting MPFR precision to 320
36.029 * * * * [points]: Computing exacts on every 8 of 1072 points to ramp up precision
36.032 * * * * [points]: Setting MPFR precision to 64
36.040 * * * * [points]: Setting MPFR precision to 320
36.049 * * * * [points]: Computing exacts on every 4 of 1072 points to ramp up precision
36.053 * * * * [points]: Setting MPFR precision to 64
36.069 * * * * [points]: Setting MPFR precision to 320
36.083 * * * * [points]: Computing exacts on every 2 of 1072 points to ramp up precision
36.087 * * * * [points]: Setting MPFR precision to 64
36.135 * * * * [points]: Setting MPFR precision to 320
36.159 * * * * [points]: Computing exacts for 1072 points
36.162 * * * * [points]: Setting MPFR precision to 64
36.265 * * * * [points]: Setting MPFR precision to 320
36.340 * * * * [points]: Filtering points with unrepresentable outputs
36.340 * * * * [points]: Sampling 956 additional inputs, on iter 16 have 7044 / 8000
36.344 * * * * [points]: Computing exacts on every 59 of 956 points to ramp up precision
36.348 * * * * [points]: Setting MPFR precision to 64
36.349 * * * * [points]: Setting MPFR precision to 320
36.350 * * * * [points]: Computing exacts on every 29 of 956 points to ramp up precision
36.353 * * * * [points]: Setting MPFR precision to 64
36.356 * * * * [points]: Setting MPFR precision to 320
36.358 * * * * [points]: Computing exacts on every 14 of 956 points to ramp up precision
36.389 * * * * [points]: Setting MPFR precision to 64
36.394 * * * * [points]: Setting MPFR precision to 320
36.400 * * * * [points]: Computing exacts on every 7 of 956 points to ramp up precision
36.403 * * * * [points]: Setting MPFR precision to 64
36.412 * * * * [points]: Setting MPFR precision to 320
36.420 * * * * [points]: Computing exacts on every 3 of 956 points to ramp up precision
36.423 * * * * [points]: Setting MPFR precision to 64
36.439 * * * * [points]: Setting MPFR precision to 320
36.457 * * * * [points]: Computing exacts for 956 points
36.461 * * * * [points]: Setting MPFR precision to 64
36.553 * * * * [points]: Setting MPFR precision to 320
36.620 * * * * [points]: Filtering points with unrepresentable outputs
36.620 * * * * [points]: Sampling 821 additional inputs, on iter 17 have 7179 / 8000
36.624 * * * * [points]: Computing exacts on every 51 of 821 points to ramp up precision
36.627 * * * * [points]: Setting MPFR precision to 64
36.628 * * * * [points]: Setting MPFR precision to 320
36.629 * * * * [points]: Computing exacts on every 25 of 821 points to ramp up precision
36.659 * * * * [points]: Setting MPFR precision to 64
36.661 * * * * [points]: Setting MPFR precision to 320
36.663 * * * * [points]: Computing exacts on every 12 of 821 points to ramp up precision
36.668 * * * * [points]: Setting MPFR precision to 64
36.673 * * * * [points]: Setting MPFR precision to 320
36.677 * * * * [points]: Computing exacts on every 6 of 821 points to ramp up precision
36.680 * * * * [points]: Setting MPFR precision to 64
36.688 * * * * [points]: Setting MPFR precision to 320
36.696 * * * * [points]: Computing exacts on every 3 of 821 points to ramp up precision
36.700 * * * * [points]: Setting MPFR precision to 64
36.713 * * * * [points]: Setting MPFR precision to 320
36.729 * * * * [points]: Computing exacts for 821 points
36.732 * * * * [points]: Setting MPFR precision to 64
36.813 * * * * [points]: Setting MPFR precision to 320
36.870 * * * * [points]: Filtering points with unrepresentable outputs
36.870 * * * * [points]: Sampling 705 additional inputs, on iter 18 have 7295 / 8000
36.873 * * * * [points]: Computing exacts on every 44 of 705 points to ramp up precision
36.876 * * * * [points]: Setting MPFR precision to 64
36.878 * * * * [points]: Setting MPFR precision to 320
36.879 * * * * [points]: Computing exacts on every 22 of 705 points to ramp up precision
36.882 * * * * [points]: Setting MPFR precision to 64
36.884 * * * * [points]: Setting MPFR precision to 320
36.886 * * * * [points]: Computing exacts on every 11 of 705 points to ramp up precision
36.915 * * * * [points]: Setting MPFR precision to 64
36.919 * * * * [points]: Setting MPFR precision to 320
36.923 * * * * [points]: Computing exacts on every 5 of 705 points to ramp up precision
36.929 * * * * [points]: Setting MPFR precision to 64
36.937 * * * * [points]: Setting MPFR precision to 320
36.944 * * * * [points]: Computing exacts on every 2 of 705 points to ramp up precision
36.948 * * * * [points]: Setting MPFR precision to 64
36.963 * * * * [points]: Setting MPFR precision to 320
36.979 * * * * [points]: Computing exacts for 705 points
36.983 * * * * [points]: Setting MPFR precision to 64
37.056 * * * * [points]: Setting MPFR precision to 320
37.105 * * * * [points]: Filtering points with unrepresentable outputs
37.106 * * * * [points]: Sampling 613 additional inputs, on iter 19 have 7387 / 8000
37.108 * * * * [points]: Computing exacts on every 38 of 613 points to ramp up precision
37.112 * * * * [points]: Setting MPFR precision to 64
37.113 * * * * [points]: Setting MPFR precision to 320
37.114 * * * * [points]: Computing exacts on every 19 of 613 points to ramp up precision
37.117 * * * * [points]: Setting MPFR precision to 64
37.119 * * * * [points]: Setting MPFR precision to 320
37.121 * * * * [points]: Computing exacts on every 9 of 613 points to ramp up precision
37.125 * * * * [points]: Setting MPFR precision to 64
37.129 * * * * [points]: Setting MPFR precision to 320
37.133 * * * * [points]: Computing exacts on every 4 of 613 points to ramp up precision
37.137 * * * * [points]: Setting MPFR precision to 64
37.145 * * * * [points]: Setting MPFR precision to 320
37.178 * * * * [points]: Computing exacts on every 2 of 613 points to ramp up precision
37.183 * * * * [points]: Setting MPFR precision to 64
37.197 * * * * [points]: Setting MPFR precision to 320
37.211 * * * * [points]: Computing exacts for 613 points
37.214 * * * * [points]: Setting MPFR precision to 64
37.254 * * * * [points]: Setting MPFR precision to 320
37.325 * * * * [points]: Filtering points with unrepresentable outputs
37.326 * * * * [points]: Sampling 551 additional inputs, on iter 20 have 7449 / 8000
37.328 * * * * [points]: Computing exacts on every 34 of 551 points to ramp up precision
37.331 * * * * [points]: Setting MPFR precision to 64
37.333 * * * * [points]: Setting MPFR precision to 320
37.334 * * * * [points]: Computing exacts on every 17 of 551 points to ramp up precision
37.337 * * * * [points]: Setting MPFR precision to 64
37.339 * * * * [points]: Setting MPFR precision to 320
37.341 * * * * [points]: Computing exacts on every 8 of 551 points to ramp up precision
37.345 * * * * [points]: Setting MPFR precision to 64
37.349 * * * * [points]: Setting MPFR precision to 320
37.353 * * * * [points]: Computing exacts on every 4 of 551 points to ramp up precision
37.357 * * * * [points]: Setting MPFR precision to 64
37.365 * * * * [points]: Setting MPFR precision to 320
37.373 * * * * [points]: Computing exacts on every 2 of 551 points to ramp up precision
37.376 * * * * [points]: Setting MPFR precision to 64
37.388 * * * * [points]: Setting MPFR precision to 320
37.401 * * * * [points]: Computing exacts for 551 points
37.404 * * * * [points]: Setting MPFR precision to 64
37.464 * * * * [points]: Setting MPFR precision to 320
37.502 * * * * [points]: Filtering points with unrepresentable outputs
37.502 * * * * [points]: Sampling 468 additional inputs, on iter 21 have 7532 / 8000
37.504 * * * * [points]: Computing exacts on every 29 of 468 points to ramp up precision
37.508 * * * * [points]: Setting MPFR precision to 64
37.509 * * * * [points]: Setting MPFR precision to 320
37.510 * * * * [points]: Computing exacts on every 14 of 468 points to ramp up precision
37.513 * * * * [points]: Setting MPFR precision to 64
37.515 * * * * [points]: Setting MPFR precision to 320
37.517 * * * * [points]: Computing exacts on every 7 of 468 points to ramp up precision
37.520 * * * * [points]: Setting MPFR precision to 64
37.524 * * * * [points]: Setting MPFR precision to 320
37.528 * * * * [points]: Computing exacts on every 3 of 468 points to ramp up precision
37.555 * * * * [points]: Setting MPFR precision to 64
37.564 * * * * [points]: Setting MPFR precision to 320
37.572 * * * * [points]: Computing exacts for 468 points
37.576 * * * * [points]: Setting MPFR precision to 64
37.606 * * * * [points]: Setting MPFR precision to 320
37.638 * * * * [points]: Filtering points with unrepresentable outputs
37.638 * * * * [points]: Sampling 413 additional inputs, on iter 22 have 7587 / 8000
37.640 * * * * [points]: Computing exacts on every 25 of 413 points to ramp up precision
37.643 * * * * [points]: Setting MPFR precision to 64
37.645 * * * * [points]: Setting MPFR precision to 320
37.646 * * * * [points]: Computing exacts on every 12 of 413 points to ramp up precision
37.649 * * * * [points]: Setting MPFR precision to 64
37.651 * * * * [points]: Setting MPFR precision to 320
37.653 * * * * [points]: Computing exacts on every 6 of 413 points to ramp up precision
37.952 * * * * [points]: Setting MPFR precision to 64
37.956 * * * * [points]: Setting MPFR precision to 320
37.962 * * * * [points]: Computing exacts on every 3 of 413 points to ramp up precision
37.965 * * * * [points]: Setting MPFR precision to 64
37.972 * * * * [points]: Setting MPFR precision to 320
37.979 * * * * [points]: Computing exacts for 413 points
37.982 * * * * [points]: Setting MPFR precision to 64
38.010 * * * * [points]: Setting MPFR precision to 320
38.038 * * * * [points]: Filtering points with unrepresentable outputs
38.039 * * * * [points]: Sampling 363 additional inputs, on iter 23 have 7637 / 8000
38.040 * * * * [points]: Computing exacts on every 22 of 363 points to ramp up precision
38.043 * * * * [points]: Setting MPFR precision to 64
38.045 * * * * [points]: Setting MPFR precision to 320
38.046 * * * * [points]: Computing exacts on every 11 of 363 points to ramp up precision
38.049 * * * * [points]: Setting MPFR precision to 64
38.072 * * * * [points]: Setting MPFR precision to 320
38.074 * * * * [points]: Computing exacts on every 5 of 363 points to ramp up precision
38.077 * * * * [points]: Setting MPFR precision to 64
38.081 * * * * [points]: Setting MPFR precision to 320
38.085 * * * * [points]: Computing exacts on every 2 of 363 points to ramp up precision
38.088 * * * * [points]: Setting MPFR precision to 64
38.096 * * * * [points]: Setting MPFR precision to 320
38.104 * * * * [points]: Computing exacts for 363 points
38.107 * * * * [points]: Setting MPFR precision to 64
38.132 * * * * [points]: Setting MPFR precision to 320
38.157 * * * * [points]: Filtering points with unrepresentable outputs
38.157 * * * * [points]: Sampling 315 additional inputs, on iter 24 have 7685 / 8000
38.159 * * * * [points]: Computing exacts on every 19 of 315 points to ramp up precision
38.162 * * * * [points]: Setting MPFR precision to 64
38.163 * * * * [points]: Setting MPFR precision to 320
38.164 * * * * [points]: Computing exacts on every 9 of 315 points to ramp up precision
38.167 * * * * [points]: Setting MPFR precision to 64
38.191 * * * * [points]: Setting MPFR precision to 320
38.193 * * * * [points]: Computing exacts on every 4 of 315 points to ramp up precision
38.196 * * * * [points]: Setting MPFR precision to 64
38.202 * * * * [points]: Setting MPFR precision to 320
38.206 * * * * [points]: Computing exacts on every 2 of 315 points to ramp up precision
38.209 * * * * [points]: Setting MPFR precision to 64
38.216 * * * * [points]: Setting MPFR precision to 320
38.224 * * * * [points]: Computing exacts for 315 points
38.227 * * * * [points]: Setting MPFR precision to 64
38.248 * * * * [points]: Setting MPFR precision to 320
38.271 * * * * [points]: Filtering points with unrepresentable outputs
38.271 * * * * [points]: Sampling 275 additional inputs, on iter 25 have 7725 / 8000
38.272 * * * * [points]: Computing exacts on every 17 of 275 points to ramp up precision
38.275 * * * * [points]: Setting MPFR precision to 64
38.276 * * * * [points]: Setting MPFR precision to 320
38.277 * * * * [points]: Computing exacts on every 8 of 275 points to ramp up precision
38.280 * * * * [points]: Setting MPFR precision to 64
38.282 * * * * [points]: Setting MPFR precision to 320
38.284 * * * * [points]: Computing exacts on every 4 of 275 points to ramp up precision
38.310 * * * * [points]: Setting MPFR precision to 64
38.313 * * * * [points]: Setting MPFR precision to 320
38.319 * * * * [points]: Computing exacts on every 2 of 275 points to ramp up precision
38.322 * * * * [points]: Setting MPFR precision to 64
38.328 * * * * [points]: Setting MPFR precision to 320
38.335 * * * * [points]: Computing exacts for 275 points
38.338 * * * * [points]: Setting MPFR precision to 64
38.356 * * * * [points]: Setting MPFR precision to 320
38.374 * * * * [points]: Filtering points with unrepresentable outputs
38.374 * * * * [points]: Sampling 241 additional inputs, on iter 26 have 7759 / 8000
38.375 * * * * [points]: Computing exacts on every 15 of 241 points to ramp up precision
38.379 * * * * [points]: Setting MPFR precision to 64
38.380 * * * * [points]: Setting MPFR precision to 320
38.381 * * * * [points]: Computing exacts on every 7 of 241 points to ramp up precision
38.384 * * * * [points]: Setting MPFR precision to 64
38.387 * * * * [points]: Setting MPFR precision to 320
38.389 * * * * [points]: Computing exacts on every 3 of 241 points to ramp up precision
38.393 * * * * [points]: Setting MPFR precision to 64
38.397 * * * * [points]: Setting MPFR precision to 320
38.401 * * * * [points]: Computing exacts for 241 points
38.425 * * * * [points]: Setting MPFR precision to 64
38.443 * * * * [points]: Setting MPFR precision to 320
38.459 * * * * [points]: Filtering points with unrepresentable outputs
38.459 * * * * [points]: Sampling 209 additional inputs, on iter 27 have 7791 / 8000
38.460 * * * * [points]: Computing exacts on every 13 of 209 points to ramp up precision
38.463 * * * * [points]: Setting MPFR precision to 64
38.464 * * * * [points]: Setting MPFR precision to 320
38.465 * * * * [points]: Computing exacts on every 6 of 209 points to ramp up precision
38.468 * * * * [points]: Setting MPFR precision to 64
38.470 * * * * [points]: Setting MPFR precision to 320
38.472 * * * * [points]: Computing exacts on every 3 of 209 points to ramp up precision
38.475 * * * * [points]: Setting MPFR precision to 64
38.479 * * * * [points]: Setting MPFR precision to 320
38.482 * * * * [points]: Computing exacts for 209 points
38.486 * * * * [points]: Setting MPFR precision to 64
38.499 * * * * [points]: Setting MPFR precision to 320
38.513 * * * * [points]: Filtering points with unrepresentable outputs
38.513 * * * * [points]: Sampling 180 additional inputs, on iter 28 have 7820 / 8000
38.514 * * * * [points]: Computing exacts on every 11 of 180 points to ramp up precision
38.518 * * * * [points]: Setting MPFR precision to 64
38.520 * * * * [points]: Setting MPFR precision to 320
38.521 * * * * [points]: Computing exacts on every 5 of 180 points to ramp up precision
38.546 * * * * [points]: Setting MPFR precision to 64
38.548 * * * * [points]: Setting MPFR precision to 320
38.551 * * * * [points]: Computing exacts on every 2 of 180 points to ramp up precision
38.555 * * * * [points]: Setting MPFR precision to 64
38.560 * * * * [points]: Setting MPFR precision to 320
38.564 * * * * [points]: Computing exacts for 180 points
38.567 * * * * [points]: Setting MPFR precision to 64
38.579 * * * * [points]: Setting MPFR precision to 320
38.591 * * * * [points]: Filtering points with unrepresentable outputs
38.591 * * * * [points]: Sampling 160 additional inputs, on iter 29 have 7840 / 8000
38.591 * * * * [points]: Computing exacts on every 10 of 160 points to ramp up precision
38.595 * * * * [points]: Setting MPFR precision to 64
38.596 * * * * [points]: Setting MPFR precision to 320
38.597 * * * * [points]: Computing exacts on every 5 of 160 points to ramp up precision
38.600 * * * * [points]: Setting MPFR precision to 64
38.602 * * * * [points]: Setting MPFR precision to 320
38.604 * * * * [points]: Computing exacts on every 2 of 160 points to ramp up precision
38.607 * * * * [points]: Setting MPFR precision to 64
38.610 * * * * [points]: Setting MPFR precision to 320
38.614 * * * * [points]: Computing exacts for 160 points
38.617 * * * * [points]: Setting MPFR precision to 64
38.627 * * * * [points]: Setting MPFR precision to 320
38.663 * * * * [points]: Filtering points with unrepresentable outputs
38.663 * * * * [points]: Sampling 136 additional inputs, on iter 30 have 7864 / 8000
38.664 * * * * [points]: Computing exacts on every 8 of 136 points to ramp up precision
38.667 * * * * [points]: Setting MPFR precision to 64
38.668 * * * * [points]: Setting MPFR precision to 320
38.669 * * * * [points]: Computing exacts on every 4 of 136 points to ramp up precision
38.674 * * * * [points]: Setting MPFR precision to 64
38.676 * * * * [points]: Setting MPFR precision to 320
38.678 * * * * [points]: Computing exacts on every 2 of 136 points to ramp up precision
38.681 * * * * [points]: Setting MPFR precision to 64
38.684 * * * * [points]: Setting MPFR precision to 320
38.687 * * * * [points]: Computing exacts for 136 points
38.690 * * * * [points]: Setting MPFR precision to 64
38.699 * * * * [points]: Setting MPFR precision to 320
38.707 * * * * [points]: Filtering points with unrepresentable outputs
38.708 * * * * [points]: Sampling 117 additional inputs, on iter 31 have 7883 / 8000
38.708 * * * * [points]: Computing exacts on every 7 of 117 points to ramp up precision
38.711 * * * * [points]: Setting MPFR precision to 64
38.712 * * * * [points]: Setting MPFR precision to 320
38.713 * * * * [points]: Computing exacts on every 3 of 117 points to ramp up precision
38.716 * * * * [points]: Setting MPFR precision to 64
38.718 * * * * [points]: Setting MPFR precision to 320
38.720 * * * * [points]: Computing exacts for 117 points
38.724 * * * * [points]: Setting MPFR precision to 64
38.731 * * * * [points]: Setting MPFR precision to 320
38.739 * * * * [points]: Filtering points with unrepresentable outputs
38.739 * * * * [points]: Sampling 100 additional inputs, on iter 32 have 7900 / 8000
38.740 * * * * [points]: Computing exacts on every 6 of 100 points to ramp up precision
38.743 * * * * [points]: Setting MPFR precision to 64
38.744 * * * * [points]: Setting MPFR precision to 320
38.745 * * * * [points]: Computing exacts on every 3 of 100 points to ramp up precision
38.766 * * * * [points]: Setting MPFR precision to 64
38.768 * * * * [points]: Setting MPFR precision to 320
38.770 * * * * [points]: Computing exacts for 100 points
38.774 * * * * [points]: Setting MPFR precision to 64
38.783 * * * * [points]: Setting MPFR precision to 320
38.790 * * * * [points]: Filtering points with unrepresentable outputs
38.790 * * * * [points]: Sampling 83 additional inputs, on iter 33 have 7917 / 8000
38.790 * * * * [points]: Computing exacts on every 5 of 83 points to ramp up precision
38.793 * * * * [points]: Setting MPFR precision to 64
38.794 * * * * [points]: Setting MPFR precision to 320
38.795 * * * * [points]: Computing exacts on every 2 of 83 points to ramp up precision
38.798 * * * * [points]: Setting MPFR precision to 64
38.800 * * * * [points]: Setting MPFR precision to 320
38.802 * * * * [points]: Computing exacts for 83 points
38.805 * * * * [points]: Setting MPFR precision to 64
38.811 * * * * [points]: Setting MPFR precision to 320
38.816 * * * * [points]: Filtering points with unrepresentable outputs
38.816 * * * * [points]: Sampling 74 additional inputs, on iter 34 have 7926 / 8000
38.816 * * * * [points]: Computing exacts on every 4 of 74 points to ramp up precision
38.820 * * * * [points]: Setting MPFR precision to 64
38.821 * * * * [points]: Setting MPFR precision to 320
38.822 * * * * [points]: Computing exacts on every 2 of 74 points to ramp up precision
38.825 * * * * [points]: Setting MPFR precision to 64
38.826 * * * * [points]: Setting MPFR precision to 320
38.828 * * * * [points]: Computing exacts for 74 points
38.831 * * * * [points]: Setting MPFR precision to 64
38.836 * * * * [points]: Setting MPFR precision to 320
38.841 * * * * [points]: Filtering points with unrepresentable outputs
38.841 * * * * [points]: Sampling 62 additional inputs, on iter 35 have 7938 / 8000
38.842 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
38.845 * * * * [points]: Setting MPFR precision to 64
38.846 * * * * [points]: Setting MPFR precision to 320
38.847 * * * * [points]: Computing exacts for 62 points
38.850 * * * * [points]: Setting MPFR precision to 64
38.871 * * * * [points]: Setting MPFR precision to 320
38.875 * * * * [points]: Filtering points with unrepresentable outputs
38.876 * * * * [points]: Sampling 56 additional inputs, on iter 36 have 7944 / 8000
38.876 * * * * [points]: Computing exacts on every 3 of 56 points to ramp up precision
38.881 * * * * [points]: Setting MPFR precision to 64
38.882 * * * * [points]: Setting MPFR precision to 320
38.883 * * * * [points]: Computing exacts for 56 points
38.886 * * * * [points]: Setting MPFR precision to 64
38.890 * * * * [points]: Setting MPFR precision to 320
38.894 * * * * [points]: Filtering points with unrepresentable outputs
38.895 * * * * [points]: Sampling 47 additional inputs, on iter 37 have 7953 / 8000
38.895 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
38.898 * * * * [points]: Setting MPFR precision to 64
38.899 * * * * [points]: Setting MPFR precision to 320
38.900 * * * * [points]: Computing exacts for 47 points
38.904 * * * * [points]: Setting MPFR precision to 64
38.907 * * * * [points]: Setting MPFR precision to 320
38.911 * * * * [points]: Filtering points with unrepresentable outputs
38.911 * * * * [points]: Sampling 38 additional inputs, on iter 38 have 7962 / 8000
38.911 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
38.914 * * * * [points]: Setting MPFR precision to 64
38.915 * * * * [points]: Setting MPFR precision to 320
38.916 * * * * [points]: Computing exacts for 38 points
38.919 * * * * [points]: Setting MPFR precision to 64
38.922 * * * * [points]: Setting MPFR precision to 320
38.924 * * * * [points]: Filtering points with unrepresentable outputs
38.924 * * * * [points]: Sampling 31 additional inputs, on iter 39 have 7969 / 8000
38.925 * * * * [points]: Computing exacts for 31 points
38.928 * * * * [points]: Setting MPFR precision to 64
38.930 * * * * [points]: Setting MPFR precision to 320
38.932 * * * * [points]: Filtering points with unrepresentable outputs
38.932 * * * * [points]: Sampling 29 additional inputs, on iter 40 have 7971 / 8000
38.932 * * * * [points]: Computing exacts for 29 points
38.935 * * * * [points]: Setting MPFR precision to 64
38.937 * * * * [points]: Setting MPFR precision to 320
38.939 * * * * [points]: Filtering points with unrepresentable outputs
38.939 * * * * [points]: Sampling 26 additional inputs, on iter 41 have 7974 / 8000
38.940 * * * * [points]: Computing exacts for 26 points
38.943 * * * * [points]: Setting MPFR precision to 64
38.945 * * * * [points]: Setting MPFR precision to 320
38.946 * * * * [points]: Filtering points with unrepresentable outputs
38.946 * * * * [points]: Sampling 25 additional inputs, on iter 42 have 7975 / 8000
38.947 * * * * [points]: Computing exacts for 25 points
38.950 * * * * [points]: Setting MPFR precision to 64
38.951 * * * * [points]: Setting MPFR precision to 320
38.953 * * * * [points]: Filtering points with unrepresentable outputs
38.953 * * * * [points]: Sampling 22 additional inputs, on iter 43 have 7978 / 8000
38.953 * * * * [points]: Computing exacts for 22 points
38.972 * * * * [points]: Setting MPFR precision to 64
38.974 * * * * [points]: Setting MPFR precision to 320
38.976 * * * * [points]: Filtering points with unrepresentable outputs
38.976 * * * * [points]: Sampling 20 additional inputs, on iter 44 have 7980 / 8000
38.976 * * * * [points]: Computing exacts for 20 points
38.979 * * * * [points]: Setting MPFR precision to 64
38.980 * * * * [points]: Setting MPFR precision to 320
38.984 * * * * [points]: Filtering points with unrepresentable outputs
38.984 * * * * [points]: Sampling 17 additional inputs, on iter 45 have 7983 / 8000
38.984 * * * * [points]: Computing exacts for 17 points
38.987 * * * * [points]: Setting MPFR precision to 64
38.989 * * * * [points]: Setting MPFR precision to 320
38.990 * * * * [points]: Filtering points with unrepresentable outputs
38.990 * * * * [points]: Sampling 16 additional inputs, on iter 46 have 7984 / 8000
38.990 * * * * [points]: Computing exacts for 16 points
38.993 * * * * [points]: Setting MPFR precision to 64
38.995 * * * * [points]: Setting MPFR precision to 320
38.996 * * * * [points]: Filtering points with unrepresentable outputs
38.996 * * * * [points]: Sampling 14 additional inputs, on iter 47 have 7986 / 8000
38.996 * * * * [points]: Computing exacts for 14 points
38.999 * * * * [points]: Setting MPFR precision to 64
39.000 * * * * [points]: Setting MPFR precision to 320
39.001 * * * * [points]: Filtering points with unrepresentable outputs
39.001 * * * * [points]: Sampling 12 additional inputs, on iter 48 have 7988 / 8000
39.001 * * * * [points]: Computing exacts for 12 points
39.004 * * * * [points]: Setting MPFR precision to 64
39.005 * * * * [points]: Setting MPFR precision to 320
39.006 * * * * [points]: Filtering points with unrepresentable outputs
39.006 * * * * [points]: Sampling 10 additional inputs, on iter 49 have 7990 / 8000
39.006 * * * * [points]: Computing exacts for 10 points
39.009 * * * * [points]: Setting MPFR precision to 64
39.010 * * * * [points]: Setting MPFR precision to 320
39.010 * * * * [points]: Filtering points with unrepresentable outputs
39.011 * * * * [points]: Sampling 9 additional inputs, on iter 50 have 7991 / 8000
39.011 * * * * [points]: Computing exacts for 9 points
39.014 * * * * [points]: Setting MPFR precision to 64
39.014 * * * * [points]: Setting MPFR precision to 320
39.015 * * * * [points]: Filtering points with unrepresentable outputs
39.015 * * * * [points]: Sampling 7 additional inputs, on iter 51 have 7993 / 8000
39.015 * * * * [points]: Computing exacts for 7 points
39.018 * * * * [points]: Setting MPFR precision to 64
39.019 * * * * [points]: Setting MPFR precision to 320
39.019 * * * * [points]: Filtering points with unrepresentable outputs
39.019 * * * * [points]: Sampling 7 additional inputs, on iter 52 have 7993 / 8000
39.019 * * * * [points]: Computing exacts for 7 points
39.023 * * * * [points]: Setting MPFR precision to 64
39.023 * * * * [points]: Setting MPFR precision to 320
39.024 * * * * [points]: Filtering points with unrepresentable outputs
39.024 * * * * [points]: Sampling 5 additional inputs, on iter 53 have 7995 / 8000
39.024 * * * * [points]: Computing exacts for 5 points
39.027 * * * * [points]: Setting MPFR precision to 64
39.028 * * * * [points]: Setting MPFR precision to 320
39.028 * * * * [points]: Filtering points with unrepresentable outputs
39.028 * * * * [points]: Sampling 4 additional inputs, on iter 54 have 7996 / 8000
39.028 * * * * [points]: Computing exacts for 4 points
39.031 * * * * [points]: Setting MPFR precision to 64
39.032 * * * * [points]: Setting MPFR precision to 320
39.032 * * * * [points]: Filtering points with unrepresentable outputs
39.032 * * * * [points]: Sampling 4 additional inputs, on iter 55 have 7997 / 8000
39.032 * * * * [points]: Computing exacts for 4 points
39.036 * * * * [points]: Setting MPFR precision to 64
39.037 * * * * [points]: Setting MPFR precision to 320
39.037 * * * * [points]: Filtering points with unrepresentable outputs
39.037 * * * * [points]: Sampling 4 additional inputs, on iter 56 have 7998 / 8000
39.037 * * * * [points]: Computing exacts for 4 points
39.040 * * * * [points]: Setting MPFR precision to 64
39.041 * * * * [points]: Setting MPFR precision to 320
39.041 * * * * [points]: Filtering points with unrepresentable outputs
39.041 * * * * [points]: Sampled 8000 points with exact outputs
40.721 * [regime-testing]: Baseline error score: 64.0
40.728 * [regime-testing]: Oracle error score: 64.0
40.734 * [regime-testing]: End program error score: 0.15496751366764536