0.657 * [progress]: [Phase 1 of 3] Setting up.
0.004 * * * [progress]: [1/2] Preparing points
0.005 * * * * [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.101 * * * * [points]: Setting MPFR precision to 64
0.107 * * * * [points]: Setting MPFR precision to 320
0.111 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.115 * * * * [points]: Setting MPFR precision to 64
0.120 * * * * [points]: Setting MPFR precision to 320
0.126 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.129 * * * * [points]: Setting MPFR precision to 64
0.169 * * * * [points]: Setting MPFR precision to 320
0.181 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.184 * * * * [points]: Setting MPFR precision to 64
0.232 * * * * [points]: Setting MPFR precision to 320
0.253 * * * * [points]: Computing exacts for 256 points
0.256 * * * * [points]: Setting MPFR precision to 64
0.331 * * * * [points]: Setting MPFR precision to 320
0.357 * * * * [points]: Filtering points with unrepresentable outputs
0.357 * * * * [points]: Sampling 118 additional inputs, on iter 1 have 138 / 256
0.358 * * * * [points]: Computing exacts on every 7 of 118 points to ramp up precision
0.363 * * * * [points]: Setting MPFR precision to 64
0.365 * * * * [points]: Setting MPFR precision to 320
0.366 * * * * [points]: Computing exacts on every 3 of 118 points to ramp up precision
0.368 * * * * [points]: Setting MPFR precision to 64
0.371 * * * * [points]: Setting MPFR precision to 320
0.374 * * * * [points]: Computing exacts for 118 points
0.375 * * * * [points]: Setting MPFR precision to 64
0.387 * * * * [points]: Setting MPFR precision to 320
0.398 * * * * [points]: Filtering points with unrepresentable outputs
0.398 * * * * [points]: Sampling 60 additional inputs, on iter 2 have 196 / 256
0.399 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
0.401 * * * * [points]: Setting MPFR precision to 64
0.402 * * * * [points]: Setting MPFR precision to 320
0.404 * * * * [points]: Computing exacts for 60 points
0.405 * * * * [points]: Setting MPFR precision to 64
0.410 * * * * [points]: Setting MPFR precision to 320
0.416 * * * * [points]: Filtering points with unrepresentable outputs
0.416 * * * * [points]: Sampling 28 additional inputs, on iter 3 have 228 / 256
0.417 * * * * [points]: Computing exacts for 28 points
0.418 * * * * [points]: Setting MPFR precision to 64
0.421 * * * * [points]: Setting MPFR precision to 320
0.423 * * * * [points]: Filtering points with unrepresentable outputs
0.423 * * * * [points]: Sampling 19 additional inputs, on iter 4 have 237 / 256
0.423 * * * * [points]: Computing exacts for 19 points
0.425 * * * * [points]: Setting MPFR precision to 64
0.427 * * * * [points]: Setting MPFR precision to 320
0.429 * * * * [points]: Filtering points with unrepresentable outputs
0.429 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256
0.429 * * * * [points]: Computing exacts for 6 points
0.431 * * * * [points]: Setting MPFR precision to 64
0.433 * * * * [points]: Setting MPFR precision to 320
0.434 * * * * [points]: Filtering points with unrepresentable outputs
0.434 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256
0.434 * * * * [points]: Computing exacts for 4 points
0.436 * * * * [points]: Setting MPFR precision to 64
0.437 * * * * [points]: Setting MPFR precision to 320
0.437 * * * * [points]: Filtering points with unrepresentable outputs
0.437 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256
0.437 * * * * [points]: Computing exacts for 4 points
0.439 * * * * [points]: Setting MPFR precision to 64
0.440 * * * * [points]: Setting MPFR precision to 320
0.441 * * * * [points]: Filtering points with unrepresentable outputs
0.441 * * * * [points]: Sampled 257 points with exact outputs
0.442 * * * [progress]: [2/2] Setting up program.
0.492 * [progress]: [Phase 2 of 3] Improving.
0.492 * * * * [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.495 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.495 * * [simplify]: iteration 0: 12 enodes
0.504 * * [simplify]: iteration 1: 16 enodes
0.506 * * [simplify]: iteration complete: 16 enodes
0.507 * * [simplify]: Extracting #0: cost 1 inf + 0
0.507 * * [simplify]: Extracting #1: cost 2 inf + 0
0.507 * * [simplify]: Extracting #2: cost 4 inf + 0
0.507 * * [simplify]: Extracting #3: cost 8 inf + 0
0.507 * * [simplify]: Extracting #4: cost 7 inf + 4
0.507 * * [simplify]: Extracting #5: cost 11 inf + 4
0.507 * * [simplify]: Extracting #6: cost 8 inf + 47
0.507 * * [simplify]: Extracting #7: cost 3 inf + 396
0.508 * * [simplify]: Extracting #8: cost 0 inf + 2186
0.508 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.510 * * [progress]: iteration 1 / 4
0.510 * * * [progress]: picking best candidate
0.513 * * * * [pick]: Picked  #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.513 * * * [progress]: localizing error
0.570 * * * [progress]: generating rewritten candidates
0.570 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.590 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
0.590 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
0.592 * * * [progress]: generating series expansions
0.592 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.592 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
0.592 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
0.592 * * * [progress]: simplifying candidates
0.592 * * * * [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.592 * * * * [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.592 * * * * [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.592 * * * * [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.592 * [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.593 * * [simplify]: iteration 0: 12 enodes
0.595 * * [simplify]: iteration 1: 16 enodes
0.598 * * [simplify]: iteration complete: 16 enodes
0.598 * * [simplify]: Extracting #0: cost 1 inf + 0
0.598 * * [simplify]: Extracting #1: cost 2 inf + 0
0.598 * * [simplify]: Extracting #2: cost 4 inf + 0
0.598 * * [simplify]: Extracting #3: cost 8 inf + 0
0.598 * * [simplify]: Extracting #4: cost 7 inf + 4
0.598 * * [simplify]: Extracting #5: cost 11 inf + 4
0.598 * * [simplify]: Extracting #6: cost 8 inf + 47
0.598 * * [simplify]: Extracting #7: cost 3 inf + 396
0.598 * * [simplify]: Extracting #8: cost 0 inf + 2186
0.599 * [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.599 * * * [progress]: adding candidates to table
0.604 * [progress]: [Phase 3 of 3] Extracting.
0.607 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.607 * * [simplify]: iteration 0: 12 enodes
0.608 * * [simplify]: iteration 1: 13 enodes
0.608 * * [simplify]: iteration complete: 13 enodes
0.608 * * [simplify]: Extracting #0: cost 1 inf + 0
0.608 * * [simplify]: Extracting #1: cost 2 inf + 0
0.608 * * [simplify]: Extracting #2: cost 4 inf + 0
0.608 * * [simplify]: Extracting #3: cost 8 inf + 0
0.609 * * [simplify]: Extracting #4: cost 7 inf + 4
0.609 * * [simplify]: Extracting #5: cost 9 inf + 4
0.609 * * [simplify]: Extracting #6: cost 7 inf + 6
0.609 * * [simplify]: Extracting #7: cost 0 inf + 2104
0.609 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.609 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.677 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.678 * * * * [points]: Setting MPFR precision to 64
0.680 * * * * [points]: Setting MPFR precision to 320
0.682 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.683 * * * * [points]: Setting MPFR precision to 64
0.686 * * * * [points]: Setting MPFR precision to 320
0.689 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
0.691 * * * * [points]: Setting MPFR precision to 64
0.696 * * * * [points]: Setting MPFR precision to 320
0.703 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
0.704 * * * * [points]: Setting MPFR precision to 64
0.715 * * * * [points]: Setting MPFR precision to 320
0.727 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
0.728 * * * * [points]: Setting MPFR precision to 64
0.750 * * * * [points]: Setting MPFR precision to 320
0.855 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
0.857 * * * * [points]: Setting MPFR precision to 64
1.012 * * * * [points]: Setting MPFR precision to 320
1.116 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.120 * * * * [points]: Setting MPFR precision to 64
1.362 * * * * [points]: Setting MPFR precision to 320
1.528 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.532 * * * * [points]: Setting MPFR precision to 64
2.309 * * * * [points]: Setting MPFR precision to 320
2.598 * * * * [points]: Computing exacts for 8000 points
2.601 * * * * [points]: Setting MPFR precision to 64
3.990 * * * * [points]: Setting MPFR precision to 320
5.918 * * * * [points]: Filtering points with unrepresentable outputs
5.925 * * * * [points]: Sampling 4034 additional inputs, on iter 1 have 3966 / 8000
5.971 * * * * [points]: Computing exacts on every 252 of 4034 points to ramp up precision
5.973 * * * * [points]: Setting MPFR precision to 64
5.994 * * * * [points]: Setting MPFR precision to 320
5.995 * * * * [points]: Computing exacts on every 126 of 4034 points to ramp up precision
5.997 * * * * [points]: Setting MPFR precision to 64
6.000 * * * * [points]: Setting MPFR precision to 320
6.003 * * * * [points]: Computing exacts on every 63 of 4034 points to ramp up precision
6.005 * * * * [points]: Setting MPFR precision to 64
6.010 * * * * [points]: Setting MPFR precision to 320
6.016 * * * * [points]: Computing exacts on every 31 of 4034 points to ramp up precision
6.017 * * * * [points]: Setting MPFR precision to 64
6.032 * * * * [points]: Setting MPFR precision to 320
6.044 * * * * [points]: Computing exacts on every 15 of 4034 points to ramp up precision
6.046 * * * * [points]: Setting MPFR precision to 64
6.078 * * * * [points]: Setting MPFR precision to 320
6.103 * * * * [points]: Computing exacts on every 7 of 4034 points to ramp up precision
6.105 * * * * [points]: Setting MPFR precision to 64
6.217 * * * * [points]: Setting MPFR precision to 320
6.275 * * * * [points]: Computing exacts on every 3 of 4034 points to ramp up precision
6.278 * * * * [points]: Setting MPFR precision to 64
6.436 * * * * [points]: Setting MPFR precision to 320
6.928 * * * * [points]: Computing exacts for 4034 points
6.931 * * * * [points]: Setting MPFR precision to 64
7.639 * * * * [points]: Setting MPFR precision to 320
8.363 * * * * [points]: Filtering points with unrepresentable outputs
8.365 * * * * [points]: Sampling 1964 additional inputs, on iter 2 have 6036 / 8000
8.420 * * * * [points]: Computing exacts on every 122 of 1964 points to ramp up precision
8.422 * * * * [points]: Setting MPFR precision to 64
8.424 * * * * [points]: Setting MPFR precision to 320
8.425 * * * * [points]: Computing exacts on every 61 of 1964 points to ramp up precision
8.429 * * * * [points]: Setting MPFR precision to 64
8.432 * * * * [points]: Setting MPFR precision to 320
8.435 * * * * [points]: Computing exacts on every 30 of 1964 points to ramp up precision
8.437 * * * * [points]: Setting MPFR precision to 64
8.443 * * * * [points]: Setting MPFR precision to 320
8.448 * * * * [points]: Computing exacts on every 15 of 1964 points to ramp up precision
8.450 * * * * [points]: Setting MPFR precision to 64
8.460 * * * * [points]: Setting MPFR precision to 320
8.471 * * * * [points]: Computing exacts on every 7 of 1964 points to ramp up precision
8.473 * * * * [points]: Setting MPFR precision to 64
8.505 * * * * [points]: Setting MPFR precision to 320
8.550 * * * * [points]: Computing exacts on every 3 of 1964 points to ramp up precision
8.552 * * * * [points]: Setting MPFR precision to 64
8.674 * * * * [points]: Setting MPFR precision to 320
8.767 * * * * [points]: Computing exacts for 1964 points
8.770 * * * * [points]: Setting MPFR precision to 64
9.489 * * * * [points]: Setting MPFR precision to 320
9.872 * * * * [points]: Filtering points with unrepresentable outputs
9.874 * * * * [points]: Sampling 955 additional inputs, on iter 3 have 7045 / 8000
9.887 * * * * [points]: Computing exacts on every 59 of 955 points to ramp up precision
9.931 * * * * [points]: Setting MPFR precision to 64
9.932 * * * * [points]: Setting MPFR precision to 320
9.934 * * * * [points]: Computing exacts on every 29 of 955 points to ramp up precision
9.935 * * * * [points]: Setting MPFR precision to 64
9.938 * * * * [points]: Setting MPFR precision to 320
9.944 * * * * [points]: Computing exacts on every 14 of 955 points to ramp up precision
9.945 * * * * [points]: Setting MPFR precision to 64
9.951 * * * * [points]: Setting MPFR precision to 320
9.957 * * * * [points]: Computing exacts on every 7 of 955 points to ramp up precision
9.958 * * * * [points]: Setting MPFR precision to 64
9.968 * * * * [points]: Setting MPFR precision to 320
9.980 * * * * [points]: Computing exacts on every 3 of 955 points to ramp up precision
9.982 * * * * [points]: Setting MPFR precision to 64
10.022 * * * * [points]: Setting MPFR precision to 320
10.051 * * * * [points]: Computing exacts for 955 points
10.053 * * * * [points]: Setting MPFR precision to 64
10.201 * * * * [points]: Setting MPFR precision to 320
10.424 * * * * [points]: Filtering points with unrepresentable outputs
10.424 * * * * [points]: Sampling 469 additional inputs, on iter 4 have 7531 / 8000
10.427 * * * * [points]: Computing exacts on every 29 of 469 points to ramp up precision
10.429 * * * * [points]: Setting MPFR precision to 64
10.431 * * * * [points]: Setting MPFR precision to 320
10.432 * * * * [points]: Computing exacts on every 14 of 469 points to ramp up precision
10.433 * * * * [points]: Setting MPFR precision to 64
10.436 * * * * [points]: Setting MPFR precision to 320
10.439 * * * * [points]: Computing exacts on every 7 of 469 points to ramp up precision
10.440 * * * * [points]: Setting MPFR precision to 64
10.445 * * * * [points]: Setting MPFR precision to 320
10.452 * * * * [points]: Computing exacts on every 3 of 469 points to ramp up precision
10.455 * * * * [points]: Setting MPFR precision to 64
10.469 * * * * [points]: Setting MPFR precision to 320
10.479 * * * * [points]: Computing exacts for 469 points
10.481 * * * * [points]: Setting MPFR precision to 64
10.575 * * * * [points]: Setting MPFR precision to 320
10.662 * * * * [points]: Filtering points with unrepresentable outputs
10.663 * * * * [points]: Sampling 226 additional inputs, on iter 5 have 7774 / 8000
10.666 * * * * [points]: Computing exacts on every 14 of 226 points to ramp up precision
10.669 * * * * [points]: Setting MPFR precision to 64
10.672 * * * * [points]: Setting MPFR precision to 320
10.675 * * * * [points]: Computing exacts on every 7 of 226 points to ramp up precision
10.678 * * * * [points]: Setting MPFR precision to 64
10.682 * * * * [points]: Setting MPFR precision to 320
10.687 * * * * [points]: Computing exacts on every 3 of 226 points to ramp up precision
10.690 * * * * [points]: Setting MPFR precision to 64
10.699 * * * * [points]: Setting MPFR precision to 320
10.709 * * * * [points]: Computing exacts for 226 points
10.712 * * * * [points]: Setting MPFR precision to 64
10.795 * * * * [points]: Setting MPFR precision to 320
10.823 * * * * [points]: Filtering points with unrepresentable outputs
10.823 * * * * [points]: Sampling 116 additional inputs, on iter 6 have 7884 / 8000
10.824 * * * * [points]: Computing exacts on every 7 of 116 points to ramp up precision
10.826 * * * * [points]: Setting MPFR precision to 64
10.827 * * * * [points]: Setting MPFR precision to 320
10.829 * * * * [points]: Computing exacts on every 3 of 116 points to ramp up precision
10.830 * * * * [points]: Setting MPFR precision to 64
10.833 * * * * [points]: Setting MPFR precision to 320
10.836 * * * * [points]: Computing exacts for 116 points
10.838 * * * * [points]: Setting MPFR precision to 64
10.858 * * * * [points]: Setting MPFR precision to 320
10.873 * * * * [points]: Filtering points with unrepresentable outputs
10.874 * * * * [points]: Sampling 61 additional inputs, on iter 7 have 7939 / 8000
10.874 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision
10.875 * * * * [points]: Setting MPFR precision to 64
10.877 * * * * [points]: Setting MPFR precision to 320
10.878 * * * * [points]: Computing exacts for 61 points
10.880 * * * * [points]: Setting MPFR precision to 64
10.885 * * * * [points]: Setting MPFR precision to 320
10.891 * * * * [points]: Filtering points with unrepresentable outputs
10.891 * * * * [points]: Sampling 32 additional inputs, on iter 8 have 7968 / 8000
10.891 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
10.893 * * * * [points]: Setting MPFR precision to 64
10.894 * * * * [points]: Setting MPFR precision to 320
10.895 * * * * [points]: Computing exacts for 32 points
10.897 * * * * [points]: Setting MPFR precision to 64
10.902 * * * * [points]: Setting MPFR precision to 320
10.909 * * * * [points]: Filtering points with unrepresentable outputs
10.909 * * * * [points]: Sampling 13 additional inputs, on iter 9 have 7987 / 8000
10.909 * * * * [points]: Computing exacts for 13 points
10.912 * * * * [points]: Setting MPFR precision to 64
10.913 * * * * [points]: Setting MPFR precision to 320
10.914 * * * * [points]: Filtering points with unrepresentable outputs
10.914 * * * * [points]: Sampling 6 additional inputs, on iter 10 have 7994 / 8000
10.915 * * * * [points]: Computing exacts for 6 points
10.916 * * * * [points]: Setting MPFR precision to 64
10.917 * * * * [points]: Setting MPFR precision to 320
10.917 * * * * [points]: Filtering points with unrepresentable outputs
10.917 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
10.917 * * * * [points]: Computing exacts for 4 points
10.919 * * * * [points]: Setting MPFR precision to 64
10.955 * * * * [points]: Setting MPFR precision to 320
10.956 * * * * [points]: Filtering points with unrepresentable outputs
10.956 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
10.956 * * * * [points]: Computing exacts for 4 points
10.959 * * * * [points]: Setting MPFR precision to 64
10.960 * * * * [points]: Setting MPFR precision to 320
10.961 * * * * [points]: Filtering points with unrepresentable outputs
10.961 * * * * [points]: Sampled 8001 points with exact outputs
11.179 * [regime-testing]: Baseline error score: 0.012896240625180291
11.184 * [regime-testing]: Oracle error score: 0.012896240625180291
11.184 * [regime-testing]: End program error score: 0.012896240625180291