6.300 * [progress]: [Phase 1 of 3] Setting up.
0.097 * * * [progress]: [1/2] Preparing points
0.127 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.136 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.848 * * * * [points]: Setting MPFR precision to 64
0.870 * * * * [points]: Setting MPFR precision to 320
0.895 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.910 * * * * [points]: Setting MPFR precision to 64
0.917 * * * * [points]: Setting MPFR precision to 320
0.923 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.925 * * * * [points]: Setting MPFR precision to 64
0.937 * * * * [points]: Setting MPFR precision to 320
0.961 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.963 * * * * [points]: Setting MPFR precision to 64
1.012 * * * * [points]: Setting MPFR precision to 320
1.093 * * * * [points]: Computing exacts for 256 points
1.097 * * * * [points]: Setting MPFR precision to 64
2.708 * * * * [points]: Setting MPFR precision to 320
2.935 * * * * [points]: Filtering points with unrepresentable outputs
2.950 * * * * [points]: Sampling 138 additional inputs, on iter 1 have 118 / 256
2.953 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision
2.962 * * * * [points]: Setting MPFR precision to 64
2.972 * * * * [points]: Setting MPFR precision to 320
3.003 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision
3.006 * * * * [points]: Setting MPFR precision to 64
3.019 * * * * [points]: Setting MPFR precision to 320
3.059 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision
3.061 * * * * [points]: Setting MPFR precision to 64
3.083 * * * * [points]: Setting MPFR precision to 320
3.121 * * * * [points]: Computing exacts for 138 points
3.124 * * * * [points]: Setting MPFR precision to 64
3.185 * * * * [points]: Setting MPFR precision to 320
3.301 * * * * [points]: Filtering points with unrepresentable outputs
3.301 * * * * [points]: Sampling 84 additional inputs, on iter 2 have 172 / 256
3.303 * * * * [points]: Computing exacts on every 5 of 84 points to ramp up precision
3.305 * * * * [points]: Setting MPFR precision to 64
3.324 * * * * [points]: Setting MPFR precision to 320
3.356 * * * * [points]: Computing exacts on every 2 of 84 points to ramp up precision
3.369 * * * * [points]: Setting MPFR precision to 64
3.643 * * * * [points]: Setting MPFR precision to 320
3.761 * * * * [points]: Computing exacts for 84 points
3.814 * * * * [points]: Setting MPFR precision to 64
5.235 * * * * [points]: Setting MPFR precision to 320
5.324 * * * * [points]: Filtering points with unrepresentable outputs
5.325 * * * * [points]: Sampling 52 additional inputs, on iter 3 have 204 / 256
5.331 * * * * [points]: Computing exacts on every 3 of 52 points to ramp up precision
5.345 * * * * [points]: Setting MPFR precision to 64
5.347 * * * * [points]: Setting MPFR precision to 320
5.350 * * * * [points]: Computing exacts for 52 points
5.358 * * * * [points]: Setting MPFR precision to 64
5.378 * * * * [points]: Setting MPFR precision to 320
5.430 * * * * [points]: Filtering points with unrepresentable outputs
5.430 * * * * [points]: Sampling 26 additional inputs, on iter 4 have 230 / 256
5.431 * * * * [points]: Computing exacts for 26 points
5.433 * * * * [points]: Setting MPFR precision to 64
5.448 * * * * [points]: Setting MPFR precision to 320
5.461 * * * * [points]: Filtering points with unrepresentable outputs
5.462 * * * * [points]: Sampling 16 additional inputs, on iter 5 have 240 / 256
5.462 * * * * [points]: Computing exacts for 16 points
5.465 * * * * [points]: Setting MPFR precision to 64
5.476 * * * * [points]: Setting MPFR precision to 320
5.480 * * * * [points]: Filtering points with unrepresentable outputs
5.480 * * * * [points]: Sampling 8 additional inputs, on iter 6 have 248 / 256
5.480 * * * * [points]: Computing exacts for 8 points
5.483 * * * * [points]: Setting MPFR precision to 64
5.484 * * * * [points]: Setting MPFR precision to 320
5.491 * * * * [points]: Filtering points with unrepresentable outputs
5.491 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 252 / 256
5.491 * * * * [points]: Computing exacts for 4 points
5.494 * * * * [points]: Setting MPFR precision to 64
5.507 * * * * [points]: Setting MPFR precision to 320
5.511 * * * * [points]: Filtering points with unrepresentable outputs
5.511 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256
5.511 * * * * [points]: Computing exacts for 4 points
5.513 * * * * [points]: Setting MPFR precision to 64
5.514 * * * * [points]: Setting MPFR precision to 320
5.515 * * * * [points]: Filtering points with unrepresentable outputs
5.515 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 255 / 256
5.515 * * * * [points]: Computing exacts for 4 points
5.518 * * * * [points]: Setting MPFR precision to 64
5.519 * * * * [points]: Setting MPFR precision to 320
5.519 * * * * [points]: Filtering points with unrepresentable outputs
5.519 * * * * [points]: Sampled 257 points with exact outputs
5.536 * * * [progress]: [2/2] Setting up program.
5.602 * [progress]: [Phase 2 of 3] Improving.
5.710 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
5.757 * * [simplify]: iteration 0: 12 enodes
5.906 * * [simplify]: iteration 1: 16 enodes
5.909 * * [simplify]: iteration complete: 16 enodes
5.914 * * [simplify]: Extracting #0: cost 1 inf + 0
5.922 * * [simplify]: Extracting #1: cost 2 inf + 0
5.923 * * [simplify]: Extracting #2: cost 4 inf + 0
5.923 * * [simplify]: Extracting #3: cost 8 inf + 0
5.924 * * [simplify]: Extracting #4: cost 7 inf + 4
5.925 * * [simplify]: Extracting #5: cost 11 inf + 4
5.925 * * [simplify]: Extracting #6: cost 7 inf + 49
5.925 * * [simplify]: Extracting #7: cost 3 inf + 396
5.925 * * [simplify]: Extracting #8: cost 0 inf + 2186
5.926 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
5.972 * * [progress]: iteration 1 / 4
5.972 * * * [progress]: picking best candidate
5.981 * * * * [pick]: Picked  #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))))>
5.994 * * * [progress]: localizing error
7.793 * * * [progress]: generating rewritten candidates
7.803 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
7.925 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
7.925 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
8.055 * * * [progress]: generating series expansions
8.060 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
8.068 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
8.068 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
8.068 * * * [progress]: simplifying candidates
8.088 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
8.088 * * [simplify]: iteration 0: 12 enodes
8.099 * * [simplify]: iteration 1: 16 enodes
8.101 * * [simplify]: iteration complete: 16 enodes
8.101 * * [simplify]: Extracting #0: cost 1 inf + 0
8.102 * * [simplify]: Extracting #1: cost 2 inf + 0
8.102 * * [simplify]: Extracting #2: cost 4 inf + 0
8.102 * * [simplify]: Extracting #3: cost 8 inf + 0
8.102 * * [simplify]: Extracting #4: cost 7 inf + 4
8.102 * * [simplify]: Extracting #5: cost 11 inf + 4
8.102 * * [simplify]: Extracting #6: cost 7 inf + 49
8.102 * * [simplify]: Extracting #7: cost 3 inf + 396
8.102 * * [simplify]: Extracting #8: cost 0 inf + 2186
8.103 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
8.103 * * * [progress]: adding candidates to table
8.115 * [progress]: [Phase 3 of 3] Extracting.
8.125 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
8.125 * * [simplify]: iteration 0: 12 enodes
8.126 * * [simplify]: iteration 1: 13 enodes
8.127 * * [simplify]: iteration complete: 13 enodes
8.127 * * [simplify]: Extracting #0: cost 1 inf + 0
8.127 * * [simplify]: Extracting #1: cost 2 inf + 0
8.127 * * [simplify]: Extracting #2: cost 4 inf + 0
8.127 * * [simplify]: Extracting #3: cost 8 inf + 0
8.127 * * [simplify]: Extracting #4: cost 7 inf + 4
8.127 * * [simplify]: Extracting #5: cost 9 inf + 4
8.128 * * [simplify]: Extracting #6: cost 6 inf + 8
8.128 * * [simplify]: Extracting #7: cost 0 inf + 2104
8.128 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
8.128 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
8.551 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
8.581 * * * * [points]: Setting MPFR precision to 64
8.606 * * * * [points]: Setting MPFR precision to 320
8.617 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
8.620 * * * * [points]: Setting MPFR precision to 64
8.643 * * * * [points]: Setting MPFR precision to 320
8.690 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
8.692 * * * * [points]: Setting MPFR precision to 64
8.785 * * * * [points]: Setting MPFR precision to 320
8.895 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
8.897 * * * * [points]: Setting MPFR precision to 64
9.569 * * * * [points]: Setting MPFR precision to 320
9.612 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
9.677 * * * * [points]: Setting MPFR precision to 64
9.879 * * * * [points]: Setting MPFR precision to 320
10.113 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
10.117 * * * * [points]: Setting MPFR precision to 64
11.408 * * * * [points]: Setting MPFR precision to 320
11.769 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
11.836 * * * * [points]: Setting MPFR precision to 64
16.712 * * * * [points]: Setting MPFR precision to 320
17.917 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
17.920 * * * * [points]: Setting MPFR precision to 64
20.896 * * * * [points]: Setting MPFR precision to 320
22.091 * * * * [points]: Computing exacts for 8000 points
22.126 * * * * [points]: Setting MPFR precision to 64
34.079 * * * * [points]: Setting MPFR precision to 320
44.200 * * * * [points]: Filtering points with unrepresentable outputs
44.233 * * * * [points]: Sampling 3992 additional inputs, on iter 1 have 4008 / 8000
44.474 * * * * [points]: Computing exacts on every 249 of 3992 points to ramp up precision
44.563 * * * * [points]: Setting MPFR precision to 64
44.625 * * * * [points]: Setting MPFR precision to 320
44.631 * * * * [points]: Computing exacts on every 124 of 3992 points to ramp up precision
44.634 * * * * [points]: Setting MPFR precision to 64
44.663 * * * * [points]: Setting MPFR precision to 320
44.683 * * * * [points]: Computing exacts on every 62 of 3992 points to ramp up precision
44.685 * * * * [points]: Setting MPFR precision to 64
44.853 * * * * [points]: Setting MPFR precision to 320
44.892 * * * * [points]: Computing exacts on every 31 of 3992 points to ramp up precision
44.906 * * * * [points]: Setting MPFR precision to 64
44.982 * * * * [points]: Setting MPFR precision to 320
45.062 * * * * [points]: Computing exacts on every 15 of 3992 points to ramp up precision
45.065 * * * * [points]: Setting MPFR precision to 64
46.004 * * * * [points]: Setting MPFR precision to 320
46.072 * * * * [points]: Computing exacts on every 7 of 3992 points to ramp up precision
46.083 * * * * [points]: Setting MPFR precision to 64
46.167 * * * * [points]: Setting MPFR precision to 320
48.433 * * * * [points]: Computing exacts on every 3 of 3992 points to ramp up precision
48.439 * * * * [points]: Setting MPFR precision to 64
48.657 * * * * [points]: Setting MPFR precision to 320
49.466 * * * * [points]: Computing exacts for 3992 points
49.490 * * * * [points]: Setting MPFR precision to 64
53.645 * * * * [points]: Setting MPFR precision to 320
57.476 * * * * [points]: Filtering points with unrepresentable outputs
57.494 * * * * [points]: Sampling 1971 additional inputs, on iter 2 have 6029 / 8000
57.525 * * * * [points]: Computing exacts on every 123 of 1971 points to ramp up precision
57.592 * * * * [points]: Setting MPFR precision to 64
57.599 * * * * [points]: Setting MPFR precision to 320
57.614 * * * * [points]: Computing exacts on every 61 of 1971 points to ramp up precision
57.617 * * * * [points]: Setting MPFR precision to 64
57.653 * * * * [points]: Setting MPFR precision to 320
57.674 * * * * [points]: Computing exacts on every 30 of 1971 points to ramp up precision
57.677 * * * * [points]: Setting MPFR precision to 64
57.705 * * * * [points]: Setting MPFR precision to 320
57.721 * * * * [points]: Computing exacts on every 15 of 1971 points to ramp up precision
57.724 * * * * [points]: Setting MPFR precision to 64
57.759 * * * * [points]: Setting MPFR precision to 320
57.804 * * * * [points]: Computing exacts on every 7 of 1971 points to ramp up precision
57.807 * * * * [points]: Setting MPFR precision to 64
57.968 * * * * [points]: Setting MPFR precision to 320
58.122 * * * * [points]: Computing exacts on every 3 of 1971 points to ramp up precision
58.125 * * * * [points]: Setting MPFR precision to 64
58.279 * * * * [points]: Setting MPFR precision to 320
60.150 * * * * [points]: Computing exacts for 1971 points
60.154 * * * * [points]: Setting MPFR precision to 64
61.538 * * * * [points]: Setting MPFR precision to 320
63.705 * * * * [points]: Filtering points with unrepresentable outputs
63.718 * * * * [points]: Sampling 973 additional inputs, on iter 3 have 7027 / 8000
63.735 * * * * [points]: Computing exacts on every 60 of 973 points to ramp up precision
63.737 * * * * [points]: Setting MPFR precision to 64
63.747 * * * * [points]: Setting MPFR precision to 320
63.750 * * * * [points]: Computing exacts on every 30 of 973 points to ramp up precision
63.752 * * * * [points]: Setting MPFR precision to 64
63.776 * * * * [points]: Setting MPFR precision to 320
63.782 * * * * [points]: Computing exacts on every 15 of 973 points to ramp up precision
63.785 * * * * [points]: Setting MPFR precision to 64
64.210 * * * * [points]: Setting MPFR precision to 320
64.228 * * * * [points]: Computing exacts on every 7 of 973 points to ramp up precision
64.231 * * * * [points]: Setting MPFR precision to 64
64.258 * * * * [points]: Setting MPFR precision to 320
64.284 * * * * [points]: Computing exacts on every 3 of 973 points to ramp up precision
64.287 * * * * [points]: Setting MPFR precision to 64
64.329 * * * * [points]: Setting MPFR precision to 320
64.376 * * * * [points]: Computing exacts for 973 points
64.378 * * * * [points]: Setting MPFR precision to 64
64.956 * * * * [points]: Setting MPFR precision to 320
66.567 * * * * [points]: Filtering points with unrepresentable outputs
66.573 * * * * [points]: Sampling 484 additional inputs, on iter 4 have 7516 / 8000
66.599 * * * * [points]: Computing exacts on every 30 of 484 points to ramp up precision
66.652 * * * * [points]: Setting MPFR precision to 64
66.682 * * * * [points]: Setting MPFR precision to 320
66.685 * * * * [points]: Computing exacts on every 15 of 484 points to ramp up precision
66.692 * * * * [points]: Setting MPFR precision to 64
66.708 * * * * [points]: Setting MPFR precision to 320
66.714 * * * * [points]: Computing exacts on every 7 of 484 points to ramp up precision
66.718 * * * * [points]: Setting MPFR precision to 64
66.739 * * * * [points]: Setting MPFR precision to 320
66.757 * * * * [points]: Computing exacts on every 3 of 484 points to ramp up precision
66.760 * * * * [points]: Setting MPFR precision to 64
66.783 * * * * [points]: Setting MPFR precision to 320
68.038 * * * * [points]: Computing exacts for 484 points
68.041 * * * * [points]: Setting MPFR precision to 64
68.125 * * * * [points]: Setting MPFR precision to 320
68.209 * * * * [points]: Filtering points with unrepresentable outputs
68.211 * * * * [points]: Sampling 219 additional inputs, on iter 5 have 7781 / 8000
68.227 * * * * [points]: Computing exacts on every 13 of 219 points to ramp up precision
68.231 * * * * [points]: Setting MPFR precision to 64
68.237 * * * * [points]: Setting MPFR precision to 320
68.241 * * * * [points]: Computing exacts on every 6 of 219 points to ramp up precision
68.244 * * * * [points]: Setting MPFR precision to 64
69.272 * * * * [points]: Setting MPFR precision to 320
69.277 * * * * [points]: Computing exacts on every 3 of 219 points to ramp up precision
69.279 * * * * [points]: Setting MPFR precision to 64
69.287 * * * * [points]: Setting MPFR precision to 320
69.297 * * * * [points]: Computing exacts for 219 points
69.300 * * * * [points]: Setting MPFR precision to 64
69.348 * * * * [points]: Setting MPFR precision to 320
69.390 * * * * [points]: Filtering points with unrepresentable outputs
69.391 * * * * [points]: Sampling 98 additional inputs, on iter 6 have 7902 / 8000
69.399 * * * * [points]: Computing exacts on every 6 of 98 points to ramp up precision
69.401 * * * * [points]: Setting MPFR precision to 64
69.404 * * * * [points]: Setting MPFR precision to 320
69.407 * * * * [points]: Computing exacts on every 3 of 98 points to ramp up precision
69.410 * * * * [points]: Setting MPFR precision to 64
69.415 * * * * [points]: Setting MPFR precision to 320
69.420 * * * * [points]: Computing exacts for 98 points
69.423 * * * * [points]: Setting MPFR precision to 64
69.440 * * * * [points]: Setting MPFR precision to 320
69.470 * * * * [points]: Filtering points with unrepresentable outputs
69.471 * * * * [points]: Sampling 42 additional inputs, on iter 7 have 7958 / 8000
69.471 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
69.473 * * * * [points]: Setting MPFR precision to 64
69.484 * * * * [points]: Setting MPFR precision to 320
69.493 * * * * [points]: Computing exacts for 42 points
69.496 * * * * [points]: Setting MPFR precision to 64
69.517 * * * * [points]: Setting MPFR precision to 320
69.531 * * * * [points]: Filtering points with unrepresentable outputs
69.531 * * * * [points]: Sampling 21 additional inputs, on iter 8 have 7979 / 8000
69.532 * * * * [points]: Computing exacts for 21 points
70.647 * * * * [points]: Setting MPFR precision to 64
70.652 * * * * [points]: Setting MPFR precision to 320
70.669 * * * * [points]: Filtering points with unrepresentable outputs
70.669 * * * * [points]: Sampling 9 additional inputs, on iter 9 have 7991 / 8000
70.672 * * * * [points]: Computing exacts for 9 points
70.686 * * * * [points]: Setting MPFR precision to 64
70.690 * * * * [points]: Setting MPFR precision to 320
70.700 * * * * [points]: Filtering points with unrepresentable outputs
70.700 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000
70.701 * * * * [points]: Computing exacts for 4 points
70.703 * * * * [points]: Setting MPFR precision to 64
70.707 * * * * [points]: Setting MPFR precision to 320
70.716 * * * * [points]: Filtering points with unrepresentable outputs
70.716 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7999 / 8000
70.716 * * * * [points]: Computing exacts for 4 points
70.719 * * * * [points]: Setting MPFR precision to 64
70.720 * * * * [points]: Setting MPFR precision to 320
70.721 * * * * [points]: Filtering points with unrepresentable outputs
70.721 * * * * [points]: Sampled 8001 points with exact outputs
71.758 * [regime-testing]: Baseline error score: 0.01
71.808 * [regime-testing]: Oracle error score: 0.01
71.823 * [regime-testing]: End program error score: 0.01