0.740 * [progress]: [Phase 1 of 3] Setting up.
0.038 * * * [progress]: [1/2] Preparing points
0.039 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.049 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.121 * * * * [points]: Setting MPFR precision to 64
0.125 * * * * [points]: Setting MPFR precision to 320
0.130 * * * * [points]: Setting MPFR precision to 576
0.134 * * * * [points]: Setting MPFR precision to 832
0.138 * * * * [points]: Setting MPFR precision to 1088
0.145 * * * * [points]: Setting MPFR precision to 1344
0.151 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.154 * * * * [points]: Setting MPFR precision to 1088
0.160 * * * * [points]: Setting MPFR precision to 1344
0.168 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.170 * * * * [points]: Setting MPFR precision to 1088
0.181 * * * * [points]: Setting MPFR precision to 1344
0.195 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.198 * * * * [points]: Setting MPFR precision to 1088
0.222 * * * * [points]: Setting MPFR precision to 1344
0.311 * * * * [points]: Computing exacts for 256 points
0.315 * * * * [points]: Setting MPFR precision to 1088
0.414 * * * * [points]: Setting MPFR precision to 1344
0.497 * * * * [points]: Filtering points with unrepresentable outputs
0.498 * * * * [points]: Sampling 130 additional inputs, on iter 1 have 126 / 256
0.500 * * * * [points]: Computing exacts on every 8 of 130 points to ramp up precision
0.502 * * * * [points]: Setting MPFR precision to 1088
0.505 * * * * [points]: Setting MPFR precision to 1344
0.508 * * * * [points]: Computing exacts on every 4 of 130 points to ramp up precision
0.510 * * * * [points]: Setting MPFR precision to 1088
0.517 * * * * [points]: Setting MPFR precision to 1344
0.523 * * * * [points]: Computing exacts on every 2 of 130 points to ramp up precision
0.526 * * * * [points]: Setting MPFR precision to 1088
0.539 * * * * [points]: Setting MPFR precision to 1344
0.606 * * * * [points]: Computing exacts for 130 points
0.611 * * * * [points]: Setting MPFR precision to 1088
0.663 * * * * [points]: Setting MPFR precision to 1344
0.725 * * * * [points]: Filtering points with unrepresentable outputs
0.726 * * * * [points]: Sampling 74 additional inputs, on iter 2 have 182 / 256
0.728 * * * * [points]: Computing exacts on every 4 of 74 points to ramp up precision
0.732 * * * * [points]: Setting MPFR precision to 1088
0.736 * * * * [points]: Setting MPFR precision to 1344
0.740 * * * * [points]: Computing exacts on every 2 of 74 points to ramp up precision
0.742 * * * * [points]: Setting MPFR precision to 1088
0.746 * * * * [points]: Setting MPFR precision to 1344
0.752 * * * * [points]: Computing exacts for 74 points
0.754 * * * * [points]: Setting MPFR precision to 1088
0.768 * * * * [points]: Setting MPFR precision to 1344
0.800 * * * * [points]: Filtering points with unrepresentable outputs
0.801 * * * * [points]: Sampling 36 additional inputs, on iter 3 have 220 / 256
0.802 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
0.806 * * * * [points]: Setting MPFR precision to 1088
0.811 * * * * [points]: Setting MPFR precision to 1344
0.817 * * * * [points]: Computing exacts for 36 points
0.821 * * * * [points]: Setting MPFR precision to 1088
0.869 * * * * [points]: Setting MPFR precision to 1344
0.887 * * * * [points]: Filtering points with unrepresentable outputs
0.887 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256
0.887 * * * * [points]: Computing exacts for 15 points
0.889 * * * * [points]: Setting MPFR precision to 1088
0.892 * * * * [points]: Setting MPFR precision to 1344
0.897 * * * * [points]: Filtering points with unrepresentable outputs
0.897 * * * * [points]: Sampling 8 additional inputs, on iter 5 have 248 / 256
0.897 * * * * [points]: Computing exacts for 8 points
0.899 * * * * [points]: Setting MPFR precision to 1088
0.901 * * * * [points]: Setting MPFR precision to 1344
0.903 * * * * [points]: Filtering points with unrepresentable outputs
0.903 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256
0.903 * * * * [points]: Computing exacts for 4 points
0.905 * * * * [points]: Setting MPFR precision to 1088
0.906 * * * * [points]: Setting MPFR precision to 1344
0.907 * * * * [points]: Filtering points with unrepresentable outputs
0.907 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256
0.907 * * * * [points]: Computing exacts for 4 points
0.909 * * * * [points]: Setting MPFR precision to 1088
0.910 * * * * [points]: Setting MPFR precision to 1344
0.911 * * * * [points]: Filtering points with unrepresentable outputs
0.911 * * * * [points]: Sampled 256 points with exact outputs
0.911 * * * [progress]: [2/2] Setting up program.
0.914 * [progress]: [Phase 2 of 3] Improving.
0.916 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.932 * * [progress]: iteration 1 / 4
0.932 * * * [progress]: picking best candidate
0.934 * * * * [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.934 * * * [progress]: localizing error
1.089 * * * [progress]: generating rewritten candidates
1.089 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
1.093 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
1.093 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
1.094 * * * [progress]: generating series expansions
1.094 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
1.094 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
1.094 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
1.094 * * * [progress]: simplifying candidates
1.095 * [simplify]: Simplifying:
  (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.110 * * * [progress]: adding candidates to table
1.114 * [progress]: [Phase 3 of 3] Extracting.
1.116 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.135 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.326 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.329 * * * * [points]: Setting MPFR precision to 1088
1.335 * * * * [points]: Setting MPFR precision to 1344
1.342 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.346 * * * * [points]: Setting MPFR precision to 1088
1.357 * * * * [points]: Setting MPFR precision to 1344
1.365 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.368 * * * * [points]: Setting MPFR precision to 1088
1.379 * * * * [points]: Setting MPFR precision to 1344
1.402 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.407 * * * * [points]: Setting MPFR precision to 1088
1.473 * * * * [points]: Setting MPFR precision to 1344
1.535 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.538 * * * * [points]: Setting MPFR precision to 1088
1.590 * * * * [points]: Setting MPFR precision to 1344
1.712 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.716 * * * * [points]: Setting MPFR precision to 1088
1.921 * * * * [points]: Setting MPFR precision to 1344
2.091 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.093 * * * * [points]: Setting MPFR precision to 1088
2.816 * * * * [points]: Setting MPFR precision to 1344
3.259 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.264 * * * * [points]: Setting MPFR precision to 1088
4.030 * * * * [points]: Setting MPFR precision to 1344
4.943 * * * * [points]: Computing exacts for 8000 points
4.947 * * * * [points]: Setting MPFR precision to 1088
8.322 * * * * [points]: Setting MPFR precision to 1344
11.978 * * * * [points]: Filtering points with unrepresentable outputs
11.984 * * * * [points]: Sampling 4042 additional inputs, on iter 1 have 3958 / 8000
12.107 * * * * [points]: Computing exacts on every 252 of 4042 points to ramp up precision
12.113 * * * * [points]: Setting MPFR precision to 1088
12.118 * * * * [points]: Setting MPFR precision to 1344
12.125 * * * * [points]: Computing exacts on every 126 of 4042 points to ramp up precision
12.129 * * * * [points]: Setting MPFR precision to 1088
12.140 * * * * [points]: Setting MPFR precision to 1344
12.152 * * * * [points]: Computing exacts on every 63 of 4042 points to ramp up precision
12.154 * * * * [points]: Setting MPFR precision to 1088
12.166 * * * * [points]: Setting MPFR precision to 1344
12.187 * * * * [points]: Computing exacts on every 31 of 4042 points to ramp up precision
12.192 * * * * [points]: Setting MPFR precision to 1088
12.258 * * * * [points]: Setting MPFR precision to 1344
12.299 * * * * [points]: Computing exacts on every 15 of 4042 points to ramp up precision
12.301 * * * * [points]: Setting MPFR precision to 1088
12.402 * * * * [points]: Setting MPFR precision to 1344
12.495 * * * * [points]: Computing exacts on every 7 of 4042 points to ramp up precision
12.499 * * * * [points]: Setting MPFR precision to 1088
12.703 * * * * [points]: Setting MPFR precision to 1344
12.888 * * * * [points]: Computing exacts on every 3 of 4042 points to ramp up precision
12.892 * * * * [points]: Setting MPFR precision to 1088
13.303 * * * * [points]: Setting MPFR precision to 1344
14.160 * * * * [points]: Computing exacts for 4042 points
14.164 * * * * [points]: Setting MPFR precision to 1088
15.646 * * * * [points]: Setting MPFR precision to 1344
17.894 * * * * [points]: Filtering points with unrepresentable outputs
17.899 * * * * [points]: Sampling 2033 additional inputs, on iter 2 have 5967 / 8000
17.959 * * * * [points]: Computing exacts on every 127 of 2033 points to ramp up precision
17.964 * * * * [points]: Setting MPFR precision to 1088
17.971 * * * * [points]: Setting MPFR precision to 1344
17.979 * * * * [points]: Computing exacts on every 63 of 2033 points to ramp up precision
17.984 * * * * [points]: Setting MPFR precision to 1088
17.999 * * * * [points]: Setting MPFR precision to 1344
18.016 * * * * [points]: Computing exacts on every 31 of 2033 points to ramp up precision
18.021 * * * * [points]: Setting MPFR precision to 1088
18.047 * * * * [points]: Setting MPFR precision to 1344
18.066 * * * * [points]: Computing exacts on every 15 of 2033 points to ramp up precision
18.090 * * * * [points]: Setting MPFR precision to 1088
18.143 * * * * [points]: Setting MPFR precision to 1344
18.204 * * * * [points]: Computing exacts on every 7 of 2033 points to ramp up precision
18.208 * * * * [points]: Setting MPFR precision to 1088
18.307 * * * * [points]: Setting MPFR precision to 1344
18.435 * * * * [points]: Computing exacts on every 3 of 2033 points to ramp up precision
18.439 * * * * [points]: Setting MPFR precision to 1088
18.656 * * * * [points]: Setting MPFR precision to 1344
18.901 * * * * [points]: Computing exacts for 2033 points
18.903 * * * * [points]: Setting MPFR precision to 1088
19.617 * * * * [points]: Setting MPFR precision to 1344
20.603 * * * * [points]: Filtering points with unrepresentable outputs
20.607 * * * * [points]: Sampling 1000 additional inputs, on iter 3 have 7000 / 8000
20.625 * * * * [points]: Computing exacts on every 62 of 1000 points to ramp up precision
20.627 * * * * [points]: Setting MPFR precision to 1088
20.630 * * * * [points]: Setting MPFR precision to 1344
20.634 * * * * [points]: Computing exacts on every 31 of 1000 points to ramp up precision
20.636 * * * * [points]: Setting MPFR precision to 1088
20.643 * * * * [points]: Setting MPFR precision to 1344
20.652 * * * * [points]: Computing exacts on every 15 of 1000 points to ramp up precision
20.656 * * * * [points]: Setting MPFR precision to 1088
20.702 * * * * [points]: Setting MPFR precision to 1344
20.721 * * * * [points]: Computing exacts on every 7 of 1000 points to ramp up precision
20.724 * * * * [points]: Setting MPFR precision to 1088
20.772 * * * * [points]: Setting MPFR precision to 1344
20.822 * * * * [points]: Computing exacts on every 3 of 1000 points to ramp up precision
20.825 * * * * [points]: Setting MPFR precision to 1088
20.916 * * * * [points]: Setting MPFR precision to 1344
21.049 * * * * [points]: Computing exacts for 1000 points
21.104 * * * * [points]: Setting MPFR precision to 1088
21.484 * * * * [points]: Setting MPFR precision to 1344
22.290 * * * * [points]: Filtering points with unrepresentable outputs
22.291 * * * * [points]: Sampling 470 additional inputs, on iter 4 have 7530 / 8000
22.300 * * * * [points]: Computing exacts on every 29 of 470 points to ramp up precision
22.304 * * * * [points]: Setting MPFR precision to 1088
22.310 * * * * [points]: Setting MPFR precision to 1344
22.315 * * * * [points]: Computing exacts on every 14 of 470 points to ramp up precision
22.320 * * * * [points]: Setting MPFR precision to 1088
22.332 * * * * [points]: Setting MPFR precision to 1344
22.349 * * * * [points]: Computing exacts on every 7 of 470 points to ramp up precision
22.354 * * * * [points]: Setting MPFR precision to 1088
22.376 * * * * [points]: Setting MPFR precision to 1344
22.402 * * * * [points]: Computing exacts on every 3 of 470 points to ramp up precision
22.406 * * * * [points]: Setting MPFR precision to 1088
22.450 * * * * [points]: Setting MPFR precision to 1344
22.501 * * * * [points]: Computing exacts for 470 points
22.529 * * * * [points]: Setting MPFR precision to 1088
22.675 * * * * [points]: Setting MPFR precision to 1344
22.852 * * * * [points]: Filtering points with unrepresentable outputs
22.853 * * * * [points]: Sampling 232 additional inputs, on iter 5 have 7768 / 8000
22.859 * * * * [points]: Computing exacts on every 14 of 232 points to ramp up precision
22.912 * * * * [points]: Setting MPFR precision to 1088
22.917 * * * * [points]: Setting MPFR precision to 1344
22.924 * * * * [points]: Computing exacts on every 7 of 232 points to ramp up precision
22.926 * * * * [points]: Setting MPFR precision to 1088
22.932 * * * * [points]: Setting MPFR precision to 1344
22.938 * * * * [points]: Computing exacts on every 3 of 232 points to ramp up precision
22.940 * * * * [points]: Setting MPFR precision to 1088
22.953 * * * * [points]: Setting MPFR precision to 1344
22.969 * * * * [points]: Computing exacts for 232 points
22.971 * * * * [points]: Setting MPFR precision to 1088
23.042 * * * * [points]: Setting MPFR precision to 1344
23.118 * * * * [points]: Filtering points with unrepresentable outputs
23.118 * * * * [points]: Sampling 115 additional inputs, on iter 6 have 7885 / 8000
23.121 * * * * [points]: Computing exacts on every 7 of 115 points to ramp up precision
23.160 * * * * [points]: Setting MPFR precision to 1088
23.166 * * * * [points]: Setting MPFR precision to 1344
23.175 * * * * [points]: Computing exacts on every 3 of 115 points to ramp up precision
23.179 * * * * [points]: Setting MPFR precision to 1088
23.190 * * * * [points]: Setting MPFR precision to 1344
23.203 * * * * [points]: Computing exacts for 115 points
23.208 * * * * [points]: Setting MPFR precision to 1088
23.255 * * * * [points]: Setting MPFR precision to 1344
23.304 * * * * [points]: Filtering points with unrepresentable outputs
23.305 * * * * [points]: Sampling 50 additional inputs, on iter 7 have 7950 / 8000
23.305 * * * * [points]: Computing exacts on every 3 of 50 points to ramp up precision
23.308 * * * * [points]: Setting MPFR precision to 1088
23.311 * * * * [points]: Setting MPFR precision to 1344
23.314 * * * * [points]: Computing exacts for 50 points
23.318 * * * * [points]: Setting MPFR precision to 1088
23.336 * * * * [points]: Setting MPFR precision to 1344
23.352 * * * * [points]: Filtering points with unrepresentable outputs
23.352 * * * * [points]: Sampling 25 additional inputs, on iter 8 have 7975 / 8000
23.352 * * * * [points]: Computing exacts for 25 points
23.355 * * * * [points]: Setting MPFR precision to 1088
23.360 * * * * [points]: Setting MPFR precision to 1344
23.368 * * * * [points]: Filtering points with unrepresentable outputs
23.368 * * * * [points]: Sampling 16 additional inputs, on iter 9 have 7984 / 8000
23.368 * * * * [points]: Computing exacts for 16 points
23.371 * * * * [points]: Setting MPFR precision to 1088
23.377 * * * * [points]: Setting MPFR precision to 1344
23.414 * * * * [points]: Filtering points with unrepresentable outputs
23.414 * * * * [points]: Sampling 10 additional inputs, on iter 10 have 7990 / 8000
23.414 * * * * [points]: Computing exacts for 10 points
23.417 * * * * [points]: Setting MPFR precision to 1088
23.419 * * * * [points]: Setting MPFR precision to 1344
23.423 * * * * [points]: Filtering points with unrepresentable outputs
23.423 * * * * [points]: Sampling 6 additional inputs, on iter 11 have 7994 / 8000
23.423 * * * * [points]: Computing exacts for 6 points
23.426 * * * * [points]: Setting MPFR precision to 1088
23.427 * * * * [points]: Setting MPFR precision to 1344
23.429 * * * * [points]: Filtering points with unrepresentable outputs
23.429 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7996 / 8000
23.429 * * * * [points]: Computing exacts for 4 points
23.432 * * * * [points]: Setting MPFR precision to 1088
23.434 * * * * [points]: Setting MPFR precision to 1344
23.436 * * * * [points]: Filtering points with unrepresentable outputs
23.436 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7998 / 8000
23.436 * * * * [points]: Computing exacts for 4 points
23.440 * * * * [points]: Setting MPFR precision to 1088
23.442 * * * * [points]: Setting MPFR precision to 1344
23.445 * * * * [points]: Filtering points with unrepresentable outputs
23.445 * * * * [points]: Sampling 4 additional inputs, on iter 14 have 7999 / 8000
23.445 * * * * [points]: Computing exacts for 4 points
23.449 * * * * [points]: Setting MPFR precision to 1088
23.451 * * * * [points]: Setting MPFR precision to 1344
23.453 * * * * [points]: Filtering points with unrepresentable outputs
23.453 * * * * [points]: Sampled 8000 points with exact outputs
23.603 * [regime-testing]: Baseline error score: 43.727904947131066
23.607 * [regime-testing]: Oracle error score: 43.727904947131066
23.607 * [regime-testing]: End program error score: 43.727904947131066