0.776 * [progress]: [Phase 1 of 3] Setting up.
0.004 * * * [progress]: [1/2] Preparing points
0.006 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.011 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.113 * * * * [points]: Setting MPFR precision to 64
0.119 * * * * [points]: Setting MPFR precision to 320
0.123 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.126 * * * * [points]: Setting MPFR precision to 64
0.132 * * * * [points]: Setting MPFR precision to 320
0.138 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.142 * * * * [points]: Setting MPFR precision to 64
0.153 * * * * [points]: Setting MPFR precision to 320
0.163 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.166 * * * * [points]: Setting MPFR precision to 64
0.182 * * * * [points]: Setting MPFR precision to 320
0.198 * * * * [points]: Computing exacts for 256 points
0.201 * * * * [points]: Setting MPFR precision to 64
0.246 * * * * [points]: Setting MPFR precision to 320
0.364 * * * * [points]: Filtering points with unrepresentable outputs
0.365 * * * * [points]: Sampling 127 additional inputs, on iter 1 have 129 / 256
0.367 * * * * [points]: Computing exacts on every 7 of 127 points to ramp up precision
0.370 * * * * [points]: Setting MPFR precision to 64
0.373 * * * * [points]: Setting MPFR precision to 320
0.376 * * * * [points]: Computing exacts on every 3 of 127 points to ramp up precision
0.378 * * * * [points]: Setting MPFR precision to 64
0.384 * * * * [points]: Setting MPFR precision to 320
0.390 * * * * [points]: Computing exacts for 127 points
0.393 * * * * [points]: Setting MPFR precision to 64
0.417 * * * * [points]: Setting MPFR precision to 320
0.431 * * * * [points]: Filtering points with unrepresentable outputs
0.432 * * * * [points]: Sampling 63 additional inputs, on iter 2 have 193 / 256
0.432 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision
0.434 * * * * [points]: Setting MPFR precision to 64
0.436 * * * * [points]: Setting MPFR precision to 320
0.438 * * * * [points]: Computing exacts for 63 points
0.439 * * * * [points]: Setting MPFR precision to 64
0.444 * * * * [points]: Setting MPFR precision to 320
0.454 * * * * [points]: Filtering points with unrepresentable outputs
0.454 * * * * [points]: Sampling 29 additional inputs, on iter 3 have 227 / 256
0.454 * * * * [points]: Computing exacts for 29 points
0.457 * * * * [points]: Setting MPFR precision to 64
0.462 * * * * [points]: Setting MPFR precision to 320
0.467 * * * * [points]: Filtering points with unrepresentable outputs
0.467 * * * * [points]: Sampling 12 additional inputs, on iter 4 have 244 / 256
0.468 * * * * [points]: Computing exacts for 12 points
0.470 * * * * [points]: Setting MPFR precision to 64
0.472 * * * * [points]: Setting MPFR precision to 320
0.475 * * * * [points]: Filtering points with unrepresentable outputs
0.475 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256
0.475 * * * * [points]: Computing exacts for 5 points
0.478 * * * * [points]: Setting MPFR precision to 64
0.479 * * * * [points]: Setting MPFR precision to 320
0.480 * * * * [points]: Filtering points with unrepresentable outputs
0.480 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256
0.481 * * * * [points]: Computing exacts for 4 points
0.483 * * * * [points]: Setting MPFR precision to 64
0.484 * * * * [points]: Setting MPFR precision to 320
0.485 * * * * [points]: Filtering points with unrepresentable outputs
0.485 * * * * [points]: Sampled 256 points with exact outputs
0.486 * * * [progress]: [2/2] Setting up program.
0.493 * [progress]: [Phase 2 of 3] Improving.
0.493 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.496 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.498 * * [simplify]: iteration 1: (12 enodes)
0.560 * * [simplify]: iteration 2: (26 enodes)
0.573 * * [simplify]: iteration 3: (30 enodes)
0.584 * * [simplify]: Extracting #0: cost 1 inf + 0
0.584 * * [simplify]: Extracting #1: cost 3 inf + 0
0.584 * * [simplify]: Extracting #2: cost 5 inf + 0
0.584 * * [simplify]: Extracting #3: cost 9 inf + 0
0.585 * * [simplify]: Extracting #4: cost 8 inf + 4
0.585 * * [simplify]: Extracting #5: cost 12 inf + 4
0.585 * * [simplify]: Extracting #6: cost 11 inf + 47
0.585 * * [simplify]: Extracting #7: cost 4 inf + 478
0.585 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.586 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.587 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.595 * * [progress]: iteration 1 / 4
0.595 * * * [progress]: picking best candidate
0.601 * * * * [pick]: Picked  #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.601 * * * [progress]: localizing error
0.701 * * * [progress]: generating rewritten candidates
0.702 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.704 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
0.705 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
0.719 * * * [progress]: generating series expansions
0.719 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.719 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
0.719 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
0.719 * * * [progress]: simplifying candidates
0.719 * * * * [progress]: [ 1 / 4 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))>
0.719 * * * * [progress]: [ 2 / 4 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.719 * * * * [progress]: [ 3 / 4 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.719 * * * * [progress]: [ 4 / 4 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.720 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.720 * * [simplify]: iteration 1: (12 enodes)
0.723 * * [simplify]: iteration 2: (26 enodes)
0.731 * * [simplify]: iteration 3: (30 enodes)
0.740 * * [simplify]: Extracting #0: cost 1 inf + 0
0.740 * * [simplify]: Extracting #1: cost 3 inf + 0
0.740 * * [simplify]: Extracting #2: cost 5 inf + 0
0.740 * * [simplify]: Extracting #3: cost 9 inf + 0
0.740 * * [simplify]: Extracting #4: cost 8 inf + 4
0.740 * * [simplify]: Extracting #5: cost 12 inf + 4
0.741 * * [simplify]: Extracting #6: cost 11 inf + 47
0.741 * * [simplify]: Extracting #7: cost 4 inf + 478
0.741 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.742 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.742 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.743 * * * [progress]: adding candidates to table
0.769 * [progress]: [Phase 3 of 3] Extracting.
0.775 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.775 * * [simplify]: iteration 1: (12 enodes)
0.776 * * [simplify]: iteration 2: (13 enodes)
0.777 * * [simplify]: Extracting #0: cost 1 inf + 0
0.777 * * [simplify]: Extracting #1: cost 2 inf + 0
0.777 * * [simplify]: Extracting #2: cost 4 inf + 0
0.778 * * [simplify]: Extracting #3: cost 8 inf + 0
0.778 * * [simplify]: Extracting #4: cost 7 inf + 4
0.778 * * [simplify]: Extracting #5: cost 9 inf + 4
0.778 * * [simplify]: Extracting #6: cost 7 inf + 6
0.778 * * [simplify]: Extracting #7: cost 0 inf + 2104
0.778 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.778 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.861 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.864 * * * * [points]: Setting MPFR precision to 64
0.868 * * * * [points]: Setting MPFR precision to 320
0.871 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.874 * * * * [points]: Setting MPFR precision to 64
0.877 * * * * [points]: Setting MPFR precision to 320
0.880 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
0.882 * * * * [points]: Setting MPFR precision to 64
0.887 * * * * [points]: Setting MPFR precision to 320
0.893 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
0.895 * * * * [points]: Setting MPFR precision to 64
0.906 * * * * [points]: Setting MPFR precision to 320
0.928 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
0.931 * * * * [points]: Setting MPFR precision to 64
0.983 * * * * [points]: Setting MPFR precision to 320
1.031 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.033 * * * * [points]: Setting MPFR precision to 64
1.078 * * * * [points]: Setting MPFR precision to 320
1.681 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.684 * * * * [points]: Setting MPFR precision to 64
1.797 * * * * [points]: Setting MPFR precision to 320
2.027 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
2.030 * * * * [points]: Setting MPFR precision to 64
2.433 * * * * [points]: Setting MPFR precision to 320
2.743 * * * * [points]: Setting MPFR precision to 576
3.253 * * * * [points]: Computing exacts for 8000 points
3.257 * * * * [points]: Setting MPFR precision to 320
5.173 * * * * [points]: Setting MPFR precision to 576
7.415 * * * * [points]: Filtering points with unrepresentable outputs
7.419 * * * * [points]: Sampling 3948 additional inputs, on iter 1 have 4052 / 8000
7.513 * * * * [points]: Computing exacts on every 246 of 3948 points to ramp up precision
7.517 * * * * [points]: Setting MPFR precision to 320
7.520 * * * * [points]: Setting MPFR precision to 576
7.523 * * * * [points]: Computing exacts on every 123 of 3948 points to ramp up precision
7.526 * * * * [points]: Setting MPFR precision to 320
7.532 * * * * [points]: Setting MPFR precision to 576
7.539 * * * * [points]: Computing exacts on every 61 of 3948 points to ramp up precision
7.542 * * * * [points]: Setting MPFR precision to 320
7.554 * * * * [points]: Setting MPFR precision to 576
7.568 * * * * [points]: Computing exacts on every 30 of 3948 points to ramp up precision
7.571 * * * * [points]: Setting MPFR precision to 320
7.595 * * * * [points]: Setting MPFR precision to 576
7.624 * * * * [points]: Computing exacts on every 15 of 3948 points to ramp up precision
7.625 * * * * [points]: Setting MPFR precision to 320
7.649 * * * * [points]: Setting MPFR precision to 576
7.745 * * * * [points]: Computing exacts on every 7 of 3948 points to ramp up precision
7.749 * * * * [points]: Setting MPFR precision to 320
7.848 * * * * [points]: Setting MPFR precision to 576
7.959 * * * * [points]: Computing exacts on every 3 of 3948 points to ramp up precision
7.962 * * * * [points]: Setting MPFR precision to 320
8.197 * * * * [points]: Setting MPFR precision to 576
8.388 * * * * [points]: Computing exacts for 3948 points
8.390 * * * * [points]: Setting MPFR precision to 320
9.384 * * * * [points]: Setting MPFR precision to 576
10.285 * * * * [points]: Filtering points with unrepresentable outputs
10.288 * * * * [points]: Sampling 1966 additional inputs, on iter 2 have 6034 / 8000
10.309 * * * * [points]: Computing exacts on every 122 of 1966 points to ramp up precision
10.312 * * * * [points]: Setting MPFR precision to 320
10.313 * * * * [points]: Setting MPFR precision to 576
10.316 * * * * [points]: Computing exacts on every 61 of 1966 points to ramp up precision
10.317 * * * * [points]: Setting MPFR precision to 320
10.320 * * * * [points]: Setting MPFR precision to 576
10.325 * * * * [points]: Computing exacts on every 30 of 1966 points to ramp up precision
10.366 * * * * [points]: Setting MPFR precision to 320
10.382 * * * * [points]: Setting MPFR precision to 576
10.396 * * * * [points]: Computing exacts on every 15 of 1966 points to ramp up precision
10.399 * * * * [points]: Setting MPFR precision to 320
10.424 * * * * [points]: Setting MPFR precision to 576
10.455 * * * * [points]: Computing exacts on every 7 of 1966 points to ramp up precision
10.458 * * * * [points]: Setting MPFR precision to 320
10.486 * * * * [points]: Setting MPFR precision to 576
10.529 * * * * [points]: Computing exacts on every 3 of 1966 points to ramp up precision
10.532 * * * * [points]: Setting MPFR precision to 320
10.645 * * * * [points]: Setting MPFR precision to 576
10.709 * * * * [points]: Computing exacts for 1966 points
10.711 * * * * [points]: Setting MPFR precision to 320
11.056 * * * * [points]: Setting MPFR precision to 576
11.857 * * * * [points]: Filtering points with unrepresentable outputs
11.858 * * * * [points]: Sampling 978 additional inputs, on iter 3 have 7022 / 8000
11.878 * * * * [points]: Computing exacts on every 61 of 978 points to ramp up precision
11.881 * * * * [points]: Setting MPFR precision to 320
11.884 * * * * [points]: Setting MPFR precision to 576
11.887 * * * * [points]: Computing exacts on every 30 of 978 points to ramp up precision
11.890 * * * * [points]: Setting MPFR precision to 320
11.896 * * * * [points]: Setting MPFR precision to 576
11.902 * * * * [points]: Computing exacts on every 15 of 978 points to ramp up precision
11.905 * * * * [points]: Setting MPFR precision to 320
11.917 * * * * [points]: Setting MPFR precision to 576
11.930 * * * * [points]: Computing exacts on every 7 of 978 points to ramp up precision
11.933 * * * * [points]: Setting MPFR precision to 320
11.954 * * * * [points]: Setting MPFR precision to 576
11.981 * * * * [points]: Computing exacts on every 3 of 978 points to ramp up precision
11.985 * * * * [points]: Setting MPFR precision to 320
12.031 * * * * [points]: Setting MPFR precision to 576
12.105 * * * * [points]: Computing exacts for 978 points
12.107 * * * * [points]: Setting MPFR precision to 320
12.250 * * * * [points]: Setting MPFR precision to 576
12.462 * * * * [points]: Filtering points with unrepresentable outputs
12.463 * * * * [points]: Sampling 468 additional inputs, on iter 4 have 7532 / 8000
12.471 * * * * [points]: Computing exacts on every 29 of 468 points to ramp up precision
12.475 * * * * [points]: Setting MPFR precision to 320
12.539 * * * * [points]: Setting MPFR precision to 576
12.543 * * * * [points]: Computing exacts on every 14 of 468 points to ramp up precision
12.546 * * * * [points]: Setting MPFR precision to 320
12.557 * * * * [points]: Setting MPFR precision to 576
12.564 * * * * [points]: Computing exacts on every 7 of 468 points to ramp up precision
12.567 * * * * [points]: Setting MPFR precision to 320
12.579 * * * * [points]: Setting MPFR precision to 576
12.595 * * * * [points]: Computing exacts on every 3 of 468 points to ramp up precision
12.598 * * * * [points]: Setting MPFR precision to 320
12.621 * * * * [points]: Setting MPFR precision to 576
12.648 * * * * [points]: Computing exacts for 468 points
12.651 * * * * [points]: Setting MPFR precision to 320
12.740 * * * * [points]: Setting MPFR precision to 576
12.848 * * * * [points]: Filtering points with unrepresentable outputs
12.848 * * * * [points]: Sampling 220 additional inputs, on iter 5 have 7780 / 8000
12.850 * * * * [points]: Computing exacts on every 13 of 220 points to ramp up precision
12.854 * * * * [points]: Setting MPFR precision to 320
12.858 * * * * [points]: Setting MPFR precision to 576
12.861 * * * * [points]: Computing exacts on every 6 of 220 points to ramp up precision
12.864 * * * * [points]: Setting MPFR precision to 320
12.866 * * * * [points]: Setting MPFR precision to 576
12.870 * * * * [points]: Computing exacts on every 3 of 220 points to ramp up precision
12.871 * * * * [points]: Setting MPFR precision to 320
12.877 * * * * [points]: Setting MPFR precision to 576
12.883 * * * * [points]: Computing exacts for 220 points
12.885 * * * * [points]: Setting MPFR precision to 320
12.906 * * * * [points]: Setting MPFR precision to 576
12.959 * * * * [points]: Filtering points with unrepresentable outputs
12.959 * * * * [points]: Sampling 115 additional inputs, on iter 6 have 7885 / 8000
12.961 * * * * [points]: Computing exacts on every 7 of 115 points to ramp up precision
13.023 * * * * [points]: Setting MPFR precision to 320
13.025 * * * * [points]: Setting MPFR precision to 576
13.029 * * * * [points]: Computing exacts on every 3 of 115 points to ramp up precision
13.036 * * * * [points]: Setting MPFR precision to 320
13.041 * * * * [points]: Setting MPFR precision to 576
13.046 * * * * [points]: Computing exacts for 115 points
13.049 * * * * [points]: Setting MPFR precision to 320
13.072 * * * * [points]: Setting MPFR precision to 576
13.098 * * * * [points]: Filtering points with unrepresentable outputs
13.098 * * * * [points]: Sampling 61 additional inputs, on iter 7 have 7939 / 8000
13.099 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision
13.102 * * * * [points]: Setting MPFR precision to 320
13.105 * * * * [points]: Setting MPFR precision to 576
13.108 * * * * [points]: Computing exacts for 61 points
13.112 * * * * [points]: Setting MPFR precision to 320
13.119 * * * * [points]: Setting MPFR precision to 576
13.126 * * * * [points]: Filtering points with unrepresentable outputs
13.126 * * * * [points]: Sampling 34 additional inputs, on iter 8 have 7966 / 8000
13.126 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
13.128 * * * * [points]: Setting MPFR precision to 320
13.129 * * * * [points]: Setting MPFR precision to 576
13.131 * * * * [points]: Computing exacts for 34 points
13.132 * * * * [points]: Setting MPFR precision to 320
13.135 * * * * [points]: Setting MPFR precision to 576
13.139 * * * * [points]: Filtering points with unrepresentable outputs
13.140 * * * * [points]: Sampling 18 additional inputs, on iter 9 have 7982 / 8000
13.140 * * * * [points]: Computing exacts for 18 points
13.142 * * * * [points]: Setting MPFR precision to 320
13.144 * * * * [points]: Setting MPFR precision to 576
13.148 * * * * [points]: Filtering points with unrepresentable outputs
13.149 * * * * [points]: Sampling 9 additional inputs, on iter 10 have 7991 / 8000
13.149 * * * * [points]: Computing exacts for 9 points
13.153 * * * * [points]: Setting MPFR precision to 320
13.155 * * * * [points]: Setting MPFR precision to 576
13.158 * * * * [points]: Filtering points with unrepresentable outputs
13.158 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000
13.158 * * * * [points]: Computing exacts for 4 points
13.161 * * * * [points]: Setting MPFR precision to 320
13.162 * * * * [points]: Setting MPFR precision to 576
13.164 * * * * [points]: Filtering points with unrepresentable outputs
13.164 * * * * [points]: Sampled 8002 points with exact outputs
13.428 * [regime-testing]: Baseline error score: 0.011323120312590145
13.433 * [regime-testing]: Oracle error score: 0.011323120312590145
13.433 * [regime-testing]: End program error score: 0.011323120312590145