9.811 * [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.009 * * * * [points]: Setting MPFR precision to 576
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
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.021 * * * * [points]: Setting MPFR precision to 1088
0.028 * * * * [points]: Setting MPFR precision to 1344
0.034 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.036 * * * * [points]: Setting MPFR precision to 1088
0.046 * * * * [points]: Setting MPFR precision to 1344
0.057 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.059 * * * * [points]: Setting MPFR precision to 1088
0.074 * * * * [points]: Setting MPFR precision to 1344
0.095 * * * * [points]: Computing exacts for 256 points
0.097 * * * * [points]: Setting MPFR precision to 1088
0.145 * * * * [points]: Setting MPFR precision to 1344
0.204 * * * * [points]: Filtering points with unrepresentable outputs
0.204 * * * * [points]: Sampling 120 additional inputs, on iter 1 have 136 / 256
0.205 * * * * [points]: Computing exacts on every 7 of 120 points to ramp up precision
0.207 * * * * [points]: Setting MPFR precision to 1088
0.209 * * * * [points]: Setting MPFR precision to 1344
0.212 * * * * [points]: Computing exacts on every 3 of 120 points to ramp up precision
0.218 * * * * [points]: Setting MPFR precision to 1088
0.224 * * * * [points]: Setting MPFR precision to 1344
0.231 * * * * [points]: Computing exacts for 120 points
0.233 * * * * [points]: Setting MPFR precision to 1088
0.256 * * * * [points]: Setting MPFR precision to 1344
0.285 * * * * [points]: Filtering points with unrepresentable outputs
0.286 * * * * [points]: Sampling 55 additional inputs, on iter 2 have 201 / 256
0.286 * * * * [points]: Computing exacts on every 3 of 55 points to ramp up precision
0.288 * * * * [points]: Setting MPFR precision to 1088
0.291 * * * * [points]: Setting MPFR precision to 1344
0.294 * * * * [points]: Computing exacts for 55 points
0.296 * * * * [points]: Setting MPFR precision to 1088
0.306 * * * * [points]: Setting MPFR precision to 1344
0.317 * * * * [points]: Filtering points with unrepresentable outputs
0.318 * * * * [points]: Sampling 26 additional inputs, on iter 3 have 230 / 256
0.318 * * * * [points]: Computing exacts for 26 points
0.320 * * * * [points]: Setting MPFR precision to 1088
0.325 * * * * [points]: Setting MPFR precision to 1344
0.331 * * * * [points]: Filtering points with unrepresentable outputs
0.331 * * * * [points]: Sampling 18 additional inputs, on iter 4 have 238 / 256
0.331 * * * * [points]: Computing exacts for 18 points
0.333 * * * * [points]: Setting MPFR precision to 1088
0.337 * * * * [points]: Setting MPFR precision to 1344
0.342 * * * * [points]: Filtering points with unrepresentable outputs
0.342 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256
0.343 * * * * [points]: Computing exacts for 7 points
0.344 * * * * [points]: Setting MPFR precision to 1088
0.346 * * * * [points]: Setting MPFR precision to 1344
0.347 * * * * [points]: Filtering points with unrepresentable outputs
0.347 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256
0.347 * * * * [points]: Computing exacts for 4 points
0.349 * * * * [points]: Setting MPFR precision to 1088
0.350 * * * * [points]: Setting MPFR precision to 1344
0.352 * * * * [points]: Filtering points with unrepresentable outputs
0.352 * * * * [points]: Sampled 258 points with exact outputs
0.352 * * * [progress]: [2/2] Setting up program.
0.354 * [progress]: [Phase 2 of 3] Improving.
0.354 * [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.356 * * [simplify]: iteration  0 :  16  enodes  (cost  7 )
0.357 * * [simplify]: iteration  1 :  16  enodes  (cost  7 )
0.357 * [simplify]: Simplified to:
   (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.358 * * [progress]: iteration 1 / 4
0.358 * * * [progress]: picking best candidate
0.359 * * * * [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.359 * * * [progress]: localizing error
0.440 * * * [progress]: generating rewritten candidates
0.440 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.440 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.440 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.441 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.441 * * * [progress]: generating series expansions
0.441 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.441 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.441 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
0.441 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.441 * * * [progress]: simplifying candidates
0.442 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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)))
0.444 * * [simplify]: iteration  0 :  21  enodes  (cost  35 )
0.445 * * [simplify]: iteration  1 :  21  enodes  (cost  35 )
0.445 * [simplify]: Simplified to:
   (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)))
0.445 * * * [progress]: adding candidates to table
0.451 * [progress]: [Phase 3 of 3] Extracting.
0.452 * [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.453 * * [simplify]: iteration  0 :  13  enodes  (cost  7 )
0.453 * * [simplify]: iteration  1 :  13  enodes  (cost  7 )
0.453 * [simplify]: Simplified to:
   (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.453 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.525 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.527 * * * * [points]: Setting MPFR precision to 1088
0.530 * * * * [points]: Setting MPFR precision to 1344
0.534 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.536 * * * * [points]: Setting MPFR precision to 1088
0.541 * * * * [points]: Setting MPFR precision to 1344
0.549 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
0.551 * * * * [points]: Setting MPFR precision to 1088
0.562 * * * * [points]: Setting MPFR precision to 1344
0.576 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
0.578 * * * * [points]: Setting MPFR precision to 1088
0.600 * * * * [points]: Setting MPFR precision to 1344
0.629 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
0.631 * * * * [points]: Setting MPFR precision to 1088
0.677 * * * * [points]: Setting MPFR precision to 1344
0.735 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
0.737 * * * * [points]: Setting MPFR precision to 1088
0.828 * * * * [points]: Setting MPFR precision to 1344
0.939 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
0.941 * * * * [points]: Setting MPFR precision to 1088
1.123 * * * * [points]: Setting MPFR precision to 1344
1.348 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.350 * * * * [points]: Setting MPFR precision to 1088
1.707 * * * * [points]: Setting MPFR precision to 1344
2.154 * * * * [points]: Computing exacts for 8000 points
2.156 * * * * [points]: Setting MPFR precision to 1088
3.572 * * * * [points]: Setting MPFR precision to 1344
5.400 * * * * [points]: Filtering points with unrepresentable outputs
5.407 * * * * [points]: Sampling 4009 additional inputs, on iter 1 have 3991 / 8000
5.440 * * * * [points]: Computing exacts on every 250 of 4009 points to ramp up precision
5.442 * * * * [points]: Setting MPFR precision to 1088
5.445 * * * * [points]: Setting MPFR precision to 1344
5.449 * * * * [points]: Computing exacts on every 125 of 4009 points to ramp up precision
5.451 * * * * [points]: Setting MPFR precision to 1088
5.455 * * * * [points]: Setting MPFR precision to 1344
5.461 * * * * [points]: Computing exacts on every 62 of 4009 points to ramp up precision
5.463 * * * * [points]: Setting MPFR precision to 1088
5.474 * * * * [points]: Setting MPFR precision to 1344
5.488 * * * * [points]: Computing exacts on every 31 of 4009 points to ramp up precision
5.494 * * * * [points]: Setting MPFR precision to 1088
5.517 * * * * [points]: Setting MPFR precision to 1344
5.545 * * * * [points]: Computing exacts on every 15 of 4009 points to ramp up precision
5.547 * * * * [points]: Setting MPFR precision to 1088
5.593 * * * * [points]: Setting MPFR precision to 1344
5.653 * * * * [points]: Computing exacts on every 7 of 4009 points to ramp up precision
5.655 * * * * [points]: Setting MPFR precision to 1088
5.746 * * * * [points]: Setting MPFR precision to 1344
5.860 * * * * [points]: Computing exacts on every 3 of 4009 points to ramp up precision
5.863 * * * * [points]: Setting MPFR precision to 1088
6.040 * * * * [points]: Setting MPFR precision to 1344
6.270 * * * * [points]: Computing exacts for 4009 points
6.272 * * * * [points]: Setting MPFR precision to 1088
6.988 * * * * [points]: Setting MPFR precision to 1344
7.900 * * * * [points]: Filtering points with unrepresentable outputs
7.903 * * * * [points]: Sampling 1973 additional inputs, on iter 2 have 6027 / 8000
7.920 * * * * [points]: Computing exacts on every 123 of 1973 points to ramp up precision
7.925 * * * * [points]: Setting MPFR precision to 1088
7.927 * * * * [points]: Setting MPFR precision to 1344
7.930 * * * * [points]: Computing exacts on every 61 of 1973 points to ramp up precision
7.932 * * * * [points]: Setting MPFR precision to 1088
7.937 * * * * [points]: Setting MPFR precision to 1344
7.942 * * * * [points]: Computing exacts on every 30 of 1973 points to ramp up precision
7.944 * * * * [points]: Setting MPFR precision to 1088
7.954 * * * * [points]: Setting MPFR precision to 1344
7.968 * * * * [points]: Computing exacts on every 15 of 1973 points to ramp up precision
7.970 * * * * [points]: Setting MPFR precision to 1088
7.990 * * * * [points]: Setting MPFR precision to 1344
8.017 * * * * [points]: Computing exacts on every 7 of 1973 points to ramp up precision
8.019 * * * * [points]: Setting MPFR precision to 1088
8.061 * * * * [points]: Setting MPFR precision to 1344
8.112 * * * * [points]: Computing exacts on every 3 of 1973 points to ramp up precision
8.114 * * * * [points]: Setting MPFR precision to 1088
8.202 * * * * [points]: Setting MPFR precision to 1344
8.310 * * * * [points]: Computing exacts for 1973 points
8.312 * * * * [points]: Setting MPFR precision to 1088
8.660 * * * * [points]: Setting MPFR precision to 1344
9.106 * * * * [points]: Filtering points with unrepresentable outputs
9.108 * * * * [points]: Sampling 995 additional inputs, on iter 3 have 7005 / 8000
9.117 * * * * [points]: Computing exacts on every 62 of 995 points to ramp up precision
9.119 * * * * [points]: Setting MPFR precision to 1088
9.122 * * * * [points]: Setting MPFR precision to 1344
9.125 * * * * [points]: Computing exacts on every 31 of 995 points to ramp up precision
9.127 * * * * [points]: Setting MPFR precision to 1088
9.132 * * * * [points]: Setting MPFR precision to 1344
9.140 * * * * [points]: Computing exacts on every 15 of 995 points to ramp up precision
9.142 * * * * [points]: Setting MPFR precision to 1088
9.152 * * * * [points]: Setting MPFR precision to 1344
9.167 * * * * [points]: Computing exacts on every 7 of 995 points to ramp up precision
9.170 * * * * [points]: Setting MPFR precision to 1088
9.191 * * * * [points]: Setting MPFR precision to 1344
9.218 * * * * [points]: Computing exacts on every 3 of 995 points to ramp up precision
9.220 * * * * [points]: Setting MPFR precision to 1088
9.263 * * * * [points]: Setting MPFR precision to 1344
9.321 * * * * [points]: Computing exacts for 995 points
9.323 * * * * [points]: Setting MPFR precision to 1088
9.497 * * * * [points]: Setting MPFR precision to 1344
9.725 * * * * [points]: Filtering points with unrepresentable outputs
9.727 * * * * [points]: Sampling 488 additional inputs, on iter 4 have 7512 / 8000
9.731 * * * * [points]: Computing exacts on every 30 of 488 points to ramp up precision
9.733 * * * * [points]: Setting MPFR precision to 1088
9.736 * * * * [points]: Setting MPFR precision to 1344
9.740 * * * * [points]: Computing exacts on every 15 of 488 points to ramp up precision
9.742 * * * * [points]: Setting MPFR precision to 1088
9.748 * * * * [points]: Setting MPFR precision to 1344
9.755 * * * * [points]: Computing exacts on every 7 of 488 points to ramp up precision
9.758 * * * * [points]: Setting MPFR precision to 1088
9.770 * * * * [points]: Setting MPFR precision to 1344
9.785 * * * * [points]: Computing exacts on every 3 of 488 points to ramp up precision
9.787 * * * * [points]: Setting MPFR precision to 1088
9.810 * * * * [points]: Setting MPFR precision to 1344
9.838 * * * * [points]: Computing exacts for 488 points
9.841 * * * * [points]: Setting MPFR precision to 1088
9.932 * * * * [points]: Setting MPFR precision to 1344
10.044 * * * * [points]: Filtering points with unrepresentable outputs
10.044 * * * * [points]: Sampling 254 additional inputs, on iter 5 have 7746 / 8000
10.046 * * * * [points]: Computing exacts on every 15 of 254 points to ramp up precision
10.048 * * * * [points]: Setting MPFR precision to 1088
10.051 * * * * [points]: Setting MPFR precision to 1344
10.055 * * * * [points]: Computing exacts on every 7 of 254 points to ramp up precision
10.057 * * * * [points]: Setting MPFR precision to 1088
10.063 * * * * [points]: Setting MPFR precision to 1344
10.071 * * * * [points]: Computing exacts on every 3 of 254 points to ramp up precision
10.074 * * * * [points]: Setting MPFR precision to 1088
10.085 * * * * [points]: Setting MPFR precision to 1344
10.101 * * * * [points]: Computing exacts for 254 points
10.103 * * * * [points]: Setting MPFR precision to 1088
10.152 * * * * [points]: Setting MPFR precision to 1344
10.213 * * * * [points]: Filtering points with unrepresentable outputs
10.214 * * * * [points]: Sampling 126 additional inputs, on iter 6 have 7874 / 8000
10.215 * * * * [points]: Computing exacts on every 7 of 126 points to ramp up precision
10.217 * * * * [points]: Setting MPFR precision to 1088
10.220 * * * * [points]: Setting MPFR precision to 1344
10.223 * * * * [points]: Computing exacts on every 3 of 126 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 for 126 points
10.241 * * * * [points]: Setting MPFR precision to 1088
10.262 * * * * [points]: Setting MPFR precision to 1344
10.288 * * * * [points]: Filtering points with unrepresentable outputs
10.289 * * * * [points]: Sampling 53 additional inputs, on iter 7 have 7947 / 8000
10.289 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
10.291 * * * * [points]: Setting MPFR precision to 1088
10.294 * * * * [points]: Setting MPFR precision to 1344
10.297 * * * * [points]: Computing exacts for 53 points
10.299 * * * * [points]: Setting MPFR precision to 1088
10.308 * * * * [points]: Setting MPFR precision to 1344
10.319 * * * * [points]: Filtering points with unrepresentable outputs
10.320 * * * * [points]: Sampling 31 additional inputs, on iter 8 have 7969 / 8000
10.320 * * * * [points]: Computing exacts for 31 points
10.322 * * * * [points]: Setting MPFR precision to 1088
10.328 * * * * [points]: Setting MPFR precision to 1344
10.336 * * * * [points]: Filtering points with unrepresentable outputs
10.336 * * * * [points]: Sampling 12 additional inputs, on iter 9 have 7988 / 8000
10.336 * * * * [points]: Computing exacts for 12 points
10.338 * * * * [points]: Setting MPFR precision to 1088
10.341 * * * * [points]: Setting MPFR precision to 1344
10.344 * * * * [points]: Filtering points with unrepresentable outputs
10.344 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000
10.344 * * * * [points]: Computing exacts for 4 points
10.346 * * * * [points]: Setting MPFR precision to 1088
10.347 * * * * [points]: Setting MPFR precision to 1344
10.348 * * * * [points]: Filtering points with unrepresentable outputs
10.348 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000
10.348 * * * * [points]: Computing exacts for 4 points
10.353 * * * * [points]: Setting MPFR precision to 1088
10.354 * * * * [points]: Setting MPFR precision to 1344
10.354 * * * * [points]: Filtering points with unrepresentable outputs
10.354 * * * * [points]: Sampled 8000 points with exact outputs
10.423 * [regime-testing]: End program error score: 43.30757424543274