0.997 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.004 * * * * [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.089 * * * * [points]: Setting MPFR precision to 64
0.094 * * * * [points]: Setting MPFR precision to 320
0.098 * * * * [points]: Setting MPFR precision to 576
0.102 * * * * [points]: Setting MPFR precision to 832
0.108 * * * * [points]: Setting MPFR precision to 1088
0.114 * * * * [points]: Setting MPFR precision to 1344
0.122 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.126 * * * * [points]: Setting MPFR precision to 1088
0.137 * * * * [points]: Setting MPFR precision to 1344
0.155 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.162 * * * * [points]: Setting MPFR precision to 1088
0.197 * * * * [points]: Setting MPFR precision to 1344
0.219 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.222 * * * * [points]: Setting MPFR precision to 1088
0.314 * * * * [points]: Setting MPFR precision to 1344
0.385 * * * * [points]: Computing exacts for 256 points
0.389 * * * * [points]: Setting MPFR precision to 1088
0.486 * * * * [points]: Setting MPFR precision to 1344
0.599 * * * * [points]: Filtering points with unrepresentable outputs
0.601 * * * * [points]: Sampling 138 additional inputs, on iter 1 have 118 / 256
0.604 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision
0.609 * * * * [points]: Setting MPFR precision to 1088
0.615 * * * * [points]: Setting MPFR precision to 1344
0.622 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision
0.626 * * * * [points]: Setting MPFR precision to 1088
0.636 * * * * [points]: Setting MPFR precision to 1344
0.648 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision
0.702 * * * * [points]: Setting MPFR precision to 1088
0.728 * * * * [points]: Setting MPFR precision to 1344
0.749 * * * * [points]: Computing exacts for 138 points
0.753 * * * * [points]: Setting MPFR precision to 1088
0.809 * * * * [points]: Setting MPFR precision to 1344
0.879 * * * * [points]: Filtering points with unrepresentable outputs
0.879 * * * * [points]: Sampling 84 additional inputs, on iter 2 have 172 / 256
0.881 * * * * [points]: Computing exacts on every 5 of 84 points to ramp up precision
0.885 * * * * [points]: Setting MPFR precision to 1088
0.890 * * * * [points]: Setting MPFR precision to 1344
0.897 * * * * [points]: Computing exacts on every 2 of 84 points to ramp up precision
0.902 * * * * [points]: Setting MPFR precision to 1088
0.913 * * * * [points]: Setting MPFR precision to 1344
0.927 * * * * [points]: Computing exacts for 84 points
0.931 * * * * [points]: Setting MPFR precision to 1088
0.965 * * * * [points]: Setting MPFR precision to 1344
1.005 * * * * [points]: Filtering points with unrepresentable outputs
1.005 * * * * [points]: Sampling 52 additional inputs, on iter 3 have 204 / 256
1.007 * * * * [points]: Computing exacts on every 3 of 52 points to ramp up precision
1.011 * * * * [points]: Setting MPFR precision to 1088
1.083 * * * * [points]: Setting MPFR precision to 1344
1.093 * * * * [points]: Computing exacts for 52 points
1.112 * * * * [points]: Setting MPFR precision to 1088
1.140 * * * * [points]: Setting MPFR precision to 1344
1.168 * * * * [points]: Filtering points with unrepresentable outputs
1.169 * * * * [points]: Sampling 26 additional inputs, on iter 4 have 230 / 256
1.169 * * * * [points]: Computing exacts for 26 points
1.173 * * * * [points]: Setting MPFR precision to 1088
1.183 * * * * [points]: Setting MPFR precision to 1344
1.196 * * * * [points]: Filtering points with unrepresentable outputs
1.196 * * * * [points]: Sampling 16 additional inputs, on iter 5 have 240 / 256
1.196 * * * * [points]: Computing exacts for 16 points
1.201 * * * * [points]: Setting MPFR precision to 1088
1.208 * * * * [points]: Setting MPFR precision to 1344
1.216 * * * * [points]: Filtering points with unrepresentable outputs
1.216 * * * * [points]: Sampling 8 additional inputs, on iter 6 have 248 / 256
1.216 * * * * [points]: Computing exacts for 8 points
1.221 * * * * [points]: Setting MPFR precision to 1088
1.224 * * * * [points]: Setting MPFR precision to 1344
1.228 * * * * [points]: Filtering points with unrepresentable outputs
1.228 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 252 / 256
1.228 * * * * [points]: Computing exacts for 4 points
1.232 * * * * [points]: Setting MPFR precision to 1088
1.234 * * * * [points]: Setting MPFR precision to 1344
1.236 * * * * [points]: Filtering points with unrepresentable outputs
1.236 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256
1.236 * * * * [points]: Computing exacts for 4 points
1.240 * * * * [points]: Setting MPFR precision to 1088
1.242 * * * * [points]: Setting MPFR precision to 1344
1.243 * * * * [points]: Filtering points with unrepresentable outputs
1.243 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 255 / 256
1.243 * * * * [points]: Computing exacts for 4 points
1.247 * * * * [points]: Setting MPFR precision to 1088
1.250 * * * * [points]: Setting MPFR precision to 1344
1.252 * * * * [points]: Filtering points with unrepresentable outputs
1.252 * * * * [points]: Sampled 257 points with exact outputs
1.252 * * * [progress]: [2/2] Setting up program.
1.262 * [progress]: [Phase 2 of 3] Improving.
1.266 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.267 * * [simplify]: iteration 0: 12 enodes
1.276 * * [simplify]: iteration 1: 16 enodes
1.280 * * [simplify]: iteration complete: 16 enodes
1.280 * * [simplify]: Extracting #0: cost 1 inf + 0
1.280 * * [simplify]: Extracting #1: cost 2 inf + 0
1.280 * * [simplify]: Extracting #2: cost 4 inf + 0
1.280 * * [simplify]: Extracting #3: cost 8 inf + 0
1.283 * * [simplify]: Extracting #4: cost 7 inf + 4
1.283 * * [simplify]: Extracting #5: cost 11 inf + 4
1.283 * * [simplify]: Extracting #6: cost 7 inf + 49
1.283 * * [simplify]: Extracting #7: cost 3 inf + 396
1.283 * * [simplify]: Extracting #8: cost 0 inf + 2186
1.284 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.301 * * [progress]: iteration 1 / 4
1.302 * * * [progress]: picking best candidate
1.310 * * * * [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.310 * * * [progress]: localizing error
1.494 * * * [progress]: generating rewritten candidates
1.494 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.515 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
1.515 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.516 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.523 * * * [progress]: generating series expansions
1.523 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.523 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
1.523 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.524 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.524 * * * [progress]: simplifying candidates
1.524 * [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.525 * * [simplify]: iteration 0: 14 enodes
1.528 * * [simplify]: iteration 1: 21 enodes
1.533 * * [simplify]: iteration complete: 21 enodes
1.533 * * [simplify]: Extracting #0: cost 3 inf + 0
1.533 * * [simplify]: Extracting #1: cost 8 inf + 0
1.533 * * [simplify]: Extracting #2: cost 12 inf + 0
1.533 * * [simplify]: Extracting #3: cost 8 inf + 168
1.533 * * [simplify]: Extracting #4: cost 12 inf + 168
1.534 * * [simplify]: Extracting #5: cost 8 inf + 213
1.534 * * [simplify]: Extracting #6: cost 4 inf + 560
1.534 * * [simplify]: Extracting #7: cost 0 inf + 2732
1.535 * [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)))
1.535 * * * [progress]: adding candidates to table
1.556 * [progress]: [Phase 3 of 3] Extracting.
1.585 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.586 * * [simplify]: iteration 0: 12 enodes
1.587 * * [simplify]: iteration 1: 13 enodes
1.587 * * [simplify]: iteration complete: 13 enodes
1.588 * * [simplify]: Extracting #0: cost 1 inf + 0
1.588 * * [simplify]: Extracting #1: cost 2 inf + 0
1.588 * * [simplify]: Extracting #2: cost 4 inf + 0
1.588 * * [simplify]: Extracting #3: cost 8 inf + 0
1.588 * * [simplify]: Extracting #4: cost 7 inf + 4
1.588 * * [simplify]: Extracting #5: cost 9 inf + 4
1.588 * * [simplify]: Extracting #6: cost 6 inf + 8
1.588 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.588 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.589 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.749 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.753 * * * * [points]: Setting MPFR precision to 1088
1.760 * * * * [points]: Setting MPFR precision to 1344
1.766 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.770 * * * * [points]: Setting MPFR precision to 1088
1.789 * * * * [points]: Setting MPFR precision to 1344
1.808 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.812 * * * * [points]: Setting MPFR precision to 1088
1.839 * * * * [points]: Setting MPFR precision to 1344
1.871 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.875 * * * * [points]: Setting MPFR precision to 1088
1.928 * * * * [points]: Setting MPFR precision to 1344
1.995 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
2.000 * * * * [points]: Setting MPFR precision to 1088
2.142 * * * * [points]: Setting MPFR precision to 1344
2.248 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
2.252 * * * * [points]: Setting MPFR precision to 1088
2.525 * * * * [points]: Setting MPFR precision to 1344
2.774 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.780 * * * * [points]: Setting MPFR precision to 1088
3.259 * * * * [points]: Setting MPFR precision to 1344
4.280 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
4.284 * * * * [points]: Setting MPFR precision to 1088
5.223 * * * * [points]: Setting MPFR precision to 1344
6.385 * * * * [points]: Computing exacts for 8000 points
6.389 * * * * [points]: Setting MPFR precision to 1088
10.780 * * * * [points]: Setting MPFR precision to 1344
15.851 * * * * [points]: Filtering points with unrepresentable outputs
15.876 * * * * [points]: Sampling 3990 additional inputs, on iter 1 have 4010 / 8000
15.960 * * * * [points]: Computing exacts on every 249 of 3990 points to ramp up precision
15.965 * * * * [points]: Setting MPFR precision to 1088
15.972 * * * * [points]: Setting MPFR precision to 1344
15.978 * * * * [points]: Computing exacts on every 124 of 3990 points to ramp up precision
15.983 * * * * [points]: Setting MPFR precision to 1088
15.996 * * * * [points]: Setting MPFR precision to 1344
16.011 * * * * [points]: Computing exacts on every 62 of 3990 points to ramp up precision
16.015 * * * * [points]: Setting MPFR precision to 1088
16.040 * * * * [points]: Setting MPFR precision to 1344
16.076 * * * * [points]: Computing exacts on every 31 of 3990 points to ramp up precision
16.080 * * * * [points]: Setting MPFR precision to 1088
16.132 * * * * [points]: Setting MPFR precision to 1344
16.200 * * * * [points]: Computing exacts on every 15 of 3990 points to ramp up precision
16.204 * * * * [points]: Setting MPFR precision to 1088
16.356 * * * * [points]: Setting MPFR precision to 1344
16.494 * * * * [points]: Computing exacts on every 7 of 3990 points to ramp up precision
16.498 * * * * [points]: Setting MPFR precision to 1088
16.708 * * * * [points]: Setting MPFR precision to 1344
17.048 * * * * [points]: Computing exacts on every 3 of 3990 points to ramp up precision
17.052 * * * * [points]: Setting MPFR precision to 1088
17.528 * * * * [points]: Setting MPFR precision to 1344
18.635 * * * * [points]: Computing exacts for 3990 points
18.639 * * * * [points]: Setting MPFR precision to 1088
20.716 * * * * [points]: Setting MPFR precision to 1344
23.870 * * * * [points]: Filtering points with unrepresentable outputs
23.920 * * * * [points]: Sampling 1969 additional inputs, on iter 2 have 6031 / 8000
23.947 * * * * [points]: Computing exacts on every 123 of 1969 points to ramp up precision
23.951 * * * * [points]: Setting MPFR precision to 1088
23.957 * * * * [points]: Setting MPFR precision to 1344
23.965 * * * * [points]: Computing exacts on every 61 of 1969 points to ramp up precision
23.969 * * * * [points]: Setting MPFR precision to 1088
23.981 * * * * [points]: Setting MPFR precision to 1344
23.996 * * * * [points]: Computing exacts on every 30 of 1969 points to ramp up precision
24.000 * * * * [points]: Setting MPFR precision to 1088
24.024 * * * * [points]: Setting MPFR precision to 1344
24.054 * * * * [points]: Computing exacts on every 15 of 1969 points to ramp up precision
24.090 * * * * [points]: Setting MPFR precision to 1088
24.145 * * * * [points]: Setting MPFR precision to 1344
24.213 * * * * [points]: Computing exacts on every 7 of 1969 points to ramp up precision
24.218 * * * * [points]: Setting MPFR precision to 1088
24.326 * * * * [points]: Setting MPFR precision to 1344
24.452 * * * * [points]: Computing exacts on every 3 of 1969 points to ramp up precision
24.456 * * * * [points]: Setting MPFR precision to 1088
24.728 * * * * [points]: Setting MPFR precision to 1344
25.016 * * * * [points]: Computing exacts for 1969 points
25.080 * * * * [points]: Setting MPFR precision to 1088
26.061 * * * * [points]: Setting MPFR precision to 1344
27.163 * * * * [points]: Filtering points with unrepresentable outputs
27.172 * * * * [points]: Sampling 970 additional inputs, on iter 3 have 7030 / 8000
27.192 * * * * [points]: Computing exacts on every 60 of 970 points to ramp up precision
27.196 * * * * [points]: Setting MPFR precision to 1088
27.204 * * * * [points]: Setting MPFR precision to 1344
27.211 * * * * [points]: Computing exacts on every 30 of 970 points to ramp up precision
27.215 * * * * [points]: Setting MPFR precision to 1088
27.227 * * * * [points]: Setting MPFR precision to 1344
27.242 * * * * [points]: Computing exacts on every 15 of 970 points to ramp up precision
27.246 * * * * [points]: Setting MPFR precision to 1088
27.272 * * * * [points]: Setting MPFR precision to 1344
27.351 * * * * [points]: Computing exacts on every 7 of 970 points to ramp up precision
27.354 * * * * [points]: Setting MPFR precision to 1088
27.401 * * * * [points]: Setting MPFR precision to 1344
27.469 * * * * [points]: Computing exacts on every 3 of 970 points to ramp up precision
27.473 * * * * [points]: Setting MPFR precision to 1088
27.578 * * * * [points]: Setting MPFR precision to 1344
27.792 * * * * [points]: Computing exacts for 970 points
27.797 * * * * [points]: Setting MPFR precision to 1088
28.393 * * * * [points]: Setting MPFR precision to 1344
29.467 * * * * [points]: Filtering points with unrepresentable outputs
29.471 * * * * [points]: Sampling 484 additional inputs, on iter 4 have 7516 / 8000
29.480 * * * * [points]: Computing exacts on every 30 of 484 points to ramp up precision
29.485 * * * * [points]: Setting MPFR precision to 1088
29.492 * * * * [points]: Setting MPFR precision to 1344
29.500 * * * * [points]: Computing exacts on every 15 of 484 points to ramp up precision
29.505 * * * * [points]: Setting MPFR precision to 1088
29.517 * * * * [points]: Setting MPFR precision to 1344
29.531 * * * * [points]: Computing exacts on every 7 of 484 points to ramp up precision
29.535 * * * * [points]: Setting MPFR precision to 1088
29.561 * * * * [points]: Setting MPFR precision to 1344
29.590 * * * * [points]: Computing exacts on every 3 of 484 points to ramp up precision
29.594 * * * * [points]: Setting MPFR precision to 1088
29.644 * * * * [points]: Setting MPFR precision to 1344
29.697 * * * * [points]: Computing exacts for 484 points
29.702 * * * * [points]: Setting MPFR precision to 1088
29.959 * * * * [points]: Setting MPFR precision to 1344
30.281 * * * * [points]: Filtering points with unrepresentable outputs
30.283 * * * * [points]: Sampling 220 additional inputs, on iter 5 have 7780 / 8000
30.286 * * * * [points]: Computing exacts on every 13 of 220 points to ramp up precision
30.290 * * * * [points]: Setting MPFR precision to 1088
30.299 * * * * [points]: Setting MPFR precision to 1344
30.306 * * * * [points]: Computing exacts on every 6 of 220 points to ramp up precision
30.311 * * * * [points]: Setting MPFR precision to 1088
30.327 * * * * [points]: Setting MPFR precision to 1344
30.348 * * * * [points]: Computing exacts on every 3 of 220 points to ramp up precision
30.352 * * * * [points]: Setting MPFR precision to 1088
30.377 * * * * [points]: Setting MPFR precision to 1344
30.409 * * * * [points]: Computing exacts for 220 points
30.413 * * * * [points]: Setting MPFR precision to 1088
30.510 * * * * [points]: Setting MPFR precision to 1344
30.617 * * * * [points]: Filtering points with unrepresentable outputs
30.618 * * * * [points]: Sampling 97 additional inputs, on iter 6 have 7903 / 8000
30.620 * * * * [points]: Computing exacts on every 6 of 97 points to ramp up precision
30.705 * * * * [points]: Setting MPFR precision to 1088
30.711 * * * * [points]: Setting MPFR precision to 1344
30.719 * * * * [points]: Computing exacts on every 3 of 97 points to ramp up precision
30.723 * * * * [points]: Setting MPFR precision to 1088
30.734 * * * * [points]: Setting MPFR precision to 1344
30.745 * * * * [points]: Computing exacts for 97 points
30.750 * * * * [points]: Setting MPFR precision to 1088
30.791 * * * * [points]: Setting MPFR precision to 1344
30.838 * * * * [points]: Filtering points with unrepresentable outputs
30.838 * * * * [points]: Sampling 42 additional inputs, on iter 7 have 7958 / 8000
30.839 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
30.844 * * * * [points]: Setting MPFR precision to 1088
30.849 * * * * [points]: Setting MPFR precision to 1344
30.856 * * * * [points]: Computing exacts for 42 points
30.860 * * * * [points]: Setting MPFR precision to 1088
30.877 * * * * [points]: Setting MPFR precision to 1344
30.899 * * * * [points]: Filtering points with unrepresentable outputs
30.899 * * * * [points]: Sampling 19 additional inputs, on iter 8 have 7981 / 8000
30.899 * * * * [points]: Computing exacts for 19 points
30.904 * * * * [points]: Setting MPFR precision to 1088
30.912 * * * * [points]: Setting MPFR precision to 1344
30.922 * * * * [points]: Filtering points with unrepresentable outputs
30.922 * * * * [points]: Sampling 10 additional inputs, on iter 9 have 7990 / 8000
30.922 * * * * [points]: Computing exacts for 10 points
30.927 * * * * [points]: Setting MPFR precision to 1088
30.932 * * * * [points]: Setting MPFR precision to 1344
30.939 * * * * [points]: Filtering points with unrepresentable outputs
30.939 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000
30.939 * * * * [points]: Computing exacts for 4 points
30.943 * * * * [points]: Setting MPFR precision to 1088
30.944 * * * * [points]: Setting MPFR precision to 1344
30.945 * * * * [points]: Filtering points with unrepresentable outputs
30.945 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000
30.945 * * * * [points]: Computing exacts for 4 points
30.947 * * * * [points]: Setting MPFR precision to 1088
30.948 * * * * [points]: Setting MPFR precision to 1344
30.951 * * * * [points]: Filtering points with unrepresentable outputs
30.951 * * * * [points]: Sampled 8000 points with exact outputs
31.484 * [regime-testing]: Baseline error score: 43.5409448346753
31.496 * [regime-testing]: Oracle error score: 43.5409448346753
31.497 * [regime-testing]: End program error score: 43.5409448346753