1538423286.695 * [misc]progress: [Phase 1 of 3] Setting up. 1538423286.695 * * * [misc]progress: [1/2] Preparing points 1538423286.695 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538423286.697 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1538423286.698 * * * * [misc]points: Setting MPFR precision to 64 1538423286.699 * * * * [misc]points: Setting MPFR precision to 320 1538423286.700 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1538423286.701 * * * * [misc]points: Setting MPFR precision to 64 1538423286.702 * * * * [misc]points: Setting MPFR precision to 320 1538423286.703 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1538423286.704 * * * * [misc]points: Setting MPFR precision to 64 1538423286.705 * * * * [misc]points: Setting MPFR precision to 320 1538423286.706 * * * * [misc]points: Setting MPFR precision to 576 1538423286.708 * * * * [misc]points: Setting MPFR precision to 832 1538423286.710 * * * * [misc]points: Setting MPFR precision to 1088 1538423286.712 * * * * [misc]points: Setting MPFR precision to 1344 1538423286.715 * * * * [misc]points: Setting MPFR precision to 1600 1538423286.719 * * * * [misc]points: Setting MPFR precision to 1856 1538423286.723 * * * * [misc]points: Setting MPFR precision to 2112 1538423286.728 * * * * [misc]points: Setting MPFR precision to 2368 1538423286.736 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1538423286.738 * * * * [misc]points: Setting MPFR precision to 2112 1538423286.750 * * * * [misc]points: Setting MPFR precision to 2368 1538423286.766 * * * * [misc]points: Computing exacts for 256 points 1538423286.767 * * * * [misc]points: Setting MPFR precision to 2112 1538423286.797 * * * * [misc]points: Setting MPFR precision to 2368 1538423286.821 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423286.821 * * * * [misc]points: Sampling 196 additional inputs, on iter 1 have 60 / 256 1538423286.823 * * * * [misc]points: Computing exacts on every 12 of 196 points to ramp up precision 1538423286.824 * * * * [misc]points: Setting MPFR precision to 2112 1538423286.828 * * * * [misc]points: Setting MPFR precision to 2368 1538423286.830 * * * * [misc]points: Computing exacts on every 6 of 196 points to ramp up precision 1538423286.832 * * * * [misc]points: Setting MPFR precision to 2112 1538423286.835 * * * * [misc]points: Setting MPFR precision to 2368 1538423286.839 * * * * [misc]points: Computing exacts on every 3 of 196 points to ramp up precision 1538423286.840 * * * * [misc]points: Setting MPFR precision to 2112 1538423286.847 * * * * [misc]points: Setting MPFR precision to 2368 1538423286.852 * * * * [misc]points: Computing exacts for 196 points 1538423286.853 * * * * [misc]points: Setting MPFR precision to 2112 1538423286.871 * * * * [misc]points: Setting MPFR precision to 2368 1538423286.892 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423286.892 * * * * [misc]points: Sampling 140 additional inputs, on iter 2 have 116 / 256 1538423286.892 * * * * [misc]points: Computing exacts on every 8 of 140 points to ramp up precision 1538423286.893 * * * * [misc]points: Setting MPFR precision to 2112 1538423286.894 * * * * [misc]points: Setting MPFR precision to 2368 1538423286.896 * * * * [misc]points: Computing exacts on every 4 of 140 points to ramp up precision 1538423286.896 * * * * [misc]points: Setting MPFR precision to 2112 1538423286.899 * * * * [misc]points: Setting MPFR precision to 2368 1538423286.902 * * * * [misc]points: Computing exacts on every 2 of 140 points to ramp up precision 1538423286.903 * * * * [misc]points: Setting MPFR precision to 2112 1538423286.908 * * * * [misc]points: Setting MPFR precision to 2368 1538423286.913 * * * * [misc]points: Computing exacts for 140 points 1538423286.914 * * * * [misc]points: Setting MPFR precision to 2112 1538423286.946 * * * * [misc]points: Setting MPFR precision to 2368 1538423286.960 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423286.960 * * * * [misc]points: Sampling 114 additional inputs, on iter 3 have 142 / 256 1538423286.961 * * * * [misc]points: Computing exacts on every 7 of 114 points to ramp up precision 1538423286.962 * * * * [misc]points: Setting MPFR precision to 2112 1538423286.963 * * * * [misc]points: Setting MPFR precision to 2368 1538423286.964 * * * * [misc]points: Computing exacts on every 3 of 114 points to ramp up precision 1538423286.965 * * * * [misc]points: Setting MPFR precision to 2112 1538423286.969 * * * * [misc]points: Setting MPFR precision to 2368 1538423286.972 * * * * [misc]points: Computing exacts for 114 points 1538423286.973 * * * * [misc]points: Setting MPFR precision to 2112 1538423286.990 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.005 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.005 * * * * [misc]points: Sampling 89 additional inputs, on iter 4 have 167 / 256 1538423287.006 * * * * [misc]points: Computing exacts on every 5 of 89 points to ramp up precision 1538423287.006 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.008 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.010 * * * * [misc]points: Computing exacts on every 2 of 89 points to ramp up precision 1538423287.011 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.013 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.016 * * * * [misc]points: Computing exacts for 89 points 1538423287.016 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.024 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.033 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.033 * * * * [misc]points: Sampling 72 additional inputs, on iter 5 have 184 / 256 1538423287.033 * * * * [misc]points: Computing exacts on every 4 of 72 points to ramp up precision 1538423287.034 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.036 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.038 * * * * [misc]points: Computing exacts on every 2 of 72 points to ramp up precision 1538423287.039 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.042 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.045 * * * * [misc]points: Computing exacts for 72 points 1538423287.047 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.058 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.068 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.068 * * * * [misc]points: Sampling 56 additional inputs, on iter 6 have 200 / 256 1538423287.068 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1538423287.069 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.070 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.072 * * * * [misc]points: Computing exacts for 56 points 1538423287.072 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.077 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.084 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.084 * * * * [misc]points: Sampling 38 additional inputs, on iter 7 have 218 / 256 1538423287.084 * * * * [misc]points: Computing exacts on every 2 of 38 points to ramp up precision 1538423287.085 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.086 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.087 * * * * [misc]points: Computing exacts for 38 points 1538423287.088 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.095 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.101 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.102 * * * * [misc]points: Sampling 28 additional inputs, on iter 8 have 228 / 256 1538423287.102 * * * * [misc]points: Computing exacts for 28 points 1538423287.103 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.109 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.115 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.115 * * * * [misc]points: Sampling 20 additional inputs, on iter 9 have 236 / 256 1538423287.115 * * * * [misc]points: Computing exacts for 20 points 1538423287.117 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.120 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.123 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.124 * * * * [misc]points: Sampling 17 additional inputs, on iter 10 have 239 / 256 1538423287.124 * * * * [misc]points: Computing exacts for 17 points 1538423287.125 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.128 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.132 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.132 * * * * [misc]points: Sampling 11 additional inputs, on iter 11 have 245 / 256 1538423287.132 * * * * [misc]points: Computing exacts for 11 points 1538423287.133 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.135 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.137 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.137 * * * * [misc]points: Sampling 7 additional inputs, on iter 12 have 249 / 256 1538423287.137 * * * * [misc]points: Computing exacts for 7 points 1538423287.139 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.140 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.141 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.141 * * * * [misc]points: Sampling 6 additional inputs, on iter 13 have 250 / 256 1538423287.141 * * * * [misc]points: Computing exacts for 6 points 1538423287.143 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.145 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.145 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.145 * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 1538423287.145 * * * * [misc]points: Computing exacts for 5 points 1538423287.147 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.147 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.148 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.148 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 251 / 256 1538423287.148 * * * * [misc]points: Computing exacts for 5 points 1538423287.149 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.151 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.152 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.152 * * * * [misc]points: Sampling 5 additional inputs, on iter 16 have 251 / 256 1538423287.152 * * * * [misc]points: Computing exacts for 5 points 1538423287.153 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.155 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.156 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.156 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 254 / 256 1538423287.156 * * * * [misc]points: Computing exacts for 4 points 1538423287.157 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.158 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.159 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.159 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 254 / 256 1538423287.159 * * * * [misc]points: Computing exacts for 4 points 1538423287.160 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.160 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.160 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.160 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 254 / 256 1538423287.160 * * * * [misc]points: Computing exacts for 4 points 1538423287.161 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.161 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.161 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.161 * * * * [misc]points: Sampling 4 additional inputs, on iter 20 have 254 / 256 1538423287.161 * * * * [misc]points: Computing exacts for 4 points 1538423287.162 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.163 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.163 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.163 * * * * [misc]points: Sampling 4 additional inputs, on iter 21 have 254 / 256 1538423287.163 * * * * [misc]points: Computing exacts for 4 points 1538423287.164 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.164 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.165 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.165 * * * * [misc]points: Sampling 4 additional inputs, on iter 22 have 254 / 256 1538423287.165 * * * * [misc]points: Computing exacts for 4 points 1538423287.166 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.166 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.166 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.167 * * * * [misc]points: Sampling 4 additional inputs, on iter 23 have 255 / 256 1538423287.167 * * * * [misc]points: Computing exacts for 4 points 1538423287.167 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.168 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.169 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423287.169 * * * * [exit]points: Sampled 257 points with exact outputs 1538423287.169 * * * [misc]progress: [2/2] Setting up program. 1538423287.172 * [misc]progress: [Phase 2 of 3] Improving. 1538423287.172 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1538423287.172 * * [misc]simplify: iters left: 4 (6 enodes) 1538423287.173 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1538423287.179 * * [misc]progress: iteration 1 / 4 1538423287.179 * * * [misc]progress: picking best candidate 1538423287.202 * * * * [misc]pick: Picked # 1538423287.202 * * * [misc]progress: localizing error 1538423287.300 * * * [misc]progress: generating rewritten candidates 1538423287.300 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1538423287.300 * * * [misc]progress: generating series expansions 1538423287.300 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1538423287.300 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538423287.300 * [misc]approximate: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 1538423287.300 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1538423287.301 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538423287.301 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1538423287.301 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538423287.301 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538423287.301 * [misc]backup-simplify: Simplify 0 into 0 1538423287.301 * [misc]backup-simplify: Simplify 0 into 0 1538423287.301 * [misc]backup-simplify: Simplify 0 into 0 1538423287.301 * [misc]backup-simplify: Simplify 0 into 0 1538423287.301 * [misc]backup-simplify: Simplify 0 into 0 1538423287.301 * [misc]backup-simplify: Simplify 0 into 0 1538423287.301 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1538423287.301 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538423287.302 * [misc]approximate: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 1538423287.302 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1538423287.302 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538423287.302 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1538423287.302 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538423287.302 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1538423287.302 * [misc]backup-simplify: Simplify 0 into 0 1538423287.302 * [misc]backup-simplify: Simplify 0 into 0 1538423287.302 * [misc]backup-simplify: Simplify 0 into 0 1538423287.302 * [misc]backup-simplify: Simplify 0 into 0 1538423287.302 * [misc]backup-simplify: Simplify 0 into 0 1538423287.302 * [misc]backup-simplify: Simplify 0 into 0 1538423287.302 * [misc]backup-simplify: Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a)) 1538423287.302 * [misc]backup-simplify: Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538423287.303 * [misc]approximate: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 1538423287.303 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1538423287.303 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538423287.303 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1538423287.303 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538423287.303 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1538423287.303 * [misc]backup-simplify: Simplify 0 into 0 1538423287.303 * [misc]backup-simplify: Simplify 0 into 0 1538423287.303 * [misc]backup-simplify: Simplify 0 into 0 1538423287.303 * [misc]backup-simplify: Simplify 0 into 0 1538423287.303 * [misc]backup-simplify: Simplify 0 into 0 1538423287.303 * [misc]backup-simplify: Simplify 0 into 0 1538423287.303 * [misc]backup-simplify: Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a)) 1538423287.303 * * * [misc]progress: simplifying candidates 1538423287.303 * * * * [misc]progress: [ 1 / 12 ] simplifiying candidate # 1538423287.303 * * * * [misc]progress: [ 2 / 12 ] simplifiying candidate # 1538423287.304 * * * * [misc]progress: [ 3 / 12 ] simplifiying candidate # 1538423287.304 * * * * [misc]progress: [ 4 / 12 ] simplifiying candidate # 1538423287.304 * * * * [misc]progress: [ 5 / 12 ] simplifiying candidate # 1538423287.304 * * * * [misc]progress: [ 6 / 12 ] simplifiying candidate # 1538423287.304 * * * * [misc]progress: [ 7 / 12 ] simplifiying candidate # 1538423287.304 * * * * [misc]progress: [ 8 / 12 ] simplifiying candidate # 1538423287.304 * * * * [misc]progress: [ 9 / 12 ] simplifiying candidate # 1538423287.304 * * * * [misc]progress: [ 10 / 12 ] simplifiying candidate # 1538423287.304 * [enter]simplify: Simplifying (fmod a (asin a)) 1538423287.304 * * [misc]simplify: iters left: 2 (3 enodes) 1538423287.305 * [exit]simplify: Simplified to (fmod a (asin a)) 1538423287.305 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538423287.305 * * * * [misc]progress: [ 11 / 12 ] simplifiying candidate # 1538423287.305 * [enter]simplify: Simplifying (fmod a (asin a)) 1538423287.305 * * [misc]simplify: iters left: 2 (3 enodes) 1538423287.306 * [exit]simplify: Simplified to (fmod a (asin a)) 1538423287.306 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538423287.306 * * * * [misc]progress: [ 12 / 12 ] simplifiying candidate # 1538423287.307 * [enter]simplify: Simplifying (fmod a (asin a)) 1538423287.307 * * [misc]simplify: iters left: 2 (3 enodes) 1538423287.307 * [exit]simplify: Simplified to (fmod a (asin a)) 1538423287.307 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1538423287.307 * * * [misc]progress: adding candidates to table 1538423287.753 * [misc]progress: [Phase 3 of 3] Extracting. 1538423287.756 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1538423287.757 * * [misc]simplify: iters left: 4 (6 enodes) 1538423287.757 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1538423287.757 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538423287.795 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1538423287.797 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.800 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.805 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1538423287.807 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.810 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.814 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1538423287.815 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.825 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.830 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1538423287.831 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.842 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.854 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1538423287.856 * * * * [misc]points: Setting MPFR precision to 2112 1538423287.894 * * * * [misc]points: Setting MPFR precision to 2368 1538423287.939 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1538423287.940 * * * * [misc]points: Setting MPFR precision to 2112 1538423288.009 * * * * [misc]points: Setting MPFR precision to 2368 1538423288.069 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1538423288.069 * * * * [misc]points: Setting MPFR precision to 2112 1538423288.178 * * * * [misc]points: Setting MPFR precision to 2368 1538423288.286 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1538423288.287 * * * * [misc]points: Setting MPFR precision to 2112 1538423288.577 * * * * [misc]points: Setting MPFR precision to 2368 1538423288.858 * * * * [misc]points: Computing exacts for 8000 points 1538423288.859 * * * * [misc]points: Setting MPFR precision to 2112 1538423289.842 * * * * [misc]points: Setting MPFR precision to 2368 1538423291.141 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423291.143 * * * * [misc]points: Sampling 6017 additional inputs, on iter 1 have 1983 / 8000 1538423291.171 * * * * [misc]points: Computing exacts on every 376 of 6017 points to ramp up precision 1538423291.172 * * * * [misc]points: Setting MPFR precision to 2112 1538423291.175 * * * * [misc]points: Setting MPFR precision to 2368 1538423291.177 * * * * [misc]points: Computing exacts on every 188 of 6017 points to ramp up precision 1538423291.178 * * * * [misc]points: Setting MPFR precision to 2112 1538423291.181 * * * * [misc]points: Setting MPFR precision to 2368 1538423291.183 * * * * [misc]points: Computing exacts on every 94 of 6017 points to ramp up precision 1538423291.184 * * * * [misc]points: Setting MPFR precision to 2112 1538423291.191 * * * * [misc]points: Setting MPFR precision to 2368 1538423291.198 * * * * [misc]points: Computing exacts on every 47 of 6017 points to ramp up precision 1538423291.199 * * * * [misc]points: Setting MPFR precision to 2112 1538423291.217 * * * * [misc]points: Setting MPFR precision to 2368 1538423291.236 * * * * [misc]points: Computing exacts on every 23 of 6017 points to ramp up precision 1538423291.238 * * * * [misc]points: Setting MPFR precision to 2112 1538423291.273 * * * * [misc]points: Setting MPFR precision to 2368 1538423291.305 * * * * [misc]points: Computing exacts on every 11 of 6017 points to ramp up precision 1538423291.306 * * * * [misc]points: Setting MPFR precision to 2112 1538423291.393 * * * * [misc]points: Setting MPFR precision to 2368 1538423291.470 * * * * [misc]points: Computing exacts on every 5 of 6017 points to ramp up precision 1538423291.471 * * * * [misc]points: Setting MPFR precision to 2112 1538423291.605 * * * * [misc]points: Setting MPFR precision to 2368 1538423291.803 * * * * [misc]points: Computing exacts on every 2 of 6017 points to ramp up precision 1538423291.804 * * * * [misc]points: Setting MPFR precision to 2112 1538423292.028 * * * * [misc]points: Setting MPFR precision to 2368 1538423292.367 * * * * [misc]points: Computing exacts for 6017 points 1538423292.368 * * * * [misc]points: Setting MPFR precision to 2112 1538423293.208 * * * * [misc]points: Setting MPFR precision to 2368 1538423294.337 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423294.338 * * * * [misc]points: Sampling 4527 additional inputs, on iter 2 have 3473 / 8000 1538423294.348 * * * * [misc]points: Computing exacts on every 282 of 4527 points to ramp up precision 1538423294.349 * * * * [misc]points: Setting MPFR precision to 2112 1538423294.374 * * * * [misc]points: Setting MPFR precision to 2368 1538423294.376 * * * * [misc]points: Computing exacts on every 141 of 4527 points to ramp up precision 1538423294.377 * * * * [misc]points: Setting MPFR precision to 2112 1538423294.385 * * * * [misc]points: Setting MPFR precision to 2368 1538423294.392 * * * * [misc]points: Computing exacts on every 70 of 4527 points to ramp up precision 1538423294.393 * * * * [misc]points: Setting MPFR precision to 2112 1538423294.402 * * * * [misc]points: Setting MPFR precision to 2368 1538423294.409 * * * * [misc]points: Computing exacts on every 35 of 4527 points to ramp up precision 1538423294.410 * * * * [misc]points: Setting MPFR precision to 2112 1538423294.420 * * * * [misc]points: Setting MPFR precision to 2368 1538423294.433 * * * * [misc]points: Computing exacts on every 17 of 4527 points to ramp up precision 1538423294.435 * * * * [misc]points: Setting MPFR precision to 2112 1538423294.472 * * * * [misc]points: Setting MPFR precision to 2368 1538423294.511 * * * * [misc]points: Computing exacts on every 8 of 4527 points to ramp up precision 1538423294.512 * * * * [misc]points: Setting MPFR precision to 2112 1538423294.587 * * * * [misc]points: Setting MPFR precision to 2368 1538423294.657 * * * * [misc]points: Computing exacts on every 4 of 4527 points to ramp up precision 1538423294.658 * * * * [misc]points: Setting MPFR precision to 2112 1538423294.797 * * * * [misc]points: Setting MPFR precision to 2368 1538423294.925 * * * * [misc]points: Computing exacts on every 2 of 4527 points to ramp up precision 1538423294.927 * * * * [misc]points: Setting MPFR precision to 2112 1538423295.142 * * * * [misc]points: Setting MPFR precision to 2368 1538423295.306 * * * * [misc]points: Computing exacts for 4527 points 1538423295.307 * * * * [misc]points: Setting MPFR precision to 2112 1538423295.967 * * * * [misc]points: Setting MPFR precision to 2368 1538423296.664 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423296.666 * * * * [misc]points: Sampling 3376 additional inputs, on iter 3 have 4624 / 8000 1538423296.681 * * * * [misc]points: Computing exacts on every 211 of 3376 points to ramp up precision 1538423296.683 * * * * [misc]points: Setting MPFR precision to 2112 1538423296.685 * * * * [misc]points: Setting MPFR precision to 2368 1538423296.687 * * * * [misc]points: Computing exacts on every 105 of 3376 points to ramp up precision 1538423296.689 * * * * [misc]points: Setting MPFR precision to 2112 1538423296.693 * * * * [misc]points: Setting MPFR precision to 2368 1538423296.697 * * * * [misc]points: Computing exacts on every 52 of 3376 points to ramp up precision 1538423296.699 * * * * [misc]points: Setting MPFR precision to 2112 1538423296.706 * * * * [misc]points: Setting MPFR precision to 2368 1538423296.711 * * * * [misc]points: Computing exacts on every 26 of 3376 points to ramp up precision 1538423296.712 * * * * [misc]points: Setting MPFR precision to 2112 1538423296.724 * * * * [misc]points: Setting MPFR precision to 2368 1538423296.741 * * * * [misc]points: Computing exacts on every 13 of 3376 points to ramp up precision 1538423296.743 * * * * [misc]points: Setting MPFR precision to 2112 1538423297.125 * * * * [misc]points: Setting MPFR precision to 2368 1538423297.158 * * * * [misc]points: Computing exacts on every 6 of 3376 points to ramp up precision 1538423297.159 * * * * [misc]points: Setting MPFR precision to 2112 1538423297.209 * * * * [misc]points: Setting MPFR precision to 2368 1538423297.275 * * * * [misc]points: Computing exacts on every 3 of 3376 points to ramp up precision 1538423297.276 * * * * [misc]points: Setting MPFR precision to 2112 1538423297.398 * * * * [misc]points: Setting MPFR precision to 2368 1538423297.568 * * * * [misc]points: Computing exacts for 3376 points 1538423297.570 * * * * [misc]points: Setting MPFR precision to 2112 1538423298.077 * * * * [misc]points: Setting MPFR precision to 2368 1538423298.610 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423298.612 * * * * [misc]points: Sampling 2491 additional inputs, on iter 4 have 5509 / 8000 1538423298.623 * * * * [misc]points: Computing exacts on every 155 of 2491 points to ramp up precision 1538423298.625 * * * * [misc]points: Setting MPFR precision to 2112 1538423298.667 * * * * [misc]points: Setting MPFR precision to 2368 1538423298.669 * * * * [misc]points: Computing exacts on every 77 of 2491 points to ramp up precision 1538423298.671 * * * * [misc]points: Setting MPFR precision to 2112 1538423298.673 * * * * [misc]points: Setting MPFR precision to 2368 1538423298.677 * * * * [misc]points: Computing exacts on every 38 of 2491 points to ramp up precision 1538423298.678 * * * * [misc]points: Setting MPFR precision to 2112 1538423298.684 * * * * [misc]points: Setting MPFR precision to 2368 1538423298.690 * * * * [misc]points: Computing exacts on every 19 of 2491 points to ramp up precision 1538423298.690 * * * * [misc]points: Setting MPFR precision to 2112 1538423298.702 * * * * [misc]points: Setting MPFR precision to 2368 1538423298.722 * * * * [misc]points: Computing exacts on every 9 of 2491 points to ramp up precision 1538423298.723 * * * * [misc]points: Setting MPFR precision to 2112 1538423298.762 * * * * [misc]points: Setting MPFR precision to 2368 1538423298.801 * * * * [misc]points: Computing exacts on every 4 of 2491 points to ramp up precision 1538423298.802 * * * * [misc]points: Setting MPFR precision to 2112 1538423298.869 * * * * [misc]points: Setting MPFR precision to 2368 1538423298.946 * * * * [misc]points: Computing exacts on every 2 of 2491 points to ramp up precision 1538423298.947 * * * * [misc]points: Setting MPFR precision to 2112 1538423299.050 * * * * [misc]points: Setting MPFR precision to 2368 1538423299.128 * * * * [misc]points: Computing exacts for 2491 points 1538423299.129 * * * * [misc]points: Setting MPFR precision to 2112 1538423299.512 * * * * [misc]points: Setting MPFR precision to 2368 1538423299.892 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423299.892 * * * * [misc]points: Sampling 1851 additional inputs, on iter 5 have 6149 / 8000 1538423299.897 * * * * [misc]points: Computing exacts on every 115 of 1851 points to ramp up precision 1538423299.898 * * * * [misc]points: Setting MPFR precision to 2112 1538423299.899 * * * * [misc]points: Setting MPFR precision to 2368 1538423299.900 * * * * [misc]points: Computing exacts on every 57 of 1851 points to ramp up precision 1538423299.900 * * * * [misc]points: Setting MPFR precision to 2112 1538423299.903 * * * * [misc]points: Setting MPFR precision to 2368 1538423299.906 * * * * [misc]points: Computing exacts on every 28 of 1851 points to ramp up precision 1538423299.906 * * * * [misc]points: Setting MPFR precision to 2112 1538423299.912 * * * * [misc]points: Setting MPFR precision to 2368 1538423299.918 * * * * [misc]points: Computing exacts on every 14 of 1851 points to ramp up precision 1538423299.919 * * * * [misc]points: Setting MPFR precision to 2112 1538423299.929 * * * * [misc]points: Setting MPFR precision to 2368 1538423299.940 * * * * [misc]points: Computing exacts on every 7 of 1851 points to ramp up precision 1538423299.941 * * * * [misc]points: Setting MPFR precision to 2112 1538423299.968 * * * * [misc]points: Setting MPFR precision to 2368 1538423300.012 * * * * [misc]points: Computing exacts on every 3 of 1851 points to ramp up precision 1538423300.013 * * * * [misc]points: Setting MPFR precision to 2112 1538423300.472 * * * * [misc]points: Setting MPFR precision to 2368 1538423300.535 * * * * [misc]points: Computing exacts for 1851 points 1538423300.537 * * * * [misc]points: Setting MPFR precision to 2112 1538423300.805 * * * * [misc]points: Setting MPFR precision to 2368 1538423301.059 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423301.059 * * * * [misc]points: Sampling 1411 additional inputs, on iter 6 have 6589 / 8000 1538423301.062 * * * * [misc]points: Computing exacts on every 88 of 1411 points to ramp up precision 1538423301.063 * * * * [misc]points: Setting MPFR precision to 2112 1538423301.065 * * * * [misc]points: Setting MPFR precision to 2368 1538423301.067 * * * * [misc]points: Computing exacts on every 44 of 1411 points to ramp up precision 1538423301.068 * * * * [misc]points: Setting MPFR precision to 2112 1538423301.071 * * * * [misc]points: Setting MPFR precision to 2368 1538423301.075 * * * * [misc]points: Computing exacts on every 22 of 1411 points to ramp up precision 1538423301.076 * * * * [misc]points: Setting MPFR precision to 2112 1538423301.081 * * * * [misc]points: Setting MPFR precision to 2368 1538423301.111 * * * * [misc]points: Computing exacts on every 11 of 1411 points to ramp up precision 1538423301.113 * * * * [misc]points: Setting MPFR precision to 2112 1538423301.135 * * * * [misc]points: Setting MPFR precision to 2368 1538423301.147 * * * * [misc]points: Computing exacts on every 5 of 1411 points to ramp up precision 1538423301.148 * * * * [misc]points: Setting MPFR precision to 2112 1538423301.169 * * * * [misc]points: Setting MPFR precision to 2368 1538423301.196 * * * * [misc]points: Computing exacts on every 2 of 1411 points to ramp up precision 1538423301.197 * * * * [misc]points: Setting MPFR precision to 2112 1538423301.253 * * * * [misc]points: Setting MPFR precision to 2368 1538423301.320 * * * * [misc]points: Computing exacts for 1411 points 1538423301.321 * * * * [misc]points: Setting MPFR precision to 2112 1538423301.561 * * * * [misc]points: Setting MPFR precision to 2368 1538423301.749 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423301.750 * * * * [misc]points: Sampling 1031 additional inputs, on iter 7 have 6969 / 8000 1538423301.754 * * * * [misc]points: Computing exacts on every 64 of 1031 points to ramp up precision 1538423301.756 * * * * [misc]points: Setting MPFR precision to 2112 1538423301.757 * * * * [misc]points: Setting MPFR precision to 2368 1538423301.757 * * * * [misc]points: Computing exacts on every 32 of 1031 points to ramp up precision 1538423301.758 * * * * [misc]points: Setting MPFR precision to 2112 1538423301.761 * * * * [misc]points: Setting MPFR precision to 2368 1538423301.764 * * * * [misc]points: Computing exacts on every 16 of 1031 points to ramp up precision 1538423301.764 * * * * [misc]points: Setting MPFR precision to 2112 1538423301.771 * * * * [misc]points: Setting MPFR precision to 2368 1538423301.777 * * * * [misc]points: Computing exacts on every 8 of 1031 points to ramp up precision 1538423301.778 * * * * [misc]points: Setting MPFR precision to 2112 1538423301.787 * * * * [misc]points: Setting MPFR precision to 2368 1538423301.821 * * * * [misc]points: Computing exacts on every 4 of 1031 points to ramp up precision 1538423301.822 * * * * [misc]points: Setting MPFR precision to 2112 1538423301.841 * * * * [misc]points: Setting MPFR precision to 2368 1538423301.862 * * * * [misc]points: Computing exacts on every 2 of 1031 points to ramp up precision 1538423301.863 * * * * [misc]points: Setting MPFR precision to 2112 1538423301.890 * * * * [misc]points: Setting MPFR precision to 2368 1538423301.921 * * * * [misc]points: Computing exacts for 1031 points 1538423301.922 * * * * [misc]points: Setting MPFR precision to 2112 1538423302.030 * * * * [misc]points: Setting MPFR precision to 2368 1538423302.168 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423302.169 * * * * [misc]points: Sampling 789 additional inputs, on iter 8 have 7211 / 8000 1538423302.173 * * * * [misc]points: Computing exacts on every 49 of 789 points to ramp up precision 1538423302.174 * * * * [misc]points: Setting MPFR precision to 2112 1538423302.177 * * * * [misc]points: Setting MPFR precision to 2368 1538423302.179 * * * * [misc]points: Computing exacts on every 24 of 789 points to ramp up precision 1538423302.181 * * * * [misc]points: Setting MPFR precision to 2112 1538423302.187 * * * * [misc]points: Setting MPFR precision to 2368 1538423302.193 * * * * [misc]points: Computing exacts on every 12 of 789 points to ramp up precision 1538423302.195 * * * * [misc]points: Setting MPFR precision to 2112 1538423302.203 * * * * [misc]points: Setting MPFR precision to 2368 1538423302.214 * * * * [misc]points: Computing exacts on every 6 of 789 points to ramp up precision 1538423302.215 * * * * [misc]points: Setting MPFR precision to 2112 1538423302.225 * * * * [misc]points: Setting MPFR precision to 2368 1538423302.237 * * * * [misc]points: Computing exacts on every 3 of 789 points to ramp up precision 1538423302.238 * * * * [misc]points: Setting MPFR precision to 2112 1538423302.257 * * * * [misc]points: Setting MPFR precision to 2368 1538423302.290 * * * * [misc]points: Computing exacts for 789 points 1538423302.291 * * * * [misc]points: Setting MPFR precision to 2112 1538423302.452 * * * * [misc]points: Setting MPFR precision to 2368 1538423302.579 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423302.579 * * * * [misc]points: Sampling 599 additional inputs, on iter 9 have 7401 / 8000 1538423302.582 * * * * [misc]points: Computing exacts on every 37 of 599 points to ramp up precision 1538423302.583 * * * * [misc]points: Setting MPFR precision to 2112 1538423302.586 * * * * [misc]points: Setting MPFR precision to 2368 1538423302.588 * * * * [misc]points: Computing exacts on every 18 of 599 points to ramp up precision 1538423302.589 * * * * [misc]points: Setting MPFR precision to 2112 1538423302.592 * * * * [misc]points: Setting MPFR precision to 2368 1538423302.595 * * * * [misc]points: Computing exacts on every 9 of 599 points to ramp up precision 1538423302.596 * * * * [misc]points: Setting MPFR precision to 2112 1538423302.600 * * * * [misc]points: Setting MPFR precision to 2368 1538423302.605 * * * * [misc]points: Computing exacts on every 4 of 599 points to ramp up precision 1538423302.606 * * * * [misc]points: Setting MPFR precision to 2112 1538423302.617 * * * * [misc]points: Setting MPFR precision to 2368 1538423302.635 * * * * [misc]points: Computing exacts on every 2 of 599 points to ramp up precision 1538423302.637 * * * * [misc]points: Setting MPFR precision to 2112 1538423302.667 * * * * [misc]points: Setting MPFR precision to 2368 1538423302.699 * * * * [misc]points: Computing exacts for 599 points 1538423302.700 * * * * [misc]points: Setting MPFR precision to 2112 1538423302.764 * * * * [misc]points: Setting MPFR precision to 2368 1538423302.882 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423302.882 * * * * [misc]points: Sampling 460 additional inputs, on iter 10 have 7540 / 8000 1538423302.884 * * * * [misc]points: Computing exacts on every 28 of 460 points to ramp up precision 1538423302.886 * * * * [misc]points: Setting MPFR precision to 2112 1538423302.889 * * * * [misc]points: Setting MPFR precision to 2368 1538423302.891 * * * * [misc]points: Computing exacts on every 14 of 460 points to ramp up precision 1538423302.892 * * * * [misc]points: Setting MPFR precision to 2112 1538423302.896 * * * * [misc]points: Setting MPFR precision to 2368 1538423302.899 * * * * [misc]points: Computing exacts on every 7 of 460 points to ramp up precision 1538423302.900 * * * * [misc]points: Setting MPFR precision to 2112 1538423302.910 * * * * [misc]points: Setting MPFR precision to 2368 1538423302.918 * * * * [misc]points: Computing exacts on every 3 of 460 points to ramp up precision 1538423302.919 * * * * [misc]points: Setting MPFR precision to 2112 1538423302.929 * * * * [misc]points: Setting MPFR precision to 2368 1538423302.940 * * * * [misc]points: Computing exacts for 460 points 1538423302.941 * * * * [misc]points: Setting MPFR precision to 2112 1538423302.998 * * * * [misc]points: Setting MPFR precision to 2368 1538423303.040 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423303.040 * * * * [misc]points: Sampling 356 additional inputs, on iter 11 have 7644 / 8000 1538423303.041 * * * * [misc]points: Computing exacts on every 22 of 356 points to ramp up precision 1538423303.042 * * * * [misc]points: Setting MPFR precision to 2112 1538423303.043 * * * * [misc]points: Setting MPFR precision to 2368 1538423303.044 * * * * [misc]points: Computing exacts on every 11 of 356 points to ramp up precision 1538423303.045 * * * * [misc]points: Setting MPFR precision to 2112 1538423303.048 * * * * [misc]points: Setting MPFR precision to 2368 1538423303.050 * * * * [misc]points: Computing exacts on every 5 of 356 points to ramp up precision 1538423303.051 * * * * [misc]points: Setting MPFR precision to 2112 1538423303.056 * * * * [misc]points: Setting MPFR precision to 2368 1538423303.065 * * * * [misc]points: Computing exacts on every 2 of 356 points to ramp up precision 1538423303.066 * * * * [misc]points: Setting MPFR precision to 2112 1538423303.083 * * * * [misc]points: Setting MPFR precision to 2368 1538423303.139 * * * * [misc]points: Computing exacts for 356 points 1538423303.140 * * * * [misc]points: Setting MPFR precision to 2112 1538423303.201 * * * * [misc]points: Setting MPFR precision to 2368 1538423303.261 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423303.261 * * * * [misc]points: Sampling 265 additional inputs, on iter 12 have 7735 / 8000 1538423303.262 * * * * [misc]points: Computing exacts on every 16 of 265 points to ramp up precision 1538423303.264 * * * * [misc]points: Setting MPFR precision to 2112 1538423303.265 * * * * [misc]points: Setting MPFR precision to 2368 1538423303.266 * * * * [misc]points: Computing exacts on every 8 of 265 points to ramp up precision 1538423303.267 * * * * [misc]points: Setting MPFR precision to 2112 1538423303.272 * * * * [misc]points: Setting MPFR precision to 2368 1538423303.279 * * * * [misc]points: Computing exacts on every 4 of 265 points to ramp up precision 1538423303.280 * * * * [misc]points: Setting MPFR precision to 2112 1538423303.287 * * * * [misc]points: Setting MPFR precision to 2368 1538423303.294 * * * * [misc]points: Computing exacts on every 2 of 265 points to ramp up precision 1538423303.296 * * * * [misc]points: Setting MPFR precision to 2112 1538423303.311 * * * * [misc]points: Setting MPFR precision to 2368 1538423303.330 * * * * [misc]points: Computing exacts for 265 points 1538423303.331 * * * * [misc]points: Setting MPFR precision to 2112 1538423303.374 * * * * [misc]points: Setting MPFR precision to 2368 1538423303.419 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423303.420 * * * * [misc]points: Sampling 195 additional inputs, on iter 13 have 7805 / 8000 1538423303.420 * * * * [misc]points: Computing exacts on every 12 of 195 points to ramp up precision 1538423303.422 * * * * [misc]points: Setting MPFR precision to 2112 1538423303.425 * * * * [misc]points: Setting MPFR precision to 2368 1538423303.428 * * * * [misc]points: Computing exacts on every 6 of 195 points to ramp up precision 1538423303.429 * * * * [misc]points: Setting MPFR precision to 2112 1538423303.433 * * * * [misc]points: Setting MPFR precision to 2368 1538423303.437 * * * * [misc]points: Computing exacts on every 3 of 195 points to ramp up precision 1538423303.438 * * * * [misc]points: Setting MPFR precision to 2112 1538423303.446 * * * * [misc]points: Setting MPFR precision to 2368 1538423303.454 * * * * [misc]points: Computing exacts for 195 points 1538423303.455 * * * * [misc]points: Setting MPFR precision to 2112 1538423303.484 * * * * [misc]points: Setting MPFR precision to 2368 1538423303.515 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423303.515 * * * * [misc]points: Sampling 147 additional inputs, on iter 14 have 7853 / 8000 1538423303.516 * * * * [misc]points: Computing exacts on every 9 of 147 points to ramp up precision 1538423303.517 * * * * [misc]points: Setting MPFR precision to 2112 1538423303.520 * * * * [misc]points: Setting MPFR precision to 2368 1538423303.522 * * * * [misc]points: Computing exacts on every 4 of 147 points to ramp up precision 1538423303.524 * * * * [misc]points: Setting MPFR precision to 2112 1538423303.932 * * * * [misc]points: Setting MPFR precision to 2368 1538423303.938 * * * * [misc]points: Computing exacts on every 2 of 147 points to ramp up precision 1538423303.944 * * * * [misc]points: Setting MPFR precision to 2112 1538423303.955 * * * * [misc]points: Setting MPFR precision to 2368 1538423303.966 * * * * [misc]points: Computing exacts for 147 points 1538423303.968 * * * * [misc]points: Setting MPFR precision to 2112 1538423303.997 * * * * [misc]points: Setting MPFR precision to 2368 1538423304.028 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423304.028 * * * * [misc]points: Sampling 94 additional inputs, on iter 15 have 7906 / 8000 1538423304.029 * * * * [misc]points: Computing exacts on every 5 of 94 points to ramp up precision 1538423304.030 * * * * [misc]points: Setting MPFR precision to 2112 1538423304.032 * * * * [misc]points: Setting MPFR precision to 2368 1538423304.035 * * * * [misc]points: Computing exacts on every 2 of 94 points to ramp up precision 1538423304.036 * * * * [misc]points: Setting MPFR precision to 2112 1538423304.042 * * * * [misc]points: Setting MPFR precision to 2368 1538423304.047 * * * * [misc]points: Computing exacts for 94 points 1538423304.049 * * * * [misc]points: Setting MPFR precision to 2112 1538423304.063 * * * * [misc]points: Setting MPFR precision to 2368 1538423304.080 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423304.081 * * * * [misc]points: Sampling 66 additional inputs, on iter 16 have 7934 / 8000 1538423304.081 * * * * [misc]points: Computing exacts on every 4 of 66 points to ramp up precision 1538423304.082 * * * * [misc]points: Setting MPFR precision to 2112 1538423304.084 * * * * [misc]points: Setting MPFR precision to 2368 1538423304.086 * * * * [misc]points: Computing exacts on every 2 of 66 points to ramp up precision 1538423304.087 * * * * [misc]points: Setting MPFR precision to 2112 1538423304.091 * * * * [misc]points: Setting MPFR precision to 2368 1538423304.095 * * * * [misc]points: Computing exacts for 66 points 1538423304.096 * * * * [misc]points: Setting MPFR precision to 2112 1538423304.108 * * * * [misc]points: Setting MPFR precision to 2368 1538423304.121 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423304.121 * * * * [misc]points: Sampling 53 additional inputs, on iter 17 have 7947 / 8000 1538423304.121 * * * * [misc]points: Computing exacts on every 3 of 53 points to ramp up precision 1538423304.123 * * * * [misc]points: Setting MPFR precision to 2112 1538423304.125 * * * * [misc]points: Setting MPFR precision to 2368 1538423304.126 * * * * [misc]points: Computing exacts for 53 points 1538423304.128 * * * * [misc]points: Setting MPFR precision to 2112 1538423304.135 * * * * [misc]points: Setting MPFR precision to 2368 1538423304.144 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423304.144 * * * * [misc]points: Sampling 46 additional inputs, on iter 18 have 7954 / 8000 1538423304.145 * * * * [misc]points: Computing exacts on every 2 of 46 points to ramp up precision 1538423304.146 * * * * [misc]points: Setting MPFR precision to 2112 1538423304.148 * * * * [misc]points: Setting MPFR precision to 2368 1538423304.150 * * * * [misc]points: Computing exacts for 46 points 1538423304.151 * * * * [misc]points: Setting MPFR precision to 2112 1538423304.158 * * * * [misc]points: Setting MPFR precision to 2368 1538423304.165 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423304.165 * * * * [misc]points: Sampling 37 additional inputs, on iter 19 have 7963 / 8000 1538423304.165 * * * * [misc]points: Computing exacts on every 2 of 37 points to ramp up precision 1538423304.167 * * * * [misc]points: Setting MPFR precision to 2112 1538423304.168 * * * * [misc]points: Setting MPFR precision to 2368 1538423304.170 * * * * [misc]points: Computing exacts for 37 points 1538423304.172 * * * * [misc]points: Setting MPFR precision to 2112 1538423304.177 * * * * [misc]points: Setting MPFR precision to 2368 1538423304.184 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423304.184 * * * * [misc]points: Sampling 28 additional inputs, on iter 20 have 7972 / 8000 1538423304.184 * * * * [misc]points: Computing exacts for 28 points 1538423304.185 * * * * [misc]points: Setting MPFR precision to 2112 1538423304.190 * * * * [misc]points: Setting MPFR precision to 2368 1538423304.197 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423304.197 * * * * [misc]points: Sampling 22 additional inputs, on iter 21 have 7978 / 8000 1538423304.197 * * * * [misc]points: Computing exacts for 22 points 1538423304.199 * * * * [misc]points: Setting MPFR precision to 2112 1538423304.202 * * * * [misc]points: Setting MPFR precision to 2368 1538423304.206 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423304.206 * * * * [misc]points: Sampling 16 additional inputs, on iter 22 have 7984 / 8000 1538423304.206 * * * * [misc]points: Computing exacts for 16 points 1538423304.208 * * * * [misc]points: Setting MPFR precision to 2112 1538423304.212 * * * * [misc]points: Setting MPFR precision to 2368 1538423304.216 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423304.216 * * * * [misc]points: Sampling 11 additional inputs, on iter 23 have 7989 / 8000 1538423304.216 * * * * [misc]points: Computing exacts for 11 points 1538423304.217 * * * * [misc]points: Setting MPFR precision to 2112 1538423304.219 * * * * [misc]points: Setting MPFR precision to 2368 1538423304.222 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423304.222 * * * * [misc]points: Sampling 9 additional inputs, on iter 24 have 7991 / 8000 1538423304.222 * * * * [misc]points: Computing exacts for 9 points 1538423304.223 * * * * [misc]points: Setting MPFR precision to 2112 1538423304.225 * * * * [misc]points: Setting MPFR precision to 2368 1538423304.227 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423304.227 * * * * [misc]points: Sampling 4 additional inputs, on iter 25 have 7997 / 8000 1538423304.228 * * * * [misc]points: Computing exacts for 4 points 1538423304.229 * * * * [misc]points: Setting MPFR precision to 2112 1538423304.230 * * * * [misc]points: Setting MPFR precision to 2368 1538423304.232 * * * * [misc]points: Filtering points with unrepresentable outputs 1538423304.232 * * * * [exit]points: Sampled 8000 points with exact outputs 1538423304.549 * [misc]regime-testing: Baseline error score: 31.046044157696564 1538423304.549 * [misc]regime-testing: End program error score: 31.046044157696564 1538423304.550 * [misc]regime-testing: Oracle error score: 31.046044157696564