0.708 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.005 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.010 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.099 * * * * [points]: Setting MPFR precision to 64
0.104 * * * * [points]: Setting MPFR precision to 320
0.108 * * * * [points]: Setting MPFR precision to 576
0.112 * * * * [points]: Setting MPFR precision to 832
0.117 * * * * [points]: Setting MPFR precision to 1088
0.124 * * * * [points]: Setting MPFR precision to 1344
0.133 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.138 * * * * [points]: Setting MPFR precision to 1088
0.153 * * * * [points]: Setting MPFR precision to 1344
0.197 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.202 * * * * [points]: Setting MPFR precision to 1088
0.217 * * * * [points]: Setting MPFR precision to 1344
0.277 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.285 * * * * [points]: Setting MPFR precision to 1088
0.363 * * * * [points]: Setting MPFR precision to 1344
0.394 * * * * [points]: Computing exacts for 256 points
0.397 * * * * [points]: Setting MPFR precision to 1088
0.496 * * * * [points]: Setting MPFR precision to 1344
0.566 * * * * [points]: Filtering points with unrepresentable outputs
0.567 * * * * [points]: Sampling 122 additional inputs, on iter 1 have 134 / 256
0.568 * * * * [points]: Computing exacts on every 7 of 122 points to ramp up precision
0.571 * * * * [points]: Setting MPFR precision to 1088
0.575 * * * * [points]: Setting MPFR precision to 1344
0.580 * * * * [points]: Computing exacts on every 3 of 122 points to ramp up precision
0.585 * * * * [points]: Setting MPFR precision to 1088
0.597 * * * * [points]: Setting MPFR precision to 1344
0.609 * * * * [points]: Computing exacts for 122 points
0.612 * * * * [points]: Setting MPFR precision to 1088
0.638 * * * * [points]: Setting MPFR precision to 1344
0.701 * * * * [points]: Filtering points with unrepresentable outputs
0.701 * * * * [points]: Sampling 57 additional inputs, on iter 2 have 199 / 256
0.702 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
0.705 * * * * [points]: Setting MPFR precision to 1088
0.708 * * * * [points]: Setting MPFR precision to 1344
0.712 * * * * [points]: Computing exacts for 57 points
0.714 * * * * [points]: Setting MPFR precision to 1088
0.726 * * * * [points]: Setting MPFR precision to 1344
0.743 * * * * [points]: Filtering points with unrepresentable outputs
0.743 * * * * [points]: Sampling 23 additional inputs, on iter 3 have 233 / 256
0.743 * * * * [points]: Computing exacts for 23 points
0.746 * * * * [points]: Setting MPFR precision to 1088
0.751 * * * * [points]: Setting MPFR precision to 1344
0.757 * * * * [points]: Filtering points with unrepresentable outputs
0.757 * * * * [points]: Sampling 10 additional inputs, on iter 4 have 246 / 256
0.757 * * * * [points]: Computing exacts for 10 points
0.760 * * * * [points]: Setting MPFR precision to 1088
0.761 * * * * [points]: Setting MPFR precision to 1344
0.764 * * * * [points]: Filtering points with unrepresentable outputs
0.764 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256
0.764 * * * * [points]: Computing exacts for 5 points
0.766 * * * * [points]: Setting MPFR precision to 1088
0.768 * * * * [points]: Setting MPFR precision to 1344
0.770 * * * * [points]: Filtering points with unrepresentable outputs
0.770 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256
0.770 * * * * [points]: Computing exacts for 4 points
0.772 * * * * [points]: Setting MPFR precision to 1088
0.773 * * * * [points]: Setting MPFR precision to 1344
0.774 * * * * [points]: Filtering points with unrepresentable outputs
0.774 * * * * [points]: Sampled 256 points with exact outputs
0.775 * * * [progress]: [2/2] Setting up program.
0.780 * [progress]: [Phase 2 of 3] Improving.
0.782 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.783 * * [simplify]: iteration 0: 12 enodes
0.789 * * [simplify]: iteration 1: 16 enodes
0.791 * * [simplify]: iteration complete: 16 enodes
0.791 * * [simplify]: Extracting #0: cost 1 inf + 0
0.791 * * [simplify]: Extracting #1: cost 2 inf + 0
0.791 * * [simplify]: Extracting #2: cost 4 inf + 0
0.791 * * [simplify]: Extracting #3: cost 8 inf + 0
0.792 * * [simplify]: Extracting #4: cost 7 inf + 4
0.792 * * [simplify]: Extracting #5: cost 11 inf + 4
0.792 * * [simplify]: Extracting #6: cost 8 inf + 47
0.792 * * [simplify]: Extracting #7: cost 3 inf + 396
0.792 * * [simplify]: Extracting #8: cost 0 inf + 2186
0.792 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
0.794 * * [progress]: iteration 1 / 4
0.794 * * * [progress]: picking best candidate
0.814 * * * * [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.815 * * * [progress]: localizing error
0.910 * * * [progress]: generating rewritten candidates
0.910 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.913 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1)
0.913 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2)
0.914 * * * [progress]: generating series expansions
0.914 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.914 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1)
0.915 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2)
0.915 * * * [progress]: simplifying candidates
0.915 * [simplify]: Simplifying:
  (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)))
0.915 * * [simplify]: iteration 0: 12 enodes
0.917 * * [simplify]: iteration 1: 16 enodes
0.918 * * [simplify]: iteration complete: 16 enodes
0.918 * * [simplify]: Extracting #0: cost 1 inf + 0
0.918 * * [simplify]: Extracting #1: cost 2 inf + 0
0.918 * * [simplify]: Extracting #2: cost 4 inf + 0
0.918 * * [simplify]: Extracting #3: cost 8 inf + 0
0.918 * * [simplify]: Extracting #4: cost 7 inf + 4
0.918 * * [simplify]: Extracting #5: cost 11 inf + 4
0.918 * * [simplify]: Extracting #6: cost 8 inf + 47
0.918 * * [simplify]: Extracting #7: cost 3 inf + 396
0.919 * * [simplify]: Extracting #8: cost 0 inf + 2186
0.919 * [simplify]: Simplified to:
  (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)))
0.919 * * * [progress]: adding candidates to table
0.926 * [progress]: [Phase 3 of 3] Extracting.
0.930 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.930 * * [simplify]: iteration 0: 12 enodes
0.931 * * [simplify]: iteration 1: 13 enodes
0.932 * * [simplify]: iteration complete: 13 enodes
0.932 * * [simplify]: Extracting #0: cost 1 inf + 0
0.932 * * [simplify]: Extracting #1: cost 2 inf + 0
0.932 * * [simplify]: Extracting #2: cost 4 inf + 0
0.932 * * [simplify]: Extracting #3: cost 8 inf + 0
0.932 * * [simplify]: Extracting #4: cost 7 inf + 4
0.932 * * [simplify]: Extracting #5: cost 9 inf + 4
0.932 * * [simplify]: Extracting #6: cost 7 inf + 6
0.932 * * [simplify]: Extracting #7: cost 0 inf + 2104
0.932 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
0.932 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.013 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.016 * * * * [points]: Setting MPFR precision to 1088
1.021 * * * * [points]: Setting MPFR precision to 1344
1.028 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.033 * * * * [points]: Setting MPFR precision to 1088
1.046 * * * * [points]: Setting MPFR precision to 1344
1.054 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.064 * * * * [points]: Setting MPFR precision to 1088
1.078 * * * * [points]: Setting MPFR precision to 1344
1.104 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.108 * * * * [points]: Setting MPFR precision to 1088
1.152 * * * * [points]: Setting MPFR precision to 1344
1.197 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.200 * * * * [points]: Setting MPFR precision to 1088
1.286 * * * * [points]: Setting MPFR precision to 1344
1.434 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.439 * * * * [points]: Setting MPFR precision to 1088
1.641 * * * * [points]: Setting MPFR precision to 1344
1.915 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.918 * * * * [points]: Setting MPFR precision to 1088
2.699 * * * * [points]: Setting MPFR precision to 1344
3.099 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.104 * * * * [points]: Setting MPFR precision to 1088
3.871 * * * * [points]: Setting MPFR precision to 1344
4.943 * * * * [points]: Computing exacts for 8000 points
4.952 * * * * [points]: Setting MPFR precision to 1088
8.472 * * * * [points]: Setting MPFR precision to 1344
12.513 * * * * [points]: Filtering points with unrepresentable outputs
12.529 * * * * [points]: Sampling 3974 additional inputs, on iter 1 have 4026 / 8000
12.606 * * * * [points]: Computing exacts on every 248 of 3974 points to ramp up precision
12.609 * * * * [points]: Setting MPFR precision to 1088
12.613 * * * * [points]: Setting MPFR precision to 1344
12.617 * * * * [points]: Computing exacts on every 124 of 3974 points to ramp up precision
12.619 * * * * [points]: Setting MPFR precision to 1088
12.625 * * * * [points]: Setting MPFR precision to 1344
12.637 * * * * [points]: Computing exacts on every 62 of 3974 points to ramp up precision
12.642 * * * * [points]: Setting MPFR precision to 1088
12.664 * * * * [points]: Setting MPFR precision to 1344
12.682 * * * * [points]: Computing exacts on every 31 of 3974 points to ramp up precision
12.685 * * * * [points]: Setting MPFR precision to 1088
12.733 * * * * [points]: Setting MPFR precision to 1344
12.770 * * * * [points]: Computing exacts on every 15 of 3974 points to ramp up precision
12.772 * * * * [points]: Setting MPFR precision to 1088
12.857 * * * * [points]: Setting MPFR precision to 1344
12.956 * * * * [points]: Computing exacts on every 7 of 3974 points to ramp up precision
12.959 * * * * [points]: Setting MPFR precision to 1088
13.144 * * * * [points]: Setting MPFR precision to 1344
13.295 * * * * [points]: Computing exacts on every 3 of 3974 points to ramp up precision
13.297 * * * * [points]: Setting MPFR precision to 1088
13.656 * * * * [points]: Setting MPFR precision to 1344
14.502 * * * * [points]: Computing exacts for 3974 points
14.507 * * * * [points]: Setting MPFR precision to 1088
16.018 * * * * [points]: Setting MPFR precision to 1344
18.162 * * * * [points]: Filtering points with unrepresentable outputs
18.171 * * * * [points]: Sampling 1973 additional inputs, on iter 2 have 6027 / 8000
18.197 * * * * [points]: Computing exacts on every 123 of 1973 points to ramp up precision
18.200 * * * * [points]: Setting MPFR precision to 1088
18.203 * * * * [points]: Setting MPFR precision to 1344
18.207 * * * * [points]: Computing exacts on every 61 of 1973 points to ramp up precision
18.210 * * * * [points]: Setting MPFR precision to 1088
18.216 * * * * [points]: Setting MPFR precision to 1344
18.224 * * * * [points]: Computing exacts on every 30 of 1973 points to ramp up precision
18.227 * * * * [points]: Setting MPFR precision to 1088
18.244 * * * * [points]: Setting MPFR precision to 1344
18.265 * * * * [points]: Computing exacts on every 15 of 1973 points to ramp up precision
18.267 * * * * [points]: Setting MPFR precision to 1088
18.327 * * * * [points]: Setting MPFR precision to 1344
18.364 * * * * [points]: Computing exacts on every 7 of 1973 points to ramp up precision
18.368 * * * * [points]: Setting MPFR precision to 1088
18.435 * * * * [points]: Setting MPFR precision to 1344
18.531 * * * * [points]: Computing exacts on every 3 of 1973 points to ramp up precision
18.534 * * * * [points]: Setting MPFR precision to 1088
18.711 * * * * [points]: Setting MPFR precision to 1344
18.893 * * * * [points]: Computing exacts for 1973 points
18.943 * * * * [points]: Setting MPFR precision to 1088
19.686 * * * * [points]: Setting MPFR precision to 1344
20.528 * * * * [points]: Filtering points with unrepresentable outputs
20.532 * * * * [points]: Sampling 980 additional inputs, on iter 3 have 7020 / 8000
20.540 * * * * [points]: Computing exacts on every 61 of 980 points to ramp up precision
20.543 * * * * [points]: Setting MPFR precision to 1088
20.547 * * * * [points]: Setting MPFR precision to 1344
20.551 * * * * [points]: Computing exacts on every 30 of 980 points to ramp up precision
20.553 * * * * [points]: Setting MPFR precision to 1088
20.561 * * * * [points]: Setting MPFR precision to 1344
20.569 * * * * [points]: Computing exacts on every 15 of 980 points to ramp up precision
20.572 * * * * [points]: Setting MPFR precision to 1088
20.610 * * * * [points]: Setting MPFR precision to 1344
20.627 * * * * [points]: Computing exacts on every 7 of 980 points to ramp up precision
20.629 * * * * [points]: Setting MPFR precision to 1088
20.656 * * * * [points]: Setting MPFR precision to 1344
20.701 * * * * [points]: Computing exacts on every 3 of 980 points to ramp up precision
20.706 * * * * [points]: Setting MPFR precision to 1088
20.777 * * * * [points]: Setting MPFR precision to 1344
20.868 * * * * [points]: Computing exacts for 980 points
20.903 * * * * [points]: Setting MPFR precision to 1088
21.714 * * * * [points]: Setting MPFR precision to 1344
22.198 * * * * [points]: Filtering points with unrepresentable outputs
22.200 * * * * [points]: Sampling 497 additional inputs, on iter 4 have 7503 / 8000
22.204 * * * * [points]: Computing exacts on every 31 of 497 points to ramp up precision
22.206 * * * * [points]: Setting MPFR precision to 1088
22.209 * * * * [points]: Setting MPFR precision to 1344
22.211 * * * * [points]: Computing exacts on every 15 of 497 points to ramp up precision
22.214 * * * * [points]: Setting MPFR precision to 1088
22.222 * * * * [points]: Setting MPFR precision to 1344
22.234 * * * * [points]: Computing exacts on every 7 of 497 points to ramp up precision
22.239 * * * * [points]: Setting MPFR precision to 1088
22.262 * * * * [points]: Setting MPFR precision to 1344
22.292 * * * * [points]: Computing exacts on every 3 of 497 points to ramp up precision
22.296 * * * * [points]: Setting MPFR precision to 1088
22.343 * * * * [points]: Setting MPFR precision to 1344
22.444 * * * * [points]: Computing exacts for 497 points
22.449 * * * * [points]: Setting MPFR precision to 1088
22.602 * * * * [points]: Setting MPFR precision to 1344
22.852 * * * * [points]: Filtering points with unrepresentable outputs
22.853 * * * * [points]: Sampling 262 additional inputs, on iter 5 have 7738 / 8000
22.855 * * * * [points]: Computing exacts on every 16 of 262 points to ramp up precision
22.858 * * * * [points]: Setting MPFR precision to 1088
22.861 * * * * [points]: Setting MPFR precision to 1344
22.865 * * * * [points]: Computing exacts on every 8 of 262 points to ramp up precision
22.867 * * * * [points]: Setting MPFR precision to 1088
22.874 * * * * [points]: Setting MPFR precision to 1344
22.882 * * * * [points]: Computing exacts on every 4 of 262 points to ramp up precision
22.884 * * * * [points]: Setting MPFR precision to 1088
22.902 * * * * [points]: Setting MPFR precision to 1344
22.914 * * * * [points]: Computing exacts on every 2 of 262 points to ramp up precision
22.916 * * * * [points]: Setting MPFR precision to 1088
22.937 * * * * [points]: Setting MPFR precision to 1344
22.965 * * * * [points]: Computing exacts for 262 points
22.967 * * * * [points]: Setting MPFR precision to 1088
23.076 * * * * [points]: Setting MPFR precision to 1344
23.156 * * * * [points]: Filtering points with unrepresentable outputs
23.157 * * * * [points]: Sampling 118 additional inputs, on iter 6 have 7882 / 8000
23.158 * * * * [points]: Computing exacts on every 7 of 118 points to ramp up precision
23.160 * * * * [points]: Setting MPFR precision to 1088
23.162 * * * * [points]: Setting MPFR precision to 1344
23.166 * * * * [points]: Computing exacts on every 3 of 118 points to ramp up precision
23.168 * * * * [points]: Setting MPFR precision to 1088
23.173 * * * * [points]: Setting MPFR precision to 1344
23.181 * * * * [points]: Computing exacts for 118 points
23.185 * * * * [points]: Setting MPFR precision to 1088
23.221 * * * * [points]: Setting MPFR precision to 1344
23.291 * * * * [points]: Filtering points with unrepresentable outputs
23.292 * * * * [points]: Sampling 57 additional inputs, on iter 7 have 7943 / 8000
23.293 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
23.298 * * * * [points]: Setting MPFR precision to 1088
23.304 * * * * [points]: Setting MPFR precision to 1344
23.311 * * * * [points]: Computing exacts for 57 points
23.316 * * * * [points]: Setting MPFR precision to 1088
23.339 * * * * [points]: Setting MPFR precision to 1344
23.369 * * * * [points]: Filtering points with unrepresentable outputs
23.369 * * * * [points]: Sampling 21 additional inputs, on iter 8 have 7979 / 8000
23.370 * * * * [points]: Computing exacts for 21 points
23.374 * * * * [points]: Setting MPFR precision to 1088
23.383 * * * * [points]: Setting MPFR precision to 1344
23.395 * * * * [points]: Filtering points with unrepresentable outputs
23.395 * * * * [points]: Sampling 8 additional inputs, on iter 9 have 7992 / 8000
23.395 * * * * [points]: Computing exacts for 8 points
23.400 * * * * [points]: Setting MPFR precision to 1088
23.403 * * * * [points]: Setting MPFR precision to 1344
23.406 * * * * [points]: Filtering points with unrepresentable outputs
23.406 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7997 / 8000
23.407 * * * * [points]: Computing exacts for 4 points
23.411 * * * * [points]: Setting MPFR precision to 1088
23.413 * * * * [points]: Setting MPFR precision to 1344
23.415 * * * * [points]: Filtering points with unrepresentable outputs
23.415 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7999 / 8000
23.415 * * * * [points]: Computing exacts for 4 points
23.420 * * * * [points]: Setting MPFR precision to 1088
23.422 * * * * [points]: Setting MPFR precision to 1344
23.424 * * * * [points]: Filtering points with unrepresentable outputs
23.424 * * * * [points]: Sampled 8000 points with exact outputs
23.846 * [regime-testing]: Baseline error score: 43.473223638779984
23.862 * [regime-testing]: Oracle error score: 43.473223638779984
23.862 * [regime-testing]: End program error score: 43.473223638779984