0.588 * [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.115 * * * * [points]: Setting MPFR precision to 64
0.119 * * * * [points]: Setting MPFR precision to 320
0.123 * * * * [points]: Setting MPFR precision to 576
0.127 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.131 * * * * [points]: Setting MPFR precision to 320
0.137 * * * * [points]: Setting MPFR precision to 576
0.145 * * * * [points]: Setting MPFR precision to 832
0.153 * * * * [points]: Setting MPFR precision to 1088
0.164 * * * * [points]: Setting MPFR precision to 1344
0.178 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.183 * * * * [points]: Setting MPFR precision to 1088
0.204 * * * * [points]: Setting MPFR precision to 1344
0.227 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.230 * * * * [points]: Setting MPFR precision to 1088
0.258 * * * * [points]: Setting MPFR precision to 1344
0.280 * * * * [points]: Computing exacts for 256 points
0.282 * * * * [points]: Setting MPFR precision to 1088
0.395 * * * * [points]: Setting MPFR precision to 1344
0.481 * * * * [points]: Filtering points with unrepresentable outputs
0.481 * * * * [points]: Sampling 127 additional inputs, on iter 1 have 129 / 256
0.482 * * * * [points]: Computing exacts on every 7 of 127 points to ramp up precision
0.485 * * * * [points]: Setting MPFR precision to 1088
0.488 * * * * [points]: Setting MPFR precision to 1344
0.493 * * * * [points]: Computing exacts on every 3 of 127 points to ramp up precision
0.495 * * * * [points]: Setting MPFR precision to 1088
0.502 * * * * [points]: Setting MPFR precision to 1344
0.515 * * * * [points]: Computing exacts for 127 points
0.520 * * * * [points]: Setting MPFR precision to 1088
0.571 * * * * [points]: Setting MPFR precision to 1344
0.609 * * * * [points]: Filtering points with unrepresentable outputs
0.609 * * * * [points]: Sampling 63 additional inputs, on iter 2 have 193 / 256
0.610 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision
0.657 * * * * [points]: Setting MPFR precision to 1088
0.662 * * * * [points]: Setting MPFR precision to 1344
0.673 * * * * [points]: Computing exacts for 63 points
0.678 * * * * [points]: Setting MPFR precision to 1088
0.694 * * * * [points]: Setting MPFR precision to 1344
0.711 * * * * [points]: Filtering points with unrepresentable outputs
0.711 * * * * [points]: Sampling 29 additional inputs, on iter 3 have 227 / 256
0.711 * * * * [points]: Computing exacts for 29 points
0.713 * * * * [points]: Setting MPFR precision to 1088
0.724 * * * * [points]: Setting MPFR precision to 1344
0.732 * * * * [points]: Filtering points with unrepresentable outputs
0.732 * * * * [points]: Sampling 12 additional inputs, on iter 4 have 244 / 256
0.732 * * * * [points]: Computing exacts for 12 points
0.734 * * * * [points]: Setting MPFR precision to 1088
0.737 * * * * [points]: Setting MPFR precision to 1344
0.740 * * * * [points]: Filtering points with unrepresentable outputs
0.740 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256
0.740 * * * * [points]: Computing exacts for 5 points
0.744 * * * * [points]: Setting MPFR precision to 1088
0.746 * * * * [points]: Setting MPFR precision to 1344
0.748 * * * * [points]: Filtering points with unrepresentable outputs
0.748 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256
0.748 * * * * [points]: Computing exacts for 4 points
0.752 * * * * [points]: Setting MPFR precision to 1088
0.754 * * * * [points]: Setting MPFR precision to 1344
0.756 * * * * [points]: Filtering points with unrepresentable outputs
0.756 * * * * [points]: Sampled 256 points with exact outputs
0.757 * * * [progress]: [2/2] Setting up program.
0.763 * [progress]: [Phase 2 of 3] Improving.
0.764 * * * * [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.766 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
0.768 * * [simplify]: iteration 1: (12 enodes)
0.779 * * [simplify]: iteration 2: (26 enodes)
0.785 * * [simplify]: iteration 3: (30 enodes)
0.790 * * [simplify]: Extracting #0: cost 1 inf + 0
0.790 * * [simplify]: Extracting #1: cost 3 inf + 0
0.790 * * [simplify]: Extracting #2: cost 5 inf + 0
0.790 * * [simplify]: Extracting #3: cost 9 inf + 0
0.790 * * [simplify]: Extracting #4: cost 8 inf + 4
0.790 * * [simplify]: Extracting #5: cost 12 inf + 4
0.790 * * [simplify]: Extracting #6: cost 11 inf + 47
0.791 * * [simplify]: Extracting #7: cost 4 inf + 478
0.791 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.791 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.791 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
0.813 * * [progress]: iteration 1 / 4
0.813 * * * [progress]: picking best candidate
0.816 * * * * [pick]: Picked  #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))))>
0.816 * * * [progress]: localizing error
0.969 * * * [progress]: generating rewritten candidates
0.969 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.972 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
0.972 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
0.973 * * * [progress]: generating series expansions
0.973 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.973 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
0.973 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
0.974 * * * [progress]: simplifying candidates
0.974 * * * * [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))))>
0.974 * * * * [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))))>
0.974 * * * * [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))))>
0.974 * * * * [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))))>
0.974 * [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)))
0.974 * * [simplify]: iteration 1: (12 enodes)
0.977 * * [simplify]: iteration 2: (26 enodes)
0.981 * * [simplify]: iteration 3: (30 enodes)
0.985 * * [simplify]: Extracting #0: cost 1 inf + 0
0.985 * * [simplify]: Extracting #1: cost 3 inf + 0
0.985 * * [simplify]: Extracting #2: cost 5 inf + 0
0.985 * * [simplify]: Extracting #3: cost 9 inf + 0
0.985 * * [simplify]: Extracting #4: cost 8 inf + 4
0.986 * * [simplify]: Extracting #5: cost 12 inf + 4
0.986 * * [simplify]: Extracting #6: cost 11 inf + 47
0.986 * * [simplify]: Extracting #7: cost 4 inf + 478
0.986 * * [simplify]: Extracting #8: cost 1 inf + 2268
0.986 * * [simplify]: Extracting #9: cost 0 inf + 3012
0.986 * [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)))
0.987 * * * [progress]: adding candidates to table
1.022 * [progress]: [Phase 3 of 3] Extracting.
1.025 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0)))
1.025 * * [simplify]: iteration 1: (12 enodes)
1.026 * * [simplify]: iteration 2: (13 enodes)
1.026 * * [simplify]: Extracting #0: cost 1 inf + 0
1.026 * * [simplify]: Extracting #1: cost 2 inf + 0
1.026 * * [simplify]: Extracting #2: cost 4 inf + 0
1.026 * * [simplify]: Extracting #3: cost 8 inf + 0
1.026 * * [simplify]: Extracting #4: cost 7 inf + 4
1.026 * * [simplify]: Extracting #5: cost 9 inf + 4
1.027 * * [simplify]: Extracting #6: cost 7 inf + 6
1.027 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.027 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))
1.027 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.473 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.476 * * * * [points]: Setting MPFR precision to 1088
1.479 * * * * [points]: Setting MPFR precision to 1344
1.483 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.485 * * * * [points]: Setting MPFR precision to 1088
1.494 * * * * [points]: Setting MPFR precision to 1344
1.503 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.506 * * * * [points]: Setting MPFR precision to 1088
1.519 * * * * [points]: Setting MPFR precision to 1344
1.542 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.546 * * * * [points]: Setting MPFR precision to 1088
1.573 * * * * [points]: Setting MPFR precision to 1344
1.627 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.650 * * * * [points]: Setting MPFR precision to 1088
1.722 * * * * [points]: Setting MPFR precision to 1344
1.824 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.827 * * * * [points]: Setting MPFR precision to 1088
2.025 * * * * [points]: Setting MPFR precision to 1344
2.198 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.200 * * * * [points]: Setting MPFR precision to 1088
2.524 * * * * [points]: Setting MPFR precision to 1344
2.951 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
2.956 * * * * [points]: Setting MPFR precision to 1088
3.658 * * * * [points]: Setting MPFR precision to 1344
5.051 * * * * [points]: Computing exacts for 8000 points
5.054 * * * * [points]: Setting MPFR precision to 1088
8.291 * * * * [points]: Setting MPFR precision to 1344
12.612 * * * * [points]: Filtering points with unrepresentable outputs
12.618 * * * * [points]: Sampling 3947 additional inputs, on iter 1 have 4053 / 8000
12.678 * * * * [points]: Computing exacts on every 246 of 3947 points to ramp up precision
12.681 * * * * [points]: Setting MPFR precision to 1088
12.684 * * * * [points]: Setting MPFR precision to 1344
12.687 * * * * [points]: Computing exacts on every 123 of 3947 points to ramp up precision
12.689 * * * * [points]: Setting MPFR precision to 1088
12.698 * * * * [points]: Setting MPFR precision to 1344
12.707 * * * * [points]: Computing exacts on every 61 of 3947 points to ramp up precision
12.710 * * * * [points]: Setting MPFR precision to 1088
12.725 * * * * [points]: Setting MPFR precision to 1344
12.743 * * * * [points]: Computing exacts on every 30 of 3947 points to ramp up precision
12.746 * * * * [points]: Setting MPFR precision to 1088
12.773 * * * * [points]: Setting MPFR precision to 1344
12.807 * * * * [points]: Computing exacts on every 15 of 3947 points to ramp up precision
12.810 * * * * [points]: Setting MPFR precision to 1088
12.907 * * * * [points]: Setting MPFR precision to 1344
13.031 * * * * [points]: Computing exacts on every 7 of 3947 points to ramp up precision
13.037 * * * * [points]: Setting MPFR precision to 1088
13.228 * * * * [points]: Setting MPFR precision to 1344
13.444 * * * * [points]: Computing exacts on every 3 of 3947 points to ramp up precision
13.448 * * * * [points]: Setting MPFR precision to 1088
13.802 * * * * [points]: Setting MPFR precision to 1344
14.225 * * * * [points]: Computing exacts for 3947 points
14.229 * * * * [points]: Setting MPFR precision to 1088
16.171 * * * * [points]: Setting MPFR precision to 1344
17.878 * * * * [points]: Filtering points with unrepresentable outputs
17.879 * * * * [points]: Sampling 1963 additional inputs, on iter 2 have 6037 / 8000
17.893 * * * * [points]: Computing exacts on every 122 of 1963 points to ramp up precision
17.896 * * * * [points]: Setting MPFR precision to 1088
17.899 * * * * [points]: Setting MPFR precision to 1344
17.905 * * * * [points]: Computing exacts on every 61 of 1963 points to ramp up precision
17.909 * * * * [points]: Setting MPFR precision to 1088
17.921 * * * * [points]: Setting MPFR precision to 1344
17.939 * * * * [points]: Computing exacts on every 30 of 1963 points to ramp up precision
17.944 * * * * [points]: Setting MPFR precision to 1088
17.971 * * * * [points]: Setting MPFR precision to 1344
18.002 * * * * [points]: Computing exacts on every 15 of 1963 points to ramp up precision
18.007 * * * * [points]: Setting MPFR precision to 1088
18.089 * * * * [points]: Setting MPFR precision to 1344
18.149 * * * * [points]: Computing exacts on every 7 of 1963 points to ramp up precision
18.153 * * * * [points]: Setting MPFR precision to 1088
18.251 * * * * [points]: Setting MPFR precision to 1344
18.374 * * * * [points]: Computing exacts on every 3 of 1963 points to ramp up precision
18.376 * * * * [points]: Setting MPFR precision to 1088
18.583 * * * * [points]: Setting MPFR precision to 1344
18.746 * * * * [points]: Computing exacts for 1963 points
18.751 * * * * [points]: Setting MPFR precision to 1088
19.401 * * * * [points]: Setting MPFR precision to 1344
20.588 * * * * [points]: Filtering points with unrepresentable outputs
20.590 * * * * [points]: Sampling 976 additional inputs, on iter 3 have 7024 / 8000
20.606 * * * * [points]: Computing exacts on every 61 of 976 points to ramp up precision
20.610 * * * * [points]: Setting MPFR precision to 1088
20.616 * * * * [points]: Setting MPFR precision to 1344
20.623 * * * * [points]: Computing exacts on every 30 of 976 points to ramp up precision
20.627 * * * * [points]: Setting MPFR precision to 1088
20.639 * * * * [points]: Setting MPFR precision to 1344
20.650 * * * * [points]: Computing exacts on every 15 of 976 points to ramp up precision
20.652 * * * * [points]: Setting MPFR precision to 1088
20.665 * * * * [points]: Setting MPFR precision to 1344
20.683 * * * * [points]: Computing exacts on every 7 of 976 points to ramp up precision
20.687 * * * * [points]: Setting MPFR precision to 1088
20.736 * * * * [points]: Setting MPFR precision to 1344
20.784 * * * * [points]: Computing exacts on every 3 of 976 points to ramp up precision
20.786 * * * * [points]: Setting MPFR precision to 1088
20.875 * * * * [points]: Setting MPFR precision to 1344
20.964 * * * * [points]: Computing exacts for 976 points
20.968 * * * * [points]: Setting MPFR precision to 1088
21.306 * * * * [points]: Setting MPFR precision to 1344
21.688 * * * * [points]: Filtering points with unrepresentable outputs
21.688 * * * * [points]: Sampling 468 additional inputs, on iter 4 have 7532 / 8000
21.692 * * * * [points]: Computing exacts on every 29 of 468 points to ramp up precision
21.695 * * * * [points]: Setting MPFR precision to 1088
21.699 * * * * [points]: Setting MPFR precision to 1344
21.702 * * * * [points]: Computing exacts on every 14 of 468 points to ramp up precision
21.704 * * * * [points]: Setting MPFR precision to 1088
21.711 * * * * [points]: Setting MPFR precision to 1344
21.717 * * * * [points]: Computing exacts on every 7 of 468 points to ramp up precision
21.720 * * * * [points]: Setting MPFR precision to 1088
21.732 * * * * [points]: Setting MPFR precision to 1344
21.783 * * * * [points]: Computing exacts on every 3 of 468 points to ramp up precision
21.789 * * * * [points]: Setting MPFR precision to 1088
21.831 * * * * [points]: Setting MPFR precision to 1344
21.881 * * * * [points]: Computing exacts for 468 points
21.884 * * * * [points]: Setting MPFR precision to 1088
22.021 * * * * [points]: Setting MPFR precision to 1344
22.225 * * * * [points]: Filtering points with unrepresentable outputs
22.225 * * * * [points]: Sampling 219 additional inputs, on iter 5 have 7781 / 8000
22.226 * * * * [points]: Computing exacts on every 13 of 219 points to ramp up precision
22.229 * * * * [points]: Setting MPFR precision to 1088
22.232 * * * * [points]: Setting MPFR precision to 1344
22.237 * * * * [points]: Computing exacts on every 6 of 219 points to ramp up precision
22.239 * * * * [points]: Setting MPFR precision to 1088
22.246 * * * * [points]: Setting MPFR precision to 1344
22.255 * * * * [points]: Computing exacts on every 3 of 219 points to ramp up precision
22.257 * * * * [points]: Setting MPFR precision to 1088
22.268 * * * * [points]: Setting MPFR precision to 1344
22.281 * * * * [points]: Computing exacts for 219 points
22.283 * * * * [points]: Setting MPFR precision to 1088
22.354 * * * * [points]: Setting MPFR precision to 1344
22.410 * * * * [points]: Filtering points with unrepresentable outputs
22.411 * * * * [points]: Sampling 115 additional inputs, on iter 6 have 7885 / 8000
22.412 * * * * [points]: Computing exacts on every 7 of 115 points to ramp up precision
22.414 * * * * [points]: Setting MPFR precision to 1088
22.417 * * * * [points]: Setting MPFR precision to 1344
22.421 * * * * [points]: Computing exacts on every 3 of 115 points to ramp up precision
22.424 * * * * [points]: Setting MPFR precision to 1088
22.434 * * * * [points]: Setting MPFR precision to 1344
22.446 * * * * [points]: Computing exacts for 115 points
22.450 * * * * [points]: Setting MPFR precision to 1088
22.487 * * * * [points]: Setting MPFR precision to 1344
22.535 * * * * [points]: Filtering points with unrepresentable outputs
22.535 * * * * [points]: Sampling 61 additional inputs, on iter 7 have 7939 / 8000
22.536 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision
22.539 * * * * [points]: Setting MPFR precision to 1088
22.546 * * * * [points]: Setting MPFR precision to 1344
22.551 * * * * [points]: Computing exacts for 61 points
22.553 * * * * [points]: Setting MPFR precision to 1088
22.590 * * * * [points]: Setting MPFR precision to 1344
22.610 * * * * [points]: Filtering points with unrepresentable outputs
22.610 * * * * [points]: Sampling 32 additional inputs, on iter 8 have 7968 / 8000
22.611 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
22.614 * * * * [points]: Setting MPFR precision to 1088
22.617 * * * * [points]: Setting MPFR precision to 1344
22.620 * * * * [points]: Computing exacts for 32 points
22.624 * * * * [points]: Setting MPFR precision to 1088
22.634 * * * * [points]: Setting MPFR precision to 1344
22.646 * * * * [points]: Filtering points with unrepresentable outputs
22.646 * * * * [points]: Sampling 19 additional inputs, on iter 9 have 7981 / 8000
22.647 * * * * [points]: Computing exacts for 19 points
22.650 * * * * [points]: Setting MPFR precision to 1088
22.657 * * * * [points]: Setting MPFR precision to 1344
22.665 * * * * [points]: Filtering points with unrepresentable outputs
22.665 * * * * [points]: Sampling 9 additional inputs, on iter 10 have 7991 / 8000
22.666 * * * * [points]: Computing exacts for 9 points
22.669 * * * * [points]: Setting MPFR precision to 1088
22.672 * * * * [points]: Setting MPFR precision to 1344
22.676 * * * * [points]: Filtering points with unrepresentable outputs
22.676 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
22.676 * * * * [points]: Computing exacts for 4 points
22.679 * * * * [points]: Setting MPFR precision to 1088
22.681 * * * * [points]: Setting MPFR precision to 1344
22.683 * * * * [points]: Filtering points with unrepresentable outputs
22.683 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
22.683 * * * * [points]: Computing exacts for 4 points
22.686 * * * * [points]: Setting MPFR precision to 1088
22.688 * * * * [points]: Setting MPFR precision to 1344
22.690 * * * * [points]: Filtering points with unrepresentable outputs
22.690 * * * * [points]: Sampled 8002 points with exact outputs
23.253 * [regime-testing]: Baseline error score: 43.40862921556171
23.257 * [regime-testing]: Oracle error score: 43.40862921556171
23.257 * [regime-testing]: End program error score: 43.40862921556171