2.814 * [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.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.005 * * * * [points]: Setting MPFR precision to 64
0.007 * * * * [points]: Setting MPFR precision to 320
0.008 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.010 * * * * [points]: Setting MPFR precision to 64
0.012 * * * * [points]: Setting MPFR precision to 320
0.014 * * * * [points]: Setting MPFR precision to 576
0.017 * * * * [points]: Setting MPFR precision to 832
0.020 * * * * [points]: Setting MPFR precision to 1088
0.025 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.027 * * * * [points]: Setting MPFR precision to 832
0.034 * * * * [points]: Setting MPFR precision to 1088
0.044 * * * * [points]: Setting MPFR precision to 1344
0.056 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.059 * * * * [points]: Setting MPFR precision to 1088
0.075 * * * * [points]: Setting MPFR precision to 1344
0.101 * * * * [points]: Computing exacts for 256 points
0.104 * * * * [points]: Setting MPFR precision to 1088
0.150 * * * * [points]: Setting MPFR precision to 1344
0.207 * * * * [points]: Filtering points with unrepresentable outputs
0.207 * * * * [points]: Sampling 134 additional inputs, on iter 1 have 122 / 256
0.208 * * * * [points]: Computing exacts on every 8 of 134 points to ramp up precision
0.211 * * * * [points]: Setting MPFR precision to 1088
0.214 * * * * [points]: Setting MPFR precision to 1344
0.218 * * * * [points]: Computing exacts on every 4 of 134 points to ramp up precision
0.220 * * * * [points]: Setting MPFR precision to 1088
0.225 * * * * [points]: Setting MPFR precision to 1344
0.230 * * * * [points]: Computing exacts on every 2 of 134 points to ramp up precision
0.232 * * * * [points]: Setting MPFR precision to 1088
0.241 * * * * [points]: Setting MPFR precision to 1344
0.250 * * * * [points]: Computing exacts for 134 points
0.253 * * * * [points]: Setting MPFR precision to 1088
0.278 * * * * [points]: Setting MPFR precision to 1344
0.312 * * * * [points]: Filtering points with unrepresentable outputs
0.312 * * * * [points]: Sampling 65 additional inputs, on iter 2 have 191 / 256
0.312 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
0.315 * * * * [points]: Setting MPFR precision to 1088
0.318 * * * * [points]: Setting MPFR precision to 1344
0.321 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
0.323 * * * * [points]: Setting MPFR precision to 1088
0.328 * * * * [points]: Setting MPFR precision to 1344
0.333 * * * * [points]: Computing exacts for 65 points
0.335 * * * * [points]: Setting MPFR precision to 1088
0.349 * * * * [points]: Setting MPFR precision to 1344
0.365 * * * * [points]: Filtering points with unrepresentable outputs
0.365 * * * * [points]: Sampling 31 additional inputs, on iter 3 have 225 / 256
0.365 * * * * [points]: Computing exacts for 31 points
0.368 * * * * [points]: Setting MPFR precision to 1088
0.374 * * * * [points]: Setting MPFR precision to 1344
0.381 * * * * [points]: Filtering points with unrepresentable outputs
0.381 * * * * [points]: Sampling 13 additional inputs, on iter 4 have 243 / 256
0.381 * * * * [points]: Computing exacts for 13 points
0.384 * * * * [points]: Setting MPFR precision to 1088
0.387 * * * * [points]: Setting MPFR precision to 1344
0.390 * * * * [points]: Filtering points with unrepresentable outputs
0.390 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256
0.390 * * * * [points]: Computing exacts for 6 points
0.393 * * * * [points]: Setting MPFR precision to 1088
0.394 * * * * [points]: Setting MPFR precision to 1344
0.395 * * * * [points]: Filtering points with unrepresentable outputs
0.395 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256
0.395 * * * * [points]: Computing exacts for 6 points
0.397 * * * * [points]: Setting MPFR precision to 1088
0.399 * * * * [points]: Setting MPFR precision to 1344
0.400 * * * * [points]: Filtering points with unrepresentable outputs
0.400 * * * * [points]: Sampling 5 additional inputs, on iter 7 have 251 / 256
0.400 * * * * [points]: Computing exacts for 5 points
0.402 * * * * [points]: Setting MPFR precision to 1088
0.403 * * * * [points]: Setting MPFR precision to 1344
0.404 * * * * [points]: Filtering points with unrepresentable outputs
0.404 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256
0.404 * * * * [points]: Computing exacts for 4 points
0.407 * * * * [points]: Setting MPFR precision to 1088
0.407 * * * * [points]: Setting MPFR precision to 1344
0.408 * * * * [points]: Filtering points with unrepresentable outputs
0.408 * * * * [points]: Sampled 258 points with exact outputs
0.408 * * * [progress]: [2/2] Setting up program.
0.410 * [progress]: [Phase 2 of 3] Improving.
0.411 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.416 * * [simplify]: iteration  0 :  16  enodes  (cost  7 )
0.417 * * [simplify]: iteration  1 :  16  enodes  (cost  7 )
0.417 * [simplify]: Simplified to:
   (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.418 * * [progress]: iteration 1 / 4
0.418 * * * [progress]: picking best candidate
0.420 * * * * [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.420 * * * [progress]: localizing error
0.496 * * * [progress]: generating rewritten candidates
0.496 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.497 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
0.497 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
0.497 * * * [progress]: generating series expansions
0.497 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.497 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
0.498 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
0.498 * * * [progress]: simplifying candidates
0.498 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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.500 * * [simplify]: iteration  0 :  16  enodes  (cost  21 )
0.501 * * [simplify]: iteration  1 :  16  enodes  (cost  21 )
0.501 * [simplify]: Simplified to:
   (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.501 * * * [progress]: adding candidates to table
0.503 * [progress]: [Phase 3 of 3] Extracting.
0.506 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.506 * * [simplify]: iteration  0 :  13  enodes  (cost  7 )
0.506 * * [simplify]: iteration  1 :  13  enodes  (cost  7 )
0.507 * [simplify]: Simplified to:
   (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.507 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.577 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.580 * * * * [points]: Setting MPFR precision to 1088
0.583 * * * * [points]: Setting MPFR precision to 1344
0.587 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.589 * * * * [points]: Setting MPFR precision to 1088
0.594 * * * * [points]: Setting MPFR precision to 1344
0.601 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
0.603 * * * * [points]: Setting MPFR precision to 1088
0.615 * * * * [points]: Setting MPFR precision to 1344
0.632 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
0.634 * * * * [points]: Setting MPFR precision to 1088
0.657 * * * * [points]: Setting MPFR precision to 1344
0.685 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
0.688 * * * * [points]: Setting MPFR precision to 1088
0.733 * * * * [points]: Setting MPFR precision to 1344
0.796 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
0.799 * * * * [points]: Setting MPFR precision to 1088
0.890 * * * * [points]: Setting MPFR precision to 1344
1.008 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.011 * * * * [points]: Setting MPFR precision to 1088
1.193 * * * * [points]: Setting MPFR precision to 1344
1.424 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.427 * * * * [points]: Setting MPFR precision to 1088
1.790 * * * * [points]: Setting MPFR precision to 1344
2.251 * * * * [points]: Computing exacts for 8000 points
2.254 * * * * [points]: Setting MPFR precision to 1088
3.696 * * * * [points]: Setting MPFR precision to 1344
5.545 * * * * [points]: Filtering points with unrepresentable outputs
5.552 * * * * [points]: Sampling 3987 additional inputs, on iter 1 have 4013 / 8000
5.584 * * * * [points]: Computing exacts on every 249 of 3987 points to ramp up precision
5.590 * * * * [points]: Setting MPFR precision to 1088
5.593 * * * * [points]: Setting MPFR precision to 1344
5.596 * * * * [points]: Computing exacts on every 124 of 3987 points to ramp up precision
5.599 * * * * [points]: Setting MPFR precision to 1088
5.605 * * * * [points]: Setting MPFR precision to 1344
5.612 * * * * [points]: Computing exacts on every 62 of 3987 points to ramp up precision
5.615 * * * * [points]: Setting MPFR precision to 1088
5.626 * * * * [points]: Setting MPFR precision to 1344
5.641 * * * * [points]: Computing exacts on every 31 of 3987 points to ramp up precision
5.644 * * * * [points]: Setting MPFR precision to 1088
5.667 * * * * [points]: Setting MPFR precision to 1344
5.696 * * * * [points]: Computing exacts on every 15 of 3987 points to ramp up precision
5.699 * * * * [points]: Setting MPFR precision to 1088
5.745 * * * * [points]: Setting MPFR precision to 1344
5.802 * * * * [points]: Computing exacts on every 7 of 3987 points to ramp up precision
5.806 * * * * [points]: Setting MPFR precision to 1088
5.899 * * * * [points]: Setting MPFR precision to 1344
6.016 * * * * [points]: Computing exacts on every 3 of 3987 points to ramp up precision
6.019 * * * * [points]: Setting MPFR precision to 1088
6.202 * * * * [points]: Setting MPFR precision to 1344
6.435 * * * * [points]: Computing exacts for 3987 points
6.438 * * * * [points]: Setting MPFR precision to 1088
7.152 * * * * [points]: Setting MPFR precision to 1344
8.081 * * * * [points]: Filtering points with unrepresentable outputs
8.085 * * * * [points]: Sampling 1939 additional inputs, on iter 2 have 6061 / 8000
8.101 * * * * [points]: Computing exacts on every 121 of 1939 points to ramp up precision
8.104 * * * * [points]: Setting MPFR precision to 1088
8.107 * * * * [points]: Setting MPFR precision to 1344
8.110 * * * * [points]: Computing exacts on every 60 of 1939 points to ramp up precision
8.113 * * * * [points]: Setting MPFR precision to 1088
8.119 * * * * [points]: Setting MPFR precision to 1344
8.127 * * * * [points]: Computing exacts on every 30 of 1939 points to ramp up precision
8.130 * * * * [points]: Setting MPFR precision to 1088
8.140 * * * * [points]: Setting MPFR precision to 1344
8.154 * * * * [points]: Computing exacts on every 15 of 1939 points to ramp up precision
8.157 * * * * [points]: Setting MPFR precision to 1088
8.181 * * * * [points]: Setting MPFR precision to 1344
8.206 * * * * [points]: Computing exacts on every 7 of 1939 points to ramp up precision
8.208 * * * * [points]: Setting MPFR precision to 1088
8.250 * * * * [points]: Setting MPFR precision to 1344
8.303 * * * * [points]: Computing exacts on every 3 of 1939 points to ramp up precision
8.306 * * * * [points]: Setting MPFR precision to 1088
8.391 * * * * [points]: Setting MPFR precision to 1344
8.500 * * * * [points]: Computing exacts for 1939 points
8.503 * * * * [points]: Setting MPFR precision to 1088
8.846 * * * * [points]: Setting MPFR precision to 1344
9.282 * * * * [points]: Filtering points with unrepresentable outputs
9.284 * * * * [points]: Sampling 956 additional inputs, on iter 3 have 7044 / 8000
9.292 * * * * [points]: Computing exacts on every 59 of 956 points to ramp up precision
9.295 * * * * [points]: Setting MPFR precision to 1088
9.298 * * * * [points]: Setting MPFR precision to 1344
9.301 * * * * [points]: Computing exacts on every 29 of 956 points to ramp up precision
9.307 * * * * [points]: Setting MPFR precision to 1088
9.313 * * * * [points]: Setting MPFR precision to 1344
9.320 * * * * [points]: Computing exacts on every 14 of 956 points to ramp up precision
9.323 * * * * [points]: Setting MPFR precision to 1088
9.335 * * * * [points]: Setting MPFR precision to 1344
9.349 * * * * [points]: Computing exacts on every 7 of 956 points to ramp up precision
9.352 * * * * [points]: Setting MPFR precision to 1088
9.373 * * * * [points]: Setting MPFR precision to 1344
9.400 * * * * [points]: Computing exacts on every 3 of 956 points to ramp up precision
9.403 * * * * [points]: Setting MPFR precision to 1088
9.447 * * * * [points]: Setting MPFR precision to 1344
9.505 * * * * [points]: Computing exacts for 956 points
9.507 * * * * [points]: Setting MPFR precision to 1088
9.681 * * * * [points]: Setting MPFR precision to 1344
9.901 * * * * [points]: Filtering points with unrepresentable outputs
9.902 * * * * [points]: Sampling 461 additional inputs, on iter 4 have 7539 / 8000
9.905 * * * * [points]: Computing exacts on every 28 of 461 points to ramp up precision
9.908 * * * * [points]: Setting MPFR precision to 1088
9.912 * * * * [points]: Setting MPFR precision to 1344
9.916 * * * * [points]: Computing exacts on every 14 of 461 points to ramp up precision
9.919 * * * * [points]: Setting MPFR precision to 1088
9.924 * * * * [points]: Setting MPFR precision to 1344
9.931 * * * * [points]: Computing exacts on every 7 of 461 points to ramp up precision
9.933 * * * * [points]: Setting MPFR precision to 1088
9.945 * * * * [points]: Setting MPFR precision to 1344
9.957 * * * * [points]: Computing exacts on every 3 of 461 points to ramp up precision
9.960 * * * * [points]: Setting MPFR precision to 1088
9.982 * * * * [points]: Setting MPFR precision to 1344
10.009 * * * * [points]: Computing exacts for 461 points
10.011 * * * * [points]: Setting MPFR precision to 1088
10.098 * * * * [points]: Setting MPFR precision to 1344
10.210 * * * * [points]: Filtering points with unrepresentable outputs
10.210 * * * * [points]: Sampling 215 additional inputs, on iter 5 have 7785 / 8000
10.212 * * * * [points]: Computing exacts on every 13 of 215 points to ramp up precision
10.215 * * * * [points]: Setting MPFR precision to 1088
10.218 * * * * [points]: Setting MPFR precision to 1344
10.222 * * * * [points]: Computing exacts on every 6 of 215 points to ramp up precision
10.225 * * * * [points]: Setting MPFR precision to 1088
10.231 * * * * [points]: Setting MPFR precision to 1344
10.239 * * * * [points]: Computing exacts on every 3 of 215 points to ramp up precision
10.242 * * * * [points]: Setting MPFR precision to 1088
10.252 * * * * [points]: Setting MPFR precision to 1344
10.264 * * * * [points]: Computing exacts for 215 points
10.267 * * * * [points]: Setting MPFR precision to 1088
10.307 * * * * [points]: Setting MPFR precision to 1344
10.357 * * * * [points]: Filtering points with unrepresentable outputs
10.357 * * * * [points]: Sampling 102 additional inputs, on iter 6 have 7898 / 8000
10.358 * * * * [points]: Computing exacts on every 6 of 102 points to ramp up precision
10.361 * * * * [points]: Setting MPFR precision to 1088
10.363 * * * * [points]: Setting MPFR precision to 1344
10.367 * * * * [points]: Computing exacts on every 3 of 102 points to ramp up precision
10.370 * * * * [points]: Setting MPFR precision to 1088
10.375 * * * * [points]: Setting MPFR precision to 1344
10.381 * * * * [points]: Computing exacts for 102 points
10.384 * * * * [points]: Setting MPFR precision to 1088
10.402 * * * * [points]: Setting MPFR precision to 1344
10.426 * * * * [points]: Filtering points with unrepresentable outputs
10.426 * * * * [points]: Sampling 58 additional inputs, on iter 7 have 7942 / 8000
10.427 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
10.429 * * * * [points]: Setting MPFR precision to 1088
10.432 * * * * [points]: Setting MPFR precision to 1344
10.436 * * * * [points]: Computing exacts for 58 points
10.438 * * * * [points]: Setting MPFR precision to 1088
10.448 * * * * [points]: Setting MPFR precision to 1344
10.462 * * * * [points]: Filtering points with unrepresentable outputs
10.462 * * * * [points]: Sampling 29 additional inputs, on iter 8 have 7971 / 8000
10.463 * * * * [points]: Computing exacts for 29 points
10.465 * * * * [points]: Setting MPFR precision to 1088
10.470 * * * * [points]: Setting MPFR precision to 1344
10.477 * * * * [points]: Filtering points with unrepresentable outputs
10.477 * * * * [points]: Sampling 14 additional inputs, on iter 9 have 7986 / 8000
10.477 * * * * [points]: Computing exacts for 14 points
10.483 * * * * [points]: Setting MPFR precision to 1088
10.486 * * * * [points]: Setting MPFR precision to 1344
10.490 * * * * [points]: Filtering points with unrepresentable outputs
10.490 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7998 / 8000
10.490 * * * * [points]: Computing exacts for 4 points
10.492 * * * * [points]: Setting MPFR precision to 1088
10.494 * * * * [points]: Setting MPFR precision to 1344
10.495 * * * * [points]: Filtering points with unrepresentable outputs
10.495 * * * * [points]: Sampled 8001 points with exact outputs
10.566 * [regime-testing]: End program error score: 43.49684485141771