1540374561.247 * [misc]progress: [Phase 1 of 3] Setting up. 1540374561.247 * * * [misc]progress: [1/2] Preparing points 1540374561.247 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540374561.248 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540374561.250 * * * * [misc]points: Setting MPFR precision to 64 1540374561.251 * * * * [misc]points: Setting MPFR precision to 320 1540374561.251 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540374561.252 * * * * [misc]points: Setting MPFR precision to 64 1540374561.254 * * * * [misc]points: Setting MPFR precision to 320 1540374561.255 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540374561.256 * * * * [misc]points: Setting MPFR precision to 64 1540374561.258 * * * * [misc]points: Setting MPFR precision to 320 1540374561.261 * * * * [misc]points: Setting MPFR precision to 576 1540374561.263 * * * * [misc]points: Setting MPFR precision to 832 1540374561.266 * * * * [misc]points: Setting MPFR precision to 1088 1540374561.270 * * * * [misc]points: Setting MPFR precision to 1344 1540374561.273 * * * * [misc]points: Setting MPFR precision to 1600 1540374561.279 * * * * [misc]points: Setting MPFR precision to 1856 1540374561.285 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.291 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.299 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540374561.301 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.313 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.327 * * * * [misc]points: Computing exacts for 256 points 1540374561.329 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.364 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.407 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374561.407 * * * * [misc]points: Sampling 188 additional inputs, on iter 1 have 68 / 256 1540374561.408 * * * * [misc]points: Computing exacts on every 11 of 188 points to ramp up precision 1540374561.409 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.411 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.412 * * * * [misc]points: Computing exacts on every 5 of 188 points to ramp up precision 1540374561.414 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.417 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.420 * * * * [misc]points: Computing exacts on every 2 of 188 points to ramp up precision 1540374561.422 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.429 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.437 * * * * [misc]points: Computing exacts for 188 points 1540374561.438 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.457 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.472 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374561.472 * * * * [misc]points: Sampling 149 additional inputs, on iter 2 have 107 / 256 1540374561.473 * * * * [misc]points: Computing exacts on every 9 of 149 points to ramp up precision 1540374561.474 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.475 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.477 * * * * [misc]points: Computing exacts on every 4 of 149 points to ramp up precision 1540374561.478 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.481 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.486 * * * * [misc]points: Computing exacts on every 2 of 149 points to ramp up precision 1540374561.487 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.494 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.532 * * * * [misc]points: Computing exacts for 149 points 1540374561.533 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.560 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.586 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374561.586 * * * * [misc]points: Sampling 111 additional inputs, on iter 3 have 145 / 256 1540374561.587 * * * * [misc]points: Computing exacts on every 6 of 111 points to ramp up precision 1540374561.588 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.590 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.591 * * * * [misc]points: Computing exacts on every 3 of 111 points to ramp up precision 1540374561.592 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.597 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.603 * * * * [misc]points: Computing exacts for 111 points 1540374561.604 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.622 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.637 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374561.637 * * * * [misc]points: Sampling 82 additional inputs, on iter 4 have 174 / 256 1540374561.637 * * * * [misc]points: Computing exacts on every 5 of 82 points to ramp up precision 1540374561.638 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.640 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.642 * * * * [misc]points: Computing exacts on every 2 of 82 points to ramp up precision 1540374561.643 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.647 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.651 * * * * [misc]points: Computing exacts for 82 points 1540374561.652 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.659 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.668 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374561.668 * * * * [misc]points: Sampling 65 additional inputs, on iter 5 have 191 / 256 1540374561.668 * * * * [misc]points: Computing exacts on every 4 of 65 points to ramp up precision 1540374561.669 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.670 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.672 * * * * [misc]points: Computing exacts on every 2 of 65 points to ramp up precision 1540374561.673 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.675 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.678 * * * * [misc]points: Computing exacts for 65 points 1540374561.679 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.689 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.699 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374561.699 * * * * [misc]points: Sampling 53 additional inputs, on iter 6 have 203 / 256 1540374561.699 * * * * [misc]points: Computing exacts on every 3 of 53 points to ramp up precision 1540374561.700 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.701 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.703 * * * * [misc]points: Computing exacts for 53 points 1540374561.703 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.707 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.712 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374561.712 * * * * [misc]points: Sampling 42 additional inputs, on iter 7 have 214 / 256 1540374561.712 * * * * [misc]points: Computing exacts on every 2 of 42 points to ramp up precision 1540374561.713 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.714 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.716 * * * * [misc]points: Computing exacts for 42 points 1540374561.717 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.721 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.727 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374561.727 * * * * [misc]points: Sampling 29 additional inputs, on iter 8 have 227 / 256 1540374561.727 * * * * [misc]points: Computing exacts for 29 points 1540374561.728 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.731 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.734 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374561.735 * * * * [misc]points: Sampling 23 additional inputs, on iter 9 have 233 / 256 1540374561.735 * * * * [misc]points: Computing exacts for 23 points 1540374561.736 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.740 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.743 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374561.743 * * * * [misc]points: Sampling 15 additional inputs, on iter 10 have 241 / 256 1540374561.743 * * * * [misc]points: Computing exacts for 15 points 1540374561.744 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.745 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.747 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374561.747 * * * * [misc]points: Sampling 13 additional inputs, on iter 11 have 243 / 256 1540374561.747 * * * * [misc]points: Computing exacts for 13 points 1540374561.747 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.749 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.750 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374561.750 * * * * [misc]points: Sampling 9 additional inputs, on iter 12 have 247 / 256 1540374561.751 * * * * [misc]points: Computing exacts for 9 points 1540374561.751 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.753 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.755 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374561.755 * * * * [misc]points: Sampling 6 additional inputs, on iter 13 have 250 / 256 1540374561.755 * * * * [misc]points: Computing exacts for 6 points 1540374561.756 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.757 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.758 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374561.758 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 254 / 256 1540374561.758 * * * * [misc]points: Computing exacts for 4 points 1540374561.759 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.760 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.760 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374561.760 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 255 / 256 1540374561.760 * * * * [misc]points: Computing exacts for 4 points 1540374561.761 * * * * [misc]points: Setting MPFR precision to 2112 1540374561.762 * * * * [misc]points: Setting MPFR precision to 2368 1540374561.762 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374561.762 * * * * [exit]points: Sampled 258 points with exact outputs 1540374561.762 * * * [misc]progress: [2/2] Setting up program. 1540374561.768 * [misc]progress: [Phase 2 of 3] Improving. 1540374561.768 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1540374561.768 * * [misc]simplify: iters left: 4 (6 enodes) 1540374561.770 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1540374561.782 * * [misc]progress: iteration 1 / 4 1540374561.782 * * * [misc]progress: picking best candidate 1540374561.787 * * * * [misc]pick: Picked # 1540374561.787 * * * [misc]progress: localizing error 1540374561.898 * * * [misc]progress: generating rewritten candidates 1540374561.898 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1540374561.898 * * * [misc]progress: generating series expansions 1540374561.898 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1540374561.898 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540374561.898 * [misc]approximate: Taking taylor expansion of (fmod a (asin a)) in (a) around 0 1540374561.898 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1540374561.899 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540374561.899 * [misc]taylor: Taking taylor expansion of (fmod a (asin a)) in a 1540374561.899 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540374561.899 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540374561.899 * [misc]backup-simplify: Simplify 0 into 0 1540374561.899 * [misc]backup-simplify: Simplify 0 into 0 1540374561.899 * [misc]backup-simplify: Simplify 0 into 0 1540374561.899 * [misc]backup-simplify: Simplify 0 into 0 1540374561.899 * [misc]backup-simplify: Simplify 0 into 0 1540374561.899 * [misc]backup-simplify: Simplify 0 into 0 1540374561.899 * [misc]backup-simplify: Simplify (fmod a (asin a)) into (fmod a (asin a)) 1540374561.899 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1540374561.899 * [misc]approximate: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0 1540374561.899 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1540374561.899 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1540374561.899 * [misc]taylor: Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a 1540374561.899 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1540374561.899 * [misc]backup-simplify: Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a))) 1540374561.899 * [misc]backup-simplify: Simplify 0 into 0 1540374561.899 * [misc]backup-simplify: Simplify 0 into 0 1540374561.900 * [misc]backup-simplify: Simplify 0 into 0 1540374561.900 * [misc]backup-simplify: Simplify 0 into 0 1540374561.900 * [misc]backup-simplify: Simplify 0 into 0 1540374561.900 * [misc]backup-simplify: Simplify 0 into 0 1540374561.900 * [misc]backup-simplify: Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a)) 1540374561.900 * [misc]backup-simplify: Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a))) 1540374561.900 * [misc]approximate: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0 1540374561.900 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1540374561.900 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1540374561.900 * [misc]taylor: Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a 1540374561.900 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1540374561.900 * [misc]backup-simplify: Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a))) 1540374561.900 * [misc]backup-simplify: Simplify 0 into 0 1540374561.900 * [misc]backup-simplify: Simplify 0 into 0 1540374561.900 * [misc]backup-simplify: Simplify 0 into 0 1540374561.900 * [misc]backup-simplify: Simplify 0 into 0 1540374561.900 * [misc]backup-simplify: Simplify 0 into 0 1540374561.900 * [misc]backup-simplify: Simplify 0 into 0 1540374561.900 * [misc]backup-simplify: Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a)) 1540374561.900 * * * [misc]progress: simplifying candidates 1540374561.900 * * * * [misc]progress: [ 1 / 12 ] simplifiying candidate # 1540374561.900 * * * * [misc]progress: [ 2 / 12 ] simplifiying candidate # 1540374561.900 * * * * [misc]progress: [ 3 / 12 ] simplifiying candidate # 1540374561.900 * * * * [misc]progress: [ 4 / 12 ] simplifiying candidate # 1540374561.900 * * * * [misc]progress: [ 5 / 12 ] simplifiying candidate # 1540374561.901 * * * * [misc]progress: [ 6 / 12 ] simplifiying candidate # 1540374561.901 * * * * [misc]progress: [ 7 / 12 ] simplifiying candidate # 1540374561.901 * * * * [misc]progress: [ 8 / 12 ] simplifiying candidate # 1540374561.901 * * * * [misc]progress: [ 9 / 12 ] simplifiying candidate # 1540374561.901 * * * * [misc]progress: [ 10 / 12 ] simplifiying candidate # 1540374561.901 * [enter]simplify: Simplifying (fmod a (asin a)) 1540374561.901 * * [misc]simplify: iters left: 2 (3 enodes) 1540374561.901 * [exit]simplify: Simplified to (fmod a (asin a)) 1540374561.901 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1540374561.901 * * * * [misc]progress: [ 11 / 12 ] simplifiying candidate # 1540374561.902 * [enter]simplify: Simplifying (fmod a (asin a)) 1540374561.902 * * [misc]simplify: iters left: 2 (3 enodes) 1540374561.902 * [exit]simplify: Simplified to (fmod a (asin a)) 1540374561.902 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1540374561.902 * * * * [misc]progress: [ 12 / 12 ] simplifiying candidate # 1540374561.902 * [enter]simplify: Simplifying (fmod a (asin a)) 1540374561.902 * * [misc]simplify: iters left: 2 (3 enodes) 1540374561.903 * [exit]simplify: Simplified to (fmod a (asin a)) 1540374561.903 * [misc]simplify: Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a))) 1540374561.903 * * * [misc]progress: adding candidates to table 1540374562.017 * [misc]progress: [Phase 3 of 3] Extracting. 1540374562.020 * [enter]simplify: Simplifying (pow (atan (fmod a (asin a))) (* a a)) 1540374562.020 * * [misc]simplify: iters left: 4 (6 enodes) 1540374562.021 * [exit]simplify: Simplified to (pow (atan (fmod a (asin a))) (* a a)) 1540374562.021 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1540374562.059 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1540374562.061 * * * * [misc]points: Setting MPFR precision to 2112 1540374562.064 * * * * [misc]points: Setting MPFR precision to 2368 1540374562.066 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1540374562.067 * * * * [misc]points: Setting MPFR precision to 2112 1540374562.070 * * * * [misc]points: Setting MPFR precision to 2368 1540374562.072 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1540374562.073 * * * * [misc]points: Setting MPFR precision to 2112 1540374562.078 * * * * [misc]points: Setting MPFR precision to 2368 1540374562.084 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1540374562.085 * * * * [misc]points: Setting MPFR precision to 2112 1540374562.102 * * * * [misc]points: Setting MPFR precision to 2368 1540374562.121 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1540374562.122 * * * * [misc]points: Setting MPFR precision to 2112 1540374562.145 * * * * [misc]points: Setting MPFR precision to 2368 1540374562.174 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1540374562.176 * * * * [misc]points: Setting MPFR precision to 2112 1540374562.239 * * * * [misc]points: Setting MPFR precision to 2368 1540374562.316 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1540374562.317 * * * * [misc]points: Setting MPFR precision to 2112 1540374562.499 * * * * [misc]points: Setting MPFR precision to 2368 1540374562.651 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1540374562.653 * * * * [misc]points: Setting MPFR precision to 2112 1540374563.286 * * * * [misc]points: Setting MPFR precision to 2368 1540374563.603 * * * * [misc]points: Computing exacts for 8000 points 1540374563.604 * * * * [misc]points: Setting MPFR precision to 2112 1540374564.647 * * * * [misc]points: Setting MPFR precision to 2368 1540374565.812 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374565.813 * * * * [misc]points: Sampling 5989 additional inputs, on iter 1 have 2011 / 8000 1540374565.827 * * * * [misc]points: Computing exacts on every 374 of 5989 points to ramp up precision 1540374565.828 * * * * [misc]points: Setting MPFR precision to 2112 1540374565.830 * * * * [misc]points: Setting MPFR precision to 2368 1540374565.831 * * * * [misc]points: Computing exacts on every 187 of 5989 points to ramp up precision 1540374565.832 * * * * [misc]points: Setting MPFR precision to 2112 1540374565.835 * * * * [misc]points: Setting MPFR precision to 2368 1540374565.839 * * * * [misc]points: Computing exacts on every 93 of 5989 points to ramp up precision 1540374565.840 * * * * [misc]points: Setting MPFR precision to 2112 1540374565.849 * * * * [misc]points: Setting MPFR precision to 2368 1540374565.860 * * * * [misc]points: Computing exacts on every 46 of 5989 points to ramp up precision 1540374565.862 * * * * [misc]points: Setting MPFR precision to 2112 1540374565.879 * * * * [misc]points: Setting MPFR precision to 2368 1540374565.895 * * * * [misc]points: Computing exacts on every 23 of 5989 points to ramp up precision 1540374565.896 * * * * [misc]points: Setting MPFR precision to 2112 1540374566.293 * * * * [misc]points: Setting MPFR precision to 2368 1540374566.344 * * * * [misc]points: Computing exacts on every 11 of 5989 points to ramp up precision 1540374566.345 * * * * [misc]points: Setting MPFR precision to 2112 1540374566.391 * * * * [misc]points: Setting MPFR precision to 2368 1540374566.457 * * * * [misc]points: Computing exacts on every 5 of 5989 points to ramp up precision 1540374566.458 * * * * [misc]points: Setting MPFR precision to 2112 1540374566.570 * * * * [misc]points: Setting MPFR precision to 2368 1540374566.696 * * * * [misc]points: Computing exacts on every 2 of 5989 points to ramp up precision 1540374566.698 * * * * [misc]points: Setting MPFR precision to 2112 1540374566.955 * * * * [misc]points: Setting MPFR precision to 2368 1540374567.194 * * * * [misc]points: Computing exacts for 5989 points 1540374567.195 * * * * [misc]points: Setting MPFR precision to 2112 1540374568.077 * * * * [misc]points: Setting MPFR precision to 2368 1540374568.927 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374568.929 * * * * [misc]points: Sampling 4474 additional inputs, on iter 2 have 3526 / 8000 1540374568.940 * * * * [misc]points: Computing exacts on every 279 of 4474 points to ramp up precision 1540374568.941 * * * * [misc]points: Setting MPFR precision to 2112 1540374569.299 * * * * [misc]points: Setting MPFR precision to 2368 1540374569.301 * * * * [misc]points: Computing exacts on every 139 of 4474 points to ramp up precision 1540374569.302 * * * * [misc]points: Setting MPFR precision to 2112 1540374569.307 * * * * [misc]points: Setting MPFR precision to 2368 1540374569.313 * * * * [misc]points: Computing exacts on every 69 of 4474 points to ramp up precision 1540374569.315 * * * * [misc]points: Setting MPFR precision to 2112 1540374569.323 * * * * [misc]points: Setting MPFR precision to 2368 1540374569.332 * * * * [misc]points: Computing exacts on every 34 of 4474 points to ramp up precision 1540374569.334 * * * * [misc]points: Setting MPFR precision to 2112 1540374569.353 * * * * [misc]points: Setting MPFR precision to 2368 1540374569.373 * * * * [misc]points: Computing exacts on every 17 of 4474 points to ramp up precision 1540374569.373 * * * * [misc]points: Setting MPFR precision to 2112 1540374569.394 * * * * [misc]points: Setting MPFR precision to 2368 1540374569.418 * * * * [misc]points: Computing exacts on every 8 of 4474 points to ramp up precision 1540374569.419 * * * * [misc]points: Setting MPFR precision to 2112 1540374569.464 * * * * [misc]points: Setting MPFR precision to 2368 1540374569.531 * * * * [misc]points: Computing exacts on every 4 of 4474 points to ramp up precision 1540374569.532 * * * * [misc]points: Setting MPFR precision to 2112 1540374569.676 * * * * [misc]points: Setting MPFR precision to 2368 1540374569.760 * * * * [misc]points: Computing exacts on every 2 of 4474 points to ramp up precision 1540374569.761 * * * * [misc]points: Setting MPFR precision to 2112 1540374569.983 * * * * [misc]points: Setting MPFR precision to 2368 1540374570.186 * * * * [misc]points: Computing exacts for 4474 points 1540374570.187 * * * * [misc]points: Setting MPFR precision to 2112 1540374570.916 * * * * [misc]points: Setting MPFR precision to 2368 1540374571.691 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374571.692 * * * * [misc]points: Sampling 3354 additional inputs, on iter 3 have 4646 / 8000 1540374571.706 * * * * [misc]points: Computing exacts on every 209 of 3354 points to ramp up precision 1540374571.707 * * * * [misc]points: Setting MPFR precision to 2112 1540374571.708 * * * * [misc]points: Setting MPFR precision to 2368 1540374571.710 * * * * [misc]points: Computing exacts on every 104 of 3354 points to ramp up precision 1540374571.711 * * * * [misc]points: Setting MPFR precision to 2112 1540374571.714 * * * * [misc]points: Setting MPFR precision to 2368 1540374571.717 * * * * [misc]points: Computing exacts on every 52 of 3354 points to ramp up precision 1540374571.718 * * * * [misc]points: Setting MPFR precision to 2112 1540374571.724 * * * * [misc]points: Setting MPFR precision to 2368 1540374571.732 * * * * [misc]points: Computing exacts on every 26 of 3354 points to ramp up precision 1540374571.733 * * * * [misc]points: Setting MPFR precision to 2112 1540374571.746 * * * * [misc]points: Setting MPFR precision to 2368 1540374571.760 * * * * [misc]points: Computing exacts on every 13 of 3354 points to ramp up precision 1540374571.761 * * * * [misc]points: Setting MPFR precision to 2112 1540374571.788 * * * * [misc]points: Setting MPFR precision to 2368 1540374571.846 * * * * [misc]points: Computing exacts on every 6 of 3354 points to ramp up precision 1540374571.848 * * * * [misc]points: Setting MPFR precision to 2112 1540374571.909 * * * * [misc]points: Setting MPFR precision to 2368 1540374571.993 * * * * [misc]points: Computing exacts on every 3 of 3354 points to ramp up precision 1540374571.994 * * * * [misc]points: Setting MPFR precision to 2112 1540374572.103 * * * * [misc]points: Setting MPFR precision to 2368 1540374572.261 * * * * [misc]points: Computing exacts for 3354 points 1540374572.263 * * * * [misc]points: Setting MPFR precision to 2112 1540374573.031 * * * * [misc]points: Setting MPFR precision to 2368 1540374573.554 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374573.554 * * * * [misc]points: Sampling 2504 additional inputs, on iter 4 have 5496 / 8000 1540374573.560 * * * * [misc]points: Computing exacts on every 156 of 2504 points to ramp up precision 1540374573.561 * * * * [misc]points: Setting MPFR precision to 2112 1540374573.563 * * * * [misc]points: Setting MPFR precision to 2368 1540374573.566 * * * * [misc]points: Computing exacts on every 78 of 2504 points to ramp up precision 1540374573.566 * * * * [misc]points: Setting MPFR precision to 2112 1540374573.570 * * * * [misc]points: Setting MPFR precision to 2368 1540374573.604 * * * * [misc]points: Computing exacts on every 39 of 2504 points to ramp up precision 1540374573.605 * * * * [misc]points: Setting MPFR precision to 2112 1540374573.613 * * * * [misc]points: Setting MPFR precision to 2368 1540374573.619 * * * * [misc]points: Computing exacts on every 19 of 2504 points to ramp up precision 1540374573.620 * * * * [misc]points: Setting MPFR precision to 2112 1540374573.631 * * * * [misc]points: Setting MPFR precision to 2368 1540374573.643 * * * * [misc]points: Computing exacts on every 9 of 2504 points to ramp up precision 1540374573.644 * * * * [misc]points: Setting MPFR precision to 2112 1540374573.678 * * * * [misc]points: Setting MPFR precision to 2368 1540374573.711 * * * * [misc]points: Computing exacts on every 4 of 2504 points to ramp up precision 1540374573.712 * * * * [misc]points: Setting MPFR precision to 2112 1540374573.794 * * * * [misc]points: Setting MPFR precision to 2368 1540374573.857 * * * * [misc]points: Computing exacts on every 2 of 2504 points to ramp up precision 1540374573.858 * * * * [misc]points: Setting MPFR precision to 2112 1540374573.983 * * * * [misc]points: Setting MPFR precision to 2368 1540374574.070 * * * * [misc]points: Computing exacts for 2504 points 1540374574.071 * * * * [misc]points: Setting MPFR precision to 2112 1540374574.426 * * * * [misc]points: Setting MPFR precision to 2368 1540374574.830 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374574.830 * * * * [misc]points: Sampling 1902 additional inputs, on iter 5 have 6098 / 8000 1540374574.835 * * * * [misc]points: Computing exacts on every 118 of 1902 points to ramp up precision 1540374574.836 * * * * [misc]points: Setting MPFR precision to 2112 1540374574.839 * * * * [misc]points: Setting MPFR precision to 2368 1540374574.841 * * * * [misc]points: Computing exacts on every 59 of 1902 points to ramp up precision 1540374574.842 * * * * [misc]points: Setting MPFR precision to 2112 1540374574.846 * * * * [misc]points: Setting MPFR precision to 2368 1540374574.851 * * * * [misc]points: Computing exacts on every 29 of 1902 points to ramp up precision 1540374574.852 * * * * [misc]points: Setting MPFR precision to 2112 1540374574.863 * * * * [misc]points: Setting MPFR precision to 2368 1540374574.876 * * * * [misc]points: Computing exacts on every 14 of 1902 points to ramp up precision 1540374574.878 * * * * [misc]points: Setting MPFR precision to 2112 1540374574.897 * * * * [misc]points: Setting MPFR precision to 2368 1540374574.920 * * * * [misc]points: Computing exacts on every 7 of 1902 points to ramp up precision 1540374574.922 * * * * [misc]points: Setting MPFR precision to 2112 1540374574.944 * * * * [misc]points: Setting MPFR precision to 2368 1540374574.968 * * * * [misc]points: Computing exacts on every 3 of 1902 points to ramp up precision 1540374574.969 * * * * [misc]points: Setting MPFR precision to 2112 1540374575.045 * * * * [misc]points: Setting MPFR precision to 2368 1540374575.096 * * * * [misc]points: Computing exacts for 1902 points 1540374575.097 * * * * [misc]points: Setting MPFR precision to 2112 1540374575.424 * * * * [misc]points: Setting MPFR precision to 2368 1540374575.715 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374575.716 * * * * [misc]points: Sampling 1456 additional inputs, on iter 6 have 6544 / 8000 1540374575.723 * * * * [misc]points: Computing exacts on every 91 of 1456 points to ramp up precision 1540374575.724 * * * * [misc]points: Setting MPFR precision to 2112 1540374575.728 * * * * [misc]points: Setting MPFR precision to 2368 1540374575.730 * * * * [misc]points: Computing exacts on every 45 of 1456 points to ramp up precision 1540374575.731 * * * * [misc]points: Setting MPFR precision to 2112 1540374575.734 * * * * [misc]points: Setting MPFR precision to 2368 1540374575.738 * * * * [misc]points: Computing exacts on every 22 of 1456 points to ramp up precision 1540374575.738 * * * * [misc]points: Setting MPFR precision to 2112 1540374575.768 * * * * [misc]points: Setting MPFR precision to 2368 1540374575.775 * * * * [misc]points: Computing exacts on every 11 of 1456 points to ramp up precision 1540374575.777 * * * * [misc]points: Setting MPFR precision to 2112 1540374575.793 * * * * [misc]points: Setting MPFR precision to 2368 1540374575.814 * * * * [misc]points: Computing exacts on every 5 of 1456 points to ramp up precision 1540374575.816 * * * * [misc]points: Setting MPFR precision to 2112 1540374575.855 * * * * [misc]points: Setting MPFR precision to 2368 1540374575.899 * * * * [misc]points: Computing exacts on every 2 of 1456 points to ramp up precision 1540374575.900 * * * * [misc]points: Setting MPFR precision to 2112 1540374575.984 * * * * [misc]points: Setting MPFR precision to 2368 1540374576.067 * * * * [misc]points: Computing exacts for 1456 points 1540374576.068 * * * * [misc]points: Setting MPFR precision to 2112 1540374576.568 * * * * [misc]points: Setting MPFR precision to 2368 1540374576.720 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374576.720 * * * * [misc]points: Sampling 1095 additional inputs, on iter 7 have 6905 / 8000 1540374576.723 * * * * [misc]points: Computing exacts on every 68 of 1095 points to ramp up precision 1540374576.724 * * * * [misc]points: Setting MPFR precision to 2112 1540374576.725 * * * * [misc]points: Setting MPFR precision to 2368 1540374576.726 * * * * [misc]points: Computing exacts on every 34 of 1095 points to ramp up precision 1540374576.727 * * * * [misc]points: Setting MPFR precision to 2112 1540374576.730 * * * * [misc]points: Setting MPFR precision to 2368 1540374576.764 * * * * [misc]points: Computing exacts on every 17 of 1095 points to ramp up precision 1540374576.766 * * * * [misc]points: Setting MPFR precision to 2112 1540374576.771 * * * * [misc]points: Setting MPFR precision to 2368 1540374576.779 * * * * [misc]points: Computing exacts on every 8 of 1095 points to ramp up precision 1540374576.780 * * * * [misc]points: Setting MPFR precision to 2112 1540374576.791 * * * * [misc]points: Setting MPFR precision to 2368 1540374576.804 * * * * [misc]points: Computing exacts on every 4 of 1095 points to ramp up precision 1540374576.805 * * * * [misc]points: Setting MPFR precision to 2112 1540374576.825 * * * * [misc]points: Setting MPFR precision to 2368 1540374576.846 * * * * [misc]points: Computing exacts on every 2 of 1095 points to ramp up precision 1540374576.847 * * * * [misc]points: Setting MPFR precision to 2112 1540374576.891 * * * * [misc]points: Setting MPFR precision to 2368 1540374576.940 * * * * [misc]points: Computing exacts for 1095 points 1540374576.941 * * * * [misc]points: Setting MPFR precision to 2112 1540374577.121 * * * * [misc]points: Setting MPFR precision to 2368 1540374577.266 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374577.266 * * * * [misc]points: Sampling 813 additional inputs, on iter 8 have 7187 / 8000 1540374577.268 * * * * [misc]points: Computing exacts on every 50 of 813 points to ramp up precision 1540374577.269 * * * * [misc]points: Setting MPFR precision to 2112 1540374577.270 * * * * [misc]points: Setting MPFR precision to 2368 1540374577.272 * * * * [misc]points: Computing exacts on every 25 of 813 points to ramp up precision 1540374577.273 * * * * [misc]points: Setting MPFR precision to 2112 1540374577.276 * * * * [misc]points: Setting MPFR precision to 2368 1540374577.280 * * * * [misc]points: Computing exacts on every 12 of 813 points to ramp up precision 1540374577.281 * * * * [misc]points: Setting MPFR precision to 2112 1540374577.287 * * * * [misc]points: Setting MPFR precision to 2368 1540374577.293 * * * * [misc]points: Computing exacts on every 6 of 813 points to ramp up precision 1540374577.294 * * * * [misc]points: Setting MPFR precision to 2112 1540374577.304 * * * * [misc]points: Setting MPFR precision to 2368 1540374577.314 * * * * [misc]points: Computing exacts on every 3 of 813 points to ramp up precision 1540374577.315 * * * * [misc]points: Setting MPFR precision to 2112 1540374577.354 * * * * [misc]points: Setting MPFR precision to 2368 1540374577.393 * * * * [misc]points: Computing exacts for 813 points 1540374577.394 * * * * [misc]points: Setting MPFR precision to 2112 1540374577.546 * * * * [misc]points: Setting MPFR precision to 2368 1540374577.666 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374577.666 * * * * [misc]points: Sampling 618 additional inputs, on iter 9 have 7382 / 8000 1540374577.669 * * * * [misc]points: Computing exacts on every 38 of 618 points to ramp up precision 1540374577.670 * * * * [misc]points: Setting MPFR precision to 2112 1540374577.671 * * * * [misc]points: Setting MPFR precision to 2368 1540374577.673 * * * * [misc]points: Computing exacts on every 19 of 618 points to ramp up precision 1540374577.674 * * * * [misc]points: Setting MPFR precision to 2112 1540374577.680 * * * * [misc]points: Setting MPFR precision to 2368 1540374577.686 * * * * [misc]points: Computing exacts on every 9 of 618 points to ramp up precision 1540374577.687 * * * * [misc]points: Setting MPFR precision to 2112 1540374577.696 * * * * [misc]points: Setting MPFR precision to 2368 1540374577.704 * * * * [misc]points: Computing exacts on every 4 of 618 points to ramp up precision 1540374577.705 * * * * [misc]points: Setting MPFR precision to 2112 1540374577.717 * * * * [misc]points: Setting MPFR precision to 2368 1540374577.730 * * * * [misc]points: Computing exacts on every 2 of 618 points to ramp up precision 1540374577.730 * * * * [misc]points: Setting MPFR precision to 2112 1540374577.748 * * * * [misc]points: Setting MPFR precision to 2368 1540374577.767 * * * * [misc]points: Computing exacts for 618 points 1540374577.768 * * * * [misc]points: Setting MPFR precision to 2112 1540374577.879 * * * * [misc]points: Setting MPFR precision to 2368 1540374577.986 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374577.986 * * * * [misc]points: Sampling 468 additional inputs, on iter 10 have 7532 / 8000 1540374577.987 * * * * [misc]points: Computing exacts on every 29 of 468 points to ramp up precision 1540374577.988 * * * * [misc]points: Setting MPFR precision to 2112 1540374577.989 * * * * [misc]points: Setting MPFR precision to 2368 1540374577.991 * * * * [misc]points: Computing exacts on every 14 of 468 points to ramp up precision 1540374577.992 * * * * [misc]points: Setting MPFR precision to 2112 1540374577.994 * * * * [misc]points: Setting MPFR precision to 2368 1540374577.998 * * * * [misc]points: Computing exacts on every 7 of 468 points to ramp up precision 1540374577.999 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.004 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.009 * * * * [misc]points: Computing exacts on every 3 of 468 points to ramp up precision 1540374578.009 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.022 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.033 * * * * [misc]points: Computing exacts for 468 points 1540374578.033 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.094 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.169 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.169 * * * * [misc]points: Sampling 341 additional inputs, on iter 11 have 7659 / 8000 1540374578.170 * * * * [misc]points: Computing exacts on every 21 of 341 points to ramp up precision 1540374578.171 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.172 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.176 * * * * [misc]points: Computing exacts on every 10 of 341 points to ramp up precision 1540374578.177 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.179 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.182 * * * * [misc]points: Computing exacts on every 5 of 341 points to ramp up precision 1540374578.183 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.188 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.199 * * * * [misc]points: Computing exacts on every 2 of 341 points to ramp up precision 1540374578.200 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.218 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.229 * * * * [misc]points: Computing exacts for 341 points 1540374578.230 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.264 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.320 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.320 * * * * [misc]points: Sampling 260 additional inputs, on iter 12 have 7740 / 8000 1540374578.321 * * * * [misc]points: Computing exacts on every 16 of 260 points to ramp up precision 1540374578.323 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.325 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.328 * * * * [misc]points: Computing exacts on every 8 of 260 points to ramp up precision 1540374578.329 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.333 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.339 * * * * [misc]points: Computing exacts on every 4 of 260 points to ramp up precision 1540374578.341 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.346 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.352 * * * * [misc]points: Computing exacts on every 2 of 260 points to ramp up precision 1540374578.353 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.366 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.379 * * * * [misc]points: Computing exacts for 260 points 1540374578.380 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.400 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.430 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.430 * * * * [misc]points: Sampling 199 additional inputs, on iter 13 have 7801 / 8000 1540374578.431 * * * * [misc]points: Computing exacts on every 12 of 199 points to ramp up precision 1540374578.432 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.433 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.434 * * * * [misc]points: Computing exacts on every 6 of 199 points to ramp up precision 1540374578.435 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.437 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.468 * * * * [misc]points: Computing exacts on every 3 of 199 points to ramp up precision 1540374578.469 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.477 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.487 * * * * [misc]points: Computing exacts for 199 points 1540374578.489 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.525 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.560 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.560 * * * * [misc]points: Sampling 139 additional inputs, on iter 14 have 7861 / 8000 1540374578.561 * * * * [misc]points: Computing exacts on every 8 of 139 points to ramp up precision 1540374578.562 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.565 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.567 * * * * [misc]points: Computing exacts on every 4 of 139 points to ramp up precision 1540374578.569 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.572 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.578 * * * * [misc]points: Computing exacts on every 2 of 139 points to ramp up precision 1540374578.579 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.587 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.594 * * * * [misc]points: Computing exacts for 139 points 1540374578.594 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.608 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.623 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.623 * * * * [misc]points: Sampling 96 additional inputs, on iter 15 have 7904 / 8000 1540374578.623 * * * * [misc]points: Computing exacts on every 6 of 96 points to ramp up precision 1540374578.624 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.625 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.626 * * * * [misc]points: Computing exacts on every 3 of 96 points to ramp up precision 1540374578.627 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.629 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.630 * * * * [misc]points: Computing exacts for 96 points 1540374578.631 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.639 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.651 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.651 * * * * [misc]points: Sampling 78 additional inputs, on iter 16 have 7922 / 8000 1540374578.651 * * * * [misc]points: Computing exacts on every 4 of 78 points to ramp up precision 1540374578.652 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.654 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.655 * * * * [misc]points: Computing exacts on every 2 of 78 points to ramp up precision 1540374578.656 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.658 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.660 * * * * [misc]points: Computing exacts for 78 points 1540374578.660 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.667 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.677 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.677 * * * * [misc]points: Sampling 60 additional inputs, on iter 17 have 7940 / 8000 1540374578.677 * * * * [misc]points: Computing exacts on every 3 of 60 points to ramp up precision 1540374578.679 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.681 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.683 * * * * [misc]points: Computing exacts for 60 points 1540374578.684 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.693 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.702 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.702 * * * * [misc]points: Sampling 42 additional inputs, on iter 18 have 7958 / 8000 1540374578.703 * * * * [misc]points: Computing exacts on every 2 of 42 points to ramp up precision 1540374578.703 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.705 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.707 * * * * [misc]points: Computing exacts for 42 points 1540374578.708 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.712 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.718 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.718 * * * * [misc]points: Sampling 29 additional inputs, on iter 19 have 7971 / 8000 1540374578.719 * * * * [misc]points: Computing exacts for 29 points 1540374578.719 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.722 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.726 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.726 * * * * [misc]points: Sampling 25 additional inputs, on iter 20 have 7975 / 8000 1540374578.726 * * * * [misc]points: Computing exacts for 25 points 1540374578.727 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.730 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.734 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.735 * * * * [misc]points: Sampling 19 additional inputs, on iter 21 have 7981 / 8000 1540374578.735 * * * * [misc]points: Computing exacts for 19 points 1540374578.736 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.738 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.741 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.741 * * * * [misc]points: Sampling 16 additional inputs, on iter 22 have 7984 / 8000 1540374578.741 * * * * [misc]points: Computing exacts for 16 points 1540374578.742 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.744 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.746 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.746 * * * * [misc]points: Sampling 13 additional inputs, on iter 23 have 7987 / 8000 1540374578.746 * * * * [misc]points: Computing exacts for 13 points 1540374578.748 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.750 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.752 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.752 * * * * [misc]points: Sampling 10 additional inputs, on iter 24 have 7990 / 8000 1540374578.752 * * * * [misc]points: Computing exacts for 10 points 1540374578.753 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.754 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.756 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.756 * * * * [misc]points: Sampling 8 additional inputs, on iter 25 have 7992 / 8000 1540374578.756 * * * * [misc]points: Computing exacts for 8 points 1540374578.757 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.758 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.759 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.759 * * * * [misc]points: Sampling 7 additional inputs, on iter 26 have 7993 / 8000 1540374578.759 * * * * [misc]points: Computing exacts for 7 points 1540374578.760 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.761 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.761 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.761 * * * * [misc]points: Sampling 7 additional inputs, on iter 27 have 7993 / 8000 1540374578.762 * * * * [misc]points: Computing exacts for 7 points 1540374578.763 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.763 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.764 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.764 * * * * [misc]points: Sampling 6 additional inputs, on iter 28 have 7994 / 8000 1540374578.764 * * * * [misc]points: Computing exacts for 6 points 1540374578.765 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.795 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.796 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.796 * * * * [misc]points: Sampling 6 additional inputs, on iter 29 have 7994 / 8000 1540374578.796 * * * * [misc]points: Computing exacts for 6 points 1540374578.797 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.798 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.798 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.798 * * * * [misc]points: Sampling 5 additional inputs, on iter 30 have 7995 / 8000 1540374578.798 * * * * [misc]points: Computing exacts for 5 points 1540374578.799 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.799 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.800 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.800 * * * * [misc]points: Sampling 4 additional inputs, on iter 31 have 7997 / 8000 1540374578.800 * * * * [misc]points: Computing exacts for 4 points 1540374578.801 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.801 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.801 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.801 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7997 / 8000 1540374578.801 * * * * [misc]points: Computing exacts for 4 points 1540374578.802 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.802 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.803 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.803 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 7999 / 8000 1540374578.803 * * * * [misc]points: Computing exacts for 4 points 1540374578.804 * * * * [misc]points: Setting MPFR precision to 2112 1540374578.806 * * * * [misc]points: Setting MPFR precision to 2368 1540374578.806 * * * * [misc]points: Filtering points with unrepresentable outputs 1540374578.807 * * * * [exit]points: Sampled 8001 points with exact outputs 1540374579.105 * [misc]regime-testing: Baseline error score: 30.720551557940375 1540374579.105 * [misc]regime-testing: End program error score: 30.720551557940375 1540374579.107 * [misc]regime-testing: Oracle error score: 30.720551557940375