1553949140.845 * [progress]: [Phase 1 of 3] Setting up. 1553949140.847 * * * [progress]: [1/2] Preparing points 1553949140.848 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1553949140.856 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1553949140.906 * * * * [points]: Setting MPFR precision to 64 1553949140.951 * * * * [points]: Setting MPFR precision to 320 1553949140.954 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1553949140.957 * * * * [points]: Setting MPFR precision to 64 1553949140.961 * * * * [points]: Setting MPFR precision to 320 1553949140.965 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1553949140.967 * * * * [points]: Setting MPFR precision to 64 1553949140.973 * * * * [points]: Setting MPFR precision to 320 1553949140.981 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1553949140.982 * * * * [points]: Setting MPFR precision to 64 1553949140.992 * * * * [points]: Setting MPFR precision to 320 1553949141.005 * * * * [points]: Computing exacts for 256 points 1553949141.007 * * * * [points]: Setting MPFR precision to 64 1553949141.064 * * * * [points]: Setting MPFR precision to 320 1553949141.102 * * * * [points]: Filtering points with unrepresentable outputs