1537440764.055 * [misc]progress:  [Phase 1 of 3] Setting up.
1537440764.055 * * * [misc]progress:  [1/2] Preparing points
1537440764.055 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1537440764.056 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1537440764.058 * * * * [misc]points:  Setting MPFR precision to 64
1537440764.059 * * * * [misc]points:  Setting MPFR precision to 320
1537440764.060 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1537440764.062 * * * * [misc]points:  Setting MPFR precision to 64
1537440764.063 * * * * [misc]points:  Setting MPFR precision to 320
1537440764.065 * * * * [misc]points:  Setting MPFR precision to 576
1537440764.067 * * * * [misc]points:  Setting MPFR precision to 832
1537440764.070 * * * * [misc]points:  Setting MPFR precision to 1088
1537440764.072 * * * * [misc]points:  Setting MPFR precision to 1344
1537440764.073 * * * * [misc]points:  Setting MPFR precision to 1600
1537440764.075 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1537440764.076 * * * * [misc]points:  Setting MPFR precision to 1344
1537440764.079 * * * * [misc]points:  Setting MPFR precision to 1600
1537440764.082 * * * * [misc]points:  Setting MPFR precision to 1856
1537440764.086 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.091 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.098 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1537440764.099 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.106 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.116 * * * * [misc]points:  Computing exacts for 256 points
1537440764.117 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.142 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.172 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440764.172 * * * * [misc]points:  Sampling 198 additional inputs, on iter 1 have 58 / 256
1537440764.172 * * * * [misc]points:  Computing exacts on every 12 of 198 points to ramp up precision
1537440764.173 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.175 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.176 * * * * [misc]points:  Computing exacts on every 6 of 198 points to ramp up precision
1537440764.177 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.181 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.186 * * * * [misc]points:  Computing exacts on every 3 of 198 points to ramp up precision
1537440764.188 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.197 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.230 * * * * [misc]points:  Computing exacts for 198 points
1537440764.231 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.252 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.277 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440764.278 * * * * [misc]points:  Sampling 143 additional inputs, on iter 2 have 113 / 256
1537440764.278 * * * * [misc]points:  Computing exacts on every 8 of 143 points to ramp up precision
1537440764.280 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.284 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.287 * * * * [misc]points:  Computing exacts on every 4 of 143 points to ramp up precision
1537440764.289 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.294 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.300 * * * * [misc]points:  Computing exacts on every 2 of 143 points to ramp up precision
1537440764.301 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.310 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.319 * * * * [misc]points:  Computing exacts for 143 points
1537440764.321 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.338 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.353 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440764.353 * * * * [misc]points:  Sampling 106 additional inputs, on iter 3 have 150 / 256
1537440764.353 * * * * [misc]points:  Computing exacts on every 6 of 106 points to ramp up precision
1537440764.354 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.356 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.358 * * * * [misc]points:  Computing exacts on every 3 of 106 points to ramp up precision
1537440764.359 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.362 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.366 * * * * [misc]points:  Computing exacts for 106 points
1537440764.367 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.381 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.395 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440764.395 * * * * [misc]points:  Sampling 64 additional inputs, on iter 4 have 192 / 256
1537440764.395 * * * * [misc]points:  Computing exacts on every 4 of 64 points to ramp up precision
1537440764.396 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.397 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.399 * * * * [misc]points:  Computing exacts on every 2 of 64 points to ramp up precision
1537440764.400 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.402 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.404 * * * * [misc]points:  Computing exacts for 64 points
1537440764.405 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.411 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.417 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440764.417 * * * * [misc]points:  Sampling 48 additional inputs, on iter 5 have 208 / 256
1537440764.417 * * * * [misc]points:  Computing exacts on every 3 of 48 points to ramp up precision
1537440764.418 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.420 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.422 * * * * [misc]points:  Computing exacts for 48 points
1537440764.423 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.433 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.444 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440764.445 * * * * [misc]points:  Sampling 29 additional inputs, on iter 6 have 227 / 256
1537440764.445 * * * * [misc]points:  Computing exacts for 29 points
1537440764.447 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.452 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.457 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440764.457 * * * * [misc]points:  Sampling 22 additional inputs, on iter 7 have 234 / 256
1537440764.457 * * * * [misc]points:  Computing exacts for 22 points
1537440764.459 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.462 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.467 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440764.467 * * * * [misc]points:  Sampling 15 additional inputs, on iter 8 have 241 / 256
1537440764.467 * * * * [misc]points:  Computing exacts for 15 points
1537440764.468 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.469 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.471 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440764.471 * * * * [misc]points:  Sampling 11 additional inputs, on iter 9 have 245 / 256
1537440764.471 * * * * [misc]points:  Computing exacts for 11 points
1537440764.472 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.473 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.474 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440764.474 * * * * [misc]points:  Sampling 7 additional inputs, on iter 10 have 249 / 256
1537440764.474 * * * * [misc]points:  Computing exacts for 7 points
1537440764.475 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.476 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.477 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440764.477 * * * * [misc]points:  Sampling 5 additional inputs, on iter 11 have 251 / 256
1537440764.477 * * * * [misc]points:  Computing exacts for 5 points
1537440764.478 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.478 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.478 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440764.478 * * * * [misc]points:  Sampling 5 additional inputs, on iter 12 have 251 / 256
1537440764.478 * * * * [misc]points:  Computing exacts for 5 points
1537440764.479 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.479 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.480 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440764.480 * * * * [misc]points:  Sampling 5 additional inputs, on iter 13 have 251 / 256
1537440764.480 * * * * [misc]points:  Computing exacts for 5 points
1537440764.481 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.481 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.481 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440764.481 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 252 / 256
1537440764.481 * * * * [misc]points:  Computing exacts for 4 points
1537440764.482 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.483 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.483 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440764.483 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 252 / 256
1537440764.483 * * * * [misc]points:  Computing exacts for 4 points
1537440764.484 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.484 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.484 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440764.484 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 253 / 256
1537440764.484 * * * * [misc]points:  Computing exacts for 4 points
1537440764.485 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.486 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.486 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440764.486 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 254 / 256
1537440764.486 * * * * [misc]points:  Computing exacts for 4 points
1537440764.487 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.509 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.510 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440764.510 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 255 / 256
1537440764.510 * * * * [misc]points:  Computing exacts for 4 points
1537440764.512 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.514 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.516 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440764.516 * * * * [exit]points:  Sampled 256 points with exact outputs
1537440764.516 * * * [misc]progress:  [2/2] Setting up program.
1537440764.526 * [misc]progress:  [Phase 2 of 3] Improving.
1537440764.527 * [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (* a a))
1537440764.528 * * [misc]simplify:  iters left: 4 (6 enodes)
1537440764.530 * [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
1537440764.546 * * [misc]progress:  iteration 1 / 4
1537440764.546 * * * [misc]progress:  picking best candidate
1537440764.554 * * * * [misc]pick:  Picked  #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1537440764.554 * * * [misc]progress:  localizing error
1537440764.620 * * * [misc]progress:  generating rewritten candidates
1537440764.621 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1 1)
1537440764.622 * * * [misc]progress:  generating series expansions
1537440764.622 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1 1)
1537440764.622 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1537440764.622 * [misc]approximate:  Taking taylor expansion of (fmod a (asin a)) in (a) around 0
1537440764.622 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1537440764.622 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1537440764.622 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1537440764.622 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1537440764.622 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1537440764.622 * [misc]backup-simplify:  Simplify 0 into 0
1537440764.622 * [misc]backup-simplify:  Simplify 0 into 0
1537440764.622 * [misc]backup-simplify:  Simplify 0 into 0
1537440764.622 * [misc]backup-simplify:  Simplify 0 into 0
1537440764.622 * [misc]backup-simplify:  Simplify 0 into 0
1537440764.622 * [misc]backup-simplify:  Simplify 0 into 0
1537440764.622 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1537440764.622 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1537440764.622 * [misc]approximate:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0
1537440764.622 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1537440764.622 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1537440764.622 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1537440764.623 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1537440764.623 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1537440764.623 * [misc]backup-simplify:  Simplify 0 into 0
1537440764.623 * [misc]backup-simplify:  Simplify 0 into 0
1537440764.623 * [misc]backup-simplify:  Simplify 0 into 0
1537440764.623 * [misc]backup-simplify:  Simplify 0 into 0
1537440764.623 * [misc]backup-simplify:  Simplify 0 into 0
1537440764.623 * [misc]backup-simplify:  Simplify 0 into 0
1537440764.623 * [misc]backup-simplify:  Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a))
1537440764.623 * [misc]backup-simplify:  Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a)))
1537440764.623 * [misc]approximate:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0
1537440764.623 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1537440764.623 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1537440764.623 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1537440764.623 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1537440764.623 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1537440764.623 * [misc]backup-simplify:  Simplify 0 into 0
1537440764.623 * [misc]backup-simplify:  Simplify 0 into 0
1537440764.623 * [misc]backup-simplify:  Simplify 0 into 0
1537440764.623 * [misc]backup-simplify:  Simplify 0 into 0
1537440764.623 * [misc]backup-simplify:  Simplify 0 into 0
1537440764.623 * [misc]backup-simplify:  Simplify 0 into 0
1537440764.623 * [misc]backup-simplify:  Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a))
1537440764.623 * * * [misc]progress:  simplifying candidates
1537440764.623 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (log1p (expm1 (fmod a (asin a))))) (* a a)))>
1537440764.624 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)))>
1537440764.624 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (pow (fmod a (asin a)) 1)) (* a a)))>
1537440764.624 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (exp (log (fmod a (asin a))))) (* a a)))>
1537440764.624 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (log (exp (fmod a (asin a))))) (* a a)))>
1537440764.624 * * * * [misc]progress:  [ 6 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
1537440764.624 * * * * [misc]progress:  [ 7 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (cbrt (* (* (fmod a (asin a)) (fmod a (asin a))) (fmod a (asin a))))) (* a a)))>
1537440764.624 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (sqrt (fmod a (asin a))) (sqrt (fmod a (asin a))))) (* a a)))>
1537440764.624 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (* 1 (fmod a (asin a)))) (* a a)))>
1537440764.624 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1537440764.624 * [enter]simplify:  Simplifying (fmod a (asin a))
1537440764.624 * * [misc]simplify:  iters left: 2 (3 enodes)
1537440764.625 * [exit]simplify:  Simplified to (fmod a (asin a))
1537440764.625 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1537440764.625 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1537440764.625 * [enter]simplify:  Simplifying (fmod a (asin a))
1537440764.625 * * [misc]simplify:  iters left: 2 (3 enodes)
1537440764.625 * [exit]simplify:  Simplified to (fmod a (asin a))
1537440764.626 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1537440764.626 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1537440764.626 * [enter]simplify:  Simplifying (fmod a (asin a))
1537440764.626 * * [misc]simplify:  iters left: 2 (3 enodes)
1537440764.626 * [exit]simplify:  Simplified to (fmod a (asin a))
1537440764.626 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1537440764.626 * * * [misc]progress:  adding candidates to table
1537440764.828 * [misc]progress:  [Phase 3 of 3] Extracting.
1537440764.836 * [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (* a a))
1537440764.837 * * [misc]simplify:  iters left: 4 (6 enodes)
1537440764.838 * [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
1537440764.838 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1537440764.873 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1537440764.875 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.877 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.880 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1537440764.881 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.888 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.895 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1537440764.897 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.908 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.919 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1537440764.921 * * * * [misc]points:  Setting MPFR precision to 2112
1537440764.942 * * * * [misc]points:  Setting MPFR precision to 2368
1537440764.965 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1537440764.966 * * * * [misc]points:  Setting MPFR precision to 2112
1537440765.021 * * * * [misc]points:  Setting MPFR precision to 2368
1537440765.071 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1537440765.073 * * * * [misc]points:  Setting MPFR precision to 2112
1537440765.133 * * * * [misc]points:  Setting MPFR precision to 2368
1537440765.221 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1537440765.222 * * * * [misc]points:  Setting MPFR precision to 2112
1537440765.334 * * * * [misc]points:  Setting MPFR precision to 2368
1537440765.529 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1537440765.531 * * * * [misc]points:  Setting MPFR precision to 2112
1537440765.810 * * * * [misc]points:  Setting MPFR precision to 2368
1537440766.127 * * * * [misc]points:  Computing exacts for 8000 points
1537440766.129 * * * * [misc]points:  Setting MPFR precision to 2112
1537440767.551 * * * * [misc]points:  Setting MPFR precision to 2368
1537440768.891 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440768.893 * * * * [misc]points:  Sampling 5973 additional inputs, on iter 1 have 2027 / 8000
1537440768.920 * * * * [misc]points:  Computing exacts on every 373 of 5973 points to ramp up precision
1537440768.922 * * * * [misc]points:  Setting MPFR precision to 2112
1537440768.939 * * * * [misc]points:  Setting MPFR precision to 2368
1537440768.940 * * * * [misc]points:  Computing exacts on every 186 of 5973 points to ramp up precision
1537440768.942 * * * * [misc]points:  Setting MPFR precision to 2112
1537440768.945 * * * * [misc]points:  Setting MPFR precision to 2368
1537440768.948 * * * * [misc]points:  Computing exacts on every 93 of 5973 points to ramp up precision
1537440768.949 * * * * [misc]points:  Setting MPFR precision to 2112
1537440768.955 * * * * [misc]points:  Setting MPFR precision to 2368
1537440768.962 * * * * [misc]points:  Computing exacts on every 46 of 5973 points to ramp up precision
1537440768.963 * * * * [misc]points:  Setting MPFR precision to 2112
1537440768.974 * * * * [misc]points:  Setting MPFR precision to 2368
1537440768.988 * * * * [misc]points:  Computing exacts on every 23 of 5973 points to ramp up precision
1537440768.989 * * * * [misc]points:  Setting MPFR precision to 2112
1537440769.012 * * * * [misc]points:  Setting MPFR precision to 2368
1537440769.043 * * * * [misc]points:  Computing exacts on every 11 of 5973 points to ramp up precision
1537440769.045 * * * * [misc]points:  Setting MPFR precision to 2112
1537440769.118 * * * * [misc]points:  Setting MPFR precision to 2368
1537440769.179 * * * * [misc]points:  Computing exacts on every 5 of 5973 points to ramp up precision
1537440769.181 * * * * [misc]points:  Setting MPFR precision to 2112
1537440769.348 * * * * [misc]points:  Setting MPFR precision to 2368
1537440769.489 * * * * [misc]points:  Computing exacts on every 2 of 5973 points to ramp up precision
1537440769.491 * * * * [misc]points:  Setting MPFR precision to 2112
1537440769.825 * * * * [misc]points:  Setting MPFR precision to 2368
1537440770.462 * * * * [misc]points:  Computing exacts for 5973 points
1537440770.463 * * * * [misc]points:  Setting MPFR precision to 2112
1537440771.278 * * * * [misc]points:  Setting MPFR precision to 2368
1537440772.244 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440772.245 * * * * [misc]points:  Sampling 4487 additional inputs, on iter 2 have 3513 / 8000
1537440772.256 * * * * [misc]points:  Computing exacts on every 280 of 4487 points to ramp up precision
1537440772.257 * * * * [misc]points:  Setting MPFR precision to 2112
1537440772.275 * * * * [misc]points:  Setting MPFR precision to 2368
1537440772.277 * * * * [misc]points:  Computing exacts on every 140 of 4487 points to ramp up precision
1537440772.278 * * * * [misc]points:  Setting MPFR precision to 2112
1537440772.281 * * * * [misc]points:  Setting MPFR precision to 2368
1537440772.285 * * * * [misc]points:  Computing exacts on every 70 of 4487 points to ramp up precision
1537440772.287 * * * * [misc]points:  Setting MPFR precision to 2112
1537440772.295 * * * * [misc]points:  Setting MPFR precision to 2368
1537440772.309 * * * * [misc]points:  Computing exacts on every 35 of 4487 points to ramp up precision
1537440772.311 * * * * [misc]points:  Setting MPFR precision to 2112
1537440772.332 * * * * [misc]points:  Setting MPFR precision to 2368
1537440772.355 * * * * [misc]points:  Computing exacts on every 17 of 4487 points to ramp up precision
1537440772.357 * * * * [misc]points:  Setting MPFR precision to 2112
1537440772.398 * * * * [misc]points:  Setting MPFR precision to 2368
1537440772.425 * * * * [misc]points:  Computing exacts on every 8 of 4487 points to ramp up precision
1537440772.427 * * * * [misc]points:  Setting MPFR precision to 2112
1537440772.507 * * * * [misc]points:  Setting MPFR precision to 2368
1537440772.605 * * * * [misc]points:  Computing exacts on every 4 of 4487 points to ramp up precision
1537440772.607 * * * * [misc]points:  Setting MPFR precision to 2112
1537440772.793 * * * * [misc]points:  Setting MPFR precision to 2368
1537440772.934 * * * * [misc]points:  Computing exacts on every 2 of 4487 points to ramp up precision
1537440772.935 * * * * [misc]points:  Setting MPFR precision to 2112
1537440773.134 * * * * [misc]points:  Setting MPFR precision to 2368
1537440773.361 * * * * [misc]points:  Computing exacts for 4487 points
1537440773.362 * * * * [misc]points:  Setting MPFR precision to 2112
1537440774.389 * * * * [misc]points:  Setting MPFR precision to 2368
1537440775.210 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440775.211 * * * * [misc]points:  Sampling 3309 additional inputs, on iter 3 have 4691 / 8000
1537440775.218 * * * * [misc]points:  Computing exacts on every 206 of 3309 points to ramp up precision
1537440775.220 * * * * [misc]points:  Setting MPFR precision to 2112
1537440775.246 * * * * [misc]points:  Setting MPFR precision to 2368
1537440775.249 * * * * [misc]points:  Computing exacts on every 103 of 3309 points to ramp up precision
1537440775.250 * * * * [misc]points:  Setting MPFR precision to 2112
1537440775.260 * * * * [misc]points:  Setting MPFR precision to 2368
1537440775.268 * * * * [misc]points:  Computing exacts on every 51 of 3309 points to ramp up precision
1537440775.269 * * * * [misc]points:  Setting MPFR precision to 2112
1537440775.282 * * * * [misc]points:  Setting MPFR precision to 2368
1537440775.296 * * * * [misc]points:  Computing exacts on every 25 of 3309 points to ramp up precision
1537440775.298 * * * * [misc]points:  Setting MPFR precision to 2112
1537440775.322 * * * * [misc]points:  Setting MPFR precision to 2368
1537440775.350 * * * * [misc]points:  Computing exacts on every 12 of 3309 points to ramp up precision
1537440775.352 * * * * [misc]points:  Setting MPFR precision to 2112
1537440775.383 * * * * [misc]points:  Setting MPFR precision to 2368
1537440775.423 * * * * [misc]points:  Computing exacts on every 6 of 3309 points to ramp up precision
1537440775.424 * * * * [misc]points:  Setting MPFR precision to 2112
1537440775.482 * * * * [misc]points:  Setting MPFR precision to 2368
1537440775.555 * * * * [misc]points:  Computing exacts on every 3 of 3309 points to ramp up precision
1537440775.556 * * * * [misc]points:  Setting MPFR precision to 2112
1537440775.712 * * * * [misc]points:  Setting MPFR precision to 2368
1537440775.871 * * * * [misc]points:  Computing exacts for 3309 points
1537440775.872 * * * * [misc]points:  Setting MPFR precision to 2112
1537440776.372 * * * * [misc]points:  Setting MPFR precision to 2368
1537440776.881 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440776.882 * * * * [misc]points:  Sampling 2488 additional inputs, on iter 4 have 5512 / 8000
1537440776.888 * * * * [misc]points:  Computing exacts on every 155 of 2488 points to ramp up precision
1537440776.889 * * * * [misc]points:  Setting MPFR precision to 2112
1537440776.890 * * * * [misc]points:  Setting MPFR precision to 2368
1537440776.891 * * * * [misc]points:  Computing exacts on every 77 of 2488 points to ramp up precision
1537440776.892 * * * * [misc]points:  Setting MPFR precision to 2112
1537440776.895 * * * * [misc]points:  Setting MPFR precision to 2368
1537440776.897 * * * * [misc]points:  Computing exacts on every 38 of 2488 points to ramp up precision
1537440776.898 * * * * [misc]points:  Setting MPFR precision to 2112
1537440776.905 * * * * [misc]points:  Setting MPFR precision to 2368
1537440776.914 * * * * [misc]points:  Computing exacts on every 19 of 2488 points to ramp up precision
1537440776.916 * * * * [misc]points:  Setting MPFR precision to 2112
1537440776.935 * * * * [misc]points:  Setting MPFR precision to 2368
1537440776.957 * * * * [misc]points:  Computing exacts on every 9 of 2488 points to ramp up precision
1537440776.958 * * * * [misc]points:  Setting MPFR precision to 2112
1537440776.999 * * * * [misc]points:  Setting MPFR precision to 2368
1537440777.403 * * * * [misc]points:  Computing exacts on every 4 of 2488 points to ramp up precision
1537440777.405 * * * * [misc]points:  Setting MPFR precision to 2112
1537440777.469 * * * * [misc]points:  Setting MPFR precision to 2368
1537440777.544 * * * * [misc]points:  Computing exacts on every 2 of 2488 points to ramp up precision
1537440777.545 * * * * [misc]points:  Setting MPFR precision to 2112
1537440777.644 * * * * [misc]points:  Setting MPFR precision to 2368
1537440777.802 * * * * [misc]points:  Computing exacts for 2488 points
1537440777.803 * * * * [misc]points:  Setting MPFR precision to 2112
1537440778.181 * * * * [misc]points:  Setting MPFR precision to 2368
1537440778.535 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440778.535 * * * * [misc]points:  Sampling 1846 additional inputs, on iter 5 have 6154 / 8000
1537440778.540 * * * * [misc]points:  Computing exacts on every 115 of 1846 points to ramp up precision
1537440778.541 * * * * [misc]points:  Setting MPFR precision to 2112
1537440778.543 * * * * [misc]points:  Setting MPFR precision to 2368
1537440778.545 * * * * [misc]points:  Computing exacts on every 57 of 1846 points to ramp up precision
1537440778.546 * * * * [misc]points:  Setting MPFR precision to 2112
1537440778.550 * * * * [misc]points:  Setting MPFR precision to 2368
1537440778.555 * * * * [misc]points:  Computing exacts on every 28 of 1846 points to ramp up precision
1537440778.557 * * * * [misc]points:  Setting MPFR precision to 2112
1537440778.568 * * * * [misc]points:  Setting MPFR precision to 2368
1537440778.580 * * * * [misc]points:  Computing exacts on every 14 of 1846 points to ramp up precision
1537440778.581 * * * * [misc]points:  Setting MPFR precision to 2112
1537440778.594 * * * * [misc]points:  Setting MPFR precision to 2368
1537440778.613 * * * * [misc]points:  Computing exacts on every 7 of 1846 points to ramp up precision
1537440778.614 * * * * [misc]points:  Setting MPFR precision to 2112
1537440778.643 * * * * [misc]points:  Setting MPFR precision to 2368
1537440778.684 * * * * [misc]points:  Computing exacts on every 3 of 1846 points to ramp up precision
1537440778.686 * * * * [misc]points:  Setting MPFR precision to 2112
1537440778.745 * * * * [misc]points:  Setting MPFR precision to 2368
1537440778.852 * * * * [misc]points:  Computing exacts for 1846 points
1537440778.853 * * * * [misc]points:  Setting MPFR precision to 2112
1537440779.061 * * * * [misc]points:  Setting MPFR precision to 2368
1537440779.363 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440779.363 * * * * [misc]points:  Sampling 1397 additional inputs, on iter 6 have 6603 / 8000
1537440779.366 * * * * [misc]points:  Computing exacts on every 87 of 1397 points to ramp up precision
1537440779.368 * * * * [misc]points:  Setting MPFR precision to 2112
1537440779.370 * * * * [misc]points:  Setting MPFR precision to 2368
1537440779.372 * * * * [misc]points:  Computing exacts on every 43 of 1397 points to ramp up precision
1537440779.373 * * * * [misc]points:  Setting MPFR precision to 2112
1537440779.376 * * * * [misc]points:  Setting MPFR precision to 2368
1537440779.381 * * * * [misc]points:  Computing exacts on every 21 of 1397 points to ramp up precision
1537440779.382 * * * * [misc]points:  Setting MPFR precision to 2112
1537440779.389 * * * * [misc]points:  Setting MPFR precision to 2368
1537440779.396 * * * * [misc]points:  Computing exacts on every 10 of 1397 points to ramp up precision
1537440779.398 * * * * [misc]points:  Setting MPFR precision to 2112
1537440779.411 * * * * [misc]points:  Setting MPFR precision to 2368
1537440779.451 * * * * [misc]points:  Computing exacts on every 5 of 1397 points to ramp up precision
1537440779.453 * * * * [misc]points:  Setting MPFR precision to 2112
1537440779.496 * * * * [misc]points:  Setting MPFR precision to 2368
1537440779.537 * * * * [misc]points:  Computing exacts on every 2 of 1397 points to ramp up precision
1537440779.539 * * * * [misc]points:  Setting MPFR precision to 2112
1537440779.591 * * * * [misc]points:  Setting MPFR precision to 2368
1537440779.653 * * * * [misc]points:  Computing exacts for 1397 points
1537440779.654 * * * * [misc]points:  Setting MPFR precision to 2112
1537440779.864 * * * * [misc]points:  Setting MPFR precision to 2368
1537440780.059 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440780.059 * * * * [misc]points:  Sampling 1058 additional inputs, on iter 7 have 6942 / 8000
1537440780.061 * * * * [misc]points:  Computing exacts on every 66 of 1058 points to ramp up precision
1537440780.063 * * * * [misc]points:  Setting MPFR precision to 2112
1537440780.064 * * * * [misc]points:  Setting MPFR precision to 2368
1537440780.066 * * * * [misc]points:  Computing exacts on every 33 of 1058 points to ramp up precision
1537440780.067 * * * * [misc]points:  Setting MPFR precision to 2112
1537440780.071 * * * * [misc]points:  Setting MPFR precision to 2368
1537440780.075 * * * * [misc]points:  Computing exacts on every 16 of 1058 points to ramp up precision
1537440780.077 * * * * [misc]points:  Setting MPFR precision to 2112
1537440780.088 * * * * [misc]points:  Setting MPFR precision to 2368
1537440780.096 * * * * [misc]points:  Computing exacts on every 8 of 1058 points to ramp up precision
1537440780.097 * * * * [misc]points:  Setting MPFR precision to 2112
1537440780.137 * * * * [misc]points:  Setting MPFR precision to 2368
1537440780.154 * * * * [misc]points:  Computing exacts on every 4 of 1058 points to ramp up precision
1537440780.155 * * * * [misc]points:  Setting MPFR precision to 2112
1537440780.192 * * * * [misc]points:  Setting MPFR precision to 2368
1537440780.224 * * * * [misc]points:  Computing exacts on every 2 of 1058 points to ramp up precision
1537440780.225 * * * * [misc]points:  Setting MPFR precision to 2112
1537440780.277 * * * * [misc]points:  Setting MPFR precision to 2368
1537440780.328 * * * * [misc]points:  Computing exacts for 1058 points
1537440780.329 * * * * [misc]points:  Setting MPFR precision to 2112
1537440780.864 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.057 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440781.057 * * * * [misc]points:  Sampling 804 additional inputs, on iter 8 have 7196 / 8000
1537440781.061 * * * * [misc]points:  Computing exacts on every 50 of 804 points to ramp up precision
1537440781.062 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.064 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.065 * * * * [misc]points:  Computing exacts on every 25 of 804 points to ramp up precision
1537440781.066 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.069 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.071 * * * * [misc]points:  Computing exacts on every 12 of 804 points to ramp up precision
1537440781.073 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.077 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.083 * * * * [misc]points:  Computing exacts on every 6 of 804 points to ramp up precision
1537440781.084 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.094 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.107 * * * * [misc]points:  Computing exacts on every 3 of 804 points to ramp up precision
1537440781.108 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.131 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.152 * * * * [misc]points:  Computing exacts for 804 points
1537440781.153 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.293 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.412 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440781.412 * * * * [misc]points:  Sampling 598 additional inputs, on iter 9 have 7402 / 8000
1537440781.413 * * * * [misc]points:  Computing exacts on every 37 of 598 points to ramp up precision
1537440781.415 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.416 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.418 * * * * [misc]points:  Computing exacts on every 18 of 598 points to ramp up precision
1537440781.419 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.422 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.425 * * * * [misc]points:  Computing exacts on every 9 of 598 points to ramp up precision
1537440781.426 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.432 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.438 * * * * [misc]points:  Computing exacts on every 4 of 598 points to ramp up precision
1537440781.439 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.450 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.461 * * * * [misc]points:  Computing exacts on every 2 of 598 points to ramp up precision
1537440781.462 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.483 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.537 * * * * [misc]points:  Computing exacts for 598 points
1537440781.542 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.616 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.696 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440781.697 * * * * [misc]points:  Sampling 451 additional inputs, on iter 10 have 7549 / 8000
1537440781.699 * * * * [misc]points:  Computing exacts on every 28 of 451 points to ramp up precision
1537440781.700 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.704 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.707 * * * * [misc]points:  Computing exacts on every 14 of 451 points to ramp up precision
1537440781.709 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.713 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.718 * * * * [misc]points:  Computing exacts on every 7 of 451 points to ramp up precision
1537440781.720 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.729 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.742 * * * * [misc]points:  Computing exacts on every 3 of 451 points to ramp up precision
1537440781.744 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.762 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.784 * * * * [misc]points:  Computing exacts for 451 points
1537440781.786 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.844 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.916 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440781.917 * * * * [misc]points:  Sampling 321 additional inputs, on iter 11 have 7679 / 8000
1537440781.918 * * * * [misc]points:  Computing exacts on every 20 of 321 points to ramp up precision
1537440781.919 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.920 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.920 * * * * [misc]points:  Computing exacts on every 10 of 321 points to ramp up precision
1537440781.921 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.925 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.928 * * * * [misc]points:  Computing exacts on every 5 of 321 points to ramp up precision
1537440781.929 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.936 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.942 * * * * [misc]points:  Computing exacts on every 2 of 321 points to ramp up precision
1537440781.943 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.953 * * * * [misc]points:  Setting MPFR precision to 2368
1537440781.964 * * * * [misc]points:  Computing exacts for 321 points
1537440781.965 * * * * [misc]points:  Setting MPFR precision to 2112
1537440781.997 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.037 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440782.037 * * * * [misc]points:  Sampling 243 additional inputs, on iter 12 have 7757 / 8000
1537440782.037 * * * * [misc]points:  Computing exacts on every 15 of 243 points to ramp up precision
1537440782.038 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.039 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.040 * * * * [misc]points:  Computing exacts on every 7 of 243 points to ramp up precision
1537440782.041 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.043 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.046 * * * * [misc]points:  Computing exacts on every 3 of 243 points to ramp up precision
1537440782.047 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.051 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.060 * * * * [misc]points:  Computing exacts for 243 points
1537440782.062 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.100 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.166 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440782.166 * * * * [misc]points:  Sampling 165 additional inputs, on iter 13 have 7835 / 8000
1537440782.167 * * * * [misc]points:  Computing exacts on every 10 of 165 points to ramp up precision
1537440782.168 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.171 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.177 * * * * [misc]points:  Computing exacts on every 5 of 165 points to ramp up precision
1537440782.179 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.183 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.187 * * * * [misc]points:  Computing exacts on every 2 of 165 points to ramp up precision
1537440782.189 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.197 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.202 * * * * [misc]points:  Computing exacts for 165 points
1537440782.203 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.228 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.255 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440782.255 * * * * [misc]points:  Sampling 123 additional inputs, on iter 14 have 7877 / 8000
1537440782.256 * * * * [misc]points:  Computing exacts on every 7 of 123 points to ramp up precision
1537440782.258 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.259 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.263 * * * * [misc]points:  Computing exacts on every 3 of 123 points to ramp up precision
1537440782.264 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.268 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.274 * * * * [misc]points:  Computing exacts for 123 points
1537440782.276 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.297 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.321 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440782.321 * * * * [misc]points:  Sampling 91 additional inputs, on iter 15 have 7909 / 8000
1537440782.321 * * * * [misc]points:  Computing exacts on every 5 of 91 points to ramp up precision
1537440782.323 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.326 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.330 * * * * [misc]points:  Computing exacts on every 2 of 91 points to ramp up precision
1537440782.332 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.337 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.343 * * * * [misc]points:  Computing exacts for 91 points
1537440782.345 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.358 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.372 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440782.373 * * * * [misc]points:  Sampling 72 additional inputs, on iter 16 have 7928 / 8000
1537440782.373 * * * * [misc]points:  Computing exacts on every 4 of 72 points to ramp up precision
1537440782.375 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.377 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.379 * * * * [misc]points:  Computing exacts on every 2 of 72 points to ramp up precision
1537440782.381 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.384 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.388 * * * * [misc]points:  Computing exacts for 72 points
1537440782.389 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.401 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.412 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440782.413 * * * * [misc]points:  Sampling 48 additional inputs, on iter 17 have 7952 / 8000
1537440782.413 * * * * [misc]points:  Computing exacts on every 3 of 48 points to ramp up precision
1537440782.414 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.417 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.420 * * * * [misc]points:  Computing exacts for 48 points
1537440782.422 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.429 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.437 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440782.438 * * * * [misc]points:  Sampling 36 additional inputs, on iter 18 have 7964 / 8000
1537440782.438 * * * * [misc]points:  Computing exacts on every 2 of 36 points to ramp up precision
1537440782.439 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.442 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.447 * * * * [misc]points:  Computing exacts for 36 points
1537440782.449 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.456 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.464 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440782.464 * * * * [misc]points:  Sampling 25 additional inputs, on iter 19 have 7975 / 8000
1537440782.465 * * * * [misc]points:  Computing exacts for 25 points
1537440782.466 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.470 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.475 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440782.475 * * * * [misc]points:  Sampling 19 additional inputs, on iter 20 have 7981 / 8000
1537440782.475 * * * * [misc]points:  Computing exacts for 19 points
1537440782.477 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.479 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.481 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440782.481 * * * * [misc]points:  Sampling 18 additional inputs, on iter 21 have 7982 / 8000
1537440782.482 * * * * [misc]points:  Computing exacts for 18 points
1537440782.483 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.486 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.488 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440782.488 * * * * [misc]points:  Sampling 15 additional inputs, on iter 22 have 7985 / 8000
1537440782.489 * * * * [misc]points:  Computing exacts for 15 points
1537440782.490 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.494 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.526 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440782.526 * * * * [misc]points:  Sampling 13 additional inputs, on iter 23 have 7987 / 8000
1537440782.526 * * * * [misc]points:  Computing exacts for 13 points
1537440782.528 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.530 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.534 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440782.534 * * * * [misc]points:  Sampling 11 additional inputs, on iter 24 have 7989 / 8000
1537440782.534 * * * * [misc]points:  Computing exacts for 11 points
1537440782.536 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.538 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.544 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440782.544 * * * * [misc]points:  Sampling 7 additional inputs, on iter 25 have 7993 / 8000
1537440782.544 * * * * [misc]points:  Computing exacts for 7 points
1537440782.546 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.546 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.547 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440782.547 * * * * [misc]points:  Sampling 6 additional inputs, on iter 26 have 7994 / 8000
1537440782.547 * * * * [misc]points:  Computing exacts for 6 points
1537440782.549 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.551 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.553 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440782.553 * * * * [misc]points:  Sampling 5 additional inputs, on iter 27 have 7995 / 8000
1537440782.553 * * * * [misc]points:  Computing exacts for 5 points
1537440782.555 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.556 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.558 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440782.558 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7998 / 8000
1537440782.558 * * * * [misc]points:  Computing exacts for 4 points
1537440782.559 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.560 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.561 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440782.561 * * * * [misc]points:  Sampling 4 additional inputs, on iter 29 have 7999 / 8000
1537440782.561 * * * * [misc]points:  Computing exacts for 4 points
1537440782.563 * * * * [misc]points:  Setting MPFR precision to 2112
1537440782.563 * * * * [misc]points:  Setting MPFR precision to 2368
1537440782.564 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537440782.564 * * * * [exit]points:  Sampled 8000 points with exact outputs
1537440783.070 * [misc]regime-testing:  Baseline error score: 31.348037286041595
1537440783.070 * [misc]regime-testing:  End program error score: 31.348037286041595
1537440783.072 * [misc]regime-testing:  Oracle error score: 31.348037286041595