0.691 * [progress]: [Phase 1 of 3] Setting up.
0.007 * * * [progress]: [1/2] Preparing points
0.008 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.015 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.118 * * * * [points]: Setting MPFR precision to 64
0.122 * * * * [points]: Setting MPFR precision to 320
0.126 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.129 * * * * [points]: Setting MPFR precision to 64
0.135 * * * * [points]: Setting MPFR precision to 320
0.140 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.144 * * * * [points]: Setting MPFR precision to 64
0.153 * * * * [points]: Setting MPFR precision to 320
0.165 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.169 * * * * [points]: Setting MPFR precision to 64
0.186 * * * * [points]: Setting MPFR precision to 320
0.203 * * * * [points]: Computing exacts for 256 points
0.207 * * * * [points]: Setting MPFR precision to 64
0.258 * * * * [points]: Setting MPFR precision to 320
0.333 * * * * [points]: Filtering points with unrepresentable outputs
0.334 * * * * [points]: Sampling 134 additional inputs, on iter 1 have 122 / 256
0.335 * * * * [points]: Computing exacts on every 8 of 134 points to ramp up precision
0.338 * * * * [points]: Setting MPFR precision to 64
0.339 * * * * [points]: Setting MPFR precision to 320
0.341 * * * * [points]: Computing exacts on every 4 of 134 points to ramp up precision
0.342 * * * * [points]: Setting MPFR precision to 64
0.345 * * * * [points]: Setting MPFR precision to 320
0.348 * * * * [points]: Computing exacts on every 2 of 134 points to ramp up precision
0.349 * * * * [points]: Setting MPFR precision to 64
0.353 * * * * [points]: Setting MPFR precision to 320
0.357 * * * * [points]: Computing exacts for 134 points
0.359 * * * * [points]: Setting MPFR precision to 64
0.374 * * * * [points]: Setting MPFR precision to 320
0.387 * * * * [points]: Filtering points with unrepresentable outputs
0.387 * * * * [points]: Sampling 58 additional inputs, on iter 2 have 198 / 256
0.388 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
0.389 * * * * [points]: Setting MPFR precision to 64
0.391 * * * * [points]: Setting MPFR precision to 320
0.393 * * * * [points]: Computing exacts for 58 points
0.396 * * * * [points]: Setting MPFR precision to 64
0.406 * * * * [points]: Setting MPFR precision to 320
0.418 * * * * [points]: Filtering points with unrepresentable outputs
0.418 * * * * [points]: Sampling 28 additional inputs, on iter 3 have 228 / 256
0.419 * * * * [points]: Computing exacts for 28 points
0.421 * * * * [points]: Setting MPFR precision to 64
0.426 * * * * [points]: Setting MPFR precision to 320
0.431 * * * * [points]: Filtering points with unrepresentable outputs
0.431 * * * * [points]: Sampling 8 additional inputs, on iter 4 have 248 / 256
0.432 * * * * [points]: Computing exacts for 8 points
0.434 * * * * [points]: Setting MPFR precision to 64
0.436 * * * * [points]: Setting MPFR precision to 320
0.437 * * * * [points]: Filtering points with unrepresentable outputs
0.437 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 253 / 256
0.437 * * * * [points]: Computing exacts for 4 points
0.440 * * * * [points]: Setting MPFR precision to 64
0.441 * * * * [points]: Setting MPFR precision to 320
0.441 * * * * [points]: Filtering points with unrepresentable outputs
0.442 * * * * [points]: Sampled 257 points with exact outputs
0.442 * * * [progress]: [2/2] Setting up program.
0.449 * [progress]: [Phase 2 of 3] Improving.
0.449 * * * * [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.452 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.454 * * [simplify]: iteration 1: (12 enodes)
0.497 * * [simplify]: iteration 2: (16 enodes)
0.500 * * [simplify]: Extracting #0: cost 1 inf + 0
0.500 * * [simplify]: Extracting #1: cost 2 inf + 0
0.500 * * [simplify]: Extracting #2: cost 4 inf + 0
0.500 * * [simplify]: Extracting #3: cost 8 inf + 0
0.501 * * [simplify]: Extracting #4: cost 7 inf + 4
0.501 * * [simplify]: Extracting #5: cost 11 inf + 4
0.501 * * [simplify]: Extracting #6: cost 8 inf + 47
0.501 * * [simplify]: Extracting #7: cost 3 inf + 396
0.501 * * [simplify]: Extracting #8: cost 0 inf + 2186
0.501 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.537 * * [progress]: iteration 1 / 4
0.537 * * * [progress]: picking best candidate
0.542 * * * * [pick]: Picked  #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.542 * * * [progress]: localizing error
0.703 * * * [progress]: generating rewritten candidates
0.704 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.710 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
0.711 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.711 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.737 * * * [progress]: generating series expansions
0.738 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.738 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
0.738 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.738 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.738 * * * [progress]: simplifying candidates
0.738 * * * * [progress]: [ 1 / 6 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))>
0.738 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))) (neg.c (complex 2 0)))))>
0.738 * * * * [progress]: [ 3 / 6 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.738 * * * * [progress]: [ 4 / 6 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.738 * * * * [progress]: [ 5 / 6 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.738 * * * * [progress]: [ 6 / 6 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.739 * [simplify]: Simplifying:
  (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))))
  (neg.c (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)))
  (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.739 * * [simplify]: iteration 1: (14 enodes)
0.748 * * [simplify]: iteration 2: (22 enodes)
0.754 * * [simplify]: Extracting #0: cost 3 inf + 0
0.754 * * [simplify]: Extracting #1: cost 8 inf + 0
0.754 * * [simplify]: Extracting #2: cost 8 inf + 4
0.754 * * [simplify]: Extracting #3: cost 8 inf + 7
0.754 * * [simplify]: Extracting #4: cost 12 inf + 7
0.755 * * [simplify]: Extracting #5: cost 9 inf + 50
0.755 * * [simplify]: Extracting #6: cost 4 inf + 399
0.755 * * [simplify]: Extracting #7: cost 0 inf + 2571
0.756 * [simplify]: Simplified to:
  (neg.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)))
  (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.756 * * * [progress]: adding candidates to table
0.801 * [progress]: [Phase 3 of 3] Extracting.
0.807 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.807 * * [simplify]: iteration 1: (12 enodes)
0.808 * * [simplify]: iteration 2: (13 enodes)
0.810 * * [simplify]: Extracting #0: cost 1 inf + 0
0.810 * * [simplify]: Extracting #1: cost 2 inf + 0
0.810 * * [simplify]: Extracting #2: cost 4 inf + 0
0.810 * * [simplify]: Extracting #3: cost 8 inf + 0
0.810 * * [simplify]: Extracting #4: cost 7 inf + 4
0.810 * * [simplify]: Extracting #5: cost 9 inf + 4
0.810 * * [simplify]: Extracting #6: cost 7 inf + 6
0.810 * * [simplify]: Extracting #7: cost 0 inf + 2104
0.811 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.811 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.031 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.033 * * * * [points]: Setting MPFR precision to 64
1.035 * * * * [points]: Setting MPFR precision to 320
1.037 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.039 * * * * [points]: Setting MPFR precision to 64
1.042 * * * * [points]: Setting MPFR precision to 320
1.048 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.051 * * * * [points]: Setting MPFR precision to 64
1.062 * * * * [points]: Setting MPFR precision to 320
1.076 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.079 * * * * [points]: Setting MPFR precision to 64
1.103 * * * * [points]: Setting MPFR precision to 320
1.585 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.586 * * * * [points]: Setting MPFR precision to 64
1.615 * * * * [points]: Setting MPFR precision to 320
1.655 * * * * [points]: Setting MPFR precision to 576
1.699 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.702 * * * * [points]: Setting MPFR precision to 320
1.834 * * * * [points]: Setting MPFR precision to 576
1.926 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.930 * * * * [points]: Setting MPFR precision to 320
2.069 * * * * [points]: Setting MPFR precision to 576
2.323 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
2.326 * * * * [points]: Setting MPFR precision to 320
2.710 * * * * [points]: Setting MPFR precision to 576
3.222 * * * * [points]: Computing exacts for 8000 points
3.225 * * * * [points]: Setting MPFR precision to 320
5.179 * * * * [points]: Setting MPFR precision to 576
7.568 * * * * [points]: Filtering points with unrepresentable outputs
7.572 * * * * [points]: Sampling 3906 additional inputs, on iter 1 have 4094 / 8000
7.641 * * * * [points]: Computing exacts on every 244 of 3906 points to ramp up precision
7.645 * * * * [points]: Setting MPFR precision to 320
7.648 * * * * [points]: Setting MPFR precision to 576
7.650 * * * * [points]: Computing exacts on every 122 of 3906 points to ramp up precision
7.652 * * * * [points]: Setting MPFR precision to 320
7.655 * * * * [points]: Setting MPFR precision to 576
7.659 * * * * [points]: Computing exacts on every 61 of 3906 points to ramp up precision
7.660 * * * * [points]: Setting MPFR precision to 320
7.667 * * * * [points]: Setting MPFR precision to 576
7.681 * * * * [points]: Computing exacts on every 30 of 3906 points to ramp up precision
7.684 * * * * [points]: Setting MPFR precision to 320
7.709 * * * * [points]: Setting MPFR precision to 576
7.735 * * * * [points]: Computing exacts on every 15 of 3906 points to ramp up precision
7.738 * * * * [points]: Setting MPFR precision to 320
7.781 * * * * [points]: Setting MPFR precision to 576
7.857 * * * * [points]: Computing exacts on every 7 of 3906 points to ramp up precision
7.858 * * * * [points]: Setting MPFR precision to 320
7.911 * * * * [points]: Setting MPFR precision to 576
7.968 * * * * [points]: Computing exacts on every 3 of 3906 points to ramp up precision
7.970 * * * * [points]: Setting MPFR precision to 320
8.105 * * * * [points]: Setting MPFR precision to 576
8.334 * * * * [points]: Computing exacts for 3906 points
8.336 * * * * [points]: Setting MPFR precision to 320
9.418 * * * * [points]: Setting MPFR precision to 576
10.244 * * * * [points]: Filtering points with unrepresentable outputs
10.246 * * * * [points]: Sampling 1958 additional inputs, on iter 2 have 6042 / 8000
10.273 * * * * [points]: Computing exacts on every 122 of 1958 points to ramp up precision
10.276 * * * * [points]: Setting MPFR precision to 320
10.279 * * * * [points]: Setting MPFR precision to 576
10.283 * * * * [points]: Computing exacts on every 61 of 1958 points to ramp up precision
10.286 * * * * [points]: Setting MPFR precision to 320
10.292 * * * * [points]: Setting MPFR precision to 576
10.300 * * * * [points]: Computing exacts on every 30 of 1958 points to ramp up precision
10.303 * * * * [points]: Setting MPFR precision to 320
10.316 * * * * [points]: Setting MPFR precision to 576
10.353 * * * * [points]: Computing exacts on every 15 of 1958 points to ramp up precision
10.356 * * * * [points]: Setting MPFR precision to 320
10.372 * * * * [points]: Setting MPFR precision to 576
10.386 * * * * [points]: Computing exacts on every 7 of 1958 points to ramp up precision
10.388 * * * * [points]: Setting MPFR precision to 320
10.430 * * * * [points]: Setting MPFR precision to 576
10.471 * * * * [points]: Computing exacts on every 3 of 1958 points to ramp up precision
10.473 * * * * [points]: Setting MPFR precision to 320
10.609 * * * * [points]: Setting MPFR precision to 576
10.719 * * * * [points]: Computing exacts for 1958 points
10.722 * * * * [points]: Setting MPFR precision to 320
11.151 * * * * [points]: Setting MPFR precision to 576
11.671 * * * * [points]: Filtering points with unrepresentable outputs
11.673 * * * * [points]: Sampling 971 additional inputs, on iter 3 have 7029 / 8000
12.095 * * * * [points]: Computing exacts on every 60 of 971 points to ramp up precision
12.098 * * * * [points]: Setting MPFR precision to 320
12.101 * * * * [points]: Setting MPFR precision to 576
12.105 * * * * [points]: Computing exacts on every 30 of 971 points to ramp up precision
12.108 * * * * [points]: Setting MPFR precision to 320
12.114 * * * * [points]: Setting MPFR precision to 576
12.122 * * * * [points]: Computing exacts on every 15 of 971 points to ramp up precision
12.125 * * * * [points]: Setting MPFR precision to 320
12.137 * * * * [points]: Setting MPFR precision to 576
12.151 * * * * [points]: Computing exacts on every 7 of 971 points to ramp up precision
12.154 * * * * [points]: Setting MPFR precision to 320
12.173 * * * * [points]: Setting MPFR precision to 576
12.188 * * * * [points]: Computing exacts on every 3 of 971 points to ramp up precision
12.190 * * * * [points]: Setting MPFR precision to 320
12.216 * * * * [points]: Setting MPFR precision to 576
12.308 * * * * [points]: Computing exacts for 971 points
12.310 * * * * [points]: Setting MPFR precision to 320
12.432 * * * * [points]: Setting MPFR precision to 576
12.634 * * * * [points]: Filtering points with unrepresentable outputs
12.635 * * * * [points]: Sampling 474 additional inputs, on iter 4 have 7526 / 8000
12.638 * * * * [points]: Computing exacts on every 29 of 474 points to ramp up precision
12.640 * * * * [points]: Setting MPFR precision to 320
12.642 * * * * [points]: Setting MPFR precision to 576
12.643 * * * * [points]: Computing exacts on every 14 of 474 points to ramp up precision
12.645 * * * * [points]: Setting MPFR precision to 320
12.648 * * * * [points]: Setting MPFR precision to 576
12.651 * * * * [points]: Computing exacts on every 7 of 474 points to ramp up precision
12.653 * * * * [points]: Setting MPFR precision to 320
12.695 * * * * [points]: Setting MPFR precision to 576
12.714 * * * * [points]: Computing exacts on every 3 of 474 points to ramp up precision
12.718 * * * * [points]: Setting MPFR precision to 320
12.740 * * * * [points]: Setting MPFR precision to 576
12.766 * * * * [points]: Computing exacts for 474 points
12.769 * * * * [points]: Setting MPFR precision to 320
12.834 * * * * [points]: Setting MPFR precision to 576
12.959 * * * * [points]: Filtering points with unrepresentable outputs
12.960 * * * * [points]: Sampling 232 additional inputs, on iter 5 have 7768 / 8000
12.963 * * * * [points]: Computing exacts on every 14 of 232 points to ramp up precision
12.966 * * * * [points]: Setting MPFR precision to 320
12.969 * * * * [points]: Setting MPFR precision to 576
12.973 * * * * [points]: Computing exacts on every 7 of 232 points to ramp up precision
12.976 * * * * [points]: Setting MPFR precision to 320
12.982 * * * * [points]: Setting MPFR precision to 576
12.989 * * * * [points]: Computing exacts on every 3 of 232 points to ramp up precision
12.992 * * * * [points]: Setting MPFR precision to 320
13.003 * * * * [points]: Setting MPFR precision to 576
13.016 * * * * [points]: Computing exacts for 232 points
13.020 * * * * [points]: Setting MPFR precision to 320
13.064 * * * * [points]: Setting MPFR precision to 576
13.118 * * * * [points]: Filtering points with unrepresentable outputs
13.119 * * * * [points]: Sampling 112 additional inputs, on iter 6 have 7888 / 8000
13.120 * * * * [points]: Computing exacts on every 7 of 112 points to ramp up precision
13.123 * * * * [points]: Setting MPFR precision to 320
13.126 * * * * [points]: Setting MPFR precision to 576
13.130 * * * * [points]: Computing exacts on every 3 of 112 points to ramp up precision
13.133 * * * * [points]: Setting MPFR precision to 320
13.137 * * * * [points]: Setting MPFR precision to 576
13.140 * * * * [points]: Computing exacts for 112 points
13.142 * * * * [points]: Setting MPFR precision to 320
13.212 * * * * [points]: Setting MPFR precision to 576
13.239 * * * * [points]: Filtering points with unrepresentable outputs
13.239 * * * * [points]: Sampling 52 additional inputs, on iter 7 have 7948 / 8000
13.240 * * * * [points]: Computing exacts on every 3 of 52 points to ramp up precision
13.243 * * * * [points]: Setting MPFR precision to 320
13.245 * * * * [points]: Setting MPFR precision to 576
13.248 * * * * [points]: Computing exacts for 52 points
13.251 * * * * [points]: Setting MPFR precision to 320
13.260 * * * * [points]: Setting MPFR precision to 576
13.272 * * * * [points]: Filtering points with unrepresentable outputs
13.272 * * * * [points]: Sampling 27 additional inputs, on iter 8 have 7973 / 8000
13.272 * * * * [points]: Computing exacts for 27 points
13.275 * * * * [points]: Setting MPFR precision to 320
13.280 * * * * [points]: Setting MPFR precision to 576
13.287 * * * * [points]: Filtering points with unrepresentable outputs
13.287 * * * * [points]: Sampling 11 additional inputs, on iter 9 have 7989 / 8000
13.287 * * * * [points]: Computing exacts for 11 points
13.290 * * * * [points]: Setting MPFR precision to 320
13.292 * * * * [points]: Setting MPFR precision to 576
13.295 * * * * [points]: Filtering points with unrepresentable outputs
13.295 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7997 / 8000
13.295 * * * * [points]: Computing exacts for 4 points
13.297 * * * * [points]: Setting MPFR precision to 320
13.297 * * * * [points]: Setting MPFR precision to 576
13.298 * * * * [points]: Filtering points with unrepresentable outputs
13.298 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000
13.298 * * * * [points]: Computing exacts for 4 points
13.299 * * * * [points]: Setting MPFR precision to 320
13.300 * * * * [points]: Setting MPFR precision to 576
13.300 * * * * [points]: Filtering points with unrepresentable outputs
13.300 * * * * [points]: Sampled 8001 points with exact outputs
13.562 * [regime-testing]: Baseline error score: 0.01139624062518029
13.566 * [regime-testing]: Oracle error score: 0.01139624062518029
13.567 * [regime-testing]: End program error score: 0.01139624062518029