0.866 * [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.083 * * * * [points]: Setting MPFR precision to 64
0.085 * * * * [points]: Setting MPFR precision to 320
0.088 * * * * [points]: Setting MPFR precision to 576
0.090 * * * * [points]: Setting MPFR precision to 832
0.092 * * * * [points]: Setting MPFR precision to 1088
0.095 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.098 * * * * [points]: Setting MPFR precision to 832
0.103 * * * * [points]: Setting MPFR precision to 1088
0.109 * * * * [points]: Setting MPFR precision to 1344
0.116 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.119 * * * * [points]: Setting MPFR precision to 1088
0.134 * * * * [points]: Setting MPFR precision to 1344
0.160 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.164 * * * * [points]: Setting MPFR precision to 1088
0.199 * * * * [points]: Setting MPFR precision to 1344
0.227 * * * * [points]: Computing exacts for 256 points
0.229 * * * * [points]: Setting MPFR precision to 1088
0.288 * * * * [points]: Setting MPFR precision to 1344
0.501 * * * * [points]: Filtering points with unrepresentable outputs
0.503 * * * * [points]: Sampling 121 additional inputs, on iter 1 have 135 / 256
0.539 * * * * [points]: Computing exacts on every 7 of 121 points to ramp up precision
0.547 * * * * [points]: Setting MPFR precision to 1088
0.556 * * * * [points]: Setting MPFR precision to 1344
0.565 * * * * [points]: Computing exacts on every 3 of 121 points to ramp up precision
0.571 * * * * [points]: Setting MPFR precision to 1088
0.583 * * * * [points]: Setting MPFR precision to 1344
0.598 * * * * [points]: Computing exacts for 121 points
0.602 * * * * [points]: Setting MPFR precision to 1088
0.651 * * * * [points]: Setting MPFR precision to 1344
0.686 * * * * [points]: Filtering points with unrepresentable outputs
0.687 * * * * [points]: Sampling 63 additional inputs, on iter 2 have 193 / 256
0.687 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision
0.690 * * * * [points]: Setting MPFR precision to 1088
0.695 * * * * [points]: Setting MPFR precision to 1344
0.703 * * * * [points]: Computing exacts for 63 points
0.751 * * * * [points]: Setting MPFR precision to 1088
0.770 * * * * [points]: Setting MPFR precision to 1344
0.789 * * * * [points]: Filtering points with unrepresentable outputs
0.789 * * * * [points]: Sampling 30 additional inputs, on iter 3 have 226 / 256
0.789 * * * * [points]: Computing exacts for 30 points
0.792 * * * * [points]: Setting MPFR precision to 1088
0.798 * * * * [points]: Setting MPFR precision to 1344
0.806 * * * * [points]: Filtering points with unrepresentable outputs
0.806 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256
0.807 * * * * [points]: Computing exacts for 15 points
0.810 * * * * [points]: Setting MPFR precision to 1088
0.814 * * * * [points]: Setting MPFR precision to 1344
0.817 * * * * [points]: Filtering points with unrepresentable outputs
0.817 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256
0.817 * * * * [points]: Computing exacts for 6 points
0.820 * * * * [points]: Setting MPFR precision to 1088
0.821 * * * * [points]: Setting MPFR precision to 1344
0.822 * * * * [points]: Filtering points with unrepresentable outputs
0.822 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.822 * * * * [points]: Computing exacts for 4 points
0.825 * * * * [points]: Setting MPFR precision to 1088
0.826 * * * * [points]: Setting MPFR precision to 1344
0.827 * * * * [points]: Filtering points with unrepresentable outputs
0.827 * * * * [points]: Sampled 258 points with exact outputs
0.828 * * * [progress]: [2/2] Setting up program.
0.833 * [progress]: [Phase 2 of 3] Improving.
0.835 * [simplify]: Simplifying:
  (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0)))