12.875 * [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]: Setting MPFR precision to 576
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.011 * * * * [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.026 * * * * [points]: Setting MPFR precision to 1344
0.033 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.035 * * * * [points]: Setting MPFR precision to 1088
0.043 * * * * [points]: Setting MPFR precision to 1344
0.055 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.057 * * * * [points]: Setting MPFR precision to 1088
0.072 * * * * [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.202 * * * * [points]: Filtering points with unrepresentable outputs
0.202 * * * * [points]: Sampling 125 additional inputs, on iter 1 have 131 / 256
0.203 * * * * [points]: Computing exacts on every 7 of 125 points to ramp up precision
0.209 * * * * [points]: Setting MPFR precision to 1088
0.212 * * * * [points]: Setting MPFR precision to 1344
0.216 * * * * [points]: Computing exacts on every 3 of 125 points to ramp up precision
0.218 * * * * [points]: Setting MPFR precision to 1088
0.223 * * * * [points]: Setting MPFR precision to 1344
0.230 * * * * [points]: Computing exacts for 125 points
0.232 * * * * [points]: Setting MPFR precision to 1088
0.258 * * * * [points]: Setting MPFR precision to 1344
0.288 * * * * [points]: Filtering points with unrepresentable outputs
0.288 * * * * [points]: Sampling 62 additional inputs, on iter 2 have 194 / 256
0.289 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
0.291 * * * * [points]: Setting MPFR precision to 1088
0.293 * * * * [points]: Setting MPFR precision to 1344
0.296 * * * * [points]: Computing exacts for 62 points
0.298 * * * * [points]: Setting MPFR precision to 1088
0.307 * * * * [points]: Setting MPFR precision to 1344
0.321 * * * * [points]: Filtering points with unrepresentable outputs
0.321 * * * * [points]: Sampling 38 additional inputs, on iter 3 have 218 / 256
0.321 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
0.323 * * * * [points]: Setting MPFR precision to 1088
0.325 * * * * [points]: Setting MPFR precision to 1344
0.328 * * * * [points]: Computing exacts for 38 points
0.330 * * * * [points]: Setting MPFR precision to 1088
0.336 * * * * [points]: Setting MPFR precision to 1344
0.344 * * * * [points]: Filtering points with unrepresentable outputs
0.344 * * * * [points]: Sampling 18 additional inputs, on iter 4 have 238 / 256
0.345 * * * * [points]: Computing exacts for 18 points
0.347 * * * * [points]: Setting MPFR precision to 1088
0.350 * * * * [points]: Setting MPFR precision to 1344
0.354 * * * * [points]: Filtering points with unrepresentable outputs
0.354 * * * * [points]: Sampling 10 additional inputs, on iter 5 have 246 / 256
0.354 * * * * [points]: Computing exacts for 10 points
0.356 * * * * [points]: Setting MPFR precision to 1088
0.358 * * * * [points]: Setting MPFR precision to 1344
0.361 * * * * [points]: Filtering points with unrepresentable outputs
0.361 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.361 * * * * [points]: Computing exacts for 4 points
0.363 * * * * [points]: Setting MPFR precision to 1088
0.364 * * * * [points]: Setting MPFR precision to 1344
0.365 * * * * [points]: Filtering points with unrepresentable outputs
0.365 * * * * [points]: Sampled 256 points with exact outputs
0.365 * * * [progress]: [2/2] Setting up program.
0.367 * [progress]: [Phase 2 of 3] Improving.
0.367 * [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.369 * * [simplify]: iteration  0 :  16  enodes  (cost  7 )
0.370 * * [simplify]: iteration  1 :  16  enodes  (cost  7 )
0.370 * [simplify]: Simplified to:
   (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.371 * * [progress]: iteration 1 / 4
0.371 * * * [progress]: picking best candidate
0.372 * * * * [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.373 * * * [progress]: localizing error
0.452 * * * [progress]: generating rewritten candidates
0.452 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.452 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
0.452 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.452 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.453 * * * [progress]: generating series expansions
0.453 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.453 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
0.453 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.453 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.453 * * * [progress]: simplifying candidates
0.453 * [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.456 * * [simplify]: iteration  0 :  21  enodes  (cost  35 )
0.457 * * [simplify]: iteration  1 :  21  enodes  (cost  35 )
0.457 * [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.457 * * * [progress]: adding candidates to table
0.462 * [progress]: [Phase 3 of 3] Extracting.
0.464 * [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.465 * * [simplify]: iteration  0 :  13  enodes  (cost  7 )
0.465 * * [simplify]: iteration  1 :  13  enodes  (cost  7 )
0.465 * [simplify]: Simplified to:
   (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.465 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.538 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.540 * * * * [points]: Setting MPFR precision to 1088
0.543 * * * * [points]: Setting MPFR precision to 1344
0.547 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.549 * * * * [points]: Setting MPFR precision to 1088
0.554 * * * * [points]: Setting MPFR precision to 1344
0.562 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
0.563 * * * * [points]: Setting MPFR precision to 1088
0.575 * * * * [points]: Setting MPFR precision to 1344
0.589 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
0.591 * * * * [points]: Setting MPFR precision to 1088
0.614 * * * * [points]: Setting MPFR precision to 1344
0.642 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
0.644 * * * * [points]: Setting MPFR precision to 1088
0.691 * * * * [points]: Setting MPFR precision to 1344
0.754 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
0.756 * * * * [points]: Setting MPFR precision to 1088
0.847 * * * * [points]: Setting MPFR precision to 1344
0.966 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
0.968 * * * * [points]: Setting MPFR precision to 1088
1.147 * * * * [points]: Setting MPFR precision to 1344
1.379 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.381 * * * * [points]: Setting MPFR precision to 1088
1.734 * * * * [points]: Setting MPFR precision to 1344
2.192 * * * * [points]: Computing exacts for 8000 points
2.194 * * * * [points]: Setting MPFR precision to 1088
3.613 * * * * [points]: Setting MPFR precision to 1344
5.449 * * * * [points]: Filtering points with unrepresentable outputs
5.455 * * * * [points]: Sampling 3948 additional inputs, on iter 1 have 4052 / 8000
5.489 * * * * [points]: Computing exacts on every 246 of 3948 points to ramp up precision
5.491 * * * * [points]: Setting MPFR precision to 1088
5.499 * * * * [points]: Setting MPFR precision to 1344
5.503 * * * * [points]: Computing exacts on every 123 of 3948 points to ramp up precision
5.505 * * * * [points]: Setting MPFR precision to 1088
5.510 * * * * [points]: Setting MPFR precision to 1344
5.517 * * * * [points]: Computing exacts on every 61 of 3948 points to ramp up precision
5.519 * * * * [points]: Setting MPFR precision to 1088
5.531 * * * * [points]: Setting MPFR precision to 1344
5.546 * * * * [points]: Computing exacts on every 30 of 3948 points to ramp up precision
5.548 * * * * [points]: Setting MPFR precision to 1088
5.571 * * * * [points]: Setting MPFR precision to 1344
5.600 * * * * [points]: Computing exacts on every 15 of 3948 points to ramp up precision
5.602 * * * * [points]: Setting MPFR precision to 1088
5.644 * * * * [points]: Setting MPFR precision to 1344
5.699 * * * * [points]: Computing exacts on every 7 of 3948 points to ramp up precision
5.701 * * * * [points]: Setting MPFR precision to 1088
5.788 * * * * [points]: Setting MPFR precision to 1344
5.902 * * * * [points]: Computing exacts on every 3 of 3948 points to ramp up precision
5.904 * * * * [points]: Setting MPFR precision to 1088
6.078 * * * * [points]: Setting MPFR precision to 1344
6.301 * * * * [points]: Computing exacts for 3948 points
6.303 * * * * [points]: Setting MPFR precision to 1088
7.000 * * * * [points]: Setting MPFR precision to 1344
7.892 * * * * [points]: Filtering points with unrepresentable outputs
7.895 * * * * [points]: Sampling 1989 additional inputs, on iter 2 have 6011 / 8000
7.913 * * * * [points]: Computing exacts on every 124 of 1989 points to ramp up precision
7.917 * * * * [points]: Setting MPFR precision to 1088
7.919 * * * * [points]: Setting MPFR precision to 1344
7.922 * * * * [points]: Computing exacts on every 62 of 1989 points to ramp up precision
7.924 * * * * [points]: Setting MPFR precision to 1088
7.930 * * * * [points]: Setting MPFR precision to 1344
7.939 * * * * [points]: Computing exacts on every 31 of 1989 points to ramp up precision
7.941 * * * * [points]: Setting MPFR precision to 1088
7.952 * * * * [points]: Setting MPFR precision to 1344
7.965 * * * * [points]: Computing exacts on every 15 of 1989 points to ramp up precision
7.967 * * * * [points]: Setting MPFR precision to 1088
7.989 * * * * [points]: Setting MPFR precision to 1344
8.018 * * * * [points]: Computing exacts on every 7 of 1989 points to ramp up precision
8.020 * * * * [points]: Setting MPFR precision to 1088
8.064 * * * * [points]: Setting MPFR precision to 1344
8.121 * * * * [points]: Computing exacts on every 3 of 1989 points to ramp up precision
8.123 * * * * [points]: Setting MPFR precision to 1088
8.211 * * * * [points]: Setting MPFR precision to 1344
8.328 * * * * [points]: Computing exacts for 1989 points
8.331 * * * * [points]: Setting MPFR precision to 1088
8.684 * * * * [points]: Setting MPFR precision to 1344
9.150 * * * * [points]: Filtering points with unrepresentable outputs
9.152 * * * * [points]: Sampling 995 additional inputs, on iter 3 have 7005 / 8000
9.161 * * * * [points]: Computing exacts on every 62 of 995 points to ramp up precision
9.163 * * * * [points]: Setting MPFR precision to 1088
9.166 * * * * [points]: Setting MPFR precision to 1344
9.171 * * * * [points]: Computing exacts on every 31 of 995 points to ramp up precision
9.173 * * * * [points]: Setting MPFR precision to 1088
9.178 * * * * [points]: Setting MPFR precision to 1344
9.187 * * * * [points]: Computing exacts on every 15 of 995 points to ramp up precision
9.189 * * * * [points]: Setting MPFR precision to 1088
9.199 * * * * [points]: Setting MPFR precision to 1344
9.214 * * * * [points]: Computing exacts on every 7 of 995 points to ramp up precision
9.216 * * * * [points]: Setting MPFR precision to 1088
9.236 * * * * [points]: Setting MPFR precision to 1344
9.265 * * * * [points]: Computing exacts on every 3 of 995 points to ramp up precision
9.268 * * * * [points]: Setting MPFR precision to 1088
9.312 * * * * [points]: Setting MPFR precision to 1344
9.371 * * * * [points]: Computing exacts for 995 points
9.373 * * * * [points]: Setting MPFR precision to 1088
9.545 * * * * [points]: Setting MPFR precision to 1344
9.776 * * * * [points]: Filtering points with unrepresentable outputs
9.777 * * * * [points]: Sampling 474 additional inputs, on iter 4 have 7526 / 8000
9.781 * * * * [points]: Computing exacts on every 29 of 474 points to ramp up precision
9.783 * * * * [points]: Setting MPFR precision to 1088
9.786 * * * * [points]: Setting MPFR precision to 1344
9.789 * * * * [points]: Computing exacts on every 14 of 474 points to ramp up precision
9.791 * * * * [points]: Setting MPFR precision to 1088
9.796 * * * * [points]: Setting MPFR precision to 1344
9.802 * * * * [points]: Computing exacts on every 7 of 474 points to ramp up precision
9.805 * * * * [points]: Setting MPFR precision to 1088
9.815 * * * * [points]: Setting MPFR precision to 1344
9.830 * * * * [points]: Computing exacts on every 3 of 474 points to ramp up precision
9.832 * * * * [points]: Setting MPFR precision to 1088
9.853 * * * * [points]: Setting MPFR precision to 1344
9.882 * * * * [points]: Computing exacts for 474 points
9.885 * * * * [points]: Setting MPFR precision to 1088
9.965 * * * * [points]: Setting MPFR precision to 1344
10.072 * * * * [points]: Filtering points with unrepresentable outputs
10.072 * * * * [points]: Sampling 233 additional inputs, on iter 5 have 7767 / 8000
10.074 * * * * [points]: Computing exacts on every 14 of 233 points to ramp up precision
10.076 * * * * [points]: Setting MPFR precision to 1088
10.079 * * * * [points]: Setting MPFR precision to 1344
10.083 * * * * [points]: Computing exacts on every 7 of 233 points to ramp up precision
10.085 * * * * [points]: Setting MPFR precision to 1088
10.089 * * * * [points]: Setting MPFR precision to 1344
10.095 * * * * [points]: Computing exacts on every 3 of 233 points to ramp up precision
10.097 * * * * [points]: Setting MPFR precision to 1088
10.106 * * * * [points]: Setting MPFR precision to 1344
10.120 * * * * [points]: Computing exacts for 233 points
10.122 * * * * [points]: Setting MPFR precision to 1088
10.160 * * * * [points]: Setting MPFR precision to 1344
10.210 * * * * [points]: Filtering points with unrepresentable outputs
10.210 * * * * [points]: Sampling 122 additional inputs, on iter 6 have 7878 / 8000
10.211 * * * * [points]: Computing exacts on every 7 of 122 points to ramp up precision
10.213 * * * * [points]: Setting MPFR precision to 1088
10.216 * * * * [points]: Setting MPFR precision to 1344
10.219 * * * * [points]: Computing exacts on every 3 of 122 points to ramp up precision
10.221 * * * * [points]: Setting MPFR precision to 1088
10.227 * * * * [points]: Setting MPFR precision to 1344
10.233 * * * * [points]: Computing exacts for 122 points
10.235 * * * * [points]: Setting MPFR precision to 1088
10.257 * * * * [points]: Setting MPFR precision to 1344
10.283 * * * * [points]: Filtering points with unrepresentable outputs
10.284 * * * * [points]: Sampling 55 additional inputs, on iter 7 have 7945 / 8000
10.284 * * * * [points]: Computing exacts on every 3 of 55 points to ramp up precision
10.286 * * * * [points]: Setting MPFR precision to 1088
10.289 * * * * [points]: Setting MPFR precision to 1344
10.293 * * * * [points]: Computing exacts for 55 points
10.295 * * * * [points]: Setting MPFR precision to 1088
10.305 * * * * [points]: Setting MPFR precision to 1344
10.319 * * * * [points]: Filtering points with unrepresentable outputs
10.319 * * * * [points]: Sampling 28 additional inputs, on iter 8 have 7972 / 8000
10.319 * * * * [points]: Computing exacts for 28 points
10.321 * * * * [points]: Setting MPFR precision to 1088
10.328 * * * * [points]: Setting MPFR precision to 1344
10.335 * * * * [points]: Filtering points with unrepresentable outputs
10.335 * * * * [points]: Sampling 18 additional inputs, on iter 9 have 7982 / 8000
10.335 * * * * [points]: Computing exacts for 18 points
10.337 * * * * [points]: Setting MPFR precision to 1088
10.340 * * * * [points]: Setting MPFR precision to 1344
10.346 * * * * [points]: Filtering points with unrepresentable outputs
10.346 * * * * [points]: Sampling 6 additional inputs, on iter 10 have 7994 / 8000
10.346 * * * * [points]: Computing exacts for 6 points
10.348 * * * * [points]: Setting MPFR precision to 1088
10.349 * * * * [points]: Setting MPFR precision to 1344
10.351 * * * * [points]: Filtering points with unrepresentable outputs
10.351 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
10.351 * * * * [points]: Computing exacts for 4 points
10.353 * * * * [points]: Setting MPFR precision to 1088
10.354 * * * * [points]: Setting MPFR precision to 1344
10.355 * * * * [points]: Filtering points with unrepresentable outputs
10.355 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
10.355 * * * * [points]: Computing exacts for 4 points
10.357 * * * * [points]: Setting MPFR precision to 1088
10.358 * * * * [points]: Setting MPFR precision to 1344
10.359 * * * * [points]: Filtering points with unrepresentable outputs
10.359 * * * * [points]: Sampled 8000 points with exact outputs
10.424 * [regime-testing]: End program error score: 43.38165251486239