10.303 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.007 * * * * [points]: Setting MPFR precision to 64
0.008 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Setting MPFR precision to 576
0.012 * * * * [points]: Setting MPFR precision to 832
0.014 * * * * [points]: Setting MPFR precision to 1088
0.017 * * * * [points]: Setting MPFR precision to 1344
0.020 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.022 * * * * [points]: Setting MPFR precision to 1088
0.028 * * * * [points]: Setting MPFR precision to 1344
0.035 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.036 * * * * [points]: Setting MPFR precision to 1088
0.045 * * * * [points]: Setting MPFR precision to 1344
0.056 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.058 * * * * [points]: Setting MPFR precision to 1088
0.074 * * * * [points]: Setting MPFR precision to 1344
0.093 * * * * [points]: Computing exacts for 256 points
0.095 * * * * [points]: Setting MPFR precision to 1088
0.140 * * * * [points]: Setting MPFR precision to 1344
0.193 * * * * [points]: Filtering points with unrepresentable outputs
0.194 * * * * [points]: Sampling 122 additional inputs, on iter 1 have 134 / 256
0.196 * * * * [points]: Computing exacts on every 7 of 122 points to ramp up precision
0.198 * * * * [points]: Setting MPFR precision to 1088
0.201 * * * * [points]: Setting MPFR precision to 1344
0.204 * * * * [points]: Computing exacts on every 3 of 122 points to ramp up precision
0.210 * * * * [points]: Setting MPFR precision to 1088
0.215 * * * * [points]: Setting MPFR precision to 1344
0.222 * * * * [points]: Computing exacts for 122 points
0.224 * * * * [points]: Setting MPFR precision to 1088
0.246 * * * * [points]: Setting MPFR precision to 1344
0.271 * * * * [points]: Filtering points with unrepresentable outputs
0.271 * * * * [points]: Sampling 63 additional inputs, on iter 2 have 193 / 256
0.273 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision
0.275 * * * * [points]: Setting MPFR precision to 1088
0.278 * * * * [points]: Setting MPFR precision to 1344
0.281 * * * * [points]: Computing exacts for 63 points
0.282 * * * * [points]: Setting MPFR precision to 1088
0.294 * * * * [points]: Setting MPFR precision to 1344
0.309 * * * * [points]: Filtering points with unrepresentable outputs
0.309 * * * * [points]: Sampling 30 additional inputs, on iter 3 have 226 / 256
0.309 * * * * [points]: Computing exacts for 30 points
0.311 * * * * [points]: Setting MPFR precision to 1088
0.317 * * * * [points]: Setting MPFR precision to 1344
0.326 * * * * [points]: Filtering points with unrepresentable outputs
0.326 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256
0.326 * * * * [points]: Computing exacts for 15 points
0.328 * * * * [points]: Setting MPFR precision to 1088
0.330 * * * * [points]: Setting MPFR precision to 1344
0.334 * * * * [points]: Filtering points with unrepresentable outputs
0.334 * * * * [points]: Sampling 8 additional inputs, on iter 5 have 248 / 256
0.334 * * * * [points]: Computing exacts for 8 points
0.336 * * * * [points]: Setting MPFR precision to 1088
0.337 * * * * [points]: Setting MPFR precision to 1344
0.338 * * * * [points]: Filtering points with unrepresentable outputs
0.338 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 252 / 256
0.338 * * * * [points]: Computing exacts for 4 points
0.340 * * * * [points]: Setting MPFR precision to 1088
0.341 * * * * [points]: Setting MPFR precision to 1344
0.342 * * * * [points]: Filtering points with unrepresentable outputs
0.342 * * * * [points]: Sampled 256 points with exact outputs
0.342 * * * [progress]: [2/2] Setting up program.
0.344 * [progress]: [Phase 2 of 3] Improving.
0.345 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.345 * [simplify]: Sending expressions to egg_math:
 (im (/.c (+.c (exp.c (complex h3 h2)) (exp.c (neg.c (complex h3 h2)))) (complex h1 h0)))
0.347 * * [simplify]: iteration  0 :  16  enodes  (cost  7 )
0.348 * * [simplify]: iteration  1 :  16  enodes  (cost  7 )
0.348 * * [progress]: iteration 1 / 4
0.348 * * * [progress]: picking best candidate
0.350 * * * * [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.350 * * * [progress]: localizing error
0.428 * * * [progress]: generating rewritten candidates
0.428 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.430 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1)
0.430 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2)
0.430 * * * [progress]: generating series expansions
0.430 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.430 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1)
0.430 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2)
0.430 * * * [progress]: simplifying candidates
0.430 * [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.430 * [simplify]: Sending expressions to egg_math:
 (im (/.c (+.c (exp.c (complex h3 h2)) (exp.c (neg.c (complex h3 h2)))) (complex h1 h0)))
 (im (/.c (+.c (exp.c (complex h3 h2)) (exp.c (neg.c (complex h3 h2)))) (complex h1 h0)))
 (im (/.c (+.c (exp.c (complex h3 h2)) (exp.c (neg.c (complex h3 h2)))) (complex h1 h0)))
0.432 * * [simplify]: iteration  0 :  16  enodes  (cost  21 )
0.434 * * [simplify]: iteration  1 :  16  enodes  (cost  21 )
0.434 * * * [progress]: adding candidates to table
0.437 * [progress]: [Phase 3 of 3] Extracting.
0.438 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.438 * [simplify]: Sending expressions to egg_math:
 (im (/.c (+.c (exp.c (complex h3 h2)) (exp.c (neg.c (complex h3 h2)))) (complex h1 h0)))
0.439 * * [simplify]: iteration  0 :  13  enodes  (cost  7 )
0.439 * * [simplify]: iteration  1 :  13  enodes  (cost  7 )
0.439 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.561 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.563 * * * * [points]: Setting MPFR precision to 1088
0.567 * * * * [points]: Setting MPFR precision to 1344
0.570 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.572 * * * * [points]: Setting MPFR precision to 1088
0.577 * * * * [points]: Setting MPFR precision to 1344
0.584 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
0.586 * * * * [points]: Setting MPFR precision to 1088
0.597 * * * * [points]: Setting MPFR precision to 1344
0.610 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
0.612 * * * * [points]: Setting MPFR precision to 1088
0.638 * * * * [points]: Setting MPFR precision to 1344
0.667 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
0.669 * * * * [points]: Setting MPFR precision to 1088
0.710 * * * * [points]: Setting MPFR precision to 1344
0.766 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
0.768 * * * * [points]: Setting MPFR precision to 1088
0.853 * * * * [points]: Setting MPFR precision to 1344
0.965 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
0.967 * * * * [points]: Setting MPFR precision to 1088
1.143 * * * * [points]: Setting MPFR precision to 1344
1.374 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.377 * * * * [points]: Setting MPFR precision to 1088
1.728 * * * * [points]: Setting MPFR precision to 1344
2.189 * * * * [points]: Computing exacts for 8000 points
2.191 * * * * [points]: Setting MPFR precision to 1088
3.597 * * * * [points]: Setting MPFR precision to 1344
5.421 * * * * [points]: Filtering points with unrepresentable outputs
5.427 * * * * [points]: Sampling 4002 additional inputs, on iter 1 have 3998 / 8000
5.487 * * * * [points]: Computing exacts on every 250 of 4002 points to ramp up precision
5.489 * * * * [points]: Setting MPFR precision to 1088
5.492 * * * * [points]: Setting MPFR precision to 1344
5.496 * * * * [points]: Computing exacts on every 125 of 4002 points to ramp up precision
5.498 * * * * [points]: Setting MPFR precision to 1088
5.504 * * * * [points]: Setting MPFR precision to 1344
5.511 * * * * [points]: Computing exacts on every 62 of 4002 points to ramp up precision
5.513 * * * * [points]: Setting MPFR precision to 1088
5.524 * * * * [points]: Setting MPFR precision to 1344
5.539 * * * * [points]: Computing exacts on every 31 of 4002 points to ramp up precision
5.541 * * * * [points]: Setting MPFR precision to 1088
5.562 * * * * [points]: Setting MPFR precision to 1344
5.589 * * * * [points]: Computing exacts on every 15 of 4002 points to ramp up precision
5.591 * * * * [points]: Setting MPFR precision to 1088
5.637 * * * * [points]: Setting MPFR precision to 1344
5.690 * * * * [points]: Computing exacts on every 7 of 4002 points to ramp up precision
5.692 * * * * [points]: Setting MPFR precision to 1088
5.780 * * * * [points]: Setting MPFR precision to 1344
5.890 * * * * [points]: Computing exacts on every 3 of 4002 points to ramp up precision
5.892 * * * * [points]: Setting MPFR precision to 1088
6.068 * * * * [points]: Setting MPFR precision to 1344
6.297 * * * * [points]: Computing exacts for 4002 points
6.300 * * * * [points]: Setting MPFR precision to 1088
7.005 * * * * [points]: Setting MPFR precision to 1344
7.921 * * * * [points]: Filtering points with unrepresentable outputs
7.924 * * * * [points]: Sampling 1911 additional inputs, on iter 2 have 6089 / 8000
7.951 * * * * [points]: Computing exacts on every 119 of 1911 points to ramp up precision
7.954 * * * * [points]: Setting MPFR precision to 1088
7.960 * * * * [points]: Setting MPFR precision to 1344
7.963 * * * * [points]: Computing exacts on every 59 of 1911 points to ramp up precision
7.965 * * * * [points]: Setting MPFR precision to 1088
7.971 * * * * [points]: Setting MPFR precision to 1344
7.977 * * * * [points]: Computing exacts on every 29 of 1911 points to ramp up precision
7.979 * * * * [points]: Setting MPFR precision to 1088
7.991 * * * * [points]: Setting MPFR precision to 1344
8.006 * * * * [points]: Computing exacts on every 14 of 1911 points to ramp up precision
8.008 * * * * [points]: Setting MPFR precision to 1088
8.031 * * * * [points]: Setting MPFR precision to 1344
8.060 * * * * [points]: Computing exacts on every 7 of 1911 points to ramp up precision
8.062 * * * * [points]: Setting MPFR precision to 1088
8.104 * * * * [points]: Setting MPFR precision to 1344
8.161 * * * * [points]: Computing exacts on every 3 of 1911 points to ramp up precision
8.163 * * * * [points]: Setting MPFR precision to 1088
8.250 * * * * [points]: Setting MPFR precision to 1344
8.360 * * * * [points]: Computing exacts for 1911 points
8.362 * * * * [points]: Setting MPFR precision to 1088
8.698 * * * * [points]: Setting MPFR precision to 1344
9.134 * * * * [points]: Filtering points with unrepresentable outputs
9.136 * * * * [points]: Sampling 917 additional inputs, on iter 3 have 7083 / 8000
9.149 * * * * [points]: Computing exacts on every 57 of 917 points to ramp up precision
9.155 * * * * [points]: Setting MPFR precision to 1088
9.158 * * * * [points]: Setting MPFR precision to 1344
9.164 * * * * [points]: Computing exacts on every 28 of 917 points to ramp up precision
9.166 * * * * [points]: Setting MPFR precision to 1088
9.172 * * * * [points]: Setting MPFR precision to 1344
9.180 * * * * [points]: Computing exacts on every 14 of 917 points to ramp up precision
9.182 * * * * [points]: Setting MPFR precision to 1088
9.193 * * * * [points]: Setting MPFR precision to 1344
9.208 * * * * [points]: Computing exacts on every 7 of 917 points to ramp up precision
9.210 * * * * [points]: Setting MPFR precision to 1088
9.229 * * * * [points]: Setting MPFR precision to 1344
9.253 * * * * [points]: Computing exacts on every 3 of 917 points to ramp up precision
9.255 * * * * [points]: Setting MPFR precision to 1088
9.294 * * * * [points]: Setting MPFR precision to 1344
9.345 * * * * [points]: Computing exacts for 917 points
9.347 * * * * [points]: Setting MPFR precision to 1088
9.507 * * * * [points]: Setting MPFR precision to 1344
9.716 * * * * [points]: Filtering points with unrepresentable outputs
9.717 * * * * [points]: Sampling 464 additional inputs, on iter 4 have 7536 / 8000
9.723 * * * * [points]: Computing exacts on every 29 of 464 points to ramp up precision
9.726 * * * * [points]: Setting MPFR precision to 1088
9.728 * * * * [points]: Setting MPFR precision to 1344
9.733 * * * * [points]: Computing exacts on every 14 of 464 points to ramp up precision
9.735 * * * * [points]: Setting MPFR precision to 1088
9.740 * * * * [points]: Setting MPFR precision to 1344
9.747 * * * * [points]: Computing exacts on every 7 of 464 points to ramp up precision
9.750 * * * * [points]: Setting MPFR precision to 1088
9.760 * * * * [points]: Setting MPFR precision to 1344
9.773 * * * * [points]: Computing exacts on every 3 of 464 points to ramp up precision
9.775 * * * * [points]: Setting MPFR precision to 1088
9.795 * * * * [points]: Setting MPFR precision to 1344
9.823 * * * * [points]: Computing exacts for 464 points
9.826 * * * * [points]: Setting MPFR precision to 1088
9.910 * * * * [points]: Setting MPFR precision to 1344
10.016 * * * * [points]: Filtering points with unrepresentable outputs
10.017 * * * * [points]: Sampling 223 additional inputs, on iter 5 have 7777 / 8000
10.020 * * * * [points]: Computing exacts on every 13 of 223 points to ramp up precision
10.023 * * * * [points]: Setting MPFR precision to 1088
10.025 * * * * [points]: Setting MPFR precision to 1344
10.029 * * * * [points]: Computing exacts on every 6 of 223 points to ramp up precision
10.031 * * * * [points]: Setting MPFR precision to 1088
10.037 * * * * [points]: Setting MPFR precision to 1344
10.046 * * * * [points]: Computing exacts on every 3 of 223 points to ramp up precision
10.048 * * * * [points]: Setting MPFR precision to 1088
10.058 * * * * [points]: Setting MPFR precision to 1344
10.071 * * * * [points]: Computing exacts for 223 points
10.073 * * * * [points]: Setting MPFR precision to 1088
10.113 * * * * [points]: Setting MPFR precision to 1344
10.164 * * * * [points]: Filtering points with unrepresentable outputs
10.165 * * * * [points]: Sampling 106 additional inputs, on iter 6 have 7894 / 8000
10.166 * * * * [points]: Computing exacts on every 6 of 106 points to ramp up precision
10.171 * * * * [points]: Setting MPFR precision to 1088
10.174 * * * * [points]: Setting MPFR precision to 1344
10.177 * * * * [points]: Computing exacts on every 3 of 106 points to ramp up precision
10.179 * * * * [points]: Setting MPFR precision to 1088
10.185 * * * * [points]: Setting MPFR precision to 1344
10.192 * * * * [points]: Computing exacts for 106 points
10.194 * * * * [points]: Setting MPFR precision to 1088
10.214 * * * * [points]: Setting MPFR precision to 1344
10.239 * * * * [points]: Filtering points with unrepresentable outputs
10.239 * * * * [points]: Sampling 61 additional inputs, on iter 7 have 7939 / 8000
10.240 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision
10.243 * * * * [points]: Setting MPFR precision to 1088
10.245 * * * * [points]: Setting MPFR precision to 1344
10.249 * * * * [points]: Computing exacts for 61 points
10.251 * * * * [points]: Setting MPFR precision to 1088
10.262 * * * * [points]: Setting MPFR precision to 1344
10.276 * * * * [points]: Filtering points with unrepresentable outputs
10.276 * * * * [points]: Sampling 32 additional inputs, on iter 8 have 7968 / 8000
10.277 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
10.279 * * * * [points]: Setting MPFR precision to 1088
10.281 * * * * [points]: Setting MPFR precision to 1344
10.283 * * * * [points]: Computing exacts for 32 points
10.285 * * * * [points]: Setting MPFR precision to 1088
10.291 * * * * [points]: Setting MPFR precision to 1344
10.300 * * * * [points]: Filtering points with unrepresentable outputs
10.300 * * * * [points]: Sampling 14 additional inputs, on iter 9 have 7986 / 8000
10.300 * * * * [points]: Computing exacts for 14 points
10.302 * * * * [points]: Setting MPFR precision to 1088
10.305 * * * * [points]: Setting MPFR precision to 1344
10.309 * * * * [points]: Filtering points with unrepresentable outputs
10.309 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 7992 / 8000
10.310 * * * * [points]: Computing exacts for 8 points
10.312 * * * * [points]: Setting MPFR precision to 1088
10.313 * * * * [points]: Setting MPFR precision to 1344
10.315 * * * * [points]: Filtering points with unrepresentable outputs
10.315 * * * * [points]: Sampling 5 additional inputs, on iter 11 have 7995 / 8000
10.315 * * * * [points]: Computing exacts for 5 points
10.317 * * * * [points]: Setting MPFR precision to 1088
10.318 * * * * [points]: Setting MPFR precision to 1344
10.320 * * * * [points]: Filtering points with unrepresentable outputs
10.320 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7997 / 8000
10.320 * * * * [points]: Computing exacts for 4 points
10.322 * * * * [points]: Setting MPFR precision to 1088
10.323 * * * * [points]: Setting MPFR precision to 1344
10.324 * * * * [points]: Filtering points with unrepresentable outputs
10.324 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000
10.324 * * * * [points]: Computing exacts for 4 points
10.330 * * * * [points]: Setting MPFR precision to 1088
10.330 * * * * [points]: Setting MPFR precision to 1344
10.331 * * * * [points]: Filtering points with unrepresentable outputs
10.331 * * * * [points]: Sampled 8000 points with exact outputs
10.403 * [regime-testing]: End program error score: 43.76754465302964