0.758 * [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.008 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.068 * * * * [points]: Setting MPFR precision to 64
0.072 * * * * [points]: Setting MPFR precision to 320
0.075 * * * * [points]: Setting MPFR precision to 576
0.078 * * * * [points]: Setting MPFR precision to 832
0.083 * * * * [points]: Setting MPFR precision to 1088
0.091 * * * * [points]: Setting MPFR precision to 1344
0.132 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.142 * * * * [points]: Setting MPFR precision to 1088
0.154 * * * * [points]: Setting MPFR precision to 1344
0.168 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.173 * * * * [points]: Setting MPFR precision to 1088
0.230 * * * * [points]: Setting MPFR precision to 1344
0.256 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.298 * * * * [points]: Setting MPFR precision to 1088
0.385 * * * * [points]: Setting MPFR precision to 1344
0.412 * * * * [points]: Computing exacts for 256 points
0.416 * * * * [points]: Setting MPFR precision to 1088
0.476 * * * * [points]: Setting MPFR precision to 1344
0.547 * * * * [points]: Filtering points with unrepresentable outputs
0.548 * * * * [points]: Sampling 123 additional inputs, on iter 1 have 133 / 256
0.549 * * * * [points]: Computing exacts on every 7 of 123 points to ramp up precision
0.552 * * * * [points]: Setting MPFR precision to 1088
0.557 * * * * [points]: Setting MPFR precision to 1344
0.562 * * * * [points]: Computing exacts on every 3 of 123 points to ramp up precision
0.564 * * * * [points]: Setting MPFR precision to 1088
0.572 * * * * [points]: Setting MPFR precision to 1344
0.581 * * * * [points]: Computing exacts for 123 points
0.616 * * * * [points]: Setting MPFR precision to 1088
0.646 * * * * [points]: Setting MPFR precision to 1344
0.683 * * * * [points]: Filtering points with unrepresentable outputs
0.683 * * * * [points]: Sampling 60 additional inputs, on iter 2 have 196 / 256
0.684 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
0.686 * * * * [points]: Setting MPFR precision to 1088
0.689 * * * * [points]: Setting MPFR precision to 1344
0.693 * * * * [points]: Computing exacts for 60 points
0.696 * * * * [points]: Setting MPFR precision to 1088
0.708 * * * * [points]: Setting MPFR precision to 1344
0.724 * * * * [points]: Filtering points with unrepresentable outputs
0.724 * * * * [points]: Sampling 31 additional inputs, on iter 3 have 225 / 256
0.724 * * * * [points]: Computing exacts for 31 points
0.727 * * * * [points]: Setting MPFR precision to 1088
0.734 * * * * [points]: Setting MPFR precision to 1344
0.744 * * * * [points]: Filtering points with unrepresentable outputs
0.744 * * * * [points]: Sampling 11 additional inputs, on iter 4 have 245 / 256
0.744 * * * * [points]: Computing exacts for 11 points
0.748 * * * * [points]: Setting MPFR precision to 1088
0.753 * * * * [points]: Setting MPFR precision to 1344
0.761 * * * * [points]: Filtering points with unrepresentable outputs
0.761 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256
0.761 * * * * [points]: Computing exacts for 7 points
0.767 * * * * [points]: Setting MPFR precision to 1088
0.769 * * * * [points]: Setting MPFR precision to 1344
0.773 * * * * [points]: Filtering points with unrepresentable outputs
0.774 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.774 * * * * [points]: Computing exacts for 4 points
0.779 * * * * [points]: Setting MPFR precision to 1088
0.807 * * * * [points]: Setting MPFR precision to 1344
0.808 * * * * [points]: Filtering points with unrepresentable outputs
0.808 * * * * [points]: Sampled 256 points with exact outputs
0.808 * * * [progress]: [2/2] Setting up program.
0.813 * [progress]: [Phase 2 of 3] Improving.
0.816 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.820 * * [simplify]: Extracting # 0 : cost  0
0.820 * * [simplify]: Extracting # 1 : cost  0
0.820 * * [simplify]: Extracting # 2 : cost  0
0.820 * * [simplify]: Extracting # 3 : cost  0
0.820 * * [simplify]: Extracting # 4 : cost  0
0.820 * * [simplify]: Extracting # 5 : cost  0
0.820 * * [simplify]: Extracting # 6 : cost  0
0.820 * * [simplify]: Extracting # 7 : cost  0
0.820 * * [simplify]: iteration  0 :  12  enodes  (cost  15 )
0.825 * * [simplify]: Extracting # 0 : cost  0
0.825 * * [simplify]: Extracting # 1 : cost  0
0.825 * * [simplify]: Extracting # 2 : cost  0
0.825 * * [simplify]: iteration  1 :  16  enodes  (cost  15 )
0.830 * * [simplify]: Extracting # 0 : cost  0
0.830 * * [simplify]: iteration done:  16  enodes  (cost  15 )
0.830 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.831 * * [progress]: iteration 1 / 4
0.831 * * * [progress]: picking best candidate
0.833 * * * * [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.833 * * * [progress]: localizing error
0.990 * * * [progress]: generating rewritten candidates
0.991 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.997 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.997 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.997 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.005 * * * [progress]: generating series expansions
1.005 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.005 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.005 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.005 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.006 * * * [progress]: simplifying candidates
1.006 * [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.007 * * [simplify]: Extracting # 0 : cost  0
1.007 * * [simplify]: Extracting # 1 : cost  0
1.007 * * [simplify]: Extracting # 2 : cost  0
1.007 * * [simplify]: Extracting # 3 : cost  0
1.007 * * [simplify]: Extracting # 4 : cost  0
1.007 * * [simplify]: Extracting # 5 : cost  0
1.007 * * [simplify]: Extracting # 6 : cost  0
1.007 * * [simplify]: Extracting # 7 : cost  0
1.007 * * [simplify]: iteration  0 :  14  enodes  (cost  75 )
1.010 * * [simplify]: Extracting # 0 : cost  0
1.010 * * [simplify]: Extracting # 1 : cost  0
1.010 * * [simplify]: Extracting # 2 : cost  0
1.010 * * [simplify]: iteration  1 :  21  enodes  (cost  75 )
1.015 * * [simplify]: Extracting # 0 : cost  0
1.015 * * [simplify]: iteration done:  21  enodes  (cost  75 )
1.015 * [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.015 * * * [progress]: adding candidates to table
1.055 * [progress]: [Phase 3 of 3] Extracting.
1.061 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.061 * * [simplify]: Extracting # 0 : cost  0
1.061 * * [simplify]: Extracting # 1 : cost  0
1.061 * * [simplify]: Extracting # 2 : cost  0
1.061 * * [simplify]: Extracting # 3 : cost  0
1.061 * * [simplify]: Extracting # 4 : cost  0
1.061 * * [simplify]: Extracting # 5 : cost  0
1.062 * * [simplify]: Extracting # 6 : cost  0
1.062 * * [simplify]: Extracting # 7 : cost  0
1.062 * * [simplify]: iteration  0 :  12  enodes  (cost  15 )
1.063 * * [simplify]: Extracting # 0 : cost  0
1.063 * * [simplify]: iteration  1 :  13  enodes  (cost  15 )
1.064 * * [simplify]: Extracting # 0 : cost  0
1.064 * * [simplify]: iteration done:  13  enodes  (cost  15 )
1.064 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.064 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.180 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.185 * * * * [points]: Setting MPFR precision to 1088
1.192 * * * * [points]: Setting MPFR precision to 1344
1.199 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.203 * * * * [points]: Setting MPFR precision to 1088
1.218 * * * * [points]: Setting MPFR precision to 1344
1.224 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.227 * * * * [points]: Setting MPFR precision to 1088
1.249 * * * * [points]: Setting MPFR precision to 1344
1.266 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.269 * * * * [points]: Setting MPFR precision to 1088
1.317 * * * * [points]: Setting MPFR precision to 1344
1.366 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.369 * * * * [points]: Setting MPFR precision to 1088
1.428 * * * * [points]: Setting MPFR precision to 1344
1.523 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.526 * * * * [points]: Setting MPFR precision to 1088
1.639 * * * * [points]: Setting MPFR precision to 1344
1.902 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.907 * * * * [points]: Setting MPFR precision to 1088
2.343 * * * * [points]: Setting MPFR precision to 1344
3.193 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.197 * * * * [points]: Setting MPFR precision to 1088
3.930 * * * * [points]: Setting MPFR precision to 1344
4.804 * * * * [points]: Computing exacts for 8000 points
4.807 * * * * [points]: Setting MPFR precision to 1088
8.285 * * * * [points]: Setting MPFR precision to 1344
12.252 * * * * [points]: Filtering points with unrepresentable outputs
12.264 * * * * [points]: Sampling 3925 additional inputs, on iter 1 have 4075 / 8000
12.316 * * * * [points]: Computing exacts on every 245 of 3925 points to ramp up precision
12.335 * * * * [points]: Setting MPFR precision to 1088
12.338 * * * * [points]: Setting MPFR precision to 1344
12.341 * * * * [points]: Computing exacts on every 122 of 3925 points to ramp up precision
12.344 * * * * [points]: Setting MPFR precision to 1088
12.350 * * * * [points]: Setting MPFR precision to 1344
12.357 * * * * [points]: Computing exacts on every 61 of 3925 points to ramp up precision
12.362 * * * * [points]: Setting MPFR precision to 1088
12.389 * * * * [points]: Setting MPFR precision to 1344
12.424 * * * * [points]: Computing exacts on every 30 of 3925 points to ramp up precision
12.429 * * * * [points]: Setting MPFR precision to 1088
12.471 * * * * [points]: Setting MPFR precision to 1344
12.507 * * * * [points]: Computing exacts on every 15 of 3925 points to ramp up precision
12.512 * * * * [points]: Setting MPFR precision to 1088
12.615 * * * * [points]: Setting MPFR precision to 1344
12.710 * * * * [points]: Computing exacts on every 7 of 3925 points to ramp up precision
12.716 * * * * [points]: Setting MPFR precision to 1088
12.891 * * * * [points]: Setting MPFR precision to 1344
13.124 * * * * [points]: Computing exacts on every 3 of 3925 points to ramp up precision
13.130 * * * * [points]: Setting MPFR precision to 1088
13.481 * * * * [points]: Setting MPFR precision to 1344
13.861 * * * * [points]: Computing exacts for 3925 points
13.866 * * * * [points]: Setting MPFR precision to 1088
15.602 * * * * [points]: Setting MPFR precision to 1344
17.410 * * * * [points]: Filtering points with unrepresentable outputs
17.413 * * * * [points]: Sampling 1963 additional inputs, on iter 2 have 6037 / 8000
17.431 * * * * [points]: Computing exacts on every 122 of 1963 points to ramp up precision
17.434 * * * * [points]: Setting MPFR precision to 1088
17.437 * * * * [points]: Setting MPFR precision to 1344
17.441 * * * * [points]: Computing exacts on every 61 of 1963 points to ramp up precision
17.443 * * * * [points]: Setting MPFR precision to 1088
17.453 * * * * [points]: Setting MPFR precision to 1344
17.470 * * * * [points]: Computing exacts on every 30 of 1963 points to ramp up precision
17.475 * * * * [points]: Setting MPFR precision to 1088
17.499 * * * * [points]: Setting MPFR precision to 1344
18.021 * * * * [points]: Computing exacts on every 15 of 1963 points to ramp up precision
18.026 * * * * [points]: Setting MPFR precision to 1088
18.063 * * * * [points]: Setting MPFR precision to 1344
18.106 * * * * [points]: Computing exacts on every 7 of 1963 points to ramp up precision
18.111 * * * * [points]: Setting MPFR precision to 1088
18.177 * * * * [points]: Setting MPFR precision to 1344
18.267 * * * * [points]: Computing exacts on every 3 of 1963 points to ramp up precision
18.319 * * * * [points]: Setting MPFR precision to 1088
18.519 * * * * [points]: Setting MPFR precision to 1344
18.816 * * * * [points]: Computing exacts for 1963 points
18.826 * * * * [points]: Setting MPFR precision to 1088
19.560 * * * * [points]: Setting MPFR precision to 1344
20.460 * * * * [points]: Filtering points with unrepresentable outputs
20.463 * * * * [points]: Sampling 1000 additional inputs, on iter 3 have 7000 / 8000
20.473 * * * * [points]: Computing exacts on every 62 of 1000 points to ramp up precision
20.476 * * * * [points]: Setting MPFR precision to 1088
20.480 * * * * [points]: Setting MPFR precision to 1344
20.485 * * * * [points]: Computing exacts on every 31 of 1000 points to ramp up precision
20.488 * * * * [points]: Setting MPFR precision to 1088
20.495 * * * * [points]: Setting MPFR precision to 1344
20.505 * * * * [points]: Computing exacts on every 15 of 1000 points to ramp up precision
20.508 * * * * [points]: Setting MPFR precision to 1088
20.523 * * * * [points]: Setting MPFR precision to 1344
20.545 * * * * [points]: Computing exacts on every 7 of 1000 points to ramp up precision
20.550 * * * * [points]: Setting MPFR precision to 1088
20.637 * * * * [points]: Setting MPFR precision to 1344
20.672 * * * * [points]: Computing exacts on every 3 of 1000 points to ramp up precision
20.675 * * * * [points]: Setting MPFR precision to 1088
20.729 * * * * [points]: Setting MPFR precision to 1344
20.839 * * * * [points]: Computing exacts for 1000 points
20.844 * * * * [points]: Setting MPFR precision to 1088
21.283 * * * * [points]: Setting MPFR precision to 1344
22.273 * * * * [points]: Filtering points with unrepresentable outputs
22.274 * * * * [points]: Sampling 485 additional inputs, on iter 4 have 7515 / 8000
22.279 * * * * [points]: Computing exacts on every 30 of 485 points to ramp up precision
22.284 * * * * [points]: Setting MPFR precision to 1088
22.288 * * * * [points]: Setting MPFR precision to 1344
22.292 * * * * [points]: Computing exacts on every 15 of 485 points to ramp up precision
22.295 * * * * [points]: Setting MPFR precision to 1088
22.301 * * * * [points]: Setting MPFR precision to 1344
22.308 * * * * [points]: Computing exacts on every 7 of 485 points to ramp up precision
22.312 * * * * [points]: Setting MPFR precision to 1088
22.326 * * * * [points]: Setting MPFR precision to 1344
22.341 * * * * [points]: Computing exacts on every 3 of 485 points to ramp up precision
22.344 * * * * [points]: Setting MPFR precision to 1088
22.389 * * * * [points]: Setting MPFR precision to 1344
22.451 * * * * [points]: Computing exacts for 485 points
22.456 * * * * [points]: Setting MPFR precision to 1088
22.637 * * * * [points]: Setting MPFR precision to 1344
22.809 * * * * [points]: Filtering points with unrepresentable outputs
22.810 * * * * [points]: Sampling 212 additional inputs, on iter 5 have 7788 / 8000
22.814 * * * * [points]: Computing exacts on every 13 of 212 points to ramp up precision
22.863 * * * * [points]: Setting MPFR precision to 1088
22.867 * * * * [points]: Setting MPFR precision to 1344
22.871 * * * * [points]: Computing exacts on every 6 of 212 points to ramp up precision
22.876 * * * * [points]: Setting MPFR precision to 1088
22.882 * * * * [points]: Setting MPFR precision to 1344
22.890 * * * * [points]: Computing exacts on every 3 of 212 points to ramp up precision
22.893 * * * * [points]: Setting MPFR precision to 1088
22.907 * * * * [points]: Setting MPFR precision to 1344
22.922 * * * * [points]: Computing exacts for 212 points
22.924 * * * * [points]: Setting MPFR precision to 1088
22.993 * * * * [points]: Setting MPFR precision to 1344
23.083 * * * * [points]: Filtering points with unrepresentable outputs
23.083 * * * * [points]: Sampling 102 additional inputs, on iter 6 have 7898 / 8000
23.084 * * * * [points]: Computing exacts on every 6 of 102 points to ramp up precision
23.086 * * * * [points]: Setting MPFR precision to 1088
23.133 * * * * [points]: Setting MPFR precision to 1344
23.143 * * * * [points]: Computing exacts on every 3 of 102 points to ramp up precision
23.149 * * * * [points]: Setting MPFR precision to 1088
23.158 * * * * [points]: Setting MPFR precision to 1344
23.169 * * * * [points]: Computing exacts for 102 points
23.173 * * * * [points]: Setting MPFR precision to 1088
23.213 * * * * [points]: Setting MPFR precision to 1344
23.242 * * * * [points]: Filtering points with unrepresentable outputs
23.242 * * * * [points]: Sampling 47 additional inputs, on iter 7 have 7953 / 8000
23.243 * * * * [points]: Computing exacts on every 2 of 47 points to ramp up precision
23.245 * * * * [points]: Setting MPFR precision to 1088
23.248 * * * * [points]: Setting MPFR precision to 1344
23.252 * * * * [points]: Computing exacts for 47 points
23.255 * * * * [points]: Setting MPFR precision to 1088
23.270 * * * * [points]: Setting MPFR precision to 1344
23.292 * * * * [points]: Filtering points with unrepresentable outputs
23.292 * * * * [points]: Sampling 21 additional inputs, on iter 8 have 7979 / 8000
23.293 * * * * [points]: Computing exacts for 21 points
23.297 * * * * [points]: Setting MPFR precision to 1088
23.305 * * * * [points]: Setting MPFR precision to 1344
23.315 * * * * [points]: Filtering points with unrepresentable outputs
23.315 * * * * [points]: Sampling 9 additional inputs, on iter 9 have 7991 / 8000
23.315 * * * * [points]: Computing exacts for 9 points
23.321 * * * * [points]: Setting MPFR precision to 1088
23.324 * * * * [points]: Setting MPFR precision to 1344
23.330 * * * * [points]: Filtering points with unrepresentable outputs
23.330 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7999 / 8000
23.331 * * * * [points]: Computing exacts for 4 points
23.358 * * * * [points]: Setting MPFR precision to 1088
23.359 * * * * [points]: Setting MPFR precision to 1344
23.360 * * * * [points]: Filtering points with unrepresentable outputs
23.360 * * * * [points]: Sampled 8002 points with exact outputs
23.448 * [regime-testing]: Baseline error score: 43.16880747865889
23.450 * [regime-testing]: Oracle error score: 43.16880747865889
23.451 * [regime-testing]: End program error score: 43.16880747865889