0.428 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.033 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.068 * * * * [points]: Setting MPFR precision to 64
0.071 * * * * [points]: Setting MPFR precision to 320
0.073 * * * * [points]: Setting MPFR precision to 576
0.075 * * * * [points]: Setting MPFR precision to 832
0.077 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.079 * * * * [points]: Setting MPFR precision to 576
0.083 * * * * [points]: Setting MPFR precision to 832
0.089 * * * * [points]: Setting MPFR precision to 1088
0.095 * * * * [points]: Setting MPFR precision to 1344
0.102 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.104 * * * * [points]: Setting MPFR precision to 1088
0.115 * * * * [points]: Setting MPFR precision to 1344
0.129 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.131 * * * * [points]: Setting MPFR precision to 1088
0.150 * * * * [points]: Setting MPFR precision to 1344
0.219 * * * * [points]: Computing exacts for 256 points
0.222 * * * * [points]: Setting MPFR precision to 1088
0.311 * * * * [points]: Setting MPFR precision to 1344
0.404 * * * * [points]: Filtering points with unrepresentable outputs
0.405 * * * * [points]: Sampling 133 additional inputs, on iter 1 have 123 / 256
0.409 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision
0.414 * * * * [points]: Setting MPFR precision to 1088
0.419 * * * * [points]: Setting MPFR precision to 1344
0.427 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision
0.431 * * * * [points]: Setting MPFR precision to 1088
0.444 * * * * [points]: Setting MPFR precision to 1344
0.459 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision
0.463 * * * * [points]: Setting MPFR precision to 1088
0.480 * * * * [points]: Setting MPFR precision to 1344
0.524 * * * * [points]: Computing exacts for 133 points
0.529 * * * * [points]: Setting MPFR precision to 1088
0.566 * * * * [points]: Setting MPFR precision to 1344
0.630 * * * * [points]: Filtering points with unrepresentable outputs
0.631 * * * * [points]: Sampling 57 additional inputs, on iter 2 have 199 / 256
0.633 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
0.637 * * * * [points]: Setting MPFR precision to 1088
0.642 * * * * [points]: Setting MPFR precision to 1344
0.650 * * * * [points]: Computing exacts for 57 points
0.655 * * * * [points]: Setting MPFR precision to 1088
0.678 * * * * [points]: Setting MPFR precision to 1344
0.709 * * * * [points]: Filtering points with unrepresentable outputs
0.710 * * * * [points]: Sampling 20 additional inputs, on iter 3 have 236 / 256
0.710 * * * * [points]: Computing exacts for 20 points
0.716 * * * * [points]: Setting MPFR precision to 1088
0.723 * * * * [points]: Setting MPFR precision to 1344
0.734 * * * * [points]: Filtering points with unrepresentable outputs
0.734 * * * * [points]: Sampling 12 additional inputs, on iter 4 have 244 / 256
0.735 * * * * [points]: Computing exacts for 12 points
0.739 * * * * [points]: Setting MPFR precision to 1088
0.744 * * * * [points]: Setting MPFR precision to 1344
0.749 * * * * [points]: Filtering points with unrepresentable outputs
0.749 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256
0.750 * * * * [points]: Computing exacts for 7 points
0.754 * * * * [points]: Setting MPFR precision to 1088
0.757 * * * * [points]: Setting MPFR precision to 1344
0.761 * * * * [points]: Filtering points with unrepresentable outputs
0.761 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.761 * * * * [points]: Computing exacts for 4 points
0.799 * * * * [points]: Setting MPFR precision to 1088
0.801 * * * * [points]: Setting MPFR precision to 1344
0.803 * * * * [points]: Filtering points with unrepresentable outputs
0.803 * * * * [points]: Sampled 256 points with exact outputs
0.804 * * * [progress]: [2/2] Setting up program.
0.816 * [progress]: [Phase 2 of 3] Improving.
0.819 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.820 * * [simplify]: iteration 0: 12 enodes
0.829 * * [simplify]: iteration 1: 16 enodes
0.833 * * [simplify]: iteration complete: 16 enodes
0.833 * * [simplify]: Extracting #0: cost 1 inf + 0
0.833 * * [simplify]: Extracting #1: cost 2 inf + 0
0.833 * * [simplify]: Extracting #2: cost 4 inf + 0
0.833 * * [simplify]: Extracting #3: cost 8 inf + 0
0.834 * * [simplify]: Extracting #4: cost 7 inf + 4
0.834 * * [simplify]: Extracting #5: cost 11 inf + 4
0.834 * * [simplify]: Extracting #6: cost 8 inf + 47
0.834 * * [simplify]: Extracting #7: cost 3 inf + 396
0.835 * * [simplify]: Extracting #8: cost 0 inf + 2186
0.835 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
0.838 * * [progress]: iteration 1 / 4
0.838 * * * [progress]: picking best candidate
0.845 * * * * [pick]: Picked  #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))))>
0.845 * * * [progress]: localizing error
1.007 * * * [progress]: generating rewritten candidates
1.007 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.037 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.038 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1.038 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.044 * * * [progress]: generating series expansions
1.044 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.045 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.045 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.045 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.045 * * * [progress]: simplifying candidates
1.047 * [simplify]: Simplifying:
  (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))))
  (neg.c (complex 2.0 0.0))
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.047 * * [simplify]: iteration 0: 14 enodes
1.051 * * [simplify]: iteration 1: 21 enodes
1.056 * * [simplify]: iteration complete: 21 enodes
1.056 * * [simplify]: Extracting #0: cost 3 inf + 0
1.056 * * [simplify]: Extracting #1: cost 8 inf + 0
1.056 * * [simplify]: Extracting #2: cost 12 inf + 0
1.056 * * [simplify]: Extracting #3: cost 10 inf + 86
1.056 * * [simplify]: Extracting #4: cost 12 inf + 168
1.056 * * [simplify]: Extracting #5: cost 9 inf + 211
1.057 * * [simplify]: Extracting #6: cost 4 inf + 560
1.057 * * [simplify]: Extracting #7: cost 0 inf + 2732
1.058 * [simplify]: Simplified to:
  (neg.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))))
  (neg.c (complex 2.0 0.0))
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
1.058 * * * [progress]: adding candidates to table
1.078 * [progress]: [Phase 3 of 3] Extracting.
1.086 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.087 * * [simplify]: iteration 0: 12 enodes
1.087 * * [simplify]: iteration 1: 13 enodes
1.088 * * [simplify]: iteration complete: 13 enodes
1.088 * * [simplify]: Extracting #0: cost 1 inf + 0
1.088 * * [simplify]: Extracting #1: cost 2 inf + 0
1.088 * * [simplify]: Extracting #2: cost 4 inf + 0
1.088 * * [simplify]: Extracting #3: cost 8 inf + 0
1.088 * * [simplify]: Extracting #4: cost 7 inf + 4
1.088 * * [simplify]: Extracting #5: cost 9 inf + 4
1.088 * * [simplify]: Extracting #6: cost 7 inf + 6
1.088 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.088 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
1.089 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.258 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.262 * * * * [points]: Setting MPFR precision to 1088
1.269 * * * * [points]: Setting MPFR precision to 1344
1.276 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.279 * * * * [points]: Setting MPFR precision to 1088
1.285 * * * * [points]: Setting MPFR precision to 1344
1.294 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.296 * * * * [points]: Setting MPFR precision to 1088
1.308 * * * * [points]: Setting MPFR precision to 1344
1.323 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.336 * * * * [points]: Setting MPFR precision to 1088
1.368 * * * * [points]: Setting MPFR precision to 1344
1.406 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.410 * * * * [points]: Setting MPFR precision to 1088
1.489 * * * * [points]: Setting MPFR precision to 1344
1.579 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.581 * * * * [points]: Setting MPFR precision to 1088
1.787 * * * * [points]: Setting MPFR precision to 1344
2.043 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.046 * * * * [points]: Setting MPFR precision to 1088
2.854 * * * * [points]: Setting MPFR precision to 1344
3.335 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.340 * * * * [points]: Setting MPFR precision to 1088
4.079 * * * * [points]: Setting MPFR precision to 1344
5.115 * * * * [points]: Computing exacts for 8000 points
5.120 * * * * [points]: Setting MPFR precision to 1088
8.593 * * * * [points]: Setting MPFR precision to 1344
12.511 * * * * [points]: Filtering points with unrepresentable outputs
12.527 * * * * [points]: Sampling 3962 additional inputs, on iter 1 have 4038 / 8000
12.619 * * * * [points]: Computing exacts on every 247 of 3962 points to ramp up precision
12.622 * * * * [points]: Setting MPFR precision to 1088
12.625 * * * * [points]: Setting MPFR precision to 1344
12.629 * * * * [points]: Computing exacts on every 123 of 3962 points to ramp up precision
12.632 * * * * [points]: Setting MPFR precision to 1088
12.639 * * * * [points]: Setting MPFR precision to 1344
12.648 * * * * [points]: Computing exacts on every 61 of 3962 points to ramp up precision
12.653 * * * * [points]: Setting MPFR precision to 1088
12.678 * * * * [points]: Setting MPFR precision to 1344
12.709 * * * * [points]: Computing exacts on every 30 of 3962 points to ramp up precision
12.713 * * * * [points]: Setting MPFR precision to 1088
12.765 * * * * [points]: Setting MPFR precision to 1344
12.800 * * * * [points]: Computing exacts on every 15 of 3962 points to ramp up precision
12.805 * * * * [points]: Setting MPFR precision to 1088
12.908 * * * * [points]: Setting MPFR precision to 1344
12.988 * * * * [points]: Computing exacts on every 7 of 3962 points to ramp up precision
12.994 * * * * [points]: Setting MPFR precision to 1088
13.189 * * * * [points]: Setting MPFR precision to 1344
13.342 * * * * [points]: Computing exacts on every 3 of 3962 points to ramp up precision
13.347 * * * * [points]: Setting MPFR precision to 1088
13.818 * * * * [points]: Setting MPFR precision to 1344
14.647 * * * * [points]: Computing exacts for 3962 points
14.650 * * * * [points]: Setting MPFR precision to 1088
16.089 * * * * [points]: Setting MPFR precision to 1344
18.313 * * * * [points]: Filtering points with unrepresentable outputs
18.323 * * * * [points]: Sampling 1972 additional inputs, on iter 2 have 6028 / 8000
18.358 * * * * [points]: Computing exacts on every 123 of 1972 points to ramp up precision
18.361 * * * * [points]: Setting MPFR precision to 1088
18.364 * * * * [points]: Setting MPFR precision to 1344
18.367 * * * * [points]: Computing exacts on every 61 of 1972 points to ramp up precision
18.370 * * * * [points]: Setting MPFR precision to 1088
18.379 * * * * [points]: Setting MPFR precision to 1344
18.394 * * * * [points]: Computing exacts on every 30 of 1972 points to ramp up precision
18.399 * * * * [points]: Setting MPFR precision to 1088
18.425 * * * * [points]: Setting MPFR precision to 1344
18.446 * * * * [points]: Computing exacts on every 15 of 1972 points to ramp up precision
18.448 * * * * [points]: Setting MPFR precision to 1088
18.491 * * * * [points]: Setting MPFR precision to 1344
18.538 * * * * [points]: Computing exacts on every 7 of 1972 points to ramp up precision
18.541 * * * * [points]: Setting MPFR precision to 1088
18.623 * * * * [points]: Setting MPFR precision to 1344
18.714 * * * * [points]: Computing exacts on every 3 of 1972 points to ramp up precision
18.716 * * * * [points]: Setting MPFR precision to 1088
18.883 * * * * [points]: Setting MPFR precision to 1344
19.091 * * * * [points]: Computing exacts for 1972 points
19.128 * * * * [points]: Setting MPFR precision to 1088
19.781 * * * * [points]: Setting MPFR precision to 1344
20.759 * * * * [points]: Filtering points with unrepresentable outputs
20.763 * * * * [points]: Sampling 960 additional inputs, on iter 3 have 7040 / 8000
20.778 * * * * [points]: Computing exacts on every 60 of 960 points to ramp up precision
20.780 * * * * [points]: Setting MPFR precision to 1088
20.786 * * * * [points]: Setting MPFR precision to 1344
20.794 * * * * [points]: Computing exacts on every 30 of 960 points to ramp up precision
20.799 * * * * [points]: Setting MPFR precision to 1088
20.812 * * * * [points]: Setting MPFR precision to 1344
20.829 * * * * [points]: Computing exacts on every 15 of 960 points to ramp up precision
20.834 * * * * [points]: Setting MPFR precision to 1088
20.884 * * * * [points]: Setting MPFR precision to 1344
20.901 * * * * [points]: Computing exacts on every 7 of 960 points to ramp up precision
20.903 * * * * [points]: Setting MPFR precision to 1088
20.935 * * * * [points]: Setting MPFR precision to 1344
20.995 * * * * [points]: Computing exacts on every 3 of 960 points to ramp up precision
21.000 * * * * [points]: Setting MPFR precision to 1088
21.062 * * * * [points]: Setting MPFR precision to 1344
21.127 * * * * [points]: Computing exacts for 960 points
21.171 * * * * [points]: Setting MPFR precision to 1088
21.949 * * * * [points]: Setting MPFR precision to 1344
22.323 * * * * [points]: Filtering points with unrepresentable outputs
22.328 * * * * [points]: Sampling 467 additional inputs, on iter 4 have 7533 / 8000
22.334 * * * * [points]: Computing exacts on every 29 of 467 points to ramp up precision
22.337 * * * * [points]: Setting MPFR precision to 1088
22.343 * * * * [points]: Setting MPFR precision to 1344
22.350 * * * * [points]: Computing exacts on every 14 of 467 points to ramp up precision
22.355 * * * * [points]: Setting MPFR precision to 1088
22.369 * * * * [points]: Setting MPFR precision to 1344
22.383 * * * * [points]: Computing exacts on every 7 of 467 points to ramp up precision
22.388 * * * * [points]: Setting MPFR precision to 1088
22.410 * * * * [points]: Setting MPFR precision to 1344
22.438 * * * * [points]: Computing exacts on every 3 of 467 points to ramp up precision
22.443 * * * * [points]: Setting MPFR precision to 1088
22.482 * * * * [points]: Setting MPFR precision to 1344
22.536 * * * * [points]: Computing exacts for 467 points
22.571 * * * * [points]: Setting MPFR precision to 1088
22.714 * * * * [points]: Setting MPFR precision to 1344
22.988 * * * * [points]: Filtering points with unrepresentable outputs
22.990 * * * * [points]: Sampling 216 additional inputs, on iter 5 have 7784 / 8000
22.993 * * * * [points]: Computing exacts on every 13 of 216 points to ramp up precision
22.995 * * * * [points]: Setting MPFR precision to 1088
23.001 * * * * [points]: Setting MPFR precision to 1344
23.005 * * * * [points]: Computing exacts on every 6 of 216 points to ramp up precision
23.007 * * * * [points]: Setting MPFR precision to 1088
23.014 * * * * [points]: Setting MPFR precision to 1344
23.025 * * * * [points]: Computing exacts on every 3 of 216 points to ramp up precision
23.029 * * * * [points]: Setting MPFR precision to 1088
23.049 * * * * [points]: Setting MPFR precision to 1344
23.076 * * * * [points]: Computing exacts for 216 points
23.079 * * * * [points]: Setting MPFR precision to 1088
23.157 * * * * [points]: Setting MPFR precision to 1344
23.285 * * * * [points]: Filtering points with unrepresentable outputs
23.286 * * * * [points]: Sampling 111 additional inputs, on iter 6 have 7889 / 8000
23.289 * * * * [points]: Computing exacts on every 6 of 111 points to ramp up precision
23.296 * * * * [points]: Setting MPFR precision to 1088
23.303 * * * * [points]: Setting MPFR precision to 1344
23.309 * * * * [points]: Computing exacts on every 3 of 111 points to ramp up precision
23.314 * * * * [points]: Setting MPFR precision to 1088
23.323 * * * * [points]: Setting MPFR precision to 1344
23.336 * * * * [points]: Computing exacts for 111 points
23.341 * * * * [points]: Setting MPFR precision to 1088
23.379 * * * * [points]: Setting MPFR precision to 1344
23.429 * * * * [points]: Filtering points with unrepresentable outputs
23.429 * * * * [points]: Sampling 59 additional inputs, on iter 7 have 7941 / 8000
23.431 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
23.435 * * * * [points]: Setting MPFR precision to 1088
23.440 * * * * [points]: Setting MPFR precision to 1344
23.448 * * * * [points]: Computing exacts for 59 points
23.453 * * * * [points]: Setting MPFR precision to 1088
23.474 * * * * [points]: Setting MPFR precision to 1344
23.501 * * * * [points]: Filtering points with unrepresentable outputs
23.501 * * * * [points]: Sampling 30 additional inputs, on iter 8 have 7970 / 8000
23.502 * * * * [points]: Computing exacts for 30 points
23.506 * * * * [points]: Setting MPFR precision to 1088
23.518 * * * * [points]: Setting MPFR precision to 1344
23.559 * * * * [points]: Filtering points with unrepresentable outputs
23.560 * * * * [points]: Sampling 13 additional inputs, on iter 9 have 7987 / 8000
23.560 * * * * [points]: Computing exacts for 13 points
23.564 * * * * [points]: Setting MPFR precision to 1088
23.571 * * * * [points]: Setting MPFR precision to 1344
23.577 * * * * [points]: Filtering points with unrepresentable outputs
23.577 * * * * [points]: Sampling 7 additional inputs, on iter 10 have 7993 / 8000
23.577 * * * * [points]: Computing exacts for 7 points
23.582 * * * * [points]: Setting MPFR precision to 1088
23.584 * * * * [points]: Setting MPFR precision to 1344
23.586 * * * * [points]: Filtering points with unrepresentable outputs
23.587 * * * * [points]: Sampling 6 additional inputs, on iter 11 have 7994 / 8000
23.587 * * * * [points]: Computing exacts for 6 points
23.591 * * * * [points]: Setting MPFR precision to 1088
23.593 * * * * [points]: Setting MPFR precision to 1344
23.596 * * * * [points]: Filtering points with unrepresentable outputs
23.596 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
23.597 * * * * [points]: Computing exacts for 4 points
23.601 * * * * [points]: Setting MPFR precision to 1088
23.603 * * * * [points]: Setting MPFR precision to 1344
23.605 * * * * [points]: Filtering points with unrepresentable outputs
23.605 * * * * [points]: Sampled 8001 points with exact outputs
24.004 * [regime-testing]: Baseline error score: 43.46032222852669
24.015 * [regime-testing]: Oracle error score: 43.46032222852669
24.015 * [regime-testing]: End program error score: 43.46032222852669