1544006193.339 * [misc]progress: [Phase 1 of 3] Setting up. 1544006193.339 * * * [misc]progress: [1/2] Preparing points 1544006193.339 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544006193.340 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544006193.342 * * * * [misc]points: Setting MPFR precision to 64 1544006193.343 * * * * [misc]points: Setting MPFR precision to 320 1544006193.344 * * * * [misc]points: Setting MPFR precision to 576 1544006193.345 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544006193.346 * * * * [misc]points: Setting MPFR precision to 320 1544006193.347 * * * * [misc]points: Setting MPFR precision to 576 1544006193.352 * * * * [misc]points: Setting MPFR precision to 832 1544006193.354 * * * * [misc]points: Setting MPFR precision to 1088 1544006193.356 * * * * [misc]points: Setting MPFR precision to 1344 1544006193.359 * * * * [misc]points: Setting MPFR precision to 1600 1544006193.362 * * * * [misc]points: Setting MPFR precision to 1856 1544006193.366 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544006193.367 * * * * [misc]points: Setting MPFR precision to 1600 1544006193.371 * * * * [misc]points: Setting MPFR precision to 1856 1544006193.376 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.383 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.391 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544006193.392 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.405 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.420 * * * * [misc]points: Computing exacts for 256 points 1544006193.421 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.460 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.500 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.500 * * * * [misc]points: Sampling 208 additional inputs, on iter 1 have 48 / 256 1544006193.501 * * * * [misc]points: Computing exacts on every 13 of 208 points to ramp up precision 1544006193.502 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.503 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.504 * * * * [misc]points: Computing exacts on every 6 of 208 points to ramp up precision 1544006193.505 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.508 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.510 * * * * [misc]points: Computing exacts on every 3 of 208 points to ramp up precision 1544006193.511 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.516 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.521 * * * * [misc]points: Computing exacts for 208 points 1544006193.522 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.540 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.569 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.569 * * * * [misc]points: Sampling 153 additional inputs, on iter 2 have 103 / 256 1544006193.570 * * * * [misc]points: Computing exacts on every 9 of 153 points to ramp up precision 1544006193.571 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.575 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.579 * * * * [misc]points: Computing exacts on every 4 of 153 points to ramp up precision 1544006193.580 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.586 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.591 * * * * [misc]points: Computing exacts on every 2 of 153 points to ramp up precision 1544006193.593 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.602 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.613 * * * * [misc]points: Computing exacts for 153 points 1544006193.614 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.633 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.648 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.649 * * * * [misc]points: Sampling 107 additional inputs, on iter 3 have 149 / 256 1544006193.649 * * * * [misc]points: Computing exacts on every 6 of 107 points to ramp up precision 1544006193.650 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.651 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.652 * * * * [misc]points: Computing exacts on every 3 of 107 points to ramp up precision 1544006193.653 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.656 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.660 * * * * [misc]points: Computing exacts for 107 points 1544006193.661 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.670 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.708 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.709 * * * * [misc]points: Sampling 84 additional inputs, on iter 4 have 172 / 256 1544006193.709 * * * * [misc]points: Computing exacts on every 5 of 84 points to ramp up precision 1544006193.710 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.713 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.716 * * * * [misc]points: Computing exacts on every 2 of 84 points to ramp up precision 1544006193.718 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.726 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.731 * * * * [misc]points: Computing exacts for 84 points 1544006193.732 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.746 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.763 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.763 * * * * [misc]points: Sampling 64 additional inputs, on iter 5 have 192 / 256 1544006193.763 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1544006193.765 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.767 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.769 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1544006193.770 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.774 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.778 * * * * [misc]points: Computing exacts for 64 points 1544006193.779 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.792 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.801 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.801 * * * * [misc]points: Sampling 45 additional inputs, on iter 6 have 211 / 256 1544006193.801 * * * * [misc]points: Computing exacts on every 2 of 45 points to ramp up precision 1544006193.802 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.803 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.805 * * * * [misc]points: Computing exacts for 45 points 1544006193.805 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.810 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.815 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.815 * * * * [misc]points: Sampling 32 additional inputs, on iter 7 have 224 / 256 1544006193.815 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1544006193.816 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.817 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.818 * * * * [misc]points: Computing exacts for 32 points 1544006193.819 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.823 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.828 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.828 * * * * [misc]points: Sampling 24 additional inputs, on iter 8 have 232 / 256 1544006193.828 * * * * [misc]points: Computing exacts for 24 points 1544006193.830 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.834 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.838 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.838 * * * * [misc]points: Sampling 18 additional inputs, on iter 9 have 238 / 256 1544006193.838 * * * * [misc]points: Computing exacts for 18 points 1544006193.840 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.842 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.844 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.844 * * * * [misc]points: Sampling 15 additional inputs, on iter 10 have 241 / 256 1544006193.845 * * * * [misc]points: Computing exacts for 15 points 1544006193.846 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.848 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.849 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.849 * * * * [misc]points: Sampling 13 additional inputs, on iter 11 have 243 / 256 1544006193.850 * * * * [misc]points: Computing exacts for 13 points 1544006193.851 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.853 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.855 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.855 * * * * [misc]points: Sampling 9 additional inputs, on iter 12 have 247 / 256 1544006193.855 * * * * [misc]points: Computing exacts for 9 points 1544006193.856 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.858 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.860 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.860 * * * * [misc]points: Sampling 5 additional inputs, on iter 13 have 251 / 256 1544006193.860 * * * * [misc]points: Computing exacts for 5 points 1544006193.861 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.861 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.862 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.862 * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 1544006193.862 * * * * [misc]points: Computing exacts for 5 points 1544006193.863 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.863 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.863 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.864 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 251 / 256 1544006193.864 * * * * [misc]points: Computing exacts for 5 points 1544006193.864 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.865 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.865 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.865 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 252 / 256 1544006193.865 * * * * [misc]points: Computing exacts for 4 points 1544006193.866 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.866 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.866 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.866 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 253 / 256 1544006193.866 * * * * [misc]points: Computing exacts for 4 points 1544006193.867 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.867 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.867 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.867 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 253 / 256 1544006193.867 * * * * [misc]points: Computing exacts for 4 points 1544006193.868 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.868 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.868 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.868 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 253 / 256 1544006193.868 * * * * [misc]points: Computing exacts for 4 points 1544006193.869 * * * * [misc]points: Setting MPFR precision to 2112 1544006193.870 * * * * [misc]points: Setting MPFR precision to 2368 1544006193.870 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006193.870 * * * * [exit]points: Sampled 256 points with exact outputs 1544006193.870 * * * [misc]progress: [2/2] Setting up program. 1544006193.873 * [misc]progress: [Phase 2 of 3] Improving. 1544006193.873 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1544006193.874 * * [misc]simplify: iters left: 4 (6 enodes) 1544006193.874 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1544006193.880 * * [misc]progress: iteration 1 / 4 1544006193.880 * * * [misc]progress: picking best candidate 1544006193.883 * * * * [misc]pick: Picked # 1544006193.883 * * * [misc]progress: localizing error 1544006193.968 * * * [misc]progress: generating rewritten candidates 1544006193.968 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1544006193.969 * * * [misc]progress: generating series expansions 1544006193.969 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1544006193.969 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1544006193.969 * [misc]approximate: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 1544006193.969 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1544006193.984 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1544006193.984 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1544006193.984 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1544006193.984 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1544006193.984 * [misc]backup-simplify: Simplify 0 into 0 1544006193.984 * [misc]backup-simplify: Simplify 0 into 0 1544006193.985 * [misc]backup-simplify: Simplify 0 into 0 1544006193.985 * [misc]backup-simplify: Simplify 0 into 0 1544006193.985 * [misc]backup-simplify: Simplify 0 into 0 1544006193.985 * [misc]backup-simplify: Simplify 0 into 0 1544006193.985 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1544006193.985 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1544006193.985 * [misc]approximate: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 1544006193.985 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1544006193.985 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1544006193.985 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1544006193.985 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1544006193.985 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1544006193.985 * [misc]backup-simplify: Simplify 0 into 0 1544006193.985 * [misc]backup-simplify: Simplify 0 into 0 1544006193.985 * [misc]backup-simplify: Simplify 0 into 0 1544006193.985 * [misc]backup-simplify: Simplify 0 into 0 1544006193.985 * [misc]backup-simplify: Simplify 0 into 0 1544006193.985 * [misc]backup-simplify: Simplify 0 into 0 1544006193.985 * [misc]backup-simplify: Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a)) 1544006193.985 * [misc]backup-simplify: Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a))) 1544006193.985 * [misc]approximate: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 1544006193.985 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1544006193.985 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1544006193.986 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1544006193.986 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1544006193.986 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1544006193.986 * [misc]backup-simplify: Simplify 0 into 0 1544006193.986 * [misc]backup-simplify: Simplify 0 into 0 1544006193.986 * [misc]backup-simplify: Simplify 0 into 0 1544006193.986 * [misc]backup-simplify: Simplify 0 into 0 1544006193.986 * [misc]backup-simplify: Simplify 0 into 0 1544006193.986 * [misc]backup-simplify: Simplify 0 into 0 1544006193.986 * [misc]backup-simplify: Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a)) 1544006193.986 * * * [misc]progress: simplifying candidates 1544006193.986 * * * * [misc]progress: [ 1 / 12 ] simplifiying candidate # 1544006193.986 * * * * [misc]progress: [ 2 / 12 ] simplifiying candidate # 1544006193.986 * * * * [misc]progress: [ 3 / 12 ] simplifiying candidate # 1544006193.986 * * * * [misc]progress: [ 4 / 12 ] simplifiying candidate # 1544006193.986 * * * * [misc]progress: [ 5 / 12 ] simplifiying candidate # 1544006193.986 * * * * [misc]progress: [ 6 / 12 ] simplifiying candidate # 1544006193.986 * * * * [misc]progress: [ 7 / 12 ] simplifiying candidate # 1544006193.986 * * * * [misc]progress: [ 8 / 12 ] simplifiying candidate # 1544006193.986 * * * * [misc]progress: [ 9 / 12 ] simplifiying candidate # 1544006193.986 * * * * [misc]progress: [ 10 / 12 ] simplifiying candidate # 1544006193.986 * [enter]simplify: Simplifying (fmod a (asin a)) 1544006193.987 * * [misc]simplify: iters left: 2 (3 enodes) 1544006193.987 * [exit]simplify: Simplified to (fmod a (asin a)) 1544006193.987 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1544006193.987 * * * * [misc]progress: [ 11 / 12 ] simplifiying candidate # 1544006193.987 * [enter]simplify: Simplifying (fmod a (asin a)) 1544006193.987 * * [misc]simplify: iters left: 2 (3 enodes) 1544006193.988 * [exit]simplify: Simplified to (fmod a (asin a)) 1544006193.988 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1544006193.988 * * * * [misc]progress: [ 12 / 12 ] simplifiying candidate # 1544006193.988 * [enter]simplify: Simplifying (fmod a (asin a)) 1544006193.988 * * [misc]simplify: iters left: 2 (3 enodes) 1544006193.988 * [exit]simplify: Simplified to (fmod a (asin a)) 1544006193.988 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1544006193.988 * * * [misc]progress: adding candidates to table 1544006194.105 * [misc]progress: [Phase 3 of 3] Extracting. 1544006194.107 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1544006194.108 * * [misc]simplify: iters left: 4 (6 enodes) 1544006194.108 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1544006194.108 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1544006194.130 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1544006194.132 * * * * [misc]points: Setting MPFR precision to 2112 1544006194.134 * * * * [misc]points: Setting MPFR precision to 2368 1544006194.136 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1544006194.137 * * * * [misc]points: Setting MPFR precision to 2112 1544006194.142 * * * * [misc]points: Setting MPFR precision to 2368 1544006194.148 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1544006194.150 * * * * [misc]points: Setting MPFR precision to 2112 1544006194.160 * * * * [misc]points: Setting MPFR precision to 2368 1544006194.181 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1544006194.183 * * * * [misc]points: Setting MPFR precision to 2112 1544006194.206 * * * * [misc]points: Setting MPFR precision to 2368 1544006194.227 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1544006194.227 * * * * [misc]points: Setting MPFR precision to 2112 1544006194.252 * * * * [misc]points: Setting MPFR precision to 2368 1544006194.292 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1544006194.294 * * * * [misc]points: Setting MPFR precision to 2112 1544006194.346 * * * * [misc]points: Setting MPFR precision to 2368 1544006194.420 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1544006194.421 * * * * [misc]points: Setting MPFR precision to 2112 1544006194.599 * * * * [misc]points: Setting MPFR precision to 2368 1544006194.766 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1544006194.768 * * * * [misc]points: Setting MPFR precision to 2112 1544006195.085 * * * * [misc]points: Setting MPFR precision to 2368 1544006195.702 * * * * [misc]points: Computing exacts for 8000 points 1544006195.704 * * * * [misc]points: Setting MPFR precision to 2112 1544006196.616 * * * * [misc]points: Setting MPFR precision to 2368 1544006197.655 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006197.657 * * * * [misc]points: Sampling 6004 additional inputs, on iter 1 have 1996 / 8000 1544006197.684 * * * * [misc]points: Computing exacts on every 375 of 6004 points to ramp up precision 1544006197.686 * * * * [misc]points: Setting MPFR precision to 2112 1544006197.721 * * * * [misc]points: Setting MPFR precision to 2368 1544006197.724 * * * * [misc]points: Computing exacts on every 187 of 6004 points to ramp up precision 1544006197.725 * * * * [misc]points: Setting MPFR precision to 2112 1544006197.730 * * * * [misc]points: Setting MPFR precision to 2368 1544006197.735 * * * * [misc]points: Computing exacts on every 93 of 6004 points to ramp up precision 1544006197.736 * * * * [misc]points: Setting MPFR precision to 2112 1544006197.743 * * * * [misc]points: Setting MPFR precision to 2368 1544006197.752 * * * * [misc]points: Computing exacts on every 46 of 6004 points to ramp up precision 1544006197.753 * * * * [misc]points: Setting MPFR precision to 2112 1544006197.770 * * * * [misc]points: Setting MPFR precision to 2368 1544006197.786 * * * * [misc]points: Computing exacts on every 23 of 6004 points to ramp up precision 1544006197.787 * * * * [misc]points: Setting MPFR precision to 2112 1544006197.811 * * * * [misc]points: Setting MPFR precision to 2368 1544006197.847 * * * * [misc]points: Computing exacts on every 11 of 6004 points to ramp up precision 1544006197.849 * * * * [misc]points: Setting MPFR precision to 2112 1544006197.904 * * * * [misc]points: Setting MPFR precision to 2368 1544006197.969 * * * * [misc]points: Computing exacts on every 5 of 6004 points to ramp up precision 1544006197.970 * * * * [misc]points: Setting MPFR precision to 2112 1544006198.135 * * * * [misc]points: Setting MPFR precision to 2368 1544006198.255 * * * * [misc]points: Computing exacts on every 2 of 6004 points to ramp up precision 1544006198.256 * * * * [misc]points: Setting MPFR precision to 2112 1544006198.888 * * * * [misc]points: Setting MPFR precision to 2368 1544006199.184 * * * * [misc]points: Computing exacts for 6004 points 1544006199.186 * * * * [misc]points: Setting MPFR precision to 2112 1544006200.073 * * * * [misc]points: Setting MPFR precision to 2368 1544006200.921 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006200.922 * * * * [misc]points: Sampling 4503 additional inputs, on iter 2 have 3497 / 8000 1544006200.933 * * * * [misc]points: Computing exacts on every 281 of 4503 points to ramp up precision 1544006200.934 * * * * [misc]points: Setting MPFR precision to 2112 1544006200.935 * * * * [misc]points: Setting MPFR precision to 2368 1544006200.936 * * * * [misc]points: Computing exacts on every 140 of 4503 points to ramp up precision 1544006200.937 * * * * [misc]points: Setting MPFR precision to 2112 1544006200.940 * * * * [misc]points: Setting MPFR precision to 2368 1544006200.944 * * * * [misc]points: Computing exacts on every 70 of 4503 points to ramp up precision 1544006200.945 * * * * [misc]points: Setting MPFR precision to 2112 1544006200.954 * * * * [misc]points: Setting MPFR precision to 2368 1544006200.962 * * * * [misc]points: Computing exacts on every 35 of 4503 points to ramp up precision 1544006200.963 * * * * [misc]points: Setting MPFR precision to 2112 1544006200.975 * * * * [misc]points: Setting MPFR precision to 2368 1544006200.988 * * * * [misc]points: Computing exacts on every 17 of 4503 points to ramp up precision 1544006200.989 * * * * [misc]points: Setting MPFR precision to 2112 1544006201.010 * * * * [misc]points: Setting MPFR precision to 2368 1544006201.033 * * * * [misc]points: Computing exacts on every 8 of 4503 points to ramp up precision 1544006201.033 * * * * [misc]points: Setting MPFR precision to 2112 1544006201.098 * * * * [misc]points: Setting MPFR precision to 2368 1544006201.149 * * * * [misc]points: Computing exacts on every 4 of 4503 points to ramp up precision 1544006201.150 * * * * [misc]points: Setting MPFR precision to 2112 1544006201.249 * * * * [misc]points: Setting MPFR precision to 2368 1544006201.379 * * * * [misc]points: Computing exacts on every 2 of 4503 points to ramp up precision 1544006201.380 * * * * [misc]points: Setting MPFR precision to 2112 1544006201.535 * * * * [misc]points: Setting MPFR precision to 2368 1544006202.108 * * * * [misc]points: Computing exacts for 4503 points 1544006202.109 * * * * [misc]points: Setting MPFR precision to 2112 1544006202.732 * * * * [misc]points: Setting MPFR precision to 2368 1544006203.463 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006203.463 * * * * [misc]points: Sampling 3324 additional inputs, on iter 3 have 4676 / 8000 1544006203.472 * * * * [misc]points: Computing exacts on every 207 of 3324 points to ramp up precision 1544006203.474 * * * * [misc]points: Setting MPFR precision to 2112 1544006203.476 * * * * [misc]points: Setting MPFR precision to 2368 1544006203.478 * * * * [misc]points: Computing exacts on every 103 of 3324 points to ramp up precision 1544006203.479 * * * * [misc]points: Setting MPFR precision to 2112 1544006203.482 * * * * [misc]points: Setting MPFR precision to 2368 1544006203.485 * * * * [misc]points: Computing exacts on every 51 of 3324 points to ramp up precision 1544006203.486 * * * * [misc]points: Setting MPFR precision to 2112 1544006203.493 * * * * [misc]points: Setting MPFR precision to 2368 1544006203.504 * * * * [misc]points: Computing exacts on every 25 of 3324 points to ramp up precision 1544006203.505 * * * * [misc]points: Setting MPFR precision to 2112 1544006203.526 * * * * [misc]points: Setting MPFR precision to 2368 1544006203.547 * * * * [misc]points: Computing exacts on every 12 of 3324 points to ramp up precision 1544006203.548 * * * * [misc]points: Setting MPFR precision to 2112 1544006203.591 * * * * [misc]points: Setting MPFR precision to 2368 1544006203.636 * * * * [misc]points: Computing exacts on every 6 of 3324 points to ramp up precision 1544006203.638 * * * * [misc]points: Setting MPFR precision to 2112 1544006203.716 * * * * [misc]points: Setting MPFR precision to 2368 1544006203.817 * * * * [misc]points: Computing exacts on every 3 of 3324 points to ramp up precision 1544006203.818 * * * * [misc]points: Setting MPFR precision to 2112 1544006203.940 * * * * [misc]points: Setting MPFR precision to 2368 1544006204.043 * * * * [misc]points: Computing exacts for 3324 points 1544006204.044 * * * * [misc]points: Setting MPFR precision to 2112 1544006204.559 * * * * [misc]points: Setting MPFR precision to 2368 1544006205.058 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006205.059 * * * * [misc]points: Sampling 2473 additional inputs, on iter 4 have 5527 / 8000 1544006205.065 * * * * [misc]points: Computing exacts on every 154 of 2473 points to ramp up precision 1544006205.066 * * * * [misc]points: Setting MPFR precision to 2112 1544006205.067 * * * * [misc]points: Setting MPFR precision to 2368 1544006205.068 * * * * [misc]points: Computing exacts on every 77 of 2473 points to ramp up precision 1544006205.069 * * * * [misc]points: Setting MPFR precision to 2112 1544006205.072 * * * * [misc]points: Setting MPFR precision to 2368 1544006205.076 * * * * [misc]points: Computing exacts on every 38 of 2473 points to ramp up precision 1544006205.077 * * * * [misc]points: Setting MPFR precision to 2112 1544006205.083 * * * * [misc]points: Setting MPFR precision to 2368 1544006205.090 * * * * [misc]points: Computing exacts on every 19 of 2473 points to ramp up precision 1544006205.091 * * * * [misc]points: Setting MPFR precision to 2112 1544006205.101 * * * * [misc]points: Setting MPFR precision to 2368 1544006205.112 * * * * [misc]points: Computing exacts on every 9 of 2473 points to ramp up precision 1544006205.113 * * * * [misc]points: Setting MPFR precision to 2112 1544006205.138 * * * * [misc]points: Setting MPFR precision to 2368 1544006205.175 * * * * [misc]points: Computing exacts on every 4 of 2473 points to ramp up precision 1544006205.176 * * * * [misc]points: Setting MPFR precision to 2112 1544006205.592 * * * * [misc]points: Setting MPFR precision to 2368 1544006205.668 * * * * [misc]points: Computing exacts on every 2 of 2473 points to ramp up precision 1544006205.669 * * * * [misc]points: Setting MPFR precision to 2112 1544006205.795 * * * * [misc]points: Setting MPFR precision to 2368 1544006205.930 * * * * [misc]points: Computing exacts for 2473 points 1544006205.931 * * * * [misc]points: Setting MPFR precision to 2112 1544006206.299 * * * * [misc]points: Setting MPFR precision to 2368 1544006206.710 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006206.710 * * * * [misc]points: Sampling 1870 additional inputs, on iter 5 have 6130 / 8000 1544006206.718 * * * * [misc]points: Computing exacts on every 116 of 1870 points to ramp up precision 1544006206.723 * * * * [misc]points: Setting MPFR precision to 2112 1544006206.725 * * * * [misc]points: Setting MPFR precision to 2368 1544006206.727 * * * * [misc]points: Computing exacts on every 58 of 1870 points to ramp up precision 1544006206.728 * * * * [misc]points: Setting MPFR precision to 2112 1544006206.733 * * * * [misc]points: Setting MPFR precision to 2368 1544006206.738 * * * * [misc]points: Computing exacts on every 29 of 1870 points to ramp up precision 1544006206.739 * * * * [misc]points: Setting MPFR precision to 2112 1544006206.750 * * * * [misc]points: Setting MPFR precision to 2368 1544006206.760 * * * * [misc]points: Computing exacts on every 14 of 1870 points to ramp up precision 1544006206.761 * * * * [misc]points: Setting MPFR precision to 2112 1544006206.775 * * * * [misc]points: Setting MPFR precision to 2368 1544006206.795 * * * * [misc]points: Computing exacts on every 7 of 1870 points to ramp up precision 1544006206.796 * * * * [misc]points: Setting MPFR precision to 2112 1544006206.831 * * * * [misc]points: Setting MPFR precision to 2368 1544006206.852 * * * * [misc]points: Computing exacts on every 3 of 1870 points to ramp up precision 1544006206.853 * * * * [misc]points: Setting MPFR precision to 2112 1544006206.924 * * * * [misc]points: Setting MPFR precision to 2368 1544006207.004 * * * * [misc]points: Computing exacts for 1870 points 1544006207.005 * * * * [misc]points: Setting MPFR precision to 2112 1544006207.267 * * * * [misc]points: Setting MPFR precision to 2368 1544006207.608 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006207.608 * * * * [misc]points: Sampling 1428 additional inputs, on iter 6 have 6572 / 8000 1544006207.612 * * * * [misc]points: Computing exacts on every 89 of 1428 points to ramp up precision 1544006207.613 * * * * [misc]points: Setting MPFR precision to 2112 1544006207.614 * * * * [misc]points: Setting MPFR precision to 2368 1544006207.617 * * * * [misc]points: Computing exacts on every 44 of 1428 points to ramp up precision 1544006207.618 * * * * [misc]points: Setting MPFR precision to 2112 1544006207.622 * * * * [misc]points: Setting MPFR precision to 2368 1544006207.628 * * * * [misc]points: Computing exacts on every 22 of 1428 points to ramp up precision 1544006207.630 * * * * [misc]points: Setting MPFR precision to 2112 1544006207.640 * * * * [misc]points: Setting MPFR precision to 2368 1544006207.648 * * * * [misc]points: Computing exacts on every 11 of 1428 points to ramp up precision 1544006207.649 * * * * [misc]points: Setting MPFR precision to 2112 1544006207.660 * * * * [misc]points: Setting MPFR precision to 2368 1544006207.672 * * * * [misc]points: Computing exacts on every 5 of 1428 points to ramp up precision 1544006207.673 * * * * [misc]points: Setting MPFR precision to 2112 1544006207.697 * * * * [misc]points: Setting MPFR precision to 2368 1544006207.737 * * * * [misc]points: Computing exacts on every 2 of 1428 points to ramp up precision 1544006207.739 * * * * [misc]points: Setting MPFR precision to 2112 1544006207.819 * * * * [misc]points: Setting MPFR precision to 2368 1544006207.865 * * * * [misc]points: Computing exacts for 1428 points 1544006207.866 * * * * [misc]points: Setting MPFR precision to 2112 1544006208.022 * * * * [misc]points: Setting MPFR precision to 2368 1544006208.264 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006208.265 * * * * [misc]points: Sampling 1093 additional inputs, on iter 7 have 6907 / 8000 1544006208.270 * * * * [misc]points: Computing exacts on every 68 of 1093 points to ramp up precision 1544006208.271 * * * * [misc]points: Setting MPFR precision to 2112 1544006208.274 * * * * [misc]points: Setting MPFR precision to 2368 1544006208.276 * * * * [misc]points: Computing exacts on every 34 of 1093 points to ramp up precision 1544006208.277 * * * * [misc]points: Setting MPFR precision to 2112 1544006208.280 * * * * [misc]points: Setting MPFR precision to 2368 1544006208.283 * * * * [misc]points: Computing exacts on every 17 of 1093 points to ramp up precision 1544006208.284 * * * * [misc]points: Setting MPFR precision to 2112 1544006208.292 * * * * [misc]points: Setting MPFR precision to 2368 1544006208.302 * * * * [misc]points: Computing exacts on every 8 of 1093 points to ramp up precision 1544006208.303 * * * * [misc]points: Setting MPFR precision to 2112 1544006208.321 * * * * [misc]points: Setting MPFR precision to 2368 1544006208.341 * * * * [misc]points: Computing exacts on every 4 of 1093 points to ramp up precision 1544006208.343 * * * * [misc]points: Setting MPFR precision to 2112 1544006208.377 * * * * [misc]points: Setting MPFR precision to 2368 1544006208.422 * * * * [misc]points: Computing exacts on every 2 of 1093 points to ramp up precision 1544006208.423 * * * * [misc]points: Setting MPFR precision to 2112 1544006208.467 * * * * [misc]points: Setting MPFR precision to 2368 1544006208.543 * * * * [misc]points: Computing exacts for 1093 points 1544006208.544 * * * * [misc]points: Setting MPFR precision to 2112 1544006208.673 * * * * [misc]points: Setting MPFR precision to 2368 1544006208.818 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006208.818 * * * * [misc]points: Sampling 836 additional inputs, on iter 8 have 7164 / 8000 1544006208.822 * * * * [misc]points: Computing exacts on every 52 of 836 points to ramp up precision 1544006208.824 * * * * [misc]points: Setting MPFR precision to 2112 1544006209.234 * * * * [misc]points: Setting MPFR precision to 2368 1544006209.235 * * * * [misc]points: Computing exacts on every 26 of 836 points to ramp up precision 1544006209.236 * * * * [misc]points: Setting MPFR precision to 2112 1544006209.239 * * * * [misc]points: Setting MPFR precision to 2368 1544006209.242 * * * * [misc]points: Computing exacts on every 13 of 836 points to ramp up precision 1544006209.244 * * * * [misc]points: Setting MPFR precision to 2112 1544006209.253 * * * * [misc]points: Setting MPFR precision to 2368 1544006209.260 * * * * [misc]points: Computing exacts on every 6 of 836 points to ramp up precision 1544006209.261 * * * * [misc]points: Setting MPFR precision to 2112 1544006209.273 * * * * [misc]points: Setting MPFR precision to 2368 1544006209.288 * * * * [misc]points: Computing exacts on every 3 of 836 points to ramp up precision 1544006209.288 * * * * [misc]points: Setting MPFR precision to 2112 1544006209.313 * * * * [misc]points: Setting MPFR precision to 2368 1544006209.333 * * * * [misc]points: Computing exacts for 836 points 1544006209.334 * * * * [misc]points: Setting MPFR precision to 2112 1544006209.442 * * * * [misc]points: Setting MPFR precision to 2368 1544006209.569 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006209.569 * * * * [misc]points: Sampling 627 additional inputs, on iter 9 have 7373 / 8000 1544006209.571 * * * * [misc]points: Computing exacts on every 39 of 627 points to ramp up precision 1544006209.571 * * * * [misc]points: Setting MPFR precision to 2112 1544006209.573 * * * * [misc]points: Setting MPFR precision to 2368 1544006209.575 * * * * [misc]points: Computing exacts on every 19 of 627 points to ramp up precision 1544006209.576 * * * * [misc]points: Setting MPFR precision to 2112 1544006209.581 * * * * [misc]points: Setting MPFR precision to 2368 1544006209.585 * * * * [misc]points: Computing exacts on every 9 of 627 points to ramp up precision 1544006209.586 * * * * [misc]points: Setting MPFR precision to 2112 1544006209.598 * * * * [misc]points: Setting MPFR precision to 2368 1544006209.606 * * * * [misc]points: Computing exacts on every 4 of 627 points to ramp up precision 1544006209.607 * * * * [misc]points: Setting MPFR precision to 2112 1544006209.619 * * * * [misc]points: Setting MPFR precision to 2368 1544006209.640 * * * * [misc]points: Computing exacts on every 2 of 627 points to ramp up precision 1544006209.641 * * * * [misc]points: Setting MPFR precision to 2112 1544006209.659 * * * * [misc]points: Setting MPFR precision to 2368 1544006209.688 * * * * [misc]points: Computing exacts for 627 points 1544006209.689 * * * * [misc]points: Setting MPFR precision to 2112 1544006209.746 * * * * [misc]points: Setting MPFR precision to 2368 1544006209.850 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006209.850 * * * * [misc]points: Sampling 466 additional inputs, on iter 10 have 7534 / 8000 1544006209.852 * * * * [misc]points: Computing exacts on every 29 of 466 points to ramp up precision 1544006209.853 * * * * [misc]points: Setting MPFR precision to 2112 1544006209.856 * * * * [misc]points: Setting MPFR precision to 2368 1544006209.859 * * * * [misc]points: Computing exacts on every 14 of 466 points to ramp up precision 1544006209.860 * * * * [misc]points: Setting MPFR precision to 2112 1544006209.865 * * * * [misc]points: Setting MPFR precision to 2368 1544006209.896 * * * * [misc]points: Computing exacts on every 7 of 466 points to ramp up precision 1544006209.898 * * * * [misc]points: Setting MPFR precision to 2112 1544006209.905 * * * * [misc]points: Setting MPFR precision to 2368 1544006209.910 * * * * [misc]points: Computing exacts on every 3 of 466 points to ramp up precision 1544006209.911 * * * * [misc]points: Setting MPFR precision to 2112 1544006209.924 * * * * [misc]points: Setting MPFR precision to 2368 1544006209.944 * * * * [misc]points: Computing exacts for 466 points 1544006209.945 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.016 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.090 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.091 * * * * [misc]points: Sampling 359 additional inputs, on iter 11 have 7641 / 8000 1544006210.092 * * * * [misc]points: Computing exacts on every 22 of 359 points to ramp up precision 1544006210.094 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.095 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.096 * * * * [misc]points: Computing exacts on every 11 of 359 points to ramp up precision 1544006210.097 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.101 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.104 * * * * [misc]points: Computing exacts on every 5 of 359 points to ramp up precision 1544006210.105 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.114 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.122 * * * * [misc]points: Computing exacts on every 2 of 359 points to ramp up precision 1544006210.124 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.141 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.160 * * * * [misc]points: Computing exacts for 359 points 1544006210.161 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.215 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.292 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.293 * * * * [misc]points: Sampling 274 additional inputs, on iter 12 have 7726 / 8000 1544006210.293 * * * * [misc]points: Computing exacts on every 17 of 274 points to ramp up precision 1544006210.294 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.298 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.299 * * * * [misc]points: Computing exacts on every 8 of 274 points to ramp up precision 1544006210.300 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.303 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.306 * * * * [misc]points: Computing exacts on every 4 of 274 points to ramp up precision 1544006210.307 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.312 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.318 * * * * [misc]points: Computing exacts on every 2 of 274 points to ramp up precision 1544006210.319 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.329 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.340 * * * * [misc]points: Computing exacts for 274 points 1544006210.341 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.383 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.427 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.427 * * * * [misc]points: Sampling 200 additional inputs, on iter 13 have 7800 / 8000 1544006210.427 * * * * [misc]points: Computing exacts on every 12 of 200 points to ramp up precision 1544006210.428 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.430 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.431 * * * * [misc]points: Computing exacts on every 6 of 200 points to ramp up precision 1544006210.432 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.435 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.438 * * * * [misc]points: Computing exacts on every 3 of 200 points to ramp up precision 1544006210.439 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.445 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.453 * * * * [misc]points: Computing exacts for 200 points 1544006210.454 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.486 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.525 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.525 * * * * [misc]points: Sampling 149 additional inputs, on iter 14 have 7851 / 8000 1544006210.526 * * * * [misc]points: Computing exacts on every 9 of 149 points to ramp up precision 1544006210.528 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.530 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.533 * * * * [misc]points: Computing exacts on every 4 of 149 points to ramp up precision 1544006210.534 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.538 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.542 * * * * [misc]points: Computing exacts on every 2 of 149 points to ramp up precision 1544006210.544 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.551 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.559 * * * * [misc]points: Computing exacts for 149 points 1544006210.561 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.579 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.591 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.591 * * * * [misc]points: Sampling 119 additional inputs, on iter 15 have 7881 / 8000 1544006210.592 * * * * [misc]points: Computing exacts on every 7 of 119 points to ramp up precision 1544006210.593 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.594 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.595 * * * * [misc]points: Computing exacts on every 3 of 119 points to ramp up precision 1544006210.596 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.620 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.622 * * * * [misc]points: Computing exacts for 119 points 1544006210.623 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.638 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.653 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.653 * * * * [misc]points: Sampling 95 additional inputs, on iter 16 have 7905 / 8000 1544006210.654 * * * * [misc]points: Computing exacts on every 5 of 95 points to ramp up precision 1544006210.655 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.657 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.659 * * * * [misc]points: Computing exacts on every 2 of 95 points to ramp up precision 1544006210.661 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.664 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.668 * * * * [misc]points: Computing exacts for 95 points 1544006210.669 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.684 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.700 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.700 * * * * [misc]points: Sampling 72 additional inputs, on iter 17 have 7928 / 8000 1544006210.701 * * * * [misc]points: Computing exacts on every 4 of 72 points to ramp up precision 1544006210.702 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.704 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.706 * * * * [misc]points: Computing exacts on every 2 of 72 points to ramp up precision 1544006210.708 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.712 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.716 * * * * [misc]points: Computing exacts for 72 points 1544006210.717 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.726 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.732 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.732 * * * * [misc]points: Sampling 49 additional inputs, on iter 18 have 7951 / 8000 1544006210.733 * * * * [misc]points: Computing exacts on every 3 of 49 points to ramp up precision 1544006210.733 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.735 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.736 * * * * [misc]points: Computing exacts for 49 points 1544006210.736 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.740 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.744 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.744 * * * * [misc]points: Sampling 36 additional inputs, on iter 19 have 7964 / 8000 1544006210.744 * * * * [misc]points: Computing exacts on every 2 of 36 points to ramp up precision 1544006210.745 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.746 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.747 * * * * [misc]points: Computing exacts for 36 points 1544006210.748 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.752 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.756 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.756 * * * * [misc]points: Sampling 28 additional inputs, on iter 20 have 7972 / 8000 1544006210.757 * * * * [misc]points: Computing exacts for 28 points 1544006210.757 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.760 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.762 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.762 * * * * [misc]points: Sampling 19 additional inputs, on iter 21 have 7981 / 8000 1544006210.762 * * * * [misc]points: Computing exacts for 19 points 1544006210.763 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.766 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.768 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.768 * * * * [misc]points: Sampling 11 additional inputs, on iter 22 have 7989 / 8000 1544006210.768 * * * * [misc]points: Computing exacts for 11 points 1544006210.769 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.770 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.771 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.772 * * * * [misc]points: Sampling 8 additional inputs, on iter 23 have 7992 / 8000 1544006210.772 * * * * [misc]points: Computing exacts for 8 points 1544006210.773 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.774 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.774 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.774 * * * * [misc]points: Sampling 6 additional inputs, on iter 24 have 7994 / 8000 1544006210.775 * * * * [misc]points: Computing exacts for 6 points 1544006210.776 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.776 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.777 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.777 * * * * [misc]points: Sampling 4 additional inputs, on iter 25 have 7996 / 8000 1544006210.777 * * * * [misc]points: Computing exacts for 4 points 1544006210.779 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.779 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.779 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.779 * * * * [misc]points: Sampling 4 additional inputs, on iter 26 have 7996 / 8000 1544006210.779 * * * * [misc]points: Computing exacts for 4 points 1544006210.780 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.781 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.782 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.782 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7997 / 8000 1544006210.782 * * * * [misc]points: Computing exacts for 4 points 1544006210.783 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.784 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.785 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.785 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7998 / 8000 1544006210.785 * * * * [misc]points: Computing exacts for 4 points 1544006210.786 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.786 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.787 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.787 * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7999 / 8000 1544006210.787 * * * * [misc]points: Computing exacts for 4 points 1544006210.788 * * * * [misc]points: Setting MPFR precision to 2112 1544006210.789 * * * * [misc]points: Setting MPFR precision to 2368 1544006210.790 * * * * [misc]points: Filtering points with unrepresentable outputs 1544006210.791 * * * * [exit]points: Sampled 8000 points with exact outputs 1544006211.073 * [misc]regime-testing: Baseline error score: 30.542180610454846 1544006211.074 * [misc]regime-testing: End program error score: 30.542180610454846 1544006211.076 * [misc]regime-testing: Oracle error score: 30.542180610454846