1.165 * [progress]: [Phase 1 of 3] Setting up.
0.004 * * * [progress]: [1/2] Preparing points
0.005 * * * * [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.133 * * * * [points]: Setting MPFR precision to 64
0.137 * * * * [points]: Setting MPFR precision to 320
0.141 * * * * [points]: Setting MPFR precision to 576
0.144 * * * * [points]: Setting MPFR precision to 832
0.149 * * * * [points]: Setting MPFR precision to 1088
0.156 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.161 * * * * [points]: Setting MPFR precision to 832
0.173 * * * * [points]: Setting MPFR precision to 1088
0.185 * * * * [points]: Setting MPFR precision to 1344
0.201 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.206 * * * * [points]: Setting MPFR precision to 1088
0.225 * * * * [points]: Setting MPFR precision to 1344
0.252 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.256 * * * * [points]: Setting MPFR precision to 1088
0.289 * * * * [points]: Setting MPFR precision to 1344
0.312 * * * * [points]: Computing exacts for 256 points
0.314 * * * * [points]: Setting MPFR precision to 1088
0.372 * * * * [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.499 * * * * [points]: Computing exacts on every 8 of 130 points to ramp up precision
0.501 * * * * [points]: Setting MPFR precision to 1088
0.504 * * * * [points]: Setting MPFR precision to 1344
0.507 * * * * [points]: Computing exacts on every 4 of 130 points to ramp up precision
0.510 * * * * [points]: Setting MPFR precision to 1088
0.516 * * * * [points]: Setting MPFR precision to 1344
0.530 * * * * [points]: Computing exacts on every 2 of 130 points to ramp up precision
0.534 * * * * [points]: Setting MPFR precision to 1088
0.551 * * * * [points]: Setting MPFR precision to 1344
0.572 * * * * [points]: Computing exacts for 130 points
0.576 * * * * [points]: Setting MPFR precision to 1088
0.633 * * * * [points]: Setting MPFR precision to 1344
0.704 * * * * [points]: Filtering points with unrepresentable outputs
0.705 * * * * [points]: Sampling 65 additional inputs, on iter 2 have 191 / 256
0.706 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
0.709 * * * * [points]: Setting MPFR precision to 1088
0.714 * * * * [points]: Setting MPFR precision to 1344
0.721 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
0.725 * * * * [points]: Setting MPFR precision to 1088
0.733 * * * * [points]: Setting MPFR precision to 1344
0.744 * * * * [points]: Computing exacts for 65 points
0.778 * * * * [points]: Setting MPFR precision to 1088
0.797 * * * * [points]: Setting MPFR precision to 1344
0.816 * * * * [points]: Filtering points with unrepresentable outputs
0.816 * * * * [points]: Sampling 29 additional inputs, on iter 3 have 227 / 256
0.817 * * * * [points]: Computing exacts for 29 points
0.819 * * * * [points]: Setting MPFR precision to 1088
0.830 * * * * [points]: Setting MPFR precision to 1344
0.847 * * * * [points]: Filtering points with unrepresentable outputs
0.848 * * * * [points]: Sampling 13 additional inputs, on iter 4 have 243 / 256
0.848 * * * * [points]: Computing exacts for 13 points
0.852 * * * * [points]: Setting MPFR precision to 1088
0.857 * * * * [points]: Setting MPFR precision to 1344
0.864 * * * * [points]: Filtering points with unrepresentable outputs
0.864 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256
0.864 * * * * [points]: Computing exacts for 6 points
0.868 * * * * [points]: Setting MPFR precision to 1088
0.871 * * * * [points]: Setting MPFR precision to 1344
0.875 * * * * [points]: Filtering points with unrepresentable outputs
0.875 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256
0.875 * * * * [points]: Computing exacts for 4 points
0.879 * * * * [points]: Setting MPFR precision to 1088
0.881 * * * * [points]: Setting MPFR precision to 1344
0.885 * * * * [points]: Filtering points with unrepresentable outputs
0.885 * * * * [points]: Sampled 258 points with exact outputs
0.886 * * * [progress]: [2/2] Setting up program.
0.893 * [progress]: [Phase 2 of 3] Improving.
0.893 * * * * [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.896 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.898 * * [simplify]: iteration 0: 12 enodes
0.907 * * [simplify]: iteration 1: 16 enodes
0.912 * * [simplify]: iteration complete: 16 enodes
0.913 * * [simplify]: Extracting #0: cost 1 inf + 0
0.913 * * [simplify]: Extracting #1: cost 2 inf + 0
0.913 * * [simplify]: Extracting #2: cost 4 inf + 0
0.913 * * [simplify]: Extracting #3: cost 8 inf + 0
0.914 * * [simplify]: Extracting #4: cost 7 inf + 4
0.914 * * [simplify]: Extracting #5: cost 11 inf + 4
0.914 * * [simplify]: Extracting #6: cost 8 inf + 47
0.914 * * [simplify]: Extracting #7: cost 3 inf + 396
0.914 * * [simplify]: Extracting #8: cost 0 inf + 2186
0.915 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.918 * * [progress]: iteration 1 / 4
0.918 * * * [progress]: picking best candidate
0.925 * * * * [pick]: Picked  #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.925 * * * [progress]: localizing error
1.168 * * * [progress]: generating rewritten candidates
1.168 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
1.175 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
1.176 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
1.178 * * * [progress]: generating series expansions
1.178 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
1.178 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
1.178 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
1.178 * * * [progress]: simplifying candidates
1.178 * * * * [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.179 * * * * [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.179 * * * * [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.179 * * * * [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.179 * [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.179 * * [simplify]: iteration 0: 12 enodes
1.184 * * [simplify]: iteration 1: 16 enodes
1.190 * * [simplify]: iteration complete: 16 enodes
1.190 * * [simplify]: Extracting #0: cost 1 inf + 0
1.190 * * [simplify]: Extracting #1: cost 2 inf + 0
1.190 * * [simplify]: Extracting #2: cost 4 inf + 0
1.190 * * [simplify]: Extracting #3: cost 8 inf + 0
1.190 * * [simplify]: Extracting #4: cost 7 inf + 4
1.190 * * [simplify]: Extracting #5: cost 11 inf + 4
1.190 * * [simplify]: Extracting #6: cost 8 inf + 47
1.190 * * [simplify]: Extracting #7: cost 3 inf + 396
1.191 * * [simplify]: Extracting #8: cost 0 inf + 2186
1.191 * [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.191 * * * [progress]: adding candidates to table
1.200 * [progress]: [Phase 3 of 3] Extracting.
1.203 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.204 * * [simplify]: iteration 0: 12 enodes
1.204 * * [simplify]: iteration 1: 13 enodes
1.205 * * [simplify]: iteration complete: 13 enodes
1.205 * * [simplify]: Extracting #0: cost 1 inf + 0
1.205 * * [simplify]: Extracting #1: cost 2 inf + 0
1.205 * * [simplify]: Extracting #2: cost 4 inf + 0
1.205 * * [simplify]: Extracting #3: cost 8 inf + 0
1.205 * * [simplify]: Extracting #4: cost 7 inf + 4
1.205 * * [simplify]: Extracting #5: cost 9 inf + 4
1.205 * * [simplify]: Extracting #6: cost 7 inf + 6
1.206 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.206 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.206 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.319 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.324 * * * * [points]: Setting MPFR precision to 1088
1.330 * * * * [points]: Setting MPFR precision to 1344
1.337 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.340 * * * * [points]: Setting MPFR precision to 1088
1.347 * * * * [points]: Setting MPFR precision to 1344
1.355 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.357 * * * * [points]: Setting MPFR precision to 1088
1.386 * * * * [points]: Setting MPFR precision to 1344
1.418 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.421 * * * * [points]: Setting MPFR precision to 1088
1.454 * * * * [points]: Setting MPFR precision to 1344
1.516 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.520 * * * * [points]: Setting MPFR precision to 1088
1.624 * * * * [points]: Setting MPFR precision to 1344
1.757 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.805 * * * * [points]: Setting MPFR precision to 1088
1.981 * * * * [points]: Setting MPFR precision to 1344
2.255 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.260 * * * * [points]: Setting MPFR precision to 1088
2.681 * * * * [points]: Setting MPFR precision to 1344
3.549 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.552 * * * * [points]: Setting MPFR precision to 1088
4.267 * * * * [points]: Setting MPFR precision to 1344
5.173 * * * * [points]: Computing exacts for 8000 points
5.177 * * * * [points]: Setting MPFR precision to 1088
8.626 * * * * [points]: Setting MPFR precision to 1344
12.897 * * * * [points]: Filtering points with unrepresentable outputs
12.900 * * * * [points]: Sampling 3966 additional inputs, on iter 1 have 4034 / 8000
12.927 * * * * [points]: Computing exacts on every 247 of 3966 points to ramp up precision
12.929 * * * * [points]: Setting MPFR precision to 1088
12.932 * * * * [points]: Setting MPFR precision to 1344
12.937 * * * * [points]: Computing exacts on every 123 of 3966 points to ramp up precision
12.939 * * * * [points]: Setting MPFR precision to 1088
12.964 * * * * [points]: Setting MPFR precision to 1344
12.975 * * * * [points]: Computing exacts on every 61 of 3966 points to ramp up precision
12.978 * * * * [points]: Setting MPFR precision to 1088
13.003 * * * * [points]: Setting MPFR precision to 1344
13.035 * * * * [points]: Computing exacts on every 30 of 3966 points to ramp up precision
13.039 * * * * [points]: Setting MPFR precision to 1088
13.081 * * * * [points]: Setting MPFR precision to 1344
13.117 * * * * [points]: Computing exacts on every 15 of 3966 points to ramp up precision
13.119 * * * * [points]: Setting MPFR precision to 1088
13.216 * * * * [points]: Setting MPFR precision to 1344
13.332 * * * * [points]: Computing exacts on every 7 of 3966 points to ramp up precision
13.336 * * * * [points]: Setting MPFR precision to 1088
13.471 * * * * [points]: Setting MPFR precision to 1344
13.718 * * * * [points]: Computing exacts on every 3 of 3966 points to ramp up precision
13.723 * * * * [points]: Setting MPFR precision to 1088
14.140 * * * * [points]: Setting MPFR precision to 1344
14.943 * * * * [points]: Computing exacts for 3966 points
14.945 * * * * [points]: Setting MPFR precision to 1088
16.557 * * * * [points]: Setting MPFR precision to 1344
18.334 * * * * [points]: Filtering points with unrepresentable outputs
18.337 * * * * [points]: Sampling 1919 additional inputs, on iter 2 have 6081 / 8000
18.359 * * * * [points]: Computing exacts on every 119 of 1919 points to ramp up precision
18.830 * * * * [points]: Setting MPFR precision to 1088
18.835 * * * * [points]: Setting MPFR precision to 1344
18.842 * * * * [points]: Computing exacts on every 59 of 1919 points to ramp up precision
18.844 * * * * [points]: Setting MPFR precision to 1088
18.851 * * * * [points]: Setting MPFR precision to 1344
18.861 * * * * [points]: Computing exacts on every 29 of 1919 points to ramp up precision
18.864 * * * * [points]: Setting MPFR precision to 1088
18.879 * * * * [points]: Setting MPFR precision to 1344
18.906 * * * * [points]: Computing exacts on every 14 of 1919 points to ramp up precision
18.910 * * * * [points]: Setting MPFR precision to 1088
18.940 * * * * [points]: Setting MPFR precision to 1344
18.996 * * * * [points]: Computing exacts on every 7 of 1919 points to ramp up precision
19.000 * * * * [points]: Setting MPFR precision to 1088
19.093 * * * * [points]: Setting MPFR precision to 1344
19.217 * * * * [points]: Computing exacts on every 3 of 1919 points to ramp up precision
19.221 * * * * [points]: Setting MPFR precision to 1088
19.393 * * * * [points]: Setting MPFR precision to 1344
19.649 * * * * [points]: Computing exacts for 1919 points
19.651 * * * * [points]: Setting MPFR precision to 1088
20.262 * * * * [points]: Setting MPFR precision to 1344
21.042 * * * * [points]: Filtering points with unrepresentable outputs
21.043 * * * * [points]: Sampling 949 additional inputs, on iter 3 have 7051 / 8000
21.050 * * * * [points]: Computing exacts on every 59 of 949 points to ramp up precision
21.053 * * * * [points]: Setting MPFR precision to 1088
21.056 * * * * [points]: Setting MPFR precision to 1344
21.061 * * * * [points]: Computing exacts on every 29 of 949 points to ramp up precision
21.063 * * * * [points]: Setting MPFR precision to 1088
21.070 * * * * [points]: Setting MPFR precision to 1344
21.078 * * * * [points]: Computing exacts on every 14 of 949 points to ramp up precision
21.080 * * * * [points]: Setting MPFR precision to 1088
21.095 * * * * [points]: Setting MPFR precision to 1344
21.113 * * * * [points]: Computing exacts on every 7 of 949 points to ramp up precision
21.115 * * * * [points]: Setting MPFR precision to 1088
21.179 * * * * [points]: Setting MPFR precision to 1344
21.242 * * * * [points]: Computing exacts on every 3 of 949 points to ramp up precision
21.246 * * * * [points]: Setting MPFR precision to 1088
21.345 * * * * [points]: Setting MPFR precision to 1344
21.424 * * * * [points]: Computing exacts for 949 points
21.426 * * * * [points]: Setting MPFR precision to 1088
21.729 * * * * [points]: Setting MPFR precision to 1344
22.059 * * * * [points]: Filtering points with unrepresentable outputs
22.059 * * * * [points]: Sampling 470 additional inputs, on iter 4 have 7530 / 8000
22.062 * * * * [points]: Computing exacts on every 29 of 470 points to ramp up precision
22.065 * * * * [points]: Setting MPFR precision to 1088
22.069 * * * * [points]: Setting MPFR precision to 1344
22.073 * * * * [points]: Computing exacts on every 14 of 470 points to ramp up precision
22.075 * * * * [points]: Setting MPFR precision to 1088
22.083 * * * * [points]: Setting MPFR precision to 1344
22.097 * * * * [points]: Computing exacts on every 7 of 470 points to ramp up precision
22.579 * * * * [points]: Setting MPFR precision to 1088
22.608 * * * * [points]: Setting MPFR precision to 1344
22.638 * * * * [points]: Computing exacts on every 3 of 470 points to ramp up precision
22.642 * * * * [points]: Setting MPFR precision to 1088
22.679 * * * * [points]: Setting MPFR precision to 1344
22.723 * * * * [points]: Computing exacts for 470 points
22.727 * * * * [points]: Setting MPFR precision to 1088
22.896 * * * * [points]: Setting MPFR precision to 1344
23.126 * * * * [points]: Filtering points with unrepresentable outputs
23.126 * * * * [points]: Sampling 227 additional inputs, on iter 5 have 7773 / 8000
23.128 * * * * [points]: Computing exacts on every 14 of 227 points to ramp up precision
23.130 * * * * [points]: Setting MPFR precision to 1088
23.133 * * * * [points]: Setting MPFR precision to 1344
23.137 * * * * [points]: Computing exacts on every 7 of 227 points to ramp up precision
23.139 * * * * [points]: Setting MPFR precision to 1088
23.145 * * * * [points]: Setting MPFR precision to 1344
23.153 * * * * [points]: Computing exacts on every 3 of 227 points to ramp up precision
23.157 * * * * [points]: Setting MPFR precision to 1088
23.178 * * * * [points]: Setting MPFR precision to 1344
23.205 * * * * [points]: Computing exacts for 227 points
23.209 * * * * [points]: Setting MPFR precision to 1088
23.335 * * * * [points]: Setting MPFR precision to 1344
23.416 * * * * [points]: Filtering points with unrepresentable outputs
23.416 * * * * [points]: Sampling 132 additional inputs, on iter 6 have 7868 / 8000
23.417 * * * * [points]: Computing exacts on every 8 of 132 points to ramp up precision
23.419 * * * * [points]: Setting MPFR precision to 1088
23.423 * * * * [points]: Setting MPFR precision to 1344
23.426 * * * * [points]: Computing exacts on every 4 of 132 points to ramp up precision
23.428 * * * * [points]: Setting MPFR precision to 1088
23.433 * * * * [points]: Setting MPFR precision to 1344
23.440 * * * * [points]: Computing exacts on every 2 of 132 points to ramp up precision
23.442 * * * * [points]: Setting MPFR precision to 1088
23.452 * * * * [points]: Setting MPFR precision to 1344
23.463 * * * * [points]: Computing exacts for 132 points
23.465 * * * * [points]: Setting MPFR precision to 1088
23.503 * * * * [points]: Setting MPFR precision to 1344
23.603 * * * * [points]: Filtering points with unrepresentable outputs
23.604 * * * * [points]: Sampling 67 additional inputs, on iter 7 have 7933 / 8000
23.609 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
23.613 * * * * [points]: Setting MPFR precision to 1088
23.619 * * * * [points]: Setting MPFR precision to 1344
23.626 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
23.630 * * * * [points]: Setting MPFR precision to 1088
23.634 * * * * [points]: Setting MPFR precision to 1344
23.640 * * * * [points]: Computing exacts for 67 points
23.642 * * * * [points]: Setting MPFR precision to 1088
23.663 * * * * [points]: Setting MPFR precision to 1344
23.694 * * * * [points]: Filtering points with unrepresentable outputs
23.694 * * * * [points]: Sampling 36 additional inputs, on iter 8 have 7964 / 8000
23.695 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
23.698 * * * * [points]: Setting MPFR precision to 1088
23.704 * * * * [points]: Setting MPFR precision to 1344
23.711 * * * * [points]: Computing exacts for 36 points
23.714 * * * * [points]: Setting MPFR precision to 1088
23.729 * * * * [points]: Setting MPFR precision to 1344
23.747 * * * * [points]: Filtering points with unrepresentable outputs
23.747 * * * * [points]: Sampling 19 additional inputs, on iter 9 have 7981 / 8000
23.747 * * * * [points]: Computing exacts for 19 points
23.750 * * * * [points]: Setting MPFR precision to 1088
23.754 * * * * [points]: Setting MPFR precision to 1344
23.760 * * * * [points]: Filtering points with unrepresentable outputs
23.760 * * * * [points]: Sampling 7 additional inputs, on iter 10 have 7993 / 8000
23.760 * * * * [points]: Computing exacts for 7 points
23.764 * * * * [points]: Setting MPFR precision to 1088
23.767 * * * * [points]: Setting MPFR precision to 1344
23.769 * * * * [points]: Filtering points with unrepresentable outputs
23.769 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
23.769 * * * * [points]: Computing exacts for 4 points
23.773 * * * * [points]: Setting MPFR precision to 1088
23.775 * * * * [points]: Setting MPFR precision to 1344
23.777 * * * * [points]: Filtering points with unrepresentable outputs
23.777 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000
23.777 * * * * [points]: Computing exacts for 4 points
23.781 * * * * [points]: Setting MPFR precision to 1088
23.784 * * * * [points]: Setting MPFR precision to 1344
23.786 * * * * [points]: Filtering points with unrepresentable outputs
23.787 * * * * [points]: Sampled 8000 points with exact outputs
24.034 * [regime-testing]: Baseline error score: 43.0856855034804
24.036 * [regime-testing]: Oracle error score: 43.0856855034804
24.037 * [regime-testing]: End program error score: 43.0856855034804