1.172 * [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.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.070 * * * * [points]: Setting MPFR precision to 64
0.073 * * * * [points]: Setting MPFR precision to 320
0.075 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.076 * * * * [points]: Setting MPFR precision to 64
0.079 * * * * [points]: Setting MPFR precision to 320
0.082 * * * * [points]: Setting MPFR precision to 576
0.086 * * * * [points]: Setting MPFR precision to 832
0.090 * * * * [points]: Setting MPFR precision to 1088
0.096 * * * * [points]: Setting MPFR precision to 1344
0.102 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.105 * * * * [points]: Setting MPFR precision to 1088
0.116 * * * * [points]: Setting MPFR precision to 1344
0.131 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.134 * * * * [points]: Setting MPFR precision to 1088
0.151 * * * * [points]: Setting MPFR precision to 1344
0.173 * * * * [points]: Computing exacts for 256 points
0.176 * * * * [points]: Setting MPFR precision to 1088
0.285 * * * * [points]: Setting MPFR precision to 1344
0.401 * * * * [points]: Filtering points with unrepresentable outputs
0.402 * * * * [points]: Sampling 132 additional inputs, on iter 1 have 124 / 256
0.403 * * * * [points]: Computing exacts on every 8 of 132 points to ramp up precision
0.405 * * * * [points]: Setting MPFR precision to 1088
0.409 * * * * [points]: Setting MPFR precision to 1344
0.413 * * * * [points]: Computing exacts on every 4 of 132 points to ramp up precision
0.417 * * * * [points]: Setting MPFR precision to 1088
0.428 * * * * [points]: Setting MPFR precision to 1344
0.441 * * * * [points]: Computing exacts on every 2 of 132 points to ramp up precision
0.445 * * * * [points]: Setting MPFR precision to 1088
0.461 * * * * [points]: Setting MPFR precision to 1344
0.481 * * * * [points]: Computing exacts for 132 points
0.485 * * * * [points]: Setting MPFR precision to 1088
0.516 * * * * [points]: Setting MPFR precision to 1344
0.612 * * * * [points]: Filtering points with unrepresentable outputs
0.613 * * * * [points]: Sampling 65 additional inputs, on iter 2 have 191 / 256
0.614 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
0.618 * * * * [points]: Setting MPFR precision to 1088
0.624 * * * * [points]: Setting MPFR precision to 1344
0.631 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
0.636 * * * * [points]: Setting MPFR precision to 1088
0.647 * * * * [points]: Setting MPFR precision to 1344
0.657 * * * * [points]: Computing exacts for 65 points
0.661 * * * * [points]: Setting MPFR precision to 1088
0.689 * * * * [points]: Setting MPFR precision to 1344
0.719 * * * * [points]: Filtering points with unrepresentable outputs
0.719 * * * * [points]: Sampling 32 additional inputs, on iter 3 have 224 / 256
0.719 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
0.721 * * * * [points]: Setting MPFR precision to 1088
0.723 * * * * [points]: Setting MPFR precision to 1344
0.726 * * * * [points]: Computing exacts for 32 points
0.728 * * * * [points]: Setting MPFR precision to 1088
0.736 * * * * [points]: Setting MPFR precision to 1344
0.752 * * * * [points]: Filtering points with unrepresentable outputs
0.752 * * * * [points]: Sampling 17 additional inputs, on iter 4 have 239 / 256
0.753 * * * * [points]: Computing exacts for 17 points
0.757 * * * * [points]: Setting MPFR precision to 1088
0.765 * * * * [points]: Setting MPFR precision to 1344
0.771 * * * * [points]: Filtering points with unrepresentable outputs
0.771 * * * * [points]: Sampling 11 additional inputs, on iter 5 have 245 / 256
0.772 * * * * [points]: Computing exacts for 11 points
0.776 * * * * [points]: Setting MPFR precision to 1088
0.781 * * * * [points]: Setting MPFR precision to 1344
0.786 * * * * [points]: Filtering points with unrepresentable outputs
0.786 * * * * [points]: Sampling 5 additional inputs, on iter 6 have 251 / 256
0.786 * * * * [points]: Computing exacts for 5 points
0.791 * * * * [points]: Setting MPFR precision to 1088
0.794 * * * * [points]: Setting MPFR precision to 1344
0.798 * * * * [points]: Filtering points with unrepresentable outputs
0.798 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 254 / 256
0.798 * * * * [points]: Computing exacts for 4 points
0.835 * * * * [points]: Setting MPFR precision to 1088
0.837 * * * * [points]: Setting MPFR precision to 1344
0.840 * * * * [points]: Filtering points with unrepresentable outputs
0.840 * * * * [points]: Sampled 257 points with exact outputs
0.841 * * * [progress]: [2/2] Setting up program.
0.850 * [progress]: [Phase 2 of 3] Improving.
0.851 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.854 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.855 * * [simplify]: iteration 1: (12 enodes)
0.864 * * [simplify]: iteration 2: (16 enodes)
0.869 * * [simplify]: Extracting #0: cost 1 inf + 0
0.870 * * [simplify]: Extracting #1: cost 2 inf + 0
0.870 * * [simplify]: Extracting #2: cost 4 inf + 0
0.870 * * [simplify]: Extracting #3: cost 8 inf + 0
0.870 * * [simplify]: Extracting #4: cost 7 inf + 4
0.870 * * [simplify]: Extracting #5: cost 11 inf + 4
0.870 * * [simplify]: Extracting #6: cost 8 inf + 47
0.870 * * [simplify]: Extracting #7: cost 3 inf + 396
0.871 * * [simplify]: Extracting #8: cost 0 inf + 2186
0.871 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.874 * * [progress]: iteration 1 / 4
0.874 * * * [progress]: picking best candidate
0.879 * * * * [pick]: Picked  #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.879 * * * [progress]: localizing error
1.058 * * * [progress]: generating rewritten candidates
1.058 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
1.061 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1)
1.061 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2)
1.062 * * * [progress]: generating series expansions
1.063 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
1.063 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1)
1.063 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2)
1.063 * * * [progress]: simplifying candidates
1.063 * * * * [progress]: [ 1 / 4 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))))>
1.063 * * * * [progress]: [ 2 / 4 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.063 * * * * [progress]: [ 3 / 4 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.063 * * * * [progress]: [ 4 / 4 ] simplifiying candidate #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
1.063 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.063 * * [simplify]: iteration 1: (12 enodes)
1.065 * * [simplify]: iteration 2: (16 enodes)
1.068 * * [simplify]: Extracting #0: cost 1 inf + 0
1.068 * * [simplify]: Extracting #1: cost 2 inf + 0
1.068 * * [simplify]: Extracting #2: cost 4 inf + 0
1.068 * * [simplify]: Extracting #3: cost 8 inf + 0
1.069 * * [simplify]: Extracting #4: cost 7 inf + 4
1.069 * * [simplify]: Extracting #5: cost 11 inf + 4
1.069 * * [simplify]: Extracting #6: cost 8 inf + 47
1.069 * * [simplify]: Extracting #7: cost 3 inf + 396
1.069 * * [simplify]: Extracting #8: cost 0 inf + 2186
1.070 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.070 * * * [progress]: adding candidates to table
1.084 * [progress]: [Phase 3 of 3] Extracting.
1.090 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.090 * * [simplify]: iteration 1: (12 enodes)
1.091 * * [simplify]: iteration 2: (13 enodes)
1.093 * * [simplify]: Extracting #0: cost 1 inf + 0
1.093 * * [simplify]: Extracting #1: cost 2 inf + 0
1.093 * * [simplify]: Extracting #2: cost 4 inf + 0
1.093 * * [simplify]: Extracting #3: cost 8 inf + 0
1.093 * * [simplify]: Extracting #4: cost 7 inf + 4
1.093 * * [simplify]: Extracting #5: cost 9 inf + 4
1.093 * * [simplify]: Extracting #6: cost 7 inf + 6
1.093 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.093 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.094 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.168 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.173 * * * * [points]: Setting MPFR precision to 1088
1.180 * * * * [points]: Setting MPFR precision to 1344
1.184 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.187 * * * * [points]: Setting MPFR precision to 1088
1.194 * * * * [points]: Setting MPFR precision to 1344
1.202 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.204 * * * * [points]: Setting MPFR precision to 1088
1.221 * * * * [points]: Setting MPFR precision to 1344
1.238 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.240 * * * * [points]: Setting MPFR precision to 1088
1.280 * * * * [points]: Setting MPFR precision to 1344
1.350 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.353 * * * * [points]: Setting MPFR precision to 1088
1.423 * * * * [points]: Setting MPFR precision to 1344
1.524 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.529 * * * * [points]: Setting MPFR precision to 1088
1.755 * * * * [points]: Setting MPFR precision to 1344
1.928 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.931 * * * * [points]: Setting MPFR precision to 1088
2.303 * * * * [points]: Setting MPFR precision to 1344
2.716 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
2.719 * * * * [points]: Setting MPFR precision to 1088
3.895 * * * * [points]: Setting MPFR precision to 1344
4.720 * * * * [points]: Computing exacts for 8000 points
4.723 * * * * [points]: Setting MPFR precision to 1088
8.136 * * * * [points]: Setting MPFR precision to 1344
12.396 * * * * [points]: Filtering points with unrepresentable outputs
12.403 * * * * [points]: Sampling 3897 additional inputs, on iter 1 have 4103 / 8000
12.461 * * * * [points]: Computing exacts on every 243 of 3897 points to ramp up precision
12.464 * * * * [points]: Setting MPFR precision to 1088
12.467 * * * * [points]: Setting MPFR precision to 1344
12.470 * * * * [points]: Computing exacts on every 121 of 3897 points to ramp up precision
12.472 * * * * [points]: Setting MPFR precision to 1088
12.478 * * * * [points]: Setting MPFR precision to 1344
12.486 * * * * [points]: Computing exacts on every 60 of 3897 points to ramp up precision
12.488 * * * * [points]: Setting MPFR precision to 1088
12.511 * * * * [points]: Setting MPFR precision to 1344
12.541 * * * * [points]: Computing exacts on every 30 of 3897 points to ramp up precision
12.546 * * * * [points]: Setting MPFR precision to 1088
12.619 * * * * [points]: Setting MPFR precision to 1344
12.685 * * * * [points]: Computing exacts on every 15 of 3897 points to ramp up precision
12.689 * * * * [points]: Setting MPFR precision to 1088
12.772 * * * * [points]: Setting MPFR precision to 1344
12.866 * * * * [points]: Computing exacts on every 7 of 3897 points to ramp up precision
12.870 * * * * [points]: Setting MPFR precision to 1088
13.024 * * * * [points]: Setting MPFR precision to 1344
13.164 * * * * [points]: Computing exacts on every 3 of 3897 points to ramp up precision
13.169 * * * * [points]: Setting MPFR precision to 1088
13.513 * * * * [points]: Setting MPFR precision to 1344
13.980 * * * * [points]: Computing exacts for 3897 points
13.984 * * * * [points]: Setting MPFR precision to 1088
15.788 * * * * [points]: Setting MPFR precision to 1344
17.210 * * * * [points]: Filtering points with unrepresentable outputs
17.211 * * * * [points]: Sampling 1920 additional inputs, on iter 2 have 6080 / 8000
17.225 * * * * [points]: Computing exacts on every 120 of 1920 points to ramp up precision
17.227 * * * * [points]: Setting MPFR precision to 1088
17.231 * * * * [points]: Setting MPFR precision to 1344
17.235 * * * * [points]: Computing exacts on every 60 of 1920 points to ramp up precision
17.237 * * * * [points]: Setting MPFR precision to 1088
17.248 * * * * [points]: Setting MPFR precision to 1344
17.262 * * * * [points]: Computing exacts on every 30 of 1920 points to ramp up precision
17.267 * * * * [points]: Setting MPFR precision to 1088
17.745 * * * * [points]: Setting MPFR precision to 1344
17.779 * * * * [points]: Computing exacts on every 15 of 1920 points to ramp up precision
17.784 * * * * [points]: Setting MPFR precision to 1088
17.809 * * * * [points]: Setting MPFR precision to 1344
17.850 * * * * [points]: Computing exacts on every 7 of 1920 points to ramp up precision
17.852 * * * * [points]: Setting MPFR precision to 1088
17.924 * * * * [points]: Setting MPFR precision to 1344
18.014 * * * * [points]: Computing exacts on every 3 of 1920 points to ramp up precision
18.018 * * * * [points]: Setting MPFR precision to 1088
18.208 * * * * [points]: Setting MPFR precision to 1344
18.377 * * * * [points]: Computing exacts for 1920 points
18.382 * * * * [points]: Setting MPFR precision to 1088
19.152 * * * * [points]: Setting MPFR precision to 1344
19.967 * * * * [points]: Filtering points with unrepresentable outputs
19.968 * * * * [points]: Sampling 961 additional inputs, on iter 3 have 7039 / 8000
19.976 * * * * [points]: Computing exacts on every 60 of 961 points to ramp up precision
19.981 * * * * [points]: Setting MPFR precision to 1088
19.988 * * * * [points]: Setting MPFR precision to 1344
19.996 * * * * [points]: Computing exacts on every 30 of 961 points to ramp up precision
20.000 * * * * [points]: Setting MPFR precision to 1088
20.012 * * * * [points]: Setting MPFR precision to 1344
20.028 * * * * [points]: Computing exacts on every 15 of 961 points to ramp up precision
20.033 * * * * [points]: Setting MPFR precision to 1088
20.059 * * * * [points]: Setting MPFR precision to 1344
20.093 * * * * [points]: Computing exacts on every 7 of 961 points to ramp up precision
20.096 * * * * [points]: Setting MPFR precision to 1088
20.124 * * * * [points]: Setting MPFR precision to 1344
20.183 * * * * [points]: Computing exacts on every 3 of 961 points to ramp up precision
20.186 * * * * [points]: Setting MPFR precision to 1088
20.274 * * * * [points]: Setting MPFR precision to 1344
20.353 * * * * [points]: Computing exacts for 961 points
20.357 * * * * [points]: Setting MPFR precision to 1088
20.669 * * * * [points]: Setting MPFR precision to 1344
21.445 * * * * [points]: Filtering points with unrepresentable outputs
21.445 * * * * [points]: Sampling 476 additional inputs, on iter 4 have 7524 / 8000
21.449 * * * * [points]: Computing exacts on every 29 of 476 points to ramp up precision
21.451 * * * * [points]: Setting MPFR precision to 1088
21.455 * * * * [points]: Setting MPFR precision to 1344
21.458 * * * * [points]: Computing exacts on every 14 of 476 points to ramp up precision
21.461 * * * * [points]: Setting MPFR precision to 1088
21.469 * * * * [points]: Setting MPFR precision to 1344
21.477 * * * * [points]: Computing exacts on every 7 of 476 points to ramp up precision
21.479 * * * * [points]: Setting MPFR precision to 1088
21.492 * * * * [points]: Setting MPFR precision to 1344
21.514 * * * * [points]: Computing exacts on every 3 of 476 points to ramp up precision
21.552 * * * * [points]: Setting MPFR precision to 1088
21.587 * * * * [points]: Setting MPFR precision to 1344
21.619 * * * * [points]: Computing exacts for 476 points
21.621 * * * * [points]: Setting MPFR precision to 1088
21.753 * * * * [points]: Setting MPFR precision to 1344
21.963 * * * * [points]: Filtering points with unrepresentable outputs
21.963 * * * * [points]: Sampling 238 additional inputs, on iter 5 have 7762 / 8000
21.966 * * * * [points]: Computing exacts on every 14 of 238 points to ramp up precision
21.971 * * * * [points]: Setting MPFR precision to 1088
21.976 * * * * [points]: Setting MPFR precision to 1344
21.981 * * * * [points]: Computing exacts on every 7 of 238 points to ramp up precision
21.985 * * * * [points]: Setting MPFR precision to 1088
21.992 * * * * [points]: Setting MPFR precision to 1344
22.002 * * * * [points]: Computing exacts on every 3 of 238 points to ramp up precision
22.004 * * * * [points]: Setting MPFR precision to 1088
22.018 * * * * [points]: Setting MPFR precision to 1344
22.051 * * * * [points]: Computing exacts for 238 points
22.055 * * * * [points]: Setting MPFR precision to 1088
22.163 * * * * [points]: Setting MPFR precision to 1344
22.283 * * * * [points]: Filtering points with unrepresentable outputs
22.284 * * * * [points]: Sampling 119 additional inputs, on iter 6 have 7881 / 8000
22.285 * * * * [points]: Computing exacts on every 7 of 119 points to ramp up precision
22.291 * * * * [points]: Setting MPFR precision to 1088
22.297 * * * * [points]: Setting MPFR precision to 1344
22.306 * * * * [points]: Computing exacts on every 3 of 119 points to ramp up precision
22.311 * * * * [points]: Setting MPFR precision to 1088
22.325 * * * * [points]: Setting MPFR precision to 1344
22.335 * * * * [points]: Computing exacts for 119 points
22.337 * * * * [points]: Setting MPFR precision to 1088
22.364 * * * * [points]: Setting MPFR precision to 1344
22.408 * * * * [points]: Filtering points with unrepresentable outputs
22.408 * * * * [points]: Sampling 57 additional inputs, on iter 7 have 7943 / 8000
22.409 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
22.413 * * * * [points]: Setting MPFR precision to 1088
22.419 * * * * [points]: Setting MPFR precision to 1344
22.428 * * * * [points]: Computing exacts for 57 points
22.432 * * * * [points]: Setting MPFR precision to 1088
22.476 * * * * [points]: Setting MPFR precision to 1344
22.493 * * * * [points]: Filtering points with unrepresentable outputs
22.493 * * * * [points]: Sampling 33 additional inputs, on iter 8 have 7967 / 8000
22.494 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
22.496 * * * * [points]: Setting MPFR precision to 1088
22.500 * * * * [points]: Setting MPFR precision to 1344
22.505 * * * * [points]: Computing exacts for 33 points
22.510 * * * * [points]: Setting MPFR precision to 1088
22.522 * * * * [points]: Setting MPFR precision to 1344
22.535 * * * * [points]: Filtering points with unrepresentable outputs
22.535 * * * * [points]: Sampling 17 additional inputs, on iter 9 have 7983 / 8000
22.535 * * * * [points]: Computing exacts for 17 points
22.538 * * * * [points]: Setting MPFR precision to 1088
22.542 * * * * [points]: Setting MPFR precision to 1344
22.546 * * * * [points]: Filtering points with unrepresentable outputs
22.546 * * * * [points]: Sampling 10 additional inputs, on iter 10 have 7990 / 8000
22.546 * * * * [points]: Computing exacts for 10 points
22.549 * * * * [points]: Setting MPFR precision to 1088
22.552 * * * * [points]: Setting MPFR precision to 1344
22.556 * * * * [points]: Filtering points with unrepresentable outputs
22.556 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
22.556 * * * * [points]: Computing exacts for 4 points
22.559 * * * * [points]: Setting MPFR precision to 1088
22.560 * * * * [points]: Setting MPFR precision to 1344
22.561 * * * * [points]: Filtering points with unrepresentable outputs
22.561 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7997 / 8000
22.561 * * * * [points]: Computing exacts for 4 points
22.563 * * * * [points]: Setting MPFR precision to 1088
22.564 * * * * [points]: Setting MPFR precision to 1344
22.565 * * * * [points]: Filtering points with unrepresentable outputs
22.565 * * * * [points]: Sampled 8000 points with exact outputs
22.789 * [regime-testing]: Baseline error score: 43.425205491876746
22.791 * [regime-testing]: Oracle error score: 43.425205491876746
22.792 * [regime-testing]: End program error score: 43.425205491876746