1539349123.515 * [misc]progress:  [Phase 1 of 3] Setting up.
1539349123.515 * * * [misc]progress:  [1/2] Preparing points
1539349123.515 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1539349123.516 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1539349123.517 * * * * [misc]points:  Setting MPFR precision to 64
1539349123.518 * * * * [misc]points:  Setting MPFR precision to 320
1539349123.518 * * * * [misc]points:  Setting MPFR precision to 576
1539349123.519 * * * * [misc]points:  Setting MPFR precision to 832
1539349123.519 * * * * [misc]points:  Setting MPFR precision to 1088
1539349123.521 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1539349123.522 * * * * [misc]points:  Setting MPFR precision to 832
1539349123.524 * * * * [misc]points:  Setting MPFR precision to 1088
1539349123.526 * * * * [misc]points:  Setting MPFR precision to 1344
1539349123.528 * * * * [misc]points:  Setting MPFR precision to 1600
1539349123.530 * * * * [misc]points:  Setting MPFR precision to 1856
1539349123.533 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.536 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.540 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1539349123.541 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.545 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.550 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1539349123.551 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.562 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.579 * * * * [misc]points:  Computing exacts for 256 points
1539349123.580 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.608 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.656 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349123.656 * * * * [misc]points:  Sampling 181 additional inputs, on iter 1 have 75 / 256
1539349123.656 * * * * [misc]points:  Computing exacts on every 11 of 181 points to ramp up precision
1539349123.657 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.659 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.660 * * * * [misc]points:  Computing exacts on every 5 of 181 points to ramp up precision
1539349123.661 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.663 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.667 * * * * [misc]points:  Computing exacts on every 2 of 181 points to ramp up precision
1539349123.668 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.673 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.686 * * * * [misc]points:  Computing exacts for 181 points
1539349123.687 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.707 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.725 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349123.725 * * * * [misc]points:  Sampling 144 additional inputs, on iter 2 have 112 / 256
1539349123.725 * * * * [misc]points:  Computing exacts on every 9 of 144 points to ramp up precision
1539349123.726 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.727 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.728 * * * * [misc]points:  Computing exacts on every 4 of 144 points to ramp up precision
1539349123.729 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.732 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.735 * * * * [misc]points:  Computing exacts on every 2 of 144 points to ramp up precision
1539349123.736 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.743 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.751 * * * * [misc]points:  Computing exacts for 144 points
1539349123.753 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.774 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.787 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349123.787 * * * * [misc]points:  Sampling 114 additional inputs, on iter 3 have 142 / 256
1539349123.788 * * * * [misc]points:  Computing exacts on every 7 of 114 points to ramp up precision
1539349123.789 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.789 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.790 * * * * [misc]points:  Computing exacts on every 3 of 114 points to ramp up precision
1539349123.791 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.792 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.794 * * * * [misc]points:  Computing exacts for 114 points
1539349123.795 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.802 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.814 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349123.814 * * * * [misc]points:  Sampling 93 additional inputs, on iter 4 have 163 / 256
1539349123.815 * * * * [misc]points:  Computing exacts on every 5 of 93 points to ramp up precision
1539349123.816 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.819 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.821 * * * * [misc]points:  Computing exacts on every 2 of 93 points to ramp up precision
1539349123.823 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.827 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.832 * * * * [misc]points:  Computing exacts for 93 points
1539349123.833 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.840 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.849 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349123.849 * * * * [misc]points:  Sampling 72 additional inputs, on iter 5 have 184 / 256
1539349123.849 * * * * [misc]points:  Computing exacts on every 4 of 72 points to ramp up precision
1539349123.850 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.851 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.853 * * * * [misc]points:  Computing exacts on every 2 of 72 points to ramp up precision
1539349123.853 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.855 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.858 * * * * [misc]points:  Computing exacts for 72 points
1539349123.859 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.865 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.872 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349123.872 * * * * [misc]points:  Sampling 56 additional inputs, on iter 6 have 200 / 256
1539349123.872 * * * * [misc]points:  Computing exacts on every 3 of 56 points to ramp up precision
1539349123.873 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.874 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.875 * * * * [misc]points:  Computing exacts for 56 points
1539349123.876 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.880 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.885 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349123.885 * * * * [misc]points:  Sampling 41 additional inputs, on iter 7 have 215 / 256
1539349123.885 * * * * [misc]points:  Computing exacts on every 2 of 41 points to ramp up precision
1539349123.886 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.887 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.888 * * * * [misc]points:  Computing exacts for 41 points
1539349123.889 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.919 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.923 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349123.923 * * * * [misc]points:  Sampling 32 additional inputs, on iter 8 have 224 / 256
1539349123.923 * * * * [misc]points:  Computing exacts on every 2 of 32 points to ramp up precision
1539349123.924 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.925 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.927 * * * * [misc]points:  Computing exacts for 32 points
1539349123.928 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.930 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.933 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349123.933 * * * * [misc]points:  Sampling 26 additional inputs, on iter 9 have 230 / 256
1539349123.933 * * * * [misc]points:  Computing exacts for 26 points
1539349123.934 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.935 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.938 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349123.938 * * * * [misc]points:  Sampling 24 additional inputs, on iter 10 have 232 / 256
1539349123.938 * * * * [misc]points:  Computing exacts for 24 points
1539349123.939 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.941 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.942 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349123.942 * * * * [misc]points:  Sampling 20 additional inputs, on iter 11 have 236 / 256
1539349123.942 * * * * [misc]points:  Computing exacts for 20 points
1539349123.943 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.945 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.947 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349123.947 * * * * [misc]points:  Sampling 12 additional inputs, on iter 12 have 244 / 256
1539349123.947 * * * * [misc]points:  Computing exacts for 12 points
1539349123.948 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.950 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.951 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349123.951 * * * * [misc]points:  Sampling 8 additional inputs, on iter 13 have 248 / 256
1539349123.951 * * * * [misc]points:  Computing exacts for 8 points
1539349123.952 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.953 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.954 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349123.954 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 252 / 256
1539349123.954 * * * * [misc]points:  Computing exacts for 4 points
1539349123.955 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.955 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.956 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349123.956 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 254 / 256
1539349123.956 * * * * [misc]points:  Computing exacts for 4 points
1539349123.957 * * * * [misc]points:  Setting MPFR precision to 2112
1539349123.958 * * * * [misc]points:  Setting MPFR precision to 2368
1539349123.958 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349123.958 * * * * [exit]points:  Sampled 256 points with exact outputs
1539349123.958 * * * [misc]progress:  [2/2] Setting up program.
1539349123.961 * [misc]progress:  [Phase 2 of 3] Improving.
1539349123.961 * [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (* a a))
1539349123.961 * * [misc]simplify:  iters left: 4 (6 enodes)
1539349123.962 * [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
1539349123.968 * * [misc]progress:  iteration 1 / 4
1539349123.968 * * * [misc]progress:  picking best candidate
1539349123.970 * * * * [misc]pick:  Picked  #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1539349123.970 * * * [misc]progress:  localizing error
1539349124.029 * * * [misc]progress:  generating rewritten candidates
1539349124.029 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1 1)
1539349124.029 * * * [misc]progress:  generating series expansions
1539349124.029 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1 1)
1539349124.030 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1539349124.030 * [misc]approximate:  Taking taylor expansion of (fmod a (asin a)) in (a) around 0
1539349124.030 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1539349124.030 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1539349124.030 * [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
1539349124.030 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1539349124.030 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1539349124.030 * [misc]backup-simplify:  Simplify 0 into 0
1539349124.030 * [misc]backup-simplify:  Simplify 0 into 0
1539349124.030 * [misc]backup-simplify:  Simplify 0 into 0
1539349124.030 * [misc]backup-simplify:  Simplify 0 into 0
1539349124.030 * [misc]backup-simplify:  Simplify 0 into 0
1539349124.030 * [misc]backup-simplify:  Simplify 0 into 0
1539349124.030 * [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
1539349124.030 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1539349124.030 * [misc]approximate:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0
1539349124.030 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1539349124.030 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1539349124.030 * [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
1539349124.030 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1539349124.030 * [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
1539349124.031 * [misc]backup-simplify:  Simplify 0 into 0
1539349124.031 * [misc]backup-simplify:  Simplify 0 into 0
1539349124.031 * [misc]backup-simplify:  Simplify 0 into 0
1539349124.031 * [misc]backup-simplify:  Simplify 0 into 0
1539349124.031 * [misc]backup-simplify:  Simplify 0 into 0
1539349124.031 * [misc]backup-simplify:  Simplify 0 into 0
1539349124.031 * [misc]backup-simplify:  Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a))
1539349124.031 * [misc]backup-simplify:  Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a)))
1539349124.031 * [misc]approximate:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in (a) around 0
1539349124.031 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1539349124.031 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1539349124.031 * [misc]taylor:  Taking taylor expansion of (fmod (/ -1 a) (asin (/ -1 a))) in a
1539349124.031 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1539349124.031 * [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
1539349124.031 * [misc]backup-simplify:  Simplify 0 into 0
1539349124.031 * [misc]backup-simplify:  Simplify 0 into 0
1539349124.031 * [misc]backup-simplify:  Simplify 0 into 0
1539349124.031 * [misc]backup-simplify:  Simplify 0 into 0
1539349124.031 * [misc]backup-simplify:  Simplify 0 into 0
1539349124.031 * [misc]backup-simplify:  Simplify 0 into 0
1539349124.031 * [misc]backup-simplify:  Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a))
1539349124.032 * * * [misc]progress:  simplifying candidates
1539349124.032 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (log1p (expm1 (fmod a (asin a))))) (* a a)))>
1539349124.032 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (expm1 (log1p (fmod a (asin a))))) (* a a)))>
1539349124.032 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (pow (fmod a (asin a)) 1)) (* a a)))>
1539349124.032 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (exp (log (fmod a (asin a))))) (* a a)))>
1539349124.032 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (log (exp (fmod a (asin a))))) (* a a)))>
1539349124.032 * * * * [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)))>
1539349124.032 * * * * [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)))>
1539349124.032 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (* (sqrt (fmod a (asin a))) (sqrt (fmod a (asin a))))) (* a a)))>
1539349124.032 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (* 1 (fmod a (asin a)))) (* a a)))>
1539349124.032 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1539349124.032 * [enter]simplify:  Simplifying (fmod a (asin a))
1539349124.032 * * [misc]simplify:  iters left: 2 (3 enodes)
1539349124.033 * [exit]simplify:  Simplified to (fmod a (asin a))
1539349124.033 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1539349124.033 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1539349124.033 * [enter]simplify:  Simplifying (fmod a (asin a))
1539349124.034 * * [misc]simplify:  iters left: 2 (3 enodes)
1539349124.034 * [exit]simplify:  Simplified to (fmod a (asin a))
1539349124.034 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1539349124.034 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
1539349124.035 * [enter]simplify:  Simplifying (fmod a (asin a))
1539349124.035 * * [misc]simplify:  iters left: 2 (3 enodes)
1539349124.035 * [exit]simplify:  Simplified to (fmod a (asin a))
1539349124.035 * [misc]simplify:  Simplified (2 1 1) to (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
1539349124.035 * * * [misc]progress:  adding candidates to table
1539349124.510 * [misc]progress:  [Phase 3 of 3] Extracting.
1539349124.513 * [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (* a a))
1539349124.513 * * [misc]simplify:  iters left: 4 (6 enodes)
1539349124.513 * [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
1539349124.513 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1539349124.536 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1539349124.537 * * * * [misc]points:  Setting MPFR precision to 2112
1539349124.540 * * * * [misc]points:  Setting MPFR precision to 2368
1539349124.542 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1539349124.543 * * * * [misc]points:  Setting MPFR precision to 2112
1539349124.548 * * * * [misc]points:  Setting MPFR precision to 2368
1539349124.554 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1539349124.555 * * * * [misc]points:  Setting MPFR precision to 2112
1539349124.565 * * * * [misc]points:  Setting MPFR precision to 2368
1539349124.574 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1539349124.576 * * * * [misc]points:  Setting MPFR precision to 2112
1539349124.586 * * * * [misc]points:  Setting MPFR precision to 2368
1539349124.598 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1539349124.599 * * * * [misc]points:  Setting MPFR precision to 2112
1539349124.629 * * * * [misc]points:  Setting MPFR precision to 2368
1539349124.661 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1539349124.663 * * * * [misc]points:  Setting MPFR precision to 2112
1539349124.764 * * * * [misc]points:  Setting MPFR precision to 2368
1539349124.824 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1539349124.825 * * * * [misc]points:  Setting MPFR precision to 2112
1539349124.981 * * * * [misc]points:  Setting MPFR precision to 2368
1539349125.163 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1539349125.164 * * * * [misc]points:  Setting MPFR precision to 2112
1539349125.428 * * * * [misc]points:  Setting MPFR precision to 2368
1539349125.724 * * * * [misc]points:  Computing exacts for 8000 points
1539349125.725 * * * * [misc]points:  Setting MPFR precision to 2112
1539349126.703 * * * * [misc]points:  Setting MPFR precision to 2368
1539349128.252 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349128.253 * * * * [misc]points:  Sampling 5998 additional inputs, on iter 1 have 2002 / 8000
1539349128.267 * * * * [misc]points:  Computing exacts on every 374 of 5998 points to ramp up precision
1539349128.268 * * * * [misc]points:  Setting MPFR precision to 2112
1539349128.290 * * * * [misc]points:  Setting MPFR precision to 2368
1539349128.291 * * * * [misc]points:  Computing exacts on every 187 of 5998 points to ramp up precision
1539349128.292 * * * * [misc]points:  Setting MPFR precision to 2112
1539349128.295 * * * * [misc]points:  Setting MPFR precision to 2368
1539349128.297 * * * * [misc]points:  Computing exacts on every 93 of 5998 points to ramp up precision
1539349128.297 * * * * [misc]points:  Setting MPFR precision to 2112
1539349128.303 * * * * [misc]points:  Setting MPFR precision to 2368
1539349128.312 * * * * [misc]points:  Computing exacts on every 46 of 5998 points to ramp up precision
1539349128.314 * * * * [misc]points:  Setting MPFR precision to 2112
1539349128.332 * * * * [misc]points:  Setting MPFR precision to 2368
1539349128.355 * * * * [misc]points:  Computing exacts on every 23 of 5998 points to ramp up precision
1539349128.356 * * * * [misc]points:  Setting MPFR precision to 2112
1539349128.401 * * * * [misc]points:  Setting MPFR precision to 2368
1539349128.449 * * * * [misc]points:  Computing exacts on every 11 of 5998 points to ramp up precision
1539349128.450 * * * * [misc]points:  Setting MPFR precision to 2112
1539349128.517 * * * * [misc]points:  Setting MPFR precision to 2368
1539349128.582 * * * * [misc]points:  Computing exacts on every 5 of 5998 points to ramp up precision
1539349128.583 * * * * [misc]points:  Setting MPFR precision to 2112
1539349128.735 * * * * [misc]points:  Setting MPFR precision to 2368
1539349128.861 * * * * [misc]points:  Computing exacts on every 2 of 5998 points to ramp up precision
1539349128.862 * * * * [misc]points:  Setting MPFR precision to 2112
1539349129.073 * * * * [misc]points:  Setting MPFR precision to 2368
1539349129.362 * * * * [misc]points:  Computing exacts for 5998 points
1539349129.364 * * * * [misc]points:  Setting MPFR precision to 2112
1539349130.144 * * * * [misc]points:  Setting MPFR precision to 2368
1539349131.378 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349131.380 * * * * [misc]points:  Sampling 4566 additional inputs, on iter 2 have 3434 / 8000
1539349131.400 * * * * [misc]points:  Computing exacts on every 285 of 4566 points to ramp up precision
1539349131.402 * * * * [misc]points:  Setting MPFR precision to 2112
1539349131.404 * * * * [misc]points:  Setting MPFR precision to 2368
1539349131.407 * * * * [misc]points:  Computing exacts on every 142 of 4566 points to ramp up precision
1539349131.408 * * * * [misc]points:  Setting MPFR precision to 2112
1539349131.413 * * * * [misc]points:  Setting MPFR precision to 2368
1539349131.419 * * * * [misc]points:  Computing exacts on every 71 of 4566 points to ramp up precision
1539349131.420 * * * * [misc]points:  Setting MPFR precision to 2112
1539349131.431 * * * * [misc]points:  Setting MPFR precision to 2368
1539349131.445 * * * * [misc]points:  Computing exacts on every 35 of 4566 points to ramp up precision
1539349131.446 * * * * [misc]points:  Setting MPFR precision to 2112
1539349131.458 * * * * [misc]points:  Setting MPFR precision to 2368
1539349131.470 * * * * [misc]points:  Computing exacts on every 17 of 4566 points to ramp up precision
1539349131.471 * * * * [misc]points:  Setting MPFR precision to 2112
1539349131.502 * * * * [misc]points:  Setting MPFR precision to 2368
1539349131.531 * * * * [misc]points:  Computing exacts on every 8 of 4566 points to ramp up precision
1539349131.532 * * * * [misc]points:  Setting MPFR precision to 2112
1539349131.638 * * * * [misc]points:  Setting MPFR precision to 2368
1539349131.723 * * * * [misc]points:  Computing exacts on every 4 of 4566 points to ramp up precision
1539349131.725 * * * * [misc]points:  Setting MPFR precision to 2112
1539349131.846 * * * * [misc]points:  Setting MPFR precision to 2368
1539349131.980 * * * * [misc]points:  Computing exacts on every 2 of 4566 points to ramp up precision
1539349131.982 * * * * [misc]points:  Setting MPFR precision to 2112
1539349132.180 * * * * [misc]points:  Setting MPFR precision to 2368
1539349132.393 * * * * [misc]points:  Computing exacts for 4566 points
1539349132.395 * * * * [misc]points:  Setting MPFR precision to 2112
1539349133.010 * * * * [misc]points:  Setting MPFR precision to 2368
1539349133.899 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349133.899 * * * * [misc]points:  Sampling 3452 additional inputs, on iter 3 have 4548 / 8000
1539349133.909 * * * * [misc]points:  Computing exacts on every 215 of 3452 points to ramp up precision
1539349133.910 * * * * [misc]points:  Setting MPFR precision to 2112
1539349133.911 * * * * [misc]points:  Setting MPFR precision to 2368
1539349133.914 * * * * [misc]points:  Computing exacts on every 107 of 3452 points to ramp up precision
1539349133.915 * * * * [misc]points:  Setting MPFR precision to 2112
1539349133.918 * * * * [misc]points:  Setting MPFR precision to 2368
1539349133.922 * * * * [misc]points:  Computing exacts on every 53 of 3452 points to ramp up precision
1539349133.923 * * * * [misc]points:  Setting MPFR precision to 2112
1539349133.928 * * * * [misc]points:  Setting MPFR precision to 2368
1539349133.935 * * * * [misc]points:  Computing exacts on every 26 of 3452 points to ramp up precision
1539349133.935 * * * * [misc]points:  Setting MPFR precision to 2112
1539349133.945 * * * * [misc]points:  Setting MPFR precision to 2368
1539349133.958 * * * * [misc]points:  Computing exacts on every 13 of 3452 points to ramp up precision
1539349133.959 * * * * [misc]points:  Setting MPFR precision to 2112
1539349133.980 * * * * [misc]points:  Setting MPFR precision to 2368
1539349134.002 * * * * [misc]points:  Computing exacts on every 6 of 3452 points to ramp up precision
1539349134.003 * * * * [misc]points:  Setting MPFR precision to 2112
1539349134.047 * * * * [misc]points:  Setting MPFR precision to 2368
1539349134.125 * * * * [misc]points:  Computing exacts on every 3 of 3452 points to ramp up precision
1539349134.126 * * * * [misc]points:  Setting MPFR precision to 2112
1539349134.196 * * * * [misc]points:  Setting MPFR precision to 2368
1539349134.277 * * * * [misc]points:  Computing exacts for 3452 points
1539349134.278 * * * * [misc]points:  Setting MPFR precision to 2112
1539349134.631 * * * * [misc]points:  Setting MPFR precision to 2368
1539349134.984 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349134.985 * * * * [misc]points:  Sampling 2597 additional inputs, on iter 4 have 5403 / 8000
1539349134.990 * * * * [misc]points:  Computing exacts on every 162 of 2597 points to ramp up precision
1539349134.991 * * * * [misc]points:  Setting MPFR precision to 2112
1539349134.992 * * * * [misc]points:  Setting MPFR precision to 2368
1539349134.994 * * * * [misc]points:  Computing exacts on every 81 of 2597 points to ramp up precision
1539349134.995 * * * * [misc]points:  Setting MPFR precision to 2112
1539349134.998 * * * * [misc]points:  Setting MPFR precision to 2368
1539349135.002 * * * * [misc]points:  Computing exacts on every 40 of 2597 points to ramp up precision
1539349135.003 * * * * [misc]points:  Setting MPFR precision to 2112
1539349135.012 * * * * [misc]points:  Setting MPFR precision to 2368
1539349135.022 * * * * [misc]points:  Computing exacts on every 20 of 2597 points to ramp up precision
1539349135.023 * * * * [misc]points:  Setting MPFR precision to 2112
1539349135.043 * * * * [misc]points:  Setting MPFR precision to 2368
1539349135.062 * * * * [misc]points:  Computing exacts on every 10 of 2597 points to ramp up precision
1539349135.064 * * * * [misc]points:  Setting MPFR precision to 2112
1539349135.099 * * * * [misc]points:  Setting MPFR precision to 2368
1539349135.166 * * * * [misc]points:  Computing exacts on every 5 of 2597 points to ramp up precision
1539349135.167 * * * * [misc]points:  Setting MPFR precision to 2112
1539349135.234 * * * * [misc]points:  Setting MPFR precision to 2368
1539349135.311 * * * * [misc]points:  Computing exacts on every 2 of 2597 points to ramp up precision
1539349135.312 * * * * [misc]points:  Setting MPFR precision to 2112
1539349135.408 * * * * [misc]points:  Setting MPFR precision to 2368
1539349135.543 * * * * [misc]points:  Computing exacts for 2597 points
1539349135.545 * * * * [misc]points:  Setting MPFR precision to 2112
1539349135.879 * * * * [misc]points:  Setting MPFR precision to 2368
1539349136.308 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349136.308 * * * * [misc]points:  Sampling 1947 additional inputs, on iter 5 have 6053 / 8000
1539349136.318 * * * * [misc]points:  Computing exacts on every 121 of 1947 points to ramp up precision
1539349136.319 * * * * [misc]points:  Setting MPFR precision to 2112
1539349136.321 * * * * [misc]points:  Setting MPFR precision to 2368
1539349136.323 * * * * [misc]points:  Computing exacts on every 60 of 1947 points to ramp up precision
1539349136.324 * * * * [misc]points:  Setting MPFR precision to 2112
1539349136.327 * * * * [misc]points:  Setting MPFR precision to 2368
1539349136.331 * * * * [misc]points:  Computing exacts on every 30 of 1947 points to ramp up precision
1539349136.332 * * * * [misc]points:  Setting MPFR precision to 2112
1539349136.337 * * * * [misc]points:  Setting MPFR precision to 2368
1539349136.347 * * * * [misc]points:  Computing exacts on every 15 of 1947 points to ramp up precision
1539349136.348 * * * * [misc]points:  Setting MPFR precision to 2112
1539349136.367 * * * * [misc]points:  Setting MPFR precision to 2368
1539349136.389 * * * * [misc]points:  Computing exacts on every 7 of 1947 points to ramp up precision
1539349136.391 * * * * [misc]points:  Setting MPFR precision to 2112
1539349136.432 * * * * [misc]points:  Setting MPFR precision to 2368
1539349136.459 * * * * [misc]points:  Computing exacts on every 3 of 1947 points to ramp up precision
1539349136.460 * * * * [misc]points:  Setting MPFR precision to 2112
1539349136.517 * * * * [misc]points:  Setting MPFR precision to 2368
1539349136.960 * * * * [misc]points:  Computing exacts for 1947 points
1539349136.961 * * * * [misc]points:  Setting MPFR precision to 2112
1539349137.254 * * * * [misc]points:  Setting MPFR precision to 2368
1539349137.548 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349137.549 * * * * [misc]points:  Sampling 1465 additional inputs, on iter 6 have 6535 / 8000
1539349137.556 * * * * [misc]points:  Computing exacts on every 91 of 1465 points to ramp up precision
1539349137.558 * * * * [misc]points:  Setting MPFR precision to 2112
1539349137.560 * * * * [misc]points:  Setting MPFR precision to 2368
1539349137.562 * * * * [misc]points:  Computing exacts on every 45 of 1465 points to ramp up precision
1539349137.564 * * * * [misc]points:  Setting MPFR precision to 2112
1539349137.571 * * * * [misc]points:  Setting MPFR precision to 2368
1539349137.577 * * * * [misc]points:  Computing exacts on every 22 of 1465 points to ramp up precision
1539349137.578 * * * * [misc]points:  Setting MPFR precision to 2112
1539349137.588 * * * * [misc]points:  Setting MPFR precision to 2368
1539349137.598 * * * * [misc]points:  Computing exacts on every 11 of 1465 points to ramp up precision
1539349137.599 * * * * [misc]points:  Setting MPFR precision to 2112
1539349137.618 * * * * [misc]points:  Setting MPFR precision to 2368
1539349137.629 * * * * [misc]points:  Computing exacts on every 5 of 1465 points to ramp up precision
1539349137.630 * * * * [misc]points:  Setting MPFR precision to 2112
1539349137.699 * * * * [misc]points:  Setting MPFR precision to 2368
1539349137.720 * * * * [misc]points:  Computing exacts on every 2 of 1465 points to ramp up precision
1539349137.721 * * * * [misc]points:  Setting MPFR precision to 2112
1539349137.785 * * * * [misc]points:  Setting MPFR precision to 2368
1539349137.845 * * * * [misc]points:  Computing exacts for 1465 points
1539349137.846 * * * * [misc]points:  Setting MPFR precision to 2112
1539349138.041 * * * * [misc]points:  Setting MPFR precision to 2368
1539349138.238 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349138.238 * * * * [misc]points:  Sampling 1121 additional inputs, on iter 7 have 6879 / 8000
1539349138.241 * * * * [misc]points:  Computing exacts on every 70 of 1121 points to ramp up precision
1539349138.242 * * * * [misc]points:  Setting MPFR precision to 2112
1539349138.244 * * * * [misc]points:  Setting MPFR precision to 2368
1539349138.245 * * * * [misc]points:  Computing exacts on every 35 of 1121 points to ramp up precision
1539349138.246 * * * * [misc]points:  Setting MPFR precision to 2112
1539349138.249 * * * * [misc]points:  Setting MPFR precision to 2368
1539349138.251 * * * * [misc]points:  Computing exacts on every 17 of 1121 points to ramp up precision
1539349138.252 * * * * [misc]points:  Setting MPFR precision to 2112
1539349138.259 * * * * [misc]points:  Setting MPFR precision to 2368
1539349138.269 * * * * [misc]points:  Computing exacts on every 8 of 1121 points to ramp up precision
1539349138.270 * * * * [misc]points:  Setting MPFR precision to 2112
1539349138.290 * * * * [misc]points:  Setting MPFR precision to 2368
1539349138.301 * * * * [misc]points:  Computing exacts on every 4 of 1121 points to ramp up precision
1539349138.302 * * * * [misc]points:  Setting MPFR precision to 2112
1539349138.347 * * * * [misc]points:  Setting MPFR precision to 2368
1539349138.383 * * * * [misc]points:  Computing exacts on every 2 of 1121 points to ramp up precision
1539349138.385 * * * * [misc]points:  Setting MPFR precision to 2112
1539349138.449 * * * * [misc]points:  Setting MPFR precision to 2368
1539349138.517 * * * * [misc]points:  Computing exacts for 1121 points
1539349138.518 * * * * [misc]points:  Setting MPFR precision to 2112
1539349138.647 * * * * [misc]points:  Setting MPFR precision to 2368
1539349138.856 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349138.857 * * * * [misc]points:  Sampling 836 additional inputs, on iter 8 have 7164 / 8000
1539349138.860 * * * * [misc]points:  Computing exacts on every 52 of 836 points to ramp up precision
1539349138.861 * * * * [misc]points:  Setting MPFR precision to 2112
1539349138.863 * * * * [misc]points:  Setting MPFR precision to 2368
1539349138.865 * * * * [misc]points:  Computing exacts on every 26 of 836 points to ramp up precision
1539349138.866 * * * * [misc]points:  Setting MPFR precision to 2112
1539349138.870 * * * * [misc]points:  Setting MPFR precision to 2368
1539349138.874 * * * * [misc]points:  Computing exacts on every 13 of 836 points to ramp up precision
1539349138.876 * * * * [misc]points:  Setting MPFR precision to 2112
1539349138.882 * * * * [misc]points:  Setting MPFR precision to 2368
1539349138.892 * * * * [misc]points:  Computing exacts on every 6 of 836 points to ramp up precision
1539349138.893 * * * * [misc]points:  Setting MPFR precision to 2112
1539349138.904 * * * * [misc]points:  Setting MPFR precision to 2368
1539349138.915 * * * * [misc]points:  Computing exacts on every 3 of 836 points to ramp up precision
1539349138.916 * * * * [misc]points:  Setting MPFR precision to 2112
1539349138.945 * * * * [misc]points:  Setting MPFR precision to 2368
1539349138.968 * * * * [misc]points:  Computing exacts for 836 points
1539349138.969 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.102 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.233 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349139.233 * * * * [misc]points:  Sampling 628 additional inputs, on iter 9 have 7372 / 8000
1539349139.235 * * * * [misc]points:  Computing exacts on every 39 of 628 points to ramp up precision
1539349139.235 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.237 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.240 * * * * [misc]points:  Computing exacts on every 19 of 628 points to ramp up precision
1539349139.241 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.244 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.249 * * * * [misc]points:  Computing exacts on every 9 of 628 points to ramp up precision
1539349139.249 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.258 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.271 * * * * [misc]points:  Computing exacts on every 4 of 628 points to ramp up precision
1539349139.272 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.283 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.296 * * * * [misc]points:  Computing exacts on every 2 of 628 points to ramp up precision
1539349139.297 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.315 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.348 * * * * [misc]points:  Computing exacts for 628 points
1539349139.349 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.468 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.564 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349139.564 * * * * [misc]points:  Sampling 477 additional inputs, on iter 10 have 7523 / 8000
1539349139.565 * * * * [misc]points:  Computing exacts on every 29 of 477 points to ramp up precision
1539349139.566 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.568 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.570 * * * * [misc]points:  Computing exacts on every 14 of 477 points to ramp up precision
1539349139.572 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.576 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.580 * * * * [misc]points:  Computing exacts on every 7 of 477 points to ramp up precision
1539349139.582 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.592 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.604 * * * * [misc]points:  Computing exacts on every 3 of 477 points to ramp up precision
1539349139.605 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.624 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.644 * * * * [misc]points:  Computing exacts for 477 points
1539349139.645 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.716 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.798 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349139.798 * * * * [misc]points:  Sampling 360 additional inputs, on iter 11 have 7640 / 8000
1539349139.800 * * * * [misc]points:  Computing exacts on every 22 of 360 points to ramp up precision
1539349139.801 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.803 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.804 * * * * [misc]points:  Computing exacts on every 11 of 360 points to ramp up precision
1539349139.805 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.807 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.809 * * * * [misc]points:  Computing exacts on every 5 of 360 points to ramp up precision
1539349139.812 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.817 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.825 * * * * [misc]points:  Computing exacts on every 2 of 360 points to ramp up precision
1539349139.826 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.837 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.850 * * * * [misc]points:  Computing exacts for 360 points
1539349139.851 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.881 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.914 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349139.914 * * * * [misc]points:  Sampling 274 additional inputs, on iter 12 have 7726 / 8000
1539349139.915 * * * * [misc]points:  Computing exacts on every 17 of 274 points to ramp up precision
1539349139.916 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.918 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.919 * * * * [misc]points:  Computing exacts on every 8 of 274 points to ramp up precision
1539349139.920 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.923 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.926 * * * * [misc]points:  Computing exacts on every 4 of 274 points to ramp up precision
1539349139.927 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.932 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.937 * * * * [misc]points:  Computing exacts on every 2 of 274 points to ramp up precision
1539349139.938 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.946 * * * * [misc]points:  Setting MPFR precision to 2368
1539349139.956 * * * * [misc]points:  Computing exacts for 274 points
1539349139.957 * * * * [misc]points:  Setting MPFR precision to 2112
1539349139.979 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.005 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349140.005 * * * * [misc]points:  Sampling 208 additional inputs, on iter 13 have 7792 / 8000
1539349140.006 * * * * [misc]points:  Computing exacts on every 13 of 208 points to ramp up precision
1539349140.007 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.008 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.010 * * * * [misc]points:  Computing exacts on every 6 of 208 points to ramp up precision
1539349140.011 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.014 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.017 * * * * [misc]points:  Computing exacts on every 3 of 208 points to ramp up precision
1539349140.018 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.408 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.416 * * * * [misc]points:  Computing exacts for 208 points
1539349140.417 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.436 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.460 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349140.460 * * * * [misc]points:  Sampling 148 additional inputs, on iter 14 have 7852 / 8000
1539349140.460 * * * * [misc]points:  Computing exacts on every 9 of 148 points to ramp up precision
1539349140.461 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.462 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.463 * * * * [misc]points:  Computing exacts on every 4 of 148 points to ramp up precision
1539349140.464 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.467 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.469 * * * * [misc]points:  Computing exacts on every 2 of 148 points to ramp up precision
1539349140.470 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.475 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.480 * * * * [misc]points:  Computing exacts for 148 points
1539349140.480 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.497 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.521 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349140.521 * * * * [misc]points:  Sampling 114 additional inputs, on iter 15 have 7886 / 8000
1539349140.521 * * * * [misc]points:  Computing exacts on every 7 of 114 points to ramp up precision
1539349140.522 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.524 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.525 * * * * [misc]points:  Computing exacts on every 3 of 114 points to ramp up precision
1539349140.526 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.528 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.530 * * * * [misc]points:  Computing exacts for 114 points
1539349140.531 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.541 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.553 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349140.553 * * * * [misc]points:  Sampling 82 additional inputs, on iter 16 have 7918 / 8000
1539349140.554 * * * * [misc]points:  Computing exacts on every 5 of 82 points to ramp up precision
1539349140.555 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.559 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.562 * * * * [misc]points:  Computing exacts on every 2 of 82 points to ramp up precision
1539349140.563 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.568 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.573 * * * * [misc]points:  Computing exacts for 82 points
1539349140.575 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.588 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.603 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349140.603 * * * * [misc]points:  Sampling 63 additional inputs, on iter 17 have 7937 / 8000
1539349140.603 * * * * [misc]points:  Computing exacts on every 3 of 63 points to ramp up precision
1539349140.605 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.609 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.613 * * * * [misc]points:  Computing exacts for 63 points
1539349140.615 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.627 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.634 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349140.634 * * * * [misc]points:  Sampling 47 additional inputs, on iter 18 have 7953 / 8000
1539349140.634 * * * * [misc]points:  Computing exacts on every 2 of 47 points to ramp up precision
1539349140.635 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.637 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.638 * * * * [misc]points:  Computing exacts for 47 points
1539349140.639 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.643 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.649 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349140.649 * * * * [misc]points:  Sampling 33 additional inputs, on iter 19 have 7967 / 8000
1539349140.649 * * * * [misc]points:  Computing exacts on every 2 of 33 points to ramp up precision
1539349140.650 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.651 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.652 * * * * [misc]points:  Computing exacts for 33 points
1539349140.653 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.657 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.660 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349140.660 * * * * [misc]points:  Sampling 23 additional inputs, on iter 20 have 7977 / 8000
1539349140.661 * * * * [misc]points:  Computing exacts for 23 points
1539349140.662 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.666 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.670 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349140.670 * * * * [misc]points:  Sampling 19 additional inputs, on iter 21 have 7981 / 8000
1539349140.670 * * * * [misc]points:  Computing exacts for 19 points
1539349140.671 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.674 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.676 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349140.677 * * * * [misc]points:  Sampling 16 additional inputs, on iter 22 have 7984 / 8000
1539349140.677 * * * * [misc]points:  Computing exacts for 16 points
1539349140.678 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.681 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.684 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349140.684 * * * * [misc]points:  Sampling 11 additional inputs, on iter 23 have 7989 / 8000
1539349140.684 * * * * [misc]points:  Computing exacts for 11 points
1539349140.686 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.718 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.719 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349140.719 * * * * [misc]points:  Sampling 9 additional inputs, on iter 24 have 7991 / 8000
1539349140.719 * * * * [misc]points:  Computing exacts for 9 points
1539349140.720 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.721 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.721 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349140.721 * * * * [misc]points:  Sampling 8 additional inputs, on iter 25 have 7992 / 8000
1539349140.721 * * * * [misc]points:  Computing exacts for 8 points
1539349140.722 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.723 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.724 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349140.724 * * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7996 / 8000
1539349140.724 * * * * [misc]points:  Computing exacts for 4 points
1539349140.724 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.725 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.726 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349140.726 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7997 / 8000
1539349140.726 * * * * [misc]points:  Computing exacts for 4 points
1539349140.727 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.728 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.729 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349140.729 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7998 / 8000
1539349140.729 * * * * [misc]points:  Computing exacts for 4 points
1539349140.730 * * * * [misc]points:  Setting MPFR precision to 2112
1539349140.730 * * * * [misc]points:  Setting MPFR precision to 2368
1539349140.731 * * * * [misc]points:  Filtering points with unrepresentable outputs
1539349140.731 * * * * [exit]points:  Sampled 8000 points with exact outputs
1539349141.004 * [misc]regime-testing:  Baseline error score: 30.867673210211034
1539349141.004 * [misc]regime-testing:  End program error score: 30.867673210211034
1539349141.006 * [misc]regime-testing:  Oracle error score: 30.867673210211034