0.002 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.010 * * * * [points]: Setting MPFR precision to 64
0.013 * * * * [points]: Setting MPFR precision to 320
0.015 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.021 * * * * [points]: Setting MPFR precision to 64
0.024 * * * * [points]: Setting MPFR precision to 320
0.027 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.030 * * * * [points]: Setting MPFR precision to 64
0.034 * * * * [points]: Setting MPFR precision to 320
0.037 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.041 * * * * [points]: Setting MPFR precision to 64
0.047 * * * * [points]: Setting MPFR precision to 320
0.053 * * * * [points]: Computing exacts for 256 points
0.071 * * * * [points]: Setting MPFR precision to 64
0.093 * * * * [points]: Setting MPFR precision to 320
0.116 * * * * [points]: Filtering points with unrepresentable outputs
0.116 * * * * [points]: Sampling 225 additional inputs, on iter 1 have 31 / 256
0.118 * * * * [points]: Computing exacts on every 14 of 225 points to ramp up precision
0.125 * * * * [points]: Setting MPFR precision to 64
0.127 * * * * [points]: Setting MPFR precision to 320
0.129 * * * * [points]: Computing exacts on every 7 of 225 points to ramp up precision
0.136 * * * * [points]: Setting MPFR precision to 64
0.140 * * * * [points]: Setting MPFR precision to 320
0.144 * * * * [points]: Computing exacts on every 3 of 225 points to ramp up precision
0.147 * * * * [points]: Setting MPFR precision to 64
0.151 * * * * [points]: Setting MPFR precision to 320
0.155 * * * * [points]: Computing exacts for 225 points
0.159 * * * * [points]: Setting MPFR precision to 64
0.178 * * * * [points]: Setting MPFR precision to 320
0.203 * * * * [points]: Filtering points with unrepresentable outputs
0.203 * * * * [points]: Sampling 202 additional inputs, on iter 2 have 54 / 256
0.204 * * * * [points]: Computing exacts on every 12 of 202 points to ramp up precision
0.230 * * * * [points]: Setting MPFR precision to 64
0.231 * * * * [points]: Setting MPFR precision to 320
0.233 * * * * [points]: Computing exacts on every 6 of 202 points to ramp up precision
0.236 * * * * [points]: Setting MPFR precision to 64
0.243 * * * * [points]: Setting MPFR precision to 320
0.247 * * * * [points]: Computing exacts on every 3 of 202 points to ramp up precision
0.251 * * * * [points]: Setting MPFR precision to 64
0.254 * * * * [points]: Setting MPFR precision to 320
0.258 * * * * [points]: Computing exacts for 202 points
0.261 * * * * [points]: Setting MPFR precision to 64
0.276 * * * * [points]: Setting MPFR precision to 320
0.292 * * * * [points]: Filtering points with unrepresentable outputs
0.292 * * * * [points]: Sampling 177 additional inputs, on iter 3 have 79 / 256
0.293 * * * * [points]: Computing exacts on every 11 of 177 points to ramp up precision
0.296 * * * * [points]: Setting MPFR precision to 64
0.298 * * * * [points]: Setting MPFR precision to 320
0.299 * * * * [points]: Computing exacts on every 5 of 177 points to ramp up precision
0.302 * * * * [points]: Setting MPFR precision to 64
0.305 * * * * [points]: Setting MPFR precision to 320
0.307 * * * * [points]: Computing exacts on every 2 of 177 points to ramp up precision
0.310 * * * * [points]: Setting MPFR precision to 64
0.315 * * * * [points]: Setting MPFR precision to 320
0.320 * * * * [points]: Computing exacts for 177 points
0.323 * * * * [points]: Setting MPFR precision to 64
0.370 * * * * [points]: Setting MPFR precision to 320
0.384 * * * * [points]: Filtering points with unrepresentable outputs
0.384 * * * * [points]: Sampling 162 additional inputs, on iter 4 have 94 / 256
0.385 * * * * [points]: Computing exacts on every 10 of 162 points to ramp up precision
0.388 * * * * [points]: Setting MPFR precision to 64
0.389 * * * * [points]: Setting MPFR precision to 320
0.390 * * * * [points]: Computing exacts on every 5 of 162 points to ramp up precision
0.393 * * * * [points]: Setting MPFR precision to 64
0.395 * * * * [points]: Setting MPFR precision to 320
0.397 * * * * [points]: Computing exacts on every 2 of 162 points to ramp up precision
0.401 * * * * [points]: Setting MPFR precision to 64
0.404 * * * * [points]: Setting MPFR precision to 320
0.408 * * * * [points]: Computing exacts for 162 points
0.412 * * * * [points]: Setting MPFR precision to 64
0.423 * * * * [points]: Setting MPFR precision to 320
0.434 * * * * [points]: Filtering points with unrepresentable outputs
0.434 * * * * [points]: Sampling 142 additional inputs, on iter 5 have 114 / 256
0.435 * * * * [points]: Computing exacts on every 8 of 142 points to ramp up precision
0.438 * * * * [points]: Setting MPFR precision to 64
0.439 * * * * [points]: Setting MPFR precision to 320
0.440 * * * * [points]: Computing exacts on every 4 of 142 points to ramp up precision
0.444 * * * * [points]: Setting MPFR precision to 64
0.446 * * * * [points]: Setting MPFR precision to 320
0.448 * * * * [points]: Computing exacts on every 2 of 142 points to ramp up precision
0.451 * * * * [points]: Setting MPFR precision to 64
0.456 * * * * [points]: Setting MPFR precision to 320
0.462 * * * * [points]: Computing exacts for 142 points
0.468 * * * * [points]: Setting MPFR precision to 64
0.517 * * * * [points]: Setting MPFR precision to 320
0.529 * * * * [points]: Filtering points with unrepresentable outputs
0.529 * * * * [points]: Sampling 120 additional inputs, on iter 6 have 136 / 256
0.529 * * * * [points]: Computing exacts on every 7 of 120 points to ramp up precision
0.533 * * * * [points]: Setting MPFR precision to 64
0.534 * * * * [points]: Setting MPFR precision to 320
0.535 * * * * [points]: Computing exacts on every 3 of 120 points to ramp up precision
0.539 * * * * [points]: Setting MPFR precision to 64
0.542 * * * * [points]: Setting MPFR precision to 320
0.544 * * * * [points]: Computing exacts for 120 points
0.547 * * * * [points]: Setting MPFR precision to 64
0.556 * * * * [points]: Setting MPFR precision to 320
0.564 * * * * [points]: Filtering points with unrepresentable outputs
0.564 * * * * [points]: Sampling 110 additional inputs, on iter 7 have 146 / 256
0.565 * * * * [points]: Computing exacts on every 6 of 110 points to ramp up precision
0.568 * * * * [points]: Setting MPFR precision to 64
0.570 * * * * [points]: Setting MPFR precision to 320
0.571 * * * * [points]: Computing exacts on every 3 of 110 points to ramp up precision
0.574 * * * * [points]: Setting MPFR precision to 64
0.576 * * * * [points]: Setting MPFR precision to 320
0.578 * * * * [points]: Computing exacts for 110 points
0.581 * * * * [points]: Setting MPFR precision to 64
0.589 * * * * [points]: Setting MPFR precision to 320
0.601 * * * * [points]: Filtering points with unrepresentable outputs
0.601 * * * * [points]: Sampling 92 additional inputs, on iter 8 have 164 / 256
0.602 * * * * [points]: Computing exacts on every 5 of 92 points to ramp up precision
0.609 * * * * [points]: Setting MPFR precision to 64
0.611 * * * * [points]: Setting MPFR precision to 320
0.613 * * * * [points]: Computing exacts on every 2 of 92 points to ramp up precision
0.650 * * * * [points]: Setting MPFR precision to 64
0.655 * * * * [points]: Setting MPFR precision to 320
0.662 * * * * [points]: Computing exacts for 92 points
0.669 * * * * [points]: Setting MPFR precision to 64
0.681 * * * * [points]: Setting MPFR precision to 320
0.693 * * * * [points]: Filtering points with unrepresentable outputs
0.693 * * * * [points]: Sampling 75 additional inputs, on iter 9 have 181 / 256
0.694 * * * * [points]: Computing exacts on every 4 of 75 points to ramp up precision
0.701 * * * * [points]: Setting MPFR precision to 64
0.703 * * * * [points]: Setting MPFR precision to 320
0.705 * * * * [points]: Computing exacts on every 2 of 75 points to ramp up precision
0.711 * * * * [points]: Setting MPFR precision to 64
0.714 * * * * [points]: Setting MPFR precision to 320
0.718 * * * * [points]: Computing exacts for 75 points
0.723 * * * * [points]: Setting MPFR precision to 64
0.732 * * * * [points]: Setting MPFR precision to 320
0.741 * * * * [points]: Filtering points with unrepresentable outputs
0.741 * * * * [points]: Sampling 67 additional inputs, on iter 10 have 189 / 256
0.741 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
0.747 * * * * [points]: Setting MPFR precision to 64
0.749 * * * * [points]: Setting MPFR precision to 320
0.751 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
0.757 * * * * [points]: Setting MPFR precision to 64
0.760 * * * * [points]: Setting MPFR precision to 320
0.763 * * * * [points]: Computing exacts for 67 points
0.769 * * * * [points]: Setting MPFR precision to 64
0.778 * * * * [points]: Setting MPFR precision to 320
0.787 * * * * [points]: Filtering points with unrepresentable outputs
0.787 * * * * [points]: Sampling 53 additional inputs, on iter 11 have 203 / 256
0.788 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
0.794 * * * * [points]: Setting MPFR precision to 64
0.796 * * * * [points]: Setting MPFR precision to 320
0.798 * * * * [points]: Computing exacts for 53 points
0.805 * * * * [points]: Setting MPFR precision to 64
0.811 * * * * [points]: Setting MPFR precision to 320
0.846 * * * * [points]: Filtering points with unrepresentable outputs
0.846 * * * * [points]: Sampling 47 additional inputs, on iter 12 have 209 / 256
0.846 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
0.856 * * * * [points]: Setting MPFR precision to 64
0.858 * * * * [points]: Setting MPFR precision to 320
0.860 * * * * [points]: Computing exacts for 47 points
0.867 * * * * [points]: Setting MPFR precision to 64
0.873 * * * * [points]: Setting MPFR precision to 320
0.879 * * * * [points]: Filtering points with unrepresentable outputs
0.879 * * * * [points]: Sampling 43 additional inputs, on iter 13 have 213 / 256
0.879 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
0.886 * * * * [points]: Setting MPFR precision to 64
0.887 * * * * [points]: Setting MPFR precision to 320
0.889 * * * * [points]: Computing exacts for 43 points
0.896 * * * * [points]: Setting MPFR precision to 64
0.902 * * * * [points]: Setting MPFR precision to 320
0.907 * * * * [points]: Filtering points with unrepresentable outputs
0.907 * * * * [points]: Sampling 36 additional inputs, on iter 14 have 220 / 256
0.908 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
0.914 * * * * [points]: Setting MPFR precision to 64
0.916 * * * * [points]: Setting MPFR precision to 320
0.918 * * * * [points]: Computing exacts for 36 points
0.924 * * * * [points]: Setting MPFR precision to 64
0.929 * * * * [points]: Setting MPFR precision to 320
0.934 * * * * [points]: Filtering points with unrepresentable outputs
0.934 * * * * [points]: Sampling 34 additional inputs, on iter 15 have 222 / 256
0.934 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
0.940 * * * * [points]: Setting MPFR precision to 64
0.942 * * * * [points]: Setting MPFR precision to 320
0.944 * * * * [points]: Computing exacts for 34 points
0.950 * * * * [points]: Setting MPFR precision to 64
0.954 * * * * [points]: Setting MPFR precision to 320
0.959 * * * * [points]: Filtering points with unrepresentable outputs
0.959 * * * * [points]: Sampling 28 additional inputs, on iter 16 have 228 / 256
0.959 * * * * [points]: Computing exacts for 28 points
0.965 * * * * [points]: Setting MPFR precision to 64
0.968 * * * * [points]: Setting MPFR precision to 320
0.971 * * * * [points]: Filtering points with unrepresentable outputs
0.971 * * * * [points]: Sampling 25 additional inputs, on iter 17 have 231 / 256
0.972 * * * * [points]: Computing exacts for 25 points
0.977 * * * * [points]: Setting MPFR precision to 64
0.980 * * * * [points]: Setting MPFR precision to 320
0.983 * * * * [points]: Filtering points with unrepresentable outputs
0.983 * * * * [points]: Sampling 23 additional inputs, on iter 18 have 233 / 256
0.983 * * * * [points]: Computing exacts for 23 points
0.989 * * * * [points]: Setting MPFR precision to 64
0.991 * * * * [points]: Setting MPFR precision to 320
0.993 * * * * [points]: Filtering points with unrepresentable outputs
0.993 * * * * [points]: Sampling 22 additional inputs, on iter 19 have 234 / 256
0.993 * * * * [points]: Computing exacts for 22 points
1.014 * * * * [points]: Setting MPFR precision to 64
1.016 * * * * [points]: Setting MPFR precision to 320
1.017 * * * * [points]: Filtering points with unrepresentable outputs
1.017 * * * * [points]: Sampling 19 additional inputs, on iter 20 have 237 / 256
1.018 * * * * [points]: Computing exacts for 19 points
1.021 * * * * [points]: Setting MPFR precision to 64
1.022 * * * * [points]: Setting MPFR precision to 320
1.024 * * * * [points]: Filtering points with unrepresentable outputs
1.024 * * * * [points]: Sampling 16 additional inputs, on iter 21 have 240 / 256
1.024 * * * * [points]: Computing exacts for 16 points
1.027 * * * * [points]: Setting MPFR precision to 64
1.028 * * * * [points]: Setting MPFR precision to 320
1.029 * * * * [points]: Filtering points with unrepresentable outputs
1.029 * * * * [points]: Sampling 16 additional inputs, on iter 22 have 240 / 256
1.029 * * * * [points]: Computing exacts for 16 points
1.033 * * * * [points]: Setting MPFR precision to 64
1.034 * * * * [points]: Setting MPFR precision to 320
1.035 * * * * [points]: Filtering points with unrepresentable outputs
1.035 * * * * [points]: Sampling 14 additional inputs, on iter 23 have 242 / 256
1.035 * * * * [points]: Computing exacts for 14 points
1.038 * * * * [points]: Setting MPFR precision to 64
1.039 * * * * [points]: Setting MPFR precision to 320
1.040 * * * * [points]: Filtering points with unrepresentable outputs
1.040 * * * * [points]: Sampling 13 additional inputs, on iter 24 have 243 / 256
1.040 * * * * [points]: Computing exacts for 13 points
1.044 * * * * [points]: Setting MPFR precision to 64
1.045 * * * * [points]: Setting MPFR precision to 320
1.046 * * * * [points]: Filtering points with unrepresentable outputs
1.046 * * * * [points]: Sampling 10 additional inputs, on iter 25 have 246 / 256
1.046 * * * * [points]: Computing exacts for 10 points
1.049 * * * * [points]: Setting MPFR precision to 64
1.050 * * * * [points]: Setting MPFR precision to 320
1.051 * * * * [points]: Filtering points with unrepresentable outputs
1.051 * * * * [points]: Sampling 10 additional inputs, on iter 26 have 246 / 256
1.051 * * * * [points]: Computing exacts for 10 points
1.054 * * * * [points]: Setting MPFR precision to 64
1.055 * * * * [points]: Setting MPFR precision to 320
1.056 * * * * [points]: Filtering points with unrepresentable outputs
1.056 * * * * [points]: Sampling 10 additional inputs, on iter 27 have 246 / 256
1.056 * * * * [points]: Computing exacts for 10 points
1.059 * * * * [points]: Setting MPFR precision to 64
1.060 * * * * [points]: Setting MPFR precision to 320
1.060 * * * * [points]: Filtering points with unrepresentable outputs
1.060 * * * * [points]: Sampling 9 additional inputs, on iter 28 have 247 / 256
1.061 * * * * [points]: Computing exacts for 9 points
1.064 * * * * [points]: Setting MPFR precision to 64
1.064 * * * * [points]: Setting MPFR precision to 320
1.065 * * * * [points]: Filtering points with unrepresentable outputs
1.065 * * * * [points]: Sampling 7 additional inputs, on iter 29 have 249 / 256
1.065 * * * * [points]: Computing exacts for 7 points
1.068 * * * * [points]: Setting MPFR precision to 64
1.069 * * * * [points]: Setting MPFR precision to 320
1.069 * * * * [points]: Filtering points with unrepresentable outputs
1.070 * * * * [points]: Sampling 7 additional inputs, on iter 30 have 249 / 256
1.070 * * * * [points]: Computing exacts for 7 points
1.073 * * * * [points]: Setting MPFR precision to 64
1.073 * * * * [points]: Setting MPFR precision to 320
1.074 * * * * [points]: Filtering points with unrepresentable outputs
1.074 * * * * [points]: Sampling 6 additional inputs, on iter 31 have 250 / 256
1.074 * * * * [points]: Computing exacts for 6 points
1.077 * * * * [points]: Setting MPFR precision to 64
1.078 * * * * [points]: Setting MPFR precision to 320
1.078 * * * * [points]: Filtering points with unrepresentable outputs
1.078 * * * * [points]: Sampling 4 additional inputs, on iter 32 have 252 / 256
1.078 * * * * [points]: Computing exacts for 4 points
1.081 * * * * [points]: Setting MPFR precision to 64
1.082 * * * * [points]: Setting MPFR precision to 320
1.082 * * * * [points]: Filtering points with unrepresentable outputs
1.082 * * * * [points]: Sampling 4 additional inputs, on iter 33 have 252 / 256
1.082 * * * * [points]: Computing exacts for 4 points
1.096 * * * * [points]: Setting MPFR precision to 64
1.096 * * * * [points]: Setting MPFR precision to 320
1.097 * * * * [points]: Filtering points with unrepresentable outputs
1.097 * * * * [points]: Sampling 4 additional inputs, on iter 34 have 252 / 256
1.097 * * * * [points]: Computing exacts for 4 points
1.100 * * * * [points]: Setting MPFR precision to 64
1.100 * * * * [points]: Setting MPFR precision to 320
1.101 * * * * [points]: Filtering points with unrepresentable outputs
1.101 * * * * [points]: Sampling 4 additional inputs, on iter 35 have 253 / 256
1.101 * * * * [points]: Computing exacts for 4 points
1.105 * * * * [points]: Setting MPFR precision to 64
1.106 * * * * [points]: Setting MPFR precision to 320
1.106 * * * * [points]: Filtering points with unrepresentable outputs
1.106 * * * * [points]: Sampling 4 additional inputs, on iter 36 have 253 / 256
1.106 * * * * [points]: Computing exacts for 4 points
1.110 * * * * [points]: Setting MPFR precision to 64
1.110 * * * * [points]: Setting MPFR precision to 320
1.110 * * * * [points]: Filtering points with unrepresentable outputs
1.110 * * * * [points]: Sampling 4 additional inputs, on iter 37 have 253 / 256
1.110 * * * * [points]: Computing exacts for 4 points
1.114 * * * * [points]: Setting MPFR precision to 64
1.114 * * * * [points]: Setting MPFR precision to 320
1.114 * * * * [points]: Filtering points with unrepresentable outputs
1.114 * * * * [points]: Sampling 4 additional inputs, on iter 38 have 253 / 256
1.114 * * * * [points]: Computing exacts for 4 points
1.117 * * * * [points]: Setting MPFR precision to 64
1.118 * * * * [points]: Setting MPFR precision to 320
1.118 * * * * [points]: Filtering points with unrepresentable outputs
1.118 * * * * [points]: Sampling 4 additional inputs, on iter 39 have 253 / 256
1.118 * * * * [points]: Computing exacts for 4 points
1.121 * * * * [points]: Setting MPFR precision to 64
1.122 * * * * [points]: Setting MPFR precision to 320
1.122 * * * * [points]: Filtering points with unrepresentable outputs
1.122 * * * * [points]: Sampling 4 additional inputs, on iter 40 have 253 / 256
1.122 * * * * [points]: Computing exacts for 4 points
1.125 * * * * [points]: Setting MPFR precision to 64
1.126 * * * * [points]: Setting MPFR precision to 320
1.126 * * * * [points]: Filtering points with unrepresentable outputs
1.126 * * * * [points]: Sampling 4 additional inputs, on iter 41 have 253 / 256
1.126 * * * * [points]: Computing exacts for 4 points
1.130 * * * * [points]: Setting MPFR precision to 64
1.130 * * * * [points]: Setting MPFR precision to 320
1.130 * * * * [points]: Filtering points with unrepresentable outputs
1.130 * * * * [points]: Sampling 4 additional inputs, on iter 42 have 254 / 256
1.130 * * * * [points]: Computing exacts for 4 points
1.134 * * * * [points]: Setting MPFR precision to 64
1.134 * * * * [points]: Setting MPFR precision to 320
1.134 * * * * [points]: Filtering points with unrepresentable outputs
1.134 * * * * [points]: Sampling 4 additional inputs, on iter 43 have 255 / 256
1.134 * * * * [points]: Computing exacts for 4 points
1.138 * * * * [points]: Setting MPFR precision to 64
1.138 * * * * [points]: Setting MPFR precision to 320
1.138 * * * * [points]: Filtering points with unrepresentable outputs
1.138 * * * * [points]: Sampling 4 additional inputs, on iter 44 have 255 / 256
1.138 * * * * [points]: Computing exacts for 4 points
1.141 * * * * [points]: Setting MPFR precision to 64
1.142 * * * * [points]: Setting MPFR precision to 320
1.142 * * * * [points]: Filtering points with unrepresentable outputs
1.142 * * * * [points]: Sampling 4 additional inputs, on iter 45 have 255 / 256
1.142 * * * * [points]: Computing exacts for 4 points
1.145 * * * * [points]: Setting MPFR precision to 64
1.146 * * * * [points]: Setting MPFR precision to 320
1.146 * * * * [points]: Filtering points with unrepresentable outputs
1.146 * * * * [points]: Sampled 256 points with exact outputs
1.146 * * * [progress]: [2/2] Setting up program.
1.157 * [progress]: [Phase 2 of 3] Improving.
1.158 * * * * [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.158 * [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.158 * * [simplify]: iters left: 6 (15 enodes)
1.162 * * [simplify]: iters left: 5 (54 enodes)
1.184 * * [simplify]: iters left: 4 (174 enodes)
1.261 * * [simplify]: Extracting #0: cost 1 inf + 0
1.261 * * [simplify]: Extracting #1: cost 2 inf + 0
1.261 * * [simplify]: Extracting #2: cost 52 inf + 0
1.261 * * [simplify]: Extracting #3: cost 218 inf + 0
1.262 * * [simplify]: Extracting #4: cost 350 inf + 488
1.267 * * [simplify]: Extracting #5: cost 271 inf + 83278
1.282 * * [simplify]: Extracting #6: cost 99 inf + 301152
1.308 * * [simplify]: Extracting #7: cost 13 inf + 445414
1.336 * * [simplify]: Extracting #8: cost 0 inf + 471346
1.368 * [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.368 * [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.380 * * [progress]: iteration 1 / 4
1.380 * * * [progress]: picking best candidate
1.391 * * * * [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.391 * * * [progress]: localizing error
1.694 * * * [progress]: generating rewritten candidates
1.694 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
1.740 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
1.784 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.831 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
1.855 * * * [progress]: generating series expansions
1.855 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
1.855 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
1.855 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.855 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
1.855 * * * [progress]: simplifying candidates
1.855 * * * * [progress]: [ 1 / 10 ] 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))))>
1.855 * * * * [progress]: [ 2 / 10 ] 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))))>
1.855 * * * * [progress]: [ 3 / 10 ] 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))))>
1.855 * * * * [progress]: [ 4 / 10 ] 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))))>
1.855 * * * * [progress]: [ 5 / 10 ] 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)))))>
1.856 * * * * [progress]: [ 6 / 10 ] 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)))))>
1.856 * * * * [progress]: [ 7 / 10 ] 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.856 * [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.856 * * [simplify]: iters left: 6 (15 enodes)
1.860 * * [simplify]: iters left: 5 (54 enodes)
1.871 * * [simplify]: iters left: 4 (174 enodes)
1.957 * * [simplify]: Extracting #0: cost 1 inf + 0
1.957 * * [simplify]: Extracting #1: cost 2 inf + 0
1.957 * * [simplify]: Extracting #2: cost 52 inf + 0
1.958 * * [simplify]: Extracting #3: cost 218 inf + 0
1.960 * * [simplify]: Extracting #4: cost 350 inf + 488
1.969 * * [simplify]: Extracting #5: cost 271 inf + 83278
1.991 * * [simplify]: Extracting #6: cost 99 inf + 301152
2.031 * * [simplify]: Extracting #7: cost 13 inf + 445414
2.077 * * [simplify]: Extracting #8: cost 0 inf + 471346
2.121 * [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)))
2.121 * [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))))
2.121 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.121 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
2.122 * * [simplify]: iters left: 6 (15 enodes)
2.126 * * [simplify]: iters left: 5 (54 enodes)
2.139 * * [simplify]: iters left: 4 (174 enodes)
2.249 * * [simplify]: Extracting #0: cost 1 inf + 0
2.249 * * [simplify]: Extracting #1: cost 2 inf + 0
2.249 * * [simplify]: Extracting #2: cost 52 inf + 0
2.249 * * [simplify]: Extracting #3: cost 218 inf + 0
2.250 * * [simplify]: Extracting #4: cost 350 inf + 488
2.255 * * [simplify]: Extracting #5: cost 271 inf + 83278
2.270 * * [simplify]: Extracting #6: cost 99 inf + 301152
2.318 * * [simplify]: Extracting #7: cost 13 inf + 445414
2.373 * * [simplify]: Extracting #8: cost 0 inf + 471346
2.427 * [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)))
2.427 * [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))))
2.427 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.427 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
2.427 * * [simplify]: iters left: 6 (15 enodes)
2.431 * * [simplify]: iters left: 5 (54 enodes)
2.442 * * [simplify]: iters left: 4 (174 enodes)
2.515 * * [simplify]: Extracting #0: cost 1 inf + 0
2.515 * * [simplify]: Extracting #1: cost 2 inf + 0
2.515 * * [simplify]: Extracting #2: cost 52 inf + 0
2.516 * * [simplify]: Extracting #3: cost 218 inf + 0
2.517 * * [simplify]: Extracting #4: cost 350 inf + 488
2.522 * * [simplify]: Extracting #5: cost 271 inf + 83278
2.536 * * [simplify]: Extracting #6: cost 99 inf + 301152
2.565 * * [simplify]: Extracting #7: cost 13 inf + 445414
2.593 * * [simplify]: Extracting #8: cost 0 inf + 471346
2.621 * [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)))
2.622 * [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))))
2.622 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
2.622 * [simplify]: Simplifying (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))
2.622 * * [simplify]: iters left: 6 (15 enodes)
2.626 * * [simplify]: iters left: 5 (54 enodes)
2.637 * * [simplify]: iters left: 4 (174 enodes)
2.709 * * [simplify]: Extracting #0: cost 1 inf + 0
2.709 * * [simplify]: Extracting #1: cost 2 inf + 0
2.710 * * [simplify]: Extracting #2: cost 52 inf + 0
2.713 * * [simplify]: Extracting #3: cost 218 inf + 0
2.714 * * [simplify]: Extracting #4: cost 350 inf + 488
2.718 * * [simplify]: Extracting #5: cost 271 inf + 83278
2.733 * * [simplify]: Extracting #6: cost 99 inf + 301152
2.759 * * [simplify]: Extracting #7: cost 13 inf + 445414
2.787 * * [simplify]: Extracting #8: cost 0 inf + 471346
2.817 * [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)))
2.817 * [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))))
2.818 * * * [progress]: adding candidates to table
3.035 * * [progress]: iteration 2 / 4
3.035 * * * [progress]: picking best candidate
3.070 * * * * [pick]: Picked  #<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))))>
3.070 * * * [progress]: localizing error
3.385 * * * [progress]: generating rewritten candidates
3.385 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
3.459 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
3.481 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1)
3.484 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
3.507 * * * [progress]: generating series expansions
3.507 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
3.507 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
3.507 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1)
3.507 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
3.507 * * * [progress]: simplifying candidates
3.507 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.507 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
3.507 * * [simplify]: iters left: 4 (9 enodes)
3.510 * * [simplify]: iters left: 3 (21 enodes)
3.513 * * [simplify]: iters left: 2 (27 enodes)
3.517 * * [simplify]: iters left: 1 (28 enodes)
3.521 * * [simplify]: Extracting #0: cost 1 inf + 0
3.521 * * [simplify]: Extracting #1: cost 3 inf + 0
3.521 * * [simplify]: Extracting #2: cost 4 inf + 1
3.521 * * [simplify]: Extracting #3: cost 10 inf + 1
3.521 * * [simplify]: Extracting #4: cost 1 inf + 738
3.521 * * [simplify]: Extracting #5: cost 0 inf + 1302
3.521 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
3.521 * [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 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
3.522 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.522 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))
3.522 * * [simplify]: iters left: 6 (13 enodes)
3.525 * * [simplify]: iters left: 5 (46 enodes)
3.535 * * [simplify]: iters left: 4 (130 enodes)
3.574 * * [simplify]: Extracting #0: cost 1 inf + 0
3.574 * * [simplify]: Extracting #1: cost 25 inf + 0
3.574 * * [simplify]: Extracting #2: cost 62 inf + 0
3.575 * * [simplify]: Extracting #3: cost 154 inf + 82
3.576 * * [simplify]: Extracting #4: cost 156 inf + 19005
3.582 * * [simplify]: Extracting #5: cost 37 inf + 171376
3.594 * * [simplify]: Extracting #6: cost 3 inf + 231747
3.617 * * [simplify]: Extracting #7: cost 0 inf + 241279
3.642 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))
3.642 * [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 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
3.643 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.643 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.643 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.643 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
3.643 * * [simplify]: iters left: 4 (9 enodes)
3.648 * * [simplify]: iters left: 3 (21 enodes)
3.654 * * [simplify]: iters left: 2 (27 enodes)
3.662 * * [simplify]: iters left: 1 (28 enodes)
3.672 * * [simplify]: Extracting #0: cost 1 inf + 0
3.672 * * [simplify]: Extracting #1: cost 3 inf + 0
3.672 * * [simplify]: Extracting #2: cost 4 inf + 1
3.672 * * [simplify]: Extracting #3: cost 10 inf + 1
3.672 * * [simplify]: Extracting #4: cost 1 inf + 738
3.673 * * [simplify]: Extracting #5: cost 0 inf + 1302
3.673 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
3.673 * [simplify]: Simplified (2 1 1 1 2 1 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 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
3.673 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
3.673 * * [simplify]: iters left: 4 (9 enodes)
3.678 * * [simplify]: iters left: 3 (27 enodes)
3.685 * * [simplify]: iters left: 2 (47 enodes)
3.697 * * [simplify]: iters left: 1 (123 enodes)
3.731 * * [simplify]: Extracting #0: cost 1 inf + 0
3.732 * * [simplify]: Extracting #1: cost 15 inf + 0
3.732 * * [simplify]: Extracting #2: cost 53 inf + 1
3.732 * * [simplify]: Extracting #3: cost 87 inf + 1044
3.733 * * [simplify]: Extracting #4: cost 139 inf + 5657
3.735 * * [simplify]: Extracting #5: cost 115 inf + 19521
3.742 * * [simplify]: Extracting #6: cost 57 inf + 79064
3.758 * * [simplify]: Extracting #7: cost 8 inf + 157140
3.778 * * [simplify]: Extracting #8: cost 0 inf + 176132
3.797 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
3.797 * [simplify]: Simplified (2 1 1 1 2 1 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)) a) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
3.797 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.797 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
3.797 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c)))))>
3.797 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 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)))))>
3.797 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.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))))>
3.797 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.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))))>
3.798 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.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))))>
3.798 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.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))))>
3.798 * * * [progress]: adding candidates to table
4.340 * * [progress]: iteration 3 / 4
4.340 * * * [progress]: picking best candidate
4.381 * * * * [pick]: Picked  #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
4.382 * * * [progress]: localizing error
4.925 * * * [progress]: generating rewritten candidates
4.925 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
5.041 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
5.149 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
5.152 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
5.156 * * * [progress]: generating series expansions
5.156 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
5.156 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
5.156 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
5.156 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1)
5.156 * * * [progress]: simplifying candidates
5.156 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.156 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
5.156 * * [simplify]: iters left: 4 (9 enodes)
5.159 * * [simplify]: iters left: 3 (21 enodes)
5.162 * * [simplify]: iters left: 2 (27 enodes)
5.166 * * [simplify]: iters left: 1 (28 enodes)
5.170 * * [simplify]: Extracting #0: cost 1 inf + 0
5.171 * * [simplify]: Extracting #1: cost 3 inf + 0
5.171 * * [simplify]: Extracting #2: cost 4 inf + 1
5.171 * * [simplify]: Extracting #3: cost 10 inf + 1
5.171 * * [simplify]: Extracting #4: cost 1 inf + 738
5.171 * * [simplify]: Extracting #5: cost 0 inf + 1302
5.171 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
5.171 * [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 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
5.171 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.171 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))
5.172 * * [simplify]: iters left: 6 (13 enodes)
5.175 * * [simplify]: iters left: 5 (46 enodes)
5.194 * * [simplify]: iters left: 4 (130 enodes)
5.262 * * [simplify]: Extracting #0: cost 1 inf + 0
5.262 * * [simplify]: Extracting #1: cost 25 inf + 0
5.262 * * [simplify]: Extracting #2: cost 62 inf + 0
5.263 * * [simplify]: Extracting #3: cost 154 inf + 82
5.264 * * [simplify]: Extracting #4: cost 156 inf + 19005
5.272 * * [simplify]: Extracting #5: cost 37 inf + 171376
5.284 * * [simplify]: Extracting #6: cost 3 inf + 231747
5.297 * * [simplify]: Extracting #7: cost 0 inf + 241279
5.310 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))
5.310 * [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 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
5.310 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.311 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
5.311 * * [simplify]: iters left: 4 (9 enodes)
5.314 * * [simplify]: iters left: 3 (21 enodes)
5.321 * * [simplify]: iters left: 2 (27 enodes)
5.329 * * [simplify]: iters left: 1 (28 enodes)
5.333 * * [simplify]: Extracting #0: cost 1 inf + 0
5.333 * * [simplify]: Extracting #1: cost 3 inf + 0
5.333 * * [simplify]: Extracting #2: cost 4 inf + 1
5.333 * * [simplify]: Extracting #3: cost 10 inf + 1
5.333 * * [simplify]: Extracting #4: cost 5 inf + 47
5.333 * * [simplify]: Extracting #5: cost 1 inf + 738
5.333 * * [simplify]: Extracting #6: cost 0 inf + 1302
5.333 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
5.334 * [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 (+.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 (+.p16 c b)) (real->posit16 2)) b) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
5.334 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.334 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b)))
5.334 * * [simplify]: iters left: 6 (13 enodes)
5.337 * * [simplify]: iters left: 5 (46 enodes)
5.347 * * [simplify]: iters left: 4 (130 enodes)
5.386 * * [simplify]: Extracting #0: cost 1 inf + 0
5.387 * * [simplify]: Extracting #1: cost 25 inf + 0
5.387 * * [simplify]: Extracting #2: cost 62 inf + 0
5.387 * * [simplify]: Extracting #3: cost 156 inf + 1
5.388 * * [simplify]: Extracting #4: cost 157 inf + 19646
5.394 * * [simplify]: Extracting #5: cost 52 inf + 148242
5.406 * * [simplify]: Extracting #6: cost 1 inf + 239837
5.420 * * [simplify]: Extracting #7: cost 0 inf + 242361
5.433 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (*.p16 b b) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))))
5.433 * [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 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (*.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (*.p16 b b) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
5.433 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.433 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
5.433 * * [simplify]: iters left: 4 (9 enodes)
5.436 * * [simplify]: iters left: 3 (21 enodes)
5.439 * * [simplify]: iters left: 2 (27 enodes)
5.447 * * [simplify]: iters left: 1 (28 enodes)
5.454 * * [simplify]: Extracting #0: cost 1 inf + 0
5.454 * * [simplify]: Extracting #1: cost 3 inf + 0
5.454 * * [simplify]: Extracting #2: cost 4 inf + 1
5.454 * * [simplify]: Extracting #3: cost 10 inf + 1
5.454 * * [simplify]: Extracting #4: cost 5 inf + 47
5.454 * * [simplify]: Extracting #5: cost 1 inf + 738
5.455 * * [simplify]: Extracting #6: cost 0 inf + 1302
5.455 * [simplify]: Simplified to (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
5.455 * [simplify]: Simplified (2 1 1 2 1 1) 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 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
5.456 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
5.456 * * [simplify]: iters left: 4 (9 enodes)
5.460 * * [simplify]: iters left: 3 (27 enodes)
5.470 * * [simplify]: iters left: 2 (47 enodes)
5.491 * * [simplify]: iters left: 1 (123 enodes)
5.554 * * [simplify]: Extracting #0: cost 1 inf + 0
5.554 * * [simplify]: Extracting #1: cost 15 inf + 0
5.554 * * [simplify]: Extracting #2: cost 52 inf + 82
5.554 * * [simplify]: Extracting #3: cost 87 inf + 1044
5.555 * * [simplify]: Extracting #4: cost 140 inf + 5615
5.556 * * [simplify]: Extracting #5: cost 118 inf + 19352
5.559 * * [simplify]: Extracting #6: cost 58 inf + 77580
5.567 * * [simplify]: Extracting #7: cost 8 inf + 157140
5.577 * * [simplify]: Extracting #8: cost 0 inf + 176132
5.586 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)
5.586 * [simplify]: Simplified (2 1 1 2 1 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 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 b (+.p16 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))))
5.586 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.587 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 b b) (*.p16 b b))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.587 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.587 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
5.587 * * [simplify]: iters left: 4 (9 enodes)
5.589 * * [simplify]: iters left: 3 (21 enodes)
5.594 * * [simplify]: iters left: 2 (27 enodes)
5.598 * * [simplify]: iters left: 1 (28 enodes)
5.602 * * [simplify]: Extracting #0: cost 1 inf + 0
5.602 * * [simplify]: Extracting #1: cost 3 inf + 0
5.602 * * [simplify]: Extracting #2: cost 4 inf + 1
5.602 * * [simplify]: Extracting #3: cost 10 inf + 1
5.602 * * [simplify]: Extracting #4: cost 1 inf + 738
5.602 * * [simplify]: Extracting #5: cost 0 inf + 1302
5.602 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
5.602 * [simplify]: Simplified (2 1 1 1 2 1 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 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
5.603 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
5.603 * * [simplify]: iters left: 4 (9 enodes)
5.605 * * [simplify]: iters left: 3 (27 enodes)
5.610 * * [simplify]: iters left: 2 (47 enodes)
5.619 * * [simplify]: iters left: 1 (123 enodes)
5.651 * * [simplify]: Extracting #0: cost 1 inf + 0
5.651 * * [simplify]: Extracting #1: cost 15 inf + 0
5.652 * * [simplify]: Extracting #2: cost 53 inf + 1
5.652 * * [simplify]: Extracting #3: cost 87 inf + 1044
5.652 * * [simplify]: Extracting #4: cost 139 inf + 5657
5.653 * * [simplify]: Extracting #5: cost 115 inf + 19521
5.657 * * [simplify]: Extracting #6: cost 57 inf + 79064
5.665 * * [simplify]: Extracting #7: cost 8 inf + 157140
5.676 * * [simplify]: Extracting #8: cost 0 inf + 176132
5.688 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
5.688 * [simplify]: Simplified (2 1 1 1 2 1 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)) a) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))
5.688 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.688 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.689 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.689 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.689 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.689 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
5.689 * * * [progress]: adding candidates to table
6.086 * * [progress]: iteration 4 / 4
6.086 * * * [progress]: picking best candidate
6.121 * * * * [pick]: Picked  #<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 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
6.121 * * * [progress]: localizing error
6.569 * * * [progress]: generating rewritten candidates
6.569 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
6.654 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
6.731 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
6.754 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
6.757 * * * [progress]: generating series expansions
6.757 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
6.757 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
6.757 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
6.757 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1)
6.757 * * * [progress]: simplifying candidates
6.757 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
6.757 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
6.757 * * [simplify]: iters left: 4 (9 enodes)
6.759 * * [simplify]: iters left: 3 (21 enodes)
6.763 * * [simplify]: iters left: 2 (27 enodes)
6.767 * * [simplify]: iters left: 1 (28 enodes)
6.771 * * [simplify]: Extracting #0: cost 1 inf + 0
6.771 * * [simplify]: Extracting #1: cost 3 inf + 0
6.771 * * [simplify]: Extracting #2: cost 4 inf + 1
6.771 * * [simplify]: Extracting #3: cost 10 inf + 1
6.771 * * [simplify]: Extracting #4: cost 1 inf + 738
6.771 * * [simplify]: Extracting #5: cost 0 inf + 1302
6.771 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
6.771 * [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 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
6.771 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
6.772 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))
6.772 * * [simplify]: iters left: 6 (13 enodes)
6.775 * * [simplify]: iters left: 5 (46 enodes)
6.790 * * [simplify]: iters left: 4 (130 enodes)
6.832 * * [simplify]: Extracting #0: cost 1 inf + 0
6.832 * * [simplify]: Extracting #1: cost 25 inf + 0
6.832 * * [simplify]: Extracting #2: cost 62 inf + 0
6.833 * * [simplify]: Extracting #3: cost 154 inf + 82
6.834 * * [simplify]: Extracting #4: cost 156 inf + 19005
6.840 * * [simplify]: Extracting #5: cost 37 inf + 171376
6.852 * * [simplify]: Extracting #6: cost 3 inf + 231747
6.865 * * [simplify]: Extracting #7: cost 0 inf + 241279
6.881 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a)))
6.881 * [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 (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
6.881 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))))>
6.881 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
6.881 * * [simplify]: iters left: 4 (9 enodes)
6.884 * * [simplify]: iters left: 3 (21 enodes)
6.887 * * [simplify]: iters left: 2 (27 enodes)
6.891 * * [simplify]: iters left: 1 (28 enodes)
6.895 * * [simplify]: Extracting #0: cost 1 inf + 0
6.895 * * [simplify]: Extracting #1: cost 3 inf + 0
6.895 * * [simplify]: Extracting #2: cost 4 inf + 1
6.895 * * [simplify]: Extracting #3: cost 10 inf + 1
6.895 * * [simplify]: Extracting #4: cost 5 inf + 47
6.895 * * [simplify]: Extracting #5: cost 1 inf + 738
6.895 * * [simplify]: Extracting #6: cost 0 inf + 1302
6.895 * [simplify]: Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
6.895 * [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 (+.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 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))))
6.896 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))>
6.896 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c)))
6.896 * * [simplify]: iters left: 6 (13 enodes)
6.899 * * [simplify]: iters left: 5 (46 enodes)
6.909 * * [simplify]: iters left: 4 (130 enodes)
6.949 * * [simplify]: Extracting #0: cost 1 inf + 0
6.949 * * [simplify]: Extracting #1: cost 25 inf + 0
6.949 * * [simplify]: Extracting #2: cost 62 inf + 0
6.950 * * [simplify]: Extracting #3: cost 154 inf + 82
6.950 * * [simplify]: Extracting #4: cost 155 inf + 19371
6.956 * * [simplify]: Extracting #5: cost 43 inf + 161234
6.972 * * [simplify]: Extracting #6: cost 2 inf + 235712
6.992 * * [simplify]: Extracting #7: cost 0 inf + 242680
7.011 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c)))
7.011 * [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 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2))) (*.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))
7.012 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
7.012 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
7.012 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
7.012 * [simplify]: Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
7.012 * * [simplify]: iters left: 4 (9 enodes)
7.016 * * [simplify]: iters left: 3 (21 enodes)
7.021 * * [simplify]: iters left: 2 (27 enodes)
7.028 * * [simplify]: iters left: 1 (28 enodes)
7.034 * * [simplify]: Extracting #0: cost 1 inf + 0
7.034 * * [simplify]: Extracting #1: cost 3 inf + 0
7.034 * * [simplify]: Extracting #2: cost 4 inf + 1
7.037 * * [simplify]: Extracting #3: cost 10 inf + 1
7.037 * * [simplify]: Extracting #4: cost 1 inf + 738
7.037 * * [simplify]: Extracting #5: cost 0 inf + 1302
7.037 * [simplify]: Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
7.037 * [simplify]: Simplified (2 1 1 1 2 1 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 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
7.038 * [simplify]: Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
7.038 * * [simplify]: iters left: 4 (9 enodes)
7.042 * * [simplify]: iters left: 3 (27 enodes)
7.049 * * [simplify]: iters left: 2 (47 enodes)
7.063 * * [simplify]: iters left: 1 (123 enodes)
7.102 * * [simplify]: Extracting #0: cost 1 inf + 0
7.102 * * [simplify]: Extracting #1: cost 15 inf + 0
7.103 * * [simplify]: Extracting #2: cost 53 inf + 1
7.103 * * [simplify]: Extracting #3: cost 87 inf + 1044
7.103 * * [simplify]: Extracting #4: cost 139 inf + 5657
7.104 * * [simplify]: Extracting #5: cost 115 inf + 19521
7.108 * * [simplify]: Extracting #6: cost 57 inf + 79064
7.116 * * [simplify]: Extracting #7: cost 8 inf + 157140
7.126 * * [simplify]: Extracting #8: cost 0 inf + 176132
7.137 * [simplify]: Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
7.137 * [simplify]: Simplified (2 1 1 1 2 1 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)) a) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
7.137 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (neg.p16 (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
7.137 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 a a) (*.p16 a a))) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
7.137 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
7.137 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
7.138 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
7.138 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
7.138 * * * [progress]: adding candidates to table
7.456 * [progress]: [Phase 3 of 3] Extracting.
7.456 * * [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 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 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<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 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))>)
7.461 * * * [regime-changes]: Trying 3 branch expressions: (c b a)
7.461 * * * * [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 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 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<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 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))>)
7.554 * * * * [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 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 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<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 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))>)
7.676 * * * * [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 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 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))> #<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 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) (*.p16 (*.p16 c c) (*.p16 c c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)))))))>)
7.776 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
7.777 * [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)))
7.777 * * [simplify]: iters left: 6 (15 enodes)
7.779 * * [simplify]: Extracting #0: cost 1 inf + 0
7.779 * * [simplify]: Extracting #1: cost 2 inf + 0
7.779 * * [simplify]: Extracting #2: cost 4 inf + 0
7.779 * * [simplify]: Extracting #3: cost 8 inf + 0
7.779 * * [simplify]: Extracting #4: cost 11 inf + 1
7.779 * * [simplify]: Extracting #5: cost 13 inf + 2
7.779 * * [simplify]: Extracting #6: cost 11 inf + 4
7.779 * * [simplify]: Extracting #7: cost 7 inf + 654
7.779 * * [simplify]: Extracting #8: cost 1 inf + 6438
7.779 * * [simplify]: Extracting #9: cost 0 inf + 8202
7.780 * [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 (+.p16 a b) c) (real->posit16 2)) c)))
7.780 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
7.816 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
7.820 * * * * [points]: Setting MPFR precision to 64
7.821 * * * * [points]: Setting MPFR precision to 320
7.822 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
7.825 * * * * [points]: Setting MPFR precision to 64
7.828 * * * * [points]: Setting MPFR precision to 320
7.830 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
7.833 * * * * [points]: Setting MPFR precision to 64
7.838 * * * * [points]: Setting MPFR precision to 320
7.842 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
7.846 * * * * [points]: Setting MPFR precision to 64
7.854 * * * * [points]: Setting MPFR precision to 320
7.863 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
7.867 * * * * [points]: Setting MPFR precision to 64
7.884 * * * * [points]: Setting MPFR precision to 320
7.925 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
7.929 * * * * [points]: Setting MPFR precision to 64
7.965 * * * * [points]: Setting MPFR precision to 320
8.013 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
8.017 * * * * [points]: Setting MPFR precision to 64
8.497 * * * * [points]: Setting MPFR precision to 320
8.594 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
8.638 * * * * [points]: Setting MPFR precision to 64
8.953 * * * * [points]: Setting MPFR precision to 320
9.186 * * * * [points]: Computing exacts for 8000 points
9.190 * * * * [points]: Setting MPFR precision to 64
10.231 * * * * [points]: Setting MPFR precision to 320
11.149 * * * * [points]: Filtering points with unrepresentable outputs
11.182 * * * * [points]: Sampling 6986 additional inputs, on iter 1 have 1014 / 8000
11.232 * * * * [points]: Computing exacts on every 436 of 6986 points to ramp up precision
11.238 * * * * [points]: Setting MPFR precision to 64
11.240 * * * * [points]: Setting MPFR precision to 320
11.242 * * * * [points]: Computing exacts on every 218 of 6986 points to ramp up precision
11.247 * * * * [points]: Setting MPFR precision to 64
11.251 * * * * [points]: Setting MPFR precision to 320
11.254 * * * * [points]: Computing exacts on every 109 of 6986 points to ramp up precision
11.260 * * * * [points]: Setting MPFR precision to 64
11.267 * * * * [points]: Setting MPFR precision to 320
11.274 * * * * [points]: Computing exacts on every 54 of 6986 points to ramp up precision
11.279 * * * * [points]: Setting MPFR precision to 64
11.293 * * * * [points]: Setting MPFR precision to 320
11.307 * * * * [points]: Computing exacts on every 27 of 6986 points to ramp up precision
11.313 * * * * [points]: Setting MPFR precision to 64
11.342 * * * * [points]: Setting MPFR precision to 320
11.370 * * * * [points]: Computing exacts on every 13 of 6986 points to ramp up precision
11.798 * * * * [points]: Setting MPFR precision to 64
11.857 * * * * [points]: Setting MPFR precision to 320
11.897 * * * * [points]: Computing exacts on every 6 of 6986 points to ramp up precision
11.901 * * * * [points]: Setting MPFR precision to 64
12.026 * * * * [points]: Setting MPFR precision to 320
12.105 * * * * [points]: Computing exacts on every 3 of 6986 points to ramp up precision
12.112 * * * * [points]: Setting MPFR precision to 64
12.364 * * * * [points]: Setting MPFR precision to 320
12.599 * * * * [points]: Computing exacts for 6986 points
12.603 * * * * [points]: Setting MPFR precision to 64
13.368 * * * * [points]: Setting MPFR precision to 320
14.028 * * * * [points]: Filtering points with unrepresentable outputs
14.031 * * * * [points]: Sampling 6144 additional inputs, on iter 2 have 1856 / 8000
14.065 * * * * [points]: Computing exacts on every 384 of 6144 points to ramp up precision
14.071 * * * * [points]: Setting MPFR precision to 64
14.073 * * * * [points]: Setting MPFR precision to 320
14.074 * * * * [points]: Computing exacts on every 192 of 6144 points to ramp up precision
14.080 * * * * [points]: Setting MPFR precision to 64
14.084 * * * * [points]: Setting MPFR precision to 320
14.088 * * * * [points]: Computing exacts on every 96 of 6144 points to ramp up precision
14.094 * * * * [points]: Setting MPFR precision to 64
14.102 * * * * [points]: Setting MPFR precision to 320
14.110 * * * * [points]: Computing exacts on every 48 of 6144 points to ramp up precision
14.116 * * * * [points]: Setting MPFR precision to 64
14.132 * * * * [points]: Setting MPFR precision to 320
14.148 * * * * [points]: Computing exacts on every 24 of 6144 points to ramp up precision
14.154 * * * * [points]: Setting MPFR precision to 64
14.529 * * * * [points]: Setting MPFR precision to 320
14.546 * * * * [points]: Computing exacts on every 12 of 6144 points to ramp up precision
14.550 * * * * [points]: Setting MPFR precision to 64
14.594 * * * * [points]: Setting MPFR precision to 320
14.635 * * * * [points]: Computing exacts on every 6 of 6144 points to ramp up precision
14.638 * * * * [points]: Setting MPFR precision to 64
14.740 * * * * [points]: Setting MPFR precision to 320
14.804 * * * * [points]: Computing exacts on every 3 of 6144 points to ramp up precision
14.861 * * * * [points]: Setting MPFR precision to 64
15.058 * * * * [points]: Setting MPFR precision to 320
15.209 * * * * [points]: Computing exacts for 6144 points
15.253 * * * * [points]: Setting MPFR precision to 64
16.037 * * * * [points]: Setting MPFR precision to 320
16.753 * * * * [points]: Filtering points with unrepresentable outputs
16.756 * * * * [points]: Sampling 5385 additional inputs, on iter 3 have 2615 / 8000
16.823 * * * * [points]: Computing exacts on every 336 of 5385 points to ramp up precision
16.827 * * * * [points]: Setting MPFR precision to 64
16.828 * * * * [points]: Setting MPFR precision to 320
16.829 * * * * [points]: Computing exacts on every 168 of 5385 points to ramp up precision
16.834 * * * * [points]: Setting MPFR precision to 64
16.838 * * * * [points]: Setting MPFR precision to 320
16.842 * * * * [points]: Computing exacts on every 84 of 5385 points to ramp up precision
16.849 * * * * [points]: Setting MPFR precision to 64
16.858 * * * * [points]: Setting MPFR precision to 320
16.866 * * * * [points]: Computing exacts on every 42 of 5385 points to ramp up precision
16.873 * * * * [points]: Setting MPFR precision to 64
16.889 * * * * [points]: Setting MPFR precision to 320
16.905 * * * * [points]: Computing exacts on every 21 of 5385 points to ramp up precision
16.912 * * * * [points]: Setting MPFR precision to 64
16.943 * * * * [points]: Setting MPFR precision to 320
16.975 * * * * [points]: Computing exacts on every 10 of 5385 points to ramp up precision
16.982 * * * * [points]: Setting MPFR precision to 64
17.075 * * * * [points]: Setting MPFR precision to 320
17.118 * * * * [points]: Computing exacts on every 5 of 5385 points to ramp up precision
17.125 * * * * [points]: Setting MPFR precision to 64
17.275 * * * * [points]: Setting MPFR precision to 320
17.388 * * * * [points]: Computing exacts on every 2 of 5385 points to ramp up precision
17.394 * * * * [points]: Setting MPFR precision to 64
17.823 * * * * [points]: Setting MPFR precision to 320
18.010 * * * * [points]: Computing exacts for 5385 points
18.013 * * * * [points]: Setting MPFR precision to 64
18.492 * * * * [points]: Setting MPFR precision to 320
18.975 * * * * [points]: Filtering points with unrepresentable outputs
18.978 * * * * [points]: Sampling 4687 additional inputs, on iter 4 have 3313 / 8000
19.021 * * * * [points]: Computing exacts on every 292 of 4687 points to ramp up precision
19.024 * * * * [points]: Setting MPFR precision to 64
19.027 * * * * [points]: Setting MPFR precision to 320
19.028 * * * * [points]: Computing exacts on every 146 of 4687 points to ramp up precision
19.032 * * * * [points]: Setting MPFR precision to 64
19.034 * * * * [points]: Setting MPFR precision to 320
19.036 * * * * [points]: Computing exacts on every 73 of 4687 points to ramp up precision
19.040 * * * * [points]: Setting MPFR precision to 64
19.046 * * * * [points]: Setting MPFR precision to 320
19.051 * * * * [points]: Computing exacts on every 36 of 4687 points to ramp up precision
19.054 * * * * [points]: Setting MPFR precision to 64
19.063 * * * * [points]: Setting MPFR precision to 320
19.073 * * * * [points]: Computing exacts on every 18 of 4687 points to ramp up precision
19.076 * * * * [points]: Setting MPFR precision to 64
19.094 * * * * [points]: Setting MPFR precision to 320
19.111 * * * * [points]: Computing exacts on every 9 of 4687 points to ramp up precision
19.115 * * * * [points]: Setting MPFR precision to 64
19.173 * * * * [points]: Setting MPFR precision to 320
19.207 * * * * [points]: Computing exacts on every 4 of 4687 points to ramp up precision
19.211 * * * * [points]: Setting MPFR precision to 64
19.311 * * * * [points]: Setting MPFR precision to 320
19.379 * * * * [points]: Computing exacts on every 2 of 4687 points to ramp up precision
19.383 * * * * [points]: Setting MPFR precision to 64
19.558 * * * * [points]: Setting MPFR precision to 320
19.802 * * * * [points]: Computing exacts for 4687 points
19.808 * * * * [points]: Setting MPFR precision to 64
20.974 * * * * [points]: Setting MPFR precision to 320
21.775 * * * * [points]: Filtering points with unrepresentable outputs
21.779 * * * * [points]: Sampling 4108 additional inputs, on iter 5 have 3892 / 8000
21.811 * * * * [points]: Computing exacts on every 256 of 4108 points to ramp up precision
21.817 * * * * [points]: Setting MPFR precision to 64
21.820 * * * * [points]: Setting MPFR precision to 320
21.822 * * * * [points]: Computing exacts on every 128 of 4108 points to ramp up precision
21.828 * * * * [points]: Setting MPFR precision to 64
21.871 * * * * [points]: Setting MPFR precision to 320
21.875 * * * * [points]: Computing exacts on every 64 of 4108 points to ramp up precision
21.885 * * * * [points]: Setting MPFR precision to 64
21.894 * * * * [points]: Setting MPFR precision to 320
21.902 * * * * [points]: Computing exacts on every 32 of 4108 points to ramp up precision
21.909 * * * * [points]: Setting MPFR precision to 64
21.927 * * * * [points]: Setting MPFR precision to 320
21.944 * * * * [points]: Computing exacts on every 16 of 4108 points to ramp up precision
21.950 * * * * [points]: Setting MPFR precision to 64
21.982 * * * * [points]: Setting MPFR precision to 320
22.014 * * * * [points]: Computing exacts on every 8 of 4108 points to ramp up precision
22.021 * * * * [points]: Setting MPFR precision to 64
22.122 * * * * [points]: Setting MPFR precision to 320
22.186 * * * * [points]: Computing exacts on every 4 of 4108 points to ramp up precision
22.193 * * * * [points]: Setting MPFR precision to 64
22.279 * * * * [points]: Setting MPFR precision to 320
22.402 * * * * [points]: Computing exacts on every 2 of 4108 points to ramp up precision
22.406 * * * * [points]: Setting MPFR precision to 64
22.569 * * * * [points]: Setting MPFR precision to 320
22.761 * * * * [points]: Computing exacts for 4108 points
22.769 * * * * [points]: Setting MPFR precision to 64
23.358 * * * * [points]: Setting MPFR precision to 320
24.000 * * * * [points]: Filtering points with unrepresentable outputs
24.003 * * * * [points]: Sampling 3561 additional inputs, on iter 6 have 4439 / 8000
24.031 * * * * [points]: Computing exacts on every 222 of 3561 points to ramp up precision
24.035 * * * * [points]: Setting MPFR precision to 64
24.036 * * * * [points]: Setting MPFR precision to 320
24.037 * * * * [points]: Computing exacts on every 111 of 3561 points to ramp up precision
24.041 * * * * [points]: Setting MPFR precision to 64
24.043 * * * * [points]: Setting MPFR precision to 320
24.045 * * * * [points]: Computing exacts on every 55 of 3561 points to ramp up precision
24.049 * * * * [points]: Setting MPFR precision to 64
24.054 * * * * [points]: Setting MPFR precision to 320
24.058 * * * * [points]: Computing exacts on every 27 of 3561 points to ramp up precision
24.064 * * * * [points]: Setting MPFR precision to 64
24.080 * * * * [points]: Setting MPFR precision to 320
24.097 * * * * [points]: Computing exacts on every 13 of 3561 points to ramp up precision
24.533 * * * * [points]: Setting MPFR precision to 64
24.569 * * * * [points]: Setting MPFR precision to 320
24.602 * * * * [points]: Computing exacts on every 6 of 3561 points to ramp up precision
24.609 * * * * [points]: Setting MPFR precision to 64
24.675 * * * * [points]: Setting MPFR precision to 320
24.742 * * * * [points]: Computing exacts on every 3 of 3561 points to ramp up precision
24.791 * * * * [points]: Setting MPFR precision to 64
24.913 * * * * [points]: Setting MPFR precision to 320
25.088 * * * * [points]: Computing exacts for 3561 points
25.095 * * * * [points]: Setting MPFR precision to 64
25.617 * * * * [points]: Setting MPFR precision to 320
26.080 * * * * [points]: Filtering points with unrepresentable outputs
26.082 * * * * [points]: Sampling 3129 additional inputs, on iter 7 have 4871 / 8000
26.095 * * * * [points]: Computing exacts on every 195 of 3129 points to ramp up precision
26.099 * * * * [points]: Setting MPFR precision to 64
26.100 * * * * [points]: Setting MPFR precision to 320
26.101 * * * * [points]: Computing exacts on every 97 of 3129 points to ramp up precision
26.105 * * * * [points]: Setting MPFR precision to 64
26.107 * * * * [points]: Setting MPFR precision to 320
26.110 * * * * [points]: Computing exacts on every 48 of 3129 points to ramp up precision
26.113 * * * * [points]: Setting MPFR precision to 64
26.118 * * * * [points]: Setting MPFR precision to 320
26.147 * * * * [points]: Computing exacts on every 24 of 3129 points to ramp up precision
26.151 * * * * [points]: Setting MPFR precision to 64
26.161 * * * * [points]: Setting MPFR precision to 320
26.170 * * * * [points]: Computing exacts on every 12 of 3129 points to ramp up precision
26.174 * * * * [points]: Setting MPFR precision to 64
26.191 * * * * [points]: Setting MPFR precision to 320
26.218 * * * * [points]: Computing exacts on every 6 of 3129 points to ramp up precision
26.222 * * * * [points]: Setting MPFR precision to 64
26.254 * * * * [points]: Setting MPFR precision to 320
26.318 * * * * [points]: Computing exacts on every 3 of 3129 points to ramp up precision
26.321 * * * * [points]: Setting MPFR precision to 64
26.378 * * * * [points]: Setting MPFR precision to 320
26.505 * * * * [points]: Computing exacts for 3129 points
26.512 * * * * [points]: Setting MPFR precision to 64
27.015 * * * * [points]: Setting MPFR precision to 320
27.520 * * * * [points]: Filtering points with unrepresentable outputs
27.523 * * * * [points]: Sampling 2715 additional inputs, on iter 8 have 5285 / 8000
27.544 * * * * [points]: Computing exacts on every 169 of 2715 points to ramp up precision
27.551 * * * * [points]: Setting MPFR precision to 64
27.553 * * * * [points]: Setting MPFR precision to 320
27.555 * * * * [points]: Computing exacts on every 84 of 2715 points to ramp up precision
27.561 * * * * [points]: Setting MPFR precision to 64
27.565 * * * * [points]: Setting MPFR precision to 320
27.569 * * * * [points]: Computing exacts on every 42 of 2715 points to ramp up precision
27.576 * * * * [points]: Setting MPFR precision to 64
27.584 * * * * [points]: Setting MPFR precision to 320
27.592 * * * * [points]: Computing exacts on every 21 of 2715 points to ramp up precision
27.599 * * * * [points]: Setting MPFR precision to 64
27.615 * * * * [points]: Setting MPFR precision to 320
27.630 * * * * [points]: Computing exacts on every 10 of 2715 points to ramp up precision
27.637 * * * * [points]: Setting MPFR precision to 64
27.667 * * * * [points]: Setting MPFR precision to 320
27.726 * * * * [points]: Computing exacts on every 5 of 2715 points to ramp up precision
27.730 * * * * [points]: Setting MPFR precision to 64
27.762 * * * * [points]: Setting MPFR precision to 320
27.797 * * * * [points]: Computing exacts on every 2 of 2715 points to ramp up precision
27.803 * * * * [points]: Setting MPFR precision to 64
28.286 * * * * [points]: Setting MPFR precision to 320
28.368 * * * * [points]: Computing exacts for 2715 points
28.372 * * * * [points]: Setting MPFR precision to 64
28.702 * * * * [points]: Setting MPFR precision to 320
29.116 * * * * [points]: Filtering points with unrepresentable outputs
29.119 * * * * [points]: Sampling 2347 additional inputs, on iter 9 have 5653 / 8000
29.136 * * * * [points]: Computing exacts on every 146 of 2347 points to ramp up precision
29.143 * * * * [points]: Setting MPFR precision to 64
29.145 * * * * [points]: Setting MPFR precision to 320
29.147 * * * * [points]: Computing exacts on every 73 of 2347 points to ramp up precision
29.153 * * * * [points]: Setting MPFR precision to 64
29.155 * * * * [points]: Setting MPFR precision to 320
29.158 * * * * [points]: Computing exacts on every 36 of 2347 points to ramp up precision
29.161 * * * * [points]: Setting MPFR precision to 64
29.166 * * * * [points]: Setting MPFR precision to 320
29.171 * * * * [points]: Computing exacts on every 18 of 2347 points to ramp up precision
29.174 * * * * [points]: Setting MPFR precision to 64
29.183 * * * * [points]: Setting MPFR precision to 320
29.196 * * * * [points]: Computing exacts on every 9 of 2347 points to ramp up precision
29.203 * * * * [points]: Setting MPFR precision to 64
29.273 * * * * [points]: Setting MPFR precision to 320
29.303 * * * * [points]: Computing exacts on every 4 of 2347 points to ramp up precision
29.310 * * * * [points]: Setting MPFR precision to 64
29.370 * * * * [points]: Setting MPFR precision to 320
29.432 * * * * [points]: Computing exacts on every 2 of 2347 points to ramp up precision
29.439 * * * * [points]: Setting MPFR precision to 64
29.585 * * * * [points]: Setting MPFR precision to 320
29.686 * * * * [points]: Computing exacts for 2347 points
29.694 * * * * [points]: Setting MPFR precision to 64
30.111 * * * * [points]: Setting MPFR precision to 320
30.466 * * * * [points]: Filtering points with unrepresentable outputs
30.467 * * * * [points]: Sampling 2081 additional inputs, on iter 10 have 5919 / 8000
30.476 * * * * [points]: Computing exacts on every 130 of 2081 points to ramp up precision
30.480 * * * * [points]: Setting MPFR precision to 64
30.481 * * * * [points]: Setting MPFR precision to 320
30.482 * * * * [points]: Computing exacts on every 65 of 2081 points to ramp up precision
30.527 * * * * [points]: Setting MPFR precision to 64
30.536 * * * * [points]: Setting MPFR precision to 320
30.540 * * * * [points]: Computing exacts on every 32 of 2081 points to ramp up precision
30.550 * * * * [points]: Setting MPFR precision to 64
30.558 * * * * [points]: Setting MPFR precision to 320
30.566 * * * * [points]: Computing exacts on every 16 of 2081 points to ramp up precision
30.573 * * * * [points]: Setting MPFR precision to 64
30.589 * * * * [points]: Setting MPFR precision to 320
30.606 * * * * [points]: Computing exacts on every 8 of 2081 points to ramp up precision
30.613 * * * * [points]: Setting MPFR precision to 64
30.641 * * * * [points]: Setting MPFR precision to 320
30.671 * * * * [points]: Computing exacts on every 4 of 2081 points to ramp up precision
30.678 * * * * [points]: Setting MPFR precision to 64
30.773 * * * * [points]: Setting MPFR precision to 320
30.805 * * * * [points]: Computing exacts on every 2 of 2081 points to ramp up precision
30.809 * * * * [points]: Setting MPFR precision to 64
30.867 * * * * [points]: Setting MPFR precision to 320
30.959 * * * * [points]: Computing exacts for 2081 points
30.962 * * * * [points]: Setting MPFR precision to 64
31.184 * * * * [points]: Setting MPFR precision to 320
31.414 * * * * [points]: Filtering points with unrepresentable outputs
31.415 * * * * [points]: Sampling 1808 additional inputs, on iter 11 have 6192 / 8000
31.423 * * * * [points]: Computing exacts on every 113 of 1808 points to ramp up precision
31.427 * * * * [points]: Setting MPFR precision to 64
31.429 * * * * [points]: Setting MPFR precision to 320
31.430 * * * * [points]: Computing exacts on every 56 of 1808 points to ramp up precision
31.434 * * * * [points]: Setting MPFR precision to 64
31.899 * * * * [points]: Setting MPFR precision to 320
31.903 * * * * [points]: Computing exacts on every 28 of 1808 points to ramp up precision
31.913 * * * * [points]: Setting MPFR precision to 64
31.921 * * * * [points]: Setting MPFR precision to 320
31.928 * * * * [points]: Computing exacts on every 14 of 1808 points to ramp up precision
31.935 * * * * [points]: Setting MPFR precision to 64
31.951 * * * * [points]: Setting MPFR precision to 320
31.968 * * * * [points]: Computing exacts on every 7 of 1808 points to ramp up precision
31.974 * * * * [points]: Setting MPFR precision to 64
32.004 * * * * [points]: Setting MPFR precision to 320
32.033 * * * * [points]: Computing exacts on every 3 of 1808 points to ramp up precision
32.039 * * * * [points]: Setting MPFR precision to 64
32.135 * * * * [points]: Setting MPFR precision to 320
32.197 * * * * [points]: Computing exacts for 1808 points
32.204 * * * * [points]: Setting MPFR precision to 64
32.378 * * * * [points]: Setting MPFR precision to 320
32.536 * * * * [points]: Filtering points with unrepresentable outputs
32.537 * * * * [points]: Sampling 1588 additional inputs, on iter 12 have 6412 / 8000
32.543 * * * * [points]: Computing exacts on every 99 of 1588 points to ramp up precision
32.547 * * * * [points]: Setting MPFR precision to 64
32.548 * * * * [points]: Setting MPFR precision to 320
32.549 * * * * [points]: Computing exacts on every 49 of 1588 points to ramp up precision
32.553 * * * * [points]: Setting MPFR precision to 64
32.556 * * * * [points]: Setting MPFR precision to 320
32.558 * * * * [points]: Computing exacts on every 24 of 1588 points to ramp up precision
32.561 * * * * [points]: Setting MPFR precision to 64
32.566 * * * * [points]: Setting MPFR precision to 320
32.571 * * * * [points]: Computing exacts on every 12 of 1588 points to ramp up precision
32.574 * * * * [points]: Setting MPFR precision to 64
32.614 * * * * [points]: Setting MPFR precision to 320
32.626 * * * * [points]: Computing exacts on every 6 of 1588 points to ramp up precision
32.629 * * * * [points]: Setting MPFR precision to 64
32.645 * * * * [points]: Setting MPFR precision to 320
32.661 * * * * [points]: Computing exacts on every 3 of 1588 points to ramp up precision
32.664 * * * * [points]: Setting MPFR precision to 64
32.692 * * * * [points]: Setting MPFR precision to 320
32.720 * * * * [points]: Computing exacts for 1588 points
32.751 * * * * [points]: Setting MPFR precision to 64
32.890 * * * * [points]: Setting MPFR precision to 320
33.079 * * * * [points]: Filtering points with unrepresentable outputs
33.081 * * * * [points]: Sampling 1380 additional inputs, on iter 13 have 6620 / 8000
33.096 * * * * [points]: Computing exacts on every 86 of 1380 points to ramp up precision
33.103 * * * * [points]: Setting MPFR precision to 64
33.105 * * * * [points]: Setting MPFR precision to 320
33.106 * * * * [points]: Computing exacts on every 43 of 1380 points to ramp up precision
33.112 * * * * [points]: Setting MPFR precision to 64
33.116 * * * * [points]: Setting MPFR precision to 320
33.120 * * * * [points]: Computing exacts on every 21 of 1380 points to ramp up precision
33.126 * * * * [points]: Setting MPFR precision to 64
33.134 * * * * [points]: Setting MPFR precision to 320
33.141 * * * * [points]: Computing exacts on every 10 of 1380 points to ramp up precision
33.147 * * * * [points]: Setting MPFR precision to 64
33.162 * * * * [points]: Setting MPFR precision to 320
33.177 * * * * [points]: Computing exacts on every 5 of 1380 points to ramp up precision
33.183 * * * * [points]: Setting MPFR precision to 64
33.211 * * * * [points]: Setting MPFR precision to 320
33.241 * * * * [points]: Computing exacts on every 2 of 1380 points to ramp up precision
33.247 * * * * [points]: Setting MPFR precision to 64
33.332 * * * * [points]: Setting MPFR precision to 320
33.387 * * * * [points]: Computing exacts for 1380 points
33.394 * * * * [points]: Setting MPFR precision to 64
33.583 * * * * [points]: Setting MPFR precision to 320
33.783 * * * * [points]: Filtering points with unrepresentable outputs
33.785 * * * * [points]: Sampling 1204 additional inputs, on iter 14 have 6796 / 8000
33.794 * * * * [points]: Computing exacts on every 75 of 1204 points to ramp up precision
33.801 * * * * [points]: Setting MPFR precision to 64
33.803 * * * * [points]: Setting MPFR precision to 320
33.805 * * * * [points]: Computing exacts on every 37 of 1204 points to ramp up precision
33.812 * * * * [points]: Setting MPFR precision to 64
33.816 * * * * [points]: Setting MPFR precision to 320
33.818 * * * * [points]: Computing exacts on every 18 of 1204 points to ramp up precision
33.822 * * * * [points]: Setting MPFR precision to 64
33.827 * * * * [points]: Setting MPFR precision to 320
33.831 * * * * [points]: Computing exacts on every 9 of 1204 points to ramp up precision
33.835 * * * * [points]: Setting MPFR precision to 64
33.843 * * * * [points]: Setting MPFR precision to 320
33.852 * * * * [points]: Computing exacts on every 4 of 1204 points to ramp up precision
33.855 * * * * [points]: Setting MPFR precision to 64
33.920 * * * * [points]: Setting MPFR precision to 320
33.955 * * * * [points]: Computing exacts on every 2 of 1204 points to ramp up precision
33.961 * * * * [points]: Setting MPFR precision to 64
34.014 * * * * [points]: Setting MPFR precision to 320
34.067 * * * * [points]: Computing exacts for 1204 points
34.074 * * * * [points]: Setting MPFR precision to 64
34.204 * * * * [points]: Setting MPFR precision to 320
34.355 * * * * [points]: Filtering points with unrepresentable outputs
34.356 * * * * [points]: Sampling 1051 additional inputs, on iter 15 have 6949 / 8000
34.361 * * * * [points]: Computing exacts on every 65 of 1051 points to ramp up precision
34.364 * * * * [points]: Setting MPFR precision to 64
34.365 * * * * [points]: Setting MPFR precision to 320
34.367 * * * * [points]: Computing exacts on every 32 of 1051 points to ramp up precision
34.370 * * * * [points]: Setting MPFR precision to 64
34.372 * * * * [points]: Setting MPFR precision to 320
34.374 * * * * [points]: Computing exacts on every 16 of 1051 points to ramp up precision
34.378 * * * * [points]: Setting MPFR precision to 64
34.383 * * * * [points]: Setting MPFR precision to 320
34.387 * * * * [points]: Computing exacts on every 8 of 1051 points to ramp up precision
34.395 * * * * [points]: Setting MPFR precision to 64
34.405 * * * * [points]: Setting MPFR precision to 320
34.414 * * * * [points]: Computing exacts on every 4 of 1051 points to ramp up precision
34.417 * * * * [points]: Setting MPFR precision to 64
34.432 * * * * [points]: Setting MPFR precision to 320
34.472 * * * * [points]: Computing exacts on every 2 of 1051 points to ramp up precision
34.477 * * * * [points]: Setting MPFR precision to 64
34.503 * * * * [points]: Setting MPFR precision to 320
34.528 * * * * [points]: Computing exacts for 1051 points
34.531 * * * * [points]: Setting MPFR precision to 64
34.672 * * * * [points]: Setting MPFR precision to 320
34.789 * * * * [points]: Filtering points with unrepresentable outputs
34.789 * * * * [points]: Sampling 918 additional inputs, on iter 16 have 7082 / 8000
34.796 * * * * [points]: Computing exacts on every 57 of 918 points to ramp up precision
34.802 * * * * [points]: Setting MPFR precision to 64
34.804 * * * * [points]: Setting MPFR precision to 320
34.806 * * * * [points]: Computing exacts on every 28 of 918 points to ramp up precision
35.219 * * * * [points]: Setting MPFR precision to 64
35.222 * * * * [points]: Setting MPFR precision to 320
35.226 * * * * [points]: Computing exacts on every 14 of 918 points to ramp up precision
35.230 * * * * [points]: Setting MPFR precision to 64
35.234 * * * * [points]: Setting MPFR precision to 320
35.238 * * * * [points]: Computing exacts on every 7 of 918 points to ramp up precision
35.242 * * * * [points]: Setting MPFR precision to 64
35.250 * * * * [points]: Setting MPFR precision to 320
35.258 * * * * [points]: Computing exacts on every 3 of 918 points to ramp up precision
35.261 * * * * [points]: Setting MPFR precision to 64
35.277 * * * * [points]: Setting MPFR precision to 320
35.295 * * * * [points]: Computing exacts for 918 points
35.298 * * * * [points]: Setting MPFR precision to 64
35.451 * * * * [points]: Setting MPFR precision to 320
35.531 * * * * [points]: Filtering points with unrepresentable outputs
35.532 * * * * [points]: Sampling 791 additional inputs, on iter 17 have 7209 / 8000
35.535 * * * * [points]: Computing exacts on every 49 of 791 points to ramp up precision
35.572 * * * * [points]: Setting MPFR precision to 64
35.574 * * * * [points]: Setting MPFR precision to 320
35.575 * * * * [points]: Computing exacts on every 24 of 791 points to ramp up precision
35.578 * * * * [points]: Setting MPFR precision to 64
35.583 * * * * [points]: Setting MPFR precision to 320
35.585 * * * * [points]: Computing exacts on every 12 of 791 points to ramp up precision
35.589 * * * * [points]: Setting MPFR precision to 64
35.593 * * * * [points]: Setting MPFR precision to 320
35.598 * * * * [points]: Computing exacts on every 6 of 791 points to ramp up precision
35.602 * * * * [points]: Setting MPFR precision to 64
35.610 * * * * [points]: Setting MPFR precision to 320
35.618 * * * * [points]: Computing exacts on every 3 of 791 points to ramp up precision
35.621 * * * * [points]: Setting MPFR precision to 64
35.635 * * * * [points]: Setting MPFR precision to 320
35.649 * * * * [points]: Computing exacts for 791 points
35.653 * * * * [points]: Setting MPFR precision to 64
35.761 * * * * [points]: Setting MPFR precision to 320
35.841 * * * * [points]: Filtering points with unrepresentable outputs
35.841 * * * * [points]: Sampling 704 additional inputs, on iter 18 have 7296 / 8000
35.844 * * * * [points]: Computing exacts on every 44 of 704 points to ramp up precision
35.848 * * * * [points]: Setting MPFR precision to 64
35.849 * * * * [points]: Setting MPFR precision to 320
35.850 * * * * [points]: Computing exacts on every 22 of 704 points to ramp up precision
35.854 * * * * [points]: Setting MPFR precision to 64
35.856 * * * * [points]: Setting MPFR precision to 320
35.858 * * * * [points]: Computing exacts on every 11 of 704 points to ramp up precision
35.862 * * * * [points]: Setting MPFR precision to 64
35.893 * * * * [points]: Setting MPFR precision to 320
35.897 * * * * [points]: Computing exacts on every 5 of 704 points to ramp up precision
35.903 * * * * [points]: Setting MPFR precision to 64
35.911 * * * * [points]: Setting MPFR precision to 320
35.919 * * * * [points]: Computing exacts on every 2 of 704 points to ramp up precision
35.923 * * * * [points]: Setting MPFR precision to 64
35.940 * * * * [points]: Setting MPFR precision to 320
35.956 * * * * [points]: Computing exacts for 704 points
35.960 * * * * [points]: Setting MPFR precision to 64
36.036 * * * * [points]: Setting MPFR precision to 320
36.087 * * * * [points]: Filtering points with unrepresentable outputs
36.087 * * * * [points]: Sampling 620 additional inputs, on iter 19 have 7380 / 8000
36.090 * * * * [points]: Computing exacts on every 38 of 620 points to ramp up precision
36.093 * * * * [points]: Setting MPFR precision to 64
36.094 * * * * [points]: Setting MPFR precision to 320
36.095 * * * * [points]: Computing exacts on every 19 of 620 points to ramp up precision
36.099 * * * * [points]: Setting MPFR precision to 64
36.101 * * * * [points]: Setting MPFR precision to 320
36.103 * * * * [points]: Computing exacts on every 9 of 620 points to ramp up precision
36.106 * * * * [points]: Setting MPFR precision to 64
36.111 * * * * [points]: Setting MPFR precision to 320
36.116 * * * * [points]: Computing exacts on every 4 of 620 points to ramp up precision
36.119 * * * * [points]: Setting MPFR precision to 64
36.128 * * * * [points]: Setting MPFR precision to 320
36.163 * * * * [points]: Computing exacts on every 2 of 620 points to ramp up precision
36.166 * * * * [points]: Setting MPFR precision to 64
36.185 * * * * [points]: Setting MPFR precision to 320
36.199 * * * * [points]: Computing exacts for 620 points
36.202 * * * * [points]: Setting MPFR precision to 64
36.245 * * * * [points]: Setting MPFR precision to 320
36.320 * * * * [points]: Filtering points with unrepresentable outputs
36.320 * * * * [points]: Sampling 526 additional inputs, on iter 20 have 7474 / 8000
36.322 * * * * [points]: Computing exacts on every 32 of 526 points to ramp up precision
36.326 * * * * [points]: Setting MPFR precision to 64
36.327 * * * * [points]: Setting MPFR precision to 320
36.328 * * * * [points]: Computing exacts on every 16 of 526 points to ramp up precision
36.331 * * * * [points]: Setting MPFR precision to 64
36.333 * * * * [points]: Setting MPFR precision to 320
36.336 * * * * [points]: Computing exacts on every 8 of 526 points to ramp up precision
36.339 * * * * [points]: Setting MPFR precision to 64
36.343 * * * * [points]: Setting MPFR precision to 320
36.347 * * * * [points]: Computing exacts on every 4 of 526 points to ramp up precision
36.350 * * * * [points]: Setting MPFR precision to 64
36.357 * * * * [points]: Setting MPFR precision to 320
36.365 * * * * [points]: Computing exacts on every 2 of 526 points to ramp up precision
36.369 * * * * [points]: Setting MPFR precision to 64
36.381 * * * * [points]: Setting MPFR precision to 320
36.393 * * * * [points]: Computing exacts for 526 points
36.397 * * * * [points]: Setting MPFR precision to 64
36.482 * * * * [points]: Setting MPFR precision to 320
36.519 * * * * [points]: Filtering points with unrepresentable outputs
36.520 * * * * [points]: Sampling 450 additional inputs, on iter 21 have 7550 / 8000
36.522 * * * * [points]: Computing exacts on every 28 of 450 points to ramp up precision
36.525 * * * * [points]: Setting MPFR precision to 64
36.526 * * * * [points]: Setting MPFR precision to 320
36.527 * * * * [points]: Computing exacts on every 14 of 450 points to ramp up precision
36.531 * * * * [points]: Setting MPFR precision to 64
36.533 * * * * [points]: Setting MPFR precision to 320
36.535 * * * * [points]: Computing exacts on every 7 of 450 points to ramp up precision
36.538 * * * * [points]: Setting MPFR precision to 64
36.542 * * * * [points]: Setting MPFR precision to 320
36.546 * * * * [points]: Computing exacts on every 3 of 450 points to ramp up precision
36.549 * * * * [points]: Setting MPFR precision to 64
36.583 * * * * [points]: Setting MPFR precision to 320
36.593 * * * * [points]: Computing exacts for 450 points
36.597 * * * * [points]: Setting MPFR precision to 64
36.628 * * * * [points]: Setting MPFR precision to 320
36.665 * * * * [points]: Filtering points with unrepresentable outputs
36.666 * * * * [points]: Sampling 391 additional inputs, on iter 22 have 7609 / 8000
36.668 * * * * [points]: Computing exacts on every 24 of 391 points to ramp up precision
36.671 * * * * [points]: Setting MPFR precision to 64
36.672 * * * * [points]: Setting MPFR precision to 320
36.673 * * * * [points]: Computing exacts on every 12 of 391 points to ramp up precision
36.676 * * * * [points]: Setting MPFR precision to 64
36.678 * * * * [points]: Setting MPFR precision to 320
36.680 * * * * [points]: Computing exacts on every 6 of 391 points to ramp up precision
36.684 * * * * [points]: Setting MPFR precision to 64
36.711 * * * * [points]: Setting MPFR precision to 320
36.715 * * * * [points]: Computing exacts on every 3 of 391 points to ramp up precision
36.719 * * * * [points]: Setting MPFR precision to 64
36.727 * * * * [points]: Setting MPFR precision to 320
36.734 * * * * [points]: Computing exacts for 391 points
36.737 * * * * [points]: Setting MPFR precision to 64
36.763 * * * * [points]: Setting MPFR precision to 320
36.791 * * * * [points]: Filtering points with unrepresentable outputs
36.791 * * * * [points]: Sampling 341 additional inputs, on iter 23 have 7659 / 8000
36.792 * * * * [points]: Computing exacts on every 21 of 341 points to ramp up precision
36.796 * * * * [points]: Setting MPFR precision to 64
36.798 * * * * [points]: Setting MPFR precision to 320
36.800 * * * * [points]: Computing exacts on every 10 of 341 points to ramp up precision
36.806 * * * * [points]: Setting MPFR precision to 64
36.810 * * * * [points]: Setting MPFR precision to 320
36.813 * * * * [points]: Computing exacts on every 5 of 341 points to ramp up precision
36.819 * * * * [points]: Setting MPFR precision to 64
36.861 * * * * [points]: Setting MPFR precision to 320
36.865 * * * * [points]: Computing exacts on every 2 of 341 points to ramp up precision
36.870 * * * * [points]: Setting MPFR precision to 64
36.878 * * * * [points]: Setting MPFR precision to 320
36.886 * * * * [points]: Computing exacts for 341 points
36.890 * * * * [points]: Setting MPFR precision to 64
36.913 * * * * [points]: Setting MPFR precision to 320
36.937 * * * * [points]: Filtering points with unrepresentable outputs
36.937 * * * * [points]: Sampling 303 additional inputs, on iter 24 have 7697 / 8000
36.938 * * * * [points]: Computing exacts on every 18 of 303 points to ramp up precision
36.942 * * * * [points]: Setting MPFR precision to 64
36.943 * * * * [points]: Setting MPFR precision to 320
36.944 * * * * [points]: Computing exacts on every 9 of 303 points to ramp up precision
36.947 * * * * [points]: Setting MPFR precision to 64
36.949 * * * * [points]: Setting MPFR precision to 320
36.951 * * * * [points]: Computing exacts on every 4 of 303 points to ramp up precision
36.955 * * * * [points]: Setting MPFR precision to 64
36.959 * * * * [points]: Setting MPFR precision to 320
36.988 * * * * [points]: Computing exacts on every 2 of 303 points to ramp up precision
36.992 * * * * [points]: Setting MPFR precision to 64
37.001 * * * * [points]: Setting MPFR precision to 320
37.008 * * * * [points]: Computing exacts for 303 points
37.011 * * * * [points]: Setting MPFR precision to 64
37.033 * * * * [points]: Setting MPFR precision to 320
37.055 * * * * [points]: Filtering points with unrepresentable outputs
37.055 * * * * [points]: Sampling 267 additional inputs, on iter 25 have 7733 / 8000
37.056 * * * * [points]: Computing exacts on every 16 of 267 points to ramp up precision
37.059 * * * * [points]: Setting MPFR precision to 64
37.061 * * * * [points]: Setting MPFR precision to 320
37.062 * * * * [points]: Computing exacts on every 8 of 267 points to ramp up precision
37.065 * * * * [points]: Setting MPFR precision to 64
37.067 * * * * [points]: Setting MPFR precision to 320
37.070 * * * * [points]: Computing exacts on every 4 of 267 points to ramp up precision
37.077 * * * * [points]: Setting MPFR precision to 64
37.082 * * * * [points]: Setting MPFR precision to 320
37.089 * * * * [points]: Computing exacts on every 2 of 267 points to ramp up precision
37.095 * * * * [points]: Setting MPFR precision to 64
37.124 * * * * [points]: Setting MPFR precision to 320
37.132 * * * * [points]: Computing exacts for 267 points
37.135 * * * * [points]: Setting MPFR precision to 64
37.154 * * * * [points]: Setting MPFR precision to 320
37.172 * * * * [points]: Filtering points with unrepresentable outputs
37.172 * * * * [points]: Sampling 226 additional inputs, on iter 26 have 7774 / 8000
37.173 * * * * [points]: Computing exacts on every 14 of 226 points to ramp up precision
37.176 * * * * [points]: Setting MPFR precision to 64
37.177 * * * * [points]: Setting MPFR precision to 320
37.178 * * * * [points]: Computing exacts on every 7 of 226 points to ramp up precision
37.181 * * * * [points]: Setting MPFR precision to 64
37.183 * * * * [points]: Setting MPFR precision to 320
37.185 * * * * [points]: Computing exacts on every 3 of 226 points to ramp up precision
37.188 * * * * [points]: Setting MPFR precision to 64
37.192 * * * * [points]: Setting MPFR precision to 320
37.196 * * * * [points]: Computing exacts for 226 points
37.199 * * * * [points]: Setting MPFR precision to 64
37.215 * * * * [points]: Setting MPFR precision to 320
37.257 * * * * [points]: Filtering points with unrepresentable outputs
37.257 * * * * [points]: Sampling 198 additional inputs, on iter 27 have 7802 / 8000
37.258 * * * * [points]: Computing exacts on every 12 of 198 points to ramp up precision
37.261 * * * * [points]: Setting MPFR precision to 64
37.262 * * * * [points]: Setting MPFR precision to 320
37.263 * * * * [points]: Computing exacts on every 6 of 198 points to ramp up precision
37.267 * * * * [points]: Setting MPFR precision to 64
37.269 * * * * [points]: Setting MPFR precision to 320
37.271 * * * * [points]: Computing exacts on every 3 of 198 points to ramp up precision
37.274 * * * * [points]: Setting MPFR precision to 64
37.277 * * * * [points]: Setting MPFR precision to 320
37.281 * * * * [points]: Computing exacts for 198 points
37.284 * * * * [points]: Setting MPFR precision to 64
37.297 * * * * [points]: Setting MPFR precision to 320
37.311 * * * * [points]: Filtering points with unrepresentable outputs
37.311 * * * * [points]: Sampling 170 additional inputs, on iter 28 have 7830 / 8000
37.312 * * * * [points]: Computing exacts on every 10 of 170 points to ramp up precision
37.315 * * * * [points]: Setting MPFR precision to 64
37.316 * * * * [points]: Setting MPFR precision to 320
37.317 * * * * [points]: Computing exacts on every 5 of 170 points to ramp up precision
37.321 * * * * [points]: Setting MPFR precision to 64
37.323 * * * * [points]: Setting MPFR precision to 320
37.325 * * * * [points]: Computing exacts on every 2 of 170 points to ramp up precision
37.328 * * * * [points]: Setting MPFR precision to 64
37.332 * * * * [points]: Setting MPFR precision to 320
37.336 * * * * [points]: Computing exacts for 170 points
37.360 * * * * [points]: Setting MPFR precision to 64
37.374 * * * * [points]: Setting MPFR precision to 320
37.385 * * * * [points]: Filtering points with unrepresentable outputs
37.385 * * * * [points]: Sampling 153 additional inputs, on iter 29 have 7847 / 8000
37.386 * * * * [points]: Computing exacts on every 9 of 153 points to ramp up precision
37.389 * * * * [points]: Setting MPFR precision to 64
37.391 * * * * [points]: Setting MPFR precision to 320
37.392 * * * * [points]: Computing exacts on every 4 of 153 points to ramp up precision
37.395 * * * * [points]: Setting MPFR precision to 64
37.397 * * * * [points]: Setting MPFR precision to 320
37.399 * * * * [points]: Computing exacts on every 2 of 153 points to ramp up precision
37.402 * * * * [points]: Setting MPFR precision to 64
37.406 * * * * [points]: Setting MPFR precision to 320
37.410 * * * * [points]: Computing exacts for 153 points
37.413 * * * * [points]: Setting MPFR precision to 64
37.423 * * * * [points]: Setting MPFR precision to 320
37.434 * * * * [points]: Filtering points with unrepresentable outputs
37.434 * * * * [points]: Sampling 128 additional inputs, on iter 30 have 7872 / 8000
37.435 * * * * [points]: Computing exacts on every 8 of 128 points to ramp up precision
37.438 * * * * [points]: Setting MPFR precision to 64
37.440 * * * * [points]: Setting MPFR precision to 320
37.441 * * * * [points]: Computing exacts on every 4 of 128 points to ramp up precision
37.445 * * * * [points]: Setting MPFR precision to 64
37.447 * * * * [points]: Setting MPFR precision to 320
37.449 * * * * [points]: Computing exacts on every 2 of 128 points to ramp up precision
37.452 * * * * [points]: Setting MPFR precision to 64
37.474 * * * * [points]: Setting MPFR precision to 320
37.477 * * * * [points]: Computing exacts for 128 points
37.481 * * * * [points]: Setting MPFR precision to 64
37.491 * * * * [points]: Setting MPFR precision to 320
37.500 * * * * [points]: Filtering points with unrepresentable outputs
37.500 * * * * [points]: Sampling 109 additional inputs, on iter 31 have 7891 / 8000
37.501 * * * * [points]: Computing exacts on every 6 of 109 points to ramp up precision
37.504 * * * * [points]: Setting MPFR precision to 64
37.505 * * * * [points]: Setting MPFR precision to 320
37.506 * * * * [points]: Computing exacts on every 3 of 109 points to ramp up precision
37.510 * * * * [points]: Setting MPFR precision to 64
37.512 * * * * [points]: Setting MPFR precision to 320
37.513 * * * * [points]: Computing exacts for 109 points
37.517 * * * * [points]: Setting MPFR precision to 64
37.524 * * * * [points]: Setting MPFR precision to 320
37.532 * * * * [points]: Filtering points with unrepresentable outputs
37.532 * * * * [points]: Sampling 98 additional inputs, on iter 32 have 7902 / 8000
37.532 * * * * [points]: Computing exacts on every 6 of 98 points to ramp up precision
37.536 * * * * [points]: Setting MPFR precision to 64
37.537 * * * * [points]: Setting MPFR precision to 320
37.538 * * * * [points]: Computing exacts on every 3 of 98 points to ramp up precision
37.541 * * * * [points]: Setting MPFR precision to 64
37.543 * * * * [points]: Setting MPFR precision to 320
37.545 * * * * [points]: Computing exacts for 98 points
37.548 * * * * [points]: Setting MPFR precision to 64
37.555 * * * * [points]: Setting MPFR precision to 320
37.562 * * * * [points]: Filtering points with unrepresentable outputs
37.563 * * * * [points]: Sampling 86 additional inputs, on iter 33 have 7914 / 8000
37.563 * * * * [points]: Computing exacts on every 5 of 86 points to ramp up precision
37.590 * * * * [points]: Setting MPFR precision to 64
37.592 * * * * [points]: Setting MPFR precision to 320
37.593 * * * * [points]: Computing exacts on every 2 of 86 points to ramp up precision
37.596 * * * * [points]: Setting MPFR precision to 64
37.598 * * * * [points]: Setting MPFR precision to 320
37.602 * * * * [points]: Computing exacts for 86 points
37.605 * * * * [points]: Setting MPFR precision to 64
37.611 * * * * [points]: Setting MPFR precision to 320
37.617 * * * * [points]: Filtering points with unrepresentable outputs
37.617 * * * * [points]: Sampling 77 additional inputs, on iter 34 have 7923 / 8000
37.617 * * * * [points]: Computing exacts on every 4 of 77 points to ramp up precision
37.621 * * * * [points]: Setting MPFR precision to 64
37.622 * * * * [points]: Setting MPFR precision to 320
37.623 * * * * [points]: Computing exacts on every 2 of 77 points to ramp up precision
37.626 * * * * [points]: Setting MPFR precision to 64
37.628 * * * * [points]: Setting MPFR precision to 320
37.630 * * * * [points]: Computing exacts for 77 points
37.633 * * * * [points]: Setting MPFR precision to 64
37.638 * * * * [points]: Setting MPFR precision to 320
37.643 * * * * [points]: Filtering points with unrepresentable outputs
37.643 * * * * [points]: Sampling 67 additional inputs, on iter 35 have 7933 / 8000
37.643 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
37.647 * * * * [points]: Setting MPFR precision to 64
37.648 * * * * [points]: Setting MPFR precision to 320
37.649 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
37.652 * * * * [points]: Setting MPFR precision to 64
37.653 * * * * [points]: Setting MPFR precision to 320
37.655 * * * * [points]: Computing exacts for 67 points
37.658 * * * * [points]: Setting MPFR precision to 64
37.663 * * * * [points]: Setting MPFR precision to 320
37.667 * * * * [points]: Filtering points with unrepresentable outputs
37.667 * * * * [points]: Sampling 62 additional inputs, on iter 36 have 7938 / 8000
37.667 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
37.671 * * * * [points]: Setting MPFR precision to 64
37.672 * * * * [points]: Setting MPFR precision to 320
37.673 * * * * [points]: Computing exacts for 62 points
37.676 * * * * [points]: Setting MPFR precision to 64
37.700 * * * * [points]: Setting MPFR precision to 320
37.704 * * * * [points]: Filtering points with unrepresentable outputs
37.704 * * * * [points]: Sampling 54 additional inputs, on iter 37 have 7946 / 8000
37.705 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
37.711 * * * * [points]: Setting MPFR precision to 64
37.712 * * * * [points]: Setting MPFR precision to 320
37.713 * * * * [points]: Computing exacts for 54 points
37.716 * * * * [points]: Setting MPFR precision to 64
37.720 * * * * [points]: Setting MPFR precision to 320
37.723 * * * * [points]: Filtering points with unrepresentable outputs
37.723 * * * * [points]: Sampling 43 additional inputs, on iter 38 have 7957 / 8000
37.724 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
37.727 * * * * [points]: Setting MPFR precision to 64
37.728 * * * * [points]: Setting MPFR precision to 320
37.729 * * * * [points]: Computing exacts for 43 points
37.732 * * * * [points]: Setting MPFR precision to 64
37.735 * * * * [points]: Setting MPFR precision to 320
37.738 * * * * [points]: Filtering points with unrepresentable outputs
37.738 * * * * [points]: Sampling 36 additional inputs, on iter 39 have 7964 / 8000
37.738 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
37.742 * * * * [points]: Setting MPFR precision to 64
37.743 * * * * [points]: Setting MPFR precision to 320
37.744 * * * * [points]: Computing exacts for 36 points
37.747 * * * * [points]: Setting MPFR precision to 64
37.750 * * * * [points]: Setting MPFR precision to 320
37.752 * * * * [points]: Filtering points with unrepresentable outputs
37.752 * * * * [points]: Sampling 29 additional inputs, on iter 40 have 7971 / 8000
37.753 * * * * [points]: Computing exacts for 29 points
37.756 * * * * [points]: Setting MPFR precision to 64
37.758 * * * * [points]: Setting MPFR precision to 320
37.760 * * * * [points]: Filtering points with unrepresentable outputs
37.760 * * * * [points]: Sampling 21 additional inputs, on iter 41 have 7979 / 8000
37.760 * * * * [points]: Computing exacts for 21 points
37.763 * * * * [points]: Setting MPFR precision to 64
37.765 * * * * [points]: Setting MPFR precision to 320
37.767 * * * * [points]: Filtering points with unrepresentable outputs
37.767 * * * * [points]: Sampling 17 additional inputs, on iter 42 have 7983 / 8000
37.767 * * * * [points]: Computing exacts for 17 points
37.770 * * * * [points]: Setting MPFR precision to 64
37.771 * * * * [points]: Setting MPFR precision to 320
37.772 * * * * [points]: Filtering points with unrepresentable outputs
37.772 * * * * [points]: Sampling 12 additional inputs, on iter 43 have 7988 / 8000
37.772 * * * * [points]: Computing exacts for 12 points
37.776 * * * * [points]: Setting MPFR precision to 64
37.777 * * * * [points]: Setting MPFR precision to 320
37.777 * * * * [points]: Filtering points with unrepresentable outputs
37.777 * * * * [points]: Sampling 12 additional inputs, on iter 44 have 7988 / 8000
37.778 * * * * [points]: Computing exacts for 12 points
37.781 * * * * [points]: Setting MPFR precision to 64
37.782 * * * * [points]: Setting MPFR precision to 320
37.783 * * * * [points]: Filtering points with unrepresentable outputs
37.783 * * * * [points]: Sampling 11 additional inputs, on iter 45 have 7989 / 8000
37.783 * * * * [points]: Computing exacts for 11 points
38.082 * * * * [points]: Setting MPFR precision to 64
38.083 * * * * [points]: Setting MPFR precision to 320
38.084 * * * * [points]: Filtering points with unrepresentable outputs
38.084 * * * * [points]: Sampling 9 additional inputs, on iter 46 have 7991 / 8000
38.084 * * * * [points]: Computing exacts for 9 points
38.087 * * * * [points]: Setting MPFR precision to 64
38.088 * * * * [points]: Setting MPFR precision to 320
38.091 * * * * [points]: Filtering points with unrepresentable outputs
38.091 * * * * [points]: Sampling 7 additional inputs, on iter 47 have 7993 / 8000
38.091 * * * * [points]: Computing exacts for 7 points
38.095 * * * * [points]: Setting MPFR precision to 64
38.095 * * * * [points]: Setting MPFR precision to 320
38.096 * * * * [points]: Filtering points with unrepresentable outputs
38.096 * * * * [points]: Sampling 6 additional inputs, on iter 48 have 7994 / 8000
38.096 * * * * [points]: Computing exacts for 6 points
38.099 * * * * [points]: Setting MPFR precision to 64
38.100 * * * * [points]: Setting MPFR precision to 320
38.101 * * * * [points]: Filtering points with unrepresentable outputs
38.101 * * * * [points]: Sampling 6 additional inputs, on iter 49 have 7994 / 8000
38.101 * * * * [points]: Computing exacts for 6 points
38.105 * * * * [points]: Setting MPFR precision to 64
38.105 * * * * [points]: Setting MPFR precision to 320
38.106 * * * * [points]: Filtering points with unrepresentable outputs
38.106 * * * * [points]: Sampling 4 additional inputs, on iter 50 have 7996 / 8000
38.106 * * * * [points]: Computing exacts for 4 points
38.109 * * * * [points]: Setting MPFR precision to 64
38.109 * * * * [points]: Setting MPFR precision to 320
38.110 * * * * [points]: Filtering points with unrepresentable outputs
38.110 * * * * [points]: Sampling 4 additional inputs, on iter 51 have 7996 / 8000
38.110 * * * * [points]: Computing exacts for 4 points
38.113 * * * * [points]: Setting MPFR precision to 64
38.113 * * * * [points]: Setting MPFR precision to 320
38.114 * * * * [points]: Filtering points with unrepresentable outputs
38.114 * * * * [points]: Sampling 4 additional inputs, on iter 52 have 7997 / 8000
38.114 * * * * [points]: Computing exacts for 4 points
38.117 * * * * [points]: Setting MPFR precision to 64
38.118 * * * * [points]: Setting MPFR precision to 320
38.118 * * * * [points]: Filtering points with unrepresentable outputs
38.118 * * * * [points]: Sampling 4 additional inputs, on iter 53 have 7998 / 8000
38.118 * * * * [points]: Computing exacts for 4 points
38.122 * * * * [points]: Setting MPFR precision to 64
38.122 * * * * [points]: Setting MPFR precision to 320
38.123 * * * * [points]: Filtering points with unrepresentable outputs
38.123 * * * * [points]: Sampling 4 additional inputs, on iter 54 have 7998 / 8000
38.123 * * * * [points]: Computing exacts for 4 points
38.126 * * * * [points]: Setting MPFR precision to 64
38.127 * * * * [points]: Setting MPFR precision to 320
38.127 * * * * [points]: Filtering points with unrepresentable outputs
38.127 * * * * [points]: Sampling 4 additional inputs, on iter 55 have 7999 / 8000
38.127 * * * * [points]: Computing exacts for 4 points
38.130 * * * * [points]: Setting MPFR precision to 64
38.131 * * * * [points]: Setting MPFR precision to 320
38.131 * * * * [points]: Filtering points with unrepresentable outputs
38.131 * * * * [points]: Sampled 8000 points with exact outputs
39.959 * [regime-testing]: Baseline error score: 64.0
39.962 * [regime-testing]: Oracle error score: 64.0
39.970 * [regime-testing]: End program error score: 0.152241106019026