0.671 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [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.078 * * * * [points]: Setting MPFR precision to 64
0.080 * * * * [points]: Setting MPFR precision to 320
0.082 * * * * [points]: Setting MPFR precision to 576
0.085 * * * * [points]: Setting MPFR precision to 832
0.087 * * * * [points]: Setting MPFR precision to 1088
0.091 * * * * [points]: Setting MPFR precision to 1344
0.096 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.098 * * * * [points]: Setting MPFR precision to 1088
0.106 * * * * [points]: Setting MPFR precision to 1344
0.115 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.118 * * * * [points]: Setting MPFR precision to 1088
0.131 * * * * [points]: Setting MPFR precision to 1344
0.147 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.149 * * * * [points]: Setting MPFR precision to 1088
0.170 * * * * [points]: Setting MPFR precision to 1344
0.195 * * * * [points]: Computing exacts for 256 points
0.197 * * * * [points]: Setting MPFR precision to 1088
0.296 * * * * [points]: Setting MPFR precision to 1344
0.368 * * * * [points]: Filtering points with unrepresentable outputs
0.369 * * * * [points]: Sampling 122 additional inputs, on iter 1 have 134 / 256
0.370 * * * * [points]: Computing exacts on every 7 of 122 points to ramp up precision
0.372 * * * * [points]: Setting MPFR precision to 1088
0.376 * * * * [points]: Setting MPFR precision to 1344
0.380 * * * * [points]: Computing exacts on every 3 of 122 points to ramp up precision
0.382 * * * * [points]: Setting MPFR precision to 1088
0.391 * * * * [points]: Setting MPFR precision to 1344
0.431 * * * * [points]: Computing exacts for 122 points
0.437 * * * * [points]: Setting MPFR precision to 1088
0.469 * * * * [points]: Setting MPFR precision to 1344
0.662 * * * * [points]: Filtering points with unrepresentable outputs
0.662 * * * * [points]: Sampling 57 additional inputs, on iter 2 have 199 / 256
0.663 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
0.668 * * * * [points]: Setting MPFR precision to 1088
0.677 * * * * [points]: Setting MPFR precision to 1344
0.685 * * * * [points]: Computing exacts for 57 points
0.689 * * * * [points]: Setting MPFR precision to 1088
0.712 * * * * [points]: Setting MPFR precision to 1344
0.731 * * * * [points]: Filtering points with unrepresentable outputs
0.731 * * * * [points]: Sampling 23 additional inputs, on iter 3 have 233 / 256
0.731 * * * * [points]: Computing exacts for 23 points
0.734 * * * * [points]: Setting MPFR precision to 1088
0.738 * * * * [points]: Setting MPFR precision to 1344
0.744 * * * * [points]: Filtering points with unrepresentable outputs
0.744 * * * * [points]: Sampling 10 additional inputs, on iter 4 have 246 / 256
0.745 * * * * [points]: Computing exacts for 10 points
0.747 * * * * [points]: Setting MPFR precision to 1088
0.749 * * * * [points]: Setting MPFR precision to 1344
0.752 * * * * [points]: Filtering points with unrepresentable outputs
0.752 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256
0.752 * * * * [points]: Computing exacts for 5 points
0.759 * * * * [points]: Setting MPFR precision to 1088
0.760 * * * * [points]: Setting MPFR precision to 1344
0.762 * * * * [points]: Filtering points with unrepresentable outputs
0.762 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256
0.762 * * * * [points]: Computing exacts for 4 points
0.764 * * * * [points]: Setting MPFR precision to 1088
0.765 * * * * [points]: Setting MPFR precision to 1344
0.767 * * * * [points]: Filtering points with unrepresentable outputs
0.767 * * * * [points]: Sampled 256 points with exact outputs
0.767 * * * [progress]: [2/2] Setting up program.
0.774 * [progress]: [Phase 2 of 3] Improving.
0.777 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.778 * * [simplify]: iteration 0: 12 enodes
0.818 * * [simplify]: iteration 1: 16 enodes
0.821 * * [simplify]: iteration complete: 16 enodes
0.821 * * [simplify]: Extracting #0: cost 1 inf + 0
0.821 * * [simplify]: Extracting #1: cost 2 inf + 0
0.821 * * [simplify]: Extracting #2: cost 4 inf + 0
0.821 * * [simplify]: Extracting #3: cost 8 inf + 0
0.822 * * [simplify]: Extracting #4: cost 7 inf + 4
0.822 * * [simplify]: Extracting #5: cost 11 inf + 4
0.822 * * [simplify]: Extracting #6: cost 8 inf + 47
0.822 * * [simplify]: Extracting #7: cost 3 inf + 396
0.823 * * [simplify]: Extracting #8: cost 0 inf + 2186
0.823 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
0.825 * * [progress]: iteration 1 / 4
0.825 * * * [progress]: picking best candidate
0.833 * * * * [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.833 * * * [progress]: localizing error
1.061 * * * [progress]: generating rewritten candidates
1.062 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
1.068 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1)
1.068 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2)
1.070 * * * [progress]: generating series expansions
1.070 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
1.070 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1)
1.101 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2)
1.102 * * * [progress]: simplifying candidates
1.102 * [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)))
1.103 * * [simplify]: iteration 0: 12 enodes
1.107 * * [simplify]: iteration 1: 16 enodes
1.111 * * [simplify]: iteration complete: 16 enodes
1.111 * * [simplify]: Extracting #0: cost 1 inf + 0
1.111 * * [simplify]: Extracting #1: cost 2 inf + 0
1.111 * * [simplify]: Extracting #2: cost 4 inf + 0
1.111 * * [simplify]: Extracting #3: cost 8 inf + 0
1.111 * * [simplify]: Extracting #4: cost 7 inf + 4
1.112 * * [simplify]: Extracting #5: cost 11 inf + 4
1.112 * * [simplify]: Extracting #6: cost 8 inf + 47
1.112 * * [simplify]: Extracting #7: cost 3 inf + 396
1.112 * * [simplify]: Extracting #8: cost 0 inf + 2186
1.113 * [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)))
1.113 * * * [progress]: adding candidates to table
1.130 * [progress]: [Phase 3 of 3] Extracting.
1.136 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.137 * * [simplify]: iteration 0: 12 enodes
1.137 * * [simplify]: iteration 1: 13 enodes
1.138 * * [simplify]: iteration complete: 13 enodes
1.138 * * [simplify]: Extracting #0: cost 1 inf + 0
1.138 * * [simplify]: Extracting #1: cost 2 inf + 0
1.138 * * [simplify]: Extracting #2: cost 4 inf + 0
1.138 * * [simplify]: Extracting #3: cost 8 inf + 0
1.138 * * [simplify]: Extracting #4: cost 7 inf + 4
1.138 * * [simplify]: Extracting #5: cost 9 inf + 4
1.138 * * [simplify]: Extracting #6: cost 7 inf + 6
1.138 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.139 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
1.139 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.342 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.348 * * * * [points]: Setting MPFR precision to 1088
1.354 * * * * [points]: Setting MPFR precision to 1344
1.361 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.366 * * * * [points]: Setting MPFR precision to 1088
1.380 * * * * [points]: Setting MPFR precision to 1344
1.397 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.402 * * * * [points]: Setting MPFR precision to 1088
1.442 * * * * [points]: Setting MPFR precision to 1344
1.473 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.478 * * * * [points]: Setting MPFR precision to 1088
1.532 * * * * [points]: Setting MPFR precision to 1344
1.596 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.600 * * * * [points]: Setting MPFR precision to 1088
1.697 * * * * [points]: Setting MPFR precision to 1344
1.857 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.864 * * * * [points]: Setting MPFR precision to 1088
2.117 * * * * [points]: Setting MPFR precision to 1344
2.374 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.380 * * * * [points]: Setting MPFR precision to 1088
3.128 * * * * [points]: Setting MPFR precision to 1344
3.623 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.628 * * * * [points]: Setting MPFR precision to 1088
4.354 * * * * [points]: Setting MPFR precision to 1344
5.195 * * * * [points]: Computing exacts for 8000 points
5.198 * * * * [points]: Setting MPFR precision to 1088
8.673 * * * * [points]: Setting MPFR precision to 1344
12.672 * * * * [points]: Filtering points with unrepresentable outputs
12.689 * * * * [points]: Sampling 3974 additional inputs, on iter 1 have 4026 / 8000
12.754 * * * * [points]: Computing exacts on every 248 of 3974 points to ramp up precision
12.758 * * * * [points]: Setting MPFR precision to 1088
12.762 * * * * [points]: Setting MPFR precision to 1344
12.766 * * * * [points]: Computing exacts on every 124 of 3974 points to ramp up precision
12.768 * * * * [points]: Setting MPFR precision to 1088
12.775 * * * * [points]: Setting MPFR precision to 1344
12.783 * * * * [points]: Computing exacts on every 62 of 3974 points to ramp up precision
12.786 * * * * [points]: Setting MPFR precision to 1088
12.815 * * * * [points]: Setting MPFR precision to 1344
12.837 * * * * [points]: Computing exacts on every 31 of 3974 points to ramp up precision
12.839 * * * * [points]: Setting MPFR precision to 1088
12.867 * * * * [points]: Setting MPFR precision to 1344
12.908 * * * * [points]: Computing exacts on every 15 of 3974 points to ramp up precision
12.912 * * * * [points]: Setting MPFR precision to 1088
13.026 * * * * [points]: Setting MPFR precision to 1344
13.093 * * * * [points]: Computing exacts on every 7 of 3974 points to ramp up precision
13.095 * * * * [points]: Setting MPFR precision to 1088
13.209 * * * * [points]: Setting MPFR precision to 1344
13.412 * * * * [points]: Computing exacts on every 3 of 3974 points to ramp up precision
13.414 * * * * [points]: Setting MPFR precision to 1088
13.772 * * * * [points]: Setting MPFR precision to 1344
14.580 * * * * [points]: Computing exacts for 3974 points
14.584 * * * * [points]: Setting MPFR precision to 1088
15.987 * * * * [points]: Setting MPFR precision to 1344
18.219 * * * * [points]: Filtering points with unrepresentable outputs
18.235 * * * * [points]: Sampling 1973 additional inputs, on iter 2 have 6027 / 8000
18.295 * * * * [points]: Computing exacts on every 123 of 1973 points to ramp up precision
18.298 * * * * [points]: Setting MPFR precision to 1088
18.301 * * * * [points]: Setting MPFR precision to 1344
18.306 * * * * [points]: Computing exacts on every 61 of 1973 points to ramp up precision
18.308 * * * * [points]: Setting MPFR precision to 1088
18.314 * * * * [points]: Setting MPFR precision to 1344
18.323 * * * * [points]: Computing exacts on every 30 of 1973 points to ramp up precision
18.326 * * * * [points]: Setting MPFR precision to 1088
18.349 * * * * [points]: Setting MPFR precision to 1344
18.365 * * * * [points]: Computing exacts on every 15 of 1973 points to ramp up precision
18.367 * * * * [points]: Setting MPFR precision to 1088
18.395 * * * * [points]: Setting MPFR precision to 1344
18.431 * * * * [points]: Computing exacts on every 7 of 1973 points to ramp up precision
18.451 * * * * [points]: Setting MPFR precision to 1088
18.516 * * * * [points]: Setting MPFR precision to 1344
18.601 * * * * [points]: Computing exacts on every 3 of 1973 points to ramp up precision
18.603 * * * * [points]: Setting MPFR precision to 1088
18.780 * * * * [points]: Setting MPFR precision to 1344
18.953 * * * * [points]: Computing exacts for 1973 points
18.955 * * * * [points]: Setting MPFR precision to 1088
19.464 * * * * [points]: Setting MPFR precision to 1344
20.429 * * * * [points]: Filtering points with unrepresentable outputs
20.433 * * * * [points]: Sampling 980 additional inputs, on iter 3 have 7020 / 8000
20.440 * * * * [points]: Computing exacts on every 61 of 980 points to ramp up precision
20.443 * * * * [points]: Setting MPFR precision to 1088
20.447 * * * * [points]: Setting MPFR precision to 1344
20.451 * * * * [points]: Computing exacts on every 30 of 980 points to ramp up precision
20.455 * * * * [points]: Setting MPFR precision to 1088
20.470 * * * * [points]: Setting MPFR precision to 1344
20.487 * * * * [points]: Computing exacts on every 15 of 980 points to ramp up precision
20.491 * * * * [points]: Setting MPFR precision to 1088
20.517 * * * * [points]: Setting MPFR precision to 1344
20.545 * * * * [points]: Computing exacts on every 7 of 980 points to ramp up precision
20.549 * * * * [points]: Setting MPFR precision to 1088
20.599 * * * * [points]: Setting MPFR precision to 1344
20.685 * * * * [points]: Computing exacts on every 3 of 980 points to ramp up precision
20.687 * * * * [points]: Setting MPFR precision to 1088
20.765 * * * * [points]: Setting MPFR precision to 1344
20.852 * * * * [points]: Computing exacts for 980 points
20.854 * * * * [points]: Setting MPFR precision to 1088
21.218 * * * * [points]: Setting MPFR precision to 1344
21.992 * * * * [points]: Filtering points with unrepresentable outputs
21.997 * * * * [points]: Sampling 497 additional inputs, on iter 4 have 7503 / 8000
22.004 * * * * [points]: Computing exacts on every 31 of 497 points to ramp up precision
22.008 * * * * [points]: Setting MPFR precision to 1088
22.013 * * * * [points]: Setting MPFR precision to 1344
22.046 * * * * [points]: Computing exacts on every 15 of 497 points to ramp up precision
22.049 * * * * [points]: Setting MPFR precision to 1088
22.058 * * * * [points]: Setting MPFR precision to 1344
22.064 * * * * [points]: Computing exacts on every 7 of 497 points to ramp up precision
22.066 * * * * [points]: Setting MPFR precision to 1088
22.087 * * * * [points]: Setting MPFR precision to 1344
22.113 * * * * [points]: Computing exacts on every 3 of 497 points to ramp up precision
22.115 * * * * [points]: Setting MPFR precision to 1088
22.139 * * * * [points]: Setting MPFR precision to 1344
22.168 * * * * [points]: Computing exacts for 497 points
22.170 * * * * [points]: Setting MPFR precision to 1088
22.347 * * * * [points]: Setting MPFR precision to 1344
22.529 * * * * [points]: Filtering points with unrepresentable outputs
22.531 * * * * [points]: Sampling 262 additional inputs, on iter 5 have 7738 / 8000
22.535 * * * * [points]: Computing exacts on every 16 of 262 points to ramp up precision
22.540 * * * * [points]: Setting MPFR precision to 1088
22.546 * * * * [points]: Setting MPFR precision to 1344
22.552 * * * * [points]: Computing exacts on every 8 of 262 points to ramp up precision
22.556 * * * * [points]: Setting MPFR precision to 1088
22.614 * * * * [points]: Setting MPFR precision to 1344
22.632 * * * * [points]: Computing exacts on every 4 of 262 points to ramp up precision
22.637 * * * * [points]: Setting MPFR precision to 1088
22.656 * * * * [points]: Setting MPFR precision to 1344
22.678 * * * * [points]: Computing exacts on every 2 of 262 points to ramp up precision
22.682 * * * * [points]: Setting MPFR precision to 1088
22.702 * * * * [points]: Setting MPFR precision to 1344
22.724 * * * * [points]: Computing exacts for 262 points
22.727 * * * * [points]: Setting MPFR precision to 1088
22.813 * * * * [points]: Setting MPFR precision to 1344
22.915 * * * * [points]: Filtering points with unrepresentable outputs
22.916 * * * * [points]: Sampling 118 additional inputs, on iter 6 have 7882 / 8000
22.916 * * * * [points]: Computing exacts on every 7 of 118 points to ramp up precision
22.919 * * * * [points]: Setting MPFR precision to 1088
22.921 * * * * [points]: Setting MPFR precision to 1344
22.924 * * * * [points]: Computing exacts on every 3 of 118 points to ramp up precision
22.926 * * * * [points]: Setting MPFR precision to 1088
22.932 * * * * [points]: Setting MPFR precision to 1344
22.939 * * * * [points]: Computing exacts for 118 points
22.941 * * * * [points]: Setting MPFR precision to 1088
22.966 * * * * [points]: Setting MPFR precision to 1344
22.996 * * * * [points]: Filtering points with unrepresentable outputs
22.997 * * * * [points]: Sampling 57 additional inputs, on iter 7 have 7943 / 8000
22.997 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
23.000 * * * * [points]: Setting MPFR precision to 1088
23.003 * * * * [points]: Setting MPFR precision to 1344
23.007 * * * * [points]: Computing exacts for 57 points
23.009 * * * * [points]: Setting MPFR precision to 1088
23.021 * * * * [points]: Setting MPFR precision to 1344
23.039 * * * * [points]: Filtering points with unrepresentable outputs
23.040 * * * * [points]: Sampling 21 additional inputs, on iter 8 have 7979 / 8000
23.040 * * * * [points]: Computing exacts for 21 points
23.042 * * * * [points]: Setting MPFR precision to 1088
23.047 * * * * [points]: Setting MPFR precision to 1344
23.075 * * * * [points]: Filtering points with unrepresentable outputs
23.075 * * * * [points]: Sampling 8 additional inputs, on iter 9 have 7992 / 8000
23.075 * * * * [points]: Computing exacts for 8 points
23.077 * * * * [points]: Setting MPFR precision to 1088
23.079 * * * * [points]: Setting MPFR precision to 1344
23.081 * * * * [points]: Filtering points with unrepresentable outputs
23.081 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7997 / 8000
23.081 * * * * [points]: Computing exacts for 4 points
23.083 * * * * [points]: Setting MPFR precision to 1088
23.084 * * * * [points]: Setting MPFR precision to 1344
23.086 * * * * [points]: Filtering points with unrepresentable outputs
23.087 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7999 / 8000
23.087 * * * * [points]: Computing exacts for 4 points
23.089 * * * * [points]: Setting MPFR precision to 1088
23.090 * * * * [points]: Setting MPFR precision to 1344
23.091 * * * * [points]: Filtering points with unrepresentable outputs
23.091 * * * * [points]: Sampled 8000 points with exact outputs
23.523 * [regime-testing]: Baseline error score: 43.473223638779984
23.532 * [regime-testing]: Oracle error score: 43.473223638779984
23.533 * [regime-testing]: End program error score: 43.473223638779984