1.511 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.004 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.009 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.119 * * * * [points]: Setting MPFR precision to 64
0.158 * * * * [points]: Setting MPFR precision to 320
0.163 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.169 * * * * [points]: Setting MPFR precision to 64
0.176 * * * * [points]: Setting MPFR precision to 320
0.184 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.188 * * * * [points]: Setting MPFR precision to 64
0.193 * * * * [points]: Setting MPFR precision to 320
0.199 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.201 * * * * [points]: Setting MPFR precision to 64
0.210 * * * * [points]: Setting MPFR precision to 320
0.258 * * * * [points]: Computing exacts for 256 points
0.261 * * * * [points]: Setting MPFR precision to 64
0.294 * * * * [points]: Setting MPFR precision to 320
0.434 * * * * [points]: Filtering points with unrepresentable outputs
0.441 * * * * [points]: Sampling 121 additional inputs, on iter 1 have 135 / 256
0.442 * * * * [points]: Computing exacts on every 7 of 121 points to ramp up precision
0.444 * * * * [points]: Setting MPFR precision to 64
0.445 * * * * [points]: Setting MPFR precision to 320
0.447 * * * * [points]: Computing exacts on every 3 of 121 points to ramp up precision
0.449 * * * * [points]: Setting MPFR precision to 64
0.452 * * * * [points]: Setting MPFR precision to 320
0.455 * * * * [points]: Computing exacts for 121 points
0.457 * * * * [points]: Setting MPFR precision to 64
0.469 * * * * [points]: Setting MPFR precision to 320
0.487 * * * * [points]: Filtering points with unrepresentable outputs
0.487 * * * * [points]: Sampling 63 additional inputs, on iter 2 have 193 / 256
0.488 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision
0.490 * * * * [points]: Setting MPFR precision to 64
0.491 * * * * [points]: Setting MPFR precision to 320
0.493 * * * * [points]: Computing exacts for 63 points
0.495 * * * * [points]: Setting MPFR precision to 64
0.501 * * * * [points]: Setting MPFR precision to 320
0.510 * * * * [points]: Filtering points with unrepresentable outputs
0.510 * * * * [points]: Sampling 30 additional inputs, on iter 3 have 226 / 256
0.510 * * * * [points]: Computing exacts for 30 points
0.512 * * * * [points]: Setting MPFR precision to 64
0.515 * * * * [points]: Setting MPFR precision to 320
0.518 * * * * [points]: Filtering points with unrepresentable outputs
0.518 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256
0.519 * * * * [points]: Computing exacts for 15 points
0.520 * * * * [points]: Setting MPFR precision to 64
0.522 * * * * [points]: Setting MPFR precision to 320
0.523 * * * * [points]: Filtering points with unrepresentable outputs
0.523 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256
0.524 * * * * [points]: Computing exacts for 6 points
0.525 * * * * [points]: Setting MPFR precision to 64
0.526 * * * * [points]: Setting MPFR precision to 320
0.527 * * * * [points]: Filtering points with unrepresentable outputs
0.527 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.527 * * * * [points]: Computing exacts for 4 points
0.529 * * * * [points]: Setting MPFR precision to 64
0.531 * * * * [points]: Setting MPFR precision to 320
0.533 * * * * [points]: Filtering points with unrepresentable outputs
0.533 * * * * [points]: Sampled 258 points with exact outputs
0.534 * * * [progress]: [2/2] Setting up program.
0.544 * [progress]: [Phase 2 of 3] Improving.
0.548 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))