0.823 * [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.013 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.080 * * * * [points]: Setting MPFR precision to 64
0.085 * * * * [points]: Setting MPFR precision to 320
0.089 * * * * [points]: Setting MPFR precision to 576
0.092 * * * * [points]: Setting MPFR precision to 832
0.097 * * * * [points]: Setting MPFR precision to 1088
0.103 * * * * [points]: Setting MPFR precision to 1344
0.110 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.115 * * * * [points]: Setting MPFR precision to 1088
0.128 * * * * [points]: Setting MPFR precision to 1344
0.137 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.139 * * * * [points]: Setting MPFR precision to 1088
0.152 * * * * [points]: Setting MPFR precision to 1344
0.165 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.168 * * * * [points]: Setting MPFR precision to 1088
0.249 * * * * [points]: Setting MPFR precision to 1344
0.281 * * * * [points]: Computing exacts for 256 points
0.286 * * * * [points]: Setting MPFR precision to 1088
0.390 * * * * [points]: Setting MPFR precision to 1344
0.506 * * * * [points]: Filtering points with unrepresentable outputs
0.507 * * * * [points]: Sampling 124 additional inputs, on iter 1 have 132 / 256
0.511 * * * * [points]: Computing exacts on every 7 of 124 points to ramp up precision
0.514 * * * * [points]: Setting MPFR precision to 1088
0.520 * * * * [points]: Setting MPFR precision to 1344
0.525 * * * * [points]: Computing exacts on every 3 of 124 points to ramp up precision
0.530 * * * * [points]: Setting MPFR precision to 1088
0.543 * * * * [points]: Setting MPFR precision to 1344
0.559 * * * * [points]: Computing exacts for 124 points
0.614 * * * * [points]: Setting MPFR precision to 1088
0.668 * * * * [points]: Setting MPFR precision to 1344
0.715 * * * * [points]: Filtering points with unrepresentable outputs
0.716 * * * * [points]: Sampling 59 additional inputs, on iter 2 have 197 / 256
0.716 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
0.719 * * * * [points]: Setting MPFR precision to 1088
0.724 * * * * [points]: Setting MPFR precision to 1344
0.728 * * * * [points]: Computing exacts for 59 points
0.730 * * * * [points]: Setting MPFR precision to 1088
0.742 * * * * [points]: Setting MPFR precision to 1344
0.757 * * * * [points]: Filtering points with unrepresentable outputs
0.757 * * * * [points]: Sampling 31 additional inputs, on iter 3 have 225 / 256
0.757 * * * * [points]: Computing exacts for 31 points
0.760 * * * * [points]: Setting MPFR precision to 1088
0.768 * * * * [points]: Setting MPFR precision to 1344
0.776 * * * * [points]: Filtering points with unrepresentable outputs
0.776 * * * * [points]: Sampling 14 additional inputs, on iter 4 have 242 / 256
0.776 * * * * [points]: Computing exacts for 14 points
0.778 * * * * [points]: Setting MPFR precision to 1088
0.781 * * * * [points]: Setting MPFR precision to 1344
0.786 * * * * [points]: Filtering points with unrepresentable outputs
0.786 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256
0.786 * * * * [points]: Computing exacts for 7 points
0.788 * * * * [points]: Setting MPFR precision to 1088
0.790 * * * * [points]: Setting MPFR precision to 1344
0.793 * * * * [points]: Filtering points with unrepresentable outputs
0.793 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 252 / 256
0.793 * * * * [points]: Computing exacts for 4 points
0.797 * * * * [points]: Setting MPFR precision to 1088
0.799 * * * * [points]: Setting MPFR precision to 1344
0.801 * * * * [points]: Filtering points with unrepresentable outputs
0.802 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256
0.802 * * * * [points]: Computing exacts for 4 points
0.806 * * * * [points]: Setting MPFR precision to 1088
0.837 * * * * [points]: Setting MPFR precision to 1344
0.839 * * * * [points]: Filtering points with unrepresentable outputs
0.839 * * * * [points]: Sampled 257 points with exact outputs
0.840 * * * [progress]: [2/2] Setting up program.
0.853 * [progress]: [Phase 2 of 3] Improving.
0.857 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))