1553949141.863 * [progress]: [Phase 1 of 3] Setting up. 1553949141.863 * * * [progress]: [1/2] Preparing points 1553949141.863 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1553949141.865 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1553949141.868 * * * * [points]: Setting MPFR precision to 64 1553949141.870 * * * * [points]: Setting MPFR precision to 320 1553949141.872 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1553949141.876 * * * * [points]: Setting MPFR precision to 64 1553949141.879 * * * * [points]: Setting MPFR precision to 320 1553949141.882 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1553949141.886 * * * * [points]: Setting MPFR precision to 64 1553949141.890 * * * * [points]: Setting MPFR precision to 320 1553949141.896 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1553949141.899 * * * * [points]: Setting MPFR precision to 64 1553949141.937 * * * * [points]: Setting MPFR precision to 320 1553949141.949 * * * * [points]: Computing exacts for 256 points 1553949141.952 * * * * [points]: Setting MPFR precision to 64 1553949141.974 * * * * [points]: Setting MPFR precision to 320 1553949141.992 * * * * [points]: Filtering points with unrepresentable outputs