0.562 * [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.008 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.095 * * * * [points]: Setting MPFR precision to 64
0.100 * * * * [points]: Setting MPFR precision to 320
0.104 * * * * [points]: Setting MPFR precision to 576
0.107 * * * * [points]: Setting MPFR precision to 832
0.110 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.114 * * * * [points]: Setting MPFR precision to 576
0.121 * * * * [points]: Setting MPFR precision to 832
0.131 * * * * [points]: Setting MPFR precision to 1088
0.144 * * * * [points]: Setting MPFR precision to 1344
0.157 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.163 * * * * [points]: Setting MPFR precision to 1088
0.183 * * * * [points]: Setting MPFR precision to 1344
0.207 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.212 * * * * [points]: Setting MPFR precision to 1088
0.247 * * * * [points]: Setting MPFR precision to 1344
0.603 * * * * [points]: Computing exacts for 256 points
0.608 * * * * [points]: Setting MPFR precision to 1088
0.692 * * * * [points]: Setting MPFR precision to 1344
0.825 * * * * [points]: Filtering points with unrepresentable outputs
0.827 * * * * [points]: Sampling 133 additional inputs, on iter 1 have 123 / 256
0.830 * * * * [points]: Computing exacts on every 8 of 133 points to ramp up precision
0.834 * * * * [points]: Setting MPFR precision to 1088
0.840 * * * * [points]: Setting MPFR precision to 1344
0.844 * * * * [points]: Computing exacts on every 4 of 133 points to ramp up precision
0.846 * * * * [points]: Setting MPFR precision to 1088
0.853 * * * * [points]: Setting MPFR precision to 1344
0.860 * * * * [points]: Computing exacts on every 2 of 133 points to ramp up precision
0.862 * * * * [points]: Setting MPFR precision to 1088
0.871 * * * * [points]: Setting MPFR precision to 1344
0.894 * * * * [points]: Computing exacts for 133 points
0.935 * * * * [points]: Setting MPFR precision to 1088
0.994 * * * * [points]: Setting MPFR precision to 1344
1.060 * * * * [points]: Filtering points with unrepresentable outputs
1.061 * * * * [points]: Sampling 57 additional inputs, on iter 2 have 199 / 256
1.062 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
1.065 * * * * [points]: Setting MPFR precision to 1088
1.068 * * * * [points]: Setting MPFR precision to 1344
1.073 * * * * [points]: Computing exacts for 57 points
1.076 * * * * [points]: Setting MPFR precision to 1088
1.088 * * * * [points]: Setting MPFR precision to 1344
1.114 * * * * [points]: Filtering points with unrepresentable outputs
1.114 * * * * [points]: Sampling 20 additional inputs, on iter 3 have 236 / 256
1.115 * * * * [points]: Computing exacts for 20 points
1.119 * * * * [points]: Setting MPFR precision to 1088
1.126 * * * * [points]: Setting MPFR precision to 1344
1.138 * * * * [points]: Filtering points with unrepresentable outputs
1.138 * * * * [points]: Sampling 12 additional inputs, on iter 4 have 244 / 256
1.138 * * * * [points]: Computing exacts for 12 points
1.143 * * * * [points]: Setting MPFR precision to 1088
1.148 * * * * [points]: Setting MPFR precision to 1344
1.155 * * * * [points]: Filtering points with unrepresentable outputs
1.155 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256
1.155 * * * * [points]: Computing exacts for 7 points
1.158 * * * * [points]: Setting MPFR precision to 1088
1.160 * * * * [points]: Setting MPFR precision to 1344
1.162 * * * * [points]: Filtering points with unrepresentable outputs
1.162 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
1.162 * * * * [points]: Computing exacts for 4 points
1.164 * * * * [points]: Setting MPFR precision to 1088
1.165 * * * * [points]: Setting MPFR precision to 1344
1.166 * * * * [points]: Filtering points with unrepresentable outputs
1.167 * * * * [points]: Sampled 256 points with exact outputs
1.167 * * * [progress]: [2/2] Setting up program.
1.201 * [progress]: [Phase 2 of 3] Improving.
1.207 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.208 * * [simplify]: iteration 0: 12 enodes
1.215 * * [simplify]: iteration 1: 16 enodes
1.216 * * [simplify]: iteration complete: 16 enodes
1.217 * * [simplify]: Extracting #0: cost 1 inf + 0
1.217 * * [simplify]: Extracting #1: cost 2 inf + 0
1.217 * * [simplify]: Extracting #2: cost 4 inf + 0
1.217 * * [simplify]: Extracting #3: cost 8 inf + 0
1.217 * * [simplify]: Extracting #4: cost 7 inf + 4
1.217 * * [simplify]: Extracting #5: cost 11 inf + 4
1.218 * * [simplify]: Extracting #6: cost 8 inf + 47
1.218 * * [simplify]: Extracting #7: cost 3 inf + 396
1.218 * * [simplify]: Extracting #8: cost 0 inf + 2186
1.218 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
1.220 * * [progress]: iteration 1 / 4
1.220 * * * [progress]: picking best candidate
1.224 * * * * [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))))>
1.224 * * * [progress]: localizing error
1.333 * * * [progress]: generating rewritten candidates
1.334 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.337 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.337 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1.337 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.340 * * * [progress]: generating series expansions
1.340 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.340 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.340 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.340 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.340 * * * [progress]: simplifying candidates
1.341 * [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.341 * * [simplify]: iteration 0: 14 enodes
1.363 * * [simplify]: iteration 1: 21 enodes
1.368 * * [simplify]: iteration complete: 21 enodes
1.368 * * [simplify]: Extracting #0: cost 3 inf + 0
1.368 * * [simplify]: Extracting #1: cost 8 inf + 0
1.368 * * [simplify]: Extracting #2: cost 12 inf + 0
1.368 * * [simplify]: Extracting #3: cost 10 inf + 86
1.368 * * [simplify]: Extracting #4: cost 12 inf + 168
1.368 * * [simplify]: Extracting #5: cost 9 inf + 211
1.368 * * [simplify]: Extracting #6: cost 4 inf + 560
1.369 * * [simplify]: Extracting #7: cost 0 inf + 2732
1.369 * [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.370 * * * [progress]: adding candidates to table
1.390 * [progress]: [Phase 3 of 3] Extracting.
1.394 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
1.394 * * [simplify]: iteration 0: 12 enodes
1.395 * * [simplify]: iteration 1: 13 enodes
1.395 * * [simplify]: iteration complete: 13 enodes
1.395 * * [simplify]: Extracting #0: cost 1 inf + 0
1.395 * * [simplify]: Extracting #1: cost 2 inf + 0
1.395 * * [simplify]: Extracting #2: cost 4 inf + 0
1.395 * * [simplify]: Extracting #3: cost 8 inf + 0
1.396 * * [simplify]: Extracting #4: cost 7 inf + 4
1.396 * * [simplify]: Extracting #5: cost 9 inf + 4
1.396 * * [simplify]: Extracting #6: cost 7 inf + 6
1.396 * * [simplify]: Extracting #7: cost 0 inf + 2104
1.396 * [simplify]: Simplified to:
  (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0)))
1.396 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.481 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.484 * * * * [points]: Setting MPFR precision to 1088
1.490 * * * * [points]: Setting MPFR precision to 1344
1.497 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.501 * * * * [points]: Setting MPFR precision to 1088
1.514 * * * * [points]: Setting MPFR precision to 1344
1.525 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.528 * * * * [points]: Setting MPFR precision to 1088
1.542 * * * * [points]: Setting MPFR precision to 1344
1.558 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.560 * * * * [points]: Setting MPFR precision to 1088
1.586 * * * * [points]: Setting MPFR precision to 1344
1.639 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.642 * * * * [points]: Setting MPFR precision to 1088
1.730 * * * * [points]: Setting MPFR precision to 1344
1.839 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.843 * * * * [points]: Setting MPFR precision to 1088
2.053 * * * * [points]: Setting MPFR precision to 1344
2.285 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
2.290 * * * * [points]: Setting MPFR precision to 1088
2.616 * * * * [points]: Setting MPFR precision to 1344
3.147 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.155 * * * * [points]: Setting MPFR precision to 1088
4.319 * * * * [points]: Setting MPFR precision to 1344
5.123 * * * * [points]: Computing exacts for 8000 points
5.128 * * * * [points]: Setting MPFR precision to 1088
8.534 * * * * [points]: Setting MPFR precision to 1344
12.704 * * * * [points]: Filtering points with unrepresentable outputs
12.738 * * * * [points]: Sampling 3962 additional inputs, on iter 1 have 4038 / 8000
12.802 * * * * [points]: Computing exacts on every 247 of 3962 points to ramp up precision
12.808 * * * * [points]: Setting MPFR precision to 1088
12.816 * * * * [points]: Setting MPFR precision to 1344
12.824 * * * * [points]: Computing exacts on every 123 of 3962 points to ramp up precision
12.837 * * * * [points]: Setting MPFR precision to 1088
12.851 * * * * [points]: Setting MPFR precision to 1344
12.861 * * * * [points]: Computing exacts on every 61 of 3962 points to ramp up precision
12.864 * * * * [points]: Setting MPFR precision to 1088
12.879 * * * * [points]: Setting MPFR precision to 1344
12.895 * * * * [points]: Computing exacts on every 30 of 3962 points to ramp up precision
12.897 * * * * [points]: Setting MPFR precision to 1088
12.935 * * * * [points]: Setting MPFR precision to 1344
13.001 * * * * [points]: Computing exacts on every 15 of 3962 points to ramp up precision
13.004 * * * * [points]: Setting MPFR precision to 1088
13.060 * * * * [points]: Setting MPFR precision to 1344
13.207 * * * * [points]: Computing exacts on every 7 of 3962 points to ramp up precision
13.213 * * * * [points]: Setting MPFR precision to 1088
13.353 * * * * [points]: Setting MPFR precision to 1344
13.590 * * * * [points]: Computing exacts on every 3 of 3962 points to ramp up precision
13.593 * * * * [points]: Setting MPFR precision to 1088
13.950 * * * * [points]: Setting MPFR precision to 1344
14.416 * * * * [points]: Computing exacts for 3962 points
14.421 * * * * [points]: Setting MPFR precision to 1088
16.488 * * * * [points]: Setting MPFR precision to 1344
18.299 * * * * [points]: Filtering points with unrepresentable outputs
18.307 * * * * [points]: Sampling 1972 additional inputs, on iter 2 have 6028 / 8000
18.360 * * * * [points]: Computing exacts on every 123 of 1972 points to ramp up precision
18.362 * * * * [points]: Setting MPFR precision to 1088
18.366 * * * * [points]: Setting MPFR precision to 1344
18.369 * * * * [points]: Computing exacts on every 61 of 1972 points to ramp up precision
18.372 * * * * [points]: Setting MPFR precision to 1088
18.379 * * * * [points]: Setting MPFR precision to 1344
18.387 * * * * [points]: Computing exacts on every 30 of 1972 points to ramp up precision
18.389 * * * * [points]: Setting MPFR precision to 1088
18.403 * * * * [points]: Setting MPFR precision to 1344
18.420 * * * * [points]: Computing exacts on every 15 of 1972 points to ramp up precision
18.423 * * * * [points]: Setting MPFR precision to 1088
18.459 * * * * [points]: Setting MPFR precision to 1344
18.526 * * * * [points]: Computing exacts on every 7 of 1972 points to ramp up precision
18.531 * * * * [points]: Setting MPFR precision to 1088
18.672 * * * * [points]: Setting MPFR precision to 1344
18.798 * * * * [points]: Computing exacts on every 3 of 1972 points to ramp up precision
18.803 * * * * [points]: Setting MPFR precision to 1088
18.952 * * * * [points]: Setting MPFR precision to 1344
19.134 * * * * [points]: Computing exacts for 1972 points
19.138 * * * * [points]: Setting MPFR precision to 1088
20.134 * * * * [points]: Setting MPFR precision to 1344
21.026 * * * * [points]: Filtering points with unrepresentable outputs
21.035 * * * * [points]: Sampling 960 additional inputs, on iter 3 have 7040 / 8000
21.103 * * * * [points]: Computing exacts on every 60 of 960 points to ramp up precision
21.108 * * * * [points]: Setting MPFR precision to 1088
21.114 * * * * [points]: Setting MPFR precision to 1344
21.123 * * * * [points]: Computing exacts on every 30 of 960 points to ramp up precision
21.127 * * * * [points]: Setting MPFR precision to 1088
21.140 * * * * [points]: Setting MPFR precision to 1344
21.154 * * * * [points]: Computing exacts on every 15 of 960 points to ramp up precision
21.157 * * * * [points]: Setting MPFR precision to 1088
21.169 * * * * [points]: Setting MPFR precision to 1344
21.189 * * * * [points]: Computing exacts on every 7 of 960 points to ramp up precision
21.193 * * * * [points]: Setting MPFR precision to 1088
21.227 * * * * [points]: Setting MPFR precision to 1344
21.270 * * * * [points]: Computing exacts on every 3 of 960 points to ramp up precision
21.273 * * * * [points]: Setting MPFR precision to 1088
21.348 * * * * [points]: Setting MPFR precision to 1344
21.412 * * * * [points]: Computing exacts for 960 points
21.414 * * * * [points]: Setting MPFR precision to 1088
21.655 * * * * [points]: Setting MPFR precision to 1344
21.971 * * * * [points]: Filtering points with unrepresentable outputs
21.973 * * * * [points]: Sampling 467 additional inputs, on iter 4 have 7533 / 8000
21.977 * * * * [points]: Computing exacts on every 29 of 467 points to ramp up precision
21.980 * * * * [points]: Setting MPFR precision to 1088
21.984 * * * * [points]: Setting MPFR precision to 1344
21.988 * * * * [points]: Computing exacts on every 14 of 467 points to ramp up precision
21.990 * * * * [points]: Setting MPFR precision to 1088
21.997 * * * * [points]: Setting MPFR precision to 1344
22.005 * * * * [points]: Computing exacts on every 7 of 467 points to ramp up precision
22.007 * * * * [points]: Setting MPFR precision to 1088
22.045 * * * * [points]: Setting MPFR precision to 1344
22.061 * * * * [points]: Computing exacts on every 3 of 467 points to ramp up precision
22.063 * * * * [points]: Setting MPFR precision to 1088
22.088 * * * * [points]: Setting MPFR precision to 1344
22.124 * * * * [points]: Computing exacts for 467 points
22.126 * * * * [points]: Setting MPFR precision to 1088
22.249 * * * * [points]: Setting MPFR precision to 1344
22.433 * * * * [points]: Filtering points with unrepresentable outputs
22.434 * * * * [points]: Sampling 216 additional inputs, on iter 5 have 7784 / 8000
22.436 * * * * [points]: Computing exacts on every 13 of 216 points to ramp up precision
22.439 * * * * [points]: Setting MPFR precision to 1088
22.445 * * * * [points]: Setting MPFR precision to 1344
22.450 * * * * [points]: Computing exacts on every 6 of 216 points to ramp up precision
22.454 * * * * [points]: Setting MPFR precision to 1088
22.464 * * * * [points]: Setting MPFR precision to 1344
22.475 * * * * [points]: Computing exacts on every 3 of 216 points to ramp up precision
22.479 * * * * [points]: Setting MPFR precision to 1088
22.494 * * * * [points]: Setting MPFR precision to 1344
22.515 * * * * [points]: Computing exacts for 216 points
22.519 * * * * [points]: Setting MPFR precision to 1088
22.927 * * * * [points]: Setting MPFR precision to 1344
22.985 * * * * [points]: Filtering points with unrepresentable outputs
22.985 * * * * [points]: Sampling 111 additional inputs, on iter 6 have 7889 / 8000
22.986 * * * * [points]: Computing exacts on every 6 of 111 points to ramp up precision
22.989 * * * * [points]: Setting MPFR precision to 1088
22.993 * * * * [points]: Setting MPFR precision to 1344
22.997 * * * * [points]: Computing exacts on every 3 of 111 points to ramp up precision
22.999 * * * * [points]: Setting MPFR precision to 1088
23.005 * * * * [points]: Setting MPFR precision to 1344
23.013 * * * * [points]: Computing exacts for 111 points
23.015 * * * * [points]: Setting MPFR precision to 1088
23.043 * * * * [points]: Setting MPFR precision to 1344
23.072 * * * * [points]: Filtering points with unrepresentable outputs
23.072 * * * * [points]: Sampling 59 additional inputs, on iter 7 have 7941 / 8000
23.072 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
23.100 * * * * [points]: Setting MPFR precision to 1088
23.105 * * * * [points]: Setting MPFR precision to 1344
23.111 * * * * [points]: Computing exacts for 59 points
23.114 * * * * [points]: Setting MPFR precision to 1088
23.126 * * * * [points]: Setting MPFR precision to 1344
23.149 * * * * [points]: Filtering points with unrepresentable outputs
23.149 * * * * [points]: Sampling 30 additional inputs, on iter 8 have 7970 / 8000
23.150 * * * * [points]: Computing exacts for 30 points
23.154 * * * * [points]: Setting MPFR precision to 1088
23.165 * * * * [points]: Setting MPFR precision to 1344
23.176 * * * * [points]: Filtering points with unrepresentable outputs
23.176 * * * * [points]: Sampling 13 additional inputs, on iter 9 have 7987 / 8000
23.176 * * * * [points]: Computing exacts for 13 points
23.178 * * * * [points]: Setting MPFR precision to 1088
23.181 * * * * [points]: Setting MPFR precision to 1344
23.188 * * * * [points]: Filtering points with unrepresentable outputs
23.188 * * * * [points]: Sampling 7 additional inputs, on iter 10 have 7993 / 8000
23.188 * * * * [points]: Computing exacts for 7 points
23.192 * * * * [points]: Setting MPFR precision to 1088
23.194 * * * * [points]: Setting MPFR precision to 1344
23.197 * * * * [points]: Filtering points with unrepresentable outputs
23.197 * * * * [points]: Sampling 6 additional inputs, on iter 11 have 7994 / 8000
23.197 * * * * [points]: Computing exacts for 6 points
23.201 * * * * [points]: Setting MPFR precision to 1088
23.204 * * * * [points]: Setting MPFR precision to 1344
23.207 * * * * [points]: Filtering points with unrepresentable outputs
23.207 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
23.207 * * * * [points]: Computing exacts for 4 points
23.211 * * * * [points]: Setting MPFR precision to 1088
23.213 * * * * [points]: Setting MPFR precision to 1344
23.216 * * * * [points]: Filtering points with unrepresentable outputs
23.216 * * * * [points]: Sampled 8001 points with exact outputs
23.514 * [regime-testing]: Baseline error score: 43.46032222852669
23.523 * [regime-testing]: Oracle error score: 43.46032222852669
23.523 * [regime-testing]: End program error score: 43.46032222852669