2.363 * [progress]: [Phase 1 of 3] Setting up.
0.010 * * * [progress]: [1/2] Preparing points
0.011 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.121 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.283 * * * * [points]: Setting MPFR precision to 64
0.301 * * * * [points]: Setting MPFR precision to 320
0.305 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.312 * * * * [points]: Setting MPFR precision to 64
0.325 * * * * [points]: Setting MPFR precision to 320
0.334 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.339 * * * * [points]: Setting MPFR precision to 64
0.348 * * * * [points]: Setting MPFR precision to 320
0.363 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.365 * * * * [points]: Setting MPFR precision to 64
0.375 * * * * [points]: Setting MPFR precision to 320
0.397 * * * * [points]: Computing exacts for 256 points
0.400 * * * * [points]: Setting MPFR precision to 64
0.474 * * * * [points]: Setting MPFR precision to 320
0.702 * * * * [points]: Filtering points with unrepresentable outputs
0.704 * * * * [points]: Sampling 138 additional inputs, on iter 1 have 118 / 256
0.711 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision
0.714 * * * * [points]: Setting MPFR precision to 64
0.717 * * * * [points]: Setting MPFR precision to 320
0.720 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision
0.724 * * * * [points]: Setting MPFR precision to 64
0.736 * * * * [points]: Setting MPFR precision to 320
0.742 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision
0.745 * * * * [points]: Setting MPFR precision to 64
0.754 * * * * [points]: Setting MPFR precision to 320
0.767 * * * * [points]: Computing exacts for 138 points
0.770 * * * * [points]: Setting MPFR precision to 64
0.799 * * * * [points]: Setting MPFR precision to 320
0.842 * * * * [points]: Filtering points with unrepresentable outputs
0.843 * * * * [points]: Sampling 84 additional inputs, on iter 2 have 172 / 256
0.844 * * * * [points]: Computing exacts on every 5 of 84 points to ramp up precision
0.846 * * * * [points]: Setting MPFR precision to 64
0.847 * * * * [points]: Setting MPFR precision to 320
0.849 * * * * [points]: Computing exacts on every 2 of 84 points to ramp up precision
0.851 * * * * [points]: Setting MPFR precision to 64
0.856 * * * * [points]: Setting MPFR precision to 320
0.861 * * * * [points]: Computing exacts for 84 points
0.864 * * * * [points]: Setting MPFR precision to 64
0.881 * * * * [points]: Setting MPFR precision to 320
0.902 * * * * [points]: Filtering points with unrepresentable outputs
0.903 * * * * [points]: Sampling 52 additional inputs, on iter 3 have 204 / 256
0.903 * * * * [points]: Computing exacts on every 3 of 52 points to ramp up precision
0.906 * * * * [points]: Setting MPFR precision to 64
0.971 * * * * [points]: Setting MPFR precision to 320
0.974 * * * * [points]: Computing exacts for 52 points
0.976 * * * * [points]: Setting MPFR precision to 64
0.994 * * * * [points]: Setting MPFR precision to 320
1.006 * * * * [points]: Filtering points with unrepresentable outputs
1.006 * * * * [points]: Sampling 26 additional inputs, on iter 4 have 230 / 256
1.007 * * * * [points]: Computing exacts for 26 points
1.010 * * * * [points]: Setting MPFR precision to 64
1.016 * * * * [points]: Setting MPFR precision to 320
1.024 * * * * [points]: Filtering points with unrepresentable outputs
1.024 * * * * [points]: Sampling 16 additional inputs, on iter 5 have 240 / 256
1.024 * * * * [points]: Computing exacts for 16 points
1.028 * * * * [points]: Setting MPFR precision to 64
1.031 * * * * [points]: Setting MPFR precision to 320
1.033 * * * * [points]: Filtering points with unrepresentable outputs
1.033 * * * * [points]: Sampling 8 additional inputs, on iter 6 have 248 / 256
1.034 * * * * [points]: Computing exacts for 8 points
1.036 * * * * [points]: Setting MPFR precision to 64
1.038 * * * * [points]: Setting MPFR precision to 320
1.040 * * * * [points]: Filtering points with unrepresentable outputs
1.040 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 252 / 256
1.040 * * * * [points]: Computing exacts for 4 points
1.042 * * * * [points]: Setting MPFR precision to 64
1.043 * * * * [points]: Setting MPFR precision to 320
1.043 * * * * [points]: Filtering points with unrepresentable outputs
1.043 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256
1.044 * * * * [points]: Computing exacts for 4 points
1.045 * * * * [points]: Setting MPFR precision to 64
1.045 * * * * [points]: Setting MPFR precision to 320
1.046 * * * * [points]: Filtering points with unrepresentable outputs
1.046 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 255 / 256
1.046 * * * * [points]: Computing exacts for 4 points
1.048 * * * * [points]: Setting MPFR precision to 64
1.049 * * * * [points]: Setting MPFR precision to 320
1.050 * * * * [points]: Filtering points with unrepresentable outputs
1.050 * * * * [points]: Sampled 257 points with exact outputs
1.051 * * * [progress]: [2/2] Setting up program.
1.066 * [progress]: [Phase 2 of 3] Improving.
1.072 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.074 * * [simplify]: iteration 0: 12 enodes
1.084 * * [simplify]: iteration 1: 16 enodes
1.088 * * [simplify]: iteration complete: 16 enodes
1.088 * * [simplify]: Extracting #0: cost 1 inf + 0
1.088 * * [simplify]: Extracting #1: cost 2 inf + 0
1.088 * * [simplify]: Extracting #2: cost 4 inf + 0
1.088 * * [simplify]: Extracting #3: cost 8 inf + 0
1.089 * * [simplify]: Extracting #4: cost 7 inf + 4
1.089 * * [simplify]: Extracting #5: cost 11 inf + 4
1.089 * * [simplify]: Extracting #6: cost 7 inf + 49
1.089 * * [simplify]: Extracting #7: cost 3 inf + 396
1.090 * * [simplify]: Extracting #8: cost 0 inf + 2186
1.090 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.092 * * [progress]: iteration 1 / 4
1.092 * * * [progress]: picking best candidate
1.097 * * * * [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))))>
1.097 * * * [progress]: localizing error
1.221 * * * [progress]: generating rewritten candidates
1.222 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
1.229 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
1.230 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
1.232 * * * [progress]: generating series expansions
1.232 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
1.232 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
1.232 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
1.232 * * * [progress]: simplifying candidates
1.233 * [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)))
1.233 * * [simplify]: iteration 0: 12 enodes
1.237 * * [simplify]: iteration 1: 16 enodes
1.241 * * [simplify]: iteration complete: 16 enodes
1.241 * * [simplify]: Extracting #0: cost 1 inf + 0
1.241 * * [simplify]: Extracting #1: cost 2 inf + 0
1.241 * * [simplify]: Extracting #2: cost 4 inf + 0
1.241 * * [simplify]: Extracting #3: cost 8 inf + 0
1.241 * * [simplify]: Extracting #4: cost 7 inf + 4
1.241 * * [simplify]: Extracting #5: cost 11 inf + 4
1.241 * * [simplify]: Extracting #6: cost 7 inf + 49
1.241 * * [simplify]: Extracting #7: cost 3 inf + 396
1.242 * * [simplify]: Extracting #8: cost 0 inf + 2186
1.242 * [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)))
1.242 * * * [progress]: adding candidates to table
1.255 * [progress]: [Phase 3 of 3] Extracting.
1.263 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.264 * * [simplify]: iteration 0: 12 enodes
1.265 * * [simplify]: iteration 1: 13 enodes
1.266 * * [simplify]: iteration complete: 13 enodes
1.266 * * [simplify]: Extracting #0: cost 1 inf + 0
1.266 * * [simplify]: Extracting #1: cost 2 inf + 0
1.266 * * [simplify]: Extracting #2: cost 4 inf + 0
1.266 * * [simplify]: Extracting #3: cost 8 inf + 0
1.266 * * [simplify]: Extracting #4: cost 7 inf + 4
1.266 * * [simplify]: Extracting #5: cost 9 inf + 4
1.266 * * [simplify]: Extracting #6: cost 6 inf + 8
1.266 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.267 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.267 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.954 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.957 * * * * [points]: Setting MPFR precision to 64
1.960 * * * * [points]: Setting MPFR precision to 320
1.963 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.966 * * * * [points]: Setting MPFR precision to 64
1.971 * * * * [points]: Setting MPFR precision to 320
1.978 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.980 * * * * [points]: Setting MPFR precision to 64
1.992 * * * * [points]: Setting MPFR precision to 320
2.005 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
2.008 * * * * [points]: Setting MPFR precision to 64
2.028 * * * * [points]: Setting MPFR precision to 320
2.105 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
2.111 * * * * [points]: Setting MPFR precision to 64
2.155 * * * * [points]: Setting MPFR precision to 320
2.207 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
2.209 * * * * [points]: Setting MPFR precision to 64
2.284 * * * * [points]: Setting MPFR precision to 320
2.472 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.475 * * * * [points]: Setting MPFR precision to 64
2.735 * * * * [points]: Setting MPFR precision to 320
3.040 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.049 * * * * [points]: Setting MPFR precision to 64
3.504 * * * * [points]: Setting MPFR precision to 320
4.071 * * * * [points]: Computing exacts for 8000 points
4.074 * * * * [points]: Setting MPFR precision to 64
6.544 * * * * [points]: Setting MPFR precision to 320
9.246 * * * * [points]: Filtering points with unrepresentable outputs
9.277 * * * * [points]: Sampling 3992 additional inputs, on iter 1 have 4008 / 8000
9.356 * * * * [points]: Computing exacts on every 249 of 3992 points to ramp up precision
9.359 * * * * [points]: Setting MPFR precision to 64
9.362 * * * * [points]: Setting MPFR precision to 320
9.365 * * * * [points]: Computing exacts on every 124 of 3992 points to ramp up precision
9.367 * * * * [points]: Setting MPFR precision to 64
9.373 * * * * [points]: Setting MPFR precision to 320
9.379 * * * * [points]: Computing exacts on every 62 of 3992 points to ramp up precision
9.381 * * * * [points]: Setting MPFR precision to 64
9.393 * * * * [points]: Setting MPFR precision to 320
9.405 * * * * [points]: Computing exacts on every 31 of 3992 points to ramp up precision
9.408 * * * * [points]: Setting MPFR precision to 64
9.430 * * * * [points]: Setting MPFR precision to 320
9.454 * * * * [points]: Computing exacts on every 15 of 3992 points to ramp up precision
9.457 * * * * [points]: Setting MPFR precision to 64
9.503 * * * * [points]: Setting MPFR precision to 320
9.602 * * * * [points]: Computing exacts on every 7 of 3992 points to ramp up precision
9.606 * * * * [points]: Setting MPFR precision to 64
9.699 * * * * [points]: Setting MPFR precision to 320
9.802 * * * * [points]: Computing exacts on every 3 of 3992 points to ramp up precision
9.804 * * * * [points]: Setting MPFR precision to 64
10.119 * * * * [points]: Setting MPFR precision to 320
10.402 * * * * [points]: Computing exacts for 3992 points
10.405 * * * * [points]: Setting MPFR precision to 64
11.461 * * * * [points]: Setting MPFR precision to 320
13.026 * * * * [points]: Filtering points with unrepresentable outputs
13.043 * * * * [points]: Sampling 1971 additional inputs, on iter 2 have 6029 / 8000
13.124 * * * * [points]: Computing exacts on every 123 of 1971 points to ramp up precision
13.127 * * * * [points]: Setting MPFR precision to 64
13.133 * * * * [points]: Setting MPFR precision to 320
13.137 * * * * [points]: Computing exacts on every 61 of 1971 points to ramp up precision
13.140 * * * * [points]: Setting MPFR precision to 64
13.145 * * * * [points]: Setting MPFR precision to 320
13.152 * * * * [points]: Computing exacts on every 30 of 1971 points to ramp up precision
13.156 * * * * [points]: Setting MPFR precision to 64
13.169 * * * * [points]: Setting MPFR precision to 320
13.185 * * * * [points]: Computing exacts on every 15 of 1971 points to ramp up precision
13.188 * * * * [points]: Setting MPFR precision to 64
13.211 * * * * [points]: Setting MPFR precision to 320
13.238 * * * * [points]: Computing exacts on every 7 of 1971 points to ramp up precision
13.240 * * * * [points]: Setting MPFR precision to 64
13.285 * * * * [points]: Setting MPFR precision to 320
13.402 * * * * [points]: Computing exacts on every 3 of 1971 points to ramp up precision
13.406 * * * * [points]: Setting MPFR precision to 64
13.504 * * * * [points]: Setting MPFR precision to 320
13.665 * * * * [points]: Computing exacts for 1971 points
13.668 * * * * [points]: Setting MPFR precision to 64
14.154 * * * * [points]: Setting MPFR precision to 320
14.733 * * * * [points]: Filtering points with unrepresentable outputs
14.741 * * * * [points]: Sampling 973 additional inputs, on iter 3 have 7027 / 8000
14.758 * * * * [points]: Computing exacts on every 60 of 973 points to ramp up precision
14.761 * * * * [points]: Setting MPFR precision to 64
14.764 * * * * [points]: Setting MPFR precision to 320
14.768 * * * * [points]: Computing exacts on every 30 of 973 points to ramp up precision
14.770 * * * * [points]: Setting MPFR precision to 64
14.777 * * * * [points]: Setting MPFR precision to 320
14.783 * * * * [points]: Computing exacts on every 15 of 973 points to ramp up precision
14.786 * * * * [points]: Setting MPFR precision to 64
14.797 * * * * [points]: Setting MPFR precision to 320
14.809 * * * * [points]: Computing exacts on every 7 of 973 points to ramp up precision
14.812 * * * * [points]: Setting MPFR precision to 64
14.837 * * * * [points]: Setting MPFR precision to 320
14.864 * * * * [points]: Computing exacts on every 3 of 973 points to ramp up precision
14.867 * * * * [points]: Setting MPFR precision to 64
14.974 * * * * [points]: Setting MPFR precision to 320
15.021 * * * * [points]: Computing exacts for 973 points
15.024 * * * * [points]: Setting MPFR precision to 64
15.276 * * * * [points]: Setting MPFR precision to 320
15.544 * * * * [points]: Filtering points with unrepresentable outputs
15.549 * * * * [points]: Sampling 484 additional inputs, on iter 4 have 7516 / 8000
15.557 * * * * [points]: Computing exacts on every 30 of 484 points to ramp up precision
15.560 * * * * [points]: Setting MPFR precision to 64
15.563 * * * * [points]: Setting MPFR precision to 320
15.567 * * * * [points]: Computing exacts on every 15 of 484 points to ramp up precision
15.570 * * * * [points]: Setting MPFR precision to 64
15.575 * * * * [points]: Setting MPFR precision to 320
15.582 * * * * [points]: Computing exacts on every 7 of 484 points to ramp up precision
15.585 * * * * [points]: Setting MPFR precision to 64
15.597 * * * * [points]: Setting MPFR precision to 320
15.610 * * * * [points]: Computing exacts on every 3 of 484 points to ramp up precision
15.613 * * * * [points]: Setting MPFR precision to 64
15.630 * * * * [points]: Setting MPFR precision to 320
15.656 * * * * [points]: Computing exacts for 484 points
15.659 * * * * [points]: Setting MPFR precision to 64
16.275 * * * * [points]: Setting MPFR precision to 320
16.377 * * * * [points]: Filtering points with unrepresentable outputs
16.379 * * * * [points]: Sampling 219 additional inputs, on iter 5 have 7781 / 8000
16.383 * * * * [points]: Computing exacts on every 13 of 219 points to ramp up precision
16.386 * * * * [points]: Setting MPFR precision to 64
16.389 * * * * [points]: Setting MPFR precision to 320
16.392 * * * * [points]: Computing exacts on every 6 of 219 points to ramp up precision
16.394 * * * * [points]: Setting MPFR precision to 64
16.400 * * * * [points]: Setting MPFR precision to 320
16.406 * * * * [points]: Computing exacts on every 3 of 219 points to ramp up precision
16.409 * * * * [points]: Setting MPFR precision to 64
16.419 * * * * [points]: Setting MPFR precision to 320
16.430 * * * * [points]: Computing exacts for 219 points
16.433 * * * * [points]: Setting MPFR precision to 64
16.473 * * * * [points]: Setting MPFR precision to 320
16.584 * * * * [points]: Filtering points with unrepresentable outputs
16.585 * * * * [points]: Sampling 98 additional inputs, on iter 6 have 7902 / 8000
16.586 * * * * [points]: Computing exacts on every 6 of 98 points to ramp up precision
16.589 * * * * [points]: Setting MPFR precision to 64
16.592 * * * * [points]: Setting MPFR precision to 320
16.595 * * * * [points]: Computing exacts on every 3 of 98 points to ramp up precision
16.598 * * * * [points]: Setting MPFR precision to 64
16.602 * * * * [points]: Setting MPFR precision to 320
16.608 * * * * [points]: Computing exacts for 98 points
16.610 * * * * [points]: Setting MPFR precision to 64
16.630 * * * * [points]: Setting MPFR precision to 320
16.649 * * * * [points]: Filtering points with unrepresentable outputs
16.650 * * * * [points]: Sampling 42 additional inputs, on iter 7 have 7958 / 8000
16.651 * * * * [points]: Computing exacts on every 2 of 42 points to ramp up precision
16.655 * * * * [points]: Setting MPFR precision to 64
16.657 * * * * [points]: Setting MPFR precision to 320
16.660 * * * * [points]: Computing exacts for 42 points
16.663 * * * * [points]: Setting MPFR precision to 64
16.670 * * * * [points]: Setting MPFR precision to 320
16.678 * * * * [points]: Filtering points with unrepresentable outputs
16.678 * * * * [points]: Sampling 21 additional inputs, on iter 8 have 7979 / 8000
16.679 * * * * [points]: Computing exacts for 21 points
16.681 * * * * [points]: Setting MPFR precision to 64
16.685 * * * * [points]: Setting MPFR precision to 320
16.689 * * * * [points]: Filtering points with unrepresentable outputs
16.689 * * * * [points]: Sampling 9 additional inputs, on iter 9 have 7991 / 8000
16.689 * * * * [points]: Computing exacts for 9 points
16.692 * * * * [points]: Setting MPFR precision to 64
16.694 * * * * [points]: Setting MPFR precision to 320
16.695 * * * * [points]: Filtering points with unrepresentable outputs
16.696 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000
16.696 * * * * [points]: Computing exacts for 4 points
16.699 * * * * [points]: Setting MPFR precision to 64
16.700 * * * * [points]: Setting MPFR precision to 320
16.701 * * * * [points]: Filtering points with unrepresentable outputs
16.701 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7999 / 8000
16.701 * * * * [points]: Computing exacts for 4 points
16.705 * * * * [points]: Setting MPFR precision to 64
16.706 * * * * [points]: Setting MPFR precision to 320
16.707 * * * * [points]: Filtering points with unrepresentable outputs
16.707 * * * * [points]: Sampled 8001 points with exact outputs
17.255 * [regime-testing]: Baseline error score: 0.01
17.272 * [regime-testing]: Oracle error score: 0.01
17.273 * [regime-testing]: End program error score: 0.01