1.266 * [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.008 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.083 * * * * [points]: Setting MPFR precision to 64
0.086 * * * * [points]: Setting MPFR precision to 320
0.088 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.090 * * * * [points]: Setting MPFR precision to 64
0.093 * * * * [points]: Setting MPFR precision to 320
0.096 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.098 * * * * [points]: Setting MPFR precision to 64
0.103 * * * * [points]: Setting MPFR precision to 320
0.108 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.110 * * * * [points]: Setting MPFR precision to 64
0.118 * * * * [points]: Setting MPFR precision to 320
0.128 * * * * [points]: Computing exacts for 256 points
0.129 * * * * [points]: Setting MPFR precision to 64
0.156 * * * * [points]: Setting MPFR precision to 320
0.253 * * * * [points]: Filtering points with unrepresentable outputs
0.253 * * * * [points]: Sampling 135 additional inputs, on iter 1 have 121 / 256
0.254 * * * * [points]: Computing exacts on every 8 of 135 points to ramp up precision
0.256 * * * * [points]: Setting MPFR precision to 64
0.258 * * * * [points]: Setting MPFR precision to 320
0.259 * * * * [points]: Computing exacts on every 4 of 135 points to ramp up precision
0.261 * * * * [points]: Setting MPFR precision to 64
0.264 * * * * [points]: Setting MPFR precision to 320
0.266 * * * * [points]: Computing exacts on every 2 of 135 points to ramp up precision
0.268 * * * * [points]: Setting MPFR precision to 64
0.305 * * * * [points]: Setting MPFR precision to 320
0.311 * * * * [points]: Computing exacts for 135 points
0.314 * * * * [points]: Setting MPFR precision to 64
0.332 * * * * [points]: Setting MPFR precision to 320
0.347 * * * * [points]: Filtering points with unrepresentable outputs
0.347 * * * * [points]: Sampling 67 additional inputs, on iter 2 have 189 / 256
0.348 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
0.382 * * * * [points]: Setting MPFR precision to 64
0.385 * * * * [points]: Setting MPFR precision to 320
0.388 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
0.393 * * * * [points]: Setting MPFR precision to 64
0.398 * * * * [points]: Setting MPFR precision to 320
0.403 * * * * [points]: Computing exacts for 67 points
0.407 * * * * [points]: Setting MPFR precision to 64
0.415 * * * * [points]: Setting MPFR precision to 320
0.422 * * * * [points]: Filtering points with unrepresentable outputs
0.422 * * * * [points]: Sampling 30 additional inputs, on iter 3 have 226 / 256
0.422 * * * * [points]: Computing exacts for 30 points
0.424 * * * * [points]: Setting MPFR precision to 64
0.458 * * * * [points]: Setting MPFR precision to 320
0.464 * * * * [points]: Filtering points with unrepresentable outputs
0.464 * * * * [points]: Sampling 17 additional inputs, on iter 4 have 239 / 256
0.465 * * * * [points]: Computing exacts for 17 points
0.468 * * * * [points]: Setting MPFR precision to 64
0.471 * * * * [points]: Setting MPFR precision to 320
0.473 * * * * [points]: Filtering points with unrepresentable outputs
0.473 * * * * [points]: Sampling 8 additional inputs, on iter 5 have 248 / 256
0.473 * * * * [points]: Computing exacts for 8 points
0.476 * * * * [points]: Setting MPFR precision to 64
0.478 * * * * [points]: Setting MPFR precision to 320
0.535 * * * * [points]: Filtering points with unrepresentable outputs
0.535 * * * * [points]: Sampling 5 additional inputs, on iter 6 have 251 / 256
0.535 * * * * [points]: Computing exacts for 5 points
0.538 * * * * [points]: Setting MPFR precision to 64
0.540 * * * * [points]: Setting MPFR precision to 320
0.541 * * * * [points]: Filtering points with unrepresentable outputs
0.541 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256
0.541 * * * * [points]: Computing exacts for 4 points
0.544 * * * * [points]: Setting MPFR precision to 64
0.550 * * * * [points]: Setting MPFR precision to 320
0.551 * * * * [points]: Filtering points with unrepresentable outputs
0.551 * * * * [points]: Sampled 256 points with exact outputs
0.551 * * * [progress]: [2/2] Setting up program.
0.559 * [progress]: [Phase 2 of 3] Improving.
0.560 * * * * [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.563 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.564 * * [simplify]: iteration 0: 12 enodes
0.570 * * [simplify]: iteration 1: 16 enodes
0.573 * * [simplify]: iteration complete: 16 enodes
0.573 * * [simplify]: Extracting #0: cost 1 inf + 0
0.573 * * [simplify]: Extracting #1: cost 2 inf + 0
0.573 * * [simplify]: Extracting #2: cost 4 inf + 0
0.573 * * [simplify]: Extracting #3: cost 8 inf + 0
0.574 * * [simplify]: Extracting #4: cost 7 inf + 4
0.574 * * [simplify]: Extracting #5: cost 11 inf + 4
0.574 * * [simplify]: Extracting #6: cost 8 inf + 47
0.574 * * [simplify]: Extracting #7: cost 3 inf + 396
0.574 * * [simplify]: Extracting #8: cost 0 inf + 2186
0.574 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.579 * * [progress]: iteration 1 / 4
0.579 * * * [progress]: picking best candidate
0.585 * * * * [pick]: Picked  #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.585 * * * [progress]: localizing error
0.660 * * * [progress]: generating rewritten candidates
0.661 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.664 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
0.664 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
0.665 * * * [progress]: generating series expansions
0.666 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.666 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
0.666 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
0.666 * * * [progress]: simplifying candidates
0.666 * * * * [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.666 * * * * [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.666 * * * * [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.666 * * * * [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.666 * [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.666 * * [simplify]: iteration 0: 12 enodes
0.669 * * [simplify]: iteration 1: 16 enodes
0.672 * * [simplify]: iteration complete: 16 enodes
0.672 * * [simplify]: Extracting #0: cost 1 inf + 0
0.672 * * [simplify]: Extracting #1: cost 2 inf + 0
0.672 * * [simplify]: Extracting #2: cost 4 inf + 0
0.672 * * [simplify]: Extracting #3: cost 8 inf + 0
0.672 * * [simplify]: Extracting #4: cost 7 inf + 4
0.672 * * [simplify]: Extracting #5: cost 11 inf + 4
0.672 * * [simplify]: Extracting #6: cost 8 inf + 47
0.672 * * [simplify]: Extracting #7: cost 3 inf + 396
0.672 * * [simplify]: Extracting #8: cost 0 inf + 2186
0.673 * [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.673 * * * [progress]: adding candidates to table
0.687 * [progress]: [Phase 3 of 3] Extracting.
0.690 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.690 * * [simplify]: iteration 0: 12 enodes
0.691 * * [simplify]: iteration 1: 13 enodes
0.692 * * [simplify]: iteration complete: 13 enodes
0.692 * * [simplify]: Extracting #0: cost 1 inf + 0
0.692 * * [simplify]: Extracting #1: cost 2 inf + 0
0.692 * * [simplify]: Extracting #2: cost 4 inf + 0
0.692 * * [simplify]: Extracting #3: cost 8 inf + 0
0.692 * * [simplify]: Extracting #4: cost 7 inf + 4
0.692 * * [simplify]: Extracting #5: cost 9 inf + 4
0.692 * * [simplify]: Extracting #6: cost 7 inf + 6
0.692 * * [simplify]: Extracting #7: cost 0 inf + 2104
0.692 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.692 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.761 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.762 * * * * [points]: Setting MPFR precision to 64
0.764 * * * * [points]: Setting MPFR precision to 320
0.765 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.767 * * * * [points]: Setting MPFR precision to 64
0.770 * * * * [points]: Setting MPFR precision to 320
0.773 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
0.775 * * * * [points]: Setting MPFR precision to 64
0.780 * * * * [points]: Setting MPFR precision to 320
0.787 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
0.788 * * * * [points]: Setting MPFR precision to 64
0.799 * * * * [points]: Setting MPFR precision to 320
0.813 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
0.815 * * * * [points]: Setting MPFR precision to 64
0.866 * * * * [points]: Setting MPFR precision to 320
0.891 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
0.892 * * * * [points]: Setting MPFR precision to 64
0.936 * * * * [points]: Setting MPFR precision to 320
1.050 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.053 * * * * [points]: Setting MPFR precision to 64
1.216 * * * * [points]: Setting MPFR precision to 320
1.410 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.412 * * * * [points]: Setting MPFR precision to 64
1.779 * * * * [points]: Setting MPFR precision to 320
2.506 * * * * [points]: Computing exacts for 8000 points
2.508 * * * * [points]: Setting MPFR precision to 64
3.840 * * * * [points]: Setting MPFR precision to 320
5.595 * * * * [points]: Filtering points with unrepresentable outputs
5.598 * * * * [points]: Sampling 4000 additional inputs, on iter 1 have 4000 / 8000
5.678 * * * * [points]: Computing exacts on every 250 of 4000 points to ramp up precision
5.682 * * * * [points]: Setting MPFR precision to 64
5.685 * * * * [points]: Setting MPFR precision to 320
5.688 * * * * [points]: Computing exacts on every 125 of 4000 points to ramp up precision
5.690 * * * * [points]: Setting MPFR precision to 64
5.693 * * * * [points]: Setting MPFR precision to 320
5.696 * * * * [points]: Computing exacts on every 62 of 4000 points to ramp up precision
5.698 * * * * [points]: Setting MPFR precision to 64
5.704 * * * * [points]: Setting MPFR precision to 320
5.711 * * * * [points]: Computing exacts on every 31 of 4000 points to ramp up precision
5.712 * * * * [points]: Setting MPFR precision to 64
5.726 * * * * [points]: Setting MPFR precision to 320
5.749 * * * * [points]: Computing exacts on every 15 of 4000 points to ramp up precision
5.752 * * * * [points]: Setting MPFR precision to 64
5.774 * * * * [points]: Setting MPFR precision to 320
5.846 * * * * [points]: Computing exacts on every 7 of 4000 points to ramp up precision
5.851 * * * * [points]: Setting MPFR precision to 64
5.905 * * * * [points]: Setting MPFR precision to 320
5.968 * * * * [points]: Computing exacts on every 3 of 4000 points to ramp up precision
5.970 * * * * [points]: Setting MPFR precision to 64
6.120 * * * * [points]: Setting MPFR precision to 320
6.286 * * * * [points]: Computing exacts for 4000 points
6.288 * * * * [points]: Setting MPFR precision to 64
7.378 * * * * [points]: Setting MPFR precision to 320
8.146 * * * * [points]: Setting MPFR precision to 576
8.938 * * * * [points]: Filtering points with unrepresentable outputs
8.940 * * * * [points]: Sampling 2028 additional inputs, on iter 2 have 5972 / 8000
8.954 * * * * [points]: Computing exacts on every 126 of 2028 points to ramp up precision
9.301 * * * * [points]: Setting MPFR precision to 320
9.304 * * * * [points]: Setting MPFR precision to 576
9.307 * * * * [points]: Computing exacts on every 63 of 2028 points to ramp up precision
9.314 * * * * [points]: Setting MPFR precision to 320
9.320 * * * * [points]: Setting MPFR precision to 576
9.327 * * * * [points]: Computing exacts on every 31 of 2028 points to ramp up precision
9.330 * * * * [points]: Setting MPFR precision to 320
9.342 * * * * [points]: Setting MPFR precision to 576
9.357 * * * * [points]: Computing exacts on every 15 of 2028 points to ramp up precision
9.360 * * * * [points]: Setting MPFR precision to 320
9.382 * * * * [points]: Setting MPFR precision to 576
9.396 * * * * [points]: Computing exacts on every 7 of 2028 points to ramp up precision
9.398 * * * * [points]: Setting MPFR precision to 320
9.423 * * * * [points]: Setting MPFR precision to 576
9.467 * * * * [points]: Computing exacts on every 3 of 2028 points to ramp up precision
9.469 * * * * [points]: Setting MPFR precision to 320
9.574 * * * * [points]: Setting MPFR precision to 576
9.649 * * * * [points]: Computing exacts for 2028 points
9.651 * * * * [points]: Setting MPFR precision to 320
10.041 * * * * [points]: Setting MPFR precision to 576
10.437 * * * * [points]: Filtering points with unrepresentable outputs
10.438 * * * * [points]: Sampling 1023 additional inputs, on iter 3 have 6977 / 8000
10.446 * * * * [points]: Computing exacts on every 63 of 1023 points to ramp up precision
10.449 * * * * [points]: Setting MPFR precision to 320
10.450 * * * * [points]: Setting MPFR precision to 576
10.453 * * * * [points]: Computing exacts on every 31 of 1023 points to ramp up precision
10.455 * * * * [points]: Setting MPFR precision to 320
10.458 * * * * [points]: Setting MPFR precision to 576
10.463 * * * * [points]: Computing exacts on every 15 of 1023 points to ramp up precision
10.466 * * * * [points]: Setting MPFR precision to 320
10.477 * * * * [points]: Setting MPFR precision to 576
10.484 * * * * [points]: Computing exacts on every 7 of 1023 points to ramp up precision
10.486 * * * * [points]: Setting MPFR precision to 320
10.498 * * * * [points]: Setting MPFR precision to 576
10.570 * * * * [points]: Computing exacts on every 3 of 1023 points to ramp up precision
10.573 * * * * [points]: Setting MPFR precision to 320
10.598 * * * * [points]: Setting MPFR precision to 576
10.655 * * * * [points]: Computing exacts for 1023 points
10.658 * * * * [points]: Setting MPFR precision to 320
10.917 * * * * [points]: Setting MPFR precision to 576
11.147 * * * * [points]: Filtering points with unrepresentable outputs
11.148 * * * * [points]: Sampling 512 additional inputs, on iter 4 have 7488 / 8000
11.156 * * * * [points]: Computing exacts on every 32 of 512 points to ramp up precision
11.160 * * * * [points]: Setting MPFR precision to 320
11.162 * * * * [points]: Setting MPFR precision to 576
11.166 * * * * [points]: Computing exacts on every 16 of 512 points to ramp up precision
11.169 * * * * [points]: Setting MPFR precision to 320
11.175 * * * * [points]: Setting MPFR precision to 576
11.182 * * * * [points]: Computing exacts on every 8 of 512 points to ramp up precision
11.186 * * * * [points]: Setting MPFR precision to 320
11.197 * * * * [points]: Setting MPFR precision to 576
11.209 * * * * [points]: Computing exacts on every 4 of 512 points to ramp up precision
11.213 * * * * [points]: Setting MPFR precision to 320
11.233 * * * * [points]: Setting MPFR precision to 576
11.256 * * * * [points]: Computing exacts on every 2 of 512 points to ramp up precision
11.260 * * * * [points]: Setting MPFR precision to 320
11.293 * * * * [points]: Setting MPFR precision to 576
11.737 * * * * [points]: Computing exacts for 512 points
11.739 * * * * [points]: Setting MPFR precision to 320
11.813 * * * * [points]: Setting MPFR precision to 576
11.928 * * * * [points]: Filtering points with unrepresentable outputs
11.928 * * * * [points]: Sampling 255 additional inputs, on iter 5 have 7745 / 8000
11.930 * * * * [points]: Computing exacts on every 15 of 255 points to ramp up precision
11.932 * * * * [points]: Setting MPFR precision to 320
11.935 * * * * [points]: Setting MPFR precision to 576
11.942 * * * * [points]: Computing exacts on every 7 of 255 points to ramp up precision
11.944 * * * * [points]: Setting MPFR precision to 320
11.947 * * * * [points]: Setting MPFR precision to 576
11.951 * * * * [points]: Computing exacts on every 3 of 255 points to ramp up precision
11.953 * * * * [points]: Setting MPFR precision to 320
11.959 * * * * [points]: Setting MPFR precision to 576
11.967 * * * * [points]: Computing exacts for 255 points
11.970 * * * * [points]: Setting MPFR precision to 320
12.004 * * * * [points]: Setting MPFR precision to 576
12.034 * * * * [points]: Filtering points with unrepresentable outputs
12.034 * * * * [points]: Sampling 128 additional inputs, on iter 6 have 7872 / 8000
12.035 * * * * [points]: Computing exacts on every 8 of 128 points to ramp up precision
12.037 * * * * [points]: Setting MPFR precision to 320
12.039 * * * * [points]: Setting MPFR precision to 576
12.041 * * * * [points]: Computing exacts on every 4 of 128 points to ramp up precision
12.043 * * * * [points]: Setting MPFR precision to 320
12.045 * * * * [points]: Setting MPFR precision to 576
12.048 * * * * [points]: Computing exacts on every 2 of 128 points to ramp up precision
12.050 * * * * [points]: Setting MPFR precision to 320
12.117 * * * * [points]: Setting MPFR precision to 576
12.131 * * * * [points]: Computing exacts for 128 points
12.135 * * * * [points]: Setting MPFR precision to 320
12.159 * * * * [points]: Setting MPFR precision to 576
12.188 * * * * [points]: Filtering points with unrepresentable outputs
12.188 * * * * [points]: Sampling 59 additional inputs, on iter 7 have 7941 / 8000
12.189 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
12.193 * * * * [points]: Setting MPFR precision to 320
12.196 * * * * [points]: Setting MPFR precision to 576
12.200 * * * * [points]: Computing exacts for 59 points
12.203 * * * * [points]: Setting MPFR precision to 320
12.214 * * * * [points]: Setting MPFR precision to 576
12.226 * * * * [points]: Filtering points with unrepresentable outputs
12.226 * * * * [points]: Sampling 29 additional inputs, on iter 8 have 7971 / 8000
12.227 * * * * [points]: Computing exacts for 29 points
12.230 * * * * [points]: Setting MPFR precision to 320
12.235 * * * * [points]: Setting MPFR precision to 576
12.241 * * * * [points]: Filtering points with unrepresentable outputs
12.241 * * * * [points]: Sampling 18 additional inputs, on iter 9 have 7982 / 8000
12.241 * * * * [points]: Computing exacts for 18 points
12.244 * * * * [points]: Setting MPFR precision to 320
12.248 * * * * [points]: Setting MPFR precision to 576
12.252 * * * * [points]: Filtering points with unrepresentable outputs
12.252 * * * * [points]: Sampling 13 additional inputs, on iter 10 have 7987 / 8000
12.252 * * * * [points]: Computing exacts for 13 points
12.255 * * * * [points]: Setting MPFR precision to 320
12.257 * * * * [points]: Setting MPFR precision to 576
12.260 * * * * [points]: Filtering points with unrepresentable outputs
12.261 * * * * [points]: Sampling 5 additional inputs, on iter 11 have 7995 / 8000
12.261 * * * * [points]: Computing exacts for 5 points
12.264 * * * * [points]: Setting MPFR precision to 320
12.265 * * * * [points]: Setting MPFR precision to 576
12.266 * * * * [points]: Filtering points with unrepresentable outputs
12.266 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
12.266 * * * * [points]: Computing exacts for 4 points
12.269 * * * * [points]: Setting MPFR precision to 320
12.270 * * * * [points]: Setting MPFR precision to 576
12.271 * * * * [points]: Filtering points with unrepresentable outputs
12.271 * * * * [points]: Sampled 8000 points with exact outputs
12.523 * [regime-testing]: Baseline error score: 0.011323120312590145
12.526 * [regime-testing]: Oracle error score: 0.011323120312590145
12.526 * [regime-testing]: End program error score: 0.011323120312590145