1544092156.697 * [misc]progress: [Phase 1 of 3] Setting up. 1544092156.697 * * * [misc]progress: [1/2] Preparing points 1544092156.697 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544092156.698 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544092156.699 * * * * [misc]points: Setting MPFR precision to 64 1544092156.699 * * * * [misc]points: Setting MPFR precision to 320 1544092156.700 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544092156.700 * * * * [misc]points: Setting MPFR precision to 64 1544092156.701 * * * * [misc]points: Setting MPFR precision to 320 1544092156.702 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544092156.703 * * * * [misc]points: Setting MPFR precision to 64 1544092156.704 * * * * [misc]points: Setting MPFR precision to 320 1544092156.705 * * * * [misc]points: Setting MPFR precision to 576 1544092156.707 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544092156.708 * * * * [misc]points: Setting MPFR precision to 320 1544092156.710 * * * * [misc]points: Setting MPFR precision to 576 1544092156.713 * * * * [misc]points: Computing exacts for 256 points 1544092156.713 * * * * [misc]points: Setting MPFR precision to 320 1544092156.720 * * * * [misc]points: Setting MPFR precision to 576 1544092156.727 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092156.727 * * * * [misc]points: Sampling 197 additional inputs, on iter 1 have 59 / 256 1544092156.728 * * * * [misc]points: Computing exacts on every 12 of 197 points to ramp up precision 1544092156.729 * * * * [misc]points: Setting MPFR precision to 320 1544092156.730 * * * * [misc]points: Setting MPFR precision to 576 1544092156.730 * * * * [misc]points: Computing exacts on every 6 of 197 points to ramp up precision 1544092156.731 * * * * [misc]points: Setting MPFR precision to 320 1544092156.732 * * * * [misc]points: Setting MPFR precision to 576 1544092156.733 * * * * [misc]points: Computing exacts on every 3 of 197 points to ramp up precision 1544092156.733 * * * * [misc]points: Setting MPFR precision to 320 1544092156.734 * * * * [misc]points: Setting MPFR precision to 576 1544092156.736 * * * * [misc]points: Computing exacts for 197 points 1544092156.737 * * * * [misc]points: Setting MPFR precision to 320 1544092156.741 * * * * [misc]points: Setting MPFR precision to 576 1544092156.747 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092156.747 * * * * [misc]points: Sampling 158 additional inputs, on iter 2 have 98 / 256 1544092156.748 * * * * [misc]points: Computing exacts on every 9 of 158 points to ramp up precision 1544092156.750 * * * * [misc]points: Setting MPFR precision to 320 1544092156.750 * * * * [misc]points: Setting MPFR precision to 576 1544092156.751 * * * * [misc]points: Computing exacts on every 4 of 158 points to ramp up precision 1544092156.752 * * * * [misc]points: Setting MPFR precision to 320 1544092156.753 * * * * [misc]points: Setting MPFR precision to 576 1544092156.755 * * * * [misc]points: Computing exacts on every 2 of 158 points to ramp up precision 1544092156.756 * * * * [misc]points: Setting MPFR precision to 320 1544092156.758 * * * * [misc]points: Setting MPFR precision to 576 1544092156.761 * * * * [misc]points: Computing exacts for 158 points 1544092156.762 * * * * [misc]points: Setting MPFR precision to 320 1544092156.769 * * * * [misc]points: Setting MPFR precision to 576 1544092156.777 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092156.777 * * * * [misc]points: Sampling 125 additional inputs, on iter 3 have 131 / 256 1544092156.778 * * * * [misc]points: Computing exacts on every 7 of 125 points to ramp up precision 1544092156.779 * * * * [misc]points: Setting MPFR precision to 320 1544092156.780 * * * * [misc]points: Setting MPFR precision to 576 1544092156.781 * * * * [misc]points: Computing exacts on every 3 of 125 points to ramp up precision 1544092156.782 * * * * [misc]points: Setting MPFR precision to 320 1544092156.783 * * * * [misc]points: Setting MPFR precision to 576 1544092156.785 * * * * [misc]points: Computing exacts for 125 points 1544092156.786 * * * * [misc]points: Setting MPFR precision to 320 1544092156.791 * * * * [misc]points: Setting MPFR precision to 576 1544092156.797 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092156.797 * * * * [misc]points: Sampling 103 additional inputs, on iter 4 have 153 / 256 1544092156.798 * * * * [misc]points: Computing exacts on every 6 of 103 points to ramp up precision 1544092156.799 * * * * [misc]points: Setting MPFR precision to 320 1544092156.800 * * * * [misc]points: Setting MPFR precision to 576 1544092156.801 * * * * [misc]points: Computing exacts on every 3 of 103 points to ramp up precision 1544092156.802 * * * * [misc]points: Setting MPFR precision to 320 1544092156.803 * * * * [misc]points: Setting MPFR precision to 576 1544092156.805 * * * * [misc]points: Computing exacts for 103 points 1544092156.806 * * * * [misc]points: Setting MPFR precision to 320 1544092156.809 * * * * [misc]points: Setting MPFR precision to 576 1544092156.812 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092156.812 * * * * [misc]points: Sampling 78 additional inputs, on iter 5 have 178 / 256 1544092156.812 * * * * [misc]points: Computing exacts on every 4 of 78 points to ramp up precision 1544092156.813 * * * * [misc]points: Setting MPFR precision to 320 1544092156.814 * * * * [misc]points: Setting MPFR precision to 576 1544092156.814 * * * * [misc]points: Computing exacts on every 2 of 78 points to ramp up precision 1544092156.815 * * * * [misc]points: Setting MPFR precision to 320 1544092156.815 * * * * [misc]points: Setting MPFR precision to 576 1544092156.816 * * * * [misc]points: Computing exacts for 78 points 1544092156.817 * * * * [misc]points: Setting MPFR precision to 320 1544092156.819 * * * * [misc]points: Setting MPFR precision to 576 1544092156.822 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092156.822 * * * * [misc]points: Sampling 64 additional inputs, on iter 6 have 192 / 256 1544092156.822 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1544092156.823 * * * * [misc]points: Setting MPFR precision to 320 1544092156.823 * * * * [misc]points: Setting MPFR precision to 576 1544092156.824 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1544092156.824 * * * * [misc]points: Setting MPFR precision to 320 1544092156.825 * * * * [misc]points: Setting MPFR precision to 576 1544092156.826 * * * * [misc]points: Computing exacts for 64 points 1544092156.827 * * * * [misc]points: Setting MPFR precision to 320 1544092156.829 * * * * [misc]points: Setting MPFR precision to 576 1544092156.831 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092156.831 * * * * [misc]points: Sampling 41 additional inputs, on iter 7 have 215 / 256 1544092156.831 * * * * [misc]points: Computing exacts on every 2 of 41 points to ramp up precision 1544092156.832 * * * * [misc]points: Setting MPFR precision to 320 1544092156.832 * * * * [misc]points: Setting MPFR precision to 576 1544092156.833 * * * * [misc]points: Computing exacts for 41 points 1544092156.834 * * * * [misc]points: Setting MPFR precision to 320 1544092156.859 * * * * [misc]points: Setting MPFR precision to 576 1544092156.861 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092156.861 * * * * [misc]points: Sampling 28 additional inputs, on iter 8 have 228 / 256 1544092156.861 * * * * [misc]points: Computing exacts for 28 points 1544092156.863 * * * * [misc]points: Setting MPFR precision to 320 1544092156.864 * * * * [misc]points: Setting MPFR precision to 576 1544092156.865 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092156.865 * * * * [misc]points: Sampling 17 additional inputs, on iter 9 have 239 / 256 1544092156.865 * * * * [misc]points: Computing exacts for 17 points 1544092156.866 * * * * [misc]points: Setting MPFR precision to 320 1544092156.866 * * * * [misc]points: Setting MPFR precision to 576 1544092156.867 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092156.867 * * * * [misc]points: Sampling 14 additional inputs, on iter 10 have 242 / 256 1544092156.867 * * * * [misc]points: Computing exacts for 14 points 1544092156.867 * * * * [misc]points: Setting MPFR precision to 320 1544092156.868 * * * * [misc]points: Setting MPFR precision to 576 1544092156.870 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092156.870 * * * * [misc]points: Sampling 9 additional inputs, on iter 11 have 247 / 256 1544092156.870 * * * * [misc]points: Computing exacts for 9 points 1544092156.871 * * * * [misc]points: Setting MPFR precision to 320 1544092156.872 * * * * [misc]points: Setting MPFR precision to 576 1544092156.872 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092156.872 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 253 / 256 1544092156.872 * * * * [misc]points: Computing exacts for 4 points 1544092156.873 * * * * [misc]points: Setting MPFR precision to 320 1544092156.873 * * * * [misc]points: Setting MPFR precision to 576 1544092156.873 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092156.873 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 253 / 256 1544092156.873 * * * * [misc]points: Computing exacts for 4 points 1544092156.874 * * * * [misc]points: Setting MPFR precision to 320 1544092156.874 * * * * [misc]points: Setting MPFR precision to 576 1544092156.874 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092156.874 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 253 / 256 1544092156.874 * * * * [misc]points: Computing exacts for 4 points 1544092156.875 * * * * [misc]points: Setting MPFR precision to 320 1544092156.875 * * * * [misc]points: Setting MPFR precision to 576 1544092156.875 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092156.875 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 254 / 256 1544092156.875 * * * * [misc]points: Computing exacts for 4 points 1544092156.876 * * * * [misc]points: Setting MPFR precision to 320 1544092156.876 * * * * [misc]points: Setting MPFR precision to 576 1544092156.877 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092156.877 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 255 / 256 1544092156.877 * * * * [misc]points: Computing exacts for 4 points 1544092156.877 * * * * [misc]points: Setting MPFR precision to 320 1544092156.877 * * * * [misc]points: Setting MPFR precision to 576 1544092156.878 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092156.878 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 255 / 256 1544092156.878 * * * * [misc]points: Computing exacts for 4 points 1544092156.878 * * * * [misc]points: Setting MPFR precision to 320 1544092156.878 * * * * [misc]points: Setting MPFR precision to 576 1544092156.879 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092156.879 * * * * [exit]points: Sampled 257 points with exact outputs 1544092156.879 * * * [misc]progress: [2/2] Setting up program. 1544092156.881 * [misc]progress: [Phase 2 of 3] Improving. 1544092156.882 * [enter]simplify: Simplifying (exp (+ (log a) (log b))) 1544092156.882 * * [misc]simplify: iters left: 4 (6 enodes) 1544092156.883 * * [misc]simplify: iters left: 3 (10 enodes) 1544092156.885 * * [misc]simplify: iters left: 2 (11 enodes) 1544092156.887 * [exit]simplify: Simplified to (* a b) 1544092156.892 * * [misc]progress: iteration 1 / 4 1544092156.892 * * * [misc]progress: picking best candidate 1544092156.894 * * * * [misc]pick: Picked # 1544092156.894 * * * [misc]progress: localizing error 1544092156.897 * * * [misc]progress: generating rewritten candidates 1544092156.897 * * * [misc]progress: generating series expansions 1544092156.897 * * * [misc]progress: simplifying candidates 1544092156.897 * * * [misc]progress: adding candidates to table 1544092156.897 * [misc]progress: [Phase 3 of 3] Extracting. 1544092156.899 * [enter]simplify: Simplifying (* a b) 1544092156.899 * * [misc]simplify: iters left: 2 (3 enodes) 1544092156.899 * * [misc]simplify: iters left: 1 (4 enodes) 1544092156.899 * [exit]simplify: Simplified to (* a b) 1544092156.899 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1544092156.954 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1544092156.956 * * * * [misc]points: Setting MPFR precision to 320 1544092156.957 * * * * [misc]points: Setting MPFR precision to 576 1544092156.957 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1544092156.959 * * * * [misc]points: Setting MPFR precision to 320 1544092156.960 * * * * [misc]points: Setting MPFR precision to 576 1544092156.962 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1544092156.963 * * * * [misc]points: Setting MPFR precision to 320 1544092156.966 * * * * [misc]points: Setting MPFR precision to 576 1544092156.970 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1544092156.971 * * * * [misc]points: Setting MPFR precision to 320 1544092156.974 * * * * [misc]points: Setting MPFR precision to 576 1544092156.978 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1544092156.979 * * * * [misc]points: Setting MPFR precision to 320 1544092156.985 * * * * [misc]points: Setting MPFR precision to 576 1544092156.992 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1544092156.993 * * * * [misc]points: Setting MPFR precision to 320 1544092157.008 * * * * [misc]points: Setting MPFR precision to 576 1544092157.039 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1544092157.040 * * * * [misc]points: Setting MPFR precision to 320 1544092157.064 * * * * [misc]points: Setting MPFR precision to 576 1544092157.133 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1544092157.134 * * * * [misc]points: Setting MPFR precision to 320 1544092157.183 * * * * [misc]points: Setting MPFR precision to 576 1544092157.305 * * * * [misc]points: Computing exacts for 8000 points 1544092157.306 * * * * [misc]points: Setting MPFR precision to 320 1544092157.703 * * * * [misc]points: Setting MPFR precision to 576 1544092158.550 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092158.554 * * * * [misc]points: Sampling 6304 additional inputs, on iter 1 have 1696 / 8000 1544092158.579 * * * * [misc]points: Computing exacts on every 394 of 6304 points to ramp up precision 1544092158.580 * * * * [misc]points: Setting MPFR precision to 320 1544092158.580 * * * * [misc]points: Setting MPFR precision to 576 1544092158.581 * * * * [misc]points: Computing exacts on every 197 of 6304 points to ramp up precision 1544092158.581 * * * * [misc]points: Setting MPFR precision to 320 1544092158.582 * * * * [misc]points: Setting MPFR precision to 576 1544092158.583 * * * * [misc]points: Computing exacts on every 98 of 6304 points to ramp up precision 1544092158.584 * * * * [misc]points: Setting MPFR precision to 320 1544092158.585 * * * * [misc]points: Setting MPFR precision to 576 1544092158.587 * * * * [misc]points: Computing exacts on every 49 of 6304 points to ramp up precision 1544092158.588 * * * * [misc]points: Setting MPFR precision to 320 1544092158.591 * * * * [misc]points: Setting MPFR precision to 576 1544092158.614 * * * * [misc]points: Computing exacts on every 24 of 6304 points to ramp up precision 1544092158.615 * * * * [misc]points: Setting MPFR precision to 320 1544092158.630 * * * * [misc]points: Setting MPFR precision to 576 1544092158.640 * * * * [misc]points: Computing exacts on every 12 of 6304 points to ramp up precision 1544092158.641 * * * * [misc]points: Setting MPFR precision to 320 1544092158.652 * * * * [misc]points: Setting MPFR precision to 576 1544092158.666 * * * * [misc]points: Computing exacts on every 6 of 6304 points to ramp up precision 1544092158.667 * * * * [misc]points: Setting MPFR precision to 320 1544092158.688 * * * * [misc]points: Setting MPFR precision to 576 1544092158.714 * * * * [misc]points: Computing exacts on every 3 of 6304 points to ramp up precision 1544092158.715 * * * * [misc]points: Setting MPFR precision to 320 1544092158.798 * * * * [misc]points: Setting MPFR precision to 576 1544092158.845 * * * * [misc]points: Computing exacts for 6304 points 1544092158.846 * * * * [misc]points: Setting MPFR precision to 320 1544092159.201 * * * * [misc]points: Setting MPFR precision to 576 1544092159.566 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092159.567 * * * * [misc]points: Sampling 4979 additional inputs, on iter 2 have 3021 / 8000 1544092159.608 * * * * [misc]points: Computing exacts on every 311 of 4979 points to ramp up precision 1544092159.609 * * * * [misc]points: Setting MPFR precision to 320 1544092159.609 * * * * [misc]points: Setting MPFR precision to 576 1544092159.610 * * * * [misc]points: Computing exacts on every 155 of 4979 points to ramp up precision 1544092159.610 * * * * [misc]points: Setting MPFR precision to 320 1544092159.611 * * * * [misc]points: Setting MPFR precision to 576 1544092159.612 * * * * [misc]points: Computing exacts on every 77 of 4979 points to ramp up precision 1544092159.613 * * * * [misc]points: Setting MPFR precision to 320 1544092159.615 * * * * [misc]points: Setting MPFR precision to 576 1544092159.617 * * * * [misc]points: Computing exacts on every 38 of 4979 points to ramp up precision 1544092159.618 * * * * [misc]points: Setting MPFR precision to 320 1544092159.621 * * * * [misc]points: Setting MPFR precision to 576 1544092159.624 * * * * [misc]points: Computing exacts on every 19 of 4979 points to ramp up precision 1544092159.625 * * * * [misc]points: Setting MPFR precision to 320 1544092159.632 * * * * [misc]points: Setting MPFR precision to 576 1544092159.646 * * * * [misc]points: Computing exacts on every 9 of 4979 points to ramp up precision 1544092159.648 * * * * [misc]points: Setting MPFR precision to 320 1544092159.672 * * * * [misc]points: Setting MPFR precision to 576 1544092159.700 * * * * [misc]points: Computing exacts on every 4 of 4979 points to ramp up precision 1544092159.701 * * * * [misc]points: Setting MPFR precision to 320 1544092159.736 * * * * [misc]points: Setting MPFR precision to 576 1544092159.813 * * * * [misc]points: Computing exacts on every 2 of 4979 points to ramp up precision 1544092159.815 * * * * [misc]points: Setting MPFR precision to 320 1544092159.902 * * * * [misc]points: Setting MPFR precision to 576 1544092159.999 * * * * [misc]points: Computing exacts for 4979 points 1544092160.001 * * * * [misc]points: Setting MPFR precision to 320 1544092160.250 * * * * [misc]points: Setting MPFR precision to 576 1544092160.600 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092160.602 * * * * [misc]points: Sampling 3934 additional inputs, on iter 3 have 4066 / 8000 1544092160.633 * * * * [misc]points: Computing exacts on every 245 of 3934 points to ramp up precision 1544092160.635 * * * * [misc]points: Setting MPFR precision to 320 1544092160.636 * * * * [misc]points: Setting MPFR precision to 576 1544092160.637 * * * * [misc]points: Computing exacts on every 122 of 3934 points to ramp up precision 1544092160.638 * * * * [misc]points: Setting MPFR precision to 320 1544092160.640 * * * * [misc]points: Setting MPFR precision to 576 1544092160.642 * * * * [misc]points: Computing exacts on every 61 of 3934 points to ramp up precision 1544092160.643 * * * * [misc]points: Setting MPFR precision to 320 1544092160.646 * * * * [misc]points: Setting MPFR precision to 576 1544092160.650 * * * * [misc]points: Computing exacts on every 30 of 3934 points to ramp up precision 1544092160.651 * * * * [misc]points: Setting MPFR precision to 320 1544092160.657 * * * * [misc]points: Setting MPFR precision to 576 1544092160.665 * * * * [misc]points: Computing exacts on every 15 of 3934 points to ramp up precision 1544092160.666 * * * * [misc]points: Setting MPFR precision to 320 1544092160.678 * * * * [misc]points: Setting MPFR precision to 576 1544092160.691 * * * * [misc]points: Computing exacts on every 7 of 3934 points to ramp up precision 1544092160.693 * * * * [misc]points: Setting MPFR precision to 320 1544092161.061 * * * * [misc]points: Setting MPFR precision to 576 1544092161.085 * * * * [misc]points: Computing exacts on every 3 of 3934 points to ramp up precision 1544092161.086 * * * * [misc]points: Setting MPFR precision to 320 1544092161.112 * * * * [misc]points: Setting MPFR precision to 576 1544092161.155 * * * * [misc]points: Computing exacts for 3934 points 1544092161.156 * * * * [misc]points: Setting MPFR precision to 320 1544092161.309 * * * * [misc]points: Setting MPFR precision to 576 1544092161.539 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092161.540 * * * * [misc]points: Sampling 3060 additional inputs, on iter 4 have 4940 / 8000 1544092161.565 * * * * [misc]points: Computing exacts on every 191 of 3060 points to ramp up precision 1544092161.566 * * * * [misc]points: Setting MPFR precision to 320 1544092161.566 * * * * [misc]points: Setting MPFR precision to 576 1544092161.567 * * * * [misc]points: Computing exacts on every 95 of 3060 points to ramp up precision 1544092161.568 * * * * [misc]points: Setting MPFR precision to 320 1544092161.568 * * * * [misc]points: Setting MPFR precision to 576 1544092161.569 * * * * [misc]points: Computing exacts on every 47 of 3060 points to ramp up precision 1544092161.570 * * * * [misc]points: Setting MPFR precision to 320 1544092161.572 * * * * [misc]points: Setting MPFR precision to 576 1544092161.573 * * * * [misc]points: Computing exacts on every 23 of 3060 points to ramp up precision 1544092161.574 * * * * [misc]points: Setting MPFR precision to 320 1544092161.577 * * * * [misc]points: Setting MPFR precision to 576 1544092161.581 * * * * [misc]points: Computing exacts on every 11 of 3060 points to ramp up precision 1544092161.582 * * * * [misc]points: Setting MPFR precision to 320 1544092161.617 * * * * [misc]points: Setting MPFR precision to 576 1544092161.633 * * * * [misc]points: Computing exacts on every 5 of 3060 points to ramp up precision 1544092161.634 * * * * [misc]points: Setting MPFR precision to 320 1544092161.646 * * * * [misc]points: Setting MPFR precision to 576 1544092161.661 * * * * [misc]points: Computing exacts on every 2 of 3060 points to ramp up precision 1544092161.662 * * * * [misc]points: Setting MPFR precision to 320 1544092161.698 * * * * [misc]points: Setting MPFR precision to 576 1544092161.758 * * * * [misc]points: Computing exacts for 3060 points 1544092161.759 * * * * [misc]points: Setting MPFR precision to 320 1544092161.934 * * * * [misc]points: Setting MPFR precision to 576 1544092162.107 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092162.108 * * * * [misc]points: Sampling 2369 additional inputs, on iter 5 have 5631 / 8000 1544092162.128 * * * * [misc]points: Computing exacts on every 148 of 2369 points to ramp up precision 1544092162.129 * * * * [misc]points: Setting MPFR precision to 320 1544092162.130 * * * * [misc]points: Setting MPFR precision to 576 1544092162.131 * * * * [misc]points: Computing exacts on every 74 of 2369 points to ramp up precision 1544092162.132 * * * * [misc]points: Setting MPFR precision to 320 1544092162.134 * * * * [misc]points: Setting MPFR precision to 576 1544092162.136 * * * * [misc]points: Computing exacts on every 37 of 2369 points to ramp up precision 1544092162.137 * * * * [misc]points: Setting MPFR precision to 320 1544092162.140 * * * * [misc]points: Setting MPFR precision to 576 1544092162.144 * * * * [misc]points: Computing exacts on every 18 of 2369 points to ramp up precision 1544092162.145 * * * * [misc]points: Setting MPFR precision to 320 1544092162.152 * * * * [misc]points: Setting MPFR precision to 576 1544092162.159 * * * * [misc]points: Computing exacts on every 9 of 2369 points to ramp up precision 1544092162.160 * * * * [misc]points: Setting MPFR precision to 320 1544092162.171 * * * * [misc]points: Setting MPFR precision to 576 1544092162.184 * * * * [misc]points: Computing exacts on every 4 of 2369 points to ramp up precision 1544092162.186 * * * * [misc]points: Setting MPFR precision to 320 1544092162.208 * * * * [misc]points: Setting MPFR precision to 576 1544092162.236 * * * * [misc]points: Computing exacts on every 2 of 2369 points to ramp up precision 1544092162.237 * * * * [misc]points: Setting MPFR precision to 320 1544092162.295 * * * * [misc]points: Setting MPFR precision to 576 1544092162.321 * * * * [misc]points: Computing exacts for 2369 points 1544092162.322 * * * * [misc]points: Setting MPFR precision to 320 1544092162.433 * * * * [misc]points: Setting MPFR precision to 576 1544092162.583 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092162.584 * * * * [misc]points: Sampling 1874 additional inputs, on iter 6 have 6126 / 8000 1544092162.599 * * * * [misc]points: Computing exacts on every 117 of 1874 points to ramp up precision 1544092162.601 * * * * [misc]points: Setting MPFR precision to 320 1544092162.602 * * * * [misc]points: Setting MPFR precision to 576 1544092162.603 * * * * [misc]points: Computing exacts on every 58 of 1874 points to ramp up precision 1544092162.604 * * * * [misc]points: Setting MPFR precision to 320 1544092162.606 * * * * [misc]points: Setting MPFR precision to 576 1544092162.608 * * * * [misc]points: Computing exacts on every 29 of 1874 points to ramp up precision 1544092162.609 * * * * [misc]points: Setting MPFR precision to 320 1544092162.612 * * * * [misc]points: Setting MPFR precision to 576 1544092162.616 * * * * [misc]points: Computing exacts on every 14 of 1874 points to ramp up precision 1544092162.617 * * * * [misc]points: Setting MPFR precision to 320 1544092162.621 * * * * [misc]points: Setting MPFR precision to 576 1544092162.625 * * * * [misc]points: Computing exacts on every 7 of 1874 points to ramp up precision 1544092162.626 * * * * [misc]points: Setting MPFR precision to 320 1544092162.631 * * * * [misc]points: Setting MPFR precision to 576 1544092162.638 * * * * [misc]points: Computing exacts on every 3 of 1874 points to ramp up precision 1544092162.639 * * * * [misc]points: Setting MPFR precision to 320 1544092162.691 * * * * [misc]points: Setting MPFR precision to 576 1544092162.720 * * * * [misc]points: Computing exacts for 1874 points 1544092162.721 * * * * [misc]points: Setting MPFR precision to 320 1544092162.765 * * * * [misc]points: Setting MPFR precision to 576 1544092162.904 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092162.905 * * * * [misc]points: Sampling 1455 additional inputs, on iter 7 have 6545 / 8000 1544092162.922 * * * * [misc]points: Computing exacts on every 90 of 1455 points to ramp up precision 1544092162.924 * * * * [misc]points: Setting MPFR precision to 320 1544092162.925 * * * * [misc]points: Setting MPFR precision to 576 1544092162.926 * * * * [misc]points: Computing exacts on every 45 of 1455 points to ramp up precision 1544092162.927 * * * * [misc]points: Setting MPFR precision to 320 1544092162.928 * * * * [misc]points: Setting MPFR precision to 576 1544092162.930 * * * * [misc]points: Computing exacts on every 22 of 1455 points to ramp up precision 1544092162.931 * * * * [misc]points: Setting MPFR precision to 320 1544092162.935 * * * * [misc]points: Setting MPFR precision to 576 1544092162.939 * * * * [misc]points: Computing exacts on every 11 of 1455 points to ramp up precision 1544092162.940 * * * * [misc]points: Setting MPFR precision to 320 1544092162.946 * * * * [misc]points: Setting MPFR precision to 576 1544092162.953 * * * * [misc]points: Computing exacts on every 5 of 1455 points to ramp up precision 1544092162.954 * * * * [misc]points: Setting MPFR precision to 320 1544092162.967 * * * * [misc]points: Setting MPFR precision to 576 1544092162.978 * * * * [misc]points: Computing exacts on every 2 of 1455 points to ramp up precision 1544092162.979 * * * * [misc]points: Setting MPFR precision to 320 1544092162.991 * * * * [misc]points: Setting MPFR precision to 576 1544092163.005 * * * * [misc]points: Computing exacts for 1455 points 1544092163.006 * * * * [misc]points: Setting MPFR precision to 320 1544092163.041 * * * * [misc]points: Setting MPFR precision to 576 1544092163.140 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092163.140 * * * * [misc]points: Sampling 1135 additional inputs, on iter 8 have 6865 / 8000 1544092163.145 * * * * [misc]points: Computing exacts on every 70 of 1135 points to ramp up precision 1544092163.145 * * * * [misc]points: Setting MPFR precision to 320 1544092163.146 * * * * [misc]points: Setting MPFR precision to 576 1544092163.147 * * * * [misc]points: Computing exacts on every 35 of 1135 points to ramp up precision 1544092163.147 * * * * [misc]points: Setting MPFR precision to 320 1544092163.148 * * * * [misc]points: Setting MPFR precision to 576 1544092163.149 * * * * [misc]points: Computing exacts on every 17 of 1135 points to ramp up precision 1544092163.150 * * * * [misc]points: Setting MPFR precision to 320 1544092163.151 * * * * [misc]points: Setting MPFR precision to 576 1544092163.153 * * * * [misc]points: Computing exacts on every 8 of 1135 points to ramp up precision 1544092163.154 * * * * [misc]points: Setting MPFR precision to 320 1544092163.157 * * * * [misc]points: Setting MPFR precision to 576 1544092163.161 * * * * [misc]points: Computing exacts on every 4 of 1135 points to ramp up precision 1544092163.162 * * * * [misc]points: Setting MPFR precision to 320 1544092163.167 * * * * [misc]points: Setting MPFR precision to 576 1544092163.174 * * * * [misc]points: Computing exacts on every 2 of 1135 points to ramp up precision 1544092163.174 * * * * [misc]points: Setting MPFR precision to 320 1544092163.184 * * * * [misc]points: Setting MPFR precision to 576 1544092163.195 * * * * [misc]points: Computing exacts for 1135 points 1544092163.196 * * * * [misc]points: Setting MPFR precision to 320 1544092163.609 * * * * [misc]points: Setting MPFR precision to 576 1544092163.666 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092163.666 * * * * [misc]points: Sampling 883 additional inputs, on iter 9 have 7117 / 8000 1544092163.674 * * * * [misc]points: Computing exacts on every 55 of 883 points to ramp up precision 1544092163.675 * * * * [misc]points: Setting MPFR precision to 320 1544092163.676 * * * * [misc]points: Setting MPFR precision to 576 1544092163.677 * * * * [misc]points: Computing exacts on every 27 of 883 points to ramp up precision 1544092163.678 * * * * [misc]points: Setting MPFR precision to 320 1544092163.679 * * * * [misc]points: Setting MPFR precision to 576 1544092163.681 * * * * [misc]points: Computing exacts on every 13 of 883 points to ramp up precision 1544092163.683 * * * * [misc]points: Setting MPFR precision to 320 1544092163.686 * * * * [misc]points: Setting MPFR precision to 576 1544092163.688 * * * * [misc]points: Computing exacts on every 6 of 883 points to ramp up precision 1544092163.689 * * * * [misc]points: Setting MPFR precision to 320 1544092163.692 * * * * [misc]points: Setting MPFR precision to 576 1544092163.696 * * * * [misc]points: Computing exacts on every 3 of 883 points to ramp up precision 1544092163.697 * * * * [misc]points: Setting MPFR precision to 320 1544092163.702 * * * * [misc]points: Setting MPFR precision to 576 1544092163.709 * * * * [misc]points: Computing exacts for 883 points 1544092163.710 * * * * [misc]points: Setting MPFR precision to 320 1544092163.748 * * * * [misc]points: Setting MPFR precision to 576 1544092163.823 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092163.823 * * * * [misc]points: Sampling 679 additional inputs, on iter 10 have 7321 / 8000 1544092163.825 * * * * [misc]points: Computing exacts on every 42 of 679 points to ramp up precision 1544092163.826 * * * * [misc]points: Setting MPFR precision to 320 1544092163.827 * * * * [misc]points: Setting MPFR precision to 576 1544092163.828 * * * * [misc]points: Computing exacts on every 21 of 679 points to ramp up precision 1544092163.828 * * * * [misc]points: Setting MPFR precision to 320 1544092163.829 * * * * [misc]points: Setting MPFR precision to 576 1544092163.830 * * * * [misc]points: Computing exacts on every 10 of 679 points to ramp up precision 1544092163.830 * * * * [misc]points: Setting MPFR precision to 320 1544092163.832 * * * * [misc]points: Setting MPFR precision to 576 1544092163.833 * * * * [misc]points: Computing exacts on every 5 of 679 points to ramp up precision 1544092163.834 * * * * [misc]points: Setting MPFR precision to 320 1544092163.837 * * * * [misc]points: Setting MPFR precision to 576 1544092163.840 * * * * [misc]points: Computing exacts on every 2 of 679 points to ramp up precision 1544092163.841 * * * * [misc]points: Setting MPFR precision to 320 1544092163.846 * * * * [misc]points: Setting MPFR precision to 576 1544092163.852 * * * * [misc]points: Computing exacts for 679 points 1544092163.853 * * * * [misc]points: Setting MPFR precision to 320 1544092163.870 * * * * [misc]points: Setting MPFR precision to 576 1544092163.889 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092163.890 * * * * [misc]points: Sampling 525 additional inputs, on iter 11 have 7475 / 8000 1544092163.892 * * * * [misc]points: Computing exacts on every 32 of 525 points to ramp up precision 1544092163.892 * * * * [misc]points: Setting MPFR precision to 320 1544092163.893 * * * * [misc]points: Setting MPFR precision to 576 1544092163.894 * * * * [misc]points: Computing exacts on every 16 of 525 points to ramp up precision 1544092163.894 * * * * [misc]points: Setting MPFR precision to 320 1544092163.895 * * * * [misc]points: Setting MPFR precision to 576 1544092163.896 * * * * [misc]points: Computing exacts on every 8 of 525 points to ramp up precision 1544092163.897 * * * * [misc]points: Setting MPFR precision to 320 1544092163.898 * * * * [misc]points: Setting MPFR precision to 576 1544092163.900 * * * * [misc]points: Computing exacts on every 4 of 525 points to ramp up precision 1544092163.900 * * * * [misc]points: Setting MPFR precision to 320 1544092163.903 * * * * [misc]points: Setting MPFR precision to 576 1544092163.951 * * * * [misc]points: Computing exacts on every 2 of 525 points to ramp up precision 1544092163.953 * * * * [misc]points: Setting MPFR precision to 320 1544092163.965 * * * * [misc]points: Setting MPFR precision to 576 1544092163.976 * * * * [misc]points: Computing exacts for 525 points 1544092163.977 * * * * [misc]points: Setting MPFR precision to 320 1544092164.003 * * * * [misc]points: Setting MPFR precision to 576 1544092164.031 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.031 * * * * [misc]points: Sampling 423 additional inputs, on iter 12 have 7577 / 8000 1544092164.035 * * * * [misc]points: Computing exacts on every 26 of 423 points to ramp up precision 1544092164.036 * * * * [misc]points: Setting MPFR precision to 320 1544092164.037 * * * * [misc]points: Setting MPFR precision to 576 1544092164.038 * * * * [misc]points: Computing exacts on every 13 of 423 points to ramp up precision 1544092164.039 * * * * [misc]points: Setting MPFR precision to 320 1544092164.040 * * * * [misc]points: Setting MPFR precision to 576 1544092164.042 * * * * [misc]points: Computing exacts on every 6 of 423 points to ramp up precision 1544092164.043 * * * * [misc]points: Setting MPFR precision to 320 1544092164.046 * * * * [misc]points: Setting MPFR precision to 576 1544092164.049 * * * * [misc]points: Computing exacts on every 3 of 423 points to ramp up precision 1544092164.051 * * * * [misc]points: Setting MPFR precision to 320 1544092164.056 * * * * [misc]points: Setting MPFR precision to 576 1544092164.062 * * * * [misc]points: Computing exacts for 423 points 1544092164.063 * * * * [misc]points: Setting MPFR precision to 320 1544092164.079 * * * * [misc]points: Setting MPFR precision to 576 1544092164.091 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.092 * * * * [misc]points: Sampling 330 additional inputs, on iter 13 have 7670 / 8000 1544092164.093 * * * * [misc]points: Computing exacts on every 20 of 330 points to ramp up precision 1544092164.094 * * * * [misc]points: Setting MPFR precision to 320 1544092164.094 * * * * [misc]points: Setting MPFR precision to 576 1544092164.095 * * * * [misc]points: Computing exacts on every 10 of 330 points to ramp up precision 1544092164.095 * * * * [misc]points: Setting MPFR precision to 320 1544092164.096 * * * * [misc]points: Setting MPFR precision to 576 1544092164.097 * * * * [misc]points: Computing exacts on every 5 of 330 points to ramp up precision 1544092164.098 * * * * [misc]points: Setting MPFR precision to 320 1544092164.099 * * * * [misc]points: Setting MPFR precision to 576 1544092164.100 * * * * [misc]points: Computing exacts on every 2 of 330 points to ramp up precision 1544092164.101 * * * * [misc]points: Setting MPFR precision to 320 1544092164.103 * * * * [misc]points: Setting MPFR precision to 576 1544092164.106 * * * * [misc]points: Computing exacts for 330 points 1544092164.107 * * * * [misc]points: Setting MPFR precision to 320 1544092164.115 * * * * [misc]points: Setting MPFR precision to 576 1544092164.150 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.150 * * * * [misc]points: Sampling 260 additional inputs, on iter 14 have 7740 / 8000 1544092164.151 * * * * [misc]points: Computing exacts on every 16 of 260 points to ramp up precision 1544092164.152 * * * * [misc]points: Setting MPFR precision to 320 1544092164.153 * * * * [misc]points: Setting MPFR precision to 576 1544092164.153 * * * * [misc]points: Computing exacts on every 8 of 260 points to ramp up precision 1544092164.154 * * * * [misc]points: Setting MPFR precision to 320 1544092164.154 * * * * [misc]points: Setting MPFR precision to 576 1544092164.159 * * * * [misc]points: Computing exacts on every 4 of 260 points to ramp up precision 1544092164.160 * * * * [misc]points: Setting MPFR precision to 320 1544092164.163 * * * * [misc]points: Setting MPFR precision to 576 1544092164.166 * * * * [misc]points: Computing exacts on every 2 of 260 points to ramp up precision 1544092164.167 * * * * [misc]points: Setting MPFR precision to 320 1544092164.171 * * * * [misc]points: Setting MPFR precision to 576 1544092164.174 * * * * [misc]points: Computing exacts for 260 points 1544092164.174 * * * * [misc]points: Setting MPFR precision to 320 1544092164.181 * * * * [misc]points: Setting MPFR precision to 576 1544092164.188 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.188 * * * * [misc]points: Sampling 208 additional inputs, on iter 15 have 7792 / 8000 1544092164.189 * * * * [misc]points: Computing exacts on every 13 of 208 points to ramp up precision 1544092164.190 * * * * [misc]points: Setting MPFR precision to 320 1544092164.190 * * * * [misc]points: Setting MPFR precision to 576 1544092164.190 * * * * [misc]points: Computing exacts on every 6 of 208 points to ramp up precision 1544092164.191 * * * * [misc]points: Setting MPFR precision to 320 1544092164.192 * * * * [misc]points: Setting MPFR precision to 576 1544092164.192 * * * * [misc]points: Computing exacts on every 3 of 208 points to ramp up precision 1544092164.193 * * * * [misc]points: Setting MPFR precision to 320 1544092164.194 * * * * [misc]points: Setting MPFR precision to 576 1544092164.196 * * * * [misc]points: Computing exacts for 208 points 1544092164.197 * * * * [misc]points: Setting MPFR precision to 320 1544092164.201 * * * * [misc]points: Setting MPFR precision to 576 1544092164.207 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.207 * * * * [misc]points: Sampling 167 additional inputs, on iter 16 have 7833 / 8000 1544092164.209 * * * * [misc]points: Computing exacts on every 10 of 167 points to ramp up precision 1544092164.210 * * * * [misc]points: Setting MPFR precision to 320 1544092164.211 * * * * [misc]points: Setting MPFR precision to 576 1544092164.212 * * * * [misc]points: Computing exacts on every 5 of 167 points to ramp up precision 1544092164.213 * * * * [misc]points: Setting MPFR precision to 320 1544092164.214 * * * * [misc]points: Setting MPFR precision to 576 1544092164.216 * * * * [misc]points: Computing exacts on every 2 of 167 points to ramp up precision 1544092164.217 * * * * [misc]points: Setting MPFR precision to 320 1544092164.220 * * * * [misc]points: Setting MPFR precision to 576 1544092164.223 * * * * [misc]points: Computing exacts for 167 points 1544092164.224 * * * * [misc]points: Setting MPFR precision to 320 1544092164.232 * * * * [misc]points: Setting MPFR precision to 576 1544092164.238 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.238 * * * * [misc]points: Sampling 131 additional inputs, on iter 17 have 7869 / 8000 1544092164.239 * * * * [misc]points: Computing exacts on every 8 of 131 points to ramp up precision 1544092164.240 * * * * [misc]points: Setting MPFR precision to 320 1544092164.240 * * * * [misc]points: Setting MPFR precision to 576 1544092164.241 * * * * [misc]points: Computing exacts on every 4 of 131 points to ramp up precision 1544092164.241 * * * * [misc]points: Setting MPFR precision to 320 1544092164.242 * * * * [misc]points: Setting MPFR precision to 576 1544092164.243 * * * * [misc]points: Computing exacts on every 2 of 131 points to ramp up precision 1544092164.243 * * * * [misc]points: Setting MPFR precision to 320 1544092164.244 * * * * [misc]points: Setting MPFR precision to 576 1544092164.246 * * * * [misc]points: Computing exacts for 131 points 1544092164.246 * * * * [misc]points: Setting MPFR precision to 320 1544092164.249 * * * * [misc]points: Setting MPFR precision to 576 1544092164.253 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.253 * * * * [misc]points: Sampling 98 additional inputs, on iter 18 have 7902 / 8000 1544092164.254 * * * * [misc]points: Computing exacts on every 6 of 98 points to ramp up precision 1544092164.255 * * * * [misc]points: Setting MPFR precision to 320 1544092164.255 * * * * [misc]points: Setting MPFR precision to 576 1544092164.255 * * * * [misc]points: Computing exacts on every 3 of 98 points to ramp up precision 1544092164.256 * * * * [misc]points: Setting MPFR precision to 320 1544092164.257 * * * * [misc]points: Setting MPFR precision to 576 1544092164.257 * * * * [misc]points: Computing exacts for 98 points 1544092164.258 * * * * [misc]points: Setting MPFR precision to 320 1544092164.260 * * * * [misc]points: Setting MPFR precision to 576 1544092164.263 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.263 * * * * [misc]points: Sampling 75 additional inputs, on iter 19 have 7925 / 8000 1544092164.264 * * * * [misc]points: Computing exacts on every 4 of 75 points to ramp up precision 1544092164.264 * * * * [misc]points: Setting MPFR precision to 320 1544092164.265 * * * * [misc]points: Setting MPFR precision to 576 1544092164.265 * * * * [misc]points: Computing exacts on every 2 of 75 points to ramp up precision 1544092164.266 * * * * [misc]points: Setting MPFR precision to 320 1544092164.266 * * * * [misc]points: Setting MPFR precision to 576 1544092164.267 * * * * [misc]points: Computing exacts for 75 points 1544092164.268 * * * * [misc]points: Setting MPFR precision to 320 1544092164.307 * * * * [misc]points: Setting MPFR precision to 576 1544092164.311 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.311 * * * * [misc]points: Sampling 67 additional inputs, on iter 20 have 7933 / 8000 1544092164.312 * * * * [misc]points: Computing exacts on every 4 of 67 points to ramp up precision 1544092164.313 * * * * [misc]points: Setting MPFR precision to 320 1544092164.314 * * * * [misc]points: Setting MPFR precision to 576 1544092164.315 * * * * [misc]points: Computing exacts on every 2 of 67 points to ramp up precision 1544092164.316 * * * * [misc]points: Setting MPFR precision to 320 1544092164.317 * * * * [misc]points: Setting MPFR precision to 576 1544092164.319 * * * * [misc]points: Computing exacts for 67 points 1544092164.324 * * * * [misc]points: Setting MPFR precision to 320 1544092164.327 * * * * [misc]points: Setting MPFR precision to 576 1544092164.331 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.331 * * * * [misc]points: Sampling 50 additional inputs, on iter 21 have 7950 / 8000 1544092164.331 * * * * [misc]points: Computing exacts on every 3 of 50 points to ramp up precision 1544092164.333 * * * * [misc]points: Setting MPFR precision to 320 1544092164.333 * * * * [misc]points: Setting MPFR precision to 576 1544092164.334 * * * * [misc]points: Computing exacts for 50 points 1544092164.335 * * * * [misc]points: Setting MPFR precision to 320 1544092164.337 * * * * [misc]points: Setting MPFR precision to 576 1544092164.340 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.340 * * * * [misc]points: Sampling 42 additional inputs, on iter 22 have 7958 / 8000 1544092164.341 * * * * [misc]points: Computing exacts on every 2 of 42 points to ramp up precision 1544092164.342 * * * * [misc]points: Setting MPFR precision to 320 1544092164.343 * * * * [misc]points: Setting MPFR precision to 576 1544092164.343 * * * * [misc]points: Computing exacts for 42 points 1544092164.344 * * * * [misc]points: Setting MPFR precision to 320 1544092164.345 * * * * [misc]points: Setting MPFR precision to 576 1544092164.346 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.346 * * * * [misc]points: Sampling 35 additional inputs, on iter 23 have 7965 / 8000 1544092164.346 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1544092164.347 * * * * [misc]points: Setting MPFR precision to 320 1544092164.347 * * * * [misc]points: Setting MPFR precision to 576 1544092164.348 * * * * [misc]points: Computing exacts for 35 points 1544092164.348 * * * * [misc]points: Setting MPFR precision to 320 1544092164.349 * * * * [misc]points: Setting MPFR precision to 576 1544092164.350 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.350 * * * * [misc]points: Sampling 30 additional inputs, on iter 24 have 7970 / 8000 1544092164.351 * * * * [misc]points: Computing exacts for 30 points 1544092164.352 * * * * [misc]points: Setting MPFR precision to 320 1544092164.352 * * * * [misc]points: Setting MPFR precision to 576 1544092164.353 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.353 * * * * [misc]points: Sampling 23 additional inputs, on iter 25 have 7977 / 8000 1544092164.354 * * * * [misc]points: Computing exacts for 23 points 1544092164.354 * * * * [misc]points: Setting MPFR precision to 320 1544092164.355 * * * * [misc]points: Setting MPFR precision to 576 1544092164.356 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.356 * * * * [misc]points: Sampling 17 additional inputs, on iter 26 have 7983 / 8000 1544092164.356 * * * * [misc]points: Computing exacts for 17 points 1544092164.357 * * * * [misc]points: Setting MPFR precision to 320 1544092164.357 * * * * [misc]points: Setting MPFR precision to 576 1544092164.358 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.358 * * * * [misc]points: Sampling 12 additional inputs, on iter 27 have 7988 / 8000 1544092164.358 * * * * [misc]points: Computing exacts for 12 points 1544092164.359 * * * * [misc]points: Setting MPFR precision to 320 1544092164.359 * * * * [misc]points: Setting MPFR precision to 576 1544092164.359 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.359 * * * * [misc]points: Sampling 9 additional inputs, on iter 28 have 7991 / 8000 1544092164.359 * * * * [misc]points: Computing exacts for 9 points 1544092164.360 * * * * [misc]points: Setting MPFR precision to 320 1544092164.361 * * * * [misc]points: Setting MPFR precision to 576 1544092164.361 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.361 * * * * [misc]points: Sampling 6 additional inputs, on iter 29 have 7994 / 8000 1544092164.361 * * * * [misc]points: Computing exacts for 6 points 1544092164.362 * * * * [misc]points: Setting MPFR precision to 320 1544092164.362 * * * * [misc]points: Setting MPFR precision to 576 1544092164.362 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.362 * * * * [misc]points: Sampling 6 additional inputs, on iter 30 have 7994 / 8000 1544092164.362 * * * * [misc]points: Computing exacts for 6 points 1544092164.363 * * * * [misc]points: Setting MPFR precision to 320 1544092164.364 * * * * [misc]points: Setting MPFR precision to 576 1544092164.364 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.364 * * * * [misc]points: Sampling 4 additional inputs, on iter 31 have 7997 / 8000 1544092164.364 * * * * [misc]points: Computing exacts for 4 points 1544092164.365 * * * * [misc]points: Setting MPFR precision to 320 1544092164.365 * * * * [misc]points: Setting MPFR precision to 576 1544092164.365 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.365 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7997 / 8000 1544092164.365 * * * * [misc]points: Computing exacts for 4 points 1544092164.366 * * * * [misc]points: Setting MPFR precision to 320 1544092164.366 * * * * [misc]points: Setting MPFR precision to 576 1544092164.366 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.366 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 7999 / 8000 1544092164.366 * * * * [misc]points: Computing exacts for 4 points 1544092164.367 * * * * [misc]points: Setting MPFR precision to 320 1544092164.367 * * * * [misc]points: Setting MPFR precision to 576 1544092164.367 * * * * [misc]points: Filtering points with unrepresentable outputs 1544092164.367 * * * * [exit]points: Sampled 8000 points with exact outputs 1544092164.510 * [misc]regime-testing: Baseline error score: 0 1544092164.510 * [misc]regime-testing: End program error score: 0 1544092164.511 * [misc]regime-testing: Oracle error score: 0 1544092164.563 * [misc]regime-testing: Target error score: 0