1538300993.008 * [misc]progress:  [Phase 1 of 3] Setting up.
1538300993.008 * * * [misc]progress:  [1/2] Preparing points
1538300993.008 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1538300993.009 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1538300993.011 * * * * [misc]points:  Setting MPFR precision to 64
1538300993.013 * * * * [misc]points:  Setting MPFR precision to 320
1538300993.014 * * * * [misc]points:  Setting MPFR precision to 576
1538300993.016 * * * * [misc]points:  Setting MPFR precision to 832
1538300993.017 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1538300993.019 * * * * [misc]points:  Setting MPFR precision to 576
1538300993.021 * * * * [misc]points:  Setting MPFR precision to 832
1538300993.023 * * * * [misc]points:  Setting MPFR precision to 1088
1538300993.026 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1538300993.028 * * * * [misc]points:  Setting MPFR precision to 832
1538300993.031 * * * * [misc]points:  Setting MPFR precision to 1088
1538300993.035 * * * * [misc]points:  Setting MPFR precision to 1344
1538300993.040 * * * * [misc]points:  Setting MPFR precision to 1600
1538300993.045 * * * * [misc]points:  Setting MPFR precision to 1856
1538300993.051 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.060 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.069 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1538300993.071 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.090 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.107 * * * * [misc]points:  Computing exacts for 256 points
1538300993.109 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.151 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.197 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538300993.197 * * * * [misc]points:  Sampling 184 additional inputs, on iter 1 have 72 / 256
1538300993.197 * * * * [misc]points:  Computing exacts on every 11 of 184 points to ramp up precision
1538300993.199 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.201 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.202 * * * * [misc]points:  Computing exacts on every 5 of 184 points to ramp up precision
1538300993.203 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.206 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.209 * * * * [misc]points:  Computing exacts on every 2 of 184 points to ramp up precision
1538300993.210 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.216 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.223 * * * * [misc]points:  Computing exacts for 184 points
1538300993.224 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.240 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.259 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538300993.259 * * * * [misc]points:  Sampling 139 additional inputs, on iter 2 have 117 / 256
1538300993.260 * * * * [misc]points:  Computing exacts on every 8 of 139 points to ramp up precision
1538300993.262 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.265 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.269 * * * * [misc]points:  Computing exacts on every 4 of 139 points to ramp up precision
1538300993.270 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.275 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.280 * * * * [misc]points:  Computing exacts on every 2 of 139 points to ramp up precision
1538300993.282 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.290 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.298 * * * * [misc]points:  Computing exacts for 139 points
1538300993.300 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.323 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.352 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538300993.352 * * * * [misc]points:  Sampling 111 additional inputs, on iter 3 have 145 / 256
1538300993.353 * * * * [misc]points:  Computing exacts on every 6 of 111 points to ramp up precision
1538300993.355 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.360 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.364 * * * * [misc]points:  Computing exacts on every 3 of 111 points to ramp up precision
1538300993.366 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.371 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.377 * * * * [misc]points:  Computing exacts for 111 points
1538300993.379 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.398 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.419 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538300993.419 * * * * [misc]points:  Sampling 87 additional inputs, on iter 4 have 169 / 256
1538300993.419 * * * * [misc]points:  Computing exacts on every 5 of 87 points to ramp up precision
1538300993.421 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.425 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.429 * * * * [misc]points:  Computing exacts on every 2 of 87 points to ramp up precision
1538300993.431 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.439 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.448 * * * * [misc]points:  Computing exacts for 87 points
1538300993.449 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.466 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.482 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538300993.482 * * * * [misc]points:  Sampling 69 additional inputs, on iter 5 have 187 / 256
1538300993.483 * * * * [misc]points:  Computing exacts on every 4 of 69 points to ramp up precision
1538300993.484 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.488 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.490 * * * * [misc]points:  Computing exacts on every 2 of 69 points to ramp up precision
1538300993.492 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.495 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.499 * * * * [misc]points:  Computing exacts for 69 points
1538300993.501 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.514 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.556 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538300993.557 * * * * [misc]points:  Sampling 52 additional inputs, on iter 6 have 204 / 256
1538300993.557 * * * * [misc]points:  Computing exacts on every 3 of 52 points to ramp up precision
1538300993.558 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.559 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.567 * * * * [misc]points:  Computing exacts for 52 points
1538300993.569 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.576 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.583 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538300993.583 * * * * [misc]points:  Sampling 41 additional inputs, on iter 7 have 215 / 256
1538300993.583 * * * * [misc]points:  Computing exacts on every 2 of 41 points to ramp up precision
1538300993.584 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.585 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.586 * * * * [misc]points:  Computing exacts for 41 points
1538300993.587 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.592 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.596 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538300993.596 * * * * [misc]points:  Sampling 31 additional inputs, on iter 8 have 225 / 256
1538300993.596 * * * * [misc]points:  Computing exacts for 31 points
1538300993.597 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.601 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.605 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538300993.605 * * * * [misc]points:  Sampling 19 additional inputs, on iter 9 have 237 / 256
1538300993.605 * * * * [misc]points:  Computing exacts for 19 points
1538300993.606 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.608 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.611 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538300993.611 * * * * [misc]points:  Sampling 12 additional inputs, on iter 10 have 244 / 256
1538300993.612 * * * * [misc]points:  Computing exacts for 12 points
1538300993.613 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.614 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.615 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538300993.615 * * * * [misc]points:  Sampling 9 additional inputs, on iter 11 have 247 / 256
1538300993.615 * * * * [misc]points:  Computing exacts for 9 points
1538300993.616 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.617 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.618 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538300993.618 * * * * [misc]points:  Sampling 7 additional inputs, on iter 12 have 249 / 256
1538300993.618 * * * * [misc]points:  Computing exacts for 7 points
1538300993.620 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.621 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.622 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538300993.622 * * * * [misc]points:  Sampling 5 additional inputs, on iter 13 have 251 / 256
1538300993.622 * * * * [misc]points:  Computing exacts for 5 points
1538300993.623 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.624 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.624 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538300993.624 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 252 / 256
1538300993.624 * * * * [misc]points:  Computing exacts for 4 points
1538300993.626 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.627 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.628 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538300993.628 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 253 / 256
1538300993.628 * * * * [misc]points:  Computing exacts for 4 points
1538300993.629 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.630 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.631 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538300993.631 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 255 / 256
1538300993.631 * * * * [misc]points:  Computing exacts for 4 points
1538300993.632 * * * * [misc]points:  Setting MPFR precision to 2112
1538300993.633 * * * * [misc]points:  Setting MPFR precision to 2368
1538300993.634 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538300993.634 * * * * [exit]points:  Sampled 257 points with exact outputs
1538300993.634 * * * [misc]progress:  [2/2] Setting up program.
1538300993.638 * [misc]progress:  [Phase 2 of 3] Improving.
1538300993.638 * [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (* a a))
1538300993.639 * * [misc]simplify:  iters left: 4 (6 enodes)
1538300993.641 * [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
1538300993.650 * * [misc]progress:  iteration 1 / 4
1538300993.650 * * * [misc]progress:  picking best candidate
1538300993.654 * * * * [misc]pick:  Picked  #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1538300993.654 * * * [misc]progress:  localizing error
1538300993.720 * * * [misc]progress:  generating rewritten candidates
1538300993.721 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1 1)
1538300993.722 * * * [misc]progress:  generating series expansions
1538300993.722 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1 1)
1538300993.722 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1538300993.722 * [misc]approximate:  Taking taylor expansion of (fmod a (asin a)) in (a) around 0
1538300993.722 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1538300993.723 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1538300993.723 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1538300993.723 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1538300993.723 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1538300993.723 * [misc]backup-simplify:  Simplify 0 into 0
1538300993.723 * [misc]backup-simplify:  Simplify 0 into 0
1538300993.723 * [misc]backup-simplify:  Simplify 0 into 0
1538300993.723 * [misc]backup-simplify:  Simplify 0 into 0
1538300993.723 * [misc]backup-simplify:  Simplify 0 into 0
1538300993.723 * [misc]backup-simplify:  Simplify 0 into 0
1538300993.723 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1538300993.723 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1538300993.723 * [misc]approximate:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0
1538300993.723 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1538300993.723 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1538300993.723 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1538300993.723 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1538300993.723 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1538300993.723 * [misc]backup-simplify:  Simplify 0 into 0
1538300993.723 * [misc]backup-simplify:  Simplify 0 into 0
1538300993.723 * [misc]backup-simplify:  Simplify 0 into 0
1538300993.723 * [misc]backup-simplify:  Simplify 0 into 0
1538300993.724 * [misc]backup-simplify:  Simplify 0 into 0
1538300993.724 * [misc]backup-simplify:  Simplify 0 into 0
1538300993.724 * [misc]backup-simplify:  Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a))
1538300993.724 * [misc]backup-simplify:  Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a)))
1538300993.724 * [misc]approximate:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0
1538300993.724 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1538300993.724 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1538300993.724 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1538300993.724 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1538300993.724 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1538300993.724 * [misc]backup-simplify:  Simplify 0 into 0
1538300993.724 * [misc]backup-simplify:  Simplify 0 into 0
1538300993.724 * [misc]backup-simplify:  Simplify 0 into 0
1538300993.724 * [misc]backup-simplify:  Simplify 0 into 0
1538300993.724 * [misc]backup-simplify:  Simplify 0 into 0
1538300993.724 * [misc]backup-simplify:  Simplify 0 into 0
1538300993.724 * [misc]backup-simplify:  Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a))
1538300993.724 * * * [misc]progress:  simplifying candidates
1538300993.724 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (log1p (expm1 (fmod a (asin a))))) (* a a)))>
1538300993.724 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)))>
1538300993.724 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (pow (fmod a (asin a)) 1)) (* a a)))>
1538300993.724 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (exp (log (fmod a (asin a))))) (* a a)))>
1538300993.724 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (log (exp (fmod a (asin a))))) (* a a)))>
1538300993.724 * * * * [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)))>
1538300993.724 * * * * [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)))>
1538300993.725 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (sqrt (fmod a (asin a))) (sqrt (fmod a (asin a))))) (* a a)))>
1538300993.725 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (* 1 (fmod a (asin a)))) (* a a)))>
1538300993.725 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1538300993.725 * [enter]simplify:  Simplifying (fmod a (asin a))
1538300993.725 * * [misc]simplify:  iters left: 2 (3 enodes)
1538300993.726 * [exit]simplify:  Simplified to (fmod a (asin a))
1538300993.726 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1538300993.726 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1538300993.726 * [enter]simplify:  Simplifying (fmod a (asin a))
1538300993.726 * * [misc]simplify:  iters left: 2 (3 enodes)
1538300993.727 * [exit]simplify:  Simplified to (fmod a (asin a))
1538300993.727 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1538300993.727 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1538300993.727 * [enter]simplify:  Simplifying (fmod a (asin a))
1538300993.727 * * [misc]simplify:  iters left: 2 (3 enodes)
1538300993.728 * [exit]simplify:  Simplified to (fmod a (asin a))
1538300993.728 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1538300993.728 * * * [misc]progress:  adding candidates to table
1538300994.301 * [misc]progress:  [Phase 3 of 3] Extracting.
1538300994.309 * [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (* a a))
1538300994.310 * * [misc]simplify:  iters left: 4 (6 enodes)
1538300994.312 * [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
1538300994.312 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1538300994.356 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1538300994.358 * * * * [misc]points:  Setting MPFR precision to 2112
1538300994.362 * * * * [misc]points:  Setting MPFR precision to 2368
1538300994.366 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1538300994.368 * * * * [misc]points:  Setting MPFR precision to 2112
1538300994.373 * * * * [misc]points:  Setting MPFR precision to 2368
1538300994.377 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1538300994.379 * * * * [misc]points:  Setting MPFR precision to 2112
1538300994.391 * * * * [misc]points:  Setting MPFR precision to 2368
1538300994.405 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1538300994.407 * * * * [misc]points:  Setting MPFR precision to 2112
1538300994.431 * * * * [misc]points:  Setting MPFR precision to 2368
1538300994.459 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1538300994.461 * * * * [misc]points:  Setting MPFR precision to 2112
1538300994.500 * * * * [misc]points:  Setting MPFR precision to 2368
1538300994.530 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1538300994.531 * * * * [misc]points:  Setting MPFR precision to 2112
1538300994.589 * * * * [misc]points:  Setting MPFR precision to 2368
1538300994.681 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1538300994.684 * * * * [misc]points:  Setting MPFR precision to 2112
1538300994.869 * * * * [misc]points:  Setting MPFR precision to 2368
1538300995.017 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1538300995.019 * * * * [misc]points:  Setting MPFR precision to 2112
1538300995.367 * * * * [misc]points:  Setting MPFR precision to 2368
1538300995.769 * * * * [misc]points:  Computing exacts for 8000 points
1538300995.771 * * * * [misc]points:  Setting MPFR precision to 2112
1538300997.018 * * * * [misc]points:  Setting MPFR precision to 2368
1538300998.823 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538300998.825 * * * * [misc]points:  Sampling 5972 additional inputs, on iter 1 have 2028 / 8000
1538300998.851 * * * * [misc]points:  Computing exacts on every 373 of 5972 points to ramp up precision
1538300998.853 * * * * [misc]points:  Setting MPFR precision to 2112
1538300998.855 * * * * [misc]points:  Setting MPFR precision to 2368
1538300998.856 * * * * [misc]points:  Computing exacts on every 186 of 5972 points to ramp up precision
1538300998.858 * * * * [misc]points:  Setting MPFR precision to 2112
1538300998.861 * * * * [misc]points:  Setting MPFR precision to 2368
1538300998.866 * * * * [misc]points:  Computing exacts on every 93 of 5972 points to ramp up precision
1538300998.867 * * * * [misc]points:  Setting MPFR precision to 2112
1538300998.872 * * * * [misc]points:  Setting MPFR precision to 2368
1538300998.878 * * * * [misc]points:  Computing exacts on every 46 of 5972 points to ramp up precision
1538300998.879 * * * * [misc]points:  Setting MPFR precision to 2112
1538300998.890 * * * * [misc]points:  Setting MPFR precision to 2368
1538300998.912 * * * * [misc]points:  Computing exacts on every 23 of 5972 points to ramp up precision
1538300998.914 * * * * [misc]points:  Setting MPFR precision to 2112
1538300998.983 * * * * [misc]points:  Setting MPFR precision to 2368
1538300999.010 * * * * [misc]points:  Computing exacts on every 11 of 5972 points to ramp up precision
1538300999.012 * * * * [misc]points:  Setting MPFR precision to 2112
1538300999.077 * * * * [misc]points:  Setting MPFR precision to 2368
1538300999.148 * * * * [misc]points:  Computing exacts on every 5 of 5972 points to ramp up precision
1538300999.150 * * * * [misc]points:  Setting MPFR precision to 2112
1538300999.282 * * * * [misc]points:  Setting MPFR precision to 2368
1538300999.436 * * * * [misc]points:  Computing exacts on every 2 of 5972 points to ramp up precision
1538300999.437 * * * * [misc]points:  Setting MPFR precision to 2112
1538300999.722 * * * * [misc]points:  Setting MPFR precision to 2368
1538300999.975 * * * * [misc]points:  Computing exacts for 5972 points
1538300999.977 * * * * [misc]points:  Setting MPFR precision to 2112
1538301000.998 * * * * [misc]points:  Setting MPFR precision to 2368
1538301002.621 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301002.622 * * * * [misc]points:  Sampling 4484 additional inputs, on iter 2 have 3516 / 8000
1538301002.643 * * * * [misc]points:  Computing exacts on every 280 of 4484 points to ramp up precision
1538301002.645 * * * * [misc]points:  Setting MPFR precision to 2112
1538301002.646 * * * * [misc]points:  Setting MPFR precision to 2368
1538301002.647 * * * * [misc]points:  Computing exacts on every 140 of 4484 points to ramp up precision
1538301002.649 * * * * [misc]points:  Setting MPFR precision to 2112
1538301002.652 * * * * [misc]points:  Setting MPFR precision to 2368
1538301002.655 * * * * [misc]points:  Computing exacts on every 70 of 4484 points to ramp up precision
1538301002.656 * * * * [misc]points:  Setting MPFR precision to 2112
1538301002.662 * * * * [misc]points:  Setting MPFR precision to 2368
1538301002.671 * * * * [misc]points:  Computing exacts on every 35 of 4484 points to ramp up precision
1538301002.673 * * * * [misc]points:  Setting MPFR precision to 2112
1538301002.695 * * * * [misc]points:  Setting MPFR precision to 2368
1538301002.719 * * * * [misc]points:  Computing exacts on every 17 of 4484 points to ramp up precision
1538301002.721 * * * * [misc]points:  Setting MPFR precision to 2112
1538301002.766 * * * * [misc]points:  Setting MPFR precision to 2368
1538301002.817 * * * * [misc]points:  Computing exacts on every 8 of 4484 points to ramp up precision
1538301002.819 * * * * [misc]points:  Setting MPFR precision to 2112
1538301002.914 * * * * [misc]points:  Setting MPFR precision to 2368
1538301002.972 * * * * [misc]points:  Computing exacts on every 4 of 4484 points to ramp up precision
1538301002.973 * * * * [misc]points:  Setting MPFR precision to 2112
1538301003.066 * * * * [misc]points:  Setting MPFR precision to 2368
1538301003.193 * * * * [misc]points:  Computing exacts on every 2 of 4484 points to ramp up precision
1538301003.195 * * * * [misc]points:  Setting MPFR precision to 2112
1538301003.472 * * * * [misc]points:  Setting MPFR precision to 2368
1538301003.709 * * * * [misc]points:  Computing exacts for 4484 points
1538301003.712 * * * * [misc]points:  Setting MPFR precision to 2112
1538301004.407 * * * * [misc]points:  Setting MPFR precision to 2368
1538301005.202 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301005.203 * * * * [misc]points:  Sampling 3343 additional inputs, on iter 3 have 4657 / 8000
1538301005.211 * * * * [misc]points:  Computing exacts on every 208 of 3343 points to ramp up precision
1538301005.212 * * * * [misc]points:  Setting MPFR precision to 2112
1538301005.660 * * * * [misc]points:  Setting MPFR precision to 2368
1538301005.662 * * * * [misc]points:  Computing exacts on every 104 of 3343 points to ramp up precision
1538301005.665 * * * * [misc]points:  Setting MPFR precision to 2112
1538301005.672 * * * * [misc]points:  Setting MPFR precision to 2368
1538301005.677 * * * * [misc]points:  Computing exacts on every 52 of 3343 points to ramp up precision
1538301005.679 * * * * [misc]points:  Setting MPFR precision to 2112
1538301005.688 * * * * [misc]points:  Setting MPFR precision to 2368
1538301005.695 * * * * [misc]points:  Computing exacts on every 26 of 3343 points to ramp up precision
1538301005.696 * * * * [misc]points:  Setting MPFR precision to 2112
1538301005.707 * * * * [misc]points:  Setting MPFR precision to 2368
1538301005.724 * * * * [misc]points:  Computing exacts on every 13 of 3343 points to ramp up precision
1538301005.726 * * * * [misc]points:  Setting MPFR precision to 2112
1538301005.769 * * * * [misc]points:  Setting MPFR precision to 2368
1538301005.819 * * * * [misc]points:  Computing exacts on every 6 of 3343 points to ramp up precision
1538301005.820 * * * * [misc]points:  Setting MPFR precision to 2112
1538301005.888 * * * * [misc]points:  Setting MPFR precision to 2368
1538301005.972 * * * * [misc]points:  Computing exacts on every 3 of 3343 points to ramp up precision
1538301005.974 * * * * [misc]points:  Setting MPFR precision to 2112
1538301006.116 * * * * [misc]points:  Setting MPFR precision to 2368
1538301006.249 * * * * [misc]points:  Computing exacts for 3343 points
1538301006.250 * * * * [misc]points:  Setting MPFR precision to 2112
1538301006.810 * * * * [misc]points:  Setting MPFR precision to 2368
1538301007.440 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301007.441 * * * * [misc]points:  Sampling 2484 additional inputs, on iter 4 have 5516 / 8000
1538301007.452 * * * * [misc]points:  Computing exacts on every 155 of 2484 points to ramp up precision
1538301007.454 * * * * [misc]points:  Setting MPFR precision to 2112
1538301007.456 * * * * [misc]points:  Setting MPFR precision to 2368
1538301007.459 * * * * [misc]points:  Computing exacts on every 77 of 2484 points to ramp up precision
1538301007.461 * * * * [misc]points:  Setting MPFR precision to 2112
1538301007.466 * * * * [misc]points:  Setting MPFR precision to 2368
1538301007.472 * * * * [misc]points:  Computing exacts on every 38 of 2484 points to ramp up precision
1538301007.474 * * * * [misc]points:  Setting MPFR precision to 2112
1538301007.484 * * * * [misc]points:  Setting MPFR precision to 2368
1538301007.496 * * * * [misc]points:  Computing exacts on every 19 of 2484 points to ramp up precision
1538301007.497 * * * * [misc]points:  Setting MPFR precision to 2112
1538301007.519 * * * * [misc]points:  Setting MPFR precision to 2368
1538301007.544 * * * * [misc]points:  Computing exacts on every 9 of 2484 points to ramp up precision
1538301007.546 * * * * [misc]points:  Setting MPFR precision to 2112
1538301007.587 * * * * [misc]points:  Setting MPFR precision to 2368
1538301007.618 * * * * [misc]points:  Computing exacts on every 4 of 2484 points to ramp up precision
1538301007.619 * * * * [misc]points:  Setting MPFR precision to 2112
1538301007.725 * * * * [misc]points:  Setting MPFR precision to 2368
1538301007.824 * * * * [misc]points:  Computing exacts on every 2 of 2484 points to ramp up precision
1538301007.826 * * * * [misc]points:  Setting MPFR precision to 2112
1538301007.943 * * * * [misc]points:  Setting MPFR precision to 2368
1538301008.084 * * * * [misc]points:  Computing exacts for 2484 points
1538301008.086 * * * * [misc]points:  Setting MPFR precision to 2112
1538301008.534 * * * * [misc]points:  Setting MPFR precision to 2368
1538301008.902 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301008.903 * * * * [misc]points:  Sampling 1904 additional inputs, on iter 5 have 6096 / 8000
1538301008.913 * * * * [misc]points:  Computing exacts on every 119 of 1904 points to ramp up precision
1538301008.915 * * * * [misc]points:  Setting MPFR precision to 2112
1538301008.945 * * * * [misc]points:  Setting MPFR precision to 2368
1538301008.947 * * * * [misc]points:  Computing exacts on every 59 of 1904 points to ramp up precision
1538301008.949 * * * * [misc]points:  Setting MPFR precision to 2112
1538301008.952 * * * * [misc]points:  Setting MPFR precision to 2368
1538301008.959 * * * * [misc]points:  Computing exacts on every 29 of 1904 points to ramp up precision
1538301008.961 * * * * [misc]points:  Setting MPFR precision to 2112
1538301008.971 * * * * [misc]points:  Setting MPFR precision to 2368
1538301008.984 * * * * [misc]points:  Computing exacts on every 14 of 1904 points to ramp up precision
1538301008.986 * * * * [misc]points:  Setting MPFR precision to 2112
1538301009.008 * * * * [misc]points:  Setting MPFR precision to 2368
1538301009.032 * * * * [misc]points:  Computing exacts on every 7 of 1904 points to ramp up precision
1538301009.034 * * * * [misc]points:  Setting MPFR precision to 2112
1538301009.075 * * * * [misc]points:  Setting MPFR precision to 2368
1538301009.122 * * * * [misc]points:  Computing exacts on every 3 of 1904 points to ramp up precision
1538301009.124 * * * * [misc]points:  Setting MPFR precision to 2112
1538301009.204 * * * * [misc]points:  Setting MPFR precision to 2368
1538301009.291 * * * * [misc]points:  Computing exacts for 1904 points
1538301009.293 * * * * [misc]points:  Setting MPFR precision to 2112
1538301009.979 * * * * [misc]points:  Setting MPFR precision to 2368
1538301010.234 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301010.234 * * * * [misc]points:  Sampling 1433 additional inputs, on iter 6 have 6567 / 8000
1538301010.238 * * * * [misc]points:  Computing exacts on every 89 of 1433 points to ramp up precision
1538301010.239 * * * * [misc]points:  Setting MPFR precision to 2112
1538301010.241 * * * * [misc]points:  Setting MPFR precision to 2368
1538301010.242 * * * * [misc]points:  Computing exacts on every 44 of 1433 points to ramp up precision
1538301010.243 * * * * [misc]points:  Setting MPFR precision to 2112
1538301010.247 * * * * [misc]points:  Setting MPFR precision to 2368
1538301010.251 * * * * [misc]points:  Computing exacts on every 22 of 1433 points to ramp up precision
1538301010.253 * * * * [misc]points:  Setting MPFR precision to 2112
1538301010.265 * * * * [misc]points:  Setting MPFR precision to 2368
1538301010.277 * * * * [misc]points:  Computing exacts on every 11 of 1433 points to ramp up precision
1538301010.278 * * * * [misc]points:  Setting MPFR precision to 2112
1538301010.298 * * * * [misc]points:  Setting MPFR precision to 2368
1538301010.311 * * * * [misc]points:  Computing exacts on every 5 of 1433 points to ramp up precision
1538301010.312 * * * * [misc]points:  Setting MPFR precision to 2112
1538301010.339 * * * * [misc]points:  Setting MPFR precision to 2368
1538301010.368 * * * * [misc]points:  Computing exacts on every 2 of 1433 points to ramp up precision
1538301010.369 * * * * [misc]points:  Setting MPFR precision to 2112
1538301010.484 * * * * [misc]points:  Setting MPFR precision to 2368
1538301010.578 * * * * [misc]points:  Computing exacts for 1433 points
1538301010.580 * * * * [misc]points:  Setting MPFR precision to 2112
1538301010.823 * * * * [misc]points:  Setting MPFR precision to 2368
1538301011.066 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301011.066 * * * * [misc]points:  Sampling 1088 additional inputs, on iter 7 have 6912 / 8000
1538301011.069 * * * * [misc]points:  Computing exacts on every 68 of 1088 points to ramp up precision
1538301011.070 * * * * [misc]points:  Setting MPFR precision to 2112
1538301011.072 * * * * [misc]points:  Setting MPFR precision to 2368
1538301011.075 * * * * [misc]points:  Computing exacts on every 34 of 1088 points to ramp up precision
1538301011.077 * * * * [misc]points:  Setting MPFR precision to 2112
1538301011.083 * * * * [misc]points:  Setting MPFR precision to 2368
1538301011.090 * * * * [misc]points:  Computing exacts on every 17 of 1088 points to ramp up precision
1538301011.092 * * * * [misc]points:  Setting MPFR precision to 2112
1538301011.103 * * * * [misc]points:  Setting MPFR precision to 2368
1538301011.112 * * * * [misc]points:  Computing exacts on every 8 of 1088 points to ramp up precision
1538301011.114 * * * * [misc]points:  Setting MPFR precision to 2112
1538301011.127 * * * * [misc]points:  Setting MPFR precision to 2368
1538301011.143 * * * * [misc]points:  Computing exacts on every 4 of 1088 points to ramp up precision
1538301011.145 * * * * [misc]points:  Setting MPFR precision to 2112
1538301011.173 * * * * [misc]points:  Setting MPFR precision to 2368
1538301011.211 * * * * [misc]points:  Computing exacts on every 2 of 1088 points to ramp up precision
1538301011.213 * * * * [misc]points:  Setting MPFR precision to 2112
1538301011.307 * * * * [misc]points:  Setting MPFR precision to 2368
1538301011.365 * * * * [misc]points:  Computing exacts for 1088 points
1538301011.366 * * * * [misc]points:  Setting MPFR precision to 2112
1538301011.486 * * * * [misc]points:  Setting MPFR precision to 2368
1538301011.707 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301011.707 * * * * [misc]points:  Sampling 800 additional inputs, on iter 8 have 7200 / 8000
1538301011.710 * * * * [misc]points:  Computing exacts on every 50 of 800 points to ramp up precision
1538301011.711 * * * * [misc]points:  Setting MPFR precision to 2112
1538301011.712 * * * * [misc]points:  Setting MPFR precision to 2368
1538301011.713 * * * * [misc]points:  Computing exacts on every 25 of 800 points to ramp up precision
1538301011.714 * * * * [misc]points:  Setting MPFR precision to 2112
1538301011.719 * * * * [misc]points:  Setting MPFR precision to 2368
1538301011.722 * * * * [misc]points:  Computing exacts on every 12 of 800 points to ramp up precision
1538301011.724 * * * * [misc]points:  Setting MPFR precision to 2112
1538301011.730 * * * * [misc]points:  Setting MPFR precision to 2368
1538301011.736 * * * * [misc]points:  Computing exacts on every 6 of 800 points to ramp up precision
1538301011.737 * * * * [misc]points:  Setting MPFR precision to 2112
1538301011.746 * * * * [misc]points:  Setting MPFR precision to 2368
1538301011.756 * * * * [misc]points:  Computing exacts on every 3 of 800 points to ramp up precision
1538301011.757 * * * * [misc]points:  Setting MPFR precision to 2112
1538301011.780 * * * * [misc]points:  Setting MPFR precision to 2368
1538301011.815 * * * * [misc]points:  Computing exacts for 800 points
1538301011.817 * * * * [misc]points:  Setting MPFR precision to 2112
1538301011.932 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.048 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301012.048 * * * * [misc]points:  Sampling 612 additional inputs, on iter 9 have 7388 / 8000
1538301012.050 * * * * [misc]points:  Computing exacts on every 38 of 612 points to ramp up precision
1538301012.051 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.052 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.054 * * * * [misc]points:  Computing exacts on every 19 of 612 points to ramp up precision
1538301012.055 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.058 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.063 * * * * [misc]points:  Computing exacts on every 9 of 612 points to ramp up precision
1538301012.064 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.069 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.075 * * * * [misc]points:  Computing exacts on every 4 of 612 points to ramp up precision
1538301012.077 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.087 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.100 * * * * [misc]points:  Computing exacts on every 2 of 612 points to ramp up precision
1538301012.101 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.121 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.143 * * * * [misc]points:  Computing exacts for 612 points
1538301012.144 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.205 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.299 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301012.299 * * * * [misc]points:  Sampling 458 additional inputs, on iter 10 have 7542 / 8000
1538301012.300 * * * * [misc]points:  Computing exacts on every 28 of 458 points to ramp up precision
1538301012.302 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.303 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.305 * * * * [misc]points:  Computing exacts on every 14 of 458 points to ramp up precision
1538301012.306 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.311 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.316 * * * * [misc]points:  Computing exacts on every 7 of 458 points to ramp up precision
1538301012.317 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.323 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.329 * * * * [misc]points:  Computing exacts on every 3 of 458 points to ramp up precision
1538301012.330 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.342 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.354 * * * * [misc]points:  Computing exacts for 458 points
1538301012.355 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.399 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.450 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301012.450 * * * * [misc]points:  Sampling 335 additional inputs, on iter 11 have 7665 / 8000
1538301012.451 * * * * [misc]points:  Computing exacts on every 20 of 335 points to ramp up precision
1538301012.452 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.454 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.455 * * * * [misc]points:  Computing exacts on every 10 of 335 points to ramp up precision
1538301012.456 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.460 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.463 * * * * [misc]points:  Computing exacts on every 5 of 335 points to ramp up precision
1538301012.465 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.471 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.478 * * * * [misc]points:  Computing exacts on every 2 of 335 points to ramp up precision
1538301012.480 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.492 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.505 * * * * [misc]points:  Computing exacts for 335 points
1538301012.506 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.568 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.609 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301012.609 * * * * [misc]points:  Sampling 232 additional inputs, on iter 12 have 7768 / 8000
1538301012.611 * * * * [misc]points:  Computing exacts on every 14 of 232 points to ramp up precision
1538301012.612 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.615 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.618 * * * * [misc]points:  Computing exacts on every 7 of 232 points to ramp up precision
1538301012.620 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.626 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.632 * * * * [misc]points:  Computing exacts on every 3 of 232 points to ramp up precision
1538301012.634 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.642 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.649 * * * * [misc]points:  Computing exacts for 232 points
1538301012.650 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.674 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.709 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301012.709 * * * * [misc]points:  Sampling 170 additional inputs, on iter 13 have 7830 / 8000
1538301012.711 * * * * [misc]points:  Computing exacts on every 10 of 170 points to ramp up precision
1538301012.713 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.715 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.717 * * * * [misc]points:  Computing exacts on every 5 of 170 points to ramp up precision
1538301012.719 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.724 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.732 * * * * [misc]points:  Computing exacts on every 2 of 170 points to ramp up precision
1538301012.734 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.744 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.757 * * * * [misc]points:  Computing exacts for 170 points
1538301012.759 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.787 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.819 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301012.820 * * * * [misc]points:  Sampling 131 additional inputs, on iter 14 have 7869 / 8000
1538301012.820 * * * * [misc]points:  Computing exacts on every 8 of 131 points to ramp up precision
1538301012.821 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.823 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.825 * * * * [misc]points:  Computing exacts on every 4 of 131 points to ramp up precision
1538301012.826 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.829 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.833 * * * * [misc]points:  Computing exacts on every 2 of 131 points to ramp up precision
1538301012.834 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.838 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.843 * * * * [misc]points:  Computing exacts for 131 points
1538301012.844 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.858 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.873 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301012.873 * * * * [misc]points:  Sampling 91 additional inputs, on iter 15 have 7909 / 8000
1538301012.873 * * * * [misc]points:  Computing exacts on every 5 of 91 points to ramp up precision
1538301012.875 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.877 * * * * [misc]points:  Setting MPFR precision to 2368
1538301012.880 * * * * [misc]points:  Computing exacts on every 2 of 91 points to ramp up precision
1538301012.881 * * * * [misc]points:  Setting MPFR precision to 2112
1538301012.885 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.217 * * * * [misc]points:  Computing exacts for 91 points
1538301013.218 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.229 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.238 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301013.238 * * * * [misc]points:  Sampling 71 additional inputs, on iter 16 have 7929 / 8000
1538301013.238 * * * * [misc]points:  Computing exacts on every 4 of 71 points to ramp up precision
1538301013.239 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.241 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.242 * * * * [misc]points:  Computing exacts on every 2 of 71 points to ramp up precision
1538301013.244 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.246 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.249 * * * * [misc]points:  Computing exacts for 71 points
1538301013.250 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.258 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.266 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301013.266 * * * * [misc]points:  Sampling 55 additional inputs, on iter 17 have 7945 / 8000
1538301013.266 * * * * [misc]points:  Computing exacts on every 3 of 55 points to ramp up precision
1538301013.267 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.269 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.270 * * * * [misc]points:  Computing exacts for 55 points
1538301013.271 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.275 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.280 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301013.280 * * * * [misc]points:  Sampling 44 additional inputs, on iter 18 have 7956 / 8000
1538301013.280 * * * * [misc]points:  Computing exacts on every 2 of 44 points to ramp up precision
1538301013.281 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.282 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.283 * * * * [misc]points:  Computing exacts for 44 points
1538301013.284 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.288 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.292 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301013.292 * * * * [misc]points:  Sampling 33 additional inputs, on iter 19 have 7967 / 8000
1538301013.292 * * * * [misc]points:  Computing exacts on every 2 of 33 points to ramp up precision
1538301013.293 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.294 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.295 * * * * [misc]points:  Computing exacts for 33 points
1538301013.296 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.299 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.304 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301013.305 * * * * [misc]points:  Sampling 27 additional inputs, on iter 20 have 7973 / 8000
1538301013.305 * * * * [misc]points:  Computing exacts for 27 points
1538301013.307 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.311 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.314 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301013.314 * * * * [misc]points:  Sampling 20 additional inputs, on iter 21 have 7980 / 8000
1538301013.314 * * * * [misc]points:  Computing exacts for 20 points
1538301013.315 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.317 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.319 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301013.319 * * * * [misc]points:  Sampling 17 additional inputs, on iter 22 have 7983 / 8000
1538301013.319 * * * * [misc]points:  Computing exacts for 17 points
1538301013.320 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.322 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.323 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301013.323 * * * * [misc]points:  Sampling 14 additional inputs, on iter 23 have 7986 / 8000
1538301013.323 * * * * [misc]points:  Computing exacts for 14 points
1538301013.324 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.326 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.327 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301013.328 * * * * [misc]points:  Sampling 10 additional inputs, on iter 24 have 7990 / 8000
1538301013.328 * * * * [misc]points:  Computing exacts for 10 points
1538301013.329 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.330 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.331 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301013.331 * * * * [misc]points:  Sampling 8 additional inputs, on iter 25 have 7992 / 8000
1538301013.332 * * * * [misc]points:  Computing exacts for 8 points
1538301013.333 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.334 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.334 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301013.334 * * * * [misc]points:  Sampling 7 additional inputs, on iter 26 have 7993 / 8000
1538301013.335 * * * * [misc]points:  Computing exacts for 7 points
1538301013.336 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.336 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.337 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301013.337 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7996 / 8000
1538301013.338 * * * * [misc]points:  Computing exacts for 4 points
1538301013.339 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.339 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.339 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301013.339 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7997 / 8000
1538301013.340 * * * * [misc]points:  Computing exacts for 4 points
1538301013.341 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.341 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.341 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301013.341 * * * * [misc]points:  Sampling 4 additional inputs, on iter 29 have 7997 / 8000
1538301013.341 * * * * [misc]points:  Computing exacts for 4 points
1538301013.342 * * * * [misc]points:  Setting MPFR precision to 2112
1538301013.343 * * * * [misc]points:  Setting MPFR precision to 2368
1538301013.344 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538301013.344 * * * * [exit]points:  Sampled 8000 points with exact outputs