1540202849.543 * [misc]progress: [Phase 1 of 3] Setting up. 1540202849.543 * * * [misc]progress: [1/2] Preparing points 1540202849.543 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540202849.544 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540202849.546 * * * * [misc]points: Setting MPFR precision to 64 1540202849.546 * * * * [misc]points: Setting MPFR precision to 320 1540202849.547 * * * * [misc]points: Setting MPFR precision to 576 1540202849.548 * * * * [misc]points: Setting MPFR precision to 832 1540202849.549 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540202849.550 * * * * [misc]points: Setting MPFR precision to 576 1540202849.551 * * * * [misc]points: Setting MPFR precision to 832 1540202849.552 * * * * [misc]points: Setting MPFR precision to 1088 1540202849.553 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540202849.554 * * * * [misc]points: Setting MPFR precision to 832 1540202849.556 * * * * [misc]points: Setting MPFR precision to 1088 1540202849.557 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540202849.558 * * * * [misc]points: Setting MPFR precision to 832 1540202849.561 * * * * [misc]points: Setting MPFR precision to 1088 1540202849.564 * * * * [misc]points: Setting MPFR precision to 1344 1540202849.568 * * * * [misc]points: Setting MPFR precision to 1600 1540202849.573 * * * * [misc]points: Setting MPFR precision to 1856 1540202849.579 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.592 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.609 * * * * [misc]points: Computing exacts for 256 points 1540202849.611 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.647 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.691 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202849.692 * * * * [misc]points: Sampling 193 additional inputs, on iter 1 have 63 / 256 1540202849.692 * * * * [misc]points: Computing exacts on every 12 of 193 points to ramp up precision 1540202849.694 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.696 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.697 * * * * [misc]points: Computing exacts on every 6 of 193 points to ramp up precision 1540202849.699 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.703 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.707 * * * * [misc]points: Computing exacts on every 3 of 193 points to ramp up precision 1540202849.708 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.715 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.723 * * * * [misc]points: Computing exacts for 193 points 1540202849.724 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.754 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.784 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202849.784 * * * * [misc]points: Sampling 145 additional inputs, on iter 2 have 111 / 256 1540202849.785 * * * * [misc]points: Computing exacts on every 9 of 145 points to ramp up precision 1540202849.786 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.788 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.790 * * * * [misc]points: Computing exacts on every 4 of 145 points to ramp up precision 1540202849.791 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.795 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.800 * * * * [misc]points: Computing exacts on every 2 of 145 points to ramp up precision 1540202849.801 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.805 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.810 * * * * [misc]points: Computing exacts for 145 points 1540202849.811 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.824 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.863 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202849.863 * * * * [misc]points: Sampling 109 additional inputs, on iter 3 have 147 / 256 1540202849.863 * * * * [misc]points: Computing exacts on every 6 of 109 points to ramp up precision 1540202849.864 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.866 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.869 * * * * [misc]points: Computing exacts on every 3 of 109 points to ramp up precision 1540202849.870 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.872 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.874 * * * * [misc]points: Computing exacts for 109 points 1540202849.875 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.883 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.891 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202849.891 * * * * [misc]points: Sampling 85 additional inputs, on iter 4 have 171 / 256 1540202849.891 * * * * [misc]points: Computing exacts on every 5 of 85 points to ramp up precision 1540202849.892 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.893 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.895 * * * * [misc]points: Computing exacts on every 2 of 85 points to ramp up precision 1540202849.896 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.899 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.902 * * * * [misc]points: Computing exacts for 85 points 1540202849.903 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.911 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.921 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202849.921 * * * * [misc]points: Sampling 62 additional inputs, on iter 5 have 194 / 256 1540202849.921 * * * * [misc]points: Computing exacts on every 3 of 62 points to ramp up precision 1540202849.922 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.923 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.924 * * * * [misc]points: Computing exacts for 62 points 1540202849.925 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.929 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.934 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202849.934 * * * * [misc]points: Sampling 52 additional inputs, on iter 6 have 204 / 256 1540202849.934 * * * * [misc]points: Computing exacts on every 3 of 52 points to ramp up precision 1540202849.935 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.936 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.939 * * * * [misc]points: Computing exacts for 52 points 1540202849.940 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.944 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.950 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202849.950 * * * * [misc]points: Sampling 36 additional inputs, on iter 7 have 220 / 256 1540202849.950 * * * * [misc]points: Computing exacts on every 2 of 36 points to ramp up precision 1540202849.951 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.952 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.953 * * * * [misc]points: Computing exacts for 36 points 1540202849.954 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.957 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.961 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202849.961 * * * * [misc]points: Sampling 21 additional inputs, on iter 8 have 235 / 256 1540202849.961 * * * * [misc]points: Computing exacts for 21 points 1540202849.962 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.964 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.967 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202849.967 * * * * [misc]points: Sampling 14 additional inputs, on iter 9 have 242 / 256 1540202849.967 * * * * [misc]points: Computing exacts for 14 points 1540202849.968 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.969 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.970 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202849.970 * * * * [misc]points: Sampling 12 additional inputs, on iter 10 have 244 / 256 1540202849.970 * * * * [misc]points: Computing exacts for 12 points 1540202849.970 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.972 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.972 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202849.973 * * * * [misc]points: Sampling 10 additional inputs, on iter 11 have 246 / 256 1540202849.973 * * * * [misc]points: Computing exacts for 10 points 1540202849.973 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.975 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.977 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202849.977 * * * * [misc]points: Sampling 8 additional inputs, on iter 12 have 248 / 256 1540202849.977 * * * * [misc]points: Computing exacts for 8 points 1540202849.978 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.980 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.981 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202849.981 * * * * [misc]points: Sampling 7 additional inputs, on iter 13 have 249 / 256 1540202849.981 * * * * [misc]points: Computing exacts for 7 points 1540202849.982 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.983 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.985 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202849.985 * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 1540202849.985 * * * * [misc]points: Computing exacts for 5 points 1540202849.986 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.986 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.986 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202849.987 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 251 / 256 1540202849.987 * * * * [misc]points: Computing exacts for 5 points 1540202849.988 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.988 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.989 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202849.989 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 252 / 256 1540202849.989 * * * * [misc]points: Computing exacts for 4 points 1540202849.990 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.991 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.991 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202849.991 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 252 / 256 1540202849.991 * * * * [misc]points: Computing exacts for 4 points 1540202849.992 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.993 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.994 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202849.994 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 253 / 256 1540202849.994 * * * * [misc]points: Computing exacts for 4 points 1540202849.995 * * * * [misc]points: Setting MPFR precision to 2112 1540202849.995 * * * * [misc]points: Setting MPFR precision to 2368 1540202849.996 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202849.996 * * * * [exit]points: Sampled 256 points with exact outputs 1540202849.996 * * * [misc]progress: [2/2] Setting up program. 1540202849.999 * [misc]progress: [Phase 2 of 3] Improving. 1540202849.999 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1540202849.999 * * [misc]simplify: iters left: 4 (6 enodes) 1540202850.000 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1540202850.007 * * [misc]progress: iteration 1 / 4 1540202850.007 * * * [misc]progress: picking best candidate 1540202850.012 * * * * [misc]pick: Picked # 1540202850.012 * * * [misc]progress: localizing error 1540202850.131 * * * [misc]progress: generating rewritten candidates 1540202850.131 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1540202850.131 * * * [misc]progress: generating series expansions 1540202850.131 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1540202850.131 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540202850.131 * [misc]approximate: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 1540202850.131 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1540202850.132 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540202850.132 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1540202850.132 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540202850.132 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540202850.132 * [misc]backup-simplify: Simplify 0 into 0 1540202850.132 * [misc]backup-simplify: Simplify 0 into 0 1540202850.132 * [misc]backup-simplify: Simplify 0 into 0 1540202850.132 * [misc]backup-simplify: Simplify 0 into 0 1540202850.132 * [misc]backup-simplify: Simplify 0 into 0 1540202850.132 * [misc]backup-simplify: Simplify 0 into 0 1540202850.132 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540202850.132 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1540202850.132 * [misc]approximate: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 1540202850.132 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1540202850.132 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1540202850.132 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1540202850.132 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1540202850.132 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1540202850.132 * [misc]backup-simplify: Simplify 0 into 0 1540202850.132 * [misc]backup-simplify: Simplify 0 into 0 1540202850.132 * [misc]backup-simplify: Simplify 0 into 0 1540202850.132 * [misc]backup-simplify: Simplify 0 into 0 1540202850.132 * [misc]backup-simplify: Simplify 0 into 0 1540202850.132 * [misc]backup-simplify: Simplify 0 into 0 1540202850.133 * [misc]backup-simplify: Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a)) 1540202850.133 * [misc]backup-simplify: Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a))) 1540202850.133 * [misc]approximate: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 1540202850.133 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1540202850.133 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1540202850.133 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1540202850.133 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1540202850.133 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1540202850.133 * [misc]backup-simplify: Simplify 0 into 0 1540202850.133 * [misc]backup-simplify: Simplify 0 into 0 1540202850.133 * [misc]backup-simplify: Simplify 0 into 0 1540202850.133 * [misc]backup-simplify: Simplify 0 into 0 1540202850.133 * [misc]backup-simplify: Simplify 0 into 0 1540202850.133 * [misc]backup-simplify: Simplify 0 into 0 1540202850.133 * [misc]backup-simplify: Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a)) 1540202850.133 * * * [misc]progress: simplifying candidates 1540202850.133 * * * * [misc]progress: [ 1 / 12 ] simplifiying candidate # 1540202850.133 * * * * [misc]progress: [ 2 / 12 ] simplifiying candidate # 1540202850.133 * * * * [misc]progress: [ 3 / 12 ] simplifiying candidate # 1540202850.133 * * * * [misc]progress: [ 4 / 12 ] simplifiying candidate # 1540202850.133 * * * * [misc]progress: [ 5 / 12 ] simplifiying candidate # 1540202850.133 * * * * [misc]progress: [ 6 / 12 ] simplifiying candidate # 1540202850.133 * * * * [misc]progress: [ 7 / 12 ] simplifiying candidate # 1540202850.133 * * * * [misc]progress: [ 8 / 12 ] simplifiying candidate # 1540202850.133 * * * * [misc]progress: [ 9 / 12 ] simplifiying candidate # 1540202850.133 * * * * [misc]progress: [ 10 / 12 ] simplifiying candidate # 1540202850.134 * [enter]simplify: Simplifying (fmod a (asin a)) 1540202850.134 * * [misc]simplify: iters left: 2 (3 enodes) 1540202850.134 * [exit]simplify: Simplified to (fmod a (asin a)) 1540202850.134 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1540202850.134 * * * * [misc]progress: [ 11 / 12 ] simplifiying candidate # 1540202850.134 * [enter]simplify: Simplifying (fmod a (asin a)) 1540202850.134 * * [misc]simplify: iters left: 2 (3 enodes) 1540202850.135 * [exit]simplify: Simplified to (fmod a (asin a)) 1540202850.135 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1540202850.135 * * * * [misc]progress: [ 12 / 12 ] simplifiying candidate # 1540202850.135 * [enter]simplify: Simplifying (fmod a (asin a)) 1540202850.135 * * [misc]simplify: iters left: 2 (3 enodes) 1540202850.135 * [exit]simplify: Simplified to (fmod a (asin a)) 1540202850.135 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1540202850.135 * * * [misc]progress: adding candidates to table 1540202850.260 * [misc]progress: [Phase 3 of 3] Extracting. 1540202850.265 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1540202850.266 * * [misc]simplify: iters left: 4 (6 enodes) 1540202850.266 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1540202850.266 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1540202850.307 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1540202850.309 * * * * [misc]points: Setting MPFR precision to 2112 1540202850.312 * * * * [misc]points: Setting MPFR precision to 2368 1540202850.314 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1540202850.315 * * * * [misc]points: Setting MPFR precision to 2112 1540202850.321 * * * * [misc]points: Setting MPFR precision to 2368 1540202850.325 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1540202850.327 * * * * [misc]points: Setting MPFR precision to 2112 1540202850.337 * * * * [misc]points: Setting MPFR precision to 2368 1540202850.350 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1540202850.351 * * * * [misc]points: Setting MPFR precision to 2112 1540202850.366 * * * * [misc]points: Setting MPFR precision to 2368 1540202850.380 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1540202850.381 * * * * [misc]points: Setting MPFR precision to 2112 1540202850.403 * * * * [misc]points: Setting MPFR precision to 2368 1540202850.430 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1540202850.431 * * * * [misc]points: Setting MPFR precision to 2112 1540202850.492 * * * * [misc]points: Setting MPFR precision to 2368 1540202850.548 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1540202850.549 * * * * [misc]points: Setting MPFR precision to 2112 1540202850.714 * * * * [misc]points: Setting MPFR precision to 2368 1540202850.874 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1540202850.876 * * * * [misc]points: Setting MPFR precision to 2112 1540202851.150 * * * * [misc]points: Setting MPFR precision to 2368 1540202851.808 * * * * [misc]points: Computing exacts for 8000 points 1540202851.809 * * * * [misc]points: Setting MPFR precision to 2112 1540202852.805 * * * * [misc]points: Setting MPFR precision to 2368 1540202853.960 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202853.961 * * * * [misc]points: Sampling 6032 additional inputs, on iter 1 have 1968 / 8000 1540202853.977 * * * * [misc]points: Computing exacts on every 377 of 6032 points to ramp up precision 1540202853.978 * * * * [misc]points: Setting MPFR precision to 2112 1540202853.980 * * * * [misc]points: Setting MPFR precision to 2368 1540202853.982 * * * * [misc]points: Computing exacts on every 188 of 6032 points to ramp up precision 1540202853.983 * * * * [misc]points: Setting MPFR precision to 2112 1540202853.986 * * * * [misc]points: Setting MPFR precision to 2368 1540202853.989 * * * * [misc]points: Computing exacts on every 94 of 6032 points to ramp up precision 1540202853.990 * * * * [misc]points: Setting MPFR precision to 2112 1540202853.995 * * * * [misc]points: Setting MPFR precision to 2368 1540202854.001 * * * * [misc]points: Computing exacts on every 47 of 6032 points to ramp up precision 1540202854.002 * * * * [misc]points: Setting MPFR precision to 2112 1540202854.013 * * * * [misc]points: Setting MPFR precision to 2368 1540202854.025 * * * * [misc]points: Computing exacts on every 23 of 6032 points to ramp up precision 1540202854.025 * * * * [misc]points: Setting MPFR precision to 2112 1540202854.048 * * * * [misc]points: Setting MPFR precision to 2368 1540202854.073 * * * * [misc]points: Computing exacts on every 11 of 6032 points to ramp up precision 1540202854.074 * * * * [misc]points: Setting MPFR precision to 2112 1540202854.146 * * * * [misc]points: Setting MPFR precision to 2368 1540202854.226 * * * * [misc]points: Computing exacts on every 5 of 6032 points to ramp up precision 1540202854.228 * * * * [misc]points: Setting MPFR precision to 2112 1540202854.368 * * * * [misc]points: Setting MPFR precision to 2368 1540202854.905 * * * * [misc]points: Computing exacts on every 2 of 6032 points to ramp up precision 1540202854.906 * * * * [misc]points: Setting MPFR precision to 2112 1540202855.108 * * * * [misc]points: Setting MPFR precision to 2368 1540202855.379 * * * * [misc]points: Computing exacts for 6032 points 1540202855.380 * * * * [misc]points: Setting MPFR precision to 2112 1540202856.263 * * * * [misc]points: Setting MPFR precision to 2368 1540202857.249 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202857.251 * * * * [misc]points: Sampling 4482 additional inputs, on iter 2 have 3518 / 8000 1540202857.272 * * * * [misc]points: Computing exacts on every 280 of 4482 points to ramp up precision 1540202857.274 * * * * [misc]points: Setting MPFR precision to 2112 1540202857.305 * * * * [misc]points: Setting MPFR precision to 2368 1540202857.307 * * * * [misc]points: Computing exacts on every 140 of 4482 points to ramp up precision 1540202857.309 * * * * [misc]points: Setting MPFR precision to 2112 1540202857.317 * * * * [misc]points: Setting MPFR precision to 2368 1540202857.326 * * * * [misc]points: Computing exacts on every 70 of 4482 points to ramp up precision 1540202857.327 * * * * [misc]points: Setting MPFR precision to 2112 1540202857.333 * * * * [misc]points: Setting MPFR precision to 2368 1540202857.338 * * * * [misc]points: Computing exacts on every 35 of 4482 points to ramp up precision 1540202857.339 * * * * [misc]points: Setting MPFR precision to 2112 1540202857.350 * * * * [misc]points: Setting MPFR precision to 2368 1540202857.364 * * * * [misc]points: Computing exacts on every 17 of 4482 points to ramp up precision 1540202857.365 * * * * [misc]points: Setting MPFR precision to 2112 1540202857.389 * * * * [misc]points: Setting MPFR precision to 2368 1540202857.431 * * * * [misc]points: Computing exacts on every 8 of 4482 points to ramp up precision 1540202857.432 * * * * [misc]points: Setting MPFR precision to 2112 1540202857.482 * * * * [misc]points: Setting MPFR precision to 2368 1540202857.538 * * * * [misc]points: Computing exacts on every 4 of 4482 points to ramp up precision 1540202857.539 * * * * [misc]points: Setting MPFR precision to 2112 1540202857.676 * * * * [misc]points: Setting MPFR precision to 2368 1540202857.786 * * * * [misc]points: Computing exacts on every 2 of 4482 points to ramp up precision 1540202857.788 * * * * [misc]points: Setting MPFR precision to 2112 1540202858.390 * * * * [misc]points: Setting MPFR precision to 2368 1540202858.583 * * * * [misc]points: Computing exacts for 4482 points 1540202858.585 * * * * [misc]points: Setting MPFR precision to 2112 1540202859.251 * * * * [misc]points: Setting MPFR precision to 2368 1540202859.954 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202859.955 * * * * [misc]points: Sampling 3334 additional inputs, on iter 3 have 4666 / 8000 1540202859.963 * * * * [misc]points: Computing exacts on every 208 of 3334 points to ramp up precision 1540202859.964 * * * * [misc]points: Setting MPFR precision to 2112 1540202859.966 * * * * [misc]points: Setting MPFR precision to 2368 1540202859.967 * * * * [misc]points: Computing exacts on every 104 of 3334 points to ramp up precision 1540202859.968 * * * * [misc]points: Setting MPFR precision to 2112 1540202859.970 * * * * [misc]points: Setting MPFR precision to 2368 1540202859.972 * * * * [misc]points: Computing exacts on every 52 of 3334 points to ramp up precision 1540202859.973 * * * * [misc]points: Setting MPFR precision to 2112 1540202859.977 * * * * [misc]points: Setting MPFR precision to 2368 1540202859.981 * * * * [misc]points: Computing exacts on every 26 of 3334 points to ramp up precision 1540202859.982 * * * * [misc]points: Setting MPFR precision to 2112 1540202859.992 * * * * [misc]points: Setting MPFR precision to 2368 1540202860.002 * * * * [misc]points: Computing exacts on every 13 of 3334 points to ramp up precision 1540202860.003 * * * * [misc]points: Setting MPFR precision to 2112 1540202860.023 * * * * [misc]points: Setting MPFR precision to 2368 1540202860.080 * * * * [misc]points: Computing exacts on every 6 of 3334 points to ramp up precision 1540202860.084 * * * * [misc]points: Setting MPFR precision to 2112 1540202860.126 * * * * [misc]points: Setting MPFR precision to 2368 1540202860.202 * * * * [misc]points: Computing exacts on every 3 of 3334 points to ramp up precision 1540202860.203 * * * * [misc]points: Setting MPFR precision to 2112 1540202860.298 * * * * [misc]points: Setting MPFR precision to 2368 1540202860.458 * * * * [misc]points: Computing exacts for 3334 points 1540202860.459 * * * * [misc]points: Setting MPFR precision to 2112 1540202860.883 * * * * [misc]points: Setting MPFR precision to 2368 1540202861.408 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202861.409 * * * * [misc]points: Sampling 2491 additional inputs, on iter 4 have 5509 / 8000 1540202861.420 * * * * [misc]points: Computing exacts on every 155 of 2491 points to ramp up precision 1540202861.422 * * * * [misc]points: Setting MPFR precision to 2112 1540202861.427 * * * * [misc]points: Setting MPFR precision to 2368 1540202861.432 * * * * [misc]points: Computing exacts on every 77 of 2491 points to ramp up precision 1540202861.433 * * * * [misc]points: Setting MPFR precision to 2112 1540202861.439 * * * * [misc]points: Setting MPFR precision to 2368 1540202861.446 * * * * [misc]points: Computing exacts on every 38 of 2491 points to ramp up precision 1540202861.448 * * * * [misc]points: Setting MPFR precision to 2112 1540202861.838 * * * * [misc]points: Setting MPFR precision to 2368 1540202861.852 * * * * [misc]points: Computing exacts on every 19 of 2491 points to ramp up precision 1540202861.853 * * * * [misc]points: Setting MPFR precision to 2112 1540202861.874 * * * * [misc]points: Setting MPFR precision to 2368 1540202861.896 * * * * [misc]points: Computing exacts on every 9 of 2491 points to ramp up precision 1540202861.897 * * * * [misc]points: Setting MPFR precision to 2112 1540202861.935 * * * * [misc]points: Setting MPFR precision to 2368 1540202861.963 * * * * [misc]points: Computing exacts on every 4 of 2491 points to ramp up precision 1540202861.964 * * * * [misc]points: Setting MPFR precision to 2112 1540202862.042 * * * * [misc]points: Setting MPFR precision to 2368 1540202862.107 * * * * [misc]points: Computing exacts on every 2 of 2491 points to ramp up precision 1540202862.108 * * * * [misc]points: Setting MPFR precision to 2112 1540202862.252 * * * * [misc]points: Setting MPFR precision to 2368 1540202862.366 * * * * [misc]points: Computing exacts for 2491 points 1540202862.367 * * * * [misc]points: Setting MPFR precision to 2112 1540202862.748 * * * * [misc]points: Setting MPFR precision to 2368 1540202863.174 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202863.175 * * * * [misc]points: Sampling 1855 additional inputs, on iter 5 have 6145 / 8000 1540202863.183 * * * * [misc]points: Computing exacts on every 115 of 1855 points to ramp up precision 1540202863.185 * * * * [misc]points: Setting MPFR precision to 2112 1540202863.188 * * * * [misc]points: Setting MPFR precision to 2368 1540202863.192 * * * * [misc]points: Computing exacts on every 57 of 1855 points to ramp up precision 1540202863.193 * * * * [misc]points: Setting MPFR precision to 2112 1540202863.195 * * * * [misc]points: Setting MPFR precision to 2368 1540202863.198 * * * * [misc]points: Computing exacts on every 28 of 1855 points to ramp up precision 1540202863.199 * * * * [misc]points: Setting MPFR precision to 2112 1540202863.205 * * * * [misc]points: Setting MPFR precision to 2368 1540202863.212 * * * * [misc]points: Computing exacts on every 14 of 1855 points to ramp up precision 1540202863.212 * * * * [misc]points: Setting MPFR precision to 2112 1540202863.223 * * * * [misc]points: Setting MPFR precision to 2368 1540202863.243 * * * * [misc]points: Computing exacts on every 7 of 1855 points to ramp up precision 1540202863.244 * * * * [misc]points: Setting MPFR precision to 2112 1540202863.282 * * * * [misc]points: Setting MPFR precision to 2368 1540202863.307 * * * * [misc]points: Computing exacts on every 3 of 1855 points to ramp up precision 1540202863.308 * * * * [misc]points: Setting MPFR precision to 2112 1540202863.402 * * * * [misc]points: Setting MPFR precision to 2368 1540202863.469 * * * * [misc]points: Computing exacts for 1855 points 1540202863.471 * * * * [misc]points: Setting MPFR precision to 2112 1540202863.758 * * * * [misc]points: Setting MPFR precision to 2368 1540202864.016 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202864.016 * * * * [misc]points: Sampling 1407 additional inputs, on iter 6 have 6593 / 8000 1540202864.020 * * * * [misc]points: Computing exacts on every 87 of 1407 points to ramp up precision 1540202864.020 * * * * [misc]points: Setting MPFR precision to 2112 1540202864.022 * * * * [misc]points: Setting MPFR precision to 2368 1540202864.023 * * * * [misc]points: Computing exacts on every 43 of 1407 points to ramp up precision 1540202864.024 * * * * [misc]points: Setting MPFR precision to 2112 1540202864.029 * * * * [misc]points: Setting MPFR precision to 2368 1540202864.034 * * * * [misc]points: Computing exacts on every 21 of 1407 points to ramp up precision 1540202864.035 * * * * [misc]points: Setting MPFR precision to 2112 1540202864.044 * * * * [misc]points: Setting MPFR precision to 2368 1540202864.054 * * * * [misc]points: Computing exacts on every 10 of 1407 points to ramp up precision 1540202864.055 * * * * [misc]points: Setting MPFR precision to 2112 1540202864.109 * * * * [misc]points: Setting MPFR precision to 2368 1540202864.134 * * * * [misc]points: Computing exacts on every 5 of 1407 points to ramp up precision 1540202864.136 * * * * [misc]points: Setting MPFR precision to 2112 1540202864.173 * * * * [misc]points: Setting MPFR precision to 2368 1540202864.213 * * * * [misc]points: Computing exacts on every 2 of 1407 points to ramp up precision 1540202864.216 * * * * [misc]points: Setting MPFR precision to 2112 1540202864.278 * * * * [misc]points: Setting MPFR precision to 2368 1540202864.333 * * * * [misc]points: Computing exacts for 1407 points 1540202864.335 * * * * [misc]points: Setting MPFR precision to 2112 1540202864.527 * * * * [misc]points: Setting MPFR precision to 2368 1540202864.691 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202864.692 * * * * [misc]points: Sampling 1058 additional inputs, on iter 7 have 6942 / 8000 1540202864.694 * * * * [misc]points: Computing exacts on every 66 of 1058 points to ramp up precision 1540202864.695 * * * * [misc]points: Setting MPFR precision to 2112 1540202864.697 * * * * [misc]points: Setting MPFR precision to 2368 1540202864.698 * * * * [misc]points: Computing exacts on every 33 of 1058 points to ramp up precision 1540202864.699 * * * * [misc]points: Setting MPFR precision to 2112 1540202864.702 * * * * [misc]points: Setting MPFR precision to 2368 1540202864.705 * * * * [misc]points: Computing exacts on every 16 of 1058 points to ramp up precision 1540202864.706 * * * * [misc]points: Setting MPFR precision to 2112 1540202864.712 * * * * [misc]points: Setting MPFR precision to 2368 1540202864.719 * * * * [misc]points: Computing exacts on every 8 of 1058 points to ramp up precision 1540202864.720 * * * * [misc]points: Setting MPFR precision to 2112 1540202864.735 * * * * [misc]points: Setting MPFR precision to 2368 1540202864.778 * * * * [misc]points: Computing exacts on every 4 of 1058 points to ramp up precision 1540202864.779 * * * * [misc]points: Setting MPFR precision to 2112 1540202864.811 * * * * [misc]points: Setting MPFR precision to 2368 1540202864.849 * * * * [misc]points: Computing exacts on every 2 of 1058 points to ramp up precision 1540202864.850 * * * * [misc]points: Setting MPFR precision to 2112 1540202864.911 * * * * [misc]points: Setting MPFR precision to 2368 1540202864.977 * * * * [misc]points: Computing exacts for 1058 points 1540202864.978 * * * * [misc]points: Setting MPFR precision to 2112 1540202865.132 * * * * [misc]points: Setting MPFR precision to 2368 1540202865.642 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202865.643 * * * * [misc]points: Sampling 775 additional inputs, on iter 8 have 7225 / 8000 1540202865.644 * * * * [misc]points: Computing exacts on every 48 of 775 points to ramp up precision 1540202865.645 * * * * [misc]points: Setting MPFR precision to 2112 1540202865.647 * * * * [misc]points: Setting MPFR precision to 2368 1540202865.649 * * * * [misc]points: Computing exacts on every 24 of 775 points to ramp up precision 1540202865.650 * * * * [misc]points: Setting MPFR precision to 2112 1540202865.652 * * * * [misc]points: Setting MPFR precision to 2368 1540202865.655 * * * * [misc]points: Computing exacts on every 12 of 775 points to ramp up precision 1540202865.656 * * * * [misc]points: Setting MPFR precision to 2112 1540202865.660 * * * * [misc]points: Setting MPFR precision to 2368 1540202865.666 * * * * [misc]points: Computing exacts on every 6 of 775 points to ramp up precision 1540202865.667 * * * * [misc]points: Setting MPFR precision to 2112 1540202865.678 * * * * [misc]points: Setting MPFR precision to 2368 1540202865.695 * * * * [misc]points: Computing exacts on every 3 of 775 points to ramp up precision 1540202865.696 * * * * [misc]points: Setting MPFR precision to 2112 1540202865.713 * * * * [misc]points: Setting MPFR precision to 2368 1540202865.738 * * * * [misc]points: Computing exacts for 775 points 1540202865.739 * * * * [misc]points: Setting MPFR precision to 2112 1540202865.861 * * * * [misc]points: Setting MPFR precision to 2368 1540202865.970 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202865.970 * * * * [misc]points: Sampling 585 additional inputs, on iter 9 have 7415 / 8000 1540202865.973 * * * * [misc]points: Computing exacts on every 36 of 585 points to ramp up precision 1540202865.975 * * * * [misc]points: Setting MPFR precision to 2112 1540202865.978 * * * * [misc]points: Setting MPFR precision to 2368 1540202865.981 * * * * [misc]points: Computing exacts on every 18 of 585 points to ramp up precision 1540202865.982 * * * * [misc]points: Setting MPFR precision to 2112 1540202865.986 * * * * [misc]points: Setting MPFR precision to 2368 1540202865.991 * * * * [misc]points: Computing exacts on every 9 of 585 points to ramp up precision 1540202865.993 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.001 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.011 * * * * [misc]points: Computing exacts on every 4 of 585 points to ramp up precision 1540202866.012 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.029 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.049 * * * * [misc]points: Computing exacts on every 2 of 585 points to ramp up precision 1540202866.051 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.076 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.107 * * * * [misc]points: Computing exacts for 585 points 1540202866.108 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.193 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.306 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202866.307 * * * * [misc]points: Sampling 451 additional inputs, on iter 10 have 7549 / 8000 1540202866.309 * * * * [misc]points: Computing exacts on every 28 of 451 points to ramp up precision 1540202866.310 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.313 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.315 * * * * [misc]points: Computing exacts on every 14 of 451 points to ramp up precision 1540202866.316 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.322 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.327 * * * * [misc]points: Computing exacts on every 7 of 451 points to ramp up precision 1540202866.329 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.338 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.347 * * * * [misc]points: Computing exacts on every 3 of 451 points to ramp up precision 1540202866.348 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.364 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.380 * * * * [misc]points: Computing exacts for 451 points 1540202866.380 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.421 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.466 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202866.467 * * * * [misc]points: Sampling 340 additional inputs, on iter 11 have 7660 / 8000 1540202866.468 * * * * [misc]points: Computing exacts on every 21 of 340 points to ramp up precision 1540202866.470 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.473 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.477 * * * * [misc]points: Computing exacts on every 10 of 340 points to ramp up precision 1540202866.479 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.483 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.490 * * * * [misc]points: Computing exacts on every 5 of 340 points to ramp up precision 1540202866.491 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.499 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.507 * * * * [misc]points: Computing exacts on every 2 of 340 points to ramp up precision 1540202866.509 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.524 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.540 * * * * [misc]points: Computing exacts for 340 points 1540202866.541 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.634 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.689 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202866.690 * * * * [misc]points: Sampling 252 additional inputs, on iter 12 have 7748 / 8000 1540202866.691 * * * * [misc]points: Computing exacts on every 15 of 252 points to ramp up precision 1540202866.692 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.693 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.694 * * * * [misc]points: Computing exacts on every 7 of 252 points to ramp up precision 1540202866.694 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.697 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.700 * * * * [misc]points: Computing exacts on every 3 of 252 points to ramp up precision 1540202866.700 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.706 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.712 * * * * [misc]points: Computing exacts for 252 points 1540202866.713 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.733 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.760 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202866.760 * * * * [misc]points: Sampling 193 additional inputs, on iter 13 have 7807 / 8000 1540202866.760 * * * * [misc]points: Computing exacts on every 12 of 193 points to ramp up precision 1540202866.761 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.763 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.765 * * * * [misc]points: Computing exacts on every 6 of 193 points to ramp up precision 1540202866.765 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.768 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.770 * * * * [misc]points: Computing exacts on every 3 of 193 points to ramp up precision 1540202866.771 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.776 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.781 * * * * [misc]points: Computing exacts for 193 points 1540202866.782 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.801 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.828 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202866.828 * * * * [misc]points: Sampling 155 additional inputs, on iter 14 have 7845 / 8000 1540202866.829 * * * * [misc]points: Computing exacts on every 9 of 155 points to ramp up precision 1540202866.830 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.833 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.836 * * * * [misc]points: Computing exacts on every 4 of 155 points to ramp up precision 1540202866.837 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.842 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.849 * * * * [misc]points: Computing exacts on every 2 of 155 points to ramp up precision 1540202866.851 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.857 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.865 * * * * [misc]points: Computing exacts for 155 points 1540202866.866 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.907 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.924 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202866.925 * * * * [misc]points: Sampling 118 additional inputs, on iter 15 have 7882 / 8000 1540202866.925 * * * * [misc]points: Computing exacts on every 7 of 118 points to ramp up precision 1540202866.927 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.930 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.932 * * * * [misc]points: Computing exacts on every 3 of 118 points to ramp up precision 1540202866.933 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.939 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.944 * * * * [misc]points: Computing exacts for 118 points 1540202866.946 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.965 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.984 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202866.984 * * * * [misc]points: Sampling 95 additional inputs, on iter 16 have 7905 / 8000 1540202866.985 * * * * [misc]points: Computing exacts on every 5 of 95 points to ramp up precision 1540202866.986 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.988 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.990 * * * * [misc]points: Computing exacts on every 2 of 95 points to ramp up precision 1540202866.991 * * * * [misc]points: Setting MPFR precision to 2112 1540202866.995 * * * * [misc]points: Setting MPFR precision to 2368 1540202866.999 * * * * [misc]points: Computing exacts for 95 points 1540202867.000 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.013 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.026 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202867.026 * * * * [misc]points: Sampling 79 additional inputs, on iter 17 have 7921 / 8000 1540202867.027 * * * * [misc]points: Computing exacts on every 4 of 79 points to ramp up precision 1540202867.028 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.030 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.033 * * * * [misc]points: Computing exacts on every 2 of 79 points to ramp up precision 1540202867.034 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.037 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.041 * * * * [misc]points: Computing exacts for 79 points 1540202867.042 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.049 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.056 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202867.056 * * * * [misc]points: Sampling 60 additional inputs, on iter 18 have 7940 / 8000 1540202867.056 * * * * [misc]points: Computing exacts on every 3 of 60 points to ramp up precision 1540202867.057 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.059 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.060 * * * * [misc]points: Computing exacts for 60 points 1540202867.061 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.067 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.072 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202867.072 * * * * [misc]points: Sampling 43 additional inputs, on iter 19 have 7957 / 8000 1540202867.073 * * * * [misc]points: Computing exacts on every 2 of 43 points to ramp up precision 1540202867.073 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.075 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.076 * * * * [misc]points: Computing exacts for 43 points 1540202867.077 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.083 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.091 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202867.091 * * * * [misc]points: Sampling 33 additional inputs, on iter 20 have 7967 / 8000 1540202867.091 * * * * [misc]points: Computing exacts on every 2 of 33 points to ramp up precision 1540202867.093 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.095 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.097 * * * * [misc]points: Computing exacts for 33 points 1540202867.098 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.104 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.107 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202867.107 * * * * [misc]points: Sampling 25 additional inputs, on iter 21 have 7975 / 8000 1540202867.107 * * * * [misc]points: Computing exacts for 25 points 1540202867.108 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.110 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.112 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202867.112 * * * * [misc]points: Sampling 18 additional inputs, on iter 22 have 7982 / 8000 1540202867.113 * * * * [misc]points: Computing exacts for 18 points 1540202867.113 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.116 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.117 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202867.118 * * * * [misc]points: Sampling 12 additional inputs, on iter 23 have 7988 / 8000 1540202867.118 * * * * [misc]points: Computing exacts for 12 points 1540202867.118 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.119 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.120 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202867.120 * * * * [misc]points: Sampling 10 additional inputs, on iter 24 have 7990 / 8000 1540202867.120 * * * * [misc]points: Computing exacts for 10 points 1540202867.121 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.122 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.123 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202867.123 * * * * [misc]points: Sampling 7 additional inputs, on iter 25 have 7993 / 8000 1540202867.123 * * * * [misc]points: Computing exacts for 7 points 1540202867.124 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.125 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.126 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202867.126 * * * * [misc]points: Sampling 6 additional inputs, on iter 26 have 7994 / 8000 1540202867.126 * * * * [misc]points: Computing exacts for 6 points 1540202867.127 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.127 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.128 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202867.128 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7996 / 8000 1540202867.128 * * * * [misc]points: Computing exacts for 4 points 1540202867.129 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.129 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.130 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202867.130 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7996 / 8000 1540202867.130 * * * * [misc]points: Computing exacts for 4 points 1540202867.131 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.131 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.131 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202867.131 * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7997 / 8000 1540202867.131 * * * * [misc]points: Computing exacts for 4 points 1540202867.132 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.132 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.133 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202867.133 * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7998 / 8000 1540202867.133 * * * * [misc]points: Computing exacts for 4 points 1540202867.134 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.134 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.134 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202867.134 * * * * [misc]points: Sampling 4 additional inputs, on iter 31 have 7998 / 8000 1540202867.134 * * * * [misc]points: Computing exacts for 4 points 1540202867.135 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.135 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.135 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202867.135 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7998 / 8000 1540202867.135 * * * * [misc]points: Computing exacts for 4 points 1540202867.136 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.136 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.136 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202867.136 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 7998 / 8000 1540202867.136 * * * * [misc]points: Computing exacts for 4 points 1540202867.137 * * * * [misc]points: Setting MPFR precision to 2112 1540202867.137 * * * * [misc]points: Setting MPFR precision to 2368 1540202867.138 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202867.138 * * * * [exit]points: Sampled 8000 points with exact outputs 1540202867.423 * [misc]regime-testing: Baseline error score: 30.898922505425908 1540202867.423 * [misc]regime-testing: End program error score: 30.898922505425908 1540202867.424 * [misc]regime-testing: Oracle error score: 30.898922505425908