1536749887.676 * [misc]progress: [Phase 1 of 3] Setting up. 1536749887.676 * * * [misc]progress: [1/2] Preparing points 1536749887.676 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536749887.678 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536749887.680 * * * * [misc]points: Setting MPFR precision to 64 1536749887.681 * * * * [misc]points: Setting MPFR precision to 320 1536749887.681 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536749887.682 * * * * [misc]points: Setting MPFR precision to 64 1536749887.684 * * * * [misc]points: Setting MPFR precision to 320 1536749887.685 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536749887.686 * * * * [misc]points: Setting MPFR precision to 64 1536749887.688 * * * * [misc]points: Setting MPFR precision to 320 1536749887.690 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536749887.692 * * * * [misc]points: Setting MPFR precision to 64 1536749887.695 * * * * [misc]points: Setting MPFR precision to 320 1536749887.699 * * * * [misc]points: Computing exacts for 256 points 1536749887.700 * * * * [misc]points: Setting MPFR precision to 64 1536749887.710 * * * * [misc]points: Setting MPFR precision to 320 1536749887.721 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749887.721 * * * * [misc]points: Sampling 119 additional inputs, on iter 1 have 137 / 256 1536749887.722 * * * * [misc]points: Computing exacts on every 7 of 119 points to ramp up precision 1536749887.723 * * * * [misc]points: Setting MPFR precision to 64 1536749887.724 * * * * [misc]points: Setting MPFR precision to 320 1536749887.725 * * * * [misc]points: Computing exacts on every 3 of 119 points to ramp up precision 1536749887.726 * * * * [misc]points: Setting MPFR precision to 64 1536749887.727 * * * * [misc]points: Setting MPFR precision to 320 1536749887.728 * * * * [misc]points: Computing exacts for 119 points 1536749887.730 * * * * [misc]points: Setting MPFR precision to 64 1536749887.734 * * * * [misc]points: Setting MPFR precision to 320 1536749887.739 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749887.739 * * * * [misc]points: Sampling 55 additional inputs, on iter 2 have 201 / 256 1536749887.740 * * * * [misc]points: Computing exacts on every 3 of 55 points to ramp up precision 1536749887.741 * * * * [misc]points: Setting MPFR precision to 64 1536749887.742 * * * * [misc]points: Setting MPFR precision to 320 1536749887.743 * * * * [misc]points: Computing exacts for 55 points 1536749887.744 * * * * [misc]points: Setting MPFR precision to 64 1536749887.746 * * * * [misc]points: Setting MPFR precision to 320 1536749887.749 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749887.749 * * * * [misc]points: Sampling 24 additional inputs, on iter 3 have 232 / 256 1536749887.749 * * * * [misc]points: Computing exacts for 24 points 1536749887.751 * * * * [misc]points: Setting MPFR precision to 64 1536749887.752 * * * * [misc]points: Setting MPFR precision to 320 1536749887.753 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749887.753 * * * * [misc]points: Sampling 11 additional inputs, on iter 4 have 245 / 256 1536749887.753 * * * * [misc]points: Computing exacts for 11 points 1536749887.755 * * * * [misc]points: Setting MPFR precision to 64 1536749887.755 * * * * [misc]points: Setting MPFR precision to 320 1536749887.756 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749887.756 * * * * [misc]points: Sampling 8 additional inputs, on iter 5 have 248 / 256 1536749887.756 * * * * [misc]points: Computing exacts for 8 points 1536749887.757 * * * * [misc]points: Setting MPFR precision to 64 1536749887.758 * * * * [misc]points: Setting MPFR precision to 320 1536749887.758 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749887.758 * * * * [misc]points: Sampling 7 additional inputs, on iter 6 have 249 / 256 1536749887.758 * * * * [misc]points: Computing exacts for 7 points 1536749887.759 * * * * [misc]points: Setting MPFR precision to 64 1536749887.760 * * * * [misc]points: Setting MPFR precision to 320 1536749887.760 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749887.760 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 253 / 256 1536749887.760 * * * * [misc]points: Computing exacts for 4 points 1536749887.761 * * * * [misc]points: Setting MPFR precision to 64 1536749887.762 * * * * [misc]points: Setting MPFR precision to 320 1536749887.762 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749887.762 * * * * [exit]points: Sampled 256 points with exact outputs 1536749887.762 * * * [misc]progress: [2/2] Setting up program. 1536749887.767 * [misc]progress: [Phase 2 of 3] Improving. 1536749887.767 * [enter]simplify: Simplifying (- (* a a) (* b b)) 1536749887.768 * * [misc]simplify: iters left: 4 (5 enodes) 1536749887.771 * * [misc]simplify: iters left: 3 (10 enodes) 1536749887.775 * * [misc]simplify: iters left: 2 (17 enodes) 1536749887.783 * * [misc]simplify: iters left: 1 (32 enodes) 1536749887.800 * [exit]simplify: Simplified to (* (+ a b) (- a b)) 1536749887.832 * * [misc]progress: iteration 1 / 4 1536749887.832 * * * [misc]progress: picking best candidate 1536749887.838 * * * * [misc]pick: Picked # 1536749887.838 * * * [misc]progress: localizing error 1536749887.858 * * * [misc]progress: generating rewritten candidates 1536749887.858 * * * [misc]progress: generating series expansions 1536749887.858 * * * [misc]progress: simplifying candidates 1536749887.858 * * * [misc]progress: adding candidates to table 1536749887.858 * [misc]progress: [Phase 3 of 3] Extracting. 1536749887.863 * [enter]simplify: Simplifying (* (+ a b) (- a b)) 1536749887.864 * * [misc]simplify: iters left: 4 (5 enodes) 1536749887.865 * * [misc]simplify: iters left: 3 (7 enodes) 1536749887.866 * [exit]simplify: Simplified to (* (+ b a) (- a b)) 1536749887.866 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1536749887.942 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1536749887.944 * * * * [misc]points: Setting MPFR precision to 64 1536749887.945 * * * * [misc]points: Setting MPFR precision to 320 1536749887.945 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1536749887.947 * * * * [misc]points: Setting MPFR precision to 64 1536749887.948 * * * * [misc]points: Setting MPFR precision to 320 1536749887.949 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1536749887.951 * * * * [misc]points: Setting MPFR precision to 64 1536749887.954 * * * * [misc]points: Setting MPFR precision to 320 1536749887.957 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1536749887.958 * * * * [misc]points: Setting MPFR precision to 64 1536749887.963 * * * * [misc]points: Setting MPFR precision to 320 1536749887.968 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1536749887.970 * * * * [misc]points: Setting MPFR precision to 64 1536749887.977 * * * * [misc]points: Setting MPFR precision to 320 1536749887.982 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1536749887.983 * * * * [misc]points: Setting MPFR precision to 64 1536749887.993 * * * * [misc]points: Setting MPFR precision to 320 1536749888.003 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1536749888.004 * * * * [misc]points: Setting MPFR precision to 64 1536749888.022 * * * * [misc]points: Setting MPFR precision to 320 1536749888.089 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1536749888.091 * * * * [misc]points: Setting MPFR precision to 64 1536749888.177 * * * * [misc]points: Setting MPFR precision to 320 1536749888.234 * * * * [misc]points: Computing exacts for 8000 points 1536749888.236 * * * * [misc]points: Setting MPFR precision to 64 1536749888.629 * * * * [misc]points: Setting MPFR precision to 320 1536749888.992 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749888.994 * * * * [misc]points: Sampling 3496 additional inputs, on iter 1 have 4504 / 8000 1536749889.058 * * * * [misc]points: Computing exacts on every 218 of 3496 points to ramp up precision 1536749889.060 * * * * [misc]points: Setting MPFR precision to 64 1536749889.061 * * * * [misc]points: Setting MPFR precision to 320 1536749889.062 * * * * [misc]points: Computing exacts on every 109 of 3496 points to ramp up precision 1536749889.063 * * * * [misc]points: Setting MPFR precision to 64 1536749889.064 * * * * [misc]points: Setting MPFR precision to 320 1536749889.066 * * * * [misc]points: Computing exacts on every 54 of 3496 points to ramp up precision 1536749889.067 * * * * [misc]points: Setting MPFR precision to 64 1536749889.069 * * * * [misc]points: Setting MPFR precision to 320 1536749889.072 * * * * [misc]points: Computing exacts on every 27 of 3496 points to ramp up precision 1536749889.073 * * * * [misc]points: Setting MPFR precision to 64 1536749889.078 * * * * [misc]points: Setting MPFR precision to 320 1536749889.082 * * * * [misc]points: Computing exacts on every 13 of 3496 points to ramp up precision 1536749889.084 * * * * [misc]points: Setting MPFR precision to 64 1536749889.093 * * * * [misc]points: Setting MPFR precision to 320 1536749889.103 * * * * [misc]points: Computing exacts on every 6 of 3496 points to ramp up precision 1536749889.104 * * * * [misc]points: Setting MPFR precision to 64 1536749889.117 * * * * [misc]points: Setting MPFR precision to 320 1536749889.126 * * * * [misc]points: Computing exacts on every 3 of 3496 points to ramp up precision 1536749889.127 * * * * [misc]points: Setting MPFR precision to 64 1536749889.144 * * * * [misc]points: Setting MPFR precision to 320 1536749889.213 * * * * [misc]points: Computing exacts for 3496 points 1536749889.214 * * * * [misc]points: Setting MPFR precision to 64 1536749889.290 * * * * [misc]points: Setting MPFR precision to 320 1536749889.447 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749889.449 * * * * [misc]points: Sampling 1554 additional inputs, on iter 2 have 6446 / 8000 1536749889.461 * * * * [misc]points: Computing exacts on every 97 of 1554 points to ramp up precision 1536749889.463 * * * * [misc]points: Setting MPFR precision to 64 1536749889.463 * * * * [misc]points: Setting MPFR precision to 320 1536749889.464 * * * * [misc]points: Computing exacts on every 48 of 1554 points to ramp up precision 1536749889.465 * * * * [misc]points: Setting MPFR precision to 64 1536749889.467 * * * * [misc]points: Setting MPFR precision to 320 1536749889.468 * * * * [misc]points: Computing exacts on every 24 of 1554 points to ramp up precision 1536749889.469 * * * * [misc]points: Setting MPFR precision to 64 1536749889.472 * * * * [misc]points: Setting MPFR precision to 320 1536749889.474 * * * * [misc]points: Computing exacts on every 12 of 1554 points to ramp up precision 1536749889.475 * * * * [misc]points: Setting MPFR precision to 64 1536749889.479 * * * * [misc]points: Setting MPFR precision to 320 1536749889.483 * * * * [misc]points: Computing exacts on every 6 of 1554 points to ramp up precision 1536749889.485 * * * * [misc]points: Setting MPFR precision to 64 1536749889.904 * * * * [misc]points: Setting MPFR precision to 320 1536749889.909 * * * * [misc]points: Computing exacts on every 3 of 1554 points to ramp up precision 1536749889.910 * * * * [misc]points: Setting MPFR precision to 64 1536749889.920 * * * * [misc]points: Setting MPFR precision to 320 1536749889.928 * * * * [misc]points: Computing exacts for 1554 points 1536749889.929 * * * * [misc]points: Setting MPFR precision to 64 1536749889.958 * * * * [misc]points: Setting MPFR precision to 320 1536749890.009 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749890.010 * * * * [misc]points: Sampling 677 additional inputs, on iter 3 have 7323 / 8000 1536749890.063 * * * * [misc]points: Computing exacts on every 42 of 677 points to ramp up precision 1536749890.064 * * * * [misc]points: Setting MPFR precision to 64 1536749890.065 * * * * [misc]points: Setting MPFR precision to 320 1536749890.066 * * * * [misc]points: Computing exacts on every 21 of 677 points to ramp up precision 1536749890.067 * * * * [misc]points: Setting MPFR precision to 64 1536749890.069 * * * * [misc]points: Setting MPFR precision to 320 1536749890.070 * * * * [misc]points: Computing exacts on every 10 of 677 points to ramp up precision 1536749890.071 * * * * [misc]points: Setting MPFR precision to 64 1536749890.078 * * * * [misc]points: Setting MPFR precision to 320 1536749890.080 * * * * [misc]points: Computing exacts on every 5 of 677 points to ramp up precision 1536749890.082 * * * * [misc]points: Setting MPFR precision to 64 1536749890.086 * * * * [misc]points: Setting MPFR precision to 320 1536749890.090 * * * * [misc]points: Computing exacts on every 2 of 677 points to ramp up precision 1536749890.092 * * * * [misc]points: Setting MPFR precision to 64 1536749890.101 * * * * [misc]points: Setting MPFR precision to 320 1536749890.110 * * * * [misc]points: Computing exacts for 677 points 1536749890.111 * * * * [misc]points: Setting MPFR precision to 64 1536749890.138 * * * * [misc]points: Setting MPFR precision to 320 1536749890.156 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749890.156 * * * * [misc]points: Sampling 302 additional inputs, on iter 4 have 7698 / 8000 1536749890.157 * * * * [misc]points: Computing exacts on every 18 of 302 points to ramp up precision 1536749890.158 * * * * [misc]points: Setting MPFR precision to 64 1536749890.159 * * * * [misc]points: Setting MPFR precision to 320 1536749890.159 * * * * [misc]points: Computing exacts on every 9 of 302 points to ramp up precision 1536749890.160 * * * * [misc]points: Setting MPFR precision to 64 1536749890.161 * * * * [misc]points: Setting MPFR precision to 320 1536749890.161 * * * * [misc]points: Computing exacts on every 4 of 302 points to ramp up precision 1536749890.162 * * * * [misc]points: Setting MPFR precision to 64 1536749890.163 * * * * [misc]points: Setting MPFR precision to 320 1536749890.164 * * * * [misc]points: Computing exacts on every 2 of 302 points to ramp up precision 1536749890.165 * * * * [misc]points: Setting MPFR precision to 64 1536749890.167 * * * * [misc]points: Setting MPFR precision to 320 1536749890.169 * * * * [misc]points: Computing exacts for 302 points 1536749890.170 * * * * [misc]points: Setting MPFR precision to 64 1536749890.176 * * * * [misc]points: Setting MPFR precision to 320 1536749890.188 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749890.189 * * * * [misc]points: Sampling 151 additional inputs, on iter 5 have 7849 / 8000 1536749890.190 * * * * [misc]points: Computing exacts on every 9 of 151 points to ramp up precision 1536749890.192 * * * * [misc]points: Setting MPFR precision to 64 1536749890.192 * * * * [misc]points: Setting MPFR precision to 320 1536749890.193 * * * * [misc]points: Computing exacts on every 4 of 151 points to ramp up precision 1536749890.194 * * * * [misc]points: Setting MPFR precision to 64 1536749890.196 * * * * [misc]points: Setting MPFR precision to 320 1536749890.197 * * * * [misc]points: Computing exacts on every 2 of 151 points to ramp up precision 1536749890.199 * * * * [misc]points: Setting MPFR precision to 64 1536749890.201 * * * * [misc]points: Setting MPFR precision to 320 1536749890.203 * * * * [misc]points: Computing exacts for 151 points 1536749890.204 * * * * [misc]points: Setting MPFR precision to 64 1536749890.210 * * * * [misc]points: Setting MPFR precision to 320 1536749890.251 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749890.252 * * * * [misc]points: Sampling 71 additional inputs, on iter 6 have 7929 / 8000 1536749890.252 * * * * [misc]points: Computing exacts on every 4 of 71 points to ramp up precision 1536749890.253 * * * * [misc]points: Setting MPFR precision to 64 1536749890.253 * * * * [misc]points: Setting MPFR precision to 320 1536749890.254 * * * * [misc]points: Computing exacts on every 2 of 71 points to ramp up precision 1536749890.254 * * * * [misc]points: Setting MPFR precision to 64 1536749890.255 * * * * [misc]points: Setting MPFR precision to 320 1536749890.255 * * * * [misc]points: Computing exacts for 71 points 1536749890.256 * * * * [misc]points: Setting MPFR precision to 64 1536749890.258 * * * * [misc]points: Setting MPFR precision to 320 1536749890.259 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749890.259 * * * * [misc]points: Sampling 35 additional inputs, on iter 7 have 7965 / 8000 1536749890.259 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1536749890.260 * * * * [misc]points: Setting MPFR precision to 64 1536749890.260 * * * * [misc]points: Setting MPFR precision to 320 1536749890.261 * * * * [misc]points: Computing exacts for 35 points 1536749890.261 * * * * [misc]points: Setting MPFR precision to 64 1536749890.264 * * * * [misc]points: Setting MPFR precision to 320 1536749890.264 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749890.264 * * * * [misc]points: Sampling 21 additional inputs, on iter 8 have 7979 / 8000 1536749890.265 * * * * [misc]points: Computing exacts for 21 points 1536749890.265 * * * * [misc]points: Setting MPFR precision to 64 1536749890.266 * * * * [misc]points: Setting MPFR precision to 320 1536749890.266 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749890.266 * * * * [misc]points: Sampling 11 additional inputs, on iter 9 have 7989 / 8000 1536749890.267 * * * * [misc]points: Computing exacts for 11 points 1536749890.267 * * * * [misc]points: Setting MPFR precision to 64 1536749890.268 * * * * [misc]points: Setting MPFR precision to 320 1536749890.268 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749890.268 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7997 / 8000 1536749890.268 * * * * [misc]points: Computing exacts for 4 points 1536749890.269 * * * * [misc]points: Setting MPFR precision to 64 1536749890.269 * * * * [misc]points: Setting MPFR precision to 320 1536749890.269 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749890.269 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7999 / 8000 1536749890.269 * * * * [misc]points: Computing exacts for 4 points 1536749890.270 * * * * [misc]points: Setting MPFR precision to 64 1536749890.270 * * * * [misc]points: Setting MPFR precision to 320 1536749890.270 * * * * [misc]points: Filtering points with unrepresentable outputs 1536749890.270 * * * * [exit]points: Sampled 8002 points with exact outputs