1538729723.466 * [misc]progress: [Phase 1 of 3] Setting up. 1538729723.466 * * * [misc]progress: [1/2] Preparing points 1538729723.466 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538729723.468 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538729723.470 * * * * [misc]points: Setting MPFR precision to 64 1538729723.472 * * * * [misc]points: Setting MPFR precision to 320 1538729723.473 * * * * [misc]points: Setting MPFR precision to 576 1538729723.475 * * * * [misc]points: Setting MPFR precision to 832 1538729723.476 * * * * [misc]points: Setting MPFR precision to 1088 1538729723.478 * * * * [misc]points: Setting MPFR precision to 1344 1538729723.481 * * * * [misc]points: Setting MPFR precision to 1600 1538729723.484 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538729723.486 * * * * [misc]points: Setting MPFR precision to 1344 1538729723.488 * * * * [misc]points: Setting MPFR precision to 1600 1538729723.492 * * * * [misc]points: Setting MPFR precision to 1856 1538729723.496 * * * * [misc]points: Setting MPFR precision to 2112 1538729723.500 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538729723.502 * * * * [misc]points: Setting MPFR precision to 1856 1538729723.516 * * * * [misc]points: Setting MPFR precision to 2112 1538729723.525 * * * * [misc]points: Setting MPFR precision to 2368 1538729723.531 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538729723.532 * * * * [misc]points: Setting MPFR precision to 2112 1538729723.540 * * * * [misc]points: Setting MPFR precision to 2368 1538729723.548 * * * * [misc]points: Computing exacts for 256 points 1538729723.549 * * * * [misc]points: Setting MPFR precision to 2112 1538729723.588 * * * * [misc]points: Setting MPFR precision to 2368 1538729723.637 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729723.637 * * * * [misc]points: Sampling 190 additional inputs, on iter 1 have 66 / 256 1538729723.638 * * * * [misc]points: Computing exacts on every 11 of 190 points to ramp up precision 1538729723.640 * * * * [misc]points: Setting MPFR precision to 2112 1538729723.642 * * * * [misc]points: Setting MPFR precision to 2368 1538729723.645 * * * * [misc]points: Computing exacts on every 5 of 190 points to ramp up precision 1538729723.647 * * * * [misc]points: Setting MPFR precision to 2112 1538729723.652 * * * * [misc]points: Setting MPFR precision to 2368 1538729723.657 * * * * [misc]points: Computing exacts on every 2 of 190 points to ramp up precision 1538729723.659 * * * * [misc]points: Setting MPFR precision to 2112 1538729723.670 * * * * [misc]points: Setting MPFR precision to 2368 1538729723.682 * * * * [misc]points: Computing exacts for 190 points 1538729723.684 * * * * [misc]points: Setting MPFR precision to 2112 1538729723.718 * * * * [misc]points: Setting MPFR precision to 2368 1538729723.741 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729723.741 * * * * [misc]points: Sampling 146 additional inputs, on iter 2 have 110 / 256 1538729723.741 * * * * [misc]points: Computing exacts on every 9 of 146 points to ramp up precision 1538729723.743 * * * * [misc]points: Setting MPFR precision to 2112 1538729723.744 * * * * [misc]points: Setting MPFR precision to 2368 1538729723.746 * * * * [misc]points: Computing exacts on every 4 of 146 points to ramp up precision 1538729723.747 * * * * [misc]points: Setting MPFR precision to 2112 1538729723.752 * * * * [misc]points: Setting MPFR precision to 2368 1538729723.758 * * * * [misc]points: Computing exacts on every 2 of 146 points to ramp up precision 1538729723.760 * * * * [misc]points: Setting MPFR precision to 2112 1538729723.770 * * * * [misc]points: Setting MPFR precision to 2368 1538729723.782 * * * * [misc]points: Computing exacts for 146 points 1538729723.784 * * * * [misc]points: Setting MPFR precision to 2112 1538729723.812 * * * * [misc]points: Setting MPFR precision to 2368 1538729723.842 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729723.842 * * * * [misc]points: Sampling 109 additional inputs, on iter 3 have 147 / 256 1538729723.843 * * * * [misc]points: Computing exacts on every 6 of 109 points to ramp up precision 1538729723.844 * * * * [misc]points: Setting MPFR precision to 2112 1538729723.848 * * * * [misc]points: Setting MPFR precision to 2368 1538729723.854 * * * * [misc]points: Computing exacts on every 3 of 109 points to ramp up precision 1538729723.856 * * * * [misc]points: Setting MPFR precision to 2112 1538729723.861 * * * * [misc]points: Setting MPFR precision to 2368 1538729723.865 * * * * [misc]points: Computing exacts for 109 points 1538729723.867 * * * * [misc]points: Setting MPFR precision to 2112 1538729723.886 * * * * [misc]points: Setting MPFR precision to 2368 1538729723.942 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729723.942 * * * * [misc]points: Sampling 80 additional inputs, on iter 4 have 176 / 256 1538729723.943 * * * * [misc]points: Computing exacts on every 5 of 80 points to ramp up precision 1538729723.945 * * * * [misc]points: Setting MPFR precision to 2112 1538729723.946 * * * * [misc]points: Setting MPFR precision to 2368 1538729723.948 * * * * [misc]points: Computing exacts on every 2 of 80 points to ramp up precision 1538729723.950 * * * * [misc]points: Setting MPFR precision to 2112 1538729723.956 * * * * [misc]points: Setting MPFR precision to 2368 1538729723.959 * * * * [misc]points: Computing exacts for 80 points 1538729723.961 * * * * [misc]points: Setting MPFR precision to 2112 1538729723.974 * * * * [misc]points: Setting MPFR precision to 2368 1538729723.989 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729723.989 * * * * [misc]points: Sampling 63 additional inputs, on iter 5 have 193 / 256 1538729723.989 * * * * [misc]points: Computing exacts on every 3 of 63 points to ramp up precision 1538729723.991 * * * * [misc]points: Setting MPFR precision to 2112 1538729723.994 * * * * [misc]points: Setting MPFR precision to 2368 1538729723.996 * * * * [misc]points: Computing exacts for 63 points 1538729723.998 * * * * [misc]points: Setting MPFR precision to 2112 1538729724.009 * * * * [misc]points: Setting MPFR precision to 2368 1538729724.021 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729724.022 * * * * [misc]points: Sampling 48 additional inputs, on iter 6 have 208 / 256 1538729724.022 * * * * [misc]points: Computing exacts on every 3 of 48 points to ramp up precision 1538729724.024 * * * * [misc]points: Setting MPFR precision to 2112 1538729724.026 * * * * [misc]points: Setting MPFR precision to 2368 1538729724.029 * * * * [misc]points: Computing exacts for 48 points 1538729724.030 * * * * [misc]points: Setting MPFR precision to 2112 1538729724.038 * * * * [misc]points: Setting MPFR precision to 2368 1538729724.047 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729724.047 * * * * [misc]points: Sampling 32 additional inputs, on iter 7 have 224 / 256 1538729724.047 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1538729724.049 * * * * [misc]points: Setting MPFR precision to 2112 1538729724.052 * * * * [misc]points: Setting MPFR precision to 2368 1538729724.054 * * * * [misc]points: Computing exacts for 32 points 1538729724.056 * * * * [misc]points: Setting MPFR precision to 2112 1538729724.062 * * * * [misc]points: Setting MPFR precision to 2368 1538729724.069 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729724.069 * * * * [misc]points: Sampling 20 additional inputs, on iter 8 have 236 / 256 1538729724.069 * * * * [misc]points: Computing exacts for 20 points 1538729724.071 * * * * [misc]points: Setting MPFR precision to 2112 1538729724.074 * * * * [misc]points: Setting MPFR precision to 2368 1538729724.078 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729724.078 * * * * [misc]points: Sampling 17 additional inputs, on iter 9 have 239 / 256 1538729724.078 * * * * [misc]points: Computing exacts for 17 points 1538729724.080 * * * * [misc]points: Setting MPFR precision to 2112 1538729724.083 * * * * [misc]points: Setting MPFR precision to 2368 1538729724.086 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729724.086 * * * * [misc]points: Sampling 11 additional inputs, on iter 10 have 245 / 256 1538729724.087 * * * * [misc]points: Computing exacts for 11 points 1538729724.088 * * * * [misc]points: Setting MPFR precision to 2112 1538729724.092 * * * * [misc]points: Setting MPFR precision to 2368 1538729724.096 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729724.096 * * * * [misc]points: Sampling 9 additional inputs, on iter 11 have 247 / 256 1538729724.096 * * * * [misc]points: Computing exacts for 9 points 1538729724.098 * * * * [misc]points: Setting MPFR precision to 2112 1538729724.101 * * * * [misc]points: Setting MPFR precision to 2368 1538729724.104 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729724.104 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 252 / 256 1538729724.105 * * * * [misc]points: Computing exacts for 4 points 1538729724.106 * * * * [misc]points: Setting MPFR precision to 2112 1538729724.108 * * * * [misc]points: Setting MPFR precision to 2368 1538729724.109 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729724.109 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 253 / 256 1538729724.109 * * * * [misc]points: Computing exacts for 4 points 1538729724.111 * * * * [misc]points: Setting MPFR precision to 2112 1538729724.111 * * * * [misc]points: Setting MPFR precision to 2368 1538729724.111 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729724.111 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 253 / 256 1538729724.112 * * * * [misc]points: Computing exacts for 4 points 1538729724.113 * * * * [misc]points: Setting MPFR precision to 2112 1538729724.114 * * * * [misc]points: Setting MPFR precision to 2368 1538729724.115 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729724.115 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 255 / 256 1538729724.116 * * * * [misc]points: Computing exacts for 4 points 1538729724.117 * * * * [misc]points: Setting MPFR precision to 2112 1538729724.118 * * * * [misc]points: Setting MPFR precision to 2368 1538729724.119 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729724.119 * * * * [exit]points: Sampled 257 points with exact outputs 1538729724.119 * * * [misc]progress: [2/2] Setting up program. 1538729724.128 * [misc]progress: [Phase 2 of 3] Improving. 1538729724.128 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1538729724.129 * * [misc]simplify: iters left: 4 (6 enodes) 1538729724.132 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1538729724.149 * * [misc]progress: iteration 1 / 4 1538729724.149 * * * [misc]progress: picking best candidate 1538729724.156 * * * * [misc]pick: Picked # 1538729724.156 * * * [misc]progress: localizing error 1538729724.303 * * * [misc]progress: generating rewritten candidates 1538729724.304 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1538729724.305 * * * [misc]progress: generating series expansions 1538729724.305 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1538729724.305 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538729724.305 * [misc]approximate: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 1538729724.305 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1538729724.307 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538729724.307 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1538729724.307 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538729724.307 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538729724.307 * [misc]backup-simplify: Simplify 0 into 0 1538729724.307 * [misc]backup-simplify: Simplify 0 into 0 1538729724.308 * [misc]backup-simplify: Simplify 0 into 0 1538729724.308 * [misc]backup-simplify: Simplify 0 into 0 1538729724.308 * [misc]backup-simplify: Simplify 0 into 0 1538729724.308 * [misc]backup-simplify: Simplify 0 into 0 1538729724.308 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538729724.308 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538729724.308 * [misc]approximate: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 1538729724.308 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1538729724.308 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538729724.308 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1538729724.308 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538729724.308 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538729724.308 * [misc]backup-simplify: Simplify 0 into 0 1538729724.308 * [misc]backup-simplify: Simplify 0 into 0 1538729724.308 * [misc]backup-simplify: Simplify 0 into 0 1538729724.308 * [misc]backup-simplify: Simplify 0 into 0 1538729724.309 * [misc]backup-simplify: Simplify 0 into 0 1538729724.309 * [misc]backup-simplify: Simplify 0 into 0 1538729724.309 * [misc]backup-simplify: Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a)) 1538729724.309 * [misc]backup-simplify: Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538729724.309 * [misc]approximate: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 1538729724.309 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1538729724.309 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538729724.309 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1538729724.309 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538729724.309 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538729724.309 * [misc]backup-simplify: Simplify 0 into 0 1538729724.309 * [misc]backup-simplify: Simplify 0 into 0 1538729724.309 * [misc]backup-simplify: Simplify 0 into 0 1538729724.309 * [misc]backup-simplify: Simplify 0 into 0 1538729724.310 * [misc]backup-simplify: Simplify 0 into 0 1538729724.310 * [misc]backup-simplify: Simplify 0 into 0 1538729724.310 * [misc]backup-simplify: Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a)) 1538729724.310 * * * [misc]progress: simplifying candidates 1538729724.310 * * * * [misc]progress: [ 1 / 10 ] simplifiying candidate # 1538729724.310 * * * * [misc]progress: [ 2 / 10 ] simplifiying candidate # 1538729724.310 * * * * [misc]progress: [ 3 / 10 ] simplifiying candidate # 1538729724.310 * * * * [misc]progress: [ 4 / 10 ] simplifiying candidate # 1538729724.310 * * * * [misc]progress: [ 5 / 10 ] simplifiying candidate # 1538729724.310 * * * * [misc]progress: [ 6 / 10 ] simplifiying candidate # 1538729724.310 * * * * [misc]progress: [ 7 / 10 ] simplifiying candidate # 1538729724.310 * * * * [misc]progress: [ 8 / 10 ] simplifiying candidate # 1538729724.310 * [enter]simplify: Simplifying (fmod a (asin a)) 1538729724.311 * * [misc]simplify: iters left: 2 (3 enodes) 1538729724.312 * [exit]simplify: Simplified to (fmod a (asin a)) 1538729724.312 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538729724.312 * * * * [misc]progress: [ 9 / 10 ] simplifiying candidate # 1538729724.312 * [enter]simplify: Simplifying (fmod a (asin a)) 1538729724.312 * * [misc]simplify: iters left: 2 (3 enodes) 1538729724.313 * [exit]simplify: Simplified to (fmod a (asin a)) 1538729724.313 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538729724.313 * * * * [misc]progress: [ 10 / 10 ] simplifiying candidate # 1538729724.314 * [enter]simplify: Simplifying (fmod a (asin a)) 1538729724.314 * * [misc]simplify: iters left: 2 (3 enodes) 1538729724.315 * [exit]simplify: Simplified to (fmod a (asin a)) 1538729724.315 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538729724.315 * * * [misc]progress: adding candidates to table 1538729724.487 * [misc]progress: [Phase 3 of 3] Extracting. 1538729724.492 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1538729724.492 * * [misc]simplify: iters left: 4 (6 enodes) 1538729724.493 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1538729724.493 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538729724.520 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538729724.521 * * * * [misc]points: Setting MPFR precision to 2112 1538729724.525 * * * * [misc]points: Setting MPFR precision to 2368 1538729724.528 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538729724.530 * * * * [misc]points: Setting MPFR precision to 2112 1538729724.536 * * * * [misc]points: Setting MPFR precision to 2368 1538729724.539 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538729724.540 * * * * [misc]points: Setting MPFR precision to 2112 1538729724.547 * * * * [misc]points: Setting MPFR precision to 2368 1538729724.555 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538729724.556 * * * * [misc]points: Setting MPFR precision to 2112 1538729724.573 * * * * [misc]points: Setting MPFR precision to 2368 1538729724.597 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538729724.598 * * * * [misc]points: Setting MPFR precision to 2112 1538729724.628 * * * * [misc]points: Setting MPFR precision to 2368 1538729724.664 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538729724.665 * * * * [misc]points: Setting MPFR precision to 2112 1538729724.724 * * * * [misc]points: Setting MPFR precision to 2368 1538729724.794 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538729724.795 * * * * [misc]points: Setting MPFR precision to 2112 1538729725.010 * * * * [misc]points: Setting MPFR precision to 2368 1538729725.174 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538729725.177 * * * * [misc]points: Setting MPFR precision to 2112 1538729725.960 * * * * [misc]points: Setting MPFR precision to 2368 1538729726.388 * * * * [misc]points: Computing exacts for 8000 points 1538729726.389 * * * * [misc]points: Setting MPFR precision to 2112 1538729727.814 * * * * [misc]points: Setting MPFR precision to 2368 1538729728.948 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729728.949 * * * * [misc]points: Sampling 5967 additional inputs, on iter 1 have 2033 / 8000 1538729728.971 * * * * [misc]points: Computing exacts on every 372 of 5967 points to ramp up precision 1538729728.973 * * * * [misc]points: Setting MPFR precision to 2112 1538729728.976 * * * * [misc]points: Setting MPFR precision to 2368 1538729728.979 * * * * [misc]points: Computing exacts on every 186 of 5967 points to ramp up precision 1538729728.980 * * * * [misc]points: Setting MPFR precision to 2112 1538729728.983 * * * * [misc]points: Setting MPFR precision to 2368 1538729728.986 * * * * [misc]points: Computing exacts on every 93 of 5967 points to ramp up precision 1538729728.988 * * * * [misc]points: Setting MPFR precision to 2112 1538729728.993 * * * * [misc]points: Setting MPFR precision to 2368 1538729728.999 * * * * [misc]points: Computing exacts on every 46 of 5967 points to ramp up precision 1538729729.001 * * * * [misc]points: Setting MPFR precision to 2112 1538729729.013 * * * * [misc]points: Setting MPFR precision to 2368 1538729729.025 * * * * [misc]points: Computing exacts on every 23 of 5967 points to ramp up precision 1538729729.026 * * * * [misc]points: Setting MPFR precision to 2112 1538729729.052 * * * * [misc]points: Setting MPFR precision to 2368 1538729729.531 * * * * [misc]points: Computing exacts on every 11 of 5967 points to ramp up precision 1538729729.535 * * * * [misc]points: Setting MPFR precision to 2112 1538729729.619 * * * * [misc]points: Setting MPFR precision to 2368 1538729729.708 * * * * [misc]points: Computing exacts on every 5 of 5967 points to ramp up precision 1538729729.709 * * * * [misc]points: Setting MPFR precision to 2112 1538729729.865 * * * * [misc]points: Setting MPFR precision to 2368 1538729730.034 * * * * [misc]points: Computing exacts on every 2 of 5967 points to ramp up precision 1538729730.036 * * * * [misc]points: Setting MPFR precision to 2112 1538729730.440 * * * * [misc]points: Setting MPFR precision to 2368 1538729730.781 * * * * [misc]points: Computing exacts for 5967 points 1538729730.782 * * * * [misc]points: Setting MPFR precision to 2112 1538729731.779 * * * * [misc]points: Setting MPFR precision to 2368 1538729732.602 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729732.603 * * * * [misc]points: Sampling 4485 additional inputs, on iter 2 have 3515 / 8000 1538729732.614 * * * * [misc]points: Computing exacts on every 280 of 4485 points to ramp up precision 1538729732.616 * * * * [misc]points: Setting MPFR precision to 2112 1538729733.068 * * * * [misc]points: Setting MPFR precision to 2368 1538729733.070 * * * * [misc]points: Computing exacts on every 140 of 4485 points to ramp up precision 1538729733.071 * * * * [misc]points: Setting MPFR precision to 2112 1538729733.074 * * * * [misc]points: Setting MPFR precision to 2368 1538729733.079 * * * * [misc]points: Computing exacts on every 70 of 4485 points to ramp up precision 1538729733.080 * * * * [misc]points: Setting MPFR precision to 2112 1538729733.090 * * * * [misc]points: Setting MPFR precision to 2368 1538729733.097 * * * * [misc]points: Computing exacts on every 35 of 4485 points to ramp up precision 1538729733.098 * * * * [misc]points: Setting MPFR precision to 2112 1538729733.111 * * * * [misc]points: Setting MPFR precision to 2368 1538729733.133 * * * * [misc]points: Computing exacts on every 17 of 4485 points to ramp up precision 1538729733.134 * * * * [misc]points: Setting MPFR precision to 2112 1538729733.163 * * * * [misc]points: Setting MPFR precision to 2368 1538729733.204 * * * * [misc]points: Computing exacts on every 8 of 4485 points to ramp up precision 1538729733.205 * * * * [misc]points: Setting MPFR precision to 2112 1538729733.280 * * * * [misc]points: Setting MPFR precision to 2368 1538729733.376 * * * * [misc]points: Computing exacts on every 4 of 4485 points to ramp up precision 1538729733.378 * * * * [misc]points: Setting MPFR precision to 2112 1538729733.551 * * * * [misc]points: Setting MPFR precision to 2368 1538729733.686 * * * * [misc]points: Computing exacts on every 2 of 4485 points to ramp up precision 1538729733.687 * * * * [misc]points: Setting MPFR precision to 2112 1538729733.922 * * * * [misc]points: Setting MPFR precision to 2368 1538729734.168 * * * * [misc]points: Computing exacts for 4485 points 1538729734.170 * * * * [misc]points: Setting MPFR precision to 2112 1538729734.932 * * * * [misc]points: Setting MPFR precision to 2368 1538729735.737 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729735.739 * * * * [misc]points: Sampling 3365 additional inputs, on iter 3 have 4635 / 8000 1538729735.754 * * * * [misc]points: Computing exacts on every 210 of 3365 points to ramp up precision 1538729735.756 * * * * [misc]points: Setting MPFR precision to 2112 1538729735.758 * * * * [misc]points: Setting MPFR precision to 2368 1538729735.760 * * * * [misc]points: Computing exacts on every 105 of 3365 points to ramp up precision 1538729735.761 * * * * [misc]points: Setting MPFR precision to 2112 1538729735.766 * * * * [misc]points: Setting MPFR precision to 2368 1538729735.771 * * * * [misc]points: Computing exacts on every 52 of 3365 points to ramp up precision 1538729735.773 * * * * [misc]points: Setting MPFR precision to 2112 1538729735.783 * * * * [misc]points: Setting MPFR precision to 2368 1538729735.795 * * * * [misc]points: Computing exacts on every 26 of 3365 points to ramp up precision 1538729735.797 * * * * [misc]points: Setting MPFR precision to 2112 1538729735.816 * * * * [misc]points: Setting MPFR precision to 2368 1538729735.831 * * * * [misc]points: Computing exacts on every 13 of 3365 points to ramp up precision 1538729735.833 * * * * [misc]points: Setting MPFR precision to 2112 1538729735.883 * * * * [misc]points: Setting MPFR precision to 2368 1538729735.909 * * * * [misc]points: Computing exacts on every 6 of 3365 points to ramp up precision 1538729735.910 * * * * [misc]points: Setting MPFR precision to 2112 1538729735.957 * * * * [misc]points: Setting MPFR precision to 2368 1538729736.009 * * * * [misc]points: Computing exacts on every 3 of 3365 points to ramp up precision 1538729736.010 * * * * [misc]points: Setting MPFR precision to 2112 1538729736.133 * * * * [misc]points: Setting MPFR precision to 2368 1538729736.343 * * * * [misc]points: Computing exacts for 3365 points 1538729736.345 * * * * [misc]points: Setting MPFR precision to 2112 1538729737.346 * * * * [misc]points: Setting MPFR precision to 2368 1538729737.919 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729737.920 * * * * [misc]points: Sampling 2502 additional inputs, on iter 4 have 5498 / 8000 1538729737.932 * * * * [misc]points: Computing exacts on every 156 of 2502 points to ramp up precision 1538729737.934 * * * * [misc]points: Setting MPFR precision to 2112 1538729737.978 * * * * [misc]points: Setting MPFR precision to 2368 1538729737.982 * * * * [misc]points: Computing exacts on every 78 of 2502 points to ramp up precision 1538729737.984 * * * * [misc]points: Setting MPFR precision to 2112 1538729737.992 * * * * [misc]points: Setting MPFR precision to 2368 1538729737.997 * * * * [misc]points: Computing exacts on every 39 of 2502 points to ramp up precision 1538729737.998 * * * * [misc]points: Setting MPFR precision to 2112 1538729738.011 * * * * [misc]points: Setting MPFR precision to 2368 1538729738.024 * * * * [misc]points: Computing exacts on every 19 of 2502 points to ramp up precision 1538729738.026 * * * * [misc]points: Setting MPFR precision to 2112 1538729738.051 * * * * [misc]points: Setting MPFR precision to 2368 1538729738.069 * * * * [misc]points: Computing exacts on every 9 of 2502 points to ramp up precision 1538729738.070 * * * * [misc]points: Setting MPFR precision to 2112 1538729738.095 * * * * [misc]points: Setting MPFR precision to 2368 1538729738.132 * * * * [misc]points: Computing exacts on every 4 of 2502 points to ramp up precision 1538729738.134 * * * * [misc]points: Setting MPFR precision to 2112 1538729738.189 * * * * [misc]points: Setting MPFR precision to 2368 1538729738.256 * * * * [misc]points: Computing exacts on every 2 of 2502 points to ramp up precision 1538729738.257 * * * * [misc]points: Setting MPFR precision to 2112 1538729738.409 * * * * [misc]points: Setting MPFR precision to 2368 1538729738.530 * * * * [misc]points: Computing exacts for 2502 points 1538729738.531 * * * * [misc]points: Setting MPFR precision to 2112 1538729738.805 * * * * [misc]points: Setting MPFR precision to 2368 1538729739.256 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729739.257 * * * * [misc]points: Sampling 1887 additional inputs, on iter 5 have 6113 / 8000 1538729739.265 * * * * [misc]points: Computing exacts on every 117 of 1887 points to ramp up precision 1538729739.267 * * * * [misc]points: Setting MPFR precision to 2112 1538729739.270 * * * * [misc]points: Setting MPFR precision to 2368 1538729739.274 * * * * [misc]points: Computing exacts on every 58 of 1887 points to ramp up precision 1538729739.276 * * * * [misc]points: Setting MPFR precision to 2112 1538729739.282 * * * * [misc]points: Setting MPFR precision to 2368 1538729739.290 * * * * [misc]points: Computing exacts on every 29 of 1887 points to ramp up precision 1538729739.292 * * * * [misc]points: Setting MPFR precision to 2112 1538729739.303 * * * * [misc]points: Setting MPFR precision to 2368 1538729739.316 * * * * [misc]points: Computing exacts on every 14 of 1887 points to ramp up precision 1538729739.318 * * * * [misc]points: Setting MPFR precision to 2112 1538729739.340 * * * * [misc]points: Setting MPFR precision to 2368 1538729739.364 * * * * [misc]points: Computing exacts on every 7 of 1887 points to ramp up precision 1538729739.366 * * * * [misc]points: Setting MPFR precision to 2112 1538729739.403 * * * * [misc]points: Setting MPFR precision to 2368 1538729739.481 * * * * [misc]points: Computing exacts on every 3 of 1887 points to ramp up precision 1538729739.484 * * * * [misc]points: Setting MPFR precision to 2112 1538729739.574 * * * * [misc]points: Setting MPFR precision to 2368 1538729739.665 * * * * [misc]points: Computing exacts for 1887 points 1538729739.667 * * * * [misc]points: Setting MPFR precision to 2112 1538729740.070 * * * * [misc]points: Setting MPFR precision to 2368 1538729740.361 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729740.362 * * * * [misc]points: Sampling 1394 additional inputs, on iter 6 have 6606 / 8000 1538729740.369 * * * * [misc]points: Computing exacts on every 87 of 1394 points to ramp up precision 1538729740.370 * * * * [misc]points: Setting MPFR precision to 2112 1538729740.412 * * * * [misc]points: Setting MPFR precision to 2368 1538729740.416 * * * * [misc]points: Computing exacts on every 43 of 1394 points to ramp up precision 1538729740.418 * * * * [misc]points: Setting MPFR precision to 2112 1538729740.427 * * * * [misc]points: Setting MPFR precision to 2368 1538729740.434 * * * * [misc]points: Computing exacts on every 21 of 1394 points to ramp up precision 1538729740.436 * * * * [misc]points: Setting MPFR precision to 2112 1538729740.448 * * * * [misc]points: Setting MPFR precision to 2368 1538729740.461 * * * * [misc]points: Computing exacts on every 10 of 1394 points to ramp up precision 1538729740.463 * * * * [misc]points: Setting MPFR precision to 2112 1538729740.485 * * * * [misc]points: Setting MPFR precision to 2368 1538729740.507 * * * * [misc]points: Computing exacts on every 5 of 1394 points to ramp up precision 1538729740.509 * * * * [misc]points: Setting MPFR precision to 2112 1538729740.546 * * * * [misc]points: Setting MPFR precision to 2368 1538729740.587 * * * * [misc]points: Computing exacts on every 2 of 1394 points to ramp up precision 1538729740.589 * * * * [misc]points: Setting MPFR precision to 2112 1538729740.650 * * * * [misc]points: Setting MPFR precision to 2368 1538729740.730 * * * * [misc]points: Computing exacts for 1394 points 1538729740.732 * * * * [misc]points: Setting MPFR precision to 2112 1538729741.314 * * * * [misc]points: Setting MPFR precision to 2368 1538729741.469 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729741.469 * * * * [misc]points: Sampling 1009 additional inputs, on iter 7 have 6991 / 8000 1538729741.472 * * * * [misc]points: Computing exacts on every 63 of 1009 points to ramp up precision 1538729741.473 * * * * [misc]points: Setting MPFR precision to 2112 1538729741.496 * * * * [misc]points: Setting MPFR precision to 2368 1538729741.497 * * * * [misc]points: Computing exacts on every 31 of 1009 points to ramp up precision 1538729741.498 * * * * [misc]points: Setting MPFR precision to 2112 1538729741.501 * * * * [misc]points: Setting MPFR precision to 2368 1538729741.503 * * * * [misc]points: Computing exacts on every 15 of 1009 points to ramp up precision 1538729741.504 * * * * [misc]points: Setting MPFR precision to 2112 1538729741.512 * * * * [misc]points: Setting MPFR precision to 2368 1538729741.518 * * * * [misc]points: Computing exacts on every 7 of 1009 points to ramp up precision 1538729741.519 * * * * [misc]points: Setting MPFR precision to 2112 1538729741.532 * * * * [misc]points: Setting MPFR precision to 2368 1538729741.545 * * * * [misc]points: Computing exacts on every 3 of 1009 points to ramp up precision 1538729741.547 * * * * [misc]points: Setting MPFR precision to 2112 1538729741.571 * * * * [misc]points: Setting MPFR precision to 2368 1538729741.598 * * * * [misc]points: Computing exacts for 1009 points 1538729741.599 * * * * [misc]points: Setting MPFR precision to 2112 1538729741.696 * * * * [misc]points: Setting MPFR precision to 2368 1538729741.825 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729741.825 * * * * [misc]points: Sampling 769 additional inputs, on iter 8 have 7231 / 8000 1538729741.827 * * * * [misc]points: Computing exacts on every 48 of 769 points to ramp up precision 1538729741.828 * * * * [misc]points: Setting MPFR precision to 2112 1538729741.830 * * * * [misc]points: Setting MPFR precision to 2368 1538729741.831 * * * * [misc]points: Computing exacts on every 24 of 769 points to ramp up precision 1538729741.832 * * * * [misc]points: Setting MPFR precision to 2112 1538729741.836 * * * * [misc]points: Setting MPFR precision to 2368 1538729741.840 * * * * [misc]points: Computing exacts on every 12 of 769 points to ramp up precision 1538729741.841 * * * * [misc]points: Setting MPFR precision to 2112 1538729741.846 * * * * [misc]points: Setting MPFR precision to 2368 1538729741.853 * * * * [misc]points: Computing exacts on every 6 of 769 points to ramp up precision 1538729741.854 * * * * [misc]points: Setting MPFR precision to 2112 1538729741.866 * * * * [misc]points: Setting MPFR precision to 2368 1538729741.884 * * * * [misc]points: Computing exacts on every 3 of 769 points to ramp up precision 1538729741.886 * * * * [misc]points: Setting MPFR precision to 2112 1538729741.918 * * * * [misc]points: Setting MPFR precision to 2368 1538729741.958 * * * * [misc]points: Computing exacts for 769 points 1538729741.959 * * * * [misc]points: Setting MPFR precision to 2112 1538729742.081 * * * * [misc]points: Setting MPFR precision to 2368 1538729742.262 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729742.262 * * * * [misc]points: Sampling 564 additional inputs, on iter 9 have 7436 / 8000 1538729742.266 * * * * [misc]points: Computing exacts on every 35 of 564 points to ramp up precision 1538729742.268 * * * * [misc]points: Setting MPFR precision to 2112 1538729742.271 * * * * [misc]points: Setting MPFR precision to 2368 1538729742.275 * * * * [misc]points: Computing exacts on every 17 of 564 points to ramp up precision 1538729742.277 * * * * [misc]points: Setting MPFR precision to 2112 1538729742.282 * * * * [misc]points: Setting MPFR precision to 2368 1538729742.288 * * * * [misc]points: Computing exacts on every 8 of 564 points to ramp up precision 1538729742.290 * * * * [misc]points: Setting MPFR precision to 2112 1538729742.300 * * * * [misc]points: Setting MPFR precision to 2368 1538729742.313 * * * * [misc]points: Computing exacts on every 4 of 564 points to ramp up precision 1538729742.315 * * * * [misc]points: Setting MPFR precision to 2112 1538729742.335 * * * * [misc]points: Setting MPFR precision to 2368 1538729742.356 * * * * [misc]points: Computing exacts on every 2 of 564 points to ramp up precision 1538729742.357 * * * * [misc]points: Setting MPFR precision to 2112 1538729742.390 * * * * [misc]points: Setting MPFR precision to 2368 1538729742.425 * * * * [misc]points: Computing exacts for 564 points 1538729742.426 * * * * [misc]points: Setting MPFR precision to 2112 1538729742.500 * * * * [misc]points: Setting MPFR precision to 2368 1538729742.635 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729742.635 * * * * [misc]points: Sampling 430 additional inputs, on iter 10 have 7570 / 8000 1538729742.637 * * * * [misc]points: Computing exacts on every 26 of 430 points to ramp up precision 1538729742.639 * * * * [misc]points: Setting MPFR precision to 2112 1538729742.642 * * * * [misc]points: Setting MPFR precision to 2368 1538729742.644 * * * * [misc]points: Computing exacts on every 13 of 430 points to ramp up precision 1538729742.646 * * * * [misc]points: Setting MPFR precision to 2112 1538729742.652 * * * * [misc]points: Setting MPFR precision to 2368 1538729742.658 * * * * [misc]points: Computing exacts on every 6 of 430 points to ramp up precision 1538729742.660 * * * * [misc]points: Setting MPFR precision to 2112 1538729742.672 * * * * [misc]points: Setting MPFR precision to 2368 1538729742.684 * * * * [misc]points: Computing exacts on every 3 of 430 points to ramp up precision 1538729742.686 * * * * [misc]points: Setting MPFR precision to 2112 1538729742.704 * * * * [misc]points: Setting MPFR precision to 2368 1538729742.722 * * * * [misc]points: Computing exacts for 430 points 1538729742.724 * * * * [misc]points: Setting MPFR precision to 2112 1538729742.801 * * * * [misc]points: Setting MPFR precision to 2368 1538729742.888 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729742.888 * * * * [misc]points: Sampling 321 additional inputs, on iter 11 have 7679 / 8000 1538729742.890 * * * * [misc]points: Computing exacts on every 20 of 321 points to ramp up precision 1538729742.892 * * * * [misc]points: Setting MPFR precision to 2112 1538729742.894 * * * * [misc]points: Setting MPFR precision to 2368 1538729742.897 * * * * [misc]points: Computing exacts on every 10 of 321 points to ramp up precision 1538729742.899 * * * * [misc]points: Setting MPFR precision to 2112 1538729742.904 * * * * [misc]points: Setting MPFR precision to 2368 1538729742.910 * * * * [misc]points: Computing exacts on every 5 of 321 points to ramp up precision 1538729742.911 * * * * [misc]points: Setting MPFR precision to 2112 1538729742.920 * * * * [misc]points: Setting MPFR precision to 2368 1538729742.924 * * * * [misc]points: Computing exacts on every 2 of 321 points to ramp up precision 1538729742.925 * * * * [misc]points: Setting MPFR precision to 2112 1538729742.936 * * * * [misc]points: Setting MPFR precision to 2368 1538729742.945 * * * * [misc]points: Computing exacts for 321 points 1538729742.946 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.038 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.098 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729743.099 * * * * [misc]points: Sampling 254 additional inputs, on iter 12 have 7746 / 8000 1538729743.100 * * * * [misc]points: Computing exacts on every 15 of 254 points to ramp up precision 1538729743.102 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.104 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.106 * * * * [misc]points: Computing exacts on every 7 of 254 points to ramp up precision 1538729743.108 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.115 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.122 * * * * [misc]points: Computing exacts on every 3 of 254 points to ramp up precision 1538729743.124 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.136 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.148 * * * * [misc]points: Computing exacts for 254 points 1538729743.150 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.195 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.225 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729743.225 * * * * [misc]points: Sampling 188 additional inputs, on iter 13 have 7812 / 8000 1538729743.226 * * * * [misc]points: Computing exacts on every 11 of 188 points to ramp up precision 1538729743.228 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.230 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.233 * * * * [misc]points: Computing exacts on every 5 of 188 points to ramp up precision 1538729743.235 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.241 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.246 * * * * [misc]points: Computing exacts on every 2 of 188 points to ramp up precision 1538729743.248 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.260 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.273 * * * * [misc]points: Computing exacts for 188 points 1538729743.275 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.304 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.332 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729743.332 * * * * [misc]points: Sampling 133 additional inputs, on iter 14 have 7867 / 8000 1538729743.333 * * * * [misc]points: Computing exacts on every 8 of 133 points to ramp up precision 1538729743.335 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.337 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.340 * * * * [misc]points: Computing exacts on every 4 of 133 points to ramp up precision 1538729743.342 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.347 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.353 * * * * [misc]points: Computing exacts on every 2 of 133 points to ramp up precision 1538729743.355 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.365 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.375 * * * * [misc]points: Computing exacts for 133 points 1538729743.377 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.431 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.449 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729743.449 * * * * [misc]points: Sampling 99 additional inputs, on iter 15 have 7901 / 8000 1538729743.450 * * * * [misc]points: Computing exacts on every 6 of 99 points to ramp up precision 1538729743.451 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.454 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.457 * * * * [misc]points: Computing exacts on every 3 of 99 points to ramp up precision 1538729743.459 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.462 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.464 * * * * [misc]points: Computing exacts for 99 points 1538729743.466 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.474 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.484 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729743.484 * * * * [misc]points: Sampling 79 additional inputs, on iter 16 have 7921 / 8000 1538729743.485 * * * * [misc]points: Computing exacts on every 4 of 79 points to ramp up precision 1538729743.486 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.487 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.489 * * * * [misc]points: Computing exacts on every 2 of 79 points to ramp up precision 1538729743.491 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.496 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.502 * * * * [misc]points: Computing exacts for 79 points 1538729743.504 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.515 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.523 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729743.524 * * * * [misc]points: Sampling 60 additional inputs, on iter 17 have 7940 / 8000 1538729743.524 * * * * [misc]points: Computing exacts on every 3 of 60 points to ramp up precision 1538729743.525 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.526 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.528 * * * * [misc]points: Computing exacts for 60 points 1538729743.529 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.536 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.545 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729743.545 * * * * [misc]points: Sampling 45 additional inputs, on iter 18 have 7955 / 8000 1538729743.546 * * * * [misc]points: Computing exacts on every 2 of 45 points to ramp up precision 1538729743.547 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.550 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.553 * * * * [misc]points: Computing exacts for 45 points 1538729743.555 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.562 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.571 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729743.571 * * * * [misc]points: Sampling 35 additional inputs, on iter 19 have 7965 / 8000 1538729743.571 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1538729743.573 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.575 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.577 * * * * [misc]points: Computing exacts for 35 points 1538729743.579 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.584 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.591 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729743.591 * * * * [misc]points: Sampling 25 additional inputs, on iter 20 have 7975 / 8000 1538729743.592 * * * * [misc]points: Computing exacts for 25 points 1538729743.593 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.598 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.603 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729743.603 * * * * [misc]points: Sampling 16 additional inputs, on iter 21 have 7984 / 8000 1538729743.604 * * * * [misc]points: Computing exacts for 16 points 1538729743.605 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.608 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.610 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729743.610 * * * * [misc]points: Sampling 13 additional inputs, on iter 22 have 7987 / 8000 1538729743.610 * * * * [misc]points: Computing exacts for 13 points 1538729743.612 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.614 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.617 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729743.617 * * * * [misc]points: Sampling 10 additional inputs, on iter 23 have 7990 / 8000 1538729743.618 * * * * [misc]points: Computing exacts for 10 points 1538729743.619 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.622 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.625 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729743.625 * * * * [misc]points: Sampling 5 additional inputs, on iter 24 have 7995 / 8000 1538729743.625 * * * * [misc]points: Computing exacts for 5 points 1538729743.627 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.628 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.628 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729743.628 * * * * [misc]points: Sampling 4 additional inputs, on iter 25 have 7996 / 8000 1538729743.629 * * * * [misc]points: Computing exacts for 4 points 1538729743.630 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.631 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.631 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729743.631 * * * * [misc]points: Sampling 4 additional inputs, on iter 26 have 7996 / 8000 1538729743.632 * * * * [misc]points: Computing exacts for 4 points 1538729743.633 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.634 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.634 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729743.634 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7997 / 8000 1538729743.635 * * * * [misc]points: Computing exacts for 4 points 1538729743.636 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.638 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.641 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729743.641 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7999 / 8000 1538729743.641 * * * * [misc]points: Computing exacts for 4 points 1538729743.643 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.645 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.647 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729743.647 * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7999 / 8000 1538729743.648 * * * * [misc]points: Computing exacts for 4 points 1538729743.650 * * * * [misc]points: Setting MPFR precision to 2112 1538729743.651 * * * * [misc]points: Setting MPFR precision to 2368 1538729743.652 * * * * [misc]points: Filtering points with unrepresentable outputs 1538729743.652 * * * * [exit]points: Sampled 8001 points with exact outputs