16.049 * [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.006 * * * * [points]: Setting MPFR precision to 64
0.007 * * * * [points]: Setting MPFR precision to 320
0.009 * * * * [points]: Setting MPFR precision to 576
0.011 * * * * [points]: Setting MPFR precision to 832
0.013 * * * * [points]: Setting MPFR precision to 1088
0.015 * * * * [points]: Setting MPFR precision to 1344
0.018 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.021 * * * * [points]: Setting MPFR precision to 1088
0.026 * * * * [points]: Setting MPFR precision to 1344
0.032 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.034 * * * * [points]: Setting MPFR precision to 1088
0.043 * * * * [points]: Setting MPFR precision to 1344
0.054 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.056 * * * * [points]: Setting MPFR precision to 1088
0.072 * * * * [points]: Setting MPFR precision to 1344
0.091 * * * * [points]: Computing exacts for 256 points
0.093 * * * * [points]: Setting MPFR precision to 1088
0.142 * * * * [points]: Setting MPFR precision to 1344
0.200 * * * * [points]: Filtering points with unrepresentable outputs
0.200 * * * * [points]: Sampling 128 additional inputs, on iter 1 have 128 / 256
0.201 * * * * [points]: Computing exacts on every 8 of 128 points to ramp up precision
0.204 * * * * [points]: Setting MPFR precision to 1088
0.206 * * * * [points]: Setting MPFR precision to 1344
0.209 * * * * [points]: Computing exacts on every 4 of 128 points to ramp up precision
0.212 * * * * [points]: Setting MPFR precision to 1088
0.217 * * * * [points]: Setting MPFR precision to 1344
0.223 * * * * [points]: Computing exacts on every 2 of 128 points to ramp up precision
0.225 * * * * [points]: Setting MPFR precision to 1088
0.234 * * * * [points]: Setting MPFR precision to 1344
0.244 * * * * [points]: Computing exacts for 128 points
0.246 * * * * [points]: Setting MPFR precision to 1088
0.271 * * * * [points]: Setting MPFR precision to 1344
0.300 * * * * [points]: Filtering points with unrepresentable outputs
0.300 * * * * [points]: Sampling 60 additional inputs, on iter 2 have 196 / 256
0.301 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
0.303 * * * * [points]: Setting MPFR precision to 1088
0.306 * * * * [points]: Setting MPFR precision to 1344
0.309 * * * * [points]: Computing exacts for 60 points
0.311 * * * * [points]: Setting MPFR precision to 1088
0.324 * * * * [points]: Setting MPFR precision to 1344
0.336 * * * * [points]: Filtering points with unrepresentable outputs
0.337 * * * * [points]: Sampling 33 additional inputs, on iter 3 have 223 / 256
0.337 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
0.339 * * * * [points]: Setting MPFR precision to 1088
0.341 * * * * [points]: Setting MPFR precision to 1344
0.343 * * * * [points]: Computing exacts for 33 points
0.345 * * * * [points]: Setting MPFR precision to 1088
0.351 * * * * [points]: Setting MPFR precision to 1344
0.358 * * * * [points]: Filtering points with unrepresentable outputs
0.358 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256
0.359 * * * * [points]: Computing exacts for 15 points
0.361 * * * * [points]: Setting MPFR precision to 1088
0.364 * * * * [points]: Setting MPFR precision to 1344
0.367 * * * * [points]: Filtering points with unrepresentable outputs
0.367 * * * * [points]: Sampling 11 additional inputs, on iter 5 have 245 / 256
0.367 * * * * [points]: Computing exacts for 11 points
0.370 * * * * [points]: Setting MPFR precision to 1088
0.371 * * * * [points]: Setting MPFR precision to 1344
0.373 * * * * [points]: Filtering points with unrepresentable outputs
0.373 * * * * [points]: Sampling 9 additional inputs, on iter 6 have 247 / 256
0.373 * * * * [points]: Computing exacts for 9 points
0.376 * * * * [points]: Setting MPFR precision to 1088
0.377 * * * * [points]: Setting MPFR precision to 1344
0.379 * * * * [points]: Filtering points with unrepresentable outputs
0.379 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256
0.379 * * * * [points]: Computing exacts for 4 points
0.381 * * * * [points]: Setting MPFR precision to 1088
0.382 * * * * [points]: Setting MPFR precision to 1344
0.383 * * * * [points]: Filtering points with unrepresentable outputs
0.383 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 254 / 256
0.383 * * * * [points]: Computing exacts for 4 points
0.386 * * * * [points]: Setting MPFR precision to 1088
0.386 * * * * [points]: Setting MPFR precision to 1344
0.388 * * * * [points]: Filtering points with unrepresentable outputs
0.388 * * * * [points]: Sampled 257 points with exact outputs
0.388 * * * [progress]: [2/2] Setting up program.
0.390 * [progress]: [Phase 2 of 3] Improving.
0.390 * [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.392 * * [simplify]: iteration  0 :  16  enodes  (cost  7 )
0.393 * * [simplify]: iteration  1 :  16  enodes  (cost  7 )
0.393 * [simplify]: Simplified to:
   (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.394 * * [progress]: iteration 1 / 4
0.394 * * * [progress]: picking best candidate
0.395 * * * * [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.395 * * * [progress]: localizing error
0.470 * * * [progress]: generating rewritten candidates
0.470 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.471 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.471 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.471 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.472 * * * [progress]: generating series expansions
0.472 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.472 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.472 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
0.472 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.472 * * * [progress]: simplifying candidates
0.472 * [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.475 * * [simplify]: iteration  0 :  21  enodes  (cost  35 )
0.476 * * [simplify]: iteration  1 :  21  enodes  (cost  35 )
0.476 * [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.476 * * * [progress]: adding candidates to table
0.481 * [progress]: [Phase 3 of 3] Extracting.
0.484 * [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.484 * * [simplify]: iteration  0 :  13  enodes  (cost  7 )
0.484 * * [simplify]: iteration  1 :  13  enodes  (cost  7 )
0.484 * [simplify]: Simplified to:
   (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))
0.485 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.558 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.561 * * * * [points]: Setting MPFR precision to 1088
0.563 * * * * [points]: Setting MPFR precision to 1344
0.567 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.570 * * * * [points]: Setting MPFR precision to 1088
0.576 * * * * [points]: Setting MPFR precision to 1344
0.583 * * * * [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.611 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
0.614 * * * * [points]: Setting MPFR precision to 1088
0.635 * * * * [points]: Setting MPFR precision to 1344
0.663 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
0.666 * * * * [points]: Setting MPFR precision to 1088
0.711 * * * * [points]: Setting MPFR precision to 1344
0.770 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
0.772 * * * * [points]: Setting MPFR precision to 1088
0.862 * * * * [points]: Setting MPFR precision to 1344
0.976 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
0.978 * * * * [points]: Setting MPFR precision to 1088
1.159 * * * * [points]: Setting MPFR precision to 1344
1.386 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.389 * * * * [points]: Setting MPFR precision to 1088
1.748 * * * * [points]: Setting MPFR precision to 1344
2.206 * * * * [points]: Computing exacts for 8000 points
2.208 * * * * [points]: Setting MPFR precision to 1088
3.649 * * * * [points]: Setting MPFR precision to 1344
5.498 * * * * [points]: Filtering points with unrepresentable outputs
5.505 * * * * [points]: Sampling 3995 additional inputs, on iter 1 have 4005 / 8000
5.540 * * * * [points]: Computing exacts on every 249 of 3995 points to ramp up precision
5.542 * * * * [points]: Setting MPFR precision to 1088
5.545 * * * * [points]: Setting MPFR precision to 1344
5.549 * * * * [points]: Computing exacts on every 124 of 3995 points to ramp up precision
5.552 * * * * [points]: Setting MPFR precision to 1088
5.561 * * * * [points]: Setting MPFR precision to 1344
5.569 * * * * [points]: Computing exacts on every 62 of 3995 points to ramp up precision
5.571 * * * * [points]: Setting MPFR precision to 1088
5.584 * * * * [points]: Setting MPFR precision to 1344
5.600 * * * * [points]: Computing exacts on every 31 of 3995 points to ramp up precision
5.603 * * * * [points]: Setting MPFR precision to 1088
5.624 * * * * [points]: Setting MPFR precision to 1344
5.651 * * * * [points]: Computing exacts on every 15 of 3995 points to ramp up precision
5.653 * * * * [points]: Setting MPFR precision to 1088
5.697 * * * * [points]: Setting MPFR precision to 1344
5.753 * * * * [points]: Computing exacts on every 7 of 3995 points to ramp up precision
5.755 * * * * [points]: Setting MPFR precision to 1088
5.843 * * * * [points]: Setting MPFR precision to 1344
5.957 * * * * [points]: Computing exacts on every 3 of 3995 points to ramp up precision
5.959 * * * * [points]: Setting MPFR precision to 1088
6.139 * * * * [points]: Setting MPFR precision to 1344
6.372 * * * * [points]: Computing exacts for 3995 points
6.374 * * * * [points]: Setting MPFR precision to 1088
7.086 * * * * [points]: Setting MPFR precision to 1344
8.011 * * * * [points]: Filtering points with unrepresentable outputs
8.015 * * * * [points]: Sampling 2003 additional inputs, on iter 2 have 5997 / 8000
8.033 * * * * [points]: Computing exacts on every 125 of 2003 points to ramp up precision
8.035 * * * * [points]: Setting MPFR precision to 1088
8.038 * * * * [points]: Setting MPFR precision to 1344
8.041 * * * * [points]: Computing exacts on every 62 of 2003 points to ramp up precision
8.044 * * * * [points]: Setting MPFR precision to 1088
8.049 * * * * [points]: Setting MPFR precision to 1344
8.056 * * * * [points]: Computing exacts on every 31 of 2003 points to ramp up precision
8.059 * * * * [points]: Setting MPFR precision to 1088
8.071 * * * * [points]: Setting MPFR precision to 1344
8.087 * * * * [points]: Computing exacts on every 15 of 2003 points to ramp up precision
8.090 * * * * [points]: Setting MPFR precision to 1088
8.115 * * * * [points]: Setting MPFR precision to 1344
8.147 * * * * [points]: Computing exacts on every 7 of 2003 points to ramp up precision
8.150 * * * * [points]: Setting MPFR precision to 1088
8.201 * * * * [points]: Setting MPFR precision to 1344
8.262 * * * * [points]: Computing exacts on every 3 of 2003 points to ramp up precision
8.265 * * * * [points]: Setting MPFR precision to 1088
8.358 * * * * [points]: Setting MPFR precision to 1344
8.480 * * * * [points]: Computing exacts for 2003 points
8.482 * * * * [points]: Setting MPFR precision to 1088
8.840 * * * * [points]: Setting MPFR precision to 1344
9.312 * * * * [points]: Filtering points with unrepresentable outputs
9.314 * * * * [points]: Sampling 999 additional inputs, on iter 3 have 7001 / 8000
9.323 * * * * [points]: Computing exacts on every 62 of 999 points to ramp up precision
9.325 * * * * [points]: Setting MPFR precision to 1088
9.328 * * * * [points]: Setting MPFR precision to 1344
9.332 * * * * [points]: Computing exacts on every 31 of 999 points to ramp up precision
9.334 * * * * [points]: Setting MPFR precision to 1088
9.340 * * * * [points]: Setting MPFR precision to 1344
9.347 * * * * [points]: Computing exacts on every 15 of 999 points to ramp up precision
9.349 * * * * [points]: Setting MPFR precision to 1088
9.361 * * * * [points]: Setting MPFR precision to 1344
9.375 * * * * [points]: Computing exacts on every 7 of 999 points to ramp up precision
9.381 * * * * [points]: Setting MPFR precision to 1088
9.403 * * * * [points]: Setting MPFR precision to 1344
9.432 * * * * [points]: Computing exacts on every 3 of 999 points to ramp up precision
9.434 * * * * [points]: Setting MPFR precision to 1088
9.479 * * * * [points]: Setting MPFR precision to 1344
9.538 * * * * [points]: Computing exacts for 999 points
9.540 * * * * [points]: Setting MPFR precision to 1088
9.723 * * * * [points]: Setting MPFR precision to 1344
9.960 * * * * [points]: Filtering points with unrepresentable outputs
9.961 * * * * [points]: Sampling 504 additional inputs, on iter 4 have 7496 / 8000
9.965 * * * * [points]: Computing exacts on every 31 of 504 points to ramp up precision
9.970 * * * * [points]: Setting MPFR precision to 1088
9.973 * * * * [points]: Setting MPFR precision to 1344
9.976 * * * * [points]: Computing exacts on every 15 of 504 points to ramp up precision
9.979 * * * * [points]: Setting MPFR precision to 1088
9.984 * * * * [points]: Setting MPFR precision to 1344
9.991 * * * * [points]: Computing exacts on every 7 of 504 points to ramp up precision
9.994 * * * * [points]: Setting MPFR precision to 1088
10.005 * * * * [points]: Setting MPFR precision to 1344
10.019 * * * * [points]: Computing exacts on every 3 of 504 points to ramp up precision
10.022 * * * * [points]: Setting MPFR precision to 1088
10.043 * * * * [points]: Setting MPFR precision to 1344
10.072 * * * * [points]: Computing exacts for 504 points
10.075 * * * * [points]: Setting MPFR precision to 1088
10.163 * * * * [points]: Setting MPFR precision to 1344
10.280 * * * * [points]: Filtering points with unrepresentable outputs
10.280 * * * * [points]: Sampling 265 additional inputs, on iter 5 have 7735 / 8000
10.283 * * * * [points]: Computing exacts on every 16 of 265 points to ramp up precision
10.285 * * * * [points]: Setting MPFR precision to 1088
10.288 * * * * [points]: Setting MPFR precision to 1344
10.292 * * * * [points]: Computing exacts on every 8 of 265 points to ramp up precision
10.295 * * * * [points]: Setting MPFR precision to 1088
10.301 * * * * [points]: Setting MPFR precision to 1344
10.307 * * * * [points]: Computing exacts on every 4 of 265 points to ramp up precision
10.310 * * * * [points]: Setting MPFR precision to 1088
10.320 * * * * [points]: Setting MPFR precision to 1344
10.333 * * * * [points]: Computing exacts on every 2 of 265 points to ramp up precision
10.335 * * * * [points]: Setting MPFR precision to 1088
10.353 * * * * [points]: Setting MPFR precision to 1344
10.373 * * * * [points]: Computing exacts for 265 points
10.376 * * * * [points]: Setting MPFR precision to 1088
10.427 * * * * [points]: Setting MPFR precision to 1344
10.493 * * * * [points]: Filtering points with unrepresentable outputs
10.493 * * * * [points]: Sampling 118 additional inputs, on iter 6 have 7882 / 8000
10.494 * * * * [points]: Computing exacts on every 7 of 118 points to ramp up precision
10.497 * * * * [points]: Setting MPFR precision to 1088
10.500 * * * * [points]: Setting MPFR precision to 1344
10.503 * * * * [points]: Computing exacts on every 3 of 118 points to ramp up precision
10.505 * * * * [points]: Setting MPFR precision to 1088
10.511 * * * * [points]: Setting MPFR precision to 1344
10.518 * * * * [points]: Computing exacts for 118 points
10.520 * * * * [points]: Setting MPFR precision to 1088
10.541 * * * * [points]: Setting MPFR precision to 1344
10.567 * * * * [points]: Filtering points with unrepresentable outputs
10.567 * * * * [points]: Sampling 58 additional inputs, on iter 7 have 7942 / 8000
10.568 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision
10.570 * * * * [points]: Setting MPFR precision to 1088
10.573 * * * * [points]: Setting MPFR precision to 1344
10.576 * * * * [points]: Computing exacts for 58 points
10.578 * * * * [points]: Setting MPFR precision to 1088
10.588 * * * * [points]: Setting MPFR precision to 1344
10.603 * * * * [points]: Filtering points with unrepresentable outputs
10.603 * * * * [points]: Sampling 36 additional inputs, on iter 8 have 7964 / 8000
10.604 * * * * [points]: Computing exacts on every 2 of 36 points to ramp up precision
10.606 * * * * [points]: Setting MPFR precision to 1088
10.609 * * * * [points]: Setting MPFR precision to 1344
10.611 * * * * [points]: Computing exacts for 36 points
10.614 * * * * [points]: Setting MPFR precision to 1088
10.621 * * * * [points]: Setting MPFR precision to 1344
10.630 * * * * [points]: Filtering points with unrepresentable outputs
10.630 * * * * [points]: Sampling 16 additional inputs, on iter 9 have 7984 / 8000
10.630 * * * * [points]: Computing exacts for 16 points
10.632 * * * * [points]: Setting MPFR precision to 1088
10.635 * * * * [points]: Setting MPFR precision to 1344
10.639 * * * * [points]: Filtering points with unrepresentable outputs
10.639 * * * * [points]: Sampling 9 additional inputs, on iter 10 have 7991 / 8000
10.639 * * * * [points]: Computing exacts for 9 points
10.643 * * * * [points]: Setting MPFR precision to 1088
10.645 * * * * [points]: Setting MPFR precision to 1344
10.647 * * * * [points]: Filtering points with unrepresentable outputs
10.647 * * * * [points]: Sampling 6 additional inputs, on iter 11 have 7994 / 8000
10.647 * * * * [points]: Computing exacts for 6 points
10.650 * * * * [points]: Setting MPFR precision to 1088
10.651 * * * * [points]: Setting MPFR precision to 1344
10.652 * * * * [points]: Filtering points with unrepresentable outputs
10.652 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7996 / 8000
10.652 * * * * [points]: Computing exacts for 4 points
10.655 * * * * [points]: Setting MPFR precision to 1088
10.655 * * * * [points]: Setting MPFR precision to 1344
10.656 * * * * [points]: Filtering points with unrepresentable outputs
10.656 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7998 / 8000
10.656 * * * * [points]: Computing exacts for 4 points
10.658 * * * * [points]: Setting MPFR precision to 1088
10.659 * * * * [points]: Setting MPFR precision to 1344
10.661 * * * * [points]: Filtering points with unrepresentable outputs
10.661 * * * * [points]: Sampled 8002 points with exact outputs
10.728 * [regime-testing]: End program error score: 43.40576282038407