0.633 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.006 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.106 * * * * [points]: Setting MPFR precision to 64
0.111 * * * * [points]: Setting MPFR precision to 320
0.115 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.118 * * * * [points]: Setting MPFR precision to 64
0.125 * * * * [points]: Setting MPFR precision to 320
0.131 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.134 * * * * [points]: Setting MPFR precision to 64
0.145 * * * * [points]: Setting MPFR precision to 320
0.157 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.160 * * * * [points]: Setting MPFR precision to 64
0.176 * * * * [points]: Setting MPFR precision to 320
0.194 * * * * [points]: Computing exacts for 256 points
0.196 * * * * [points]: Setting MPFR precision to 64
0.251 * * * * [points]: Setting MPFR precision to 320
0.362 * * * * [points]: Filtering points with unrepresentable outputs
0.364 * * * * [points]: Sampling 119 additional inputs, on iter 1 have 137 / 256
0.365 * * * * [points]: Computing exacts on every 7 of 119 points to ramp up precision
0.367 * * * * [points]: Setting MPFR precision to 64
0.368 * * * * [points]: Setting MPFR precision to 320
0.370 * * * * [points]: Computing exacts on every 3 of 119 points to ramp up precision
0.371 * * * * [points]: Setting MPFR precision to 64
0.374 * * * * [points]: Setting MPFR precision to 320
0.377 * * * * [points]: Computing exacts for 119 points
0.379 * * * * [points]: Setting MPFR precision to 64
0.396 * * * * [points]: Setting MPFR precision to 320
0.414 * * * * [points]: Filtering points with unrepresentable outputs
0.415 * * * * [points]: Sampling 55 additional inputs, on iter 2 have 201 / 256
0.416 * * * * [points]: Computing exacts on every 3 of 55 points to ramp up precision
0.417 * * * * [points]: Setting MPFR precision to 64
0.419 * * * * [points]: Setting MPFR precision to 320
0.420 * * * * [points]: Computing exacts for 55 points
0.422 * * * * [points]: Setting MPFR precision to 64
0.427 * * * * [points]: Setting MPFR precision to 320
0.434 * * * * [points]: Filtering points with unrepresentable outputs
0.435 * * * * [points]: Sampling 19 additional inputs, on iter 3 have 237 / 256
0.435 * * * * [points]: Computing exacts for 19 points
0.438 * * * * [points]: Setting MPFR precision to 64
0.442 * * * * [points]: Setting MPFR precision to 320
0.446 * * * * [points]: Filtering points with unrepresentable outputs
0.446 * * * * [points]: Sampling 13 additional inputs, on iter 4 have 243 / 256
0.446 * * * * [points]: Computing exacts for 13 points
0.449 * * * * [points]: Setting MPFR precision to 64
0.452 * * * * [points]: Setting MPFR precision to 320
0.455 * * * * [points]: Filtering points with unrepresentable outputs
0.455 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 254 / 256
0.455 * * * * [points]: Computing exacts for 4 points
0.458 * * * * [points]: Setting MPFR precision to 64
0.459 * * * * [points]: Setting MPFR precision to 320
0.460 * * * * [points]: Filtering points with unrepresentable outputs
0.460 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256
0.460 * * * * [points]: Computing exacts for 4 points
0.463 * * * * [points]: Setting MPFR precision to 64
0.463 * * * * [points]: Setting MPFR precision to 320
0.464 * * * * [points]: Filtering points with unrepresentable outputs
0.464 * * * * [points]: Sampled 258 points with exact outputs
0.465 * * * [progress]: [2/2] Setting up program.
0.485 * [progress]: [Phase 2 of 3] Improving.
0.485 * * * * [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.517 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.518 * * [simplify]: iteration 0: 12 enodes
0.528 * * [simplify]: iteration 1: 16 enodes
0.533 * * [simplify]: iteration complete: 16 enodes
0.533 * * [simplify]: Extracting #0: cost 1 inf + 0
0.533 * * [simplify]: Extracting #1: cost 2 inf + 0
0.533 * * [simplify]: Extracting #2: cost 4 inf + 0
0.533 * * [simplify]: Extracting #3: cost 8 inf + 0
0.534 * * [simplify]: Extracting #4: cost 7 inf + 4
0.534 * * [simplify]: Extracting #5: cost 11 inf + 4
0.534 * * [simplify]: Extracting #6: cost 8 inf + 47
0.534 * * [simplify]: Extracting #7: cost 3 inf + 396
0.534 * * [simplify]: Extracting #8: cost 0 inf + 2186
0.534 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
0.539 * * [progress]: iteration 1 / 4
0.539 * * * [progress]: picking best candidate
0.556 * * * * [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.556 * * * [progress]: localizing error
0.671 * * * [progress]: generating rewritten candidates
0.671 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.675 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
0.675 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.675 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.681 * * * [progress]: generating series expansions
0.681 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.682 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
0.682 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.682 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.682 * * * [progress]: simplifying candidates
0.682 * * * * [progress]: [ 1 / 6 ] 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.682 * * * * [progress]: [ 2 / 6 ] simplifiying candidate #<alt (λ (xre xim) (re (/.c (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))) (neg.c (complex 2.0 0.0)))))>
0.682 * * * * [progress]: [ 3 / 6 ] 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.682 * * * * [progress]: [ 4 / 6 ] 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.682 * * * * [progress]: [ 5 / 6 ] 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.682 * * * * [progress]: [ 6 / 6 ] 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.683 * [simplify]: Simplifying:
  (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))))
  (neg.c (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)))
  (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.683 * * [simplify]: iteration 0: 14 enodes
0.688 * * [simplify]: iteration 1: 21 enodes
0.694 * * [simplify]: iteration complete: 21 enodes
0.694 * * [simplify]: Extracting #0: cost 3 inf + 0
0.694 * * [simplify]: Extracting #1: cost 8 inf + 0
0.694 * * [simplify]: Extracting #2: cost 12 inf + 0
0.694 * * [simplify]: Extracting #3: cost 10 inf + 86
0.694 * * [simplify]: Extracting #4: cost 12 inf + 168
0.694 * * [simplify]: Extracting #5: cost 9 inf + 211
0.694 * * [simplify]: Extracting #6: cost 4 inf + 560
0.695 * * [simplify]: Extracting #7: cost 0 inf + 2732
0.695 * [simplify]: Simplified to:
  (neg.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))))
  (neg.c (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)))
  (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)))
0.695 * * * [progress]: adding candidates to table
0.715 * [progress]: [Phase 3 of 3] Extracting.
0.733 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.733 * * [simplify]: iteration 0: 12 enodes
0.736 * * [simplify]: iteration 1: 13 enodes
0.737 * * [simplify]: iteration complete: 13 enodes
0.737 * * [simplify]: Extracting #0: cost 1 inf + 0
0.737 * * [simplify]: Extracting #1: cost 2 inf + 0
0.737 * * [simplify]: Extracting #2: cost 4 inf + 0
0.737 * * [simplify]: Extracting #3: cost 8 inf + 0
0.737 * * [simplify]: Extracting #4: cost 7 inf + 4
0.738 * * [simplify]: Extracting #5: cost 9 inf + 4
0.738 * * [simplify]: Extracting #6: cost 7 inf + 6
0.738 * * [simplify]: Extracting #7: cost 0 inf + 2104
0.738 * [simplify]: Simplified to:
  (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
0.738 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.859 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.862 * * * * [points]: Setting MPFR precision to 64
0.865 * * * * [points]: Setting MPFR precision to 320
0.868 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.871 * * * * [points]: Setting MPFR precision to 64
0.876 * * * * [points]: Setting MPFR precision to 320
0.882 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
0.885 * * * * [points]: Setting MPFR precision to 64
0.899 * * * * [points]: Setting MPFR precision to 320
0.914 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
0.916 * * * * [points]: Setting MPFR precision to 64
0.962 * * * * [points]: Setting MPFR precision to 320
0.990 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
0.993 * * * * [points]: Setting MPFR precision to 64
1.044 * * * * [points]: Setting MPFR precision to 320
1.099 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.102 * * * * [points]: Setting MPFR precision to 64
1.249 * * * * [points]: Setting MPFR precision to 320
1.321 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.324 * * * * [points]: Setting MPFR precision to 64
1.534 * * * * [points]: Setting MPFR precision to 320
1.733 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.736 * * * * [points]: Setting MPFR precision to 64
2.164 * * * * [points]: Setting MPFR precision to 320
2.964 * * * * [points]: Computing exacts for 8000 points
2.966 * * * * [points]: Setting MPFR precision to 64
4.568 * * * * [points]: Setting MPFR precision to 320
6.607 * * * * [points]: Filtering points with unrepresentable outputs
6.685 * * * * [points]: Sampling 3964 additional inputs, on iter 1 have 4036 / 8000
6.722 * * * * [points]: Computing exacts on every 247 of 3964 points to ramp up precision
6.724 * * * * [points]: Setting MPFR precision to 64
6.725 * * * * [points]: Setting MPFR precision to 320
6.727 * * * * [points]: Computing exacts on every 123 of 3964 points to ramp up precision
6.728 * * * * [points]: Setting MPFR precision to 64
6.732 * * * * [points]: Setting MPFR precision to 320
6.735 * * * * [points]: Computing exacts on every 61 of 3964 points to ramp up precision
6.736 * * * * [points]: Setting MPFR precision to 64
6.743 * * * * [points]: Setting MPFR precision to 320
6.753 * * * * [points]: Computing exacts on every 30 of 3964 points to ramp up precision
6.756 * * * * [points]: Setting MPFR precision to 64
6.788 * * * * [points]: Setting MPFR precision to 320
6.802 * * * * [points]: Computing exacts on every 15 of 3964 points to ramp up precision
6.804 * * * * [points]: Setting MPFR precision to 64
6.829 * * * * [points]: Setting MPFR precision to 320
6.878 * * * * [points]: Computing exacts on every 7 of 3964 points to ramp up precision
6.880 * * * * [points]: Setting MPFR precision to 64
6.999 * * * * [points]: Setting MPFR precision to 320
7.063 * * * * [points]: Computing exacts on every 3 of 3964 points to ramp up precision
7.065 * * * * [points]: Setting MPFR precision to 64
7.255 * * * * [points]: Setting MPFR precision to 320
7.446 * * * * [points]: Computing exacts for 3964 points
7.447 * * * * [points]: Setting MPFR precision to 64
8.589 * * * * [points]: Setting MPFR precision to 320
9.435 * * * * [points]: Filtering points with unrepresentable outputs
9.499 * * * * [points]: Sampling 1975 additional inputs, on iter 2 have 6025 / 8000
9.535 * * * * [points]: Computing exacts on every 123 of 1975 points to ramp up precision
9.538 * * * * [points]: Setting MPFR precision to 64
9.542 * * * * [points]: Setting MPFR precision to 320
9.546 * * * * [points]: Computing exacts on every 61 of 1975 points to ramp up precision
9.548 * * * * [points]: Setting MPFR precision to 64
9.555 * * * * [points]: Setting MPFR precision to 320
9.562 * * * * [points]: Computing exacts on every 30 of 1975 points to ramp up precision
9.564 * * * * [points]: Setting MPFR precision to 64
9.577 * * * * [points]: Setting MPFR precision to 320
9.591 * * * * [points]: Computing exacts on every 15 of 1975 points to ramp up precision
9.594 * * * * [points]: Setting MPFR precision to 64
9.619 * * * * [points]: Setting MPFR precision to 320
9.644 * * * * [points]: Computing exacts on every 7 of 1975 points to ramp up precision
9.647 * * * * [points]: Setting MPFR precision to 64
9.695 * * * * [points]: Setting MPFR precision to 320
9.756 * * * * [points]: Computing exacts on every 3 of 1975 points to ramp up precision
9.758 * * * * [points]: Setting MPFR precision to 64
9.824 * * * * [points]: Setting MPFR precision to 320
9.985 * * * * [points]: Computing exacts for 1975 points
9.988 * * * * [points]: Setting MPFR precision to 64
10.344 * * * * [points]: Setting MPFR precision to 320
11.097 * * * * [points]: Filtering points with unrepresentable outputs
11.108 * * * * [points]: Sampling 986 additional inputs, on iter 3 have 7014 / 8000
11.160 * * * * [points]: Computing exacts on every 61 of 986 points to ramp up precision
11.162 * * * * [points]: Setting MPFR precision to 64
11.164 * * * * [points]: Setting MPFR precision to 320
11.166 * * * * [points]: Computing exacts on every 30 of 986 points to ramp up precision
11.167 * * * * [points]: Setting MPFR precision to 64
11.172 * * * * [points]: Setting MPFR precision to 320
11.176 * * * * [points]: Computing exacts on every 15 of 986 points to ramp up precision
11.177 * * * * [points]: Setting MPFR precision to 64
11.185 * * * * [points]: Setting MPFR precision to 320
11.198 * * * * [points]: Computing exacts on every 7 of 986 points to ramp up precision
11.201 * * * * [points]: Setting MPFR precision to 64
11.218 * * * * [points]: Setting MPFR precision to 320
11.231 * * * * [points]: Computing exacts on every 3 of 986 points to ramp up precision
11.233 * * * * [points]: Setting MPFR precision to 64
11.276 * * * * [points]: Setting MPFR precision to 320
11.308 * * * * [points]: Computing exacts for 986 points
11.310 * * * * [points]: Setting MPFR precision to 64
11.529 * * * * [points]: Setting MPFR precision to 320
11.746 * * * * [points]: Filtering points with unrepresentable outputs
11.751 * * * * [points]: Sampling 493 additional inputs, on iter 4 have 7507 / 8000
11.755 * * * * [points]: Computing exacts on every 30 of 493 points to ramp up precision
11.757 * * * * [points]: Setting MPFR precision to 64
11.759 * * * * [points]: Setting MPFR precision to 320
11.760 * * * * [points]: Computing exacts on every 15 of 493 points to ramp up precision
11.762 * * * * [points]: Setting MPFR precision to 64
11.811 * * * * [points]: Setting MPFR precision to 320
11.817 * * * * [points]: Computing exacts on every 7 of 493 points to ramp up precision
11.824 * * * * [points]: Setting MPFR precision to 64
11.834 * * * * [points]: Setting MPFR precision to 320
11.845 * * * * [points]: Computing exacts on every 3 of 493 points to ramp up precision
11.847 * * * * [points]: Setting MPFR precision to 64
11.859 * * * * [points]: Setting MPFR precision to 320
11.873 * * * * [points]: Computing exacts for 493 points
11.874 * * * * [points]: Setting MPFR precision to 64
11.930 * * * * [points]: Setting MPFR precision to 320
12.057 * * * * [points]: Filtering points with unrepresentable outputs
12.060 * * * * [points]: Sampling 255 additional inputs, on iter 5 have 7745 / 8000
12.062 * * * * [points]: Computing exacts on every 15 of 255 points to ramp up precision
12.064 * * * * [points]: Setting MPFR precision to 64
12.066 * * * * [points]: Setting MPFR precision to 320
12.067 * * * * [points]: Computing exacts on every 7 of 255 points to ramp up precision
12.069 * * * * [points]: Setting MPFR precision to 64
12.072 * * * * [points]: Setting MPFR precision to 320
12.076 * * * * [points]: Computing exacts on every 3 of 255 points to ramp up precision
12.077 * * * * [points]: Setting MPFR precision to 64
12.084 * * * * [points]: Setting MPFR precision to 320
12.098 * * * * [points]: Computing exacts for 255 points
12.101 * * * * [points]: Setting MPFR precision to 64
12.150 * * * * [points]: Setting MPFR precision to 320
12.236 * * * * [points]: Filtering points with unrepresentable outputs
12.238 * * * * [points]: Sampling 117 additional inputs, on iter 6 have 7883 / 8000
12.239 * * * * [points]: Computing exacts on every 7 of 117 points to ramp up precision
12.241 * * * * [points]: Setting MPFR precision to 64
12.242 * * * * [points]: Setting MPFR precision to 320
12.244 * * * * [points]: Computing exacts on every 3 of 117 points to ramp up precision
12.245 * * * * [points]: Setting MPFR precision to 64
12.251 * * * * [points]: Setting MPFR precision to 320
12.258 * * * * [points]: Computing exacts for 117 points
12.260 * * * * [points]: Setting MPFR precision to 64
12.279 * * * * [points]: Setting MPFR precision to 320
12.293 * * * * [points]: Filtering points with unrepresentable outputs
12.293 * * * * [points]: Sampling 55 additional inputs, on iter 7 have 7945 / 8000
12.294 * * * * [points]: Computing exacts on every 3 of 55 points to ramp up precision
12.295 * * * * [points]: Setting MPFR precision to 64
12.297 * * * * [points]: Setting MPFR precision to 320
12.298 * * * * [points]: Computing exacts for 55 points
12.300 * * * * [points]: Setting MPFR precision to 64
12.305 * * * * [points]: Setting MPFR precision to 320
12.316 * * * * [points]: Filtering points with unrepresentable outputs
12.317 * * * * [points]: Sampling 26 additional inputs, on iter 8 have 7974 / 8000
12.317 * * * * [points]: Computing exacts for 26 points
12.320 * * * * [points]: Setting MPFR precision to 64
12.325 * * * * [points]: Setting MPFR precision to 320
12.331 * * * * [points]: Filtering points with unrepresentable outputs
12.331 * * * * [points]: Sampling 12 additional inputs, on iter 9 have 7988 / 8000
12.332 * * * * [points]: Computing exacts for 12 points
12.334 * * * * [points]: Setting MPFR precision to 64
12.337 * * * * [points]: Setting MPFR precision to 320
12.339 * * * * [points]: Filtering points with unrepresentable outputs
12.339 * * * * [points]: Sampling 7 additional inputs, on iter 10 have 7993 / 8000
12.340 * * * * [points]: Computing exacts for 7 points
12.342 * * * * [points]: Setting MPFR precision to 64
12.343 * * * * [points]: Setting MPFR precision to 320
12.345 * * * * [points]: Filtering points with unrepresentable outputs
12.345 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
12.345 * * * * [points]: Computing exacts for 4 points
12.348 * * * * [points]: Setting MPFR precision to 64
12.348 * * * * [points]: Setting MPFR precision to 320
12.349 * * * * [points]: Filtering points with unrepresentable outputs
12.349 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
12.350 * * * * [points]: Computing exacts for 4 points
12.352 * * * * [points]: Setting MPFR precision to 64
12.353 * * * * [points]: Setting MPFR precision to 320
12.354 * * * * [points]: Filtering points with unrepresentable outputs
12.354 * * * * [points]: Sampled 8000 points with exact outputs
13.409 * [regime-testing]: Baseline error score: 0.01425
13.446 * [regime-testing]: Oracle error score: 0.01425
13.446 * [regime-testing]: End program error score: 0.01425