1544001718.485 * [misc]progress: [Phase 1 of 3] Setting up. 1544001718.485 * * * [misc]progress: [1/2] Preparing points 1544001718.485 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544001718.486 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544001718.487 * * * * [misc]points: Setting MPFR precision to 64 1544001718.488 * * * * [misc]points: Setting MPFR precision to 320 1544001718.488 * * * * [misc]points: Setting MPFR precision to 576 1544001718.489 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544001718.490 * * * * [misc]points: Setting MPFR precision to 320 1544001718.490 * * * * [misc]points: Setting MPFR precision to 576 1544001718.491 * * * * [misc]points: Setting MPFR precision to 832 1544001718.492 * * * * [misc]points: Setting MPFR precision to 1088 1544001718.494 * * * * [misc]points: Setting MPFR precision to 1344 1544001718.495 * * * * [misc]points: Setting MPFR precision to 1600 1544001718.498 * * * * [misc]points: Setting MPFR precision to 1856 1544001718.500 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544001718.501 * * * * [misc]points: Setting MPFR precision to 1600 1544001718.503 * * * * [misc]points: Setting MPFR precision to 1856 1544001718.506 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.510 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.518 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544001718.520 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.532 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.540 * * * * [misc]points: Computing exacts for 256 points 1544001718.541 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.563 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.586 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.586 * * * * [misc]points: Sampling 208 additional inputs, on iter 1 have 48 / 256 1544001718.587 * * * * [misc]points: Computing exacts on every 13 of 208 points to ramp up precision 1544001718.588 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.589 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.590 * * * * [misc]points: Computing exacts on every 6 of 208 points to ramp up precision 1544001718.591 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.614 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.618 * * * * [misc]points: Computing exacts on every 3 of 208 points to ramp up precision 1544001718.620 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.630 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.637 * * * * [misc]points: Computing exacts for 208 points 1544001718.639 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.668 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.699 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.699 * * * * [misc]points: Sampling 153 additional inputs, on iter 2 have 103 / 256 1544001718.699 * * * * [misc]points: Computing exacts on every 9 of 153 points to ramp up precision 1544001718.700 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.702 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.704 * * * * [misc]points: Computing exacts on every 4 of 153 points to ramp up precision 1544001718.705 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.708 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.711 * * * * [misc]points: Computing exacts on every 2 of 153 points to ramp up precision 1544001718.711 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.717 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.726 * * * * [misc]points: Computing exacts for 153 points 1544001718.727 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.745 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.761 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.761 * * * * [misc]points: Sampling 107 additional inputs, on iter 3 have 149 / 256 1544001718.761 * * * * [misc]points: Computing exacts on every 6 of 107 points to ramp up precision 1544001718.762 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.763 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.764 * * * * [misc]points: Computing exacts on every 3 of 107 points to ramp up precision 1544001718.765 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.769 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.773 * * * * [misc]points: Computing exacts for 107 points 1544001718.774 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.783 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.794 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.794 * * * * [misc]points: Sampling 84 additional inputs, on iter 4 have 172 / 256 1544001718.794 * * * * [misc]points: Computing exacts on every 5 of 84 points to ramp up precision 1544001718.795 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.798 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.801 * * * * [misc]points: Computing exacts on every 2 of 84 points to ramp up precision 1544001718.802 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.807 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.811 * * * * [misc]points: Computing exacts for 84 points 1544001718.813 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.826 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.843 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.843 * * * * [misc]points: Sampling 64 additional inputs, on iter 5 have 192 / 256 1544001718.843 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1544001718.845 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.847 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.849 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1544001718.850 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.853 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.857 * * * * [misc]points: Computing exacts for 64 points 1544001718.859 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.871 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.884 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.884 * * * * [misc]points: Sampling 45 additional inputs, on iter 6 have 211 / 256 1544001718.885 * * * * [misc]points: Computing exacts on every 2 of 45 points to ramp up precision 1544001718.886 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.888 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.891 * * * * [misc]points: Computing exacts for 45 points 1544001718.893 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.901 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.910 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.910 * * * * [misc]points: Sampling 32 additional inputs, on iter 7 have 224 / 256 1544001718.910 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1544001718.911 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.913 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.915 * * * * [misc]points: Computing exacts for 32 points 1544001718.916 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.921 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.925 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.925 * * * * [misc]points: Sampling 24 additional inputs, on iter 8 have 232 / 256 1544001718.926 * * * * [misc]points: Computing exacts for 24 points 1544001718.927 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.931 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.935 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.935 * * * * [misc]points: Sampling 18 additional inputs, on iter 9 have 238 / 256 1544001718.936 * * * * [misc]points: Computing exacts for 18 points 1544001718.937 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.969 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.971 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.972 * * * * [misc]points: Sampling 15 additional inputs, on iter 10 have 241 / 256 1544001718.972 * * * * [misc]points: Computing exacts for 15 points 1544001718.973 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.975 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.976 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.976 * * * * [misc]points: Sampling 13 additional inputs, on iter 11 have 243 / 256 1544001718.976 * * * * [misc]points: Computing exacts for 13 points 1544001718.977 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.978 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.981 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.981 * * * * [misc]points: Sampling 9 additional inputs, on iter 12 have 247 / 256 1544001718.981 * * * * [misc]points: Computing exacts for 9 points 1544001718.982 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.983 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.984 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.984 * * * * [misc]points: Sampling 5 additional inputs, on iter 13 have 251 / 256 1544001718.984 * * * * [misc]points: Computing exacts for 5 points 1544001718.985 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.985 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.985 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.985 * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 1544001718.985 * * * * [misc]points: Computing exacts for 5 points 1544001718.986 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.986 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.986 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.987 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 251 / 256 1544001718.987 * * * * [misc]points: Computing exacts for 5 points 1544001718.987 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.988 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.988 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.988 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 252 / 256 1544001718.988 * * * * [misc]points: Computing exacts for 4 points 1544001718.989 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.989 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.989 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.989 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 253 / 256 1544001718.989 * * * * [misc]points: Computing exacts for 4 points 1544001718.990 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.990 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.990 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.991 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 253 / 256 1544001718.991 * * * * [misc]points: Computing exacts for 4 points 1544001718.991 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.991 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.992 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.992 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 253 / 256 1544001718.992 * * * * [misc]points: Computing exacts for 4 points 1544001718.992 * * * * [misc]points: Setting MPFR precision to 2112 1544001718.993 * * * * [misc]points: Setting MPFR precision to 2368 1544001718.994 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001718.994 * * * * [exit]points: Sampled 256 points with exact outputs 1544001718.994 * * * [misc]progress: [2/2] Setting up program. 1544001718.996 * [misc]progress: [Phase 2 of 3] Improving. 1544001718.996 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1544001718.996 * * [misc]simplify: iters left: 4 (6 enodes) 1544001718.997 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1544001719.003 * * [misc]progress: iteration 1 / 4 1544001719.003 * * * [misc]progress: picking best candidate 1544001719.005 * * * * [misc]pick: Picked # 1544001719.006 * * * [misc]progress: localizing error 1544001719.122 * * * [misc]progress: generating rewritten candidates 1544001719.122 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1544001719.123 * * * [misc]progress: generating series expansions 1544001719.123 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1544001719.123 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1544001719.123 * [misc]approximate: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 1544001719.123 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1544001719.125 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1544001719.125 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1544001719.126 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1544001719.126 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1544001719.126 * [misc]backup-simplify: Simplify 0 into 0 1544001719.126 * [misc]backup-simplify: Simplify 0 into 0 1544001719.126 * [misc]backup-simplify: Simplify 0 into 0 1544001719.126 * [misc]backup-simplify: Simplify 0 into 0 1544001719.126 * [misc]backup-simplify: Simplify 0 into 0 1544001719.126 * [misc]backup-simplify: Simplify 0 into 0 1544001719.126 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1544001719.126 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1544001719.126 * [misc]approximate: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 1544001719.126 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1544001719.126 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1544001719.126 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1544001719.126 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1544001719.127 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1544001719.127 * [misc]backup-simplify: Simplify 0 into 0 1544001719.127 * [misc]backup-simplify: Simplify 0 into 0 1544001719.127 * [misc]backup-simplify: Simplify 0 into 0 1544001719.127 * [misc]backup-simplify: Simplify 0 into 0 1544001719.127 * [misc]backup-simplify: Simplify 0 into 0 1544001719.127 * [misc]backup-simplify: Simplify 0 into 0 1544001719.127 * [misc]backup-simplify: Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a)) 1544001719.127 * [misc]backup-simplify: Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a))) 1544001719.127 * [misc]approximate: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 1544001719.127 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1544001719.127 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1544001719.127 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1544001719.128 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1544001719.128 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1544001719.128 * [misc]backup-simplify: Simplify 0 into 0 1544001719.128 * [misc]backup-simplify: Simplify 0 into 0 1544001719.128 * [misc]backup-simplify: Simplify 0 into 0 1544001719.128 * [misc]backup-simplify: Simplify 0 into 0 1544001719.128 * [misc]backup-simplify: Simplify 0 into 0 1544001719.128 * [misc]backup-simplify: Simplify 0 into 0 1544001719.128 * [misc]backup-simplify: Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a)) 1544001719.128 * * * [misc]progress: simplifying candidates 1544001719.128 * * * * [misc]progress: [ 1 / 10 ] simplifiying candidate # 1544001719.128 * * * * [misc]progress: [ 2 / 10 ] simplifiying candidate # 1544001719.128 * * * * [misc]progress: [ 3 / 10 ] simplifiying candidate # 1544001719.128 * * * * [misc]progress: [ 4 / 10 ] simplifiying candidate # 1544001719.128 * * * * [misc]progress: [ 5 / 10 ] simplifiying candidate # 1544001719.128 * * * * [misc]progress: [ 6 / 10 ] simplifiying candidate # 1544001719.129 * * * * [misc]progress: [ 7 / 10 ] simplifiying candidate # 1544001719.129 * * * * [misc]progress: [ 8 / 10 ] simplifiying candidate # 1544001719.129 * [enter]simplify: Simplifying (fmod a (asin a)) 1544001719.129 * * [misc]simplify: iters left: 2 (3 enodes) 1544001719.130 * [exit]simplify: Simplified to (fmod a (asin a)) 1544001719.130 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1544001719.130 * * * * [misc]progress: [ 9 / 10 ] simplifiying candidate # 1544001719.130 * [enter]simplify: Simplifying (fmod a (asin a)) 1544001719.130 * * [misc]simplify: iters left: 2 (3 enodes) 1544001719.131 * [exit]simplify: Simplified to (fmod a (asin a)) 1544001719.131 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1544001719.131 * * * * [misc]progress: [ 10 / 10 ] simplifiying candidate # 1544001719.131 * [enter]simplify: Simplifying (fmod a (asin a)) 1544001719.131 * * [misc]simplify: iters left: 2 (3 enodes) 1544001719.132 * [exit]simplify: Simplified to (fmod a (asin a)) 1544001719.132 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1544001719.132 * * * [misc]progress: adding candidates to table 1544001719.213 * [misc]progress: [Phase 3 of 3] Extracting. 1544001719.218 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1544001719.219 * * [misc]simplify: iters left: 4 (6 enodes) 1544001719.219 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1544001719.219 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1544001719.253 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1544001719.254 * * * * [misc]points: Setting MPFR precision to 2112 1544001719.255 * * * * [misc]points: Setting MPFR precision to 2368 1544001719.256 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1544001719.257 * * * * [misc]points: Setting MPFR precision to 2112 1544001719.260 * * * * [misc]points: Setting MPFR precision to 2368 1544001719.264 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1544001719.265 * * * * [misc]points: Setting MPFR precision to 2112 1544001719.270 * * * * [misc]points: Setting MPFR precision to 2368 1544001719.278 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1544001719.279 * * * * [misc]points: Setting MPFR precision to 2112 1544001719.300 * * * * [misc]points: Setting MPFR precision to 2368 1544001719.326 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1544001719.328 * * * * [misc]points: Setting MPFR precision to 2112 1544001719.370 * * * * [misc]points: Setting MPFR precision to 2368 1544001719.419 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1544001719.421 * * * * [misc]points: Setting MPFR precision to 2112 1544001719.504 * * * * [misc]points: Setting MPFR precision to 2368 1544001719.614 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1544001719.615 * * * * [misc]points: Setting MPFR precision to 2112 1544001719.761 * * * * [misc]points: Setting MPFR precision to 2368 1544001719.906 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1544001719.908 * * * * [misc]points: Setting MPFR precision to 2112 1544001720.216 * * * * [misc]points: Setting MPFR precision to 2368 1544001720.494 * * * * [misc]points: Computing exacts for 8000 points 1544001720.495 * * * * [misc]points: Setting MPFR precision to 2112 1544001721.979 * * * * [misc]points: Setting MPFR precision to 2368 1544001723.209 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001723.210 * * * * [misc]points: Sampling 6004 additional inputs, on iter 1 have 1996 / 8000 1544001723.225 * * * * [misc]points: Computing exacts on every 375 of 6004 points to ramp up precision 1544001723.226 * * * * [misc]points: Setting MPFR precision to 2112 1544001723.228 * * * * [misc]points: Setting MPFR precision to 2368 1544001723.230 * * * * [misc]points: Computing exacts on every 187 of 6004 points to ramp up precision 1544001723.231 * * * * [misc]points: Setting MPFR precision to 2112 1544001723.235 * * * * [misc]points: Setting MPFR precision to 2368 1544001723.239 * * * * [misc]points: Computing exacts on every 93 of 6004 points to ramp up precision 1544001723.240 * * * * [misc]points: Setting MPFR precision to 2112 1544001723.247 * * * * [misc]points: Setting MPFR precision to 2368 1544001723.277 * * * * [misc]points: Computing exacts on every 46 of 6004 points to ramp up precision 1544001723.279 * * * * [misc]points: Setting MPFR precision to 2112 1544001723.294 * * * * [misc]points: Setting MPFR precision to 2368 1544001723.308 * * * * [misc]points: Computing exacts on every 23 of 6004 points to ramp up precision 1544001723.310 * * * * [misc]points: Setting MPFR precision to 2112 1544001723.345 * * * * [misc]points: Setting MPFR precision to 2368 1544001723.387 * * * * [misc]points: Computing exacts on every 11 of 6004 points to ramp up precision 1544001723.389 * * * * [misc]points: Setting MPFR precision to 2112 1544001723.468 * * * * [misc]points: Setting MPFR precision to 2368 1544001723.551 * * * * [misc]points: Computing exacts on every 5 of 6004 points to ramp up precision 1544001723.553 * * * * [misc]points: Setting MPFR precision to 2112 1544001723.728 * * * * [misc]points: Setting MPFR precision to 2368 1544001723.881 * * * * [misc]points: Computing exacts on every 2 of 6004 points to ramp up precision 1544001723.882 * * * * [misc]points: Setting MPFR precision to 2112 1544001724.172 * * * * [misc]points: Setting MPFR precision to 2368 1544001724.509 * * * * [misc]points: Computing exacts for 6004 points 1544001724.510 * * * * [misc]points: Setting MPFR precision to 2112 1544001725.689 * * * * [misc]points: Setting MPFR precision to 2368 1544001726.607 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001726.608 * * * * [misc]points: Sampling 4503 additional inputs, on iter 2 have 3497 / 8000 1544001726.622 * * * * [misc]points: Computing exacts on every 281 of 4503 points to ramp up precision 1544001726.624 * * * * [misc]points: Setting MPFR precision to 2112 1544001726.626 * * * * [misc]points: Setting MPFR precision to 2368 1544001726.628 * * * * [misc]points: Computing exacts on every 140 of 4503 points to ramp up precision 1544001726.630 * * * * [misc]points: Setting MPFR precision to 2112 1544001726.634 * * * * [misc]points: Setting MPFR precision to 2368 1544001726.640 * * * * [misc]points: Computing exacts on every 70 of 4503 points to ramp up precision 1544001726.640 * * * * [misc]points: Setting MPFR precision to 2112 1544001726.646 * * * * [misc]points: Setting MPFR precision to 2368 1544001726.653 * * * * [misc]points: Computing exacts on every 35 of 4503 points to ramp up precision 1544001726.654 * * * * [misc]points: Setting MPFR precision to 2112 1544001726.666 * * * * [misc]points: Setting MPFR precision to 2368 1544001726.686 * * * * [misc]points: Computing exacts on every 17 of 4503 points to ramp up precision 1544001726.688 * * * * [misc]points: Setting MPFR precision to 2112 1544001726.725 * * * * [misc]points: Setting MPFR precision to 2368 1544001726.758 * * * * [misc]points: Computing exacts on every 8 of 4503 points to ramp up precision 1544001726.759 * * * * [misc]points: Setting MPFR precision to 2112 1544001726.851 * * * * [misc]points: Setting MPFR precision to 2368 1544001726.901 * * * * [misc]points: Computing exacts on every 4 of 4503 points to ramp up precision 1544001726.902 * * * * [misc]points: Setting MPFR precision to 2112 1544001726.989 * * * * [misc]points: Setting MPFR precision to 2368 1544001727.120 * * * * [misc]points: Computing exacts on every 2 of 4503 points to ramp up precision 1544001727.122 * * * * [misc]points: Setting MPFR precision to 2112 1544001727.324 * * * * [misc]points: Setting MPFR precision to 2368 1544001727.576 * * * * [misc]points: Computing exacts for 4503 points 1544001727.577 * * * * [misc]points: Setting MPFR precision to 2112 1544001728.258 * * * * [misc]points: Setting MPFR precision to 2368 1544001729.272 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001729.272 * * * * [misc]points: Sampling 3324 additional inputs, on iter 3 have 4676 / 8000 1544001729.280 * * * * [misc]points: Computing exacts on every 207 of 3324 points to ramp up precision 1544001729.283 * * * * [misc]points: Setting MPFR precision to 2112 1544001729.284 * * * * [misc]points: Setting MPFR precision to 2368 1544001729.286 * * * * [misc]points: Computing exacts on every 103 of 3324 points to ramp up precision 1544001729.287 * * * * [misc]points: Setting MPFR precision to 2112 1544001729.290 * * * * [misc]points: Setting MPFR precision to 2368 1544001729.296 * * * * [misc]points: Computing exacts on every 51 of 3324 points to ramp up precision 1544001729.297 * * * * [misc]points: Setting MPFR precision to 2112 1544001729.309 * * * * [misc]points: Setting MPFR precision to 2368 1544001729.321 * * * * [misc]points: Computing exacts on every 25 of 3324 points to ramp up precision 1544001729.323 * * * * [misc]points: Setting MPFR precision to 2112 1544001729.344 * * * * [misc]points: Setting MPFR precision to 2368 1544001729.365 * * * * [misc]points: Computing exacts on every 12 of 3324 points to ramp up precision 1544001729.366 * * * * [misc]points: Setting MPFR precision to 2112 1544001729.404 * * * * [misc]points: Setting MPFR precision to 2368 1544001729.428 * * * * [misc]points: Computing exacts on every 6 of 3324 points to ramp up precision 1544001729.429 * * * * [misc]points: Setting MPFR precision to 2112 1544001729.473 * * * * [misc]points: Setting MPFR precision to 2368 1544001729.579 * * * * [misc]points: Computing exacts on every 3 of 3324 points to ramp up precision 1544001729.580 * * * * [misc]points: Setting MPFR precision to 2112 1544001729.672 * * * * [misc]points: Setting MPFR precision to 2368 1544001729.758 * * * * [misc]points: Computing exacts for 3324 points 1544001729.759 * * * * [misc]points: Setting MPFR precision to 2112 1544001730.256 * * * * [misc]points: Setting MPFR precision to 2368 1544001730.780 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001730.781 * * * * [misc]points: Sampling 2473 additional inputs, on iter 4 have 5527 / 8000 1544001730.787 * * * * [misc]points: Computing exacts on every 154 of 2473 points to ramp up precision 1544001730.788 * * * * [misc]points: Setting MPFR precision to 2112 1544001730.790 * * * * [misc]points: Setting MPFR precision to 2368 1544001730.791 * * * * [misc]points: Computing exacts on every 77 of 2473 points to ramp up precision 1544001730.792 * * * * [misc]points: Setting MPFR precision to 2112 1544001730.795 * * * * [misc]points: Setting MPFR precision to 2368 1544001730.798 * * * * [misc]points: Computing exacts on every 38 of 2473 points to ramp up precision 1544001730.799 * * * * [misc]points: Setting MPFR precision to 2112 1544001730.805 * * * * [misc]points: Setting MPFR precision to 2368 1544001730.812 * * * * [misc]points: Computing exacts on every 19 of 2473 points to ramp up precision 1544001730.813 * * * * [misc]points: Setting MPFR precision to 2112 1544001730.822 * * * * [misc]points: Setting MPFR precision to 2368 1544001730.832 * * * * [misc]points: Computing exacts on every 9 of 2473 points to ramp up precision 1544001730.833 * * * * [misc]points: Setting MPFR precision to 2112 1544001730.855 * * * * [misc]points: Setting MPFR precision to 2368 1544001730.879 * * * * [misc]points: Computing exacts on every 4 of 2473 points to ramp up precision 1544001730.880 * * * * [misc]points: Setting MPFR precision to 2112 1544001730.972 * * * * [misc]points: Setting MPFR precision to 2368 1544001731.043 * * * * [misc]points: Computing exacts on every 2 of 2473 points to ramp up precision 1544001731.044 * * * * [misc]points: Setting MPFR precision to 2112 1544001731.135 * * * * [misc]points: Setting MPFR precision to 2368 1544001731.226 * * * * [misc]points: Computing exacts for 2473 points 1544001731.227 * * * * [misc]points: Setting MPFR precision to 2112 1544001731.583 * * * * [misc]points: Setting MPFR precision to 2368 1544001731.978 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001731.979 * * * * [misc]points: Sampling 1870 additional inputs, on iter 5 have 6130 / 8000 1544001731.988 * * * * [misc]points: Computing exacts on every 116 of 1870 points to ramp up precision 1544001731.989 * * * * [misc]points: Setting MPFR precision to 2112 1544001732.347 * * * * [misc]points: Setting MPFR precision to 2368 1544001732.349 * * * * [misc]points: Computing exacts on every 58 of 1870 points to ramp up precision 1544001732.350 * * * * [misc]points: Setting MPFR precision to 2112 1544001732.355 * * * * [misc]points: Setting MPFR precision to 2368 1544001732.364 * * * * [misc]points: Computing exacts on every 29 of 1870 points to ramp up precision 1544001732.366 * * * * [misc]points: Setting MPFR precision to 2112 1544001732.376 * * * * [misc]points: Setting MPFR precision to 2368 1544001732.389 * * * * [misc]points: Computing exacts on every 14 of 1870 points to ramp up precision 1544001732.391 * * * * [misc]points: Setting MPFR precision to 2112 1544001732.412 * * * * [misc]points: Setting MPFR precision to 2368 1544001732.434 * * * * [misc]points: Computing exacts on every 7 of 1870 points to ramp up precision 1544001732.436 * * * * [misc]points: Setting MPFR precision to 2112 1544001732.471 * * * * [misc]points: Setting MPFR precision to 2368 1544001732.500 * * * * [misc]points: Computing exacts on every 3 of 1870 points to ramp up precision 1544001732.501 * * * * [misc]points: Setting MPFR precision to 2112 1544001732.557 * * * * [misc]points: Setting MPFR precision to 2368 1544001732.613 * * * * [misc]points: Computing exacts for 1870 points 1544001732.614 * * * * [misc]points: Setting MPFR precision to 2112 1544001732.861 * * * * [misc]points: Setting MPFR precision to 2368 1544001733.149 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001733.149 * * * * [misc]points: Sampling 1428 additional inputs, on iter 6 have 6572 / 8000 1544001733.153 * * * * [misc]points: Computing exacts on every 89 of 1428 points to ramp up precision 1544001733.154 * * * * [misc]points: Setting MPFR precision to 2112 1544001733.155 * * * * [misc]points: Setting MPFR precision to 2368 1544001733.157 * * * * [misc]points: Computing exacts on every 44 of 1428 points to ramp up precision 1544001733.157 * * * * [misc]points: Setting MPFR precision to 2112 1544001733.160 * * * * [misc]points: Setting MPFR precision to 2368 1544001733.165 * * * * [misc]points: Computing exacts on every 22 of 1428 points to ramp up precision 1544001733.167 * * * * [misc]points: Setting MPFR precision to 2112 1544001733.177 * * * * [misc]points: Setting MPFR precision to 2368 1544001733.186 * * * * [misc]points: Computing exacts on every 11 of 1428 points to ramp up precision 1544001733.188 * * * * [misc]points: Setting MPFR precision to 2112 1544001733.205 * * * * [misc]points: Setting MPFR precision to 2368 1544001733.225 * * * * [misc]points: Computing exacts on every 5 of 1428 points to ramp up precision 1544001733.226 * * * * [misc]points: Setting MPFR precision to 2112 1544001733.253 * * * * [misc]points: Setting MPFR precision to 2368 1544001733.286 * * * * [misc]points: Computing exacts on every 2 of 1428 points to ramp up precision 1544001733.287 * * * * [misc]points: Setting MPFR precision to 2112 1544001733.354 * * * * [misc]points: Setting MPFR precision to 2368 1544001733.466 * * * * [misc]points: Computing exacts for 1428 points 1544001733.468 * * * * [misc]points: Setting MPFR precision to 2112 1544001733.666 * * * * [misc]points: Setting MPFR precision to 2368 1544001733.913 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001733.913 * * * * [misc]points: Sampling 1093 additional inputs, on iter 7 have 6907 / 8000 1544001733.916 * * * * [misc]points: Computing exacts on every 68 of 1093 points to ramp up precision 1544001733.917 * * * * [misc]points: Setting MPFR precision to 2112 1544001733.918 * * * * [misc]points: Setting MPFR precision to 2368 1544001733.919 * * * * [misc]points: Computing exacts on every 34 of 1093 points to ramp up precision 1544001733.920 * * * * [misc]points: Setting MPFR precision to 2112 1544001733.921 * * * * [misc]points: Setting MPFR precision to 2368 1544001733.923 * * * * [misc]points: Computing exacts on every 17 of 1093 points to ramp up precision 1544001733.924 * * * * [misc]points: Setting MPFR precision to 2112 1544001733.928 * * * * [misc]points: Setting MPFR precision to 2368 1544001733.933 * * * * [misc]points: Computing exacts on every 8 of 1093 points to ramp up precision 1544001733.935 * * * * [misc]points: Setting MPFR precision to 2112 1544001733.952 * * * * [misc]points: Setting MPFR precision to 2368 1544001733.971 * * * * [misc]points: Computing exacts on every 4 of 1093 points to ramp up precision 1544001733.972 * * * * [misc]points: Setting MPFR precision to 2112 1544001734.003 * * * * [misc]points: Setting MPFR precision to 2368 1544001734.022 * * * * [misc]points: Computing exacts on every 2 of 1093 points to ramp up precision 1544001734.023 * * * * [misc]points: Setting MPFR precision to 2112 1544001734.064 * * * * [misc]points: Setting MPFR precision to 2368 1544001734.121 * * * * [misc]points: Computing exacts for 1093 points 1544001734.123 * * * * [misc]points: Setting MPFR precision to 2112 1544001734.278 * * * * [misc]points: Setting MPFR precision to 2368 1544001734.423 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001734.423 * * * * [misc]points: Sampling 836 additional inputs, on iter 8 have 7164 / 8000 1544001734.427 * * * * [misc]points: Computing exacts on every 52 of 836 points to ramp up precision 1544001734.429 * * * * [misc]points: Setting MPFR precision to 2112 1544001734.431 * * * * [misc]points: Setting MPFR precision to 2368 1544001734.435 * * * * [misc]points: Computing exacts on every 26 of 836 points to ramp up precision 1544001734.436 * * * * [misc]points: Setting MPFR precision to 2112 1544001734.440 * * * * [misc]points: Setting MPFR precision to 2368 1544001734.445 * * * * [misc]points: Computing exacts on every 13 of 836 points to ramp up precision 1544001734.447 * * * * [misc]points: Setting MPFR precision to 2112 1544001734.457 * * * * [misc]points: Setting MPFR precision to 2368 1544001734.501 * * * * [misc]points: Computing exacts on every 6 of 836 points to ramp up precision 1544001734.502 * * * * [misc]points: Setting MPFR precision to 2112 1544001734.515 * * * * [misc]points: Setting MPFR precision to 2368 1544001734.530 * * * * [misc]points: Computing exacts on every 3 of 836 points to ramp up precision 1544001734.531 * * * * [misc]points: Setting MPFR precision to 2112 1544001734.549 * * * * [misc]points: Setting MPFR precision to 2368 1544001734.569 * * * * [misc]points: Computing exacts for 836 points 1544001734.570 * * * * [misc]points: Setting MPFR precision to 2112 1544001734.683 * * * * [misc]points: Setting MPFR precision to 2368 1544001734.785 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001734.786 * * * * [misc]points: Sampling 627 additional inputs, on iter 9 have 7373 / 8000 1544001734.789 * * * * [misc]points: Computing exacts on every 39 of 627 points to ramp up precision 1544001734.790 * * * * [misc]points: Setting MPFR precision to 2112 1544001734.793 * * * * [misc]points: Setting MPFR precision to 2368 1544001734.832 * * * * [misc]points: Computing exacts on every 19 of 627 points to ramp up precision 1544001734.833 * * * * [misc]points: Setting MPFR precision to 2112 1544001734.839 * * * * [misc]points: Setting MPFR precision to 2368 1544001734.848 * * * * [misc]points: Computing exacts on every 9 of 627 points to ramp up precision 1544001734.850 * * * * [misc]points: Setting MPFR precision to 2112 1544001734.862 * * * * [misc]points: Setting MPFR precision to 2368 1544001734.875 * * * * [misc]points: Computing exacts on every 4 of 627 points to ramp up precision 1544001734.877 * * * * [misc]points: Setting MPFR precision to 2112 1544001734.900 * * * * [misc]points: Setting MPFR precision to 2368 1544001734.917 * * * * [misc]points: Computing exacts on every 2 of 627 points to ramp up precision 1544001734.918 * * * * [misc]points: Setting MPFR precision to 2112 1544001734.944 * * * * [misc]points: Setting MPFR precision to 2368 1544001734.975 * * * * [misc]points: Computing exacts for 627 points 1544001734.976 * * * * [misc]points: Setting MPFR precision to 2112 1544001735.032 * * * * [misc]points: Setting MPFR precision to 2368 1544001735.091 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001735.092 * * * * [misc]points: Sampling 466 additional inputs, on iter 10 have 7534 / 8000 1544001735.093 * * * * [misc]points: Computing exacts on every 29 of 466 points to ramp up precision 1544001735.094 * * * * [misc]points: Setting MPFR precision to 2112 1544001735.096 * * * * [misc]points: Setting MPFR precision to 2368 1544001735.099 * * * * [misc]points: Computing exacts on every 14 of 466 points to ramp up precision 1544001735.100 * * * * [misc]points: Setting MPFR precision to 2112 1544001735.106 * * * * [misc]points: Setting MPFR precision to 2368 1544001735.113 * * * * [misc]points: Computing exacts on every 7 of 466 points to ramp up precision 1544001735.114 * * * * [misc]points: Setting MPFR precision to 2112 1544001735.123 * * * * [misc]points: Setting MPFR precision to 2368 1544001735.157 * * * * [misc]points: Computing exacts on every 3 of 466 points to ramp up precision 1544001735.158 * * * * [misc]points: Setting MPFR precision to 2112 1544001735.170 * * * * [misc]points: Setting MPFR precision to 2368 1544001735.191 * * * * [misc]points: Computing exacts for 466 points 1544001735.192 * * * * [misc]points: Setting MPFR precision to 2112 1544001735.264 * * * * [misc]points: Setting MPFR precision to 2368 1544001735.344 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001735.345 * * * * [misc]points: Sampling 359 additional inputs, on iter 11 have 7641 / 8000 1544001735.346 * * * * [misc]points: Computing exacts on every 22 of 359 points to ramp up precision 1544001735.348 * * * * [misc]points: Setting MPFR precision to 2112 1544001735.349 * * * * [misc]points: Setting MPFR precision to 2368 1544001735.350 * * * * [misc]points: Computing exacts on every 11 of 359 points to ramp up precision 1544001735.351 * * * * [misc]points: Setting MPFR precision to 2112 1544001735.355 * * * * [misc]points: Setting MPFR precision to 2368 1544001735.359 * * * * [misc]points: Computing exacts on every 5 of 359 points to ramp up precision 1544001735.360 * * * * [misc]points: Setting MPFR precision to 2112 1544001735.369 * * * * [misc]points: Setting MPFR precision to 2368 1544001735.377 * * * * [misc]points: Computing exacts on every 2 of 359 points to ramp up precision 1544001735.379 * * * * [misc]points: Setting MPFR precision to 2112 1544001735.397 * * * * [misc]points: Setting MPFR precision to 2368 1544001735.416 * * * * [misc]points: Computing exacts for 359 points 1544001735.418 * * * * [misc]points: Setting MPFR precision to 2112 1544001735.473 * * * * [misc]points: Setting MPFR precision to 2368 1544001735.519 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001735.519 * * * * [misc]points: Sampling 274 additional inputs, on iter 12 have 7726 / 8000 1544001735.520 * * * * [misc]points: Computing exacts on every 17 of 274 points to ramp up precision 1544001735.521 * * * * [misc]points: Setting MPFR precision to 2112 1544001735.863 * * * * [misc]points: Setting MPFR precision to 2368 1544001735.866 * * * * [misc]points: Computing exacts on every 8 of 274 points to ramp up precision 1544001735.867 * * * * [misc]points: Setting MPFR precision to 2112 1544001735.876 * * * * [misc]points: Setting MPFR precision to 2368 1544001735.881 * * * * [misc]points: Computing exacts on every 4 of 274 points to ramp up precision 1544001735.883 * * * * [misc]points: Setting MPFR precision to 2112 1544001735.892 * * * * [misc]points: Setting MPFR precision to 2368 1544001735.903 * * * * [misc]points: Computing exacts on every 2 of 274 points to ramp up precision 1544001735.905 * * * * [misc]points: Setting MPFR precision to 2112 1544001735.922 * * * * [misc]points: Setting MPFR precision to 2368 1544001735.941 * * * * [misc]points: Computing exacts for 274 points 1544001735.942 * * * * [misc]points: Setting MPFR precision to 2112 1544001735.975 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.012 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001736.012 * * * * [misc]points: Sampling 200 additional inputs, on iter 13 have 7800 / 8000 1544001736.013 * * * * [misc]points: Computing exacts on every 12 of 200 points to ramp up precision 1544001736.015 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.017 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.019 * * * * [misc]points: Computing exacts on every 6 of 200 points to ramp up precision 1544001736.021 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.025 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.028 * * * * [misc]points: Computing exacts on every 3 of 200 points to ramp up precision 1544001736.396 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.403 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.411 * * * * [misc]points: Computing exacts for 200 points 1544001736.412 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.438 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.460 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001736.460 * * * * [misc]points: Sampling 149 additional inputs, on iter 14 have 7851 / 8000 1544001736.460 * * * * [misc]points: Computing exacts on every 9 of 149 points to ramp up precision 1544001736.461 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.463 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.465 * * * * [misc]points: Computing exacts on every 4 of 149 points to ramp up precision 1544001736.466 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.474 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.478 * * * * [misc]points: Computing exacts on every 2 of 149 points to ramp up precision 1544001736.479 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.487 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.495 * * * * [misc]points: Computing exacts for 149 points 1544001736.496 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.516 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.533 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001736.534 * * * * [misc]points: Sampling 119 additional inputs, on iter 15 have 7881 / 8000 1544001736.534 * * * * [misc]points: Computing exacts on every 7 of 119 points to ramp up precision 1544001736.535 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.536 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.537 * * * * [misc]points: Computing exacts on every 3 of 119 points to ramp up precision 1544001736.538 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.540 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.542 * * * * [misc]points: Computing exacts for 119 points 1544001736.542 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.553 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.585 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001736.585 * * * * [misc]points: Sampling 95 additional inputs, on iter 16 have 7905 / 8000 1544001736.585 * * * * [misc]points: Computing exacts on every 5 of 95 points to ramp up precision 1544001736.588 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.589 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.590 * * * * [misc]points: Computing exacts on every 2 of 95 points to ramp up precision 1544001736.591 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.593 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.595 * * * * [misc]points: Computing exacts for 95 points 1544001736.595 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.603 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.616 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001736.616 * * * * [misc]points: Sampling 72 additional inputs, on iter 17 have 7928 / 8000 1544001736.616 * * * * [misc]points: Computing exacts on every 4 of 72 points to ramp up precision 1544001736.617 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.618 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.619 * * * * [misc]points: Computing exacts on every 2 of 72 points to ramp up precision 1544001736.620 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.622 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.625 * * * * [misc]points: Computing exacts for 72 points 1544001736.626 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.632 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.638 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001736.639 * * * * [misc]points: Sampling 49 additional inputs, on iter 18 have 7951 / 8000 1544001736.639 * * * * [misc]points: Computing exacts on every 3 of 49 points to ramp up precision 1544001736.640 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.641 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.642 * * * * [misc]points: Computing exacts for 49 points 1544001736.643 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.647 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.650 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001736.650 * * * * [misc]points: Sampling 36 additional inputs, on iter 19 have 7964 / 8000 1544001736.651 * * * * [misc]points: Computing exacts on every 2 of 36 points to ramp up precision 1544001736.652 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.653 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.655 * * * * [misc]points: Computing exacts for 36 points 1544001736.656 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.660 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.665 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001736.665 * * * * [misc]points: Sampling 28 additional inputs, on iter 20 have 7972 / 8000 1544001736.665 * * * * [misc]points: Computing exacts for 28 points 1544001736.666 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.668 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.671 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001736.671 * * * * [misc]points: Sampling 19 additional inputs, on iter 21 have 7981 / 8000 1544001736.671 * * * * [misc]points: Computing exacts for 19 points 1544001736.672 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.674 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.677 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001736.677 * * * * [misc]points: Sampling 11 additional inputs, on iter 22 have 7989 / 8000 1544001736.677 * * * * [misc]points: Computing exacts for 11 points 1544001736.678 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.679 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.681 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001736.681 * * * * [misc]points: Sampling 8 additional inputs, on iter 23 have 7992 / 8000 1544001736.681 * * * * [misc]points: Computing exacts for 8 points 1544001736.682 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.683 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.684 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001736.684 * * * * [misc]points: Sampling 6 additional inputs, on iter 24 have 7994 / 8000 1544001736.684 * * * * [misc]points: Computing exacts for 6 points 1544001736.685 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.686 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.687 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001736.687 * * * * [misc]points: Sampling 4 additional inputs, on iter 25 have 7996 / 8000 1544001736.687 * * * * [misc]points: Computing exacts for 4 points 1544001736.688 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.688 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.689 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001736.689 * * * * [misc]points: Sampling 4 additional inputs, on iter 26 have 7996 / 8000 1544001736.689 * * * * [misc]points: Computing exacts for 4 points 1544001736.690 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.691 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.692 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001736.692 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7997 / 8000 1544001736.692 * * * * [misc]points: Computing exacts for 4 points 1544001736.693 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.694 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.695 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001736.695 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7998 / 8000 1544001736.695 * * * * [misc]points: Computing exacts for 4 points 1544001736.696 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.697 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.697 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001736.697 * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7999 / 8000 1544001736.697 * * * * [misc]points: Computing exacts for 4 points 1544001736.698 * * * * [misc]points: Setting MPFR precision to 2112 1544001736.700 * * * * [misc]points: Setting MPFR precision to 2368 1544001736.701 * * * * [misc]points: Filtering points with unrepresentable outputs 1544001736.701 * * * * [exit]points: Sampled 8000 points with exact outputs 1544001737.057 * [misc]regime-testing: Baseline error score: 30.542180610454846 1544001737.057 * [misc]regime-testing: End program error score: 30.542180610454846 1544001737.058 * [misc]regime-testing: Oracle error score: 30.542180610454846