1540197686.951 * [misc]progress: [Phase 1 of 3] Setting up. 1540197686.951 * * * [misc]progress: [1/2] Preparing points 1540197686.951 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540197686.952 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540197686.953 * * * * [misc]points: Setting MPFR precision to 64 1540197686.954 * * * * [misc]points: Setting MPFR precision to 320 1540197686.955 * * * * [misc]points: Setting MPFR precision to 576 1540197686.956 * * * * [misc]points: Setting MPFR precision to 832 1540197686.957 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540197686.959 * * * * [misc]points: Setting MPFR precision to 576 1540197686.960 * * * * [misc]points: Setting MPFR precision to 832 1540197686.962 * * * * [misc]points: Setting MPFR precision to 1088 1540197686.965 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540197686.966 * * * * [misc]points: Setting MPFR precision to 832 1540197686.970 * * * * [misc]points: Setting MPFR precision to 1088 1540197686.973 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540197686.974 * * * * [misc]points: Setting MPFR precision to 832 1540197686.979 * * * * [misc]points: Setting MPFR precision to 1088 1540197686.986 * * * * [misc]points: Setting MPFR precision to 1344 1540197686.993 * * * * [misc]points: Setting MPFR precision to 1600 1540197687.002 * * * * [misc]points: Setting MPFR precision to 1856 1540197687.012 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.026 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.042 * * * * [misc]points: Computing exacts for 256 points 1540197687.044 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.090 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.118 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197687.118 * * * * [misc]points: Sampling 193 additional inputs, on iter 1 have 63 / 256 1540197687.119 * * * * [misc]points: Computing exacts on every 12 of 193 points to ramp up precision 1540197687.120 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.121 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.122 * * * * [misc]points: Computing exacts on every 6 of 193 points to ramp up precision 1540197687.123 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.126 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.128 * * * * [misc]points: Computing exacts on every 3 of 193 points to ramp up precision 1540197687.129 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.133 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.138 * * * * [misc]points: Computing exacts for 193 points 1540197687.138 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.159 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.177 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197687.177 * * * * [misc]points: Sampling 145 additional inputs, on iter 2 have 111 / 256 1540197687.178 * * * * [misc]points: Computing exacts on every 9 of 145 points to ramp up precision 1540197687.179 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.180 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.182 * * * * [misc]points: Computing exacts on every 4 of 145 points to ramp up precision 1540197687.183 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.188 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.193 * * * * [misc]points: Computing exacts on every 2 of 145 points to ramp up precision 1540197687.195 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.203 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.209 * * * * [misc]points: Computing exacts for 145 points 1540197687.210 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.223 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.236 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197687.236 * * * * [misc]points: Sampling 109 additional inputs, on iter 3 have 147 / 256 1540197687.236 * * * * [misc]points: Computing exacts on every 6 of 109 points to ramp up precision 1540197687.237 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.239 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.240 * * * * [misc]points: Computing exacts on every 3 of 109 points to ramp up precision 1540197687.241 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.243 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.246 * * * * [misc]points: Computing exacts for 109 points 1540197687.246 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.256 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.270 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197687.270 * * * * [misc]points: Sampling 85 additional inputs, on iter 4 have 171 / 256 1540197687.270 * * * * [misc]points: Computing exacts on every 5 of 85 points to ramp up precision 1540197687.271 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.274 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.277 * * * * [misc]points: Computing exacts on every 2 of 85 points to ramp up precision 1540197687.278 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.282 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.286 * * * * [misc]points: Computing exacts for 85 points 1540197687.288 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.303 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.320 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197687.320 * * * * [misc]points: Sampling 62 additional inputs, on iter 5 have 194 / 256 1540197687.321 * * * * [misc]points: Computing exacts on every 3 of 62 points to ramp up precision 1540197687.322 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.323 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.325 * * * * [misc]points: Computing exacts for 62 points 1540197687.326 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.333 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.341 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197687.341 * * * * [misc]points: Sampling 52 additional inputs, on iter 6 have 204 / 256 1540197687.341 * * * * [misc]points: Computing exacts on every 3 of 52 points to ramp up precision 1540197687.343 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.376 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.379 * * * * [misc]points: Computing exacts for 52 points 1540197687.380 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.389 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.398 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197687.398 * * * * [misc]points: Sampling 36 additional inputs, on iter 7 have 220 / 256 1540197687.398 * * * * [misc]points: Computing exacts on every 2 of 36 points to ramp up precision 1540197687.400 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.401 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.403 * * * * [misc]points: Computing exacts for 36 points 1540197687.404 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.409 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.415 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197687.415 * * * * [misc]points: Sampling 21 additional inputs, on iter 8 have 235 / 256 1540197687.416 * * * * [misc]points: Computing exacts for 21 points 1540197687.417 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.421 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.425 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197687.425 * * * * [misc]points: Sampling 14 additional inputs, on iter 9 have 242 / 256 1540197687.426 * * * * [misc]points: Computing exacts for 14 points 1540197687.427 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.429 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.430 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197687.430 * * * * [misc]points: Sampling 12 additional inputs, on iter 10 have 244 / 256 1540197687.431 * * * * [misc]points: Computing exacts for 12 points 1540197687.432 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.434 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.435 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197687.435 * * * * [misc]points: Sampling 10 additional inputs, on iter 11 have 246 / 256 1540197687.435 * * * * [misc]points: Computing exacts for 10 points 1540197687.436 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.437 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.438 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197687.438 * * * * [misc]points: Sampling 8 additional inputs, on iter 12 have 248 / 256 1540197687.438 * * * * [misc]points: Computing exacts for 8 points 1540197687.439 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.440 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.441 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197687.441 * * * * [misc]points: Sampling 7 additional inputs, on iter 13 have 249 / 256 1540197687.441 * * * * [misc]points: Computing exacts for 7 points 1540197687.442 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.442 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.443 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197687.443 * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 1540197687.443 * * * * [misc]points: Computing exacts for 5 points 1540197687.444 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.444 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.445 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197687.445 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 251 / 256 1540197687.445 * * * * [misc]points: Computing exacts for 5 points 1540197687.445 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.446 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.446 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197687.446 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 252 / 256 1540197687.446 * * * * [misc]points: Computing exacts for 4 points 1540197687.447 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.447 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.448 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197687.448 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 252 / 256 1540197687.448 * * * * [misc]points: Computing exacts for 4 points 1540197687.448 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.449 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.449 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197687.449 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 253 / 256 1540197687.449 * * * * [misc]points: Computing exacts for 4 points 1540197687.450 * * * * [misc]points: Setting MPFR precision to 2112 1540197687.451 * * * * [misc]points: Setting MPFR precision to 2368 1540197687.452 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197687.452 * * * * [exit]points: Sampled 256 points with exact outputs 1540197687.452 * * * [misc]progress: [2/2] Setting up program. 1540197687.454 * [misc]progress: [Phase 2 of 3] Improving. 1540197687.454 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1540197687.455 * * [misc]simplify: iters left: 4 (6 enodes) 1540197687.456 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1540197687.461 * * [misc]progress: iteration 1 / 4 1540197687.461 * * * [misc]progress: picking best candidate 1540197687.464 * * * * [misc]pick: Picked # 1540197687.464 * * * [misc]progress: localizing error 1540197687.539 * * * [misc]progress: generating rewritten candidates 1540197687.539 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1540197687.539 * * * [misc]progress: generating series expansions 1540197687.539 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1540197687.539 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540197687.539 * [misc]approximate: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 1540197687.539 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1540197687.541 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540197687.541 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1540197687.541 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540197687.541 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540197687.541 * [misc]backup-simplify: Simplify 0 into 0 1540197687.541 * [misc]backup-simplify: Simplify 0 into 0 1540197687.541 * [misc]backup-simplify: Simplify 0 into 0 1540197687.541 * [misc]backup-simplify: Simplify 0 into 0 1540197687.541 * [misc]backup-simplify: Simplify 0 into 0 1540197687.541 * [misc]backup-simplify: Simplify 0 into 0 1540197687.541 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540197687.541 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1540197687.541 * [misc]approximate: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 1540197687.541 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1540197687.541 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1540197687.541 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1540197687.542 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1540197687.542 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1540197687.542 * [misc]backup-simplify: Simplify 0 into 0 1540197687.542 * [misc]backup-simplify: Simplify 0 into 0 1540197687.542 * [misc]backup-simplify: Simplify 0 into 0 1540197687.542 * [misc]backup-simplify: Simplify 0 into 0 1540197687.542 * [misc]backup-simplify: Simplify 0 into 0 1540197687.542 * [misc]backup-simplify: Simplify 0 into 0 1540197687.542 * [misc]backup-simplify: Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a)) 1540197687.542 * [misc]backup-simplify: Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a))) 1540197687.542 * [misc]approximate: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 1540197687.542 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1540197687.542 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1540197687.542 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1540197687.542 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1540197687.542 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1540197687.542 * [misc]backup-simplify: Simplify 0 into 0 1540197687.542 * [misc]backup-simplify: Simplify 0 into 0 1540197687.543 * [misc]backup-simplify: Simplify 0 into 0 1540197687.543 * [misc]backup-simplify: Simplify 0 into 0 1540197687.543 * [misc]backup-simplify: Simplify 0 into 0 1540197687.543 * [misc]backup-simplify: Simplify 0 into 0 1540197687.543 * [misc]backup-simplify: Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a)) 1540197687.543 * * * [misc]progress: simplifying candidates 1540197687.543 * * * * [misc]progress: [ 1 / 10 ] simplifiying candidate # 1540197687.543 * * * * [misc]progress: [ 2 / 10 ] simplifiying candidate # 1540197687.543 * * * * [misc]progress: [ 3 / 10 ] simplifiying candidate # 1540197687.543 * * * * [misc]progress: [ 4 / 10 ] simplifiying candidate # 1540197687.543 * * * * [misc]progress: [ 5 / 10 ] simplifiying candidate # 1540197687.543 * * * * [misc]progress: [ 6 / 10 ] simplifiying candidate # 1540197687.543 * * * * [misc]progress: [ 7 / 10 ] simplifiying candidate # 1540197687.543 * * * * [misc]progress: [ 8 / 10 ] simplifiying candidate # 1540197687.543 * [enter]simplify: Simplifying (fmod a (asin a)) 1540197687.543 * * [misc]simplify: iters left: 2 (3 enodes) 1540197687.544 * [exit]simplify: Simplified to (fmod a (asin a)) 1540197687.544 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1540197687.544 * * * * [misc]progress: [ 9 / 10 ] simplifiying candidate # 1540197687.544 * [enter]simplify: Simplifying (fmod a (asin a)) 1540197687.544 * * [misc]simplify: iters left: 2 (3 enodes) 1540197687.545 * [exit]simplify: Simplified to (fmod a (asin a)) 1540197687.545 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1540197687.545 * * * * [misc]progress: [ 10 / 10 ] simplifiying candidate # 1540197687.545 * [enter]simplify: Simplifying (fmod a (asin a)) 1540197687.545 * * [misc]simplify: iters left: 2 (3 enodes) 1540197687.545 * [exit]simplify: Simplified to (fmod a (asin a)) 1540197687.545 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1540197687.545 * * * [misc]progress: adding candidates to table 1540197688.004 * [misc]progress: [Phase 3 of 3] Extracting. 1540197688.011 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1540197688.011 * * [misc]simplify: iters left: 4 (6 enodes) 1540197688.011 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1540197688.011 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1540197688.033 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1540197688.034 * * * * [misc]points: Setting MPFR precision to 2112 1540197688.035 * * * * [misc]points: Setting MPFR precision to 2368 1540197688.037 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1540197688.038 * * * * [misc]points: Setting MPFR precision to 2112 1540197688.041 * * * * [misc]points: Setting MPFR precision to 2368 1540197688.045 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1540197688.047 * * * * [misc]points: Setting MPFR precision to 2112 1540197688.058 * * * * [misc]points: Setting MPFR precision to 2368 1540197688.071 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1540197688.072 * * * * [misc]points: Setting MPFR precision to 2112 1540197688.093 * * * * [misc]points: Setting MPFR precision to 2368 1540197688.119 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1540197688.120 * * * * [misc]points: Setting MPFR precision to 2112 1540197688.142 * * * * [misc]points: Setting MPFR precision to 2368 1540197688.164 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1540197688.165 * * * * [misc]points: Setting MPFR precision to 2112 1540197688.218 * * * * [misc]points: Setting MPFR precision to 2368 1540197688.305 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1540197688.307 * * * * [misc]points: Setting MPFR precision to 2112 1540197688.425 * * * * [misc]points: Setting MPFR precision to 2368 1540197688.568 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1540197688.569 * * * * [misc]points: Setting MPFR precision to 2112 1540197688.839 * * * * [misc]points: Setting MPFR precision to 2368 1540197689.144 * * * * [misc]points: Computing exacts for 8000 points 1540197689.145 * * * * [misc]points: Setting MPFR precision to 2112 1540197690.335 * * * * [misc]points: Setting MPFR precision to 2368 1540197692.015 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197692.016 * * * * [misc]points: Sampling 6032 additional inputs, on iter 1 have 1968 / 8000 1540197692.031 * * * * [misc]points: Computing exacts on every 377 of 6032 points to ramp up precision 1540197692.033 * * * * [misc]points: Setting MPFR precision to 2112 1540197692.053 * * * * [misc]points: Setting MPFR precision to 2368 1540197692.057 * * * * [misc]points: Computing exacts on every 188 of 6032 points to ramp up precision 1540197692.058 * * * * [misc]points: Setting MPFR precision to 2112 1540197692.064 * * * * [misc]points: Setting MPFR precision to 2368 1540197692.070 * * * * [misc]points: Computing exacts on every 94 of 6032 points to ramp up precision 1540197692.071 * * * * [misc]points: Setting MPFR precision to 2112 1540197692.080 * * * * [misc]points: Setting MPFR precision to 2368 1540197692.090 * * * * [misc]points: Computing exacts on every 47 of 6032 points to ramp up precision 1540197692.092 * * * * [misc]points: Setting MPFR precision to 2112 1540197692.110 * * * * [misc]points: Setting MPFR precision to 2368 1540197692.131 * * * * [misc]points: Computing exacts on every 23 of 6032 points to ramp up precision 1540197692.132 * * * * [misc]points: Setting MPFR precision to 2112 1540197692.165 * * * * [misc]points: Setting MPFR precision to 2368 1540197692.190 * * * * [misc]points: Computing exacts on every 11 of 6032 points to ramp up precision 1540197692.191 * * * * [misc]points: Setting MPFR precision to 2112 1540197692.237 * * * * [misc]points: Setting MPFR precision to 2368 1540197692.315 * * * * [misc]points: Computing exacts on every 5 of 6032 points to ramp up precision 1540197692.317 * * * * [misc]points: Setting MPFR precision to 2112 1540197692.476 * * * * [misc]points: Setting MPFR precision to 2368 1540197692.585 * * * * [misc]points: Computing exacts on every 2 of 6032 points to ramp up precision 1540197692.586 * * * * [misc]points: Setting MPFR precision to 2112 1540197692.884 * * * * [misc]points: Setting MPFR precision to 2368 1540197693.171 * * * * [misc]points: Computing exacts for 6032 points 1540197693.172 * * * * [misc]points: Setting MPFR precision to 2112 1540197694.051 * * * * [misc]points: Setting MPFR precision to 2368 1540197695.359 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197695.361 * * * * [misc]points: Sampling 4482 additional inputs, on iter 2 have 3518 / 8000 1540197695.380 * * * * [misc]points: Computing exacts on every 280 of 4482 points to ramp up precision 1540197695.381 * * * * [misc]points: Setting MPFR precision to 2112 1540197695.384 * * * * [misc]points: Setting MPFR precision to 2368 1540197695.386 * * * * [misc]points: Computing exacts on every 140 of 4482 points to ramp up precision 1540197695.388 * * * * [misc]points: Setting MPFR precision to 2112 1540197695.394 * * * * [misc]points: Setting MPFR precision to 2368 1540197695.402 * * * * [misc]points: Computing exacts on every 70 of 4482 points to ramp up precision 1540197695.404 * * * * [misc]points: Setting MPFR precision to 2112 1540197695.412 * * * * [misc]points: Setting MPFR precision to 2368 1540197695.417 * * * * [misc]points: Computing exacts on every 35 of 4482 points to ramp up precision 1540197695.418 * * * * [misc]points: Setting MPFR precision to 2112 1540197695.429 * * * * [misc]points: Setting MPFR precision to 2368 1540197695.444 * * * * [misc]points: Computing exacts on every 17 of 4482 points to ramp up precision 1540197695.445 * * * * [misc]points: Setting MPFR precision to 2112 1540197695.483 * * * * [misc]points: Setting MPFR precision to 2368 1540197695.534 * * * * [misc]points: Computing exacts on every 8 of 4482 points to ramp up precision 1540197695.536 * * * * [misc]points: Setting MPFR precision to 2112 1540197695.609 * * * * [misc]points: Setting MPFR precision to 2368 1540197695.677 * * * * [misc]points: Computing exacts on every 4 of 4482 points to ramp up precision 1540197695.678 * * * * [misc]points: Setting MPFR precision to 2112 1540197695.794 * * * * [misc]points: Setting MPFR precision to 2368 1540197695.945 * * * * [misc]points: Computing exacts on every 2 of 4482 points to ramp up precision 1540197695.946 * * * * [misc]points: Setting MPFR precision to 2112 1540197696.169 * * * * [misc]points: Setting MPFR precision to 2368 1540197696.399 * * * * [misc]points: Computing exacts for 4482 points 1540197696.400 * * * * [misc]points: Setting MPFR precision to 2112 1540197697.113 * * * * [misc]points: Setting MPFR precision to 2368 1540197698.113 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197698.114 * * * * [misc]points: Sampling 3334 additional inputs, on iter 3 have 4666 / 8000 1540197698.131 * * * * [misc]points: Computing exacts on every 208 of 3334 points to ramp up precision 1540197698.133 * * * * [misc]points: Setting MPFR precision to 2112 1540197698.135 * * * * [misc]points: Setting MPFR precision to 2368 1540197698.138 * * * * [misc]points: Computing exacts on every 104 of 3334 points to ramp up precision 1540197698.139 * * * * [misc]points: Setting MPFR precision to 2112 1540197698.143 * * * * [misc]points: Setting MPFR precision to 2368 1540197698.147 * * * * [misc]points: Computing exacts on every 52 of 3334 points to ramp up precision 1540197698.149 * * * * [misc]points: Setting MPFR precision to 2112 1540197698.156 * * * * [misc]points: Setting MPFR precision to 2368 1540197698.160 * * * * [misc]points: Computing exacts on every 26 of 3334 points to ramp up precision 1540197698.161 * * * * [misc]points: Setting MPFR precision to 2112 1540197698.171 * * * * [misc]points: Setting MPFR precision to 2368 1540197698.181 * * * * [misc]points: Computing exacts on every 13 of 3334 points to ramp up precision 1540197698.182 * * * * [misc]points: Setting MPFR precision to 2112 1540197698.204 * * * * [misc]points: Setting MPFR precision to 2368 1540197698.224 * * * * [misc]points: Computing exacts on every 6 of 3334 points to ramp up precision 1540197698.225 * * * * [misc]points: Setting MPFR precision to 2112 1540197698.271 * * * * [misc]points: Setting MPFR precision to 2368 1540197698.338 * * * * [misc]points: Computing exacts on every 3 of 3334 points to ramp up precision 1540197698.339 * * * * [misc]points: Setting MPFR precision to 2112 1540197698.457 * * * * [misc]points: Setting MPFR precision to 2368 1540197698.562 * * * * [misc]points: Computing exacts for 3334 points 1540197698.563 * * * * [misc]points: Setting MPFR precision to 2112 1540197699.009 * * * * [misc]points: Setting MPFR precision to 2368 1540197699.411 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197699.412 * * * * [misc]points: Sampling 2491 additional inputs, on iter 4 have 5509 / 8000 1540197699.417 * * * * [misc]points: Computing exacts on every 155 of 2491 points to ramp up precision 1540197699.418 * * * * [misc]points: Setting MPFR precision to 2112 1540197699.421 * * * * [misc]points: Setting MPFR precision to 2368 1540197699.424 * * * * [misc]points: Computing exacts on every 77 of 2491 points to ramp up precision 1540197699.424 * * * * [misc]points: Setting MPFR precision to 2112 1540197699.428 * * * * [misc]points: Setting MPFR precision to 2368 1540197699.432 * * * * [misc]points: Computing exacts on every 38 of 2491 points to ramp up precision 1540197699.432 * * * * [misc]points: Setting MPFR precision to 2112 1540197699.438 * * * * [misc]points: Setting MPFR precision to 2368 1540197699.445 * * * * [misc]points: Computing exacts on every 19 of 2491 points to ramp up precision 1540197699.446 * * * * [misc]points: Setting MPFR precision to 2112 1540197699.458 * * * * [misc]points: Setting MPFR precision to 2368 1540197699.471 * * * * [misc]points: Computing exacts on every 9 of 2491 points to ramp up precision 1540197699.472 * * * * [misc]points: Setting MPFR precision to 2112 1540197699.497 * * * * [misc]points: Setting MPFR precision to 2368 1540197699.525 * * * * [misc]points: Computing exacts on every 4 of 2491 points to ramp up precision 1540197699.526 * * * * [misc]points: Setting MPFR precision to 2112 1540197699.593 * * * * [misc]points: Setting MPFR precision to 2368 1540197699.650 * * * * [misc]points: Computing exacts on every 2 of 2491 points to ramp up precision 1540197699.652 * * * * [misc]points: Setting MPFR precision to 2112 1540197699.760 * * * * [misc]points: Setting MPFR precision to 2368 1540197699.871 * * * * [misc]points: Computing exacts for 2491 points 1540197699.872 * * * * [misc]points: Setting MPFR precision to 2112 1540197700.173 * * * * [misc]points: Setting MPFR precision to 2368 1540197700.619 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197700.620 * * * * [misc]points: Sampling 1855 additional inputs, on iter 5 have 6145 / 8000 1540197700.632 * * * * [misc]points: Computing exacts on every 115 of 1855 points to ramp up precision 1540197700.634 * * * * [misc]points: Setting MPFR precision to 2112 1540197700.638 * * * * [misc]points: Setting MPFR precision to 2368 1540197700.642 * * * * [misc]points: Computing exacts on every 57 of 1855 points to ramp up precision 1540197700.643 * * * * [misc]points: Setting MPFR precision to 2112 1540197700.648 * * * * [misc]points: Setting MPFR precision to 2368 1540197700.653 * * * * [misc]points: Computing exacts on every 28 of 1855 points to ramp up precision 1540197700.655 * * * * [misc]points: Setting MPFR precision to 2112 1540197700.664 * * * * [misc]points: Setting MPFR precision to 2368 1540197700.670 * * * * [misc]points: Computing exacts on every 14 of 1855 points to ramp up precision 1540197700.671 * * * * [misc]points: Setting MPFR precision to 2112 1540197700.681 * * * * [misc]points: Setting MPFR precision to 2368 1540197700.692 * * * * [misc]points: Computing exacts on every 7 of 1855 points to ramp up precision 1540197700.693 * * * * [misc]points: Setting MPFR precision to 2112 1540197700.729 * * * * [misc]points: Setting MPFR precision to 2368 1540197700.768 * * * * [misc]points: Computing exacts on every 3 of 1855 points to ramp up precision 1540197700.769 * * * * [misc]points: Setting MPFR precision to 2112 1540197700.827 * * * * [misc]points: Setting MPFR precision to 2368 1540197700.875 * * * * [misc]points: Computing exacts for 1855 points 1540197700.875 * * * * [misc]points: Setting MPFR precision to 2112 1540197701.495 * * * * [misc]points: Setting MPFR precision to 2368 1540197701.778 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197701.779 * * * * [misc]points: Sampling 1407 additional inputs, on iter 6 have 6593 / 8000 1540197701.784 * * * * [misc]points: Computing exacts on every 87 of 1407 points to ramp up precision 1540197701.785 * * * * [misc]points: Setting MPFR precision to 2112 1540197701.787 * * * * [misc]points: Setting MPFR precision to 2368 1540197701.788 * * * * [misc]points: Computing exacts on every 43 of 1407 points to ramp up precision 1540197701.789 * * * * [misc]points: Setting MPFR precision to 2112 1540197701.792 * * * * [misc]points: Setting MPFR precision to 2368 1540197701.795 * * * * [misc]points: Computing exacts on every 21 of 1407 points to ramp up precision 1540197701.795 * * * * [misc]points: Setting MPFR precision to 2112 1540197701.801 * * * * [misc]points: Setting MPFR precision to 2368 1540197701.806 * * * * [misc]points: Computing exacts on every 10 of 1407 points to ramp up precision 1540197701.807 * * * * [misc]points: Setting MPFR precision to 2112 1540197701.818 * * * * [misc]points: Setting MPFR precision to 2368 1540197701.831 * * * * [misc]points: Computing exacts on every 5 of 1407 points to ramp up precision 1540197701.832 * * * * [misc]points: Setting MPFR precision to 2112 1540197701.864 * * * * [misc]points: Setting MPFR precision to 2368 1540197701.887 * * * * [misc]points: Computing exacts on every 2 of 1407 points to ramp up precision 1540197701.888 * * * * [misc]points: Setting MPFR precision to 2112 1540197701.989 * * * * [misc]points: Setting MPFR precision to 2368 1540197702.054 * * * * [misc]points: Computing exacts for 1407 points 1540197702.055 * * * * [misc]points: Setting MPFR precision to 2112 1540197702.260 * * * * [misc]points: Setting MPFR precision to 2368 1540197702.506 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197702.507 * * * * [misc]points: Sampling 1058 additional inputs, on iter 7 have 6942 / 8000 1540197702.509 * * * * [misc]points: Computing exacts on every 66 of 1058 points to ramp up precision 1540197702.510 * * * * [misc]points: Setting MPFR precision to 2112 1540197702.512 * * * * [misc]points: Setting MPFR precision to 2368 1540197702.514 * * * * [misc]points: Computing exacts on every 33 of 1058 points to ramp up precision 1540197702.514 * * * * [misc]points: Setting MPFR precision to 2112 1540197702.517 * * * * [misc]points: Setting MPFR precision to 2368 1540197702.519 * * * * [misc]points: Computing exacts on every 16 of 1058 points to ramp up precision 1540197702.520 * * * * [misc]points: Setting MPFR precision to 2112 1540197702.527 * * * * [misc]points: Setting MPFR precision to 2368 1540197702.535 * * * * [misc]points: Computing exacts on every 8 of 1058 points to ramp up precision 1540197702.537 * * * * [misc]points: Setting MPFR precision to 2112 1540197702.559 * * * * [misc]points: Setting MPFR precision to 2368 1540197702.587 * * * * [misc]points: Computing exacts on every 4 of 1058 points to ramp up precision 1540197702.589 * * * * [misc]points: Setting MPFR precision to 2112 1540197702.623 * * * * [misc]points: Setting MPFR precision to 2368 1540197702.660 * * * * [misc]points: Computing exacts on every 2 of 1058 points to ramp up precision 1540197702.662 * * * * [misc]points: Setting MPFR precision to 2112 1540197702.722 * * * * [misc]points: Setting MPFR precision to 2368 1540197702.829 * * * * [misc]points: Computing exacts for 1058 points 1540197702.830 * * * * [misc]points: Setting MPFR precision to 2112 1540197702.987 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.116 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197703.116 * * * * [misc]points: Sampling 775 additional inputs, on iter 8 have 7225 / 8000 1540197703.118 * * * * [misc]points: Computing exacts on every 48 of 775 points to ramp up precision 1540197703.119 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.121 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.123 * * * * [misc]points: Computing exacts on every 24 of 775 points to ramp up precision 1540197703.123 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.153 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.157 * * * * [misc]points: Computing exacts on every 12 of 775 points to ramp up precision 1540197703.158 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.164 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.170 * * * * [misc]points: Computing exacts on every 6 of 775 points to ramp up precision 1540197703.171 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.180 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.191 * * * * [misc]points: Computing exacts on every 3 of 775 points to ramp up precision 1540197703.192 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.209 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.236 * * * * [misc]points: Computing exacts for 775 points 1540197703.238 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.358 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.440 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197703.441 * * * * [misc]points: Sampling 585 additional inputs, on iter 9 have 7415 / 8000 1540197703.442 * * * * [misc]points: Computing exacts on every 36 of 585 points to ramp up precision 1540197703.443 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.445 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.479 * * * * [misc]points: Computing exacts on every 18 of 585 points to ramp up precision 1540197703.480 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.482 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.485 * * * * [misc]points: Computing exacts on every 9 of 585 points to ramp up precision 1540197703.486 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.492 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.497 * * * * [misc]points: Computing exacts on every 4 of 585 points to ramp up precision 1540197703.498 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.515 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.534 * * * * [misc]points: Computing exacts on every 2 of 585 points to ramp up precision 1540197703.535 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.549 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.570 * * * * [misc]points: Computing exacts for 585 points 1540197703.571 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.656 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.718 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197703.718 * * * * [misc]points: Sampling 451 additional inputs, on iter 10 have 7549 / 8000 1540197703.719 * * * * [misc]points: Computing exacts on every 28 of 451 points to ramp up precision 1540197703.720 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.721 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.723 * * * * [misc]points: Computing exacts on every 14 of 451 points to ramp up precision 1540197703.723 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.727 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.730 * * * * [misc]points: Computing exacts on every 7 of 451 points to ramp up precision 1540197703.731 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.736 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.741 * * * * [misc]points: Computing exacts on every 3 of 451 points to ramp up precision 1540197703.742 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.751 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.789 * * * * [misc]points: Computing exacts for 451 points 1540197703.790 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.832 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.883 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197703.883 * * * * [misc]points: Sampling 340 additional inputs, on iter 11 have 7660 / 8000 1540197703.885 * * * * [misc]points: Computing exacts on every 21 of 340 points to ramp up precision 1540197703.886 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.889 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.894 * * * * [misc]points: Computing exacts on every 10 of 340 points to ramp up precision 1540197703.895 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.900 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.906 * * * * [misc]points: Computing exacts on every 5 of 340 points to ramp up precision 1540197703.907 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.916 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.924 * * * * [misc]points: Computing exacts on every 2 of 340 points to ramp up precision 1540197703.925 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.934 * * * * [misc]points: Setting MPFR precision to 2368 1540197703.944 * * * * [misc]points: Computing exacts for 340 points 1540197703.945 * * * * [misc]points: Setting MPFR precision to 2112 1540197703.983 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.025 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.025 * * * * [misc]points: Sampling 252 additional inputs, on iter 12 have 7748 / 8000 1540197704.026 * * * * [misc]points: Computing exacts on every 15 of 252 points to ramp up precision 1540197704.027 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.029 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.030 * * * * [misc]points: Computing exacts on every 7 of 252 points to ramp up precision 1540197704.031 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.035 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.040 * * * * [misc]points: Computing exacts on every 3 of 252 points to ramp up precision 1540197704.041 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.051 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.084 * * * * [misc]points: Computing exacts for 252 points 1540197704.085 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.125 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.166 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.166 * * * * [misc]points: Sampling 193 additional inputs, on iter 13 have 7807 / 8000 1540197704.167 * * * * [misc]points: Computing exacts on every 12 of 193 points to ramp up precision 1540197704.169 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.173 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.176 * * * * [misc]points: Computing exacts on every 6 of 193 points to ramp up precision 1540197704.177 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.182 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.186 * * * * [misc]points: Computing exacts on every 3 of 193 points to ramp up precision 1540197704.188 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.199 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.209 * * * * [misc]points: Computing exacts for 193 points 1540197704.210 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.228 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.244 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.244 * * * * [misc]points: Sampling 155 additional inputs, on iter 14 have 7845 / 8000 1540197704.245 * * * * [misc]points: Computing exacts on every 9 of 155 points to ramp up precision 1540197704.246 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.249 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.252 * * * * [misc]points: Computing exacts on every 4 of 155 points to ramp up precision 1540197704.253 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.259 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.266 * * * * [misc]points: Computing exacts on every 2 of 155 points to ramp up precision 1540197704.267 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.273 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.281 * * * * [misc]points: Computing exacts for 155 points 1540197704.283 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.307 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.324 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.324 * * * * [misc]points: Sampling 118 additional inputs, on iter 15 have 7882 / 8000 1540197704.325 * * * * [misc]points: Computing exacts on every 7 of 118 points to ramp up precision 1540197704.326 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.327 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.329 * * * * [misc]points: Computing exacts on every 3 of 118 points to ramp up precision 1540197704.329 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.333 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.336 * * * * [misc]points: Computing exacts for 118 points 1540197704.336 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.354 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.372 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.372 * * * * [misc]points: Sampling 95 additional inputs, on iter 16 have 7905 / 8000 1540197704.373 * * * * [misc]points: Computing exacts on every 5 of 95 points to ramp up precision 1540197704.374 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.375 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.376 * * * * [misc]points: Computing exacts on every 2 of 95 points to ramp up precision 1540197704.377 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.379 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.381 * * * * [misc]points: Computing exacts for 95 points 1540197704.382 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.389 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.396 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.396 * * * * [misc]points: Sampling 79 additional inputs, on iter 17 have 7921 / 8000 1540197704.397 * * * * [misc]points: Computing exacts on every 4 of 79 points to ramp up precision 1540197704.398 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.793 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.794 * * * * [misc]points: Computing exacts on every 2 of 79 points to ramp up precision 1540197704.795 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.797 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.799 * * * * [misc]points: Computing exacts for 79 points 1540197704.800 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.809 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.816 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.816 * * * * [misc]points: Sampling 60 additional inputs, on iter 18 have 7940 / 8000 1540197704.816 * * * * [misc]points: Computing exacts on every 3 of 60 points to ramp up precision 1540197704.817 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.819 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.820 * * * * [misc]points: Computing exacts for 60 points 1540197704.821 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.826 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.832 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.832 * * * * [misc]points: Sampling 43 additional inputs, on iter 19 have 7957 / 8000 1540197704.832 * * * * [misc]points: Computing exacts on every 2 of 43 points to ramp up precision 1540197704.833 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.834 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.835 * * * * [misc]points: Computing exacts for 43 points 1540197704.836 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.840 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.844 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.844 * * * * [misc]points: Sampling 33 additional inputs, on iter 20 have 7967 / 8000 1540197704.844 * * * * [misc]points: Computing exacts on every 2 of 33 points to ramp up precision 1540197704.845 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.846 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.847 * * * * [misc]points: Computing exacts for 33 points 1540197704.848 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.853 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.858 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.859 * * * * [misc]points: Sampling 25 additional inputs, on iter 21 have 7975 / 8000 1540197704.859 * * * * [misc]points: Computing exacts for 25 points 1540197704.860 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.863 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.865 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.865 * * * * [misc]points: Sampling 18 additional inputs, on iter 22 have 7982 / 8000 1540197704.865 * * * * [misc]points: Computing exacts for 18 points 1540197704.866 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.868 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.870 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.870 * * * * [misc]points: Sampling 12 additional inputs, on iter 23 have 7988 / 8000 1540197704.870 * * * * [misc]points: Computing exacts for 12 points 1540197704.871 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.872 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.873 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.873 * * * * [misc]points: Sampling 10 additional inputs, on iter 24 have 7990 / 8000 1540197704.873 * * * * [misc]points: Computing exacts for 10 points 1540197704.873 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.874 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.875 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.875 * * * * [misc]points: Sampling 7 additional inputs, on iter 25 have 7993 / 8000 1540197704.876 * * * * [misc]points: Computing exacts for 7 points 1540197704.876 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.877 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.878 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.878 * * * * [misc]points: Sampling 6 additional inputs, on iter 26 have 7994 / 8000 1540197704.878 * * * * [misc]points: Computing exacts for 6 points 1540197704.879 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.879 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.880 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.880 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7996 / 8000 1540197704.880 * * * * [misc]points: Computing exacts for 4 points 1540197704.881 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.881 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.882 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.882 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7996 / 8000 1540197704.882 * * * * [misc]points: Computing exacts for 4 points 1540197704.883 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.883 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.883 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.883 * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7997 / 8000 1540197704.883 * * * * [misc]points: Computing exacts for 4 points 1540197704.884 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.884 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.885 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.885 * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7998 / 8000 1540197704.885 * * * * [misc]points: Computing exacts for 4 points 1540197704.886 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.886 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.886 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.886 * * * * [misc]points: Sampling 4 additional inputs, on iter 31 have 7998 / 8000 1540197704.886 * * * * [misc]points: Computing exacts for 4 points 1540197704.887 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.887 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.887 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.887 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7998 / 8000 1540197704.887 * * * * [misc]points: Computing exacts for 4 points 1540197704.888 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.888 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.888 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.888 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 7998 / 8000 1540197704.888 * * * * [misc]points: Computing exacts for 4 points 1540197704.889 * * * * [misc]points: Setting MPFR precision to 2112 1540197704.889 * * * * [misc]points: Setting MPFR precision to 2368 1540197704.890 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197704.890 * * * * [exit]points: Sampled 8000 points with exact outputs 1540197705.098 * [misc]regime-testing: Baseline error score: 30.898922505425908 1540197705.098 * [misc]regime-testing: End program error score: 30.898922505425908 1540197705.099 * [misc]regime-testing: Oracle error score: 30.898922505425908