11.632 * [progress]: [Phase 1 of 3] Setting up.
0.156 * * * [progress]: [1/2] Preparing points
0.166 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.866 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.934 * * * * [points]: Setting MPFR precision to 64
0.939 * * * * [points]: Setting MPFR precision to 320
0.945 * * * * [points]: Setting MPFR precision to 576
0.949 * * * * [points]: Setting MPFR precision to 832
0.954 * * * * [points]: Setting MPFR precision to 1088
0.961 * * * * [points]: Setting MPFR precision to 1344
0.969 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.974 * * * * [points]: Setting MPFR precision to 1088
0.985 * * * * [points]: Setting MPFR precision to 1344
1.000 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1.005 * * * * [points]: Setting MPFR precision to 1088
1.027 * * * * [points]: Setting MPFR precision to 1344
1.063 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1.067 * * * * [points]: Setting MPFR precision to 1088
1.105 * * * * [points]: Setting MPFR precision to 1344
1.145 * * * * [points]: Computing exacts for 256 points
1.648 * * * * [points]: Setting MPFR precision to 1088
1.747 * * * * [points]: Setting MPFR precision to 1344
1.882 * * * * [points]: Filtering points with unrepresentable outputs
1.884 * * * * [points]: Sampling 138 additional inputs, on iter 1 have 118 / 256
1.886 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision
1.890 * * * * [points]: Setting MPFR precision to 1088
1.896 * * * * [points]: Setting MPFR precision to 1344
1.903 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision
1.906 * * * * [points]: Setting MPFR precision to 1088
1.916 * * * * [points]: Setting MPFR precision to 1344
1.929 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision
1.933 * * * * [points]: Setting MPFR precision to 1088
1.952 * * * * [points]: Setting MPFR precision to 1344
1.972 * * * * [points]: Computing exacts for 138 points
1.976 * * * * [points]: Setting MPFR precision to 1088
2.069 * * * * [points]: Setting MPFR precision to 1344
2.129 * * * * [points]: Filtering points with unrepresentable outputs
2.129 * * * * [points]: Sampling 84 additional inputs, on iter 2 have 172 / 256
2.131 * * * * [points]: Computing exacts on every 5 of 84 points to ramp up precision
2.135 * * * * [points]: Setting MPFR precision to 1088
2.141 * * * * [points]: Setting MPFR precision to 1344
2.150 * * * * [points]: Computing exacts on every 2 of 84 points to ramp up precision
2.154 * * * * [points]: Setting MPFR precision to 1088
2.165 * * * * [points]: Setting MPFR precision to 1344
2.190 * * * * [points]: Computing exacts for 84 points
2.197 * * * * [points]: Setting MPFR precision to 1088
2.277 * * * * [points]: Setting MPFR precision to 1344
2.320 * * * * [points]: Filtering points with unrepresentable outputs
2.321 * * * * [points]: Sampling 52 additional inputs, on iter 3 have 204 / 256
2.322 * * * * [points]: Computing exacts on every 3 of 52 points to ramp up precision
2.325 * * * * [points]: Setting MPFR precision to 1088
2.332 * * * * [points]: Setting MPFR precision to 1344
2.340 * * * * [points]: Computing exacts for 52 points
2.344 * * * * [points]: Setting MPFR precision to 1088
2.367 * * * * [points]: Setting MPFR precision to 1344
2.428 * * * * [points]: Filtering points with unrepresentable outputs
2.428 * * * * [points]: Sampling 26 additional inputs, on iter 4 have 230 / 256
2.429 * * * * [points]: Computing exacts for 26 points
3.320 * * * * [points]: Setting MPFR precision to 1088
3.363 * * * * [points]: Setting MPFR precision to 1344
3.466 * * * * [points]: Filtering points with unrepresentable outputs
3.466 * * * * [points]: Sampling 16 additional inputs, on iter 5 have 240 / 256
3.469 * * * * [points]: Computing exacts for 16 points
3.473 * * * * [points]: Setting MPFR precision to 1088
3.496 * * * * [points]: Setting MPFR precision to 1344
3.544 * * * * [points]: Filtering points with unrepresentable outputs
3.544 * * * * [points]: Sampling 8 additional inputs, on iter 6 have 248 / 256
3.544 * * * * [points]: Computing exacts for 8 points
3.548 * * * * [points]: Setting MPFR precision to 1088
3.555 * * * * [points]: Setting MPFR precision to 1344
3.572 * * * * [points]: Filtering points with unrepresentable outputs
3.572 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 252 / 256
3.572 * * * * [points]: Computing exacts for 4 points
3.576 * * * * [points]: Setting MPFR precision to 1088
3.603 * * * * [points]: Setting MPFR precision to 1344
3.660 * * * * [points]: Filtering points with unrepresentable outputs
3.660 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256
3.660 * * * * [points]: Computing exacts for 4 points
3.664 * * * * [points]: Setting MPFR precision to 1088
3.703 * * * * [points]: Setting MPFR precision to 1344
3.706 * * * * [points]: Filtering points with unrepresentable outputs
3.706 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 255 / 256
3.706 * * * * [points]: Computing exacts for 4 points
3.709 * * * * [points]: Setting MPFR precision to 1088
3.719 * * * * [points]: Setting MPFR precision to 1344
3.722 * * * * [points]: Filtering points with unrepresentable outputs
3.722 * * * * [points]: Sampled 257 points with exact outputs
3.738 * * * [progress]: [2/2] Setting up program.
3.867 * [progress]: [Phase 2 of 3] Improving.
3.960 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
3.997 * * [simplify]: iteration 0: 12 enodes
4.079 * * [simplify]: iteration 1: 16 enodes
4.104 * * [simplify]: iteration complete: 16 enodes
4.128 * * [simplify]: Extracting #0: cost 1 inf + 0
4.129 * * [simplify]: Extracting #1: cost 2 inf + 0
4.129 * * [simplify]: Extracting #2: cost 4 inf + 0
4.129 * * [simplify]: Extracting #3: cost 8 inf + 0
4.132 * * [simplify]: Extracting #4: cost 7 inf + 4
4.132 * * [simplify]: Extracting #5: cost 11 inf + 4
4.132 * * [simplify]: Extracting #6: cost 7 inf + 49
4.132 * * [simplify]: Extracting #7: cost 3 inf + 396
4.132 * * [simplify]: Extracting #8: cost 0 inf + 2186
4.133 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
4.178 * * [progress]: iteration 1 / 4
4.178 * * * [progress]: picking best candidate
4.204 * * * * [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))))>
4.204 * * * [progress]: localizing error
5.544 * * * [progress]: generating rewritten candidates
5.546 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
5.622 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
5.623 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
5.627 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
5.743 * * * [progress]: generating series expansions
5.759 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
5.761 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
5.761 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
5.761 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
5.761 * * * [progress]: simplifying candidates
5.784 * [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)))
5.784 * * [simplify]: iteration 0: 14 enodes
5.826 * * [simplify]: iteration 1: 21 enodes
5.833 * * [simplify]: iteration complete: 21 enodes
5.833 * * [simplify]: Extracting #0: cost 3 inf + 0
5.833 * * [simplify]: Extracting #1: cost 8 inf + 0
5.833 * * [simplify]: Extracting #2: cost 12 inf + 0
5.833 * * [simplify]: Extracting #3: cost 8 inf + 168
5.834 * * [simplify]: Extracting #4: cost 12 inf + 168
5.843 * * [simplify]: Extracting #5: cost 8 inf + 213
5.843 * * [simplify]: Extracting #6: cost 4 inf + 560
5.844 * * [simplify]: Extracting #7: cost 0 inf + 2732
5.855 * [simplify]: Simplified to:
  (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)))
5.860 * * * [progress]: adding candidates to table
5.923 * [progress]: [Phase 3 of 3] Extracting.
5.997 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
5.997 * * [simplify]: iteration 0: 12 enodes
5.998 * * [simplify]: iteration 1: 13 enodes
5.999 * * [simplify]: iteration complete: 13 enodes
5.999 * * [simplify]: Extracting #0: cost 1 inf + 0
5.999 * * [simplify]: Extracting #1: cost 2 inf + 0
5.999 * * [simplify]: Extracting #2: cost 4 inf + 0
5.999 * * [simplify]: Extracting #3: cost 8 inf + 0
5.999 * * [simplify]: Extracting #4: cost 7 inf + 4
5.999 * * [simplify]: Extracting #5: cost 9 inf + 4
5.999 * * [simplify]: Extracting #6: cost 6 inf + 8
6.000 * * [simplify]: Extracting #7: cost 0 inf + 2104
6.000 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
6.007 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
6.407 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
6.417 * * * * [points]: Setting MPFR precision to 1088
6.440 * * * * [points]: Setting MPFR precision to 1344
6.501 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
6.505 * * * * [points]: Setting MPFR precision to 1088
6.585 * * * * [points]: Setting MPFR precision to 1344
6.720 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
7.049 * * * * [points]: Setting MPFR precision to 1088
7.294 * * * * [points]: Setting MPFR precision to 1344
7.486 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
7.493 * * * * [points]: Setting MPFR precision to 1088
7.644 * * * * [points]: Setting MPFR precision to 1344
7.941 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
7.944 * * * * [points]: Setting MPFR precision to 1088
8.153 * * * * [points]: Setting MPFR precision to 1344
8.822 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
8.826 * * * * [points]: Setting MPFR precision to 1088
9.247 * * * * [points]: Setting MPFR precision to 1344
11.937 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
11.984 * * * * [points]: Setting MPFR precision to 1088
13.922 * * * * [points]: Setting MPFR precision to 1344
18.128 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
18.153 * * * * [points]: Setting MPFR precision to 1088
21.331 * * * * [points]: Setting MPFR precision to 1344
26.681 * * * * [points]: Computing exacts for 8000 points
26.685 * * * * [points]: Setting MPFR precision to 1088
38.451 * * * * [points]: Setting MPFR precision to 1344
57.801 * * * * [points]: Filtering points with unrepresentable outputs
57.836 * * * * [points]: Sampling 3990 additional inputs, on iter 1 have 4010 / 8000
58.550 * * * * [points]: Computing exacts on every 249 of 3990 points to ramp up precision
58.555 * * * * [points]: Setting MPFR precision to 1088
58.562 * * * * [points]: Setting MPFR precision to 1344
58.570 * * * * [points]: Computing exacts on every 124 of 3990 points to ramp up precision
58.574 * * * * [points]: Setting MPFR precision to 1088
58.588 * * * * [points]: Setting MPFR precision to 1344
58.604 * * * * [points]: Computing exacts on every 62 of 3990 points to ramp up precision
58.608 * * * * [points]: Setting MPFR precision to 1088
58.633 * * * * [points]: Setting MPFR precision to 1344
58.663 * * * * [points]: Computing exacts on every 31 of 3990 points to ramp up precision
58.667 * * * * [points]: Setting MPFR precision to 1088
58.718 * * * * [points]: Setting MPFR precision to 1344
58.808 * * * * [points]: Computing exacts on every 15 of 3990 points to ramp up precision
58.813 * * * * [points]: Setting MPFR precision to 1088
59.116 * * * * [points]: Setting MPFR precision to 1344
59.263 * * * * [points]: Computing exacts on every 7 of 3990 points to ramp up precision
59.268 * * * * [points]: Setting MPFR precision to 1088
59.466 * * * * [points]: Setting MPFR precision to 1344
59.857 * * * * [points]: Computing exacts on every 3 of 3990 points to ramp up precision
59.861 * * * * [points]: Setting MPFR precision to 1088
61.561 * * * * [points]: Setting MPFR precision to 1344
65.460 * * * * [points]: Computing exacts for 3990 points
65.463 * * * * [points]: Setting MPFR precision to 1088
68.905 * * * * [points]: Setting MPFR precision to 1344
78.423 * * * * [points]: Filtering points with unrepresentable outputs
78.440 * * * * [points]: Sampling 1969 additional inputs, on iter 2 have 6031 / 8000
78.518 * * * * [points]: Computing exacts on every 123 of 1969 points to ramp up precision
78.605 * * * * [points]: Setting MPFR precision to 1088
78.671 * * * * [points]: Setting MPFR precision to 1344
78.722 * * * * [points]: Computing exacts on every 61 of 1969 points to ramp up precision
78.726 * * * * [points]: Setting MPFR precision to 1088
78.801 * * * * [points]: Setting MPFR precision to 1344
78.876 * * * * [points]: Computing exacts on every 30 of 1969 points to ramp up precision
78.888 * * * * [points]: Setting MPFR precision to 1088
78.978 * * * * [points]: Setting MPFR precision to 1344
79.060 * * * * [points]: Computing exacts on every 15 of 1969 points to ramp up precision
79.070 * * * * [points]: Setting MPFR precision to 1088
79.139 * * * * [points]: Setting MPFR precision to 1344
79.197 * * * * [points]: Computing exacts on every 7 of 1969 points to ramp up precision
79.201 * * * * [points]: Setting MPFR precision to 1088
79.298 * * * * [points]: Setting MPFR precision to 1344
80.120 * * * * [points]: Computing exacts on every 3 of 1969 points to ramp up precision
80.147 * * * * [points]: Setting MPFR precision to 1088
80.407 * * * * [points]: Setting MPFR precision to 1344
81.868 * * * * [points]: Computing exacts for 1969 points
81.877 * * * * [points]: Setting MPFR precision to 1088
86.303 * * * * [points]: Setting MPFR precision to 1344
89.632 * * * * [points]: Filtering points with unrepresentable outputs
89.644 * * * * [points]: Sampling 970 additional inputs, on iter 3 have 7030 / 8000
89.658 * * * * [points]: Computing exacts on every 60 of 970 points to ramp up precision
89.662 * * * * [points]: Setting MPFR precision to 1088
89.670 * * * * [points]: Setting MPFR precision to 1344
89.677 * * * * [points]: Computing exacts on every 30 of 970 points to ramp up precision
89.681 * * * * [points]: Setting MPFR precision to 1088
89.692 * * * * [points]: Setting MPFR precision to 1344
89.706 * * * * [points]: Computing exacts on every 15 of 970 points to ramp up precision
89.710 * * * * [points]: Setting MPFR precision to 1088
89.734 * * * * [points]: Setting MPFR precision to 1344
89.923 * * * * [points]: Computing exacts on every 7 of 970 points to ramp up precision
89.927 * * * * [points]: Setting MPFR precision to 1088
90.099 * * * * [points]: Setting MPFR precision to 1344
91.055 * * * * [points]: Computing exacts on every 3 of 970 points to ramp up precision
91.058 * * * * [points]: Setting MPFR precision to 1088
91.192 * * * * [points]: Setting MPFR precision to 1344
91.297 * * * * [points]: Computing exacts for 970 points
91.300 * * * * [points]: Setting MPFR precision to 1088
92.493 * * * * [points]: Setting MPFR precision to 1344
94.814 * * * * [points]: Filtering points with unrepresentable outputs
94.820 * * * * [points]: Sampling 484 additional inputs, on iter 4 have 7516 / 8000
94.831 * * * * [points]: Computing exacts on every 30 of 484 points to ramp up precision
94.836 * * * * [points]: Setting MPFR precision to 1088
94.856 * * * * [points]: Setting MPFR precision to 1344
94.871 * * * * [points]: Computing exacts on every 15 of 484 points to ramp up precision
94.875 * * * * [points]: Setting MPFR precision to 1088
95.418 * * * * [points]: Setting MPFR precision to 1344
95.435 * * * * [points]: Computing exacts on every 7 of 484 points to ramp up precision
95.463 * * * * [points]: Setting MPFR precision to 1088
95.512 * * * * [points]: Setting MPFR precision to 1344
95.570 * * * * [points]: Computing exacts on every 3 of 484 points to ramp up precision
95.581 * * * * [points]: Setting MPFR precision to 1088
95.664 * * * * [points]: Setting MPFR precision to 1344
95.711 * * * * [points]: Computing exacts for 484 points
95.715 * * * * [points]: Setting MPFR precision to 1088
97.153 * * * * [points]: Setting MPFR precision to 1344
97.491 * * * * [points]: Filtering points with unrepresentable outputs
97.493 * * * * [points]: Sampling 220 additional inputs, on iter 5 have 7780 / 8000
97.534 * * * * [points]: Computing exacts on every 13 of 220 points to ramp up precision
97.573 * * * * [points]: Setting MPFR precision to 1088
97.588 * * * * [points]: Setting MPFR precision to 1344
97.603 * * * * [points]: Computing exacts on every 6 of 220 points to ramp up precision
97.607 * * * * [points]: Setting MPFR precision to 1088
97.617 * * * * [points]: Setting MPFR precision to 1344
97.637 * * * * [points]: Computing exacts on every 3 of 220 points to ramp up precision
97.640 * * * * [points]: Setting MPFR precision to 1088
97.735 * * * * [points]: Setting MPFR precision to 1344
97.766 * * * * [points]: Computing exacts for 220 points
97.770 * * * * [points]: Setting MPFR precision to 1088
97.860 * * * * [points]: Setting MPFR precision to 1344
97.978 * * * * [points]: Filtering points with unrepresentable outputs
97.979 * * * * [points]: Sampling 97 additional inputs, on iter 6 have 7903 / 8000
97.981 * * * * [points]: Computing exacts on every 6 of 97 points to ramp up precision
97.985 * * * * [points]: Setting MPFR precision to 1088
97.991 * * * * [points]: Setting MPFR precision to 1344
97.996 * * * * [points]: Computing exacts on every 3 of 97 points to ramp up precision
97.999 * * * * [points]: Setting MPFR precision to 1088
98.011 * * * * [points]: Setting MPFR precision to 1344
98.058 * * * * [points]: Computing exacts for 97 points
98.062 * * * * [points]: Setting MPFR precision to 1088
98.101 * * * * [points]: Setting MPFR precision to 1344
98.208 * * * * [points]: Filtering points with unrepresentable outputs
98.209 * * * * [points]: Sampling 42 additional inputs, on iter 7 have 7958 / 8000
98.209 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
98.213 * * * * [points]: Setting MPFR precision to 1088
98.218 * * * * [points]: Setting MPFR precision to 1344
98.225 * * * * [points]: Computing exacts for 42 points
98.228 * * * * [points]: Setting MPFR precision to 1088
98.243 * * * * [points]: Setting MPFR precision to 1344
98.266 * * * * [points]: Filtering points with unrepresentable outputs
98.266 * * * * [points]: Sampling 19 additional inputs, on iter 8 have 7981 / 8000
98.266 * * * * [points]: Computing exacts for 19 points
98.270 * * * * [points]: Setting MPFR precision to 1088
98.281 * * * * [points]: Setting MPFR precision to 1344
98.290 * * * * [points]: Filtering points with unrepresentable outputs
98.291 * * * * [points]: Sampling 10 additional inputs, on iter 9 have 7990 / 8000
98.291 * * * * [points]: Computing exacts for 10 points
98.295 * * * * [points]: Setting MPFR precision to 1088
98.299 * * * * [points]: Setting MPFR precision to 1344
98.311 * * * * [points]: Filtering points with unrepresentable outputs
98.311 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000
98.311 * * * * [points]: Computing exacts for 4 points
98.316 * * * * [points]: Setting MPFR precision to 1088
98.318 * * * * [points]: Setting MPFR precision to 1344
98.335 * * * * [points]: Filtering points with unrepresentable outputs
98.336 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000
98.336 * * * * [points]: Computing exacts for 4 points
98.340 * * * * [points]: Setting MPFR precision to 1088
98.369 * * * * [points]: Setting MPFR precision to 1344
98.403 * * * * [points]: Filtering points with unrepresentable outputs
98.403 * * * * [points]: Sampled 8000 points with exact outputs
98.948 * [regime-testing]: Baseline error score: 43.5409448346753
98.967 * [regime-testing]: Oracle error score: 43.5409448346753
98.968 * [regime-testing]: End program error score: 43.5409448346753