10.561 * [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.027 * * * * [points]: Setting MPFR precision to 1344
0.035 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.037 * * * * [points]: Setting MPFR precision to 1088
0.046 * * * * [points]: Setting MPFR precision to 1344
0.059 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.061 * * * * [points]: Setting MPFR precision to 1088
0.078 * * * * [points]: Setting MPFR precision to 1344
0.099 * * * * [points]: Computing exacts for 256 points
0.101 * * * * [points]: Setting MPFR precision to 1088
0.153 * * * * [points]: Setting MPFR precision to 1344
0.217 * * * * [points]: Filtering points with unrepresentable outputs
0.217 * * * * [points]: Sampling 125 additional inputs, on iter 1 have 131 / 256
0.218 * * * * [points]: Computing exacts on every 7 of 125 points to ramp up precision
0.221 * * * * [points]: Setting MPFR precision to 1088
0.224 * * * * [points]: Setting MPFR precision to 1344
0.228 * * * * [points]: Computing exacts on every 3 of 125 points to ramp up precision
0.230 * * * * [points]: Setting MPFR precision to 1088
0.236 * * * * [points]: Setting MPFR precision to 1344
0.243 * * * * [points]: Computing exacts for 125 points
0.246 * * * * [points]: Setting MPFR precision to 1088
0.270 * * * * [points]: Setting MPFR precision to 1344
0.301 * * * * [points]: Filtering points with unrepresentable outputs
0.301 * * * * [points]: Sampling 62 additional inputs, on iter 2 have 194 / 256
0.301 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
0.304 * * * * [points]: Setting MPFR precision to 1088
0.306 * * * * [points]: Setting MPFR precision to 1344
0.309 * * * * [points]: Computing exacts for 62 points
0.312 * * * * [points]: Setting MPFR precision to 1088
0.323 * * * * [points]: Setting MPFR precision to 1344
0.337 * * * * [points]: Filtering points with unrepresentable outputs
0.337 * * * * [points]: Sampling 38 additional inputs, on iter 3 have 218 / 256
0.337 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
0.340 * * * * [points]: Setting MPFR precision to 1088
0.344 * * * * [points]: Setting MPFR precision to 1344
0.347 * * * * [points]: Computing exacts for 38 points
0.350 * * * * [points]: Setting MPFR precision to 1088
0.357 * * * * [points]: Setting MPFR precision to 1344
0.366 * * * * [points]: Filtering points with unrepresentable outputs
0.366 * * * * [points]: Sampling 18 additional inputs, on iter 4 have 238 / 256
0.366 * * * * [points]: Computing exacts for 18 points
0.369 * * * * [points]: Setting MPFR precision to 1088
0.372 * * * * [points]: Setting MPFR precision to 1344
0.376 * * * * [points]: Filtering points with unrepresentable outputs
0.376 * * * * [points]: Sampling 10 additional inputs, on iter 5 have 246 / 256
0.376 * * * * [points]: Computing exacts for 10 points
0.379 * * * * [points]: Setting MPFR precision to 1088
0.381 * * * * [points]: Setting MPFR precision to 1344
0.384 * * * * [points]: Filtering points with unrepresentable outputs
0.384 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.384 * * * * [points]: Computing exacts for 4 points
0.386 * * * * [points]: Setting MPFR precision to 1088
0.387 * * * * [points]: Setting MPFR precision to 1344
0.389 * * * * [points]: Filtering points with unrepresentable outputs
0.389 * * * * [points]: Sampled 256 points with exact outputs
0.389 * * * [progress]: [2/2] Setting up program.
0.391 * [progress]: [Phase 2 of 3] Improving.
0.391 * [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.393 * * [simplify]: iteration  0 :  16  enodes  (cost  7 )
0.394 * * [simplify]: iteration  1 :  16  enodes  (cost  7 )
0.394 * [simplify]: Simplified to:
   (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.395 * * [progress]: iteration 1 / 4
0.395 * * * [progress]: picking best candidate
0.396 * * * * [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.396 * * * [progress]: localizing error
0.476 * * * [progress]: generating rewritten candidates
0.476 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.477 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
0.477 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.477 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.478 * * * [progress]: generating series expansions
0.478 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.478 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
0.478 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.478 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.478 * * * [progress]: simplifying candidates
0.478 * [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.480 * * [simplify]: iteration  0 :  21  enodes  (cost  35 )
0.482 * * [simplify]: iteration  1 :  21  enodes  (cost  35 )
0.482 * [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.482 * * * [progress]: adding candidates to table
0.487 * [progress]: [Phase 3 of 3] Extracting.
0.489 * [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.489 * * [simplify]: iteration  0 :  13  enodes  (cost  7 )
0.490 * * [simplify]: iteration  1 :  13  enodes  (cost  7 )
0.490 * [simplify]: Simplified to:
   (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.490 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.563 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.566 * * * * [points]: Setting MPFR precision to 1088
0.568 * * * * [points]: Setting MPFR precision to 1344
0.573 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.575 * * * * [points]: Setting MPFR precision to 1088
0.582 * * * * [points]: Setting MPFR precision to 1344
0.589 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
0.592 * * * * [points]: Setting MPFR precision to 1088
0.608 * * * * [points]: Setting MPFR precision to 1344
0.622 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
0.625 * * * * [points]: Setting MPFR precision to 1088
0.648 * * * * [points]: Setting MPFR precision to 1344
0.677 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
0.680 * * * * [points]: Setting MPFR precision to 1088
0.728 * * * * [points]: Setting MPFR precision to 1344
0.790 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
0.793 * * * * [points]: Setting MPFR precision to 1088
0.889 * * * * [points]: Setting MPFR precision to 1344
1.012 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.015 * * * * [points]: Setting MPFR precision to 1088
1.200 * * * * [points]: Setting MPFR precision to 1344
1.435 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.438 * * * * [points]: Setting MPFR precision to 1088
1.805 * * * * [points]: Setting MPFR precision to 1344
2.271 * * * * [points]: Computing exacts for 8000 points
2.274 * * * * [points]: Setting MPFR precision to 1088
3.790 * * * * [points]: Setting MPFR precision to 1344
5.711 * * * * [points]: Filtering points with unrepresentable outputs
5.718 * * * * [points]: Sampling 3948 additional inputs, on iter 1 have 4052 / 8000
5.754 * * * * [points]: Computing exacts on every 246 of 3948 points to ramp up precision
5.757 * * * * [points]: Setting MPFR precision to 1088
5.760 * * * * [points]: Setting MPFR precision to 1344
5.764 * * * * [points]: Computing exacts on every 123 of 3948 points to ramp up precision
5.767 * * * * [points]: Setting MPFR precision to 1088
5.772 * * * * [points]: Setting MPFR precision to 1344
5.780 * * * * [points]: Computing exacts on every 61 of 3948 points to ramp up precision
5.783 * * * * [points]: Setting MPFR precision to 1088
5.799 * * * * [points]: Setting MPFR precision to 1344
5.815 * * * * [points]: Computing exacts on every 30 of 3948 points to ramp up precision
5.818 * * * * [points]: Setting MPFR precision to 1088
5.842 * * * * [points]: Setting MPFR precision to 1344
5.872 * * * * [points]: Computing exacts on every 15 of 3948 points to ramp up precision
5.874 * * * * [points]: Setting MPFR precision to 1088
5.918 * * * * [points]: Setting MPFR precision to 1344
5.976 * * * * [points]: Computing exacts on every 7 of 3948 points to ramp up precision
5.978 * * * * [points]: Setting MPFR precision to 1088
6.069 * * * * [points]: Setting MPFR precision to 1344
6.187 * * * * [points]: Computing exacts on every 3 of 3948 points to ramp up precision
6.190 * * * * [points]: Setting MPFR precision to 1088
6.373 * * * * [points]: Setting MPFR precision to 1344
6.604 * * * * [points]: Computing exacts for 3948 points
6.606 * * * * [points]: Setting MPFR precision to 1088
7.327 * * * * [points]: Setting MPFR precision to 1344
8.247 * * * * [points]: Filtering points with unrepresentable outputs
8.250 * * * * [points]: Sampling 1989 additional inputs, on iter 2 have 6011 / 8000
8.268 * * * * [points]: Computing exacts on every 124 of 1989 points to ramp up precision
8.273 * * * * [points]: Setting MPFR precision to 1088
8.275 * * * * [points]: Setting MPFR precision to 1344
8.277 * * * * [points]: Computing exacts on every 62 of 1989 points to ramp up precision
8.280 * * * * [points]: Setting MPFR precision to 1088
8.286 * * * * [points]: Setting MPFR precision to 1344
8.295 * * * * [points]: Computing exacts on every 31 of 1989 points to ramp up precision
8.297 * * * * [points]: Setting MPFR precision to 1088
8.309 * * * * [points]: Setting MPFR precision to 1344
8.322 * * * * [points]: Computing exacts on every 15 of 1989 points to ramp up precision
8.325 * * * * [points]: Setting MPFR precision to 1088
8.348 * * * * [points]: Setting MPFR precision to 1344
8.377 * * * * [points]: Computing exacts on every 7 of 1989 points to ramp up precision
8.379 * * * * [points]: Setting MPFR precision to 1088
8.425 * * * * [points]: Setting MPFR precision to 1344
8.484 * * * * [points]: Computing exacts on every 3 of 1989 points to ramp up precision
8.487 * * * * [points]: Setting MPFR precision to 1088
8.577 * * * * [points]: Setting MPFR precision to 1344
8.697 * * * * [points]: Computing exacts for 1989 points
8.699 * * * * [points]: Setting MPFR precision to 1088
9.066 * * * * [points]: Setting MPFR precision to 1344
9.544 * * * * [points]: Filtering points with unrepresentable outputs
9.545 * * * * [points]: Sampling 995 additional inputs, on iter 3 have 7005 / 8000
9.554 * * * * [points]: Computing exacts on every 62 of 995 points to ramp up precision
9.557 * * * * [points]: Setting MPFR precision to 1088
9.560 * * * * [points]: Setting MPFR precision to 1344
9.564 * * * * [points]: Computing exacts on every 31 of 995 points to ramp up precision
9.567 * * * * [points]: Setting MPFR precision to 1088
9.572 * * * * [points]: Setting MPFR precision to 1344
9.581 * * * * [points]: Computing exacts on every 15 of 995 points to ramp up precision
9.584 * * * * [points]: Setting MPFR precision to 1088
9.595 * * * * [points]: Setting MPFR precision to 1344
9.610 * * * * [points]: Computing exacts on every 7 of 995 points to ramp up precision
9.612 * * * * [points]: Setting MPFR precision to 1088
9.632 * * * * [points]: Setting MPFR precision to 1344
9.666 * * * * [points]: Computing exacts on every 3 of 995 points to ramp up precision
9.669 * * * * [points]: Setting MPFR precision to 1088
9.712 * * * * [points]: Setting MPFR precision to 1344
9.772 * * * * [points]: Computing exacts for 995 points
9.774 * * * * [points]: Setting MPFR precision to 1088
9.953 * * * * [points]: Setting MPFR precision to 1344
10.191 * * * * [points]: Filtering points with unrepresentable outputs
10.192 * * * * [points]: Sampling 474 additional inputs, on iter 4 have 7526 / 8000
10.196 * * * * [points]: Computing exacts on every 29 of 474 points to ramp up precision
10.199 * * * * [points]: Setting MPFR precision to 1088
10.201 * * * * [points]: Setting MPFR precision to 1344
10.204 * * * * [points]: Computing exacts on every 14 of 474 points to ramp up precision
10.209 * * * * [points]: Setting MPFR precision to 1088
10.214 * * * * [points]: Setting MPFR precision to 1344
10.221 * * * * [points]: Computing exacts on every 7 of 474 points to ramp up precision
10.224 * * * * [points]: Setting MPFR precision to 1088
10.234 * * * * [points]: Setting MPFR precision to 1344
10.249 * * * * [points]: Computing exacts on every 3 of 474 points to ramp up precision
10.251 * * * * [points]: Setting MPFR precision to 1088
10.273 * * * * [points]: Setting MPFR precision to 1344
10.301 * * * * [points]: Computing exacts for 474 points
10.304 * * * * [points]: Setting MPFR precision to 1088
10.388 * * * * [points]: Setting MPFR precision to 1344
10.499 * * * * [points]: Filtering points with unrepresentable outputs
10.500 * * * * [points]: Sampling 233 additional inputs, on iter 5 have 7767 / 8000
10.502 * * * * [points]: Computing exacts on every 14 of 233 points to ramp up precision
10.505 * * * * [points]: Setting MPFR precision to 1088
10.508 * * * * [points]: Setting MPFR precision to 1344
10.511 * * * * [points]: Computing exacts on every 7 of 233 points to ramp up precision
10.514 * * * * [points]: Setting MPFR precision to 1088
10.518 * * * * [points]: Setting MPFR precision to 1344
10.524 * * * * [points]: Computing exacts on every 3 of 233 points to ramp up precision
10.526 * * * * [points]: Setting MPFR precision to 1088
10.536 * * * * [points]: Setting MPFR precision to 1344
10.547 * * * * [points]: Computing exacts for 233 points
10.550 * * * * [points]: Setting MPFR precision to 1088
10.591 * * * * [points]: Setting MPFR precision to 1344
10.642 * * * * [points]: Filtering points with unrepresentable outputs
10.642 * * * * [points]: Sampling 122 additional inputs, on iter 6 have 7878 / 8000
10.643 * * * * [points]: Computing exacts on every 7 of 122 points to ramp up precision
10.646 * * * * [points]: Setting MPFR precision to 1088
10.649 * * * * [points]: Setting MPFR precision to 1344
10.652 * * * * [points]: Computing exacts on every 3 of 122 points to ramp up precision
10.657 * * * * [points]: Setting MPFR precision to 1088
10.663 * * * * [points]: Setting MPFR precision to 1344
10.670 * * * * [points]: Computing exacts for 122 points
10.672 * * * * [points]: Setting MPFR precision to 1088
10.695 * * * * [points]: Setting MPFR precision to 1344
10.722 * * * * [points]: Filtering points with unrepresentable outputs
10.723 * * * * [points]: Sampling 55 additional inputs, on iter 7 have 7945 / 8000
10.723 * * * * [points]: Computing exacts on every 3 of 55 points to ramp up precision
10.726 * * * * [points]: Setting MPFR precision to 1088
10.729 * * * * [points]: Setting MPFR precision to 1344
10.733 * * * * [points]: Computing exacts for 55 points
10.736 * * * * [points]: Setting MPFR precision to 1088
10.747 * * * * [points]: Setting MPFR precision to 1344
10.760 * * * * [points]: Filtering points with unrepresentable outputs
10.760 * * * * [points]: Sampling 28 additional inputs, on iter 8 have 7972 / 8000
10.761 * * * * [points]: Computing exacts for 28 points
10.763 * * * * [points]: Setting MPFR precision to 1088
10.768 * * * * [points]: Setting MPFR precision to 1344
10.775 * * * * [points]: Filtering points with unrepresentable outputs
10.775 * * * * [points]: Sampling 18 additional inputs, on iter 9 have 7982 / 8000
10.775 * * * * [points]: Computing exacts for 18 points
10.778 * * * * [points]: Setting MPFR precision to 1088
10.781 * * * * [points]: Setting MPFR precision to 1344
10.787 * * * * [points]: Filtering points with unrepresentable outputs
10.787 * * * * [points]: Sampling 6 additional inputs, on iter 10 have 7994 / 8000
10.787 * * * * [points]: Computing exacts for 6 points
10.789 * * * * [points]: Setting MPFR precision to 1088
10.790 * * * * [points]: Setting MPFR precision to 1344
10.793 * * * * [points]: Filtering points with unrepresentable outputs
10.793 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
10.793 * * * * [points]: Computing exacts for 4 points
10.795 * * * * [points]: Setting MPFR precision to 1088
10.796 * * * * [points]: Setting MPFR precision to 1344
10.797 * * * * [points]: Filtering points with unrepresentable outputs
10.797 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
10.797 * * * * [points]: Computing exacts for 4 points
10.802 * * * * [points]: Setting MPFR precision to 1088
10.803 * * * * [points]: Setting MPFR precision to 1344
10.804 * * * * [points]: Filtering points with unrepresentable outputs
10.805 * * * * [points]: Sampled 8000 points with exact outputs
10.872 * [regime-testing]: End program error score: 43.38165251486239