0.616 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [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.323 * * * * [points]: Setting MPFR precision to 64
0.359 * * * * [points]: Setting MPFR precision to 320
0.365 * * * * [points]: Setting MPFR precision to 576
0.371 * * * * [points]: Setting MPFR precision to 832
0.376 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.382 * * * * [points]: Setting MPFR precision to 576
0.390 * * * * [points]: Setting MPFR precision to 832
0.400 * * * * [points]: Setting MPFR precision to 1088
0.414 * * * * [points]: Setting MPFR precision to 1344
0.422 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.425 * * * * [points]: Setting MPFR precision to 1088
0.439 * * * * [points]: Setting MPFR precision to 1344
0.467 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.471 * * * * [points]: Setting MPFR precision to 1088
0.493 * * * * [points]: Setting MPFR precision to 1344
0.518 * * * * [points]: Computing exacts for 256 points
0.521 * * * * [points]: Setting MPFR precision to 1088
0.635 * * * * [points]: Setting MPFR precision to 1344
0.781 * * * * [points]: Filtering points with unrepresentable outputs
0.813 * * * * [points]: Sampling 133 additional inputs, on iter 1 have 123 / 256
0.817 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision
0.823 * * * * [points]: Setting MPFR precision to 1088
0.829 * * * * [points]: Setting MPFR precision to 1344
0.836 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision
0.841 * * * * [points]: Setting MPFR precision to 1088
0.853 * * * * [points]: Setting MPFR precision to 1344
0.868 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision
0.873 * * * * [points]: Setting MPFR precision to 1088
0.891 * * * * [points]: Setting MPFR precision to 1344
0.907 * * * * [points]: Computing exacts for 133 points
0.910 * * * * [points]: Setting MPFR precision to 1088
0.943 * * * * [points]: Setting MPFR precision to 1344
1.052 * * * * [points]: Filtering points with unrepresentable outputs
1.052 * * * * [points]: Sampling 57 additional inputs, on iter 2 have 199 / 256
1.053 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
1.057 * * * * [points]: Setting MPFR precision to 1088
1.061 * * * * [points]: Setting MPFR precision to 1344
1.066 * * * * [points]: Computing exacts for 57 points
1.070 * * * * [points]: Setting MPFR precision to 1088
1.083 * * * * [points]: Setting MPFR precision to 1344
1.134 * * * * [points]: Filtering points with unrepresentable outputs
1.135 * * * * [points]: Sampling 20 additional inputs, on iter 3 have 236 / 256
1.135 * * * * [points]: Computing exacts for 20 points
1.138 * * * * [points]: Setting MPFR precision to 1088
1.144 * * * * [points]: Setting MPFR precision to 1344
1.184 * * * * [points]: Filtering points with unrepresentable outputs
1.185 * * * * [points]: Sampling 12 additional inputs, on iter 4 have 244 / 256
1.185 * * * * [points]: Computing exacts for 12 points
1.189 * * * * [points]: Setting MPFR precision to 1088
1.195 * * * * [points]: Setting MPFR precision to 1344
1.202 * * * * [points]: Filtering points with unrepresentable outputs
1.202 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256
1.203 * * * * [points]: Computing exacts for 7 points
1.209 * * * * [points]: Setting MPFR precision to 1088
1.212 * * * * [points]: Setting MPFR precision to 1344
1.216 * * * * [points]: Filtering points with unrepresentable outputs
1.216 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
1.216 * * * * [points]: Computing exacts for 4 points
1.219 * * * * [points]: Setting MPFR precision to 1088
1.221 * * * * [points]: Setting MPFR precision to 1344
1.222 * * * * [points]: Filtering points with unrepresentable outputs
1.222 * * * * [points]: Sampled 256 points with exact outputs
1.223 * * * [progress]: [2/2] Setting up program.
1.229 * [progress]: [Phase 2 of 3] Improving.
1.232 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.233 * * [simplify]: iteration 0: 12 enodes
1.241 * * [simplify]: iteration 1: 16 enodes
1.245 * * [simplify]: iteration complete: 16 enodes
1.245 * * [simplify]: Extracting #0: cost 1 inf + 0
1.245 * * [simplify]: Extracting #1: cost 2 inf + 0
1.245 * * [simplify]: Extracting #2: cost 4 inf + 0
1.245 * * [simplify]: Extracting #3: cost 8 inf + 0
1.246 * * [simplify]: Extracting #4: cost 7 inf + 4
1.246 * * [simplify]: Extracting #5: cost 11 inf + 4
1.246 * * [simplify]: Extracting #6: cost 8 inf + 47
1.246 * * [simplify]: Extracting #7: cost 3 inf + 396
1.247 * * [simplify]: Extracting #8: cost 0 inf + 2186
1.247 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
1.250 * * [progress]: iteration 1 / 4
1.250 * * * [progress]: picking best candidate
1.259 * * * * [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))))>
1.259 * * * [progress]: localizing error
1.429 * * * [progress]: generating rewritten candidates
1.430 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.434 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.434 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1.435 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.440 * * * [progress]: generating series expansions
1.440 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.441 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.441 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.441 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.441 * * * [progress]: simplifying candidates
1.442 * [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.442 * * [simplify]: iteration 0: 14 enodes
1.446 * * [simplify]: iteration 1: 21 enodes
1.451 * * [simplify]: iteration complete: 21 enodes
1.452 * * [simplify]: Extracting #0: cost 3 inf + 0
1.452 * * [simplify]: Extracting #1: cost 8 inf + 0
1.452 * * [simplify]: Extracting #2: cost 12 inf + 0
1.452 * * [simplify]: Extracting #3: cost 10 inf + 86
1.452 * * [simplify]: Extracting #4: cost 12 inf + 168
1.452 * * [simplify]: Extracting #5: cost 9 inf + 211
1.452 * * [simplify]: Extracting #6: cost 4 inf + 560
1.453 * * [simplify]: Extracting #7: cost 0 inf + 2732
1.453 * [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.454 * * * [progress]: adding candidates to table
1.479 * [progress]: [Phase 3 of 3] Extracting.
1.488 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.489 * * [simplify]: iteration 0: 12 enodes
1.490 * * [simplify]: iteration 1: 13 enodes
1.491 * * [simplify]: iteration complete: 13 enodes
1.491 * * [simplify]: Extracting #0: cost 1 inf + 0
1.491 * * [simplify]: Extracting #1: cost 2 inf + 0
1.491 * * [simplify]: Extracting #2: cost 4 inf + 0
1.491 * * [simplify]: Extracting #3: cost 8 inf + 0
1.491 * * [simplify]: Extracting #4: cost 7 inf + 4
1.491 * * [simplify]: Extracting #5: cost 9 inf + 4
1.491 * * [simplify]: Extracting #6: cost 7 inf + 6
1.492 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.492 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
1.492 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.607 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.609 * * * * [points]: Setting MPFR precision to 1088
1.614 * * * * [points]: Setting MPFR precision to 1344
1.621 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.633 * * * * [points]: Setting MPFR precision to 1088
1.646 * * * * [points]: Setting MPFR precision to 1344
1.664 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.667 * * * * [points]: Setting MPFR precision to 1088
1.689 * * * * [points]: Setting MPFR precision to 1344
1.718 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.722 * * * * [points]: Setting MPFR precision to 1088
1.774 * * * * [points]: Setting MPFR precision to 1344
1.835 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.839 * * * * [points]: Setting MPFR precision to 1088
1.917 * * * * [points]: Setting MPFR precision to 1344
2.047 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
2.051 * * * * [points]: Setting MPFR precision to 1088
2.231 * * * * [points]: Setting MPFR precision to 1344
2.469 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.473 * * * * [points]: Setting MPFR precision to 1088
3.237 * * * * [points]: Setting MPFR precision to 1344
3.674 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.679 * * * * [points]: Setting MPFR precision to 1088
4.448 * * * * [points]: Setting MPFR precision to 1344
5.428 * * * * [points]: Computing exacts for 8000 points
5.432 * * * * [points]: Setting MPFR precision to 1088
8.825 * * * * [points]: Setting MPFR precision to 1344
12.951 * * * * [points]: Filtering points with unrepresentable outputs
12.983 * * * * [points]: Sampling 3962 additional inputs, on iter 1 have 4038 / 8000
13.048 * * * * [points]: Computing exacts on every 247 of 3962 points to ramp up precision
13.050 * * * * [points]: Setting MPFR precision to 1088
13.054 * * * * [points]: Setting MPFR precision to 1344
13.058 * * * * [points]: Computing exacts on every 123 of 3962 points to ramp up precision
13.060 * * * * [points]: Setting MPFR precision to 1088
13.072 * * * * [points]: Setting MPFR precision to 1344
13.086 * * * * [points]: Computing exacts on every 61 of 3962 points to ramp up precision
13.088 * * * * [points]: Setting MPFR precision to 1088
13.103 * * * * [points]: Setting MPFR precision to 1344
13.126 * * * * [points]: Computing exacts on every 30 of 3962 points to ramp up precision
13.130 * * * * [points]: Setting MPFR precision to 1088
13.181 * * * * [points]: Setting MPFR precision to 1344
13.246 * * * * [points]: Computing exacts on every 15 of 3962 points to ramp up precision
13.250 * * * * [points]: Setting MPFR precision to 1088
13.334 * * * * [points]: Setting MPFR precision to 1344
13.398 * * * * [points]: Computing exacts on every 7 of 3962 points to ramp up precision
13.402 * * * * [points]: Setting MPFR precision to 1088
13.650 * * * * [points]: Setting MPFR precision to 1344
13.903 * * * * [points]: Computing exacts on every 3 of 3962 points to ramp up precision
13.908 * * * * [points]: Setting MPFR precision to 1088
14.242 * * * * [points]: Setting MPFR precision to 1344
15.017 * * * * [points]: Computing exacts for 3962 points
15.019 * * * * [points]: Setting MPFR precision to 1088
16.557 * * * * [points]: Setting MPFR precision to 1344
18.854 * * * * [points]: Filtering points with unrepresentable outputs
18.861 * * * * [points]: Sampling 1972 additional inputs, on iter 2 have 6028 / 8000
18.879 * * * * [points]: Computing exacts on every 123 of 1972 points to ramp up precision
18.882 * * * * [points]: Setting MPFR precision to 1088
18.885 * * * * [points]: Setting MPFR precision to 1344
18.888 * * * * [points]: Computing exacts on every 61 of 1972 points to ramp up precision
18.891 * * * * [points]: Setting MPFR precision to 1088
18.897 * * * * [points]: Setting MPFR precision to 1344
18.906 * * * * [points]: Computing exacts on every 30 of 1972 points to ramp up precision
18.909 * * * * [points]: Setting MPFR precision to 1088
18.924 * * * * [points]: Setting MPFR precision to 1344
18.943 * * * * [points]: Computing exacts on every 15 of 1972 points to ramp up precision
18.947 * * * * [points]: Setting MPFR precision to 1088
18.994 * * * * [points]: Setting MPFR precision to 1344
19.059 * * * * [points]: Computing exacts on every 7 of 1972 points to ramp up precision
19.061 * * * * [points]: Setting MPFR precision to 1088
19.129 * * * * [points]: Setting MPFR precision to 1344
19.219 * * * * [points]: Computing exacts on every 3 of 1972 points to ramp up precision
19.224 * * * * [points]: Setting MPFR precision to 1088
19.418 * * * * [points]: Setting MPFR precision to 1344
19.620 * * * * [points]: Computing exacts for 1972 points
19.625 * * * * [points]: Setting MPFR precision to 1088
20.432 * * * * [points]: Setting MPFR precision to 1344
21.183 * * * * [points]: Filtering points with unrepresentable outputs
21.191 * * * * [points]: Sampling 960 additional inputs, on iter 3 have 7040 / 8000
21.206 * * * * [points]: Computing exacts on every 60 of 960 points to ramp up precision
21.210 * * * * [points]: Setting MPFR precision to 1088
21.217 * * * * [points]: Setting MPFR precision to 1344
21.225 * * * * [points]: Computing exacts on every 30 of 960 points to ramp up precision
21.229 * * * * [points]: Setting MPFR precision to 1088
21.241 * * * * [points]: Setting MPFR precision to 1344
21.258 * * * * [points]: Computing exacts on every 15 of 960 points to ramp up precision
21.263 * * * * [points]: Setting MPFR precision to 1088
21.287 * * * * [points]: Setting MPFR precision to 1344
21.316 * * * * [points]: Computing exacts on every 7 of 960 points to ramp up precision
21.320 * * * * [points]: Setting MPFR precision to 1088
21.399 * * * * [points]: Setting MPFR precision to 1344
21.464 * * * * [points]: Computing exacts on every 3 of 960 points to ramp up precision
21.468 * * * * [points]: Setting MPFR precision to 1088
21.549 * * * * [points]: Setting MPFR precision to 1344
21.632 * * * * [points]: Computing exacts for 960 points
21.636 * * * * [points]: Setting MPFR precision to 1088
22.032 * * * * [points]: Setting MPFR precision to 1344
22.835 * * * * [points]: Filtering points with unrepresentable outputs
22.839 * * * * [points]: Sampling 467 additional inputs, on iter 4 have 7533 / 8000
22.846 * * * * [points]: Computing exacts on every 29 of 467 points to ramp up precision
22.887 * * * * [points]: Setting MPFR precision to 1088
22.891 * * * * [points]: Setting MPFR precision to 1344
22.895 * * * * [points]: Computing exacts on every 14 of 467 points to ramp up precision
22.899 * * * * [points]: Setting MPFR precision to 1088
22.907 * * * * [points]: Setting MPFR precision to 1344
22.922 * * * * [points]: Computing exacts on every 7 of 467 points to ramp up precision
22.925 * * * * [points]: Setting MPFR precision to 1088
22.948 * * * * [points]: Setting MPFR precision to 1344
22.962 * * * * [points]: Computing exacts on every 3 of 467 points to ramp up precision
22.964 * * * * [points]: Setting MPFR precision to 1088
23.001 * * * * [points]: Setting MPFR precision to 1344
23.055 * * * * [points]: Computing exacts for 467 points
23.058 * * * * [points]: Setting MPFR precision to 1088
23.261 * * * * [points]: Setting MPFR precision to 1344
23.498 * * * * [points]: Filtering points with unrepresentable outputs
23.500 * * * * [points]: Sampling 216 additional inputs, on iter 5 have 7784 / 8000
23.503 * * * * [points]: Computing exacts on every 13 of 216 points to ramp up precision
23.507 * * * * [points]: Setting MPFR precision to 1088
23.514 * * * * [points]: Setting MPFR precision to 1344
23.521 * * * * [points]: Computing exacts on every 6 of 216 points to ramp up precision
23.524 * * * * [points]: Setting MPFR precision to 1088
23.531 * * * * [points]: Setting MPFR precision to 1344
23.538 * * * * [points]: Computing exacts on every 3 of 216 points to ramp up precision
23.572 * * * * [points]: Setting MPFR precision to 1088
23.592 * * * * [points]: Setting MPFR precision to 1344
23.612 * * * * [points]: Computing exacts for 216 points
23.616 * * * * [points]: Setting MPFR precision to 1088
23.702 * * * * [points]: Setting MPFR precision to 1344
23.786 * * * * [points]: Filtering points with unrepresentable outputs
23.787 * * * * [points]: Sampling 111 additional inputs, on iter 6 have 7889 / 8000
23.789 * * * * [points]: Computing exacts on every 6 of 111 points to ramp up precision
23.793 * * * * [points]: Setting MPFR precision to 1088
23.799 * * * * [points]: Setting MPFR precision to 1344
23.807 * * * * [points]: Computing exacts on every 3 of 111 points to ramp up precision
23.811 * * * * [points]: Setting MPFR precision to 1088
23.821 * * * * [points]: Setting MPFR precision to 1344
23.837 * * * * [points]: Computing exacts for 111 points
23.840 * * * * [points]: Setting MPFR precision to 1088
23.903 * * * * [points]: Setting MPFR precision to 1344
23.940 * * * * [points]: Filtering points with unrepresentable outputs
23.941 * * * * [points]: Sampling 59 additional inputs, on iter 7 have 7941 / 8000
23.941 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
23.945 * * * * [points]: Setting MPFR precision to 1088
23.950 * * * * [points]: Setting MPFR precision to 1344
23.959 * * * * [points]: Computing exacts for 59 points
23.961 * * * * [points]: Setting MPFR precision to 1088
23.973 * * * * [points]: Setting MPFR precision to 1344
23.992 * * * * [points]: Filtering points with unrepresentable outputs
23.992 * * * * [points]: Sampling 30 additional inputs, on iter 8 have 7970 / 8000
23.993 * * * * [points]: Computing exacts for 30 points
23.996 * * * * [points]: Setting MPFR precision to 1088
24.009 * * * * [points]: Setting MPFR precision to 1344
24.019 * * * * [points]: Filtering points with unrepresentable outputs
24.019 * * * * [points]: Sampling 13 additional inputs, on iter 9 have 7987 / 8000
24.019 * * * * [points]: Computing exacts for 13 points
24.021 * * * * [points]: Setting MPFR precision to 1088
24.025 * * * * [points]: Setting MPFR precision to 1344
24.029 * * * * [points]: Filtering points with unrepresentable outputs
24.029 * * * * [points]: Sampling 7 additional inputs, on iter 10 have 7993 / 8000
24.029 * * * * [points]: Computing exacts for 7 points
24.032 * * * * [points]: Setting MPFR precision to 1088
24.033 * * * * [points]: Setting MPFR precision to 1344
24.035 * * * * [points]: Filtering points with unrepresentable outputs
24.035 * * * * [points]: Sampling 6 additional inputs, on iter 11 have 7994 / 8000
24.035 * * * * [points]: Computing exacts for 6 points
24.037 * * * * [points]: Setting MPFR precision to 1088
24.039 * * * * [points]: Setting MPFR precision to 1344
24.041 * * * * [points]: Filtering points with unrepresentable outputs
24.041 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
24.041 * * * * [points]: Computing exacts for 4 points
24.043 * * * * [points]: Setting MPFR precision to 1088
24.044 * * * * [points]: Setting MPFR precision to 1344
24.046 * * * * [points]: Filtering points with unrepresentable outputs
24.046 * * * * [points]: Sampled 8001 points with exact outputs
24.438 * [regime-testing]: Baseline error score: 43.46032222852669
24.446 * [regime-testing]: Oracle error score: 43.46032222852669
24.447 * [regime-testing]: End program error score: 43.46032222852669