0.697 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.004 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.010 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.130 * * * * [points]: Setting MPFR precision to 64
0.134 * * * * [points]: Setting MPFR precision to 320
0.139 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.142 * * * * [points]: Setting MPFR precision to 64
0.147 * * * * [points]: Setting MPFR precision to 320
0.153 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.155 * * * * [points]: Setting MPFR precision to 64
0.164 * * * * [points]: Setting MPFR precision to 320
0.173 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.176 * * * * [points]: Setting MPFR precision to 64
0.191 * * * * [points]: Setting MPFR precision to 320
0.208 * * * * [points]: Computing exacts for 256 points
0.211 * * * * [points]: Setting MPFR precision to 64
0.237 * * * * [points]: Setting MPFR precision to 320
0.280 * * * * [points]: Filtering points with unrepresentable outputs
0.281 * * * * [points]: Sampling 142 additional inputs, on iter 1 have 114 / 256
0.282 * * * * [points]: Computing exacts on every 8 of 142 points to ramp up precision
0.283 * * * * [points]: Setting MPFR precision to 64
0.285 * * * * [points]: Setting MPFR precision to 320
0.287 * * * * [points]: Computing exacts on every 4 of 142 points to ramp up precision
0.289 * * * * [points]: Setting MPFR precision to 64
0.293 * * * * [points]: Setting MPFR precision to 320
0.296 * * * * [points]: Computing exacts on every 2 of 142 points to ramp up precision
0.298 * * * * [points]: Setting MPFR precision to 64
0.356 * * * * [points]: Setting MPFR precision to 320
0.362 * * * * [points]: Computing exacts for 142 points
0.364 * * * * [points]: Setting MPFR precision to 64
0.380 * * * * [points]: Setting MPFR precision to 320
0.396 * * * * [points]: Filtering points with unrepresentable outputs
0.396 * * * * [points]: Sampling 67 additional inputs, on iter 2 have 189 / 256
0.397 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
0.398 * * * * [points]: Setting MPFR precision to 64
0.400 * * * * [points]: Setting MPFR precision to 320
0.401 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
0.403 * * * * [points]: Setting MPFR precision to 64
0.405 * * * * [points]: Setting MPFR precision to 320
0.408 * * * * [points]: Computing exacts for 67 points
0.410 * * * * [points]: Setting MPFR precision to 64
0.417 * * * * [points]: Setting MPFR precision to 320
0.425 * * * * [points]: Filtering points with unrepresentable outputs
0.425 * * * * [points]: Sampling 35 additional inputs, on iter 3 have 221 / 256
0.425 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision
0.427 * * * * [points]: Setting MPFR precision to 64
0.428 * * * * [points]: Setting MPFR precision to 320
0.429 * * * * [points]: Computing exacts for 35 points
0.430 * * * * [points]: Setting MPFR precision to 64
0.433 * * * * [points]: Setting MPFR precision to 320
0.437 * * * * [points]: Filtering points with unrepresentable outputs
0.437 * * * * [points]: Sampling 21 additional inputs, on iter 4 have 235 / 256
0.437 * * * * [points]: Computing exacts for 21 points
0.439 * * * * [points]: Setting MPFR precision to 64
0.443 * * * * [points]: Setting MPFR precision to 320
0.447 * * * * [points]: Filtering points with unrepresentable outputs
0.448 * * * * [points]: Sampling 13 additional inputs, on iter 5 have 243 / 256
0.448 * * * * [points]: Computing exacts for 13 points
0.450 * * * * [points]: Setting MPFR precision to 64
0.453 * * * * [points]: Setting MPFR precision to 320
0.456 * * * * [points]: Filtering points with unrepresentable outputs
0.456 * * * * [points]: Sampling 7 additional inputs, on iter 6 have 249 / 256
0.456 * * * * [points]: Computing exacts for 7 points
0.459 * * * * [points]: Setting MPFR precision to 64
0.460 * * * * [points]: Setting MPFR precision to 320
0.462 * * * * [points]: Filtering points with unrepresentable outputs
0.462 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 252 / 256
0.462 * * * * [points]: Computing exacts for 4 points
0.465 * * * * [points]: Setting MPFR precision to 64
0.466 * * * * [points]: Setting MPFR precision to 320
0.467 * * * * [points]: Filtering points with unrepresentable outputs
0.467 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 254 / 256
0.467 * * * * [points]: Computing exacts for 4 points
0.469 * * * * [points]: Setting MPFR precision to 64
0.470 * * * * [points]: Setting MPFR precision to 320
0.471 * * * * [points]: Filtering points with unrepresentable outputs
0.471 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 255 / 256
0.472 * * * * [points]: Computing exacts for 4 points
0.474 * * * * [points]: Setting MPFR precision to 64
0.475 * * * * [points]: Setting MPFR precision to 320
0.476 * * * * [points]: Filtering points with unrepresentable outputs
0.476 * * * * [points]: Sampled 257 points with exact outputs
0.477 * * * [progress]: [2/2] Setting up program.
0.487 * [progress]: [Phase 2 of 3] Improving.
0.541 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.542 * * [simplify]: iteration 0: 12 enodes
0.554 * * [simplify]: iteration 1: 16 enodes
0.557 * * [simplify]: iteration complete: 16 enodes
0.558 * * [simplify]: Extracting #0: cost 1 inf + 0
0.558 * * [simplify]: Extracting #1: cost 2 inf + 0
0.558 * * [simplify]: Extracting #2: cost 4 inf + 0
0.558 * * [simplify]: Extracting #3: cost 8 inf + 0
0.559 * * [simplify]: Extracting #4: cost 7 inf + 4
0.559 * * [simplify]: Extracting #5: cost 11 inf + 4
0.559 * * [simplify]: Extracting #6: cost 8 inf + 47
0.559 * * [simplify]: Extracting #7: cost 3 inf + 396
0.559 * * [simplify]: Extracting #8: cost 0 inf + 2186
0.560 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
0.563 * * [progress]: iteration 1 / 4
0.563 * * * [progress]: picking best candidate
0.569 * * * * [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.569 * * * [progress]: localizing error
0.619 * * * [progress]: generating rewritten candidates
0.619 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.624 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
0.624 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
0.625 * * * [progress]: generating series expansions
0.625 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.625 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
0.625 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
0.625 * * * [progress]: simplifying candidates
0.626 * [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.626 * * [simplify]: iteration 0: 12 enodes
0.627 * * [simplify]: iteration 1: 16 enodes
0.629 * * [simplify]: iteration complete: 16 enodes
0.629 * * [simplify]: Extracting #0: cost 1 inf + 0
0.629 * * [simplify]: Extracting #1: cost 2 inf + 0
0.629 * * [simplify]: Extracting #2: cost 4 inf + 0
0.629 * * [simplify]: Extracting #3: cost 8 inf + 0
0.629 * * [simplify]: Extracting #4: cost 7 inf + 4
0.629 * * [simplify]: Extracting #5: cost 11 inf + 4
0.629 * * [simplify]: Extracting #6: cost 8 inf + 47
0.629 * * [simplify]: Extracting #7: cost 3 inf + 396
0.629 * * [simplify]: Extracting #8: cost 0 inf + 2186
0.630 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
0.630 * * * [progress]: adding candidates to table
0.636 * [progress]: [Phase 3 of 3] Extracting.
0.640 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.640 * * [simplify]: iteration 0: 12 enodes
0.641 * * [simplify]: iteration 1: 13 enodes
0.642 * * [simplify]: iteration complete: 13 enodes
0.642 * * [simplify]: Extracting #0: cost 1 inf + 0
0.642 * * [simplify]: Extracting #1: cost 2 inf + 0
0.642 * * [simplify]: Extracting #2: cost 4 inf + 0
0.642 * * [simplify]: Extracting #3: cost 8 inf + 0
0.642 * * [simplify]: Extracting #4: cost 7 inf + 4
0.642 * * [simplify]: Extracting #5: cost 9 inf + 4
0.642 * * [simplify]: Extracting #6: cost 7 inf + 6
0.642 * * [simplify]: Extracting #7: cost 0 inf + 2104
0.642 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
0.658 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.727 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.728 * * * * [points]: Setting MPFR precision to 64
0.730 * * * * [points]: Setting MPFR precision to 320
0.733 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.736 * * * * [points]: Setting MPFR precision to 64
0.742 * * * * [points]: Setting MPFR precision to 320
0.747 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
0.750 * * * * [points]: Setting MPFR precision to 64
0.761 * * * * [points]: Setting MPFR precision to 320
0.772 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
0.774 * * * * [points]: Setting MPFR precision to 64
0.792 * * * * [points]: Setting MPFR precision to 320
0.805 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
0.807 * * * * [points]: Setting MPFR precision to 64
0.830 * * * * [points]: Setting MPFR precision to 320
0.868 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
0.869 * * * * [points]: Setting MPFR precision to 64
0.988 * * * * [points]: Setting MPFR precision to 320
1.055 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.057 * * * * [points]: Setting MPFR precision to 64
1.267 * * * * [points]: Setting MPFR precision to 320
1.799 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.801 * * * * [points]: Setting MPFR precision to 64
2.161 * * * * [points]: Setting MPFR precision to 320
2.546 * * * * [points]: Computing exacts for 8000 points
2.554 * * * * [points]: Setting MPFR precision to 64
4.372 * * * * [points]: Setting MPFR precision to 320
5.891 * * * * [points]: Filtering points with unrepresentable outputs
5.922 * * * * [points]: Sampling 3988 additional inputs, on iter 1 have 4012 / 8000
5.970 * * * * [points]: Computing exacts on every 249 of 3988 points to ramp up precision
5.972 * * * * [points]: Setting MPFR precision to 64
5.973 * * * * [points]: Setting MPFR precision to 320
5.975 * * * * [points]: Computing exacts on every 124 of 3988 points to ramp up precision
5.977 * * * * [points]: Setting MPFR precision to 64
5.980 * * * * [points]: Setting MPFR precision to 320
5.983 * * * * [points]: Computing exacts on every 62 of 3988 points to ramp up precision
5.985 * * * * [points]: Setting MPFR precision to 64
5.993 * * * * [points]: Setting MPFR precision to 320
6.005 * * * * [points]: Computing exacts on every 31 of 3988 points to ramp up precision
6.008 * * * * [points]: Setting MPFR precision to 64
6.030 * * * * [points]: Setting MPFR precision to 320
6.052 * * * * [points]: Computing exacts on every 15 of 3988 points to ramp up precision
6.053 * * * * [points]: Setting MPFR precision to 64
6.117 * * * * [points]: Setting MPFR precision to 320
6.157 * * * * [points]: Computing exacts on every 7 of 3988 points to ramp up precision
6.159 * * * * [points]: Setting MPFR precision to 64
6.230 * * * * [points]: Setting MPFR precision to 320
6.718 * * * * [points]: Computing exacts on every 3 of 3988 points to ramp up precision
6.720 * * * * [points]: Setting MPFR precision to 64
6.841 * * * * [points]: Setting MPFR precision to 320
7.029 * * * * [points]: Computing exacts for 3988 points
7.032 * * * * [points]: Setting MPFR precision to 64
7.749 * * * * [points]: Setting MPFR precision to 320
8.493 * * * * [points]: Filtering points with unrepresentable outputs
8.510 * * * * [points]: Sampling 1996 additional inputs, on iter 2 have 6004 / 8000
8.584 * * * * [points]: Computing exacts on every 124 of 1996 points to ramp up precision
8.587 * * * * [points]: Setting MPFR precision to 64
8.589 * * * * [points]: Setting MPFR precision to 320
8.592 * * * * [points]: Computing exacts on every 62 of 1996 points to ramp up precision
8.595 * * * * [points]: Setting MPFR precision to 64
8.600 * * * * [points]: Setting MPFR precision to 320
8.607 * * * * [points]: Computing exacts on every 31 of 1996 points to ramp up precision
8.610 * * * * [points]: Setting MPFR precision to 64
8.623 * * * * [points]: Setting MPFR precision to 320
8.637 * * * * [points]: Computing exacts on every 15 of 1996 points to ramp up precision
8.640 * * * * [points]: Setting MPFR precision to 64
8.662 * * * * [points]: Setting MPFR precision to 320
8.677 * * * * [points]: Computing exacts on every 7 of 1996 points to ramp up precision
8.679 * * * * [points]: Setting MPFR precision to 64
8.713 * * * * [points]: Setting MPFR precision to 320
9.192 * * * * [points]: Computing exacts on every 3 of 1996 points to ramp up precision
9.195 * * * * [points]: Setting MPFR precision to 64
9.268 * * * * [points]: Setting MPFR precision to 320
9.334 * * * * [points]: Computing exacts for 1996 points
9.336 * * * * [points]: Setting MPFR precision to 64
9.713 * * * * [points]: Setting MPFR precision to 320
10.210 * * * * [points]: Filtering points with unrepresentable outputs
10.218 * * * * [points]: Sampling 972 additional inputs, on iter 3 have 7028 / 8000
10.231 * * * * [points]: Computing exacts on every 60 of 972 points to ramp up precision
10.233 * * * * [points]: Setting MPFR precision to 64
10.234 * * * * [points]: Setting MPFR precision to 320
10.236 * * * * [points]: Computing exacts on every 30 of 972 points to ramp up precision
10.237 * * * * [points]: Setting MPFR precision to 64
10.240 * * * * [points]: Setting MPFR precision to 320
10.244 * * * * [points]: Computing exacts on every 15 of 972 points to ramp up precision
10.245 * * * * [points]: Setting MPFR precision to 64
10.251 * * * * [points]: Setting MPFR precision to 320
10.258 * * * * [points]: Computing exacts on every 7 of 972 points to ramp up precision
10.260 * * * * [points]: Setting MPFR precision to 64
10.271 * * * * [points]: Setting MPFR precision to 320
10.322 * * * * [points]: Computing exacts on every 3 of 972 points to ramp up precision
10.323 * * * * [points]: Setting MPFR precision to 64
10.365 * * * * [points]: Setting MPFR precision to 320
10.412 * * * * [points]: Computing exacts for 972 points
10.415 * * * * [points]: Setting MPFR precision to 64
10.649 * * * * [points]: Setting MPFR precision to 320
10.874 * * * * [points]: Filtering points with unrepresentable outputs
10.878 * * * * [points]: Sampling 499 additional inputs, on iter 4 have 7501 / 8000
10.885 * * * * [points]: Computing exacts on every 31 of 499 points to ramp up precision
10.888 * * * * [points]: Setting MPFR precision to 64
10.890 * * * * [points]: Setting MPFR precision to 320
10.893 * * * * [points]: Computing exacts on every 15 of 499 points to ramp up precision
10.895 * * * * [points]: Setting MPFR precision to 64
10.901 * * * * [points]: Setting MPFR precision to 320
10.906 * * * * [points]: Computing exacts on every 7 of 499 points to ramp up precision
10.909 * * * * [points]: Setting MPFR precision to 64
10.920 * * * * [points]: Setting MPFR precision to 320
10.931 * * * * [points]: Computing exacts on every 3 of 499 points to ramp up precision
10.934 * * * * [points]: Setting MPFR precision to 64
10.955 * * * * [points]: Setting MPFR precision to 320
10.972 * * * * [points]: Computing exacts for 499 points
10.973 * * * * [points]: Setting MPFR precision to 64
11.107 * * * * [points]: Setting MPFR precision to 320
11.192 * * * * [points]: Filtering points with unrepresentable outputs
11.193 * * * * [points]: Sampling 249 additional inputs, on iter 5 have 7751 / 8000
11.195 * * * * [points]: Computing exacts on every 15 of 249 points to ramp up precision
11.197 * * * * [points]: Setting MPFR precision to 64
11.199 * * * * [points]: Setting MPFR precision to 320
11.200 * * * * [points]: Computing exacts on every 7 of 249 points to ramp up precision
11.201 * * * * [points]: Setting MPFR precision to 64
11.204 * * * * [points]: Setting MPFR precision to 320
11.208 * * * * [points]: Computing exacts on every 3 of 249 points to ramp up precision
11.211 * * * * [points]: Setting MPFR precision to 64
11.221 * * * * [points]: Setting MPFR precision to 320
11.234 * * * * [points]: Computing exacts for 249 points
11.236 * * * * [points]: Setting MPFR precision to 64
11.300 * * * * [points]: Setting MPFR precision to 320
11.339 * * * * [points]: Filtering points with unrepresentable outputs
11.340 * * * * [points]: Sampling 137 additional inputs, on iter 6 have 7863 / 8000
11.342 * * * * [points]: Computing exacts on every 8 of 137 points to ramp up precision
11.344 * * * * [points]: Setting MPFR precision to 64
11.347 * * * * [points]: Setting MPFR precision to 320
11.351 * * * * [points]: Computing exacts on every 4 of 137 points to ramp up precision
11.353 * * * * [points]: Setting MPFR precision to 64
11.359 * * * * [points]: Setting MPFR precision to 320
11.365 * * * * [points]: Computing exacts on every 2 of 137 points to ramp up precision
11.367 * * * * [points]: Setting MPFR precision to 64
11.376 * * * * [points]: Setting MPFR precision to 320
11.386 * * * * [points]: Computing exacts for 137 points
11.389 * * * * [points]: Setting MPFR precision to 64
11.403 * * * * [points]: Setting MPFR precision to 320
11.417 * * * * [points]: Filtering points with unrepresentable outputs
11.418 * * * * [points]: Sampling 66 additional inputs, on iter 7 have 7934 / 8000
11.418 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
11.420 * * * * [points]: Setting MPFR precision to 64
11.422 * * * * [points]: Setting MPFR precision to 320
11.425 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
11.428 * * * * [points]: Setting MPFR precision to 64
11.432 * * * * [points]: Setting MPFR precision to 320
11.436 * * * * [points]: Computing exacts for 66 points
11.439 * * * * [points]: Setting MPFR precision to 64
11.773 * * * * [points]: Setting MPFR precision to 320
11.785 * * * * [points]: Filtering points with unrepresentable outputs
11.785 * * * * [points]: Sampling 34 additional inputs, on iter 8 have 7966 / 8000
11.786 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
11.788 * * * * [points]: Setting MPFR precision to 64
11.790 * * * * [points]: Setting MPFR precision to 320
11.793 * * * * [points]: Computing exacts for 34 points
11.795 * * * * [points]: Setting MPFR precision to 64
11.801 * * * * [points]: Setting MPFR precision to 320
11.808 * * * * [points]: Filtering points with unrepresentable outputs
11.808 * * * * [points]: Sampling 17 additional inputs, on iter 9 have 7983 / 8000
11.809 * * * * [points]: Computing exacts for 17 points
11.811 * * * * [points]: Setting MPFR precision to 64
11.814 * * * * [points]: Setting MPFR precision to 320
11.817 * * * * [points]: Filtering points with unrepresentable outputs
11.817 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 7992 / 8000
11.817 * * * * [points]: Computing exacts for 8 points
11.820 * * * * [points]: Setting MPFR precision to 64
11.822 * * * * [points]: Setting MPFR precision to 320
11.823 * * * * [points]: Filtering points with unrepresentable outputs
11.823 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
11.823 * * * * [points]: Computing exacts for 4 points
11.826 * * * * [points]: Setting MPFR precision to 64
11.827 * * * * [points]: Setting MPFR precision to 320
11.828 * * * * [points]: Filtering points with unrepresentable outputs
11.828 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000
11.828 * * * * [points]: Computing exacts for 4 points
11.830 * * * * [points]: Setting MPFR precision to 64
11.831 * * * * [points]: Setting MPFR precision to 320
11.832 * * * * [points]: Filtering points with unrepresentable outputs
11.832 * * * * [points]: Sampled 8000 points with exact outputs
12.218 * [regime-testing]: Baseline error score: 0.012448120312590145
12.237 * [regime-testing]: Oracle error score: 0.012448120312590145
12.237 * [regime-testing]: End program error score: 0.012448120312590145