1.148 * [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.044 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.173 * * * * [points]: Setting MPFR precision to 64
0.179 * * * * [points]: Setting MPFR precision to 320
0.186 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.189 * * * * [points]: Setting MPFR precision to 64
0.197 * * * * [points]: Setting MPFR precision to 320
0.205 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.208 * * * * [points]: Setting MPFR precision to 64
0.221 * * * * [points]: Setting MPFR precision to 320
0.236 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.238 * * * * [points]: Setting MPFR precision to 64
0.261 * * * * [points]: Setting MPFR precision to 320
0.284 * * * * [points]: Computing exacts for 256 points
0.287 * * * * [points]: Setting MPFR precision to 64
0.346 * * * * [points]: Setting MPFR precision to 320
0.397 * * * * [points]: Filtering points with unrepresentable outputs
0.400 * * * * [points]: Sampling 118 additional inputs, on iter 1 have 138 / 256
0.402 * * * * [points]: Computing exacts on every 7 of 118 points to ramp up precision
0.455 * * * * [points]: Setting MPFR precision to 64
0.458 * * * * [points]: Setting MPFR precision to 320
0.462 * * * * [points]: Computing exacts on every 3 of 118 points to ramp up precision
0.469 * * * * [points]: Setting MPFR precision to 64
0.475 * * * * [points]: Setting MPFR precision to 320
0.483 * * * * [points]: Computing exacts for 118 points
0.485 * * * * [points]: Setting MPFR precision to 64
0.515 * * * * [points]: Setting MPFR precision to 320
0.550 * * * * [points]: Filtering points with unrepresentable outputs
0.551 * * * * [points]: Sampling 54 additional inputs, on iter 2 have 202 / 256
0.552 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
0.555 * * * * [points]: Setting MPFR precision to 64
0.559 * * * * [points]: Setting MPFR precision to 320
0.563 * * * * [points]: Computing exacts for 54 points
0.566 * * * * [points]: Setting MPFR precision to 64
0.580 * * * * [points]: Setting MPFR precision to 320
0.596 * * * * [points]: Filtering points with unrepresentable outputs
0.597 * * * * [points]: Sampling 29 additional inputs, on iter 3 have 227 / 256
0.598 * * * * [points]: Computing exacts for 29 points
0.600 * * * * [points]: Setting MPFR precision to 64
0.608 * * * * [points]: Setting MPFR precision to 320
0.616 * * * * [points]: Filtering points with unrepresentable outputs
0.616 * * * * [points]: Sampling 18 additional inputs, on iter 4 have 238 / 256
0.617 * * * * [points]: Computing exacts for 18 points
0.620 * * * * [points]: Setting MPFR precision to 64
0.623 * * * * [points]: Setting MPFR precision to 320
0.625 * * * * [points]: Filtering points with unrepresentable outputs
0.625 * * * * [points]: Sampling 10 additional inputs, on iter 5 have 246 / 256
0.625 * * * * [points]: Computing exacts for 10 points
0.627 * * * * [points]: Setting MPFR precision to 64
0.629 * * * * [points]: Setting MPFR precision to 320
0.631 * * * * [points]: Filtering points with unrepresentable outputs
0.631 * * * * [points]: Sampling 5 additional inputs, on iter 6 have 251 / 256
0.631 * * * * [points]: Computing exacts for 5 points
0.632 * * * * [points]: Setting MPFR precision to 64
0.633 * * * * [points]: Setting MPFR precision to 320
0.634 * * * * [points]: Filtering points with unrepresentable outputs
0.634 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256
0.634 * * * * [points]: Computing exacts for 4 points
0.636 * * * * [points]: Setting MPFR precision to 64
0.636 * * * * [points]: Setting MPFR precision to 320
0.637 * * * * [points]: Filtering points with unrepresentable outputs
0.637 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256
0.637 * * * * [points]: Computing exacts for 4 points
0.638 * * * * [points]: Setting MPFR precision to 64
0.639 * * * * [points]: Setting MPFR precision to 320
0.639 * * * * [points]: Filtering points with unrepresentable outputs
0.639 * * * * [points]: Sampled 257 points with exact outputs
0.640 * * * [progress]: [2/2] Setting up program.
0.649 * [progress]: [Phase 2 of 3] Improving.
0.649 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))))>
0.651 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.679 * * [simplify]: iteration 0: 12 enodes
0.693 * * [simplify]: iteration 1: 16 enodes
0.704 * * [simplify]: iteration complete: 16 enodes
0.704 * * [simplify]: Extracting #0: cost 1 inf + 0
0.704 * * [simplify]: Extracting #1: cost 2 inf + 0
0.704 * * [simplify]: Extracting #2: cost 4 inf + 0
0.704 * * [simplify]: Extracting #3: cost 8 inf + 0
0.705 * * [simplify]: Extracting #4: cost 7 inf + 4
0.705 * * [simplify]: Extracting #5: cost 11 inf + 4
0.705 * * [simplify]: Extracting #6: cost 8 inf + 47
0.705 * * [simplify]: Extracting #7: cost 3 inf + 396
0.705 * * [simplify]: Extracting #8: cost 0 inf + 2186
0.705 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
0.708 * * [progress]: iteration 1 / 4
0.708 * * * [progress]: picking best candidate
0.716 * * * * [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))))>
0.716 * * * [progress]: localizing error
0.946 * * * [progress]: generating rewritten candidates
0.946 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.961 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
0.964 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
0.968 * * * [progress]: generating series expansions
0.968 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.968 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
0.968 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
0.969 * * * [progress]: simplifying candidates
0.969 * * * * [progress]: [ 1 / 4 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))))>
0.969 * * * * [progress]: [ 2 / 4 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))))>
0.969 * * * * [progress]: [ 3 / 4 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))))>
0.969 * * * * [progress]: [ 4 / 4 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))))>
0.969 * [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)))
0.970 * * [simplify]: iteration 0: 12 enodes
0.988 * * [simplify]: iteration 1: 16 enodes
1.008 * * [simplify]: iteration complete: 16 enodes
1.009 * * [simplify]: Extracting #0: cost 1 inf + 0
1.009 * * [simplify]: Extracting #1: cost 2 inf + 0
1.009 * * [simplify]: Extracting #2: cost 4 inf + 0
1.009 * * [simplify]: Extracting #3: cost 8 inf + 0
1.009 * * [simplify]: Extracting #4: cost 7 inf + 4
1.009 * * [simplify]: Extracting #5: cost 11 inf + 4
1.009 * * [simplify]: Extracting #6: cost 8 inf + 47
1.009 * * [simplify]: Extracting #7: cost 3 inf + 396
1.009 * * [simplify]: Extracting #8: cost 0 inf + 2186
1.010 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
1.010 * * * [progress]: adding candidates to table
1.042 * [progress]: [Phase 3 of 3] Extracting.
1.059 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.059 * * [simplify]: iteration 0: 12 enodes
1.061 * * [simplify]: iteration 1: 13 enodes
1.063 * * [simplify]: iteration complete: 13 enodes
1.063 * * [simplify]: Extracting #0: cost 1 inf + 0
1.063 * * [simplify]: Extracting #1: cost 2 inf + 0
1.063 * * [simplify]: Extracting #2: cost 4 inf + 0
1.063 * * [simplify]: Extracting #3: cost 8 inf + 0
1.064 * * [simplify]: Extracting #4: cost 7 inf + 4
1.064 * * [simplify]: Extracting #5: cost 9 inf + 4
1.064 * * [simplify]: Extracting #6: cost 7 inf + 6
1.064 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.064 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
1.064 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.145 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.147 * * * * [points]: Setting MPFR precision to 64
1.149 * * * * [points]: Setting MPFR precision to 320
1.153 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.155 * * * * [points]: Setting MPFR precision to 64
1.159 * * * * [points]: Setting MPFR precision to 320
1.164 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.167 * * * * [points]: Setting MPFR precision to 64
1.183 * * * * [points]: Setting MPFR precision to 320
1.196 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.198 * * * * [points]: Setting MPFR precision to 64
1.213 * * * * [points]: Setting MPFR precision to 320
1.234 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.237 * * * * [points]: Setting MPFR precision to 64
1.327 * * * * [points]: Setting MPFR precision to 320
1.374 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.377 * * * * [points]: Setting MPFR precision to 64
1.475 * * * * [points]: Setting MPFR precision to 320
1.603 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.605 * * * * [points]: Setting MPFR precision to 64
1.831 * * * * [points]: Setting MPFR precision to 320
2.100 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
2.103 * * * * [points]: Setting MPFR precision to 64
2.897 * * * * [points]: Setting MPFR precision to 320
3.410 * * * * [points]: Computing exacts for 8000 points
3.413 * * * * [points]: Setting MPFR precision to 64
5.446 * * * * [points]: Setting MPFR precision to 320
7.806 * * * * [points]: Filtering points with unrepresentable outputs
7.868 * * * * [points]: Sampling 3930 additional inputs, on iter 1 have 4070 / 8000
7.906 * * * * [points]: Computing exacts on every 245 of 3930 points to ramp up precision
7.908 * * * * [points]: Setting MPFR precision to 64
7.910 * * * * [points]: Setting MPFR precision to 320
7.914 * * * * [points]: Computing exacts on every 122 of 3930 points to ramp up precision
7.917 * * * * [points]: Setting MPFR precision to 64
7.925 * * * * [points]: Setting MPFR precision to 320
7.933 * * * * [points]: Computing exacts on every 61 of 3930 points to ramp up precision
7.935 * * * * [points]: Setting MPFR precision to 64
7.950 * * * * [points]: Setting MPFR precision to 320
7.966 * * * * [points]: Computing exacts on every 30 of 3930 points to ramp up precision
7.968 * * * * [points]: Setting MPFR precision to 64
7.996 * * * * [points]: Setting MPFR precision to 320
8.021 * * * * [points]: Computing exacts on every 15 of 3930 points to ramp up precision
8.023 * * * * [points]: Setting MPFR precision to 64
8.074 * * * * [points]: Setting MPFR precision to 320
8.133 * * * * [points]: Computing exacts on every 7 of 3930 points to ramp up precision
8.136 * * * * [points]: Setting MPFR precision to 64
8.253 * * * * [points]: Setting MPFR precision to 320
8.379 * * * * [points]: Computing exacts on every 3 of 3930 points to ramp up precision
8.381 * * * * [points]: Setting MPFR precision to 64
8.935 * * * * [points]: Setting MPFR precision to 320
9.192 * * * * [points]: Computing exacts for 3930 points
9.195 * * * * [points]: Setting MPFR precision to 64
10.103 * * * * [points]: Setting MPFR precision to 320
10.954 * * * * [points]: Filtering points with unrepresentable outputs
11.000 * * * * [points]: Sampling 1931 additional inputs, on iter 2 have 6069 / 8000
11.015 * * * * [points]: Computing exacts on every 120 of 1931 points to ramp up precision
11.018 * * * * [points]: Setting MPFR precision to 64
11.022 * * * * [points]: Setting MPFR precision to 320
11.026 * * * * [points]: Computing exacts on every 60 of 1931 points to ramp up precision
11.029 * * * * [points]: Setting MPFR precision to 64
11.037 * * * * [points]: Setting MPFR precision to 320
11.045 * * * * [points]: Computing exacts on every 30 of 1931 points to ramp up precision
11.048 * * * * [points]: Setting MPFR precision to 64
11.061 * * * * [points]: Setting MPFR precision to 320
11.079 * * * * [points]: Computing exacts on every 15 of 1931 points to ramp up precision
11.082 * * * * [points]: Setting MPFR precision to 64
11.110 * * * * [points]: Setting MPFR precision to 320
11.143 * * * * [points]: Computing exacts on every 7 of 1931 points to ramp up precision
11.146 * * * * [points]: Setting MPFR precision to 64
11.212 * * * * [points]: Setting MPFR precision to 320
11.247 * * * * [points]: Computing exacts on every 3 of 1931 points to ramp up precision
11.250 * * * * [points]: Setting MPFR precision to 64
11.340 * * * * [points]: Setting MPFR precision to 320
11.871 * * * * [points]: Computing exacts for 1931 points
11.872 * * * * [points]: Setting MPFR precision to 64
12.287 * * * * [points]: Setting MPFR precision to 320
12.785 * * * * [points]: Filtering points with unrepresentable outputs
12.806 * * * * [points]: Sampling 983 additional inputs, on iter 3 have 7017 / 8000
12.822 * * * * [points]: Computing exacts on every 61 of 983 points to ramp up precision
12.826 * * * * [points]: Setting MPFR precision to 64
12.829 * * * * [points]: Setting MPFR precision to 320
12.833 * * * * [points]: Computing exacts on every 30 of 983 points to ramp up precision
12.836 * * * * [points]: Setting MPFR precision to 64
12.843 * * * * [points]: Setting MPFR precision to 320
12.848 * * * * [points]: Computing exacts on every 15 of 983 points to ramp up precision
12.850 * * * * [points]: Setting MPFR precision to 64
12.858 * * * * [points]: Setting MPFR precision to 320
12.866 * * * * [points]: Computing exacts on every 7 of 983 points to ramp up precision
12.867 * * * * [points]: Setting MPFR precision to 64
12.901 * * * * [points]: Setting MPFR precision to 320
12.931 * * * * [points]: Computing exacts on every 3 of 983 points to ramp up precision
12.934 * * * * [points]: Setting MPFR precision to 64
12.973 * * * * [points]: Setting MPFR precision to 320
13.012 * * * * [points]: Computing exacts for 983 points
13.014 * * * * [points]: Setting MPFR precision to 64
13.213 * * * * [points]: Setting MPFR precision to 320
13.511 * * * * [points]: Filtering points with unrepresentable outputs
13.522 * * * * [points]: Sampling 521 additional inputs, on iter 4 have 7479 / 8000
13.530 * * * * [points]: Computing exacts on every 32 of 521 points to ramp up precision
13.533 * * * * [points]: Setting MPFR precision to 64
13.537 * * * * [points]: Setting MPFR precision to 320
13.541 * * * * [points]: Computing exacts on every 16 of 521 points to ramp up precision
13.544 * * * * [points]: Setting MPFR precision to 64
13.551 * * * * [points]: Setting MPFR precision to 320
13.558 * * * * [points]: Computing exacts on every 8 of 521 points to ramp up precision
13.560 * * * * [points]: Setting MPFR precision to 64
13.602 * * * * [points]: Setting MPFR precision to 320
13.617 * * * * [points]: Computing exacts on every 4 of 521 points to ramp up precision
13.620 * * * * [points]: Setting MPFR precision to 64
13.645 * * * * [points]: Setting MPFR precision to 320
13.672 * * * * [points]: Computing exacts on every 2 of 521 points to ramp up precision
13.675 * * * * [points]: Setting MPFR precision to 64
13.710 * * * * [points]: Setting MPFR precision to 320
13.734 * * * * [points]: Computing exacts for 521 points
13.737 * * * * [points]: Setting MPFR precision to 64
13.868 * * * * [points]: Setting MPFR precision to 320
13.974 * * * * [points]: Filtering points with unrepresentable outputs
13.977 * * * * [points]: Sampling 251 additional inputs, on iter 5 have 7749 / 8000
13.979 * * * * [points]: Computing exacts on every 15 of 251 points to ramp up precision
13.980 * * * * [points]: Setting MPFR precision to 64
13.982 * * * * [points]: Setting MPFR precision to 320
13.984 * * * * [points]: Computing exacts on every 7 of 251 points to ramp up precision
13.986 * * * * [points]: Setting MPFR precision to 64
13.990 * * * * [points]: Setting MPFR precision to 320
14.023 * * * * [points]: Computing exacts on every 3 of 251 points to ramp up precision
14.026 * * * * [points]: Setting MPFR precision to 64
14.044 * * * * [points]: Setting MPFR precision to 320
14.053 * * * * [points]: Computing exacts for 251 points
14.055 * * * * [points]: Setting MPFR precision to 64
14.098 * * * * [points]: Setting MPFR precision to 320
14.164 * * * * [points]: Setting MPFR precision to 576
14.212 * * * * [points]: Filtering points with unrepresentable outputs
14.214 * * * * [points]: Sampling 115 additional inputs, on iter 6 have 7885 / 8000
14.215 * * * * [points]: Computing exacts on every 7 of 115 points to ramp up precision
14.265 * * * * [points]: Setting MPFR precision to 320
14.269 * * * * [points]: Setting MPFR precision to 576
14.277 * * * * [points]: Computing exacts on every 3 of 115 points to ramp up precision
14.280 * * * * [points]: Setting MPFR precision to 320
14.286 * * * * [points]: Setting MPFR precision to 576
14.294 * * * * [points]: Computing exacts for 115 points
14.296 * * * * [points]: Setting MPFR precision to 320
14.328 * * * * [points]: Setting MPFR precision to 576
14.350 * * * * [points]: Filtering points with unrepresentable outputs
14.351 * * * * [points]: Sampling 53 additional inputs, on iter 7 have 7947 / 8000
14.352 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
14.353 * * * * [points]: Setting MPFR precision to 320
14.355 * * * * [points]: Setting MPFR precision to 576
14.357 * * * * [points]: Computing exacts for 53 points
14.359 * * * * [points]: Setting MPFR precision to 320
14.367 * * * * [points]: Setting MPFR precision to 576
14.383 * * * * [points]: Filtering points with unrepresentable outputs
14.384 * * * * [points]: Sampling 25 additional inputs, on iter 8 have 7975 / 8000
14.384 * * * * [points]: Computing exacts for 25 points
14.387 * * * * [points]: Setting MPFR precision to 320
14.394 * * * * [points]: Setting MPFR precision to 576
14.401 * * * * [points]: Filtering points with unrepresentable outputs
14.401 * * * * [points]: Sampling 11 additional inputs, on iter 9 have 7989 / 8000
14.402 * * * * [points]: Computing exacts for 11 points
14.405 * * * * [points]: Setting MPFR precision to 320
14.406 * * * * [points]: Setting MPFR precision to 576
14.408 * * * * [points]: Filtering points with unrepresentable outputs
14.408 * * * * [points]: Sampling 5 additional inputs, on iter 10 have 7995 / 8000
14.408 * * * * [points]: Computing exacts for 5 points
14.410 * * * * [points]: Setting MPFR precision to 320
14.410 * * * * [points]: Setting MPFR precision to 576
14.411 * * * * [points]: Filtering points with unrepresentable outputs
14.412 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7999 / 8000
14.412 * * * * [points]: Computing exacts for 4 points
14.413 * * * * [points]: Setting MPFR precision to 320
14.414 * * * * [points]: Setting MPFR precision to 576
14.414 * * * * [points]: Filtering points with unrepresentable outputs
14.414 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000
14.415 * * * * [points]: Computing exacts for 4 points
14.416 * * * * [points]: Setting MPFR precision to 320
14.417 * * * * [points]: Setting MPFR precision to 576
14.417 * * * * [points]: Filtering points with unrepresentable outputs
14.417 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000
14.417 * * * * [points]: Computing exacts for 4 points
14.419 * * * * [points]: Setting MPFR precision to 320
14.419 * * * * [points]: Setting MPFR precision to 576
14.420 * * * * [points]: Filtering points with unrepresentable outputs
14.420 * * * * [points]: Sampled 8000 points with exact outputs
15.888 * [regime-testing]: Baseline error score: 0.012625
15.934 * [regime-testing]: Oracle error score: 0.012625
15.935 * [regime-testing]: End program error score: 0.012625