1554305016.711 * [misc]progress:  [Phase 1 of 3] Setting up.
1554305016.711 * * * [misc]progress:  [1/2] Preparing points
1554305016.711 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1554305016.713 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1554305016.715 * * * * [misc]points:  Setting MPFR precision to 64
1554305016.717 * * * * [misc]points:  Setting MPFR precision to 320
1554305016.718 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1554305016.722 * * * * [misc]points:  Setting MPFR precision to 64
1554305016.724 * * * * [misc]points:  Setting MPFR precision to 320
1554305016.726 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1554305016.730 * * * * [misc]points:  Setting MPFR precision to 64
1554305016.734 * * * * [misc]points:  Setting MPFR precision to 320
1554305016.737 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1554305016.741 * * * * [misc]points:  Setting MPFR precision to 64
1554305016.747 * * * * [misc]points:  Setting MPFR precision to 320
1554305016.752 * * * * [misc]points:  Computing exacts for 256 points
1554305016.759 * * * * [misc]points:  Setting MPFR precision to 64
1554305016.793 * * * * [misc]points:  Setting MPFR precision to 320
1554305016.824 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305016.825 * * * * [misc]points:  Sampling 213 additional inputs, on iter 1 have 43 / 256
1554305016.827 * * * * [misc]points:  Computing exacts on every 13 of 213 points to ramp up precision
1554305016.833 * * * * [misc]points:  Setting MPFR precision to 64
1554305016.835 * * * * [misc]points:  Setting MPFR precision to 320
1554305016.837 * * * * [misc]points:  Computing exacts on every 6 of 213 points to ramp up precision
1554305016.844 * * * * [misc]points:  Setting MPFR precision to 64
1554305016.848 * * * * [misc]points:  Setting MPFR precision to 320
1554305016.887 * * * * [misc]points:  Computing exacts on every 3 of 213 points to ramp up precision
1554305016.895 * * * * [misc]points:  Setting MPFR precision to 64
1554305016.899 * * * * [misc]points:  Setting MPFR precision to 320
1554305016.903 * * * * [misc]points:  Computing exacts for 213 points
1554305016.907 * * * * [misc]points:  Setting MPFR precision to 64
1554305016.921 * * * * [misc]points:  Setting MPFR precision to 320
1554305016.939 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305016.940 * * * * [misc]points:  Sampling 195 additional inputs, on iter 2 have 61 / 256
1554305016.941 * * * * [misc]points:  Computing exacts on every 12 of 195 points to ramp up precision
1554305016.948 * * * * [misc]points:  Setting MPFR precision to 64
1554305016.950 * * * * [misc]points:  Setting MPFR precision to 320
1554305016.952 * * * * [misc]points:  Computing exacts on every 6 of 195 points to ramp up precision
1554305016.959 * * * * [misc]points:  Setting MPFR precision to 64
1554305016.963 * * * * [misc]points:  Setting MPFR precision to 320
1554305016.966 * * * * [misc]points:  Computing exacts on every 3 of 195 points to ramp up precision
1554305016.973 * * * * [misc]points:  Setting MPFR precision to 64
1554305016.980 * * * * [misc]points:  Setting MPFR precision to 320
1554305016.986 * * * * [misc]points:  Computing exacts for 195 points
1554305016.993 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.012 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.059 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.059 * * * * [misc]points:  Sampling 173 additional inputs, on iter 3 have 83 / 256
1554305017.064 * * * * [misc]points:  Computing exacts on every 10 of 173 points to ramp up precision
1554305017.071 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.073 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.075 * * * * [misc]points:  Computing exacts on every 5 of 173 points to ramp up precision
1554305017.082 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.086 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.089 * * * * [misc]points:  Computing exacts on every 2 of 173 points to ramp up precision
1554305017.096 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.104 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.108 * * * * [misc]points:  Computing exacts for 173 points
1554305017.112 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.123 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.139 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.139 * * * * [misc]points:  Sampling 148 additional inputs, on iter 4 have 108 / 256
1554305017.140 * * * * [misc]points:  Computing exacts on every 9 of 148 points to ramp up precision
1554305017.147 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.149 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.151 * * * * [misc]points:  Computing exacts on every 4 of 148 points to ramp up precision
1554305017.157 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.159 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.161 * * * * [misc]points:  Computing exacts on every 2 of 148 points to ramp up precision
1554305017.165 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.168 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.172 * * * * [misc]points:  Computing exacts for 148 points
1554305017.176 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.212 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.223 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.223 * * * * [misc]points:  Sampling 127 additional inputs, on iter 5 have 129 / 256
1554305017.224 * * * * [misc]points:  Computing exacts on every 7 of 127 points to ramp up precision
1554305017.227 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.229 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.230 * * * * [misc]points:  Computing exacts on every 3 of 127 points to ramp up precision
1554305017.234 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.236 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.238 * * * * [misc]points:  Computing exacts for 127 points
1554305017.243 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.259 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.277 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.277 * * * * [misc]points:  Sampling 111 additional inputs, on iter 6 have 145 / 256
1554305017.278 * * * * [misc]points:  Computing exacts on every 6 of 111 points to ramp up precision
1554305017.285 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.288 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.290 * * * * [misc]points:  Computing exacts on every 3 of 111 points to ramp up precision
1554305017.295 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.297 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.299 * * * * [misc]points:  Computing exacts for 111 points
1554305017.303 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.310 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.318 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.318 * * * * [misc]points:  Sampling 100 additional inputs, on iter 7 have 156 / 256
1554305017.319 * * * * [misc]points:  Computing exacts on every 6 of 100 points to ramp up precision
1554305017.322 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.323 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.324 * * * * [misc]points:  Computing exacts on every 3 of 100 points to ramp up precision
1554305017.362 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.366 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.372 * * * * [misc]points:  Computing exacts for 100 points
1554305017.379 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.392 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.405 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.405 * * * * [misc]points:  Sampling 85 additional inputs, on iter 8 have 171 / 256
1554305017.406 * * * * [misc]points:  Computing exacts on every 5 of 85 points to ramp up precision
1554305017.412 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.414 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.416 * * * * [misc]points:  Computing exacts on every 2 of 85 points to ramp up precision
1554305017.422 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.426 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.430 * * * * [misc]points:  Computing exacts for 85 points
1554305017.437 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.449 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.459 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.459 * * * * [misc]points:  Sampling 76 additional inputs, on iter 9 have 180 / 256
1554305017.460 * * * * [misc]points:  Computing exacts on every 4 of 76 points to ramp up precision
1554305017.463 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.464 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.466 * * * * [misc]points:  Computing exacts on every 2 of 76 points to ramp up precision
1554305017.469 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.471 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.473 * * * * [misc]points:  Computing exacts for 76 points
1554305017.476 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.481 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.487 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.487 * * * * [misc]points:  Sampling 70 additional inputs, on iter 10 have 186 / 256
1554305017.487 * * * * [misc]points:  Computing exacts on every 4 of 70 points to ramp up precision
1554305017.491 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.492 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.493 * * * * [misc]points:  Computing exacts on every 2 of 70 points to ramp up precision
1554305017.524 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.527 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.533 * * * * [misc]points:  Computing exacts for 70 points
1554305017.540 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.549 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.558 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.559 * * * * [misc]points:  Sampling 68 additional inputs, on iter 11 have 188 / 256
1554305017.559 * * * * [misc]points:  Computing exacts on every 4 of 68 points to ramp up precision
1554305017.566 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.568 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.570 * * * * [misc]points:  Computing exacts on every 2 of 68 points to ramp up precision
1554305017.577 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.580 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.583 * * * * [misc]points:  Computing exacts for 68 points
1554305017.591 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.600 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.607 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.607 * * * * [misc]points:  Sampling 65 additional inputs, on iter 12 have 191 / 256
1554305017.608 * * * * [misc]points:  Computing exacts on every 4 of 65 points to ramp up precision
1554305017.611 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.612 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.613 * * * * [misc]points:  Computing exacts on every 2 of 65 points to ramp up precision
1554305017.616 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.618 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.620 * * * * [misc]points:  Computing exacts for 65 points
1554305017.623 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.628 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.632 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.632 * * * * [misc]points:  Sampling 58 additional inputs, on iter 13 have 198 / 256
1554305017.632 * * * * [misc]points:  Computing exacts on every 3 of 58 points to ramp up precision
1554305017.639 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.642 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.644 * * * * [misc]points:  Computing exacts for 58 points
1554305017.650 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.658 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.665 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.665 * * * * [misc]points:  Sampling 51 additional inputs, on iter 14 have 205 / 256
1554305017.666 * * * * [misc]points:  Computing exacts on every 3 of 51 points to ramp up precision
1554305017.687 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.688 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.689 * * * * [misc]points:  Computing exacts for 51 points
1554305017.692 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.701 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.708 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.708 * * * * [misc]points:  Sampling 48 additional inputs, on iter 15 have 208 / 256
1554305017.709 * * * * [misc]points:  Computing exacts on every 3 of 48 points to ramp up precision
1554305017.716 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.717 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.719 * * * * [misc]points:  Computing exacts for 48 points
1554305017.726 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.732 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.739 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.739 * * * * [misc]points:  Sampling 45 additional inputs, on iter 16 have 211 / 256
1554305017.739 * * * * [misc]points:  Computing exacts on every 2 of 45 points to ramp up precision
1554305017.747 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.749 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.751 * * * * [misc]points:  Computing exacts for 45 points
1554305017.758 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.764 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.770 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.770 * * * * [misc]points:  Sampling 40 additional inputs, on iter 17 have 216 / 256
1554305017.771 * * * * [misc]points:  Computing exacts on every 2 of 40 points to ramp up precision
1554305017.778 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.780 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.782 * * * * [misc]points:  Computing exacts for 40 points
1554305017.789 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.795 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.801 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.801 * * * * [misc]points:  Sampling 36 additional inputs, on iter 18 have 220 / 256
1554305017.802 * * * * [misc]points:  Computing exacts on every 2 of 36 points to ramp up precision
1554305017.808 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.810 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.812 * * * * [misc]points:  Computing exacts for 36 points
1554305017.819 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.824 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.829 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.829 * * * * [misc]points:  Sampling 33 additional inputs, on iter 19 have 223 / 256
1554305017.830 * * * * [misc]points:  Computing exacts on every 2 of 33 points to ramp up precision
1554305017.836 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.838 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.840 * * * * [misc]points:  Computing exacts for 33 points
1554305017.860 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.862 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.865 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.865 * * * * [misc]points:  Sampling 30 additional inputs, on iter 20 have 226 / 256
1554305017.865 * * * * [misc]points:  Computing exacts for 30 points
1554305017.871 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.875 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.879 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.879 * * * * [misc]points:  Sampling 22 additional inputs, on iter 21 have 234 / 256
1554305017.880 * * * * [misc]points:  Computing exacts for 22 points
1554305017.886 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.889 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.892 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.892 * * * * [misc]points:  Sampling 20 additional inputs, on iter 22 have 236 / 256
1554305017.893 * * * * [misc]points:  Computing exacts for 20 points
1554305017.899 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.902 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.904 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.904 * * * * [misc]points:  Sampling 19 additional inputs, on iter 23 have 237 / 256
1554305017.905 * * * * [misc]points:  Computing exacts for 19 points
1554305017.911 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.914 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.916 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.917 * * * * [misc]points:  Sampling 17 additional inputs, on iter 24 have 239 / 256
1554305017.917 * * * * [misc]points:  Computing exacts for 17 points
1554305017.924 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.926 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.929 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.929 * * * * [misc]points:  Sampling 16 additional inputs, on iter 25 have 240 / 256
1554305017.929 * * * * [misc]points:  Computing exacts for 16 points
1554305017.937 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.939 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.941 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.941 * * * * [misc]points:  Sampling 14 additional inputs, on iter 26 have 242 / 256
1554305017.941 * * * * [misc]points:  Computing exacts for 14 points
1554305017.948 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.950 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.952 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.952 * * * * [misc]points:  Sampling 12 additional inputs, on iter 27 have 244 / 256
1554305017.952 * * * * [misc]points:  Computing exacts for 12 points
1554305017.959 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.961 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.963 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.963 * * * * [misc]points:  Sampling 9 additional inputs, on iter 28 have 247 / 256
1554305017.963 * * * * [misc]points:  Computing exacts for 9 points
1554305017.970 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.971 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.972 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.973 * * * * [misc]points:  Sampling 9 additional inputs, on iter 29 have 247 / 256
1554305017.973 * * * * [misc]points:  Computing exacts for 9 points
1554305017.980 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.981 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.982 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.982 * * * * [misc]points:  Sampling 6 additional inputs, on iter 30 have 250 / 256
1554305017.983 * * * * [misc]points:  Computing exacts for 6 points
1554305017.990 * * * * [misc]points:  Setting MPFR precision to 64
1554305017.991 * * * * [misc]points:  Setting MPFR precision to 320
1554305017.992 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305017.992 * * * * [misc]points:  Sampling 5 additional inputs, on iter 31 have 251 / 256
1554305017.992 * * * * [misc]points:  Computing exacts for 5 points
1554305017.999 * * * * [misc]points:  Setting MPFR precision to 64
1554305018.000 * * * * [misc]points:  Setting MPFR precision to 320
1554305018.000 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305018.000 * * * * [misc]points:  Sampling 4 additional inputs, on iter 32 have 253 / 256
1554305018.000 * * * * [misc]points:  Computing exacts for 4 points
1554305018.029 * * * * [misc]points:  Setting MPFR precision to 64
1554305018.030 * * * * [misc]points:  Setting MPFR precision to 320
1554305018.031 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305018.031 * * * * [misc]points:  Sampling 4 additional inputs, on iter 33 have 253 / 256
1554305018.031 * * * * [misc]points:  Computing exacts for 4 points
1554305018.041 * * * * [misc]points:  Setting MPFR precision to 64
1554305018.042 * * * * [misc]points:  Setting MPFR precision to 320
1554305018.043 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305018.043 * * * * [misc]points:  Sampling 4 additional inputs, on iter 34 have 254 / 256
1554305018.043 * * * * [misc]points:  Computing exacts for 4 points
1554305018.051 * * * * [misc]points:  Setting MPFR precision to 64
1554305018.052 * * * * [misc]points:  Setting MPFR precision to 320
1554305018.052 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305018.052 * * * * [misc]points:  Sampling 4 additional inputs, on iter 35 have 254 / 256
1554305018.053 * * * * [misc]points:  Computing exacts for 4 points
1554305018.059 * * * * [misc]points:  Setting MPFR precision to 64
1554305018.060 * * * * [misc]points:  Setting MPFR precision to 320
1554305018.061 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305018.061 * * * * [misc]points:  Sampling 4 additional inputs, on iter 36 have 254 / 256
1554305018.061 * * * * [misc]points:  Computing exacts for 4 points
1554305018.068 * * * * [misc]points:  Setting MPFR precision to 64
1554305018.069 * * * * [misc]points:  Setting MPFR precision to 320
1554305018.069 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305018.069 * * * * [misc]points:  Sampling 4 additional inputs, on iter 37 have 254 / 256
1554305018.069 * * * * [misc]points:  Computing exacts for 4 points
1554305018.076 * * * * [misc]points:  Setting MPFR precision to 64
1554305018.077 * * * * [misc]points:  Setting MPFR precision to 320
1554305018.077 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305018.077 * * * * [misc]points:  Sampling 4 additional inputs, on iter 38 have 254 / 256
1554305018.077 * * * * [misc]points:  Computing exacts for 4 points
1554305018.085 * * * * [misc]points:  Setting MPFR precision to 64
1554305018.085 * * * * [misc]points:  Setting MPFR precision to 320
1554305018.086 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305018.086 * * * * [misc]points:  Sampling 4 additional inputs, on iter 39 have 254 / 256
1554305018.086 * * * * [misc]points:  Computing exacts for 4 points
1554305018.093 * * * * [misc]points:  Setting MPFR precision to 64
1554305018.093 * * * * [misc]points:  Setting MPFR precision to 320
1554305018.094 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305018.094 * * * * [misc]points:  Sampling 4 additional inputs, on iter 40 have 255 / 256
1554305018.094 * * * * [misc]points:  Computing exacts for 4 points
1554305018.101 * * * * [misc]points:  Setting MPFR precision to 64
1554305018.101 * * * * [misc]points:  Setting MPFR precision to 320
1554305018.102 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305018.102 * * * * [exit]points:  Sampled 256 points with exact outputs
1554305018.102 * * * [misc]progress:  [2/2] Setting up program.
1554305018.124 * [misc]progress:  [Phase 2 of 3] Improving.
1554305018.124 * * * * [misc]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))))>
1554305018.124 * [enter]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)))
1554305018.124 * * [misc]simplify:  iters left: 6 (15 enodes)
1554305018.132 * * [misc]simplify:  iters left: 5 (54 enodes)
1554305018.153 * * [misc]simplify:  iters left: 4 (174 enodes)
1554305018.306 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305018.306 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554305018.306 * * [misc]simplify:  Extracting #2: cost 52 inf + 0
1554305018.312 * * [misc]simplify:  Extracting #3: cost 218 inf + 0
1554305018.314 * * [misc]simplify:  Extracting #4: cost 350 inf + 488
1554305018.323 * * [misc]simplify:  Extracting #5: cost 271 inf + 83278
1554305018.351 * * [misc]simplify:  Extracting #6: cost 99 inf + 301152
1554305018.384 * * [misc]simplify:  Extracting #7: cost 13 inf + 445414
1554305018.419 * * [misc]simplify:  Extracting #8: cost 0 inf + 471346
1554305018.450 * [exit]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)))
1554305018.450 * [misc]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))))
1554305018.471 * * [misc]progress:  iteration 1 / 4
1554305018.471 * * * [misc]progress:  picking best candidate
1554305018.489 * * * * [misc]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))))>
1554305018.489 * * * [misc]progress:  localizing error
1554305018.848 * * * [misc]progress:  generating rewritten candidates
1554305018.848 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 1 2)
1554305018.870 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 2)
1554305018.875 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1554305018.881 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 1)
1554305018.883 * * * [misc]progress:  generating series expansions
1554305018.883 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 1 2)
1554305018.884 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 2)
1554305018.884 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1554305018.884 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 1)
1554305018.884 * * * [misc]progress:  simplifying candidates
1554305018.884 * * * * [misc]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)) (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))))>
1554305018.884 * * * * [misc]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 (+.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))))>
1554305018.884 * * * * [misc]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)) 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)))))>
1554305018.884 * * * * [misc]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 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)))))>
1554305018.884 * * * * [misc]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)) (neg.p16 b))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))>
1554305018.884 * * * * [misc]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 (+.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))))>
1554305018.884 * * * * [misc]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))))>
1554305018.884 * [enter]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)))
1554305018.884 * * [misc]simplify:  iters left: 6 (15 enodes)
1554305018.889 * * [misc]simplify:  iters left: 5 (54 enodes)
1554305018.903 * * [misc]simplify:  iters left: 4 (174 enodes)
1554305019.022 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305019.022 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554305019.022 * * [misc]simplify:  Extracting #2: cost 52 inf + 0
1554305019.023 * * [misc]simplify:  Extracting #3: cost 218 inf + 0
1554305019.025 * * [misc]simplify:  Extracting #4: cost 350 inf + 488
1554305019.033 * * [misc]simplify:  Extracting #5: cost 271 inf + 83278
1554305019.059 * * [misc]simplify:  Extracting #6: cost 99 inf + 301152
1554305019.110 * * [misc]simplify:  Extracting #7: cost 13 inf + 445414
1554305019.148 * * [misc]simplify:  Extracting #8: cost 0 inf + 471346
1554305019.176 * [exit]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)))
1554305019.176 * [misc]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))))
1554305019.176 * * * * [misc]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))))>
1554305019.176 * [enter]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)))
1554305019.176 * * [misc]simplify:  iters left: 6 (15 enodes)
1554305019.184 * * [misc]simplify:  iters left: 5 (54 enodes)
1554305019.205 * * [misc]simplify:  iters left: 4 (174 enodes)
1554305019.287 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305019.287 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554305019.287 * * [misc]simplify:  Extracting #2: cost 52 inf + 0
1554305019.291 * * [misc]simplify:  Extracting #3: cost 218 inf + 0
1554305019.293 * * [misc]simplify:  Extracting #4: cost 350 inf + 488
1554305019.303 * * [misc]simplify:  Extracting #5: cost 271 inf + 83278
1554305019.331 * * [misc]simplify:  Extracting #6: cost 99 inf + 301152
1554305019.383 * * [misc]simplify:  Extracting #7: cost 13 inf + 445414
1554305019.439 * * [misc]simplify:  Extracting #8: cost 0 inf + 471346
1554305019.494 * [exit]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)))
1554305019.494 * [misc]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))))
1554305019.494 * * * * [misc]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))))>
1554305019.495 * [enter]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)))
1554305019.495 * * [misc]simplify:  iters left: 6 (15 enodes)
1554305019.502 * * [misc]simplify:  iters left: 5 (54 enodes)
1554305019.523 * * [misc]simplify:  iters left: 4 (174 enodes)
1554305019.657 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305019.657 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554305019.657 * * [misc]simplify:  Extracting #2: cost 52 inf + 0
1554305019.658 * * [misc]simplify:  Extracting #3: cost 218 inf + 0
1554305019.660 * * [misc]simplify:  Extracting #4: cost 350 inf + 488
1554305019.668 * * [misc]simplify:  Extracting #5: cost 271 inf + 83278
1554305019.694 * * [misc]simplify:  Extracting #6: cost 99 inf + 301152
1554305019.741 * * [misc]simplify:  Extracting #7: cost 13 inf + 445414
1554305019.798 * * [misc]simplify:  Extracting #8: cost 0 inf + 471346
1554305019.850 * [exit]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)))
1554305019.851 * [misc]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))))
1554305019.851 * * * * [misc]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))))>
1554305019.851 * [enter]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)))
1554305019.851 * * [misc]simplify:  iters left: 6 (15 enodes)
1554305019.859 * * [misc]simplify:  iters left: 5 (54 enodes)
1554305019.879 * * [misc]simplify:  iters left: 4 (174 enodes)
1554305019.966 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305019.966 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554305019.966 * * [misc]simplify:  Extracting #2: cost 52 inf + 0
1554305019.967 * * [misc]simplify:  Extracting #3: cost 218 inf + 0
1554305019.969 * * [misc]simplify:  Extracting #4: cost 350 inf + 488
1554305019.973 * * [misc]simplify:  Extracting #5: cost 271 inf + 83278
1554305019.990 * * [misc]simplify:  Extracting #6: cost 99 inf + 301152
1554305020.021 * * [misc]simplify:  Extracting #7: cost 13 inf + 445414
1554305020.048 * * [misc]simplify:  Extracting #8: cost 0 inf + 471346
1554305020.076 * [exit]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)))
1554305020.076 * [misc]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))))
1554305020.076 * * * [misc]progress:  adding candidates to table
1554305020.301 * * [misc]progress:  iteration 2 / 4
1554305020.301 * * * [misc]progress:  picking best candidate
1554305020.353 * * * * [misc]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 (+.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)))))>
1554305020.353 * * * [misc]progress:  localizing error
1554305020.518 * * * [misc]progress:  generating rewritten candidates
1554305020.519 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2)
1554305020.532 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2)
1554305020.537 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 1)
1554305020.539 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1554305020.545 * * * [misc]progress:  generating series expansions
1554305020.545 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2)
1554305020.545 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2)
1554305020.545 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 1)
1554305020.545 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1554305020.545 * * * [misc]progress:  simplifying candidates
1554305020.545 * * * * [misc]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 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))))))>
1554305020.545 * [enter]simplify:  Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
1554305020.545 * * [misc]simplify:  iters left: 4 (9 enodes)
1554305020.548 * * [misc]simplify:  iters left: 3 (21 enodes)
1554305020.551 * * [misc]simplify:  iters left: 2 (27 enodes)
1554305020.555 * * [misc]simplify:  iters left: 1 (28 enodes)
1554305020.563 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305020.563 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305020.563 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1554305020.563 * * [misc]simplify:  Extracting #3: cost 10 inf + 1
1554305020.563 * * [misc]simplify:  Extracting #4: cost 5 inf + 47
1554305020.563 * * [misc]simplify:  Extracting #5: cost 1 inf + 738
1554305020.564 * * [misc]simplify:  Extracting #6: cost 0 inf + 1302
1554305020.564 * [exit]simplify:  Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
1554305020.564 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 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))))))
1554305020.564 * * * * [misc]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 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)))))))>
1554305020.564 * [enter]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)))
1554305020.564 * * [misc]simplify:  iters left: 6 (13 enodes)
1554305020.567 * * [misc]simplify:  iters left: 5 (46 enodes)
1554305020.583 * * [misc]simplify:  iters left: 4 (130 enodes)
1554305020.650 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305020.651 * * [misc]simplify:  Extracting #1: cost 25 inf + 0
1554305020.651 * * [misc]simplify:  Extracting #2: cost 62 inf + 0
1554305020.651 * * [misc]simplify:  Extracting #3: cost 154 inf + 82
1554305020.653 * * [misc]simplify:  Extracting #4: cost 155 inf + 19371
1554305020.663 * * [misc]simplify:  Extracting #5: cost 43 inf + 161234
1554305020.683 * * [misc]simplify:  Extracting #6: cost 2 inf + 235712
1554305020.709 * * [misc]simplify:  Extracting #7: cost 0 inf + 242680
1554305020.733 * [exit]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)))
1554305020.733 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (*.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)))))))
1554305020.733 * * * * [misc]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 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1554305020.733 * * * * [misc]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 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)))))>
1554305020.733 * * * * [misc]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 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)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1554305020.734 * [enter]simplify:  Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
1554305020.734 * * [misc]simplify:  iters left: 4 (9 enodes)
1554305020.738 * * [misc]simplify:  iters left: 3 (21 enodes)
1554305020.745 * * [misc]simplify:  iters left: 2 (27 enodes)
1554305020.753 * * [misc]simplify:  iters left: 1 (28 enodes)
1554305020.760 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305020.760 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305020.760 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1554305020.760 * * [misc]simplify:  Extracting #3: cost 10 inf + 1
1554305020.760 * * [misc]simplify:  Extracting #4: cost 5 inf + 47
1554305020.760 * * [misc]simplify:  Extracting #5: cost 1 inf + 738
1554305020.760 * * [misc]simplify:  Extracting #6: cost 0 inf + 1302
1554305020.761 * [exit]simplify:  Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
1554305020.761 * [misc]simplify:  Simplified (2 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 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
1554305020.761 * [enter]simplify:  Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
1554305020.761 * * [misc]simplify:  iters left: 4 (9 enodes)
1554305020.765 * * [misc]simplify:  iters left: 3 (27 enodes)
1554305020.774 * * [misc]simplify:  iters left: 2 (47 enodes)
1554305020.790 * * [misc]simplify:  iters left: 1 (123 enodes)
1554305020.852 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305020.852 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554305020.852 * * [misc]simplify:  Extracting #2: cost 52 inf + 82
1554305020.853 * * [misc]simplify:  Extracting #3: cost 87 inf + 1044
1554305020.854 * * [misc]simplify:  Extracting #4: cost 140 inf + 5615
1554305020.855 * * [misc]simplify:  Extracting #5: cost 118 inf + 19272
1554305020.862 * * [misc]simplify:  Extracting #6: cost 57 inf + 79064
1554305020.877 * * [misc]simplify:  Extracting #7: cost 8 inf + 157140
1554305020.894 * * [misc]simplify:  Extracting #8: cost 0 inf + 176132
1554305020.903 * [exit]simplify:  Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)
1554305020.903 * [misc]simplify:  Simplified (2 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 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)) c) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
1554305020.904 * * * * [misc]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 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))) (neg.p16 (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1554305020.904 * * * * [misc]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 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 (+.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)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1554305020.904 * * * * [misc]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 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)))))>
1554305020.904 * * * * [misc]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 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)))))>
1554305020.904 * * * * [misc]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 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)))))>
1554305020.904 * * * * [misc]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 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)))))>
1554305020.904 * * * * [misc]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 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)))))>
1554305020.904 * * * * [misc]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 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)))))>
1554305020.904 * * * [misc]progress:  adding candidates to table
1554305021.308 * * [misc]progress:  iteration 3 / 4
1554305021.308 * * * [misc]progress:  picking best candidate
1554305021.385 * * * * [misc]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 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1554305021.385 * * * [misc]progress:  localizing error
1554305021.463 * * * [misc]progress:  generating rewritten candidates
1554305021.463 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2)
1554305021.478 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2)
1554305021.483 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 2 1 2)
1554305021.496 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1554305021.502 * * * [misc]progress:  generating series expansions
1554305021.502 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2)
1554305021.502 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2)
1554305021.502 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 2 1 2)
1554305021.502 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1554305021.502 * * * [misc]progress:  simplifying candidates
1554305021.502 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) 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))))))>
1554305021.503 * [enter]simplify:  Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
1554305021.503 * * [misc]simplify:  iters left: 4 (9 enodes)
1554305021.506 * * [misc]simplify:  iters left: 3 (21 enodes)
1554305021.509 * * [misc]simplify:  iters left: 2 (27 enodes)
1554305021.513 * * [misc]simplify:  iters left: 1 (28 enodes)
1554305021.519 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305021.519 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305021.519 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1554305021.519 * * [misc]simplify:  Extracting #3: cost 10 inf + 1
1554305021.519 * * [misc]simplify:  Extracting #4: cost 5 inf + 47
1554305021.519 * * [misc]simplify:  Extracting #5: cost 1 inf + 738
1554305021.519 * * [misc]simplify:  Extracting #6: cost 0 inf + 1302
1554305021.520 * [exit]simplify:  Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
1554305021.520 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (+.p16 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))))))
1554305021.520 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.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))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))))>
1554305021.520 * [enter]simplify:  Simplifying (*.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)))
1554305021.520 * * [misc]simplify:  iters left: 6 (13 enodes)
1554305021.526 * * [misc]simplify:  iters left: 5 (39 enodes)
1554305021.539 * * [misc]simplify:  iters left: 4 (116 enodes)
1554305021.592 * * [misc]simplify:  iters left: 3 (430 enodes)
1554305021.844 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305021.844 * * [misc]simplify:  Extracting #1: cost 52 inf + 0
1554305021.845 * * [misc]simplify:  Extracting #2: cost 300 inf + 0
1554305021.847 * * [misc]simplify:  Extracting #3: cost 505 inf + 1446
1554305021.863 * * [misc]simplify:  Extracting #4: cost 443 inf + 251052
1554305021.953 * * [misc]simplify:  Extracting #5: cost 61 inf + 882848
1554305022.077 * * [misc]simplify:  Extracting #6: cost 0 inf + 1006569
1554305022.196 * [exit]simplify:  Simplified to (*.p16 (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c)))
1554305022.196 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (*.p16 (+.p16 c (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)) c))) (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))))))
1554305022.197 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1554305022.197 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 a a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1554305022.197 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1554305022.197 * * * * [misc]progress:  [ 6 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (/.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))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1554305022.197 * * * * [misc]progress:  [ 7 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (neg.p16 b))) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1554305022.197 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (/.p16 (-.p16 (*.p16 (/.p16 (+.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)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1554305022.197 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1554305022.198 * [enter]simplify:  Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
1554305022.198 * * [misc]simplify:  iters left: 4 (9 enodes)
1554305022.202 * * [misc]simplify:  iters left: 3 (21 enodes)
1554305022.209 * * [misc]simplify:  iters left: 2 (27 enodes)
1554305022.216 * * [misc]simplify:  iters left: 1 (28 enodes)
1554305022.224 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305022.224 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305022.224 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1554305022.224 * * [misc]simplify:  Extracting #3: cost 10 inf + 1
1554305022.224 * * [misc]simplify:  Extracting #4: cost 5 inf + 47
1554305022.224 * * [misc]simplify:  Extracting #5: cost 1 inf + 738
1554305022.225 * * [misc]simplify:  Extracting #6: cost 0 inf + 1302
1554305022.225 * [exit]simplify:  Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
1554305022.225 * [misc]simplify:  Simplified (2 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 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
1554305022.225 * [enter]simplify:  Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
1554305022.225 * * [misc]simplify:  iters left: 4 (9 enodes)
1554305022.230 * * [misc]simplify:  iters left: 3 (27 enodes)
1554305022.238 * * [misc]simplify:  iters left: 2 (47 enodes)
1554305022.257 * * [misc]simplify:  iters left: 1 (123 enodes)
1554305022.316 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305022.317 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554305022.317 * * [misc]simplify:  Extracting #2: cost 52 inf + 82
1554305022.317 * * [misc]simplify:  Extracting #3: cost 87 inf + 1044
1554305022.318 * * [misc]simplify:  Extracting #4: cost 140 inf + 5615
1554305022.320 * * [misc]simplify:  Extracting #5: cost 118 inf + 19272
1554305022.327 * * [misc]simplify:  Extracting #6: cost 57 inf + 79064
1554305022.342 * * [misc]simplify:  Extracting #7: cost 8 inf + 157140
1554305022.359 * * [misc]simplify:  Extracting #8: cost 0 inf + 176132
1554305022.377 * [exit]simplify:  Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)
1554305022.377 * [misc]simplify:  Simplified (2 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 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)) c) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
1554305022.377 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1554305022.378 * [enter]simplify:  Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
1554305022.378 * * [misc]simplify:  iters left: 4 (9 enodes)
1554305022.382 * * [misc]simplify:  iters left: 3 (21 enodes)
1554305022.392 * * [misc]simplify:  iters left: 2 (27 enodes)
1554305022.400 * * [misc]simplify:  iters left: 1 (28 enodes)
1554305022.407 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305022.407 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305022.407 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1554305022.407 * * [misc]simplify:  Extracting #3: cost 10 inf + 1
1554305022.408 * * [misc]simplify:  Extracting #4: cost 5 inf + 47
1554305022.408 * * [misc]simplify:  Extracting #5: cost 1 inf + 738
1554305022.408 * * [misc]simplify:  Extracting #6: cost 0 inf + 1302
1554305022.408 * [exit]simplify:  Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
1554305022.408 * [misc]simplify:  Simplified (2 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 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
1554305022.409 * [enter]simplify:  Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
1554305022.409 * * [misc]simplify:  iters left: 4 (9 enodes)
1554305022.414 * * [misc]simplify:  iters left: 3 (27 enodes)
1554305022.423 * * [misc]simplify:  iters left: 2 (47 enodes)
1554305022.440 * * [misc]simplify:  iters left: 1 (123 enodes)
1554305022.502 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305022.502 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554305022.502 * * [misc]simplify:  Extracting #2: cost 52 inf + 82
1554305022.502 * * [misc]simplify:  Extracting #3: cost 87 inf + 1044
1554305022.503 * * [misc]simplify:  Extracting #4: cost 140 inf + 5615
1554305022.505 * * [misc]simplify:  Extracting #5: cost 118 inf + 19272
1554305022.512 * * [misc]simplify:  Extracting #6: cost 57 inf + 79064
1554305022.528 * * [misc]simplify:  Extracting #7: cost 8 inf + 157140
1554305022.549 * * [misc]simplify:  Extracting #8: cost 0 inf + 176132
1554305022.567 * [exit]simplify:  Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)
1554305022.568 * [misc]simplify:  Simplified (2 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 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)) c) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
1554305022.568 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1554305022.568 * [enter]simplify:  Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
1554305022.568 * * [misc]simplify:  iters left: 4 (9 enodes)
1554305022.573 * * [misc]simplify:  iters left: 3 (21 enodes)
1554305022.579 * * [misc]simplify:  iters left: 2 (27 enodes)
1554305022.583 * * [misc]simplify:  iters left: 1 (28 enodes)
1554305022.587 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305022.587 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305022.587 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1554305022.587 * * [misc]simplify:  Extracting #3: cost 10 inf + 1
1554305022.587 * * [misc]simplify:  Extracting #4: cost 5 inf + 47
1554305022.587 * * [misc]simplify:  Extracting #5: cost 1 inf + 738
1554305022.587 * * [misc]simplify:  Extracting #6: cost 0 inf + 1302
1554305022.587 * [exit]simplify:  Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
1554305022.588 * [misc]simplify:  Simplified (2 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 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
1554305022.588 * [enter]simplify:  Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
1554305022.588 * * [misc]simplify:  iters left: 4 (9 enodes)
1554305022.590 * * [misc]simplify:  iters left: 3 (27 enodes)
1554305022.595 * * [misc]simplify:  iters left: 2 (47 enodes)
1554305022.604 * * [misc]simplify:  iters left: 1 (123 enodes)
1554305022.656 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305022.656 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554305022.657 * * [misc]simplify:  Extracting #2: cost 52 inf + 82
1554305022.657 * * [misc]simplify:  Extracting #3: cost 87 inf + 1044
1554305022.657 * * [misc]simplify:  Extracting #4: cost 140 inf + 5615
1554305022.658 * * [misc]simplify:  Extracting #5: cost 118 inf + 19272
1554305022.661 * * [misc]simplify:  Extracting #6: cost 57 inf + 79064
1554305022.673 * * [misc]simplify:  Extracting #7: cost 8 inf + 157140
1554305022.690 * * [misc]simplify:  Extracting #8: cost 0 inf + 176132
1554305022.699 * [exit]simplify:  Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)
1554305022.699 * [misc]simplify:  Simplified (2 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 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)) c) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
1554305022.699 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (a b c) (sqrt.p16 (*.p16 (*.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1554305022.700 * [enter]simplify:  Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
1554305022.700 * * [misc]simplify:  iters left: 4 (9 enodes)
1554305022.702 * * [misc]simplify:  iters left: 3 (21 enodes)
1554305022.706 * * [misc]simplify:  iters left: 2 (27 enodes)
1554305022.710 * * [misc]simplify:  iters left: 1 (28 enodes)
1554305022.714 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305022.714 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305022.714 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1554305022.714 * * [misc]simplify:  Extracting #3: cost 10 inf + 1
1554305022.714 * * [misc]simplify:  Extracting #4: cost 5 inf + 47
1554305022.714 * * [misc]simplify:  Extracting #5: cost 1 inf + 738
1554305022.714 * * [misc]simplify:  Extracting #6: cost 0 inf + 1302
1554305022.714 * [exit]simplify:  Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
1554305022.714 * [misc]simplify:  Simplified (2 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 a b) c) (real->posit16 2)) a)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
1554305022.714 * [enter]simplify:  Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
1554305022.715 * * [misc]simplify:  iters left: 4 (9 enodes)
1554305022.717 * * [misc]simplify:  iters left: 3 (27 enodes)
1554305022.727 * * [misc]simplify:  iters left: 2 (47 enodes)
1554305022.744 * * [misc]simplify:  iters left: 1 (123 enodes)
1554305022.810 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305022.811 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554305022.811 * * [misc]simplify:  Extracting #2: cost 52 inf + 82
1554305022.811 * * [misc]simplify:  Extracting #3: cost 87 inf + 1044
1554305022.812 * * [misc]simplify:  Extracting #4: cost 140 inf + 5615
1554305022.814 * * [misc]simplify:  Extracting #5: cost 118 inf + 19272
1554305022.821 * * [misc]simplify:  Extracting #6: cost 57 inf + 79064
1554305022.837 * * [misc]simplify:  Extracting #7: cost 8 inf + 157140
1554305022.852 * * [misc]simplify:  Extracting #8: cost 0 inf + 176132
1554305022.861 * [exit]simplify:  Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)
1554305022.861 * [misc]simplify:  Simplified (2 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 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)) c) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
1554305022.861 * * * [misc]progress:  adding candidates to table
1554305023.367 * * [misc]progress:  iteration 4 / 4
1554305023.367 * * * [misc]progress:  picking best candidate
1554305023.410 * * * * [misc]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)))))>
1554305023.410 * * * [misc]progress:  localizing error
1554305023.650 * * * [misc]progress:  generating rewritten candidates
1554305023.650 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 2)
1554305023.679 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2)
1554305023.705 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 2 1)
1554305023.708 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 2 1)
1554305023.711 * * * [misc]progress:  generating series expansions
1554305023.711 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 2)
1554305023.711 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2)
1554305023.711 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 2 1)
1554305023.711 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 2 1)
1554305023.711 * * * [misc]progress:  simplifying candidates
1554305023.711 * * * * [misc]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 (+.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))))))>
1554305023.712 * [enter]simplify:  Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
1554305023.712 * * [misc]simplify:  iters left: 4 (9 enodes)
1554305023.716 * * [misc]simplify:  iters left: 3 (21 enodes)
1554305023.723 * * [misc]simplify:  iters left: 2 (27 enodes)
1554305023.730 * * [misc]simplify:  iters left: 1 (28 enodes)
1554305023.737 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305023.737 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305023.737 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1554305023.738 * * [misc]simplify:  Extracting #3: cost 10 inf + 1
1554305023.738 * * [misc]simplify:  Extracting #4: cost 5 inf + 47
1554305023.738 * * [misc]simplify:  Extracting #5: cost 1 inf + 738
1554305023.738 * * [misc]simplify:  Extracting #6: cost 0 inf + 1302
1554305023.738 * [exit]simplify:  Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
1554305023.738 * [misc]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))))))
1554305023.739 * * * * [misc]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 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)))))))>
1554305023.739 * [enter]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)))
1554305023.739 * * [misc]simplify:  iters left: 6 (13 enodes)
1554305023.745 * * [misc]simplify:  iters left: 5 (46 enodes)
1554305023.763 * * [misc]simplify:  iters left: 4 (130 enodes)
1554305023.820 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305023.820 * * [misc]simplify:  Extracting #1: cost 25 inf + 0
1554305023.820 * * [misc]simplify:  Extracting #2: cost 62 inf + 0
1554305023.821 * * [misc]simplify:  Extracting #3: cost 154 inf + 82
1554305023.822 * * [misc]simplify:  Extracting #4: cost 155 inf + 19371
1554305023.827 * * [misc]simplify:  Extracting #5: cost 43 inf + 161234
1554305023.838 * * [misc]simplify:  Extracting #6: cost 2 inf + 235712
1554305023.852 * * [misc]simplify:  Extracting #7: cost 0 inf + 242680
1554305023.866 * [exit]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)))
1554305023.866 * [misc]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)))))))
1554305023.866 * * * * [misc]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 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)))))>
1554305023.866 * [enter]simplify:  Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
1554305023.867 * * [misc]simplify:  iters left: 4 (9 enodes)
1554305023.869 * * [misc]simplify:  iters left: 3 (21 enodes)
1554305023.872 * * [misc]simplify:  iters left: 2 (27 enodes)
1554305023.876 * * [misc]simplify:  iters left: 1 (28 enodes)
1554305023.883 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305023.883 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305023.883 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1554305023.883 * * [misc]simplify:  Extracting #3: cost 10 inf + 1
1554305023.883 * * [misc]simplify:  Extracting #4: cost 1 inf + 738
1554305023.884 * * [misc]simplify:  Extracting #5: cost 0 inf + 1302
1554305023.884 * [exit]simplify:  Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
1554305023.884 * [misc]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)))))
1554305023.884 * * * * [misc]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 (+.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)))))>
1554305023.885 * [enter]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)))
1554305023.885 * * [misc]simplify:  iters left: 6 (13 enodes)
1554305023.891 * * [misc]simplify:  iters left: 5 (46 enodes)
1554305023.903 * * [misc]simplify:  iters left: 4 (130 enodes)
1554305023.961 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305023.962 * * [misc]simplify:  Extracting #1: cost 25 inf + 0
1554305023.962 * * [misc]simplify:  Extracting #2: cost 62 inf + 0
1554305023.963 * * [misc]simplify:  Extracting #3: cost 154 inf + 82
1554305023.965 * * [misc]simplify:  Extracting #4: cost 156 inf + 19005
1554305023.981 * * [misc]simplify:  Extracting #5: cost 37 inf + 171376
1554305024.003 * * [misc]simplify:  Extracting #6: cost 3 inf + 231747
1554305024.026 * * [misc]simplify:  Extracting #7: cost 0 inf + 241279
1554305024.048 * [exit]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)))
1554305024.048 * [misc]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)))))
1554305024.048 * * * * [misc]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)) 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)))))>
1554305024.048 * [enter]simplify:  Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
1554305024.048 * * [misc]simplify:  iters left: 4 (9 enodes)
1554305024.051 * * [misc]simplify:  iters left: 3 (21 enodes)
1554305024.054 * * [misc]simplify:  iters left: 2 (27 enodes)
1554305024.058 * * [misc]simplify:  iters left: 1 (28 enodes)
1554305024.062 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305024.062 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305024.062 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1554305024.062 * * [misc]simplify:  Extracting #3: cost 10 inf + 1
1554305024.062 * * [misc]simplify:  Extracting #4: cost 1 inf + 738
1554305024.062 * * [misc]simplify:  Extracting #5: cost 0 inf + 1302
1554305024.063 * [exit]simplify:  Simplified to (+.p16 a (/.p16 (+.p16 (+.p16 b a) c) (real->posit16 2)))
1554305024.063 * [misc]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)))))
1554305024.063 * [enter]simplify:  Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
1554305024.063 * * [misc]simplify:  iters left: 4 (9 enodes)
1554305024.065 * * [misc]simplify:  iters left: 3 (27 enodes)
1554305024.070 * * [misc]simplify:  iters left: 2 (47 enodes)
1554305024.079 * * [misc]simplify:  iters left: 1 (123 enodes)
1554305024.126 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305024.126 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554305024.126 * * [misc]simplify:  Extracting #2: cost 53 inf + 1
1554305024.127 * * [misc]simplify:  Extracting #3: cost 87 inf + 1044
1554305024.128 * * [misc]simplify:  Extracting #4: cost 139 inf + 5657
1554305024.130 * * [misc]simplify:  Extracting #5: cost 115 inf + 19521
1554305024.136 * * [misc]simplify:  Extracting #6: cost 57 inf + 79064
1554305024.150 * * [misc]simplify:  Extracting #7: cost 8 inf + 157140
1554305024.161 * * [misc]simplify:  Extracting #8: cost 0 inf + 176132
1554305024.172 * [exit]simplify:  Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) a)
1554305024.172 * [misc]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)))))
1554305024.172 * * * * [misc]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))) (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)))))>
1554305024.173 * * * * [misc]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 (+.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)))))>
1554305024.173 * * * * [misc]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)) (/.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)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1554305024.173 * [enter]simplify:  Simplifying (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
1554305024.173 * * [misc]simplify:  iters left: 4 (9 enodes)
1554305024.175 * * [misc]simplify:  iters left: 3 (21 enodes)
1554305024.179 * * [misc]simplify:  iters left: 2 (27 enodes)
1554305024.185 * * [misc]simplify:  iters left: 1 (28 enodes)
1554305024.192 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305024.192 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554305024.192 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1554305024.192 * * [misc]simplify:  Extracting #3: cost 10 inf + 1
1554305024.192 * * [misc]simplify:  Extracting #4: cost 5 inf + 47
1554305024.193 * * [misc]simplify:  Extracting #5: cost 1 inf + 738
1554305024.193 * * [misc]simplify:  Extracting #6: cost 0 inf + 1302
1554305024.193 * [exit]simplify:  Simplified to (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)))
1554305024.193 * [misc]simplify:  Simplified (2 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 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 c (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
1554305024.194 * [enter]simplify:  Simplifying (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
1554305024.194 * * [misc]simplify:  iters left: 4 (9 enodes)
1554305024.198 * * [misc]simplify:  iters left: 3 (27 enodes)
1554305024.207 * * [misc]simplify:  iters left: 2 (47 enodes)
1554305024.217 * * [misc]simplify:  iters left: 1 (123 enodes)
1554305024.257 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305024.257 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554305024.258 * * [misc]simplify:  Extracting #2: cost 52 inf + 82
1554305024.258 * * [misc]simplify:  Extracting #3: cost 87 inf + 1044
1554305024.259 * * [misc]simplify:  Extracting #4: cost 140 inf + 5615
1554305024.260 * * [misc]simplify:  Extracting #5: cost 118 inf + 19272
1554305024.266 * * [misc]simplify:  Extracting #6: cost 57 inf + 79064
1554305024.276 * * [misc]simplify:  Extracting #7: cost 8 inf + 157140
1554305024.285 * * [misc]simplify:  Extracting #8: cost 0 inf + 176132
1554305024.295 * [exit]simplify:  Simplified to (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)
1554305024.295 * [misc]simplify:  Simplified (2 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 a b) c) (real->posit16 2)) b)) (/.p16 (*.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c) (-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))
1554305024.295 * * * * [misc]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))) (*.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))) (neg.p16 (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1554305024.295 * * * * [misc]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 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 (+.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)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)))))>
1554305024.295 * * * * [misc]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 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)))))>
1554305024.295 * * * * [misc]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 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)))))>
1554305024.295 * * * * [misc]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 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)))))>
1554305024.295 * * * * [misc]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 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)))))>
1554305024.296 * * * [misc]progress:  adding candidates to table
1554305024.831 * [misc]progress:  [Phase 3 of 3] Extracting.
1554305024.831 * * [misc]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 (+.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 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 (+.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)) (/.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 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)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) 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 (+.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)))))> #<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 (+.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)) (/.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 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)))))))>)
1554305024.848 * * * [misc]regime-changes:  Trying 3 branch expressions: (c b a)
1554305024.848 * * * * [misc]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 (+.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 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 (+.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)) (/.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 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)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) 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 (+.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)))))> #<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 (+.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)) (/.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 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)))))))>)
1554305025.041 * * * * [misc]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 (+.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 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 (+.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)) (/.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 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)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) 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 (+.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)))))> #<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 (+.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)) (/.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 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)))))))>)
1554305025.201 * * * * [misc]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 (+.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 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 (+.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)) (/.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 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)) c) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) 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 (+.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)))))> #<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 (+.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)) (/.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 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)))))))>)
1554305025.353 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1554305025.353 * [enter]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 (+.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))))
1554305025.353 * * [misc]simplify:  iters left: 6 (19 enodes)
1554305025.354 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554305025.354 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554305025.354 * * [misc]simplify:  Extracting #2: cost 4 inf + 0
1554305025.354 * * [misc]simplify:  Extracting #3: cost 8 inf + 0
1554305025.354 * * [misc]simplify:  Extracting #4: cost 14 inf + 0
1554305025.354 * * [misc]simplify:  Extracting #5: cost 14 inf + 323
1554305025.354 * * [misc]simplify:  Extracting #6: cost 15 inf + 324
1554305025.354 * * [misc]simplify:  Extracting #7: cost 12 inf + 450
1554305025.354 * * [misc]simplify:  Extracting #8: cost 9 inf + 1539
1554305025.355 * * [misc]simplify:  Extracting #9: cost 2 inf + 8807
1554305025.355 * * [misc]simplify:  Extracting #10: cost 0 inf + 14535
1554305025.356 * [exit]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 (+.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))))
1554305025.356 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1554305025.399 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1554305025.405 * * * * [misc]points:  Setting MPFR precision to 64
1554305025.407 * * * * [misc]points:  Setting MPFR precision to 320
1554305025.409 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1554305025.415 * * * * [misc]points:  Setting MPFR precision to 64
1554305025.429 * * * * [misc]points:  Setting MPFR precision to 320
1554305025.431 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1554305025.435 * * * * [misc]points:  Setting MPFR precision to 64
1554305025.441 * * * * [misc]points:  Setting MPFR precision to 320
1554305025.445 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1554305025.449 * * * * [misc]points:  Setting MPFR precision to 64
1554305025.465 * * * * [misc]points:  Setting MPFR precision to 320
1554305025.480 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1554305025.486 * * * * [misc]points:  Setting MPFR precision to 64
1554305025.506 * * * * [misc]points:  Setting MPFR precision to 320
1554305025.533 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1554305025.537 * * * * [misc]points:  Setting MPFR precision to 64
1554305025.616 * * * * [misc]points:  Setting MPFR precision to 320
1554305025.658 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1554305025.664 * * * * [misc]points:  Setting MPFR precision to 64
1554305025.816 * * * * [misc]points:  Setting MPFR precision to 320
1554305025.920 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1554305025.927 * * * * [misc]points:  Setting MPFR precision to 64
1554305026.199 * * * * [misc]points:  Setting MPFR precision to 320
1554305026.911 * * * * [misc]points:  Computing exacts for 8000 points
1554305026.917 * * * * [misc]points:  Setting MPFR precision to 64
1554305028.219 * * * * [misc]points:  Setting MPFR precision to 320
1554305029.568 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305029.575 * * * * [misc]points:  Sampling 6981 additional inputs, on iter 1 have 1019 / 8000
1554305029.671 * * * * [misc]points:  Computing exacts on every 436 of 6981 points to ramp up precision
1554305029.678 * * * * [misc]points:  Setting MPFR precision to 64
1554305029.681 * * * * [misc]points:  Setting MPFR precision to 320
1554305029.683 * * * * [misc]points:  Computing exacts on every 218 of 6981 points to ramp up precision
1554305029.690 * * * * [misc]points:  Setting MPFR precision to 64
1554305029.694 * * * * [misc]points:  Setting MPFR precision to 320
1554305029.698 * * * * [misc]points:  Computing exacts on every 109 of 6981 points to ramp up precision
1554305029.705 * * * * [misc]points:  Setting MPFR precision to 64
1554305029.713 * * * * [misc]points:  Setting MPFR precision to 320
1554305029.722 * * * * [misc]points:  Computing exacts on every 54 of 6981 points to ramp up precision
1554305029.728 * * * * [misc]points:  Setting MPFR precision to 64
1554305029.737 * * * * [misc]points:  Setting MPFR precision to 320
1554305029.746 * * * * [misc]points:  Computing exacts on every 27 of 6981 points to ramp up precision
1554305029.750 * * * * [misc]points:  Setting MPFR precision to 64
1554305029.767 * * * * [misc]points:  Setting MPFR precision to 320
1554305029.785 * * * * [misc]points:  Computing exacts on every 13 of 6981 points to ramp up precision
1554305029.817 * * * * [misc]points:  Setting MPFR precision to 64
1554305029.855 * * * * [misc]points:  Setting MPFR precision to 320
1554305029.891 * * * * [misc]points:  Computing exacts on every 6 of 6981 points to ramp up precision
1554305029.894 * * * * [misc]points:  Setting MPFR precision to 64
1554305030.001 * * * * [misc]points:  Setting MPFR precision to 320
1554305030.072 * * * * [misc]points:  Computing exacts on every 3 of 6981 points to ramp up precision
1554305030.076 * * * * [misc]points:  Setting MPFR precision to 64
1554305030.264 * * * * [misc]points:  Setting MPFR precision to 320
1554305030.750 * * * * [misc]points:  Computing exacts for 6981 points
1554305030.753 * * * * [misc]points:  Setting MPFR precision to 64
1554305031.384 * * * * [misc]points:  Setting MPFR precision to 320
1554305032.215 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305032.221 * * * * [misc]points:  Sampling 6115 additional inputs, on iter 2 have 1885 / 8000
1554305032.269 * * * * [misc]points:  Computing exacts on every 382 of 6115 points to ramp up precision
1554305032.276 * * * * [misc]points:  Setting MPFR precision to 64
1554305032.278 * * * * [misc]points:  Setting MPFR precision to 320
1554305032.280 * * * * [misc]points:  Computing exacts on every 191 of 6115 points to ramp up precision
1554305032.287 * * * * [misc]points:  Setting MPFR precision to 64
1554305032.291 * * * * [misc]points:  Setting MPFR precision to 320
1554305032.296 * * * * [misc]points:  Computing exacts on every 95 of 6115 points to ramp up precision
1554305032.303 * * * * [misc]points:  Setting MPFR precision to 64
1554305032.312 * * * * [misc]points:  Setting MPFR precision to 320
1554305032.320 * * * * [misc]points:  Computing exacts on every 47 of 6115 points to ramp up precision
1554305032.327 * * * * [misc]points:  Setting MPFR precision to 64
1554305032.344 * * * * [misc]points:  Setting MPFR precision to 320
1554305032.362 * * * * [misc]points:  Computing exacts on every 23 of 6115 points to ramp up precision
1554305032.369 * * * * [misc]points:  Setting MPFR precision to 64
1554305032.442 * * * * [misc]points:  Setting MPFR precision to 320
1554305032.476 * * * * [misc]points:  Computing exacts on every 11 of 6115 points to ramp up precision
1554305032.483 * * * * [misc]points:  Setting MPFR precision to 64
1554305032.552 * * * * [misc]points:  Setting MPFR precision to 320
1554305032.617 * * * * [misc]points:  Computing exacts on every 5 of 6115 points to ramp up precision
1554305032.623 * * * * [misc]points:  Setting MPFR precision to 64
1554305032.811 * * * * [misc]points:  Setting MPFR precision to 320
1554305033.002 * * * * [misc]points:  Computing exacts on every 2 of 6115 points to ramp up precision
1554305033.008 * * * * [misc]points:  Setting MPFR precision to 64
1554305033.285 * * * * [misc]points:  Setting MPFR precision to 320
1554305033.521 * * * * [misc]points:  Computing exacts for 6115 points
1554305033.524 * * * * [misc]points:  Setting MPFR precision to 64
1554305034.523 * * * * [misc]points:  Setting MPFR precision to 320
1554305035.121 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305035.126 * * * * [misc]points:  Sampling 5332 additional inputs, on iter 3 have 2668 / 8000
1554305035.166 * * * * [misc]points:  Computing exacts on every 333 of 5332 points to ramp up precision
1554305035.173 * * * * [misc]points:  Setting MPFR precision to 64
1554305035.175 * * * * [misc]points:  Setting MPFR precision to 320
1554305035.177 * * * * [misc]points:  Computing exacts on every 166 of 5332 points to ramp up precision
1554305035.184 * * * * [misc]points:  Setting MPFR precision to 64
1554305035.188 * * * * [misc]points:  Setting MPFR precision to 320
1554305035.192 * * * * [misc]points:  Computing exacts on every 83 of 5332 points to ramp up precision
1554305035.199 * * * * [misc]points:  Setting MPFR precision to 64
1554305035.208 * * * * [misc]points:  Setting MPFR precision to 320
1554305035.250 * * * * [misc]points:  Computing exacts on every 41 of 5332 points to ramp up precision
1554305035.256 * * * * [misc]points:  Setting MPFR precision to 64
1554305035.276 * * * * [misc]points:  Setting MPFR precision to 320
1554305035.292 * * * * [misc]points:  Computing exacts on every 20 of 5332 points to ramp up precision
1554305035.299 * * * * [misc]points:  Setting MPFR precision to 64
1554305035.335 * * * * [misc]points:  Setting MPFR precision to 320
1554305035.367 * * * * [misc]points:  Computing exacts on every 10 of 5332 points to ramp up precision
1554305035.374 * * * * [misc]points:  Setting MPFR precision to 64
1554305035.431 * * * * [misc]points:  Setting MPFR precision to 320
1554305035.533 * * * * [misc]points:  Computing exacts on every 5 of 5332 points to ramp up precision
1554305035.540 * * * * [misc]points:  Setting MPFR precision to 64
1554305035.652 * * * * [misc]points:  Setting MPFR precision to 320
1554305035.817 * * * * [misc]points:  Computing exacts on every 2 of 5332 points to ramp up precision
1554305035.824 * * * * [misc]points:  Setting MPFR precision to 64
1554305035.998 * * * * [misc]points:  Setting MPFR precision to 320
1554305036.159 * * * * [misc]points:  Computing exacts for 5332 points
1554305036.162 * * * * [misc]points:  Setting MPFR precision to 64
1554305036.968 * * * * [misc]points:  Setting MPFR precision to 320
1554305037.830 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305037.834 * * * * [misc]points:  Sampling 4705 additional inputs, on iter 4 have 3295 / 8000
1554305037.869 * * * * [misc]points:  Computing exacts on every 294 of 4705 points to ramp up precision
1554305037.876 * * * * [misc]points:  Setting MPFR precision to 64
1554305037.879 * * * * [misc]points:  Setting MPFR precision to 320
1554305037.881 * * * * [misc]points:  Computing exacts on every 147 of 4705 points to ramp up precision
1554305037.888 * * * * [misc]points:  Setting MPFR precision to 64
1554305037.892 * * * * [misc]points:  Setting MPFR precision to 320
1554305037.896 * * * * [misc]points:  Computing exacts on every 73 of 4705 points to ramp up precision
1554305037.904 * * * * [misc]points:  Setting MPFR precision to 64
1554305037.912 * * * * [misc]points:  Setting MPFR precision to 320
1554305037.920 * * * * [misc]points:  Computing exacts on every 36 of 4705 points to ramp up precision
1554305037.927 * * * * [misc]points:  Setting MPFR precision to 64
1554305037.981 * * * * [misc]points:  Setting MPFR precision to 320
1554305037.999 * * * * [misc]points:  Computing exacts on every 18 of 4705 points to ramp up precision
1554305038.006 * * * * [misc]points:  Setting MPFR precision to 64
1554305038.039 * * * * [misc]points:  Setting MPFR precision to 320
1554305038.061 * * * * [misc]points:  Computing exacts on every 9 of 4705 points to ramp up precision
1554305038.065 * * * * [misc]points:  Setting MPFR precision to 64
1554305038.117 * * * * [misc]points:  Setting MPFR precision to 320
1554305038.207 * * * * [misc]points:  Computing exacts on every 4 of 4705 points to ramp up precision
1554305038.214 * * * * [misc]points:  Setting MPFR precision to 64
1554305038.339 * * * * [misc]points:  Setting MPFR precision to 320
1554305038.521 * * * * [misc]points:  Computing exacts on every 2 of 4705 points to ramp up precision
1554305038.528 * * * * [misc]points:  Setting MPFR precision to 64
1554305038.792 * * * * [misc]points:  Setting MPFR precision to 320
1554305039.014 * * * * [misc]points:  Computing exacts for 4705 points
1554305039.021 * * * * [misc]points:  Setting MPFR precision to 64
1554305039.796 * * * * [misc]points:  Setting MPFR precision to 320
1554305040.613 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305040.617 * * * * [misc]points:  Sampling 4117 additional inputs, on iter 5 have 3883 / 8000
1554305040.648 * * * * [misc]points:  Computing exacts on every 257 of 4117 points to ramp up precision
1554305040.655 * * * * [misc]points:  Setting MPFR precision to 64
1554305040.658 * * * * [misc]points:  Setting MPFR precision to 320
1554305040.660 * * * * [misc]points:  Computing exacts on every 128 of 4117 points to ramp up precision
1554305040.668 * * * * [misc]points:  Setting MPFR precision to 64
1554305040.673 * * * * [misc]points:  Setting MPFR precision to 320
1554305040.677 * * * * [misc]points:  Computing exacts on every 64 of 4117 points to ramp up precision
1554305040.685 * * * * [misc]points:  Setting MPFR precision to 64
1554305040.692 * * * * [misc]points:  Setting MPFR precision to 320
1554305040.700 * * * * [misc]points:  Computing exacts on every 32 of 4117 points to ramp up precision
1554305040.707 * * * * [misc]points:  Setting MPFR precision to 64
1554305040.722 * * * * [misc]points:  Setting MPFR precision to 320
1554305040.731 * * * * [misc]points:  Computing exacts on every 16 of 4117 points to ramp up precision
1554305041.123 * * * * [misc]points:  Setting MPFR precision to 64
1554305041.160 * * * * [misc]points:  Setting MPFR precision to 320
1554305041.193 * * * * [misc]points:  Computing exacts on every 8 of 4117 points to ramp up precision
1554305041.200 * * * * [misc]points:  Setting MPFR precision to 64
1554305041.260 * * * * [misc]points:  Setting MPFR precision to 320
1554305041.322 * * * * [misc]points:  Computing exacts on every 4 of 4117 points to ramp up precision
1554305041.329 * * * * [misc]points:  Setting MPFR precision to 64
1554305041.487 * * * * [misc]points:  Setting MPFR precision to 320
1554305041.600 * * * * [misc]points:  Computing exacts on every 2 of 4117 points to ramp up precision
1554305041.656 * * * * [misc]points:  Setting MPFR precision to 64
1554305041.800 * * * * [misc]points:  Setting MPFR precision to 320
1554305041.961 * * * * [misc]points:  Computing exacts for 4117 points
1554305041.965 * * * * [misc]points:  Setting MPFR precision to 64
1554305042.408 * * * * [misc]points:  Setting MPFR precision to 320
1554305042.905 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305042.908 * * * * [misc]points:  Sampling 3574 additional inputs, on iter 6 have 4426 / 8000
1554305042.974 * * * * [misc]points:  Computing exacts on every 223 of 3574 points to ramp up precision
1554305042.978 * * * * [misc]points:  Setting MPFR precision to 64
1554305042.979 * * * * [misc]points:  Setting MPFR precision to 320
1554305042.980 * * * * [misc]points:  Computing exacts on every 111 of 3574 points to ramp up precision
1554305042.984 * * * * [misc]points:  Setting MPFR precision to 64
1554305042.986 * * * * [misc]points:  Setting MPFR precision to 320
1554305042.988 * * * * [misc]points:  Computing exacts on every 55 of 3574 points to ramp up precision
1554305042.991 * * * * [misc]points:  Setting MPFR precision to 64
1554305042.996 * * * * [misc]points:  Setting MPFR precision to 320
1554305043.001 * * * * [misc]points:  Computing exacts on every 27 of 3574 points to ramp up precision
1554305043.004 * * * * [misc]points:  Setting MPFR precision to 64
1554305043.013 * * * * [misc]points:  Setting MPFR precision to 320
1554305043.023 * * * * [misc]points:  Computing exacts on every 13 of 3574 points to ramp up precision
1554305043.026 * * * * [misc]points:  Setting MPFR precision to 64
1554305043.044 * * * * [misc]points:  Setting MPFR precision to 320
1554305043.063 * * * * [misc]points:  Computing exacts on every 6 of 3574 points to ramp up precision
1554305043.094 * * * * [misc]points:  Setting MPFR precision to 64
1554305043.135 * * * * [misc]points:  Setting MPFR precision to 320
1554305043.172 * * * * [misc]points:  Computing exacts on every 3 of 3574 points to ramp up precision
1554305043.175 * * * * [misc]points:  Setting MPFR precision to 64
1554305043.270 * * * * [misc]points:  Setting MPFR precision to 320
1554305043.335 * * * * [misc]points:  Computing exacts for 3574 points
1554305043.339 * * * * [misc]points:  Setting MPFR precision to 64
1554305043.694 * * * * [misc]points:  Setting MPFR precision to 320
1554305044.289 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305044.290 * * * * [misc]points:  Sampling 3106 additional inputs, on iter 7 have 4894 / 8000
1554305044.303 * * * * [misc]points:  Computing exacts on every 194 of 3106 points to ramp up precision
1554305044.307 * * * * [misc]points:  Setting MPFR precision to 64
1554305044.308 * * * * [misc]points:  Setting MPFR precision to 320
1554305044.309 * * * * [misc]points:  Computing exacts on every 97 of 3106 points to ramp up precision
1554305044.312 * * * * [misc]points:  Setting MPFR precision to 64
1554305044.315 * * * * [misc]points:  Setting MPFR precision to 320
1554305044.317 * * * * [misc]points:  Computing exacts on every 48 of 3106 points to ramp up precision
1554305044.320 * * * * [misc]points:  Setting MPFR precision to 64
1554305044.325 * * * * [misc]points:  Setting MPFR precision to 320
1554305044.330 * * * * [misc]points:  Computing exacts on every 24 of 3106 points to ramp up precision
1554305044.333 * * * * [misc]points:  Setting MPFR precision to 64
1554305044.343 * * * * [misc]points:  Setting MPFR precision to 320
1554305044.352 * * * * [misc]points:  Computing exacts on every 12 of 3106 points to ramp up precision
1554305044.356 * * * * [misc]points:  Setting MPFR precision to 64
1554305044.394 * * * * [misc]points:  Setting MPFR precision to 320
1554305044.412 * * * * [misc]points:  Computing exacts on every 6 of 3106 points to ramp up precision
1554305044.415 * * * * [misc]points:  Setting MPFR precision to 64
1554305044.448 * * * * [misc]points:  Setting MPFR precision to 320
1554305044.479 * * * * [misc]points:  Computing exacts on every 3 of 3106 points to ramp up precision
1554305044.484 * * * * [misc]points:  Setting MPFR precision to 64
1554305044.575 * * * * [misc]points:  Setting MPFR precision to 320
1554305044.631 * * * * [misc]points:  Computing exacts for 3106 points
1554305044.635 * * * * [misc]points:  Setting MPFR precision to 64
1554305044.929 * * * * [misc]points:  Setting MPFR precision to 320
1554305045.239 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305045.240 * * * * [misc]points:  Sampling 2733 additional inputs, on iter 8 have 5267 / 8000
1554305045.252 * * * * [misc]points:  Computing exacts on every 170 of 2733 points to ramp up precision
1554305045.256 * * * * [misc]points:  Setting MPFR precision to 64
1554305045.258 * * * * [misc]points:  Setting MPFR precision to 320
1554305045.259 * * * * [misc]points:  Computing exacts on every 85 of 2733 points to ramp up precision
1554305045.262 * * * * [misc]points:  Setting MPFR precision to 64
1554305045.264 * * * * [misc]points:  Setting MPFR precision to 320
1554305045.267 * * * * [misc]points:  Computing exacts on every 42 of 2733 points to ramp up precision
1554305045.299 * * * * [misc]points:  Setting MPFR precision to 64
1554305045.310 * * * * [misc]points:  Setting MPFR precision to 320
1554305045.318 * * * * [misc]points:  Computing exacts on every 21 of 2733 points to ramp up precision
1554305045.325 * * * * [misc]points:  Setting MPFR precision to 64
1554305045.342 * * * * [misc]points:  Setting MPFR precision to 320
1554305045.359 * * * * [misc]points:  Computing exacts on every 10 of 2733 points to ramp up precision
1554305045.366 * * * * [misc]points:  Setting MPFR precision to 64
1554305045.399 * * * * [misc]points:  Setting MPFR precision to 320
1554305045.433 * * * * [misc]points:  Computing exacts on every 5 of 2733 points to ramp up precision
1554305045.440 * * * * [misc]points:  Setting MPFR precision to 64
1554305045.541 * * * * [misc]points:  Setting MPFR precision to 320
1554305045.604 * * * * [misc]points:  Computing exacts on every 2 of 2733 points to ramp up precision
1554305045.611 * * * * [misc]points:  Setting MPFR precision to 64
1554305045.727 * * * * [misc]points:  Setting MPFR precision to 320
1554305045.832 * * * * [misc]points:  Computing exacts for 2733 points
1554305045.836 * * * * [misc]points:  Setting MPFR precision to 64
1554305046.236 * * * * [misc]points:  Setting MPFR precision to 320
1554305046.514 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305046.516 * * * * [misc]points:  Sampling 2412 additional inputs, on iter 9 have 5588 / 8000
1554305046.579 * * * * [misc]points:  Computing exacts on every 150 of 2412 points to ramp up precision
1554305046.584 * * * * [misc]points:  Setting MPFR precision to 64
1554305046.586 * * * * [misc]points:  Setting MPFR precision to 320
1554305046.587 * * * * [misc]points:  Computing exacts on every 75 of 2412 points to ramp up precision
1554305046.590 * * * * [misc]points:  Setting MPFR precision to 64
1554305046.592 * * * * [misc]points:  Setting MPFR precision to 320
1554305046.594 * * * * [misc]points:  Computing exacts on every 37 of 2412 points to ramp up precision
1554305046.598 * * * * [misc]points:  Setting MPFR precision to 64
1554305046.602 * * * * [misc]points:  Setting MPFR precision to 320
1554305046.607 * * * * [misc]points:  Computing exacts on every 18 of 2412 points to ramp up precision
1554305046.610 * * * * [misc]points:  Setting MPFR precision to 64
1554305046.618 * * * * [misc]points:  Setting MPFR precision to 320
1554305046.627 * * * * [misc]points:  Computing exacts on every 9 of 2412 points to ramp up precision
1554305046.630 * * * * [misc]points:  Setting MPFR precision to 64
1554305046.647 * * * * [misc]points:  Setting MPFR precision to 320
1554305046.663 * * * * [misc]points:  Computing exacts on every 4 of 2412 points to ramp up precision
1554305046.667 * * * * [misc]points:  Setting MPFR precision to 64
1554305046.725 * * * * [misc]points:  Setting MPFR precision to 320
1554305046.759 * * * * [misc]points:  Computing exacts on every 2 of 2412 points to ramp up precision
1554305046.763 * * * * [misc]points:  Setting MPFR precision to 64
1554305047.137 * * * * [misc]points:  Setting MPFR precision to 320
1554305047.194 * * * * [misc]points:  Computing exacts for 2412 points
1554305047.197 * * * * [misc]points:  Setting MPFR precision to 64
1554305047.430 * * * * [misc]points:  Setting MPFR precision to 320
1554305047.631 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305047.632 * * * * [misc]points:  Sampling 2086 additional inputs, on iter 10 have 5914 / 8000
1554305047.645 * * * * [misc]points:  Computing exacts on every 130 of 2086 points to ramp up precision
1554305047.652 * * * * [misc]points:  Setting MPFR precision to 64
1554305047.654 * * * * [misc]points:  Setting MPFR precision to 320
1554305047.656 * * * * [misc]points:  Computing exacts on every 65 of 2086 points to ramp up precision
1554305047.662 * * * * [misc]points:  Setting MPFR precision to 64
1554305047.666 * * * * [misc]points:  Setting MPFR precision to 320
1554305047.668 * * * * [misc]points:  Computing exacts on every 32 of 2086 points to ramp up precision
1554305047.671 * * * * [misc]points:  Setting MPFR precision to 64
1554305047.676 * * * * [misc]points:  Setting MPFR precision to 320
1554305047.714 * * * * [misc]points:  Computing exacts on every 16 of 2086 points to ramp up precision
1554305047.720 * * * * [misc]points:  Setting MPFR precision to 64
1554305047.732 * * * * [misc]points:  Setting MPFR precision to 320
1554305047.741 * * * * [misc]points:  Computing exacts on every 8 of 2086 points to ramp up precision
1554305047.744 * * * * [misc]points:  Setting MPFR precision to 64
1554305047.760 * * * * [misc]points:  Setting MPFR precision to 320
1554305047.776 * * * * [misc]points:  Computing exacts on every 4 of 2086 points to ramp up precision
1554305047.780 * * * * [misc]points:  Setting MPFR precision to 64
1554305047.818 * * * * [misc]points:  Setting MPFR precision to 320
1554305047.876 * * * * [misc]points:  Computing exacts on every 2 of 2086 points to ramp up precision
1554305047.879 * * * * [misc]points:  Setting MPFR precision to 64
1554305047.928 * * * * [misc]points:  Setting MPFR precision to 320
1554305048.005 * * * * [misc]points:  Computing exacts for 2086 points
1554305048.009 * * * * [misc]points:  Setting MPFR precision to 64
1554305048.186 * * * * [misc]points:  Setting MPFR precision to 320
1554305048.367 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305048.368 * * * * [misc]points:  Sampling 1832 additional inputs, on iter 11 have 6168 / 8000
1554305048.376 * * * * [misc]points:  Computing exacts on every 114 of 1832 points to ramp up precision
1554305048.380 * * * * [misc]points:  Setting MPFR precision to 64
1554305048.381 * * * * [misc]points:  Setting MPFR precision to 320
1554305048.382 * * * * [misc]points:  Computing exacts on every 57 of 1832 points to ramp up precision
1554305048.386 * * * * [misc]points:  Setting MPFR precision to 64
1554305048.388 * * * * [misc]points:  Setting MPFR precision to 320
1554305048.390 * * * * [misc]points:  Computing exacts on every 28 of 1832 points to ramp up precision
1554305048.393 * * * * [misc]points:  Setting MPFR precision to 64
1554305048.398 * * * * [misc]points:  Setting MPFR precision to 320
1554305048.402 * * * * [misc]points:  Computing exacts on every 14 of 1832 points to ramp up precision
1554305048.430 * * * * [misc]points:  Setting MPFR precision to 64
1554305048.440 * * * * [misc]points:  Setting MPFR precision to 320
1554305048.450 * * * * [misc]points:  Computing exacts on every 7 of 1832 points to ramp up precision
1554305048.454 * * * * [misc]points:  Setting MPFR precision to 64
1554305048.469 * * * * [misc]points:  Setting MPFR precision to 320
1554305048.485 * * * * [misc]points:  Computing exacts on every 3 of 1832 points to ramp up precision
1554305048.489 * * * * [misc]points:  Setting MPFR precision to 64
1554305048.520 * * * * [misc]points:  Setting MPFR precision to 320
1554305048.583 * * * * [misc]points:  Computing exacts for 1832 points
1554305048.587 * * * * [misc]points:  Setting MPFR precision to 64
1554305048.749 * * * * [misc]points:  Setting MPFR precision to 320
1554305048.909 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305048.910 * * * * [misc]points:  Sampling 1610 additional inputs, on iter 12 have 6390 / 8000
1554305048.916 * * * * [misc]points:  Computing exacts on every 100 of 1610 points to ramp up precision
1554305048.920 * * * * [misc]points:  Setting MPFR precision to 64
1554305048.922 * * * * [misc]points:  Setting MPFR precision to 320
1554305048.923 * * * * [misc]points:  Computing exacts on every 50 of 1610 points to ramp up precision
1554305048.927 * * * * [misc]points:  Setting MPFR precision to 64
1554305048.929 * * * * [misc]points:  Setting MPFR precision to 320
1554305048.931 * * * * [misc]points:  Computing exacts on every 25 of 1610 points to ramp up precision
1554305048.935 * * * * [misc]points:  Setting MPFR precision to 64
1554305048.939 * * * * [misc]points:  Setting MPFR precision to 320
1554305048.943 * * * * [misc]points:  Computing exacts on every 12 of 1610 points to ramp up precision
1554305048.947 * * * * [misc]points:  Setting MPFR precision to 64
1554305048.956 * * * * [misc]points:  Setting MPFR precision to 320
1554305048.966 * * * * [misc]points:  Computing exacts on every 6 of 1610 points to ramp up precision
1554305048.994 * * * * [misc]points:  Setting MPFR precision to 64
1554305049.012 * * * * [misc]points:  Setting MPFR precision to 320
1554305049.027 * * * * [misc]points:  Computing exacts on every 3 of 1610 points to ramp up precision
1554305049.030 * * * * [misc]points:  Setting MPFR precision to 64
1554305049.057 * * * * [misc]points:  Setting MPFR precision to 320
1554305049.085 * * * * [misc]points:  Computing exacts for 1610 points
1554305049.089 * * * * [misc]points:  Setting MPFR precision to 64
1554305049.222 * * * * [misc]points:  Setting MPFR precision to 320
1554305049.367 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305049.367 * * * * [misc]points:  Sampling 1408 additional inputs, on iter 13 have 6592 / 8000
1554305049.373 * * * * [misc]points:  Computing exacts on every 88 of 1408 points to ramp up precision
1554305049.378 * * * * [misc]points:  Setting MPFR precision to 64
1554305049.598 * * * * [misc]points:  Setting MPFR precision to 320
1554305049.599 * * * * [misc]points:  Computing exacts on every 44 of 1408 points to ramp up precision
1554305049.603 * * * * [misc]points:  Setting MPFR precision to 64
1554305049.605 * * * * [misc]points:  Setting MPFR precision to 320
1554305049.608 * * * * [misc]points:  Computing exacts on every 22 of 1408 points to ramp up precision
1554305049.612 * * * * [misc]points:  Setting MPFR precision to 64
1554305049.616 * * * * [misc]points:  Setting MPFR precision to 320
1554305049.620 * * * * [misc]points:  Computing exacts on every 11 of 1408 points to ramp up precision
1554305049.624 * * * * [misc]points:  Setting MPFR precision to 64
1554305049.631 * * * * [misc]points:  Setting MPFR precision to 320
1554305049.639 * * * * [misc]points:  Computing exacts on every 5 of 1408 points to ramp up precision
1554305049.643 * * * * [misc]points:  Setting MPFR precision to 64
1554305049.659 * * * * [misc]points:  Setting MPFR precision to 320
1554305049.674 * * * * [misc]points:  Computing exacts on every 2 of 1408 points to ramp up precision
1554305049.678 * * * * [misc]points:  Setting MPFR precision to 64
1554305049.734 * * * * [misc]points:  Setting MPFR precision to 320
1554305049.764 * * * * [misc]points:  Computing exacts for 1408 points
1554305049.767 * * * * [misc]points:  Setting MPFR precision to 64
1554305049.887 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.015 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305050.015 * * * * [misc]points:  Sampling 1231 additional inputs, on iter 14 have 6769 / 8000
1554305050.021 * * * * [misc]points:  Computing exacts on every 76 of 1231 points to ramp up precision
1554305050.024 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.025 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.026 * * * * [misc]points:  Computing exacts on every 38 of 1231 points to ramp up precision
1554305050.030 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.032 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.034 * * * * [misc]points:  Computing exacts on every 19 of 1231 points to ramp up precision
1554305050.037 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.041 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.046 * * * * [misc]points:  Computing exacts on every 9 of 1231 points to ramp up precision
1554305050.049 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.057 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.066 * * * * [misc]points:  Computing exacts on every 4 of 1231 points to ramp up precision
1554305050.070 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.087 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.128 * * * * [misc]points:  Computing exacts on every 2 of 1231 points to ramp up precision
1554305050.131 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.158 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.186 * * * * [misc]points:  Computing exacts for 1231 points
1554305050.190 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.297 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.412 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305050.412 * * * * [misc]points:  Sampling 1058 additional inputs, on iter 15 have 6942 / 8000
1554305050.417 * * * * [misc]points:  Computing exacts on every 66 of 1058 points to ramp up precision
1554305050.420 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.421 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.422 * * * * [misc]points:  Computing exacts on every 33 of 1058 points to ramp up precision
1554305050.426 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.428 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.431 * * * * [misc]points:  Computing exacts on every 16 of 1058 points to ramp up precision
1554305050.434 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.439 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.444 * * * * [misc]points:  Computing exacts on every 8 of 1058 points to ramp up precision
1554305050.447 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.455 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.463 * * * * [misc]points:  Computing exacts on every 4 of 1058 points to ramp up precision
1554305050.466 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.480 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.519 * * * * [misc]points:  Computing exacts on every 2 of 1058 points to ramp up precision
1554305050.523 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.546 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.570 * * * * [misc]points:  Computing exacts for 1058 points
1554305050.574 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.674 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.745 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305050.745 * * * * [misc]points:  Sampling 925 additional inputs, on iter 16 have 7075 / 8000
1554305050.749 * * * * [misc]points:  Computing exacts on every 57 of 925 points to ramp up precision
1554305050.752 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.782 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.783 * * * * [misc]points:  Computing exacts on every 28 of 925 points to ramp up precision
1554305050.786 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.789 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.793 * * * * [misc]points:  Computing exacts on every 14 of 925 points to ramp up precision
1554305050.796 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.801 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.807 * * * * [misc]points:  Computing exacts on every 7 of 925 points to ramp up precision
1554305050.810 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.818 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.825 * * * * [misc]points:  Computing exacts on every 3 of 925 points to ramp up precision
1554305050.829 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.844 * * * * [misc]points:  Setting MPFR precision to 320
1554305050.860 * * * * [misc]points:  Computing exacts for 925 points
1554305050.863 * * * * [misc]points:  Setting MPFR precision to 64
1554305050.951 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.012 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305051.012 * * * * [misc]points:  Sampling 813 additional inputs, on iter 17 have 7187 / 8000
1554305051.016 * * * * [misc]points:  Computing exacts on every 50 of 813 points to ramp up precision
1554305051.050 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.052 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.053 * * * * [misc]points:  Computing exacts on every 25 of 813 points to ramp up precision
1554305051.056 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.060 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.063 * * * * [misc]points:  Computing exacts on every 12 of 813 points to ramp up precision
1554305051.066 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.071 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.075 * * * * [misc]points:  Computing exacts on every 6 of 813 points to ramp up precision
1554305051.079 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.087 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.094 * * * * [misc]points:  Computing exacts on every 3 of 813 points to ramp up precision
1554305051.098 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.111 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.125 * * * * [misc]points:  Computing exacts for 813 points
1554305051.129 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.208 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.262 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305051.263 * * * * [misc]points:  Sampling 710 additional inputs, on iter 18 have 7290 / 8000
1554305051.265 * * * * [misc]points:  Computing exacts on every 44 of 710 points to ramp up precision
1554305051.269 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.270 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.271 * * * * [misc]points:  Computing exacts on every 22 of 710 points to ramp up precision
1554305051.307 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.310 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.312 * * * * [misc]points:  Computing exacts on every 11 of 710 points to ramp up precision
1554305051.315 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.321 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.325 * * * * [misc]points:  Computing exacts on every 5 of 710 points to ramp up precision
1554305051.328 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.336 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.344 * * * * [misc]points:  Computing exacts on every 2 of 710 points to ramp up precision
1554305051.347 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.362 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.378 * * * * [misc]points:  Computing exacts for 710 points
1554305051.381 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.458 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.503 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305051.504 * * * * [misc]points:  Sampling 624 additional inputs, on iter 19 have 7376 / 8000
1554305051.506 * * * * [misc]points:  Computing exacts on every 39 of 624 points to ramp up precision
1554305051.510 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.511 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.512 * * * * [misc]points:  Computing exacts on every 19 of 624 points to ramp up precision
1554305051.515 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.517 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.519 * * * * [misc]points:  Computing exacts on every 9 of 624 points to ramp up precision
1554305051.523 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.527 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.531 * * * * [misc]points:  Computing exacts on every 4 of 624 points to ramp up precision
1554305051.564 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.574 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.582 * * * * [misc]points:  Computing exacts on every 2 of 624 points to ramp up precision
1554305051.586 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.599 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.612 * * * * [misc]points:  Computing exacts for 624 points
1554305051.615 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.655 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.727 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305051.727 * * * * [misc]points:  Sampling 554 additional inputs, on iter 20 have 7446 / 8000
1554305051.729 * * * * [misc]points:  Computing exacts on every 34 of 554 points to ramp up precision
1554305051.733 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.734 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.735 * * * * [misc]points:  Computing exacts on every 17 of 554 points to ramp up precision
1554305051.738 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.740 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.742 * * * * [misc]points:  Computing exacts on every 8 of 554 points to ramp up precision
1554305051.745 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.749 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.753 * * * * [misc]points:  Computing exacts on every 4 of 554 points to ramp up precision
1554305051.757 * * * * [misc]points:  Setting MPFR precision to 64
1554305051.764 * * * * [misc]points:  Setting MPFR precision to 320
1554305051.771 * * * * [misc]points:  Computing exacts on every 2 of 554 points to ramp up precision
1554305051.774 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.073 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.087 * * * * [misc]points:  Computing exacts for 554 points
1554305052.090 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.126 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.163 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305052.164 * * * * [misc]points:  Sampling 492 additional inputs, on iter 21 have 7508 / 8000
1554305052.166 * * * * [misc]points:  Computing exacts on every 30 of 492 points to ramp up precision
1554305052.169 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.170 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.171 * * * * [misc]points:  Computing exacts on every 15 of 492 points to ramp up precision
1554305052.174 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.202 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.204 * * * * [misc]points:  Computing exacts on every 7 of 492 points to ramp up precision
1554305052.208 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.214 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.218 * * * * [misc]points:  Computing exacts on every 3 of 492 points to ramp up precision
1554305052.222 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.230 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.238 * * * * [misc]points:  Computing exacts for 492 points
1554305052.241 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.273 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.333 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305052.334 * * * * [misc]points:  Sampling 427 additional inputs, on iter 22 have 7573 / 8000
1554305052.335 * * * * [misc]points:  Computing exacts on every 26 of 427 points to ramp up precision
1554305052.339 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.340 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.343 * * * * [misc]points:  Computing exacts on every 13 of 427 points to ramp up precision
1554305052.346 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.348 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.350 * * * * [misc]points:  Computing exacts on every 6 of 427 points to ramp up precision
1554305052.353 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.357 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.361 * * * * [misc]points:  Computing exacts on every 3 of 427 points to ramp up precision
1554305052.365 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.372 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.379 * * * * [misc]points:  Computing exacts for 427 points
1554305052.382 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.411 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.465 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305052.465 * * * * [misc]points:  Sampling 382 additional inputs, on iter 23 have 7618 / 8000
1554305052.467 * * * * [misc]points:  Computing exacts on every 23 of 382 points to ramp up precision
1554305052.470 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.471 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.473 * * * * [misc]points:  Computing exacts on every 11 of 382 points to ramp up precision
1554305052.476 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.478 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.480 * * * * [misc]points:  Computing exacts on every 5 of 382 points to ramp up precision
1554305052.483 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.488 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.492 * * * * [misc]points:  Computing exacts on every 2 of 382 points to ramp up precision
1554305052.495 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.504 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.512 * * * * [misc]points:  Computing exacts for 382 points
1554305052.516 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.541 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.592 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305052.592 * * * * [misc]points:  Sampling 338 additional inputs, on iter 24 have 7662 / 8000
1554305052.593 * * * * [misc]points:  Computing exacts on every 21 of 338 points to ramp up precision
1554305052.597 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.598 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.599 * * * * [misc]points:  Computing exacts on every 10 of 338 points to ramp up precision
1554305052.602 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.604 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.606 * * * * [misc]points:  Computing exacts on every 5 of 338 points to ramp up precision
1554305052.609 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.613 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.617 * * * * [misc]points:  Computing exacts on every 2 of 338 points to ramp up precision
1554305052.620 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.628 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.635 * * * * [misc]points:  Computing exacts for 338 points
1554305052.639 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.662 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.709 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305052.709 * * * * [misc]points:  Sampling 291 additional inputs, on iter 25 have 7709 / 8000
1554305052.711 * * * * [misc]points:  Computing exacts on every 18 of 291 points to ramp up precision
1554305052.714 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.715 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.716 * * * * [misc]points:  Computing exacts on every 9 of 291 points to ramp up precision
1554305052.719 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.721 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.723 * * * * [misc]points:  Computing exacts on every 4 of 291 points to ramp up precision
1554305052.727 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.730 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.734 * * * * [misc]points:  Computing exacts on every 2 of 291 points to ramp up precision
1554305052.738 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.744 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.751 * * * * [misc]points:  Computing exacts for 291 points
1554305052.754 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.775 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.818 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305052.818 * * * * [misc]points:  Sampling 256 additional inputs, on iter 26 have 7744 / 8000
1554305052.819 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1554305052.824 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.826 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.827 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1554305052.830 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.832 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.834 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1554305052.837 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.840 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.844 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1554305052.847 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.853 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.858 * * * * [misc]points:  Computing exacts for 256 points
1554305052.862 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.879 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.898 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305052.899 * * * * [misc]points:  Sampling 215 additional inputs, on iter 27 have 7785 / 8000
1554305052.899 * * * * [misc]points:  Computing exacts on every 13 of 215 points to ramp up precision
1554305052.903 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.904 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.905 * * * * [misc]points:  Computing exacts on every 6 of 215 points to ramp up precision
1554305052.928 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.930 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.932 * * * * [misc]points:  Computing exacts on every 3 of 215 points to ramp up precision
1554305052.937 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.941 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.944 * * * * [misc]points:  Computing exacts for 215 points
1554305052.948 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.962 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.976 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305052.976 * * * * [misc]points:  Sampling 183 additional inputs, on iter 28 have 7817 / 8000
1554305052.977 * * * * [misc]points:  Computing exacts on every 11 of 183 points to ramp up precision
1554305052.980 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.982 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.983 * * * * [misc]points:  Computing exacts on every 5 of 183 points to ramp up precision
1554305052.986 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.989 * * * * [misc]points:  Setting MPFR precision to 320
1554305052.991 * * * * [misc]points:  Computing exacts on every 2 of 183 points to ramp up precision
1554305052.994 * * * * [misc]points:  Setting MPFR precision to 64
1554305052.999 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.003 * * * * [misc]points:  Computing exacts for 183 points
1554305053.007 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.020 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.052 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.052 * * * * [misc]points:  Sampling 162 additional inputs, on iter 29 have 7838 / 8000
1554305053.053 * * * * [misc]points:  Computing exacts on every 10 of 162 points to ramp up precision
1554305053.056 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.057 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.058 * * * * [misc]points:  Computing exacts on every 5 of 162 points to ramp up precision
1554305053.061 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.063 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.065 * * * * [misc]points:  Computing exacts on every 2 of 162 points to ramp up precision
1554305053.068 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.072 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.075 * * * * [misc]points:  Computing exacts for 162 points
1554305053.079 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.089 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.101 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.101 * * * * [misc]points:  Sampling 144 additional inputs, on iter 30 have 7856 / 8000
1554305053.101 * * * * [misc]points:  Computing exacts on every 9 of 144 points to ramp up precision
1554305053.105 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.106 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.107 * * * * [misc]points:  Computing exacts on every 4 of 144 points to ramp up precision
1554305053.110 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.112 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.114 * * * * [misc]points:  Computing exacts on every 2 of 144 points to ramp up precision
1554305053.117 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.120 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.123 * * * * [misc]points:  Computing exacts for 144 points
1554305053.147 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.158 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.167 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.167 * * * * [misc]points:  Sampling 130 additional inputs, on iter 31 have 7870 / 8000
1554305053.168 * * * * [misc]points:  Computing exacts on every 8 of 130 points to ramp up precision
1554305053.171 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.172 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.173 * * * * [misc]points:  Computing exacts on every 4 of 130 points to ramp up precision
1554305053.176 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.178 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.180 * * * * [misc]points:  Computing exacts on every 2 of 130 points to ramp up precision
1554305053.183 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.186 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.189 * * * * [misc]points:  Computing exacts for 130 points
1554305053.192 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.201 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.210 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.211 * * * * [misc]points:  Sampling 116 additional inputs, on iter 32 have 7884 / 8000
1554305053.211 * * * * [misc]points:  Computing exacts on every 7 of 116 points to ramp up precision
1554305053.214 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.215 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.216 * * * * [misc]points:  Computing exacts on every 3 of 116 points to ramp up precision
1554305053.219 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.222 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.223 * * * * [misc]points:  Computing exacts for 116 points
1554305053.227 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.234 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.264 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.264 * * * * [misc]points:  Sampling 103 additional inputs, on iter 33 have 7897 / 8000
1554305053.264 * * * * [misc]points:  Computing exacts on every 6 of 103 points to ramp up precision
1554305053.269 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.270 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.271 * * * * [misc]points:  Computing exacts on every 3 of 103 points to ramp up precision
1554305053.275 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.276 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.278 * * * * [misc]points:  Computing exacts for 103 points
1554305053.281 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.288 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.295 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.295 * * * * [misc]points:  Sampling 93 additional inputs, on iter 34 have 7907 / 8000
1554305053.296 * * * * [misc]points:  Computing exacts on every 5 of 93 points to ramp up precision
1554305053.299 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.300 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.301 * * * * [misc]points:  Computing exacts on every 2 of 93 points to ramp up precision
1554305053.304 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.306 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.309 * * * * [misc]points:  Computing exacts for 93 points
1554305053.313 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.319 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.325 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.325 * * * * [misc]points:  Sampling 84 additional inputs, on iter 35 have 7916 / 8000
1554305053.325 * * * * [misc]points:  Computing exacts on every 5 of 84 points to ramp up precision
1554305053.328 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.330 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.331 * * * * [misc]points:  Computing exacts on every 2 of 84 points to ramp up precision
1554305053.334 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.336 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.338 * * * * [misc]points:  Computing exacts for 84 points
1554305053.341 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.363 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.368 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.368 * * * * [misc]points:  Sampling 71 additional inputs, on iter 36 have 7929 / 8000
1554305053.369 * * * * [misc]points:  Computing exacts on every 4 of 71 points to ramp up precision
1554305053.374 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.375 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.376 * * * * [misc]points:  Computing exacts on every 2 of 71 points to ramp up precision
1554305053.380 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.381 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.384 * * * * [misc]points:  Computing exacts for 71 points
1554305053.387 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.392 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.397 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.397 * * * * [misc]points:  Sampling 63 additional inputs, on iter 37 have 7937 / 8000
1554305053.397 * * * * [misc]points:  Computing exacts on every 3 of 63 points to ramp up precision
1554305053.400 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.402 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.403 * * * * [misc]points:  Computing exacts for 63 points
1554305053.406 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.410 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.414 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.415 * * * * [misc]points:  Sampling 55 additional inputs, on iter 38 have 7945 / 8000
1554305053.415 * * * * [misc]points:  Computing exacts on every 3 of 55 points to ramp up precision
1554305053.418 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.420 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.420 * * * * [misc]points:  Computing exacts for 55 points
1554305053.424 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.427 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.431 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.431 * * * * [misc]points:  Sampling 47 additional inputs, on iter 39 have 7953 / 8000
1554305053.431 * * * * [misc]points:  Computing exacts on every 2 of 47 points to ramp up precision
1554305053.434 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.436 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.437 * * * * [misc]points:  Computing exacts for 47 points
1554305053.440 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.443 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.463 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.463 * * * * [misc]points:  Sampling 37 additional inputs, on iter 40 have 7963 / 8000
1554305053.463 * * * * [misc]points:  Computing exacts on every 2 of 37 points to ramp up precision
1554305053.466 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.467 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.468 * * * * [misc]points:  Computing exacts for 37 points
1554305053.471 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.475 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.478 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.478 * * * * [misc]points:  Sampling 34 additional inputs, on iter 41 have 7966 / 8000
1554305053.478 * * * * [misc]points:  Computing exacts on every 2 of 34 points to ramp up precision
1554305053.481 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.482 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.483 * * * * [misc]points:  Computing exacts for 34 points
1554305053.486 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.488 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.491 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.491 * * * * [misc]points:  Sampling 32 additional inputs, on iter 42 have 7968 / 8000
1554305053.491 * * * * [misc]points:  Computing exacts on every 2 of 32 points to ramp up precision
1554305053.494 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.495 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.496 * * * * [misc]points:  Computing exacts for 32 points
1554305053.499 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.502 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.504 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.504 * * * * [misc]points:  Sampling 23 additional inputs, on iter 43 have 7977 / 8000
1554305053.504 * * * * [misc]points:  Computing exacts for 23 points
1554305053.508 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.510 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.512 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.512 * * * * [misc]points:  Sampling 19 additional inputs, on iter 44 have 7981 / 8000
1554305053.512 * * * * [misc]points:  Computing exacts for 19 points
1554305053.515 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.517 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.518 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.518 * * * * [misc]points:  Sampling 18 additional inputs, on iter 45 have 7982 / 8000
1554305053.518 * * * * [misc]points:  Computing exacts for 18 points
1554305053.521 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.523 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.524 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.524 * * * * [misc]points:  Sampling 15 additional inputs, on iter 46 have 7985 / 8000
1554305053.524 * * * * [misc]points:  Computing exacts for 15 points
1554305053.528 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.529 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.530 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.530 * * * * [misc]points:  Sampling 15 additional inputs, on iter 47 have 7985 / 8000
1554305053.530 * * * * [misc]points:  Computing exacts for 15 points
1554305053.534 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.535 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.536 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.536 * * * * [misc]points:  Sampling 11 additional inputs, on iter 48 have 7989 / 8000
1554305053.536 * * * * [misc]points:  Computing exacts for 11 points
1554305053.539 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.540 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.541 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.541 * * * * [misc]points:  Sampling 8 additional inputs, on iter 49 have 7992 / 8000
1554305053.541 * * * * [misc]points:  Computing exacts for 8 points
1554305053.556 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.557 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.558 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.558 * * * * [misc]points:  Sampling 8 additional inputs, on iter 50 have 7992 / 8000
1554305053.558 * * * * [misc]points:  Computing exacts for 8 points
1554305053.561 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.562 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.562 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.562 * * * * [misc]points:  Sampling 7 additional inputs, on iter 51 have 7993 / 8000
1554305053.562 * * * * [misc]points:  Computing exacts for 7 points
1554305053.567 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.568 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.568 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.568 * * * * [misc]points:  Sampling 7 additional inputs, on iter 52 have 7993 / 8000
1554305053.568 * * * * [misc]points:  Computing exacts for 7 points
1554305053.571 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.572 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.573 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.573 * * * * [misc]points:  Sampling 6 additional inputs, on iter 53 have 7994 / 8000
1554305053.573 * * * * [misc]points:  Computing exacts for 6 points
1554305053.576 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.576 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.577 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.577 * * * * [misc]points:  Sampling 5 additional inputs, on iter 54 have 7995 / 8000
1554305053.577 * * * * [misc]points:  Computing exacts for 5 points
1554305053.580 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.581 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.581 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.581 * * * * [misc]points:  Sampling 5 additional inputs, on iter 55 have 7995 / 8000
1554305053.581 * * * * [misc]points:  Computing exacts for 5 points
1554305053.584 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.585 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.585 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.585 * * * * [misc]points:  Sampling 5 additional inputs, on iter 56 have 7995 / 8000
1554305053.586 * * * * [misc]points:  Computing exacts for 5 points
1554305053.589 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.590 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.590 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.590 * * * * [misc]points:  Sampling 5 additional inputs, on iter 57 have 7995 / 8000
1554305053.590 * * * * [misc]points:  Computing exacts for 5 points
1554305053.593 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.594 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.594 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.594 * * * * [misc]points:  Sampling 4 additional inputs, on iter 58 have 7997 / 8000
1554305053.594 * * * * [misc]points:  Computing exacts for 4 points
1554305053.597 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.598 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.598 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.598 * * * * [misc]points:  Sampling 4 additional inputs, on iter 59 have 7997 / 8000
1554305053.598 * * * * [misc]points:  Computing exacts for 4 points
1554305053.601 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.602 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.602 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.602 * * * * [misc]points:  Sampling 4 additional inputs, on iter 60 have 7997 / 8000
1554305053.602 * * * * [misc]points:  Computing exacts for 4 points
1554305053.605 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.606 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.606 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.606 * * * * [misc]points:  Sampling 4 additional inputs, on iter 61 have 7997 / 8000
1554305053.606 * * * * [misc]points:  Computing exacts for 4 points
1554305053.609 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.609 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.610 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.610 * * * * [misc]points:  Sampling 4 additional inputs, on iter 62 have 7997 / 8000
1554305053.610 * * * * [misc]points:  Computing exacts for 4 points
1554305053.613 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.613 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.614 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.614 * * * * [misc]points:  Sampling 4 additional inputs, on iter 63 have 7998 / 8000
1554305053.614 * * * * [misc]points:  Computing exacts for 4 points
1554305053.617 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.617 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.618 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.618 * * * * [misc]points:  Sampling 4 additional inputs, on iter 64 have 7998 / 8000
1554305053.618 * * * * [misc]points:  Computing exacts for 4 points
1554305053.630 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.631 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.631 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.631 * * * * [misc]points:  Sampling 4 additional inputs, on iter 65 have 7998 / 8000
1554305053.631 * * * * [misc]points:  Computing exacts for 4 points
1554305053.637 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.638 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.638 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.638 * * * * [misc]points:  Sampling 4 additional inputs, on iter 66 have 7998 / 8000
1554305053.638 * * * * [misc]points:  Computing exacts for 4 points
1554305053.642 * * * * [misc]points:  Setting MPFR precision to 64
1554305053.642 * * * * [misc]points:  Setting MPFR precision to 320
1554305053.642 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554305053.642 * * * * [exit]points:  Sampled 8000 points with exact outputs
1554305056.079 * [misc]regime-testing:  Baseline error score: 64.0
1554305056.081 * [misc]regime-testing:  Oracle error score: 64.0
1554305056.085 * [misc]regime-testing:  End program error score: 0.19758092715957956