1.041 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.004 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.084 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.186 * * * * [points]: Setting MPFR precision to 64
0.191 * * * * [points]: Setting MPFR precision to 320
0.194 * * * * [points]: Setting MPFR precision to 576
0.196 * * * * [points]: Setting MPFR precision to 832
0.200 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.206 * * * * [points]: Setting MPFR precision to 576
0.213 * * * * [points]: Setting MPFR precision to 832
0.258 * * * * [points]: Setting MPFR precision to 1088
0.267 * * * * [points]: Setting MPFR precision to 1344
0.278 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.284 * * * * [points]: Setting MPFR precision to 1088
0.298 * * * * [points]: Setting MPFR precision to 1344
0.316 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.319 * * * * [points]: Setting MPFR precision to 1088
0.352 * * * * [points]: Setting MPFR precision to 1344
0.377 * * * * [points]: Computing exacts for 256 points
0.437 * * * * [points]: Setting MPFR precision to 1088
0.505 * * * * [points]: Setting MPFR precision to 1344
0.582 * * * * [points]: Filtering points with unrepresentable outputs
0.583 * * * * [points]: Sampling 133 additional inputs, on iter 1 have 123 / 256
0.585 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision
0.588 * * * * [points]: Setting MPFR precision to 1088
0.592 * * * * [points]: Setting MPFR precision to 1344
0.596 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision
0.598 * * * * [points]: Setting MPFR precision to 1088
0.605 * * * * [points]: Setting MPFR precision to 1344
0.613 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision
0.615 * * * * [points]: Setting MPFR precision to 1088
0.624 * * * * [points]: Setting MPFR precision to 1344
0.636 * * * * [points]: Computing exacts for 133 points
0.639 * * * * [points]: Setting MPFR precision to 1088
0.704 * * * * [points]: Setting MPFR precision to 1344
0.743 * * * * [points]: Filtering points with unrepresentable outputs
0.743 * * * * [points]: Sampling 57 additional inputs, on iter 2 have 199 / 256
0.744 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
0.746 * * * * [points]: Setting MPFR precision to 1088
0.749 * * * * [points]: Setting MPFR precision to 1344
0.753 * * * * [points]: Computing exacts for 57 points
0.757 * * * * [points]: Setting MPFR precision to 1088
0.770 * * * * [points]: Setting MPFR precision to 1344
0.785 * * * * [points]: Filtering points with unrepresentable outputs
0.786 * * * * [points]: Sampling 20 additional inputs, on iter 3 have 236 / 256
0.786 * * * * [points]: Computing exacts for 20 points
0.788 * * * * [points]: Setting MPFR precision to 1088
0.792 * * * * [points]: Setting MPFR precision to 1344
0.798 * * * * [points]: Filtering points with unrepresentable outputs
0.798 * * * * [points]: Sampling 12 additional inputs, on iter 4 have 244 / 256
0.798 * * * * [points]: Computing exacts for 12 points
0.800 * * * * [points]: Setting MPFR precision to 1088
0.803 * * * * [points]: Setting MPFR precision to 1344
0.807 * * * * [points]: Filtering points with unrepresentable outputs
0.807 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256
0.807 * * * * [points]: Computing exacts for 7 points
0.809 * * * * [points]: Setting MPFR precision to 1088
0.811 * * * * [points]: Setting MPFR precision to 1344
0.813 * * * * [points]: Filtering points with unrepresentable outputs
0.814 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.814 * * * * [points]: Computing exacts for 4 points
0.818 * * * * [points]: Setting MPFR precision to 1088
0.819 * * * * [points]: Setting MPFR precision to 1344
0.822 * * * * [points]: Filtering points with unrepresentable outputs
0.822 * * * * [points]: Sampled 256 points with exact outputs
0.823 * * * [progress]: [2/2] Setting up program.
0.833 * [progress]: [Phase 2 of 3] Improving.
0.873 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.874 * * [simplify]: iteration 0: 12 enodes
0.884 * * [simplify]: iteration 1: 16 enodes
0.888 * * [simplify]: iteration complete: 16 enodes
0.888 * * [simplify]: Extracting #0: cost 1 inf + 0
0.888 * * [simplify]: Extracting #1: cost 2 inf + 0
0.889 * * [simplify]: Extracting #2: cost 4 inf + 0
0.889 * * [simplify]: Extracting #3: cost 8 inf + 0
0.889 * * [simplify]: Extracting #4: cost 7 inf + 4
0.889 * * [simplify]: Extracting #5: cost 11 inf + 4
0.889 * * [simplify]: Extracting #6: cost 8 inf + 47
0.890 * * [simplify]: Extracting #7: cost 3 inf + 396
0.890 * * [simplify]: Extracting #8: cost 0 inf + 2186
0.890 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
0.893 * * [progress]: iteration 1 / 4
0.893 * * * [progress]: picking best candidate
0.902 * * * * [pick]: Picked  #<alt (λ (xre xim) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))))>
0.902 * * * [progress]: localizing error
1.046 * * * [progress]: generating rewritten candidates
1.046 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.049 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.049 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1.049 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.052 * * * [progress]: generating series expansions
1.053 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.053 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.053 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.053 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.053 * * * [progress]: simplifying candidates
1.054 * [simplify]: Simplifying:
  (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))))
  (neg.c (complex 2.0 0.0))
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.054 * * [simplify]: iteration 0: 14 enodes
1.057 * * [simplify]: iteration 1: 21 enodes
1.062 * * [simplify]: iteration complete: 21 enodes
1.062 * * [simplify]: Extracting #0: cost 3 inf + 0
1.062 * * [simplify]: Extracting #1: cost 8 inf + 0
1.062 * * [simplify]: Extracting #2: cost 12 inf + 0
1.062 * * [simplify]: Extracting #3: cost 10 inf + 86
1.062 * * [simplify]: Extracting #4: cost 12 inf + 168
1.062 * * [simplify]: Extracting #5: cost 9 inf + 211
1.063 * * [simplify]: Extracting #6: cost 4 inf + 560
1.063 * * [simplify]: Extracting #7: cost 0 inf + 2732
1.064 * [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))
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
1.064 * * * [progress]: adding candidates to table
1.090 * [progress]: [Phase 3 of 3] Extracting.
1.096 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.096 * * [simplify]: iteration 0: 12 enodes
1.097 * * [simplify]: iteration 1: 13 enodes
1.098 * * [simplify]: iteration complete: 13 enodes
1.098 * * [simplify]: Extracting #0: cost 1 inf + 0
1.098 * * [simplify]: Extracting #1: cost 2 inf + 0
1.098 * * [simplify]: Extracting #2: cost 4 inf + 0
1.098 * * [simplify]: Extracting #3: cost 8 inf + 0
1.098 * * [simplify]: Extracting #4: cost 7 inf + 4
1.098 * * [simplify]: Extracting #5: cost 9 inf + 4
1.098 * * [simplify]: Extracting #6: cost 7 inf + 6
1.098 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.098 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
1.098 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.258 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.260 * * * * [points]: Setting MPFR precision to 1088
1.264 * * * * [points]: Setting MPFR precision to 1344
1.268 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.272 * * * * [points]: Setting MPFR precision to 1088
1.284 * * * * [points]: Setting MPFR precision to 1344
1.300 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.303 * * * * [points]: Setting MPFR precision to 1088
1.315 * * * * [points]: Setting MPFR precision to 1344
1.332 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.336 * * * * [points]: Setting MPFR precision to 1088
1.389 * * * * [points]: Setting MPFR precision to 1344
1.455 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.458 * * * * [points]: Setting MPFR precision to 1088
1.568 * * * * [points]: Setting MPFR precision to 1344
1.676 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.681 * * * * [points]: Setting MPFR precision to 1088
1.899 * * * * [points]: Setting MPFR precision to 1344
2.145 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.148 * * * * [points]: Setting MPFR precision to 1088
2.412 * * * * [points]: Setting MPFR precision to 1344
3.210 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.219 * * * * [points]: Setting MPFR precision to 1088
3.998 * * * * [points]: Setting MPFR precision to 1344
4.831 * * * * [points]: Computing exacts for 8000 points
4.833 * * * * [points]: Setting MPFR precision to 1088
8.282 * * * * [points]: Setting MPFR precision to 1344
12.439 * * * * [points]: Filtering points with unrepresentable outputs
12.516 * * * * [points]: Sampling 3962 additional inputs, on iter 1 have 4038 / 8000
12.584 * * * * [points]: Computing exacts on every 247 of 3962 points to ramp up precision
12.587 * * * * [points]: Setting MPFR precision to 1088
12.590 * * * * [points]: Setting MPFR precision to 1344
12.594 * * * * [points]: Computing exacts on every 123 of 3962 points to ramp up precision
12.596 * * * * [points]: Setting MPFR precision to 1088
12.603 * * * * [points]: Setting MPFR precision to 1344
12.614 * * * * [points]: Computing exacts on every 61 of 3962 points to ramp up precision
12.616 * * * * [points]: Setting MPFR precision to 1088
12.629 * * * * [points]: Setting MPFR precision to 1344
12.663 * * * * [points]: Computing exacts on every 30 of 3962 points to ramp up precision
12.665 * * * * [points]: Setting MPFR precision to 1088
12.692 * * * * [points]: Setting MPFR precision to 1344
12.726 * * * * [points]: Computing exacts on every 15 of 3962 points to ramp up precision
12.729 * * * * [points]: Setting MPFR precision to 1088
12.809 * * * * [points]: Setting MPFR precision to 1344
12.919 * * * * [points]: Computing exacts on every 7 of 3962 points to ramp up precision
12.924 * * * * [points]: Setting MPFR precision to 1088
13.148 * * * * [points]: Setting MPFR precision to 1344
13.435 * * * * [points]: Computing exacts on every 3 of 3962 points to ramp up precision
13.439 * * * * [points]: Setting MPFR precision to 1088
13.776 * * * * [points]: Setting MPFR precision to 1344
14.603 * * * * [points]: Computing exacts for 3962 points
14.605 * * * * [points]: Setting MPFR precision to 1088
15.997 * * * * [points]: Setting MPFR precision to 1344
18.109 * * * * [points]: Filtering points with unrepresentable outputs
18.117 * * * * [points]: Sampling 1972 additional inputs, on iter 2 have 6028 / 8000
18.146 * * * * [points]: Computing exacts on every 123 of 1972 points to ramp up precision
18.148 * * * * [points]: Setting MPFR precision to 1088
18.152 * * * * [points]: Setting MPFR precision to 1344
18.156 * * * * [points]: Computing exacts on every 61 of 1972 points to ramp up precision
18.174 * * * * [points]: Setting MPFR precision to 1088
18.180 * * * * [points]: Setting MPFR precision to 1344
18.189 * * * * [points]: Computing exacts on every 30 of 1972 points to ramp up precision
18.191 * * * * [points]: Setting MPFR precision to 1088
18.206 * * * * [points]: Setting MPFR precision to 1344
18.223 * * * * [points]: Computing exacts on every 15 of 1972 points to ramp up precision
18.225 * * * * [points]: Setting MPFR precision to 1088
18.271 * * * * [points]: Setting MPFR precision to 1344
18.341 * * * * [points]: Computing exacts on every 7 of 1972 points to ramp up precision
18.346 * * * * [points]: Setting MPFR precision to 1088
18.422 * * * * [points]: Setting MPFR precision to 1344
18.563 * * * * [points]: Computing exacts on every 3 of 1972 points to ramp up precision
18.566 * * * * [points]: Setting MPFR precision to 1088
18.753 * * * * [points]: Setting MPFR precision to 1344
18.995 * * * * [points]: Computing exacts for 1972 points
18.999 * * * * [points]: Setting MPFR precision to 1088
19.867 * * * * [points]: Setting MPFR precision to 1344
20.846 * * * * [points]: Filtering points with unrepresentable outputs
20.854 * * * * [points]: Sampling 960 additional inputs, on iter 3 have 7040 / 8000
20.879 * * * * [points]: Computing exacts on every 60 of 960 points to ramp up precision
20.912 * * * * [points]: Setting MPFR precision to 1088
20.916 * * * * [points]: Setting MPFR precision to 1344
20.922 * * * * [points]: Computing exacts on every 30 of 960 points to ramp up precision
20.924 * * * * [points]: Setting MPFR precision to 1088
20.934 * * * * [points]: Setting MPFR precision to 1344
20.950 * * * * [points]: Computing exacts on every 15 of 960 points to ramp up precision
20.954 * * * * [points]: Setting MPFR precision to 1088
20.982 * * * * [points]: Setting MPFR precision to 1344
21.012 * * * * [points]: Computing exacts on every 7 of 960 points to ramp up precision
21.016 * * * * [points]: Setting MPFR precision to 1088
21.053 * * * * [points]: Setting MPFR precision to 1344
21.096 * * * * [points]: Computing exacts on every 3 of 960 points to ramp up precision
21.100 * * * * [points]: Setting MPFR precision to 1088
21.235 * * * * [points]: Setting MPFR precision to 1344
21.334 * * * * [points]: Computing exacts for 960 points
21.339 * * * * [points]: Setting MPFR precision to 1088
21.647 * * * * [points]: Setting MPFR precision to 1344
22.474 * * * * [points]: Filtering points with unrepresentable outputs
22.478 * * * * [points]: Sampling 467 additional inputs, on iter 4 have 7533 / 8000
22.493 * * * * [points]: Computing exacts on every 29 of 467 points to ramp up precision
22.497 * * * * [points]: Setting MPFR precision to 1088
22.504 * * * * [points]: Setting MPFR precision to 1344
22.508 * * * * [points]: Computing exacts on every 14 of 467 points to ramp up precision
22.510 * * * * [points]: Setting MPFR precision to 1088
22.518 * * * * [points]: Setting MPFR precision to 1344
22.526 * * * * [points]: Computing exacts on every 7 of 467 points to ramp up precision
22.528 * * * * [points]: Setting MPFR precision to 1088
22.547 * * * * [points]: Setting MPFR precision to 1344
22.563 * * * * [points]: Computing exacts on every 3 of 467 points to ramp up precision
22.566 * * * * [points]: Setting MPFR precision to 1088
22.645 * * * * [points]: Setting MPFR precision to 1344
22.697 * * * * [points]: Computing exacts for 467 points
22.701 * * * * [points]: Setting MPFR precision to 1088
22.879 * * * * [points]: Setting MPFR precision to 1344
23.118 * * * * [points]: Filtering points with unrepresentable outputs
23.119 * * * * [points]: Sampling 216 additional inputs, on iter 5 have 7784 / 8000
23.122 * * * * [points]: Computing exacts on every 13 of 216 points to ramp up precision
23.125 * * * * [points]: Setting MPFR precision to 1088
23.128 * * * * [points]: Setting MPFR precision to 1344
23.132 * * * * [points]: Computing exacts on every 6 of 216 points to ramp up precision
23.134 * * * * [points]: Setting MPFR precision to 1088
23.141 * * * * [points]: Setting MPFR precision to 1344
23.149 * * * * [points]: Computing exacts on every 3 of 216 points to ramp up precision
23.151 * * * * [points]: Setting MPFR precision to 1088
23.162 * * * * [points]: Setting MPFR precision to 1344
23.176 * * * * [points]: Computing exacts for 216 points
23.179 * * * * [points]: Setting MPFR precision to 1088
23.250 * * * * [points]: Setting MPFR precision to 1344
23.324 * * * * [points]: Filtering points with unrepresentable outputs
23.325 * * * * [points]: Sampling 111 additional inputs, on iter 6 have 7889 / 8000
23.327 * * * * [points]: Computing exacts on every 6 of 111 points to ramp up precision
23.329 * * * * [points]: Setting MPFR precision to 1088
23.333 * * * * [points]: Setting MPFR precision to 1344
23.337 * * * * [points]: Computing exacts on every 3 of 111 points to ramp up precision
23.340 * * * * [points]: Setting MPFR precision to 1088
23.346 * * * * [points]: Setting MPFR precision to 1344
23.355 * * * * [points]: Computing exacts for 111 points
23.357 * * * * [points]: Setting MPFR precision to 1088
23.380 * * * * [points]: Setting MPFR precision to 1344
23.411 * * * * [points]: Filtering points with unrepresentable outputs
23.412 * * * * [points]: Sampling 59 additional inputs, on iter 7 have 7941 / 8000
23.413 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
23.416 * * * * [points]: Setting MPFR precision to 1088
23.419 * * * * [points]: Setting MPFR precision to 1344
23.424 * * * * [points]: Computing exacts for 59 points
23.427 * * * * [points]: Setting MPFR precision to 1088
23.440 * * * * [points]: Setting MPFR precision to 1344
23.490 * * * * [points]: Filtering points with unrepresentable outputs
23.491 * * * * [points]: Sampling 30 additional inputs, on iter 8 have 7970 / 8000
23.492 * * * * [points]: Computing exacts for 30 points
23.496 * * * * [points]: Setting MPFR precision to 1088
23.505 * * * * [points]: Setting MPFR precision to 1344
23.514 * * * * [points]: Filtering points with unrepresentable outputs
23.514 * * * * [points]: Sampling 13 additional inputs, on iter 9 have 7987 / 8000
23.514 * * * * [points]: Computing exacts for 13 points
23.517 * * * * [points]: Setting MPFR precision to 1088
23.520 * * * * [points]: Setting MPFR precision to 1344
23.524 * * * * [points]: Filtering points with unrepresentable outputs
23.524 * * * * [points]: Sampling 7 additional inputs, on iter 10 have 7993 / 8000
23.525 * * * * [points]: Computing exacts for 7 points
23.527 * * * * [points]: Setting MPFR precision to 1088
23.528 * * * * [points]: Setting MPFR precision to 1344
23.530 * * * * [points]: Filtering points with unrepresentable outputs
23.530 * * * * [points]: Sampling 6 additional inputs, on iter 11 have 7994 / 8000
23.530 * * * * [points]: Computing exacts for 6 points
23.532 * * * * [points]: Setting MPFR precision to 1088
23.534 * * * * [points]: Setting MPFR precision to 1344
23.535 * * * * [points]: Filtering points with unrepresentable outputs
23.535 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
23.536 * * * * [points]: Computing exacts for 4 points
23.538 * * * * [points]: Setting MPFR precision to 1088
23.539 * * * * [points]: Setting MPFR precision to 1344
23.540 * * * * [points]: Filtering points with unrepresentable outputs
23.540 * * * * [points]: Sampled 8001 points with exact outputs
23.916 * [regime-testing]: Baseline error score: 43.46032222852669
23.934 * [regime-testing]: Oracle error score: 43.46032222852669
23.934 * [regime-testing]: End program error score: 43.46032222852669