0.621 * [progress]: [Phase 1 of 3] Setting up.
0.004 * * * [progress]: [1/2] Preparing points
0.005 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.010 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.238 * * * * [points]: Setting MPFR precision to 64
0.243 * * * * [points]: Setting MPFR precision to 320
0.247 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.251 * * * * [points]: Setting MPFR precision to 64
0.257 * * * * [points]: Setting MPFR precision to 320
0.264 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.267 * * * * [points]: Setting MPFR precision to 64
0.277 * * * * [points]: Setting MPFR precision to 320
0.286 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.288 * * * * [points]: Setting MPFR precision to 64
0.300 * * * * [points]: Setting MPFR precision to 320
0.312 * * * * [points]: Computing exacts for 256 points
0.314 * * * * [points]: Setting MPFR precision to 64
0.347 * * * * [points]: Setting MPFR precision to 320
0.421 * * * * [points]: Filtering points with unrepresentable outputs
0.422 * * * * [points]: Sampling 121 additional inputs, on iter 1 have 135 / 256
0.423 * * * * [points]: Computing exacts on every 7 of 121 points to ramp up precision
0.425 * * * * [points]: Setting MPFR precision to 64
0.427 * * * * [points]: Setting MPFR precision to 320
0.429 * * * * [points]: Computing exacts on every 3 of 121 points to ramp up precision
0.430 * * * * [points]: Setting MPFR precision to 64
0.433 * * * * [points]: Setting MPFR precision to 320
0.437 * * * * [points]: Computing exacts for 121 points
0.439 * * * * [points]: Setting MPFR precision to 64
0.450 * * * * [points]: Setting MPFR precision to 320
0.464 * * * * [points]: Filtering points with unrepresentable outputs
0.464 * * * * [points]: Sampling 63 additional inputs, on iter 2 have 193 / 256
0.465 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision
0.466 * * * * [points]: Setting MPFR precision to 64
0.468 * * * * [points]: Setting MPFR precision to 320
0.470 * * * * [points]: Computing exacts for 63 points
0.471 * * * * [points]: Setting MPFR precision to 64
0.477 * * * * [points]: Setting MPFR precision to 320
0.486 * * * * [points]: Filtering points with unrepresentable outputs
0.486 * * * * [points]: Sampling 30 additional inputs, on iter 3 have 226 / 256
0.487 * * * * [points]: Computing exacts for 30 points
0.488 * * * * [points]: Setting MPFR precision to 64
0.492 * * * * [points]: Setting MPFR precision to 320
0.495 * * * * [points]: Filtering points with unrepresentable outputs
0.495 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256
0.496 * * * * [points]: Computing exacts for 15 points
0.497 * * * * [points]: Setting MPFR precision to 64
0.499 * * * * [points]: Setting MPFR precision to 320
0.501 * * * * [points]: Filtering points with unrepresentable outputs
0.501 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256
0.501 * * * * [points]: Computing exacts for 6 points
0.503 * * * * [points]: Setting MPFR precision to 64
0.504 * * * * [points]: Setting MPFR precision to 320
0.504 * * * * [points]: Filtering points with unrepresentable outputs
0.504 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.504 * * * * [points]: Computing exacts for 4 points
0.506 * * * * [points]: Setting MPFR precision to 64
0.508 * * * * [points]: Setting MPFR precision to 320
0.508 * * * * [points]: Filtering points with unrepresentable outputs
0.508 * * * * [points]: Sampled 258 points with exact outputs
0.509 * * * [progress]: [2/2] Setting up program.
0.549 * [progress]: [Phase 2 of 3] Improving.
0.552 * [simplify]: Simplifying:
  (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))