1537431232.832 * [misc]progress: [Phase 1 of 3] Setting up. 1537431232.833 * * * [misc]progress: [1/2] Preparing points 1537431232.833 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1537431232.833 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1537431232.834 * * * * [misc]points: Setting MPFR precision to 64 1537431232.835 * * * * [misc]points: Setting MPFR precision to 320 1537431232.835 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1537431232.836 * * * * [misc]points: Setting MPFR precision to 64 1537431232.836 * * * * [misc]points: Setting MPFR precision to 320 1537431232.837 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1537431232.837 * * * * [misc]points: Setting MPFR precision to 64 1537431232.838 * * * * [misc]points: Setting MPFR precision to 320 1537431232.839 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1537431232.840 * * * * [misc]points: Setting MPFR precision to 64 1537431232.841 * * * * [misc]points: Setting MPFR precision to 320 1537431232.843 * * * * [misc]points: Computing exacts for 256 points 1537431232.843 * * * * [misc]points: Setting MPFR precision to 64 1537431232.851 * * * * [misc]points: Setting MPFR precision to 320 1537431232.860 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431232.860 * * * * [misc]points: Sampling 107 additional inputs, on iter 1 have 149 / 256 1537431232.860 * * * * [misc]points: Computing exacts on every 6 of 107 points to ramp up precision 1537431232.862 * * * * [misc]points: Setting MPFR precision to 64 1537431232.862 * * * * [misc]points: Setting MPFR precision to 320 1537431232.863 * * * * [misc]points: Computing exacts on every 3 of 107 points to ramp up precision 1537431232.864 * * * * [misc]points: Setting MPFR precision to 64 1537431232.865 * * * * [misc]points: Setting MPFR precision to 320 1537431232.866 * * * * [misc]points: Computing exacts for 107 points 1537431232.867 * * * * [misc]points: Setting MPFR precision to 64 1537431232.871 * * * * [misc]points: Setting MPFR precision to 320 1537431232.875 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431232.875 * * * * [misc]points: Sampling 39 additional inputs, on iter 2 have 217 / 256 1537431232.875 * * * * [misc]points: Computing exacts on every 2 of 39 points to ramp up precision 1537431232.876 * * * * [misc]points: Setting MPFR precision to 64 1537431232.877 * * * * [misc]points: Setting MPFR precision to 320 1537431232.877 * * * * [misc]points: Computing exacts for 39 points 1537431232.879 * * * * [misc]points: Setting MPFR precision to 64 1537431232.880 * * * * [misc]points: Setting MPFR precision to 320 1537431232.881 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431232.881 * * * * [misc]points: Sampling 15 additional inputs, on iter 3 have 241 / 256 1537431232.881 * * * * [misc]points: Computing exacts for 15 points 1537431232.883 * * * * [misc]points: Setting MPFR precision to 64 1537431232.883 * * * * [misc]points: Setting MPFR precision to 320 1537431232.884 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431232.884 * * * * [misc]points: Sampling 5 additional inputs, on iter 4 have 251 / 256 1537431232.884 * * * * [misc]points: Computing exacts for 5 points 1537431232.885 * * * * [misc]points: Setting MPFR precision to 64 1537431232.886 * * * * [misc]points: Setting MPFR precision to 320 1537431232.886 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431232.886 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 254 / 256 1537431232.886 * * * * [misc]points: Computing exacts for 4 points 1537431232.887 * * * * [misc]points: Setting MPFR precision to 64 1537431232.888 * * * * [misc]points: Setting MPFR precision to 320 1537431232.888 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431232.888 * * * * [exit]points: Sampled 257 points with exact outputs 1537431232.888 * * * [misc]progress: [2/2] Setting up program. 1537431232.893 * [misc]progress: [Phase 2 of 3] Improving. 1537431232.893 * [enter]simplify: Simplifying (* (* (* d1 d1) d1) d1) 1537431232.894 * * [misc]simplify: iters left: 6 (4 enodes) 1537431232.896 * * [misc]simplify: iters left: 5 (7 enodes) 1537431232.898 * * [misc]simplify: iters left: 4 (9 enodes) 1537431232.902 * * [misc]simplify: iters left: 3 (13 enodes) 1537431232.906 * * [misc]simplify: iters left: 2 (15 enodes) 1537431232.910 * [exit]simplify: Simplified to (pow d1 4) 1537431232.919 * * [misc]progress: iteration 1 / 4 1537431232.919 * * * [misc]progress: picking best candidate 1537431232.923 * * * * [misc]pick: Picked # 1537431232.923 * * * [misc]progress: localizing error 1537431232.946 * * * [misc]progress: generating rewritten candidates 1537431232.947 * * * [misc]progress: generating series expansions 1537431232.947 * * * [misc]progress: simplifying candidates 1537431232.947 * * * [misc]progress: adding candidates to table 1537431232.947 * [misc]progress: [Phase 3 of 3] Extracting. 1537431232.951 * [enter]simplify: Simplifying (pow d1 4) 1537431232.952 * * [misc]simplify: iters left: 1 (3 enodes) 1537431232.952 * [exit]simplify: Simplified to (pow d1 4) 1537431232.952 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1537431232.988 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1537431232.990 * * * * [misc]points: Setting MPFR precision to 64 1537431232.990 * * * * [misc]points: Setting MPFR precision to 320 1537431232.991 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1537431232.993 * * * * [misc]points: Setting MPFR precision to 64 1537431232.994 * * * * [misc]points: Setting MPFR precision to 320 1537431232.995 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1537431232.996 * * * * [misc]points: Setting MPFR precision to 64 1537431232.998 * * * * [misc]points: Setting MPFR precision to 320 1537431233.000 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1537431233.002 * * * * [misc]points: Setting MPFR precision to 64 1537431233.005 * * * * [misc]points: Setting MPFR precision to 320 1537431233.009 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1537431233.011 * * * * [misc]points: Setting MPFR precision to 64 1537431233.019 * * * * [misc]points: Setting MPFR precision to 320 1537431233.027 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1537431233.029 * * * * [misc]points: Setting MPFR precision to 64 1537431233.044 * * * * [misc]points: Setting MPFR precision to 320 1537431233.060 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1537431233.061 * * * * [misc]points: Setting MPFR precision to 64 1537431233.113 * * * * [misc]points: Setting MPFR precision to 320 1537431233.144 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1537431233.146 * * * * [misc]points: Setting MPFR precision to 64 1537431233.212 * * * * [misc]points: Setting MPFR precision to 320 1537431233.252 * * * * [misc]points: Computing exacts for 8000 points 1537431233.254 * * * * [misc]points: Setting MPFR precision to 64 1537431233.533 * * * * [misc]points: Setting MPFR precision to 320 1537431233.871 * * * * [misc]points: Setting MPFR precision to 576 1537431234.157 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431234.161 * * * * [misc]points: Sampling 3060 additional inputs, on iter 1 have 4940 / 8000 1537431234.175 * * * * [misc]points: Computing exacts on every 191 of 3060 points to ramp up precision 1537431234.177 * * * * [misc]points: Setting MPFR precision to 320 1537431234.177 * * * * [misc]points: Setting MPFR precision to 576 1537431234.178 * * * * [misc]points: Computing exacts on every 95 of 3060 points to ramp up precision 1537431234.179 * * * * [misc]points: Setting MPFR precision to 320 1537431234.180 * * * * [misc]points: Setting MPFR precision to 576 1537431234.182 * * * * [misc]points: Computing exacts on every 47 of 3060 points to ramp up precision 1537431234.183 * * * * [misc]points: Setting MPFR precision to 320 1537431234.221 * * * * [misc]points: Setting MPFR precision to 576 1537431234.223 * * * * [misc]points: Computing exacts on every 23 of 3060 points to ramp up precision 1537431234.225 * * * * [misc]points: Setting MPFR precision to 320 1537431234.229 * * * * [misc]points: Setting MPFR precision to 576 1537431234.234 * * * * [misc]points: Computing exacts on every 11 of 3060 points to ramp up precision 1537431234.235 * * * * [misc]points: Setting MPFR precision to 320 1537431234.243 * * * * [misc]points: Setting MPFR precision to 576 1537431234.248 * * * * [misc]points: Computing exacts on every 5 of 3060 points to ramp up precision 1537431234.249 * * * * [misc]points: Setting MPFR precision to 320 1537431234.257 * * * * [misc]points: Setting MPFR precision to 576 1537431234.265 * * * * [misc]points: Computing exacts on every 2 of 3060 points to ramp up precision 1537431234.266 * * * * [misc]points: Setting MPFR precision to 320 1537431234.291 * * * * [misc]points: Setting MPFR precision to 576 1537431234.328 * * * * [misc]points: Computing exacts for 3060 points 1537431234.329 * * * * [misc]points: Setting MPFR precision to 320 1537431234.481 * * * * [misc]points: Setting MPFR precision to 576 1537431234.561 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431234.562 * * * * [misc]points: Sampling 1135 additional inputs, on iter 2 have 6865 / 8000 1537431234.567 * * * * [misc]points: Computing exacts on every 70 of 1135 points to ramp up precision 1537431234.569 * * * * [misc]points: Setting MPFR precision to 320 1537431234.616 * * * * [misc]points: Setting MPFR precision to 576 1537431234.617 * * * * [misc]points: Computing exacts on every 35 of 1135 points to ramp up precision 1537431234.618 * * * * [misc]points: Setting MPFR precision to 320 1537431234.619 * * * * [misc]points: Setting MPFR precision to 576 1537431234.620 * * * * [misc]points: Computing exacts on every 17 of 1135 points to ramp up precision 1537431234.622 * * * * [misc]points: Setting MPFR precision to 320 1537431234.624 * * * * [misc]points: Setting MPFR precision to 576 1537431234.626 * * * * [misc]points: Computing exacts on every 8 of 1135 points to ramp up precision 1537431234.628 * * * * [misc]points: Setting MPFR precision to 320 1537431234.632 * * * * [misc]points: Setting MPFR precision to 576 1537431234.636 * * * * [misc]points: Computing exacts on every 4 of 1135 points to ramp up precision 1537431234.638 * * * * [misc]points: Setting MPFR precision to 320 1537431234.645 * * * * [misc]points: Setting MPFR precision to 576 1537431234.653 * * * * [misc]points: Computing exacts on every 2 of 1135 points to ramp up precision 1537431234.655 * * * * [misc]points: Setting MPFR precision to 320 1537431234.668 * * * * [misc]points: Setting MPFR precision to 576 1537431234.681 * * * * [misc]points: Computing exacts for 1135 points 1537431234.683 * * * * [misc]points: Setting MPFR precision to 320 1537431234.720 * * * * [misc]points: Setting MPFR precision to 576 1537431234.759 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431234.759 * * * * [misc]points: Sampling 440 additional inputs, on iter 3 have 7560 / 8000 1537431234.761 * * * * [misc]points: Computing exacts on every 27 of 440 points to ramp up precision 1537431234.763 * * * * [misc]points: Setting MPFR precision to 320 1537431234.764 * * * * [misc]points: Setting MPFR precision to 576 1537431234.765 * * * * [misc]points: Computing exacts on every 13 of 440 points to ramp up precision 1537431234.766 * * * * [misc]points: Setting MPFR precision to 320 1537431234.767 * * * * [misc]points: Setting MPFR precision to 576 1537431234.768 * * * * [misc]points: Computing exacts on every 6 of 440 points to ramp up precision 1537431234.769 * * * * [misc]points: Setting MPFR precision to 320 1537431234.771 * * * * [misc]points: Setting MPFR precision to 576 1537431234.774 * * * * [misc]points: Computing exacts on every 3 of 440 points to ramp up precision 1537431234.775 * * * * [misc]points: Setting MPFR precision to 320 1537431234.779 * * * * [misc]points: Setting MPFR precision to 576 1537431234.783 * * * * [misc]points: Computing exacts for 440 points 1537431234.784 * * * * [misc]points: Setting MPFR precision to 320 1537431234.841 * * * * [misc]points: Setting MPFR precision to 576 1537431234.849 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431234.849 * * * * [misc]points: Sampling 185 additional inputs, on iter 4 have 7815 / 8000 1537431234.849 * * * * [misc]points: Computing exacts on every 11 of 185 points to ramp up precision 1537431234.850 * * * * [misc]points: Setting MPFR precision to 320 1537431234.851 * * * * [misc]points: Setting MPFR precision to 576 1537431234.851 * * * * [misc]points: Computing exacts on every 5 of 185 points to ramp up precision 1537431234.852 * * * * [misc]points: Setting MPFR precision to 320 1537431234.852 * * * * [misc]points: Setting MPFR precision to 576 1537431234.853 * * * * [misc]points: Computing exacts on every 2 of 185 points to ramp up precision 1537431234.854 * * * * [misc]points: Setting MPFR precision to 320 1537431234.855 * * * * [misc]points: Setting MPFR precision to 576 1537431234.856 * * * * [misc]points: Computing exacts for 185 points 1537431234.856 * * * * [misc]points: Setting MPFR precision to 320 1537431234.859 * * * * [misc]points: Setting MPFR precision to 576 1537431234.863 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431234.863 * * * * [misc]points: Sampling 67 additional inputs, on iter 5 have 7933 / 8000 1537431234.863 * * * * [misc]points: Computing exacts on every 4 of 67 points to ramp up precision 1537431234.864 * * * * [misc]points: Setting MPFR precision to 320 1537431234.864 * * * * [misc]points: Setting MPFR precision to 576 1537431234.864 * * * * [misc]points: Computing exacts on every 2 of 67 points to ramp up precision 1537431234.865 * * * * [misc]points: Setting MPFR precision to 320 1537431234.865 * * * * [misc]points: Setting MPFR precision to 576 1537431234.866 * * * * [misc]points: Computing exacts for 67 points 1537431234.866 * * * * [misc]points: Setting MPFR precision to 320 1537431234.868 * * * * [misc]points: Setting MPFR precision to 576 1537431234.869 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431234.869 * * * * [misc]points: Sampling 22 additional inputs, on iter 6 have 7978 / 8000 1537431234.869 * * * * [misc]points: Computing exacts for 22 points 1537431234.870 * * * * [misc]points: Setting MPFR precision to 320 1537431234.870 * * * * [misc]points: Setting MPFR precision to 576 1537431234.870 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431234.871 * * * * [misc]points: Sampling 10 additional inputs, on iter 7 have 7990 / 8000 1537431234.871 * * * * [misc]points: Computing exacts for 10 points 1537431234.871 * * * * [misc]points: Setting MPFR precision to 320 1537431234.871 * * * * [misc]points: Setting MPFR precision to 576 1537431234.872 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431234.872 * * * * [misc]points: Sampling 5 additional inputs, on iter 8 have 7995 / 8000 1537431234.872 * * * * [misc]points: Computing exacts for 5 points 1537431234.872 * * * * [misc]points: Setting MPFR precision to 320 1537431234.873 * * * * [misc]points: Setting MPFR precision to 576 1537431234.873 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431234.873 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 7999 / 8000 1537431234.873 * * * * [misc]points: Computing exacts for 4 points 1537431234.873 * * * * [misc]points: Setting MPFR precision to 320 1537431234.874 * * * * [misc]points: Setting MPFR precision to 576 1537431234.874 * * * * [misc]points: Filtering points with unrepresentable outputs 1537431234.874 * * * * [exit]points: Sampled 8002 points with exact outputs 1537431235.060 * [misc]regime-testing: Baseline error score: 0 1537431235.060 * [misc]regime-testing: End program error score: 0 1537431235.061 * [misc]regime-testing: Oracle error score: 0 1537431235.153 * [misc]regime-testing: Target error score: 0