0.908 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.097 * * * * [points]: Setting MPFR precision to 64
0.100 * * * * [points]: Setting MPFR precision to 320
0.102 * * * * [points]: Setting MPFR precision to 576
0.104 * * * * [points]: Setting MPFR precision to 832
0.107 * * * * [points]: Setting MPFR precision to 1088
0.110 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.115 * * * * [points]: Setting MPFR precision to 832
0.124 * * * * [points]: Setting MPFR precision to 1088
0.134 * * * * [points]: Setting MPFR precision to 1344
0.143 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.145 * * * * [points]: Setting MPFR precision to 1088
0.158 * * * * [points]: Setting MPFR precision to 1344
0.178 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.183 * * * * [points]: Setting MPFR precision to 1088
0.210 * * * * [points]: Setting MPFR precision to 1344
0.243 * * * * [points]: Computing exacts for 256 points
0.248 * * * * [points]: Setting MPFR precision to 1088
0.407 * * * * [points]: Setting MPFR precision to 1344
0.547 * * * * [points]: Filtering points with unrepresentable outputs
0.549 * * * * [points]: Sampling 121 additional inputs, on iter 1 have 135 / 256
0.551 * * * * [points]: Computing exacts on every 7 of 121 points to ramp up precision
0.555 * * * * [points]: Setting MPFR precision to 1088
0.562 * * * * [points]: Setting MPFR precision to 1344
0.569 * * * * [points]: Computing exacts on every 3 of 121 points to ramp up precision
0.573 * * * * [points]: Setting MPFR precision to 1088
0.585 * * * * [points]: Setting MPFR precision to 1344
0.594 * * * * [points]: Computing exacts for 121 points
0.596 * * * * [points]: Setting MPFR precision to 1088
0.630 * * * * [points]: Setting MPFR precision to 1344
0.665 * * * * [points]: Filtering points with unrepresentable outputs
0.665 * * * * [points]: Sampling 63 additional inputs, on iter 2 have 193 / 256
0.666 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision
0.669 * * * * [points]: Setting MPFR precision to 1088
0.707 * * * * [points]: Setting MPFR precision to 1344
0.712 * * * * [points]: Computing exacts for 63 points
0.715 * * * * [points]: Setting MPFR precision to 1088
0.732 * * * * [points]: Setting MPFR precision to 1344
0.750 * * * * [points]: Filtering points with unrepresentable outputs
0.750 * * * * [points]: Sampling 30 additional inputs, on iter 3 have 226 / 256
0.750 * * * * [points]: Computing exacts for 30 points
0.753 * * * * [points]: Setting MPFR precision to 1088
0.762 * * * * [points]: Setting MPFR precision to 1344
0.770 * * * * [points]: Filtering points with unrepresentable outputs
0.770 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256
0.770 * * * * [points]: Computing exacts for 15 points
0.772 * * * * [points]: Setting MPFR precision to 1088
0.775 * * * * [points]: Setting MPFR precision to 1344
0.779 * * * * [points]: Filtering points with unrepresentable outputs
0.779 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256
0.779 * * * * [points]: Computing exacts for 6 points
0.781 * * * * [points]: Setting MPFR precision to 1088
0.782 * * * * [points]: Setting MPFR precision to 1344
0.784 * * * * [points]: Filtering points with unrepresentable outputs
0.784 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.784 * * * * [points]: Computing exacts for 4 points
0.786 * * * * [points]: Setting MPFR precision to 1088
0.787 * * * * [points]: Setting MPFR precision to 1344
0.788 * * * * [points]: Filtering points with unrepresentable outputs
0.789 * * * * [points]: Sampled 258 points with exact outputs
0.789 * * * [progress]: [2/2] Setting up program.
0.794 * [progress]: [Phase 2 of 3] Improving.
0.798 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))