1.109 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.047 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.096 * * * * [points]: Setting MPFR precision to 64
0.101 * * * * [points]: Setting MPFR precision to 320
0.104 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.106 * * * * [points]: Setting MPFR precision to 64
0.108 * * * * [points]: Setting MPFR precision to 320
0.111 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.113 * * * * [points]: Setting MPFR precision to 64
0.117 * * * * [points]: Setting MPFR precision to 320
0.122 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.124 * * * * [points]: Setting MPFR precision to 64
0.131 * * * * [points]: Setting MPFR precision to 320
0.141 * * * * [points]: Computing exacts for 256 points
0.143 * * * * [points]: Setting MPFR precision to 64
0.262 * * * * [points]: Setting MPFR precision to 320
0.316 * * * * [points]: Filtering points with unrepresentable outputs
0.317 * * * * [points]: Sampling 130 additional inputs, on iter 1 have 126 / 256
0.321 * * * * [points]: Computing exacts on every 8 of 130 points to ramp up precision
0.324 * * * * [points]: Setting MPFR precision to 64
0.327 * * * * [points]: Setting MPFR precision to 320
0.329 * * * * [points]: Computing exacts on every 4 of 130 points to ramp up precision
0.332 * * * * [points]: Setting MPFR precision to 64
0.337 * * * * [points]: Setting MPFR precision to 320
0.342 * * * * [points]: Computing exacts on every 2 of 130 points to ramp up precision
0.345 * * * * [points]: Setting MPFR precision to 64
0.353 * * * * [points]: Setting MPFR precision to 320
0.361 * * * * [points]: Computing exacts for 130 points
0.364 * * * * [points]: Setting MPFR precision to 64
0.387 * * * * [points]: Setting MPFR precision to 320
0.400 * * * * [points]: Filtering points with unrepresentable outputs
0.400 * * * * [points]: Sampling 74 additional inputs, on iter 2 have 182 / 256
0.401 * * * * [points]: Computing exacts on every 4 of 74 points to ramp up precision
0.403 * * * * [points]: Setting MPFR precision to 64
0.404 * * * * [points]: Setting MPFR precision to 320
0.406 * * * * [points]: Computing exacts on every 2 of 74 points to ramp up precision
0.407 * * * * [points]: Setting MPFR precision to 64
0.411 * * * * [points]: Setting MPFR precision to 320
0.413 * * * * [points]: Computing exacts for 74 points
0.415 * * * * [points]: Setting MPFR precision to 64
0.423 * * * * [points]: Setting MPFR precision to 320
0.430 * * * * [points]: Filtering points with unrepresentable outputs
0.430 * * * * [points]: Sampling 36 additional inputs, on iter 3 have 220 / 256
0.431 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
0.433 * * * * [points]: Setting MPFR precision to 64
0.434 * * * * [points]: Setting MPFR precision to 320
0.435 * * * * [points]: Computing exacts for 36 points
0.437 * * * * [points]: Setting MPFR precision to 64
0.440 * * * * [points]: Setting MPFR precision to 320
0.502 * * * * [points]: Filtering points with unrepresentable outputs
0.502 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256
0.502 * * * * [points]: Computing exacts for 15 points
0.504 * * * * [points]: Setting MPFR precision to 64
0.505 * * * * [points]: Setting MPFR precision to 320
0.506 * * * * [points]: Filtering points with unrepresentable outputs
0.507 * * * * [points]: Sampling 8 additional inputs, on iter 5 have 248 / 256
0.507 * * * * [points]: Computing exacts for 8 points
0.508 * * * * [points]: Setting MPFR precision to 64
0.509 * * * * [points]: Setting MPFR precision to 320
0.513 * * * * [points]: Filtering points with unrepresentable outputs
0.513 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256
0.513 * * * * [points]: Computing exacts for 4 points
0.514 * * * * [points]: Setting MPFR precision to 64
0.515 * * * * [points]: Setting MPFR precision to 320
0.516 * * * * [points]: Filtering points with unrepresentable outputs
0.516 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256
0.516 * * * * [points]: Computing exacts for 4 points
0.518 * * * * [points]: Setting MPFR precision to 64
0.519 * * * * [points]: Setting MPFR precision to 320
0.520 * * * * [points]: Filtering points with unrepresentable outputs
0.520 * * * * [points]: Sampled 256 points with exact outputs
0.521 * * * [progress]: [2/2] Setting up program.
0.527 * [progress]: [Phase 2 of 3] Improving.
0.534 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.561 * * [progress]: iteration 1 / 4
0.562 * * * [progress]: picking best candidate
0.566 * * * * [pick]: Picked  #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))))>
0.566 * * * [progress]: localizing error
0.638 * * * [progress]: generating rewritten candidates
0.639 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.645 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
0.646 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
0.648 * * * [progress]: generating series expansions
0.648 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.648 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
0.648 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
0.648 * * * [progress]: simplifying candidates
0.649 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.675 * * * [progress]: adding candidates to table
0.681 * [progress]: [Phase 3 of 3] Extracting.
0.683 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.697 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.966 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.969 * * * * [points]: Setting MPFR precision to 64
0.971 * * * * [points]: Setting MPFR precision to 320
0.974 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.976 * * * * [points]: Setting MPFR precision to 64
0.981 * * * * [points]: Setting MPFR precision to 320
0.987 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
0.989 * * * * [points]: Setting MPFR precision to 64
0.999 * * * * [points]: Setting MPFR precision to 320
1.005 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.006 * * * * [points]: Setting MPFR precision to 64
1.018 * * * * [points]: Setting MPFR precision to 320
1.029 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.031 * * * * [points]: Setting MPFR precision to 64
1.054 * * * * [points]: Setting MPFR precision to 320
1.103 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.105 * * * * [points]: Setting MPFR precision to 64
1.199 * * * * [points]: Setting MPFR precision to 320
1.268 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.271 * * * * [points]: Setting MPFR precision to 64
1.421 * * * * [points]: Setting MPFR precision to 320
1.913 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.916 * * * * [points]: Setting MPFR precision to 64
2.280 * * * * [points]: Setting MPFR precision to 320
2.620 * * * * [points]: Computing exacts for 8000 points
2.623 * * * * [points]: Setting MPFR precision to 64
4.434 * * * * [points]: Setting MPFR precision to 320
5.913 * * * * [points]: Filtering points with unrepresentable outputs
5.919 * * * * [points]: Sampling 4045 additional inputs, on iter 1 have 3955 / 8000
6.038 * * * * [points]: Computing exacts on every 252 of 4045 points to ramp up precision
6.041 * * * * [points]: Setting MPFR precision to 64
6.043 * * * * [points]: Setting MPFR precision to 320
6.045 * * * * [points]: Computing exacts on every 126 of 4045 points to ramp up precision
6.046 * * * * [points]: Setting MPFR precision to 64
6.049 * * * * [points]: Setting MPFR precision to 320
6.053 * * * * [points]: Computing exacts on every 63 of 4045 points to ramp up precision
6.056 * * * * [points]: Setting MPFR precision to 64
6.066 * * * * [points]: Setting MPFR precision to 320
6.078 * * * * [points]: Computing exacts on every 31 of 4045 points to ramp up precision
6.081 * * * * [points]: Setting MPFR precision to 64
6.101 * * * * [points]: Setting MPFR precision to 320
6.124 * * * * [points]: Computing exacts on every 15 of 4045 points to ramp up precision
6.127 * * * * [points]: Setting MPFR precision to 64
6.170 * * * * [points]: Setting MPFR precision to 320
6.265 * * * * [points]: Computing exacts on every 7 of 4045 points to ramp up precision
6.267 * * * * [points]: Setting MPFR precision to 64
6.351 * * * * [points]: Setting MPFR precision to 320
6.414 * * * * [points]: Computing exacts on every 3 of 4045 points to ramp up precision
6.416 * * * * [points]: Setting MPFR precision to 64
6.575 * * * * [points]: Setting MPFR precision to 320
7.095 * * * * [points]: Computing exacts for 4045 points
7.098 * * * * [points]: Setting MPFR precision to 64
7.866 * * * * [points]: Setting MPFR precision to 320
8.528 * * * * [points]: Filtering points with unrepresentable outputs
8.531 * * * * [points]: Sampling 2035 additional inputs, on iter 2 have 5965 / 8000
8.585 * * * * [points]: Computing exacts on every 127 of 2035 points to ramp up precision
8.587 * * * * [points]: Setting MPFR precision to 64
8.590 * * * * [points]: Setting MPFR precision to 320
8.593 * * * * [points]: Computing exacts on every 63 of 2035 points to ramp up precision
8.595 * * * * [points]: Setting MPFR precision to 64
8.598 * * * * [points]: Setting MPFR precision to 320
8.601 * * * * [points]: Computing exacts on every 31 of 2035 points to ramp up precision
8.602 * * * * [points]: Setting MPFR precision to 64
8.607 * * * * [points]: Setting MPFR precision to 320
8.637 * * * * [points]: Computing exacts on every 15 of 2035 points to ramp up precision
8.639 * * * * [points]: Setting MPFR precision to 64
8.651 * * * * [points]: Setting MPFR precision to 320
8.663 * * * * [points]: Computing exacts on every 7 of 2035 points to ramp up precision
8.664 * * * * [points]: Setting MPFR precision to 64
8.687 * * * * [points]: Setting MPFR precision to 320
8.733 * * * * [points]: Computing exacts on every 3 of 2035 points to ramp up precision
8.735 * * * * [points]: Setting MPFR precision to 64
8.830 * * * * [points]: Setting MPFR precision to 320
8.894 * * * * [points]: Computing exacts for 2035 points
8.897 * * * * [points]: Setting MPFR precision to 64
9.628 * * * * [points]: Setting MPFR precision to 320
9.972 * * * * [points]: Filtering points with unrepresentable outputs
9.975 * * * * [points]: Sampling 1003 additional inputs, on iter 3 have 6997 / 8000
10.039 * * * * [points]: Computing exacts on every 62 of 1003 points to ramp up precision
10.042 * * * * [points]: Setting MPFR precision to 64
10.045 * * * * [points]: Setting MPFR precision to 320
10.053 * * * * [points]: Computing exacts on every 31 of 1003 points to ramp up precision
10.056 * * * * [points]: Setting MPFR precision to 64
10.062 * * * * [points]: Setting MPFR precision to 320
10.068 * * * * [points]: Computing exacts on every 15 of 1003 points to ramp up precision
10.070 * * * * [points]: Setting MPFR precision to 64
10.082 * * * * [points]: Setting MPFR precision to 320
10.094 * * * * [points]: Computing exacts on every 7 of 1003 points to ramp up precision
10.097 * * * * [points]: Setting MPFR precision to 64
10.113 * * * * [points]: Setting MPFR precision to 320
10.125 * * * * [points]: Computing exacts on every 3 of 1003 points to ramp up precision
10.127 * * * * [points]: Setting MPFR precision to 64
10.173 * * * * [points]: Setting MPFR precision to 320
10.204 * * * * [points]: Computing exacts for 1003 points
10.206 * * * * [points]: Setting MPFR precision to 64
10.382 * * * * [points]: Setting MPFR precision to 320
10.566 * * * * [points]: Filtering points with unrepresentable outputs
10.567 * * * * [points]: Sampling 474 additional inputs, on iter 4 have 7526 / 8000
10.576 * * * * [points]: Computing exacts on every 29 of 474 points to ramp up precision
10.578 * * * * [points]: Setting MPFR precision to 64
10.581 * * * * [points]: Setting MPFR precision to 320
10.584 * * * * [points]: Computing exacts on every 14 of 474 points to ramp up precision
10.587 * * * * [points]: Setting MPFR precision to 64
10.591 * * * * [points]: Setting MPFR precision to 320
10.597 * * * * [points]: Computing exacts on every 7 of 474 points to ramp up precision
10.600 * * * * [points]: Setting MPFR precision to 64
10.609 * * * * [points]: Setting MPFR precision to 320
10.617 * * * * [points]: Computing exacts on every 3 of 474 points to ramp up precision
10.619 * * * * [points]: Setting MPFR precision to 64
10.629 * * * * [points]: Setting MPFR precision to 320
10.693 * * * * [points]: Computing exacts for 474 points
10.694 * * * * [points]: Setting MPFR precision to 64
10.736 * * * * [points]: Setting MPFR precision to 320
10.802 * * * * [points]: Filtering points with unrepresentable outputs
10.803 * * * * [points]: Sampling 230 additional inputs, on iter 5 have 7770 / 8000
10.806 * * * * [points]: Computing exacts on every 14 of 230 points to ramp up precision
10.809 * * * * [points]: Setting MPFR precision to 64
10.811 * * * * [points]: Setting MPFR precision to 320
10.814 * * * * [points]: Computing exacts on every 7 of 230 points to ramp up precision
10.816 * * * * [points]: Setting MPFR precision to 64
10.877 * * * * [points]: Setting MPFR precision to 320
10.882 * * * * [points]: Computing exacts on every 3 of 230 points to ramp up precision
10.884 * * * * [points]: Setting MPFR precision to 64
10.893 * * * * [points]: Setting MPFR precision to 320
10.899 * * * * [points]: Computing exacts for 230 points
10.901 * * * * [points]: Setting MPFR precision to 64
10.925 * * * * [points]: Setting MPFR precision to 320
10.965 * * * * [points]: Filtering points with unrepresentable outputs
10.966 * * * * [points]: Sampling 114 additional inputs, on iter 6 have 7886 / 8000
10.969 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision
10.971 * * * * [points]: Setting MPFR precision to 64
10.973 * * * * [points]: Setting MPFR precision to 320
10.976 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision
10.978 * * * * [points]: Setting MPFR precision to 64
10.982 * * * * [points]: Setting MPFR precision to 320
10.987 * * * * [points]: Computing exacts for 114 points
10.989 * * * * [points]: Setting MPFR precision to 64
11.005 * * * * [points]: Setting MPFR precision to 320
11.022 * * * * [points]: Filtering points with unrepresentable outputs
11.022 * * * * [points]: Sampling 50 additional inputs, on iter 7 have 7950 / 8000
11.023 * * * * [points]: Computing exacts on every 3 of 50 points to ramp up precision
11.024 * * * * [points]: Setting MPFR precision to 64
11.025 * * * * [points]: Setting MPFR precision to 320
11.027 * * * * [points]: Computing exacts for 50 points
11.028 * * * * [points]: Setting MPFR precision to 64
11.033 * * * * [points]: Setting MPFR precision to 320
11.084 * * * * [points]: Filtering points with unrepresentable outputs
11.084 * * * * [points]: Sampling 27 additional inputs, on iter 8 have 7973 / 8000
11.085 * * * * [points]: Computing exacts for 27 points
11.086 * * * * [points]: Setting MPFR precision to 64
11.089 * * * * [points]: Setting MPFR precision to 320
11.091 * * * * [points]: Filtering points with unrepresentable outputs
11.091 * * * * [points]: Sampling 20 additional inputs, on iter 9 have 7980 / 8000
11.091 * * * * [points]: Computing exacts for 20 points
11.095 * * * * [points]: Setting MPFR precision to 64
11.097 * * * * [points]: Setting MPFR precision to 320
11.100 * * * * [points]: Filtering points with unrepresentable outputs
11.100 * * * * [points]: Sampling 10 additional inputs, on iter 10 have 7990 / 8000
11.100 * * * * [points]: Computing exacts for 10 points
11.101 * * * * [points]: Setting MPFR precision to 64
11.102 * * * * [points]: Setting MPFR precision to 320
11.103 * * * * [points]: Filtering points with unrepresentable outputs
11.104 * * * * [points]: Sampling 7 additional inputs, on iter 11 have 7993 / 8000
11.104 * * * * [points]: Computing exacts for 7 points
11.105 * * * * [points]: Setting MPFR precision to 64
11.106 * * * * [points]: Setting MPFR precision to 320
11.106 * * * * [points]: Filtering points with unrepresentable outputs
11.107 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7996 / 8000
11.107 * * * * [points]: Computing exacts for 4 points
11.108 * * * * [points]: Setting MPFR precision to 64
11.108 * * * * [points]: Setting MPFR precision to 320
11.109 * * * * [points]: Filtering points with unrepresentable outputs
11.109 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7998 / 8000
11.109 * * * * [points]: Computing exacts for 4 points
11.110 * * * * [points]: Setting MPFR precision to 64
11.111 * * * * [points]: Setting MPFR precision to 320
11.111 * * * * [points]: Filtering points with unrepresentable outputs
11.111 * * * * [points]: Sampled 8000 points with exact outputs
11.230 * [regime-testing]: Baseline error score: 0.013
11.232 * [regime-testing]: Oracle error score: 0.013
11.232 * [regime-testing]: End program error score: 0.013