0.196 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.002 * * * * [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.009 * * * * [points]: Setting MPFR precision to 64
0.010 * * * * [points]: Setting MPFR precision to 320
0.011 * * * * [points]: Setting MPFR precision to 576
0.013 * * * * [points]: Setting MPFR precision to 832
0.015 * * * * [points]: Setting MPFR precision to 1088
0.018 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.026 * * * * [points]: Setting MPFR precision to 832
0.030 * * * * [points]: Setting MPFR precision to 1088
0.036 * * * * [points]: Setting MPFR precision to 1344
0.042 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.051 * * * * [points]: Setting MPFR precision to 1088
0.064 * * * * [points]: Setting MPFR precision to 1344
0.077 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.085 * * * * [points]: Setting MPFR precision to 1088
0.124 * * * * [points]: Setting MPFR precision to 1344
0.137 * * * * [points]: Computing exacts for 256 points
0.142 * * * * [points]: Setting MPFR precision to 1088
0.174 * * * * [points]: Setting MPFR precision to 1344
0.221 * * * * [points]: Filtering points with unrepresentable outputs
0.222 * * * * [points]: Sampling 121 additional inputs, on iter 1 have 135 / 256
0.223 * * * * [points]: Computing exacts on every 7 of 121 points to ramp up precision
0.228 * * * * [points]: Setting MPFR precision to 1088
0.232 * * * * [points]: Setting MPFR precision to 1344
0.235 * * * * [points]: Computing exacts on every 3 of 121 points to ramp up precision
0.244 * * * * [points]: Setting MPFR precision to 1088
0.250 * * * * [points]: Setting MPFR precision to 1344
0.257 * * * * [points]: Computing exacts for 121 points
0.262 * * * * [points]: Setting MPFR precision to 1088
0.294 * * * * [points]: Setting MPFR precision to 1344
0.314 * * * * [points]: Filtering points with unrepresentable outputs
0.315 * * * * [points]: Sampling 63 additional inputs, on iter 2 have 193 / 256
0.316 * * * * [points]: Computing exacts on every 3 of 63 points to ramp up precision
0.325 * * * * [points]: Setting MPFR precision to 1088
0.329 * * * * [points]: Setting MPFR precision to 1344
0.333 * * * * [points]: Computing exacts for 63 points
0.342 * * * * [points]: Setting MPFR precision to 1088
0.355 * * * * [points]: Setting MPFR precision to 1344
0.370 * * * * [points]: Filtering points with unrepresentable outputs
0.370 * * * * [points]: Sampling 30 additional inputs, on iter 3 have 226 / 256
0.370 * * * * [points]: Computing exacts for 30 points
0.375 * * * * [points]: Setting MPFR precision to 1088
0.379 * * * * [points]: Setting MPFR precision to 1344
0.384 * * * * [points]: Filtering points with unrepresentable outputs
0.384 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256
0.385 * * * * [points]: Computing exacts for 15 points
0.390 * * * * [points]: Setting MPFR precision to 1088
0.392 * * * * [points]: Setting MPFR precision to 1344
0.394 * * * * [points]: Filtering points with unrepresentable outputs
0.394 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256
0.394 * * * * [points]: Computing exacts for 6 points
0.409 * * * * [points]: Setting MPFR precision to 1088
0.411 * * * * [points]: Setting MPFR precision to 1344
0.411 * * * * [points]: Filtering points with unrepresentable outputs
0.412 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.412 * * * * [points]: Computing exacts for 4 points
0.417 * * * * [points]: Setting MPFR precision to 1088
0.418 * * * * [points]: Setting MPFR precision to 1344
0.419 * * * * [points]: Filtering points with unrepresentable outputs
0.419 * * * * [points]: Sampled 258 points with exact outputs
0.419 * * * [progress]: [2/2] Setting up program.
0.425 * [progress]: [Phase 2 of 3] Improving.
0.425 * [simplify]: Simplifying:
  (im (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))))