0.907 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.002 * * * * [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.014 * * * * [points]: Setting MPFR precision to 64
0.015 * * * * [points]: Setting MPFR precision to 320
0.017 * * * * [points]: Setting MPFR precision to 576
0.019 * * * * [points]: Setting MPFR precision to 832
0.022 * * * * [points]: Setting MPFR precision to 1088
0.027 * * * * [points]: Setting MPFR precision to 1344
0.032 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.041 * * * * [points]: Setting MPFR precision to 1088
0.047 * * * * [points]: Setting MPFR precision to 1344
0.056 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.065 * * * * [points]: Setting MPFR precision to 1088
0.076 * * * * [points]: Setting MPFR precision to 1344
0.091 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.126 * * * * [points]: Setting MPFR precision to 1088
0.144 * * * * [points]: Setting MPFR precision to 1344
0.165 * * * * [points]: Computing exacts for 256 points
0.175 * * * * [points]: Setting MPFR precision to 1088
0.229 * * * * [points]: Setting MPFR precision to 1344
0.304 * * * * [points]: Filtering points with unrepresentable outputs
0.305 * * * * [points]: Sampling 128 additional inputs, on iter 1 have 128 / 256
0.308 * * * * [points]: Computing exacts on every 8 of 128 points to ramp up precision
0.317 * * * * [points]: Setting MPFR precision to 1088
0.320 * * * * [points]: Setting MPFR precision to 1344
0.324 * * * * [points]: Computing exacts on every 4 of 128 points to ramp up precision
0.334 * * * * [points]: Setting MPFR precision to 1088
0.339 * * * * [points]: Setting MPFR precision to 1344
0.347 * * * * [points]: Computing exacts on every 2 of 128 points to ramp up precision
0.357 * * * * [points]: Setting MPFR precision to 1088
0.387 * * * * [points]: Setting MPFR precision to 1344
0.399 * * * * [points]: Computing exacts for 128 points
0.408 * * * * [points]: Setting MPFR precision to 1088
0.438 * * * * [points]: Setting MPFR precision to 1344
0.478 * * * * [points]: Filtering points with unrepresentable outputs
0.479 * * * * [points]: Sampling 67 additional inputs, on iter 2 have 189 / 256
0.480 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
0.490 * * * * [points]: Setting MPFR precision to 1088
0.493 * * * * [points]: Setting MPFR precision to 1344
0.497 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
0.506 * * * * [points]: Setting MPFR precision to 1088
0.511 * * * * [points]: Setting MPFR precision to 1344
0.517 * * * * [points]: Computing exacts for 67 points
0.526 * * * * [points]: Setting MPFR precision to 1088
0.541 * * * * [points]: Setting MPFR precision to 1344
0.558 * * * * [points]: Filtering points with unrepresentable outputs
0.559 * * * * [points]: Sampling 35 additional inputs, on iter 3 have 221 / 256
0.560 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision
0.582 * * * * [points]: Setting MPFR precision to 1088
0.584 * * * * [points]: Setting MPFR precision to 1344
0.585 * * * * [points]: Computing exacts for 35 points
0.590 * * * * [points]: Setting MPFR precision to 1088
0.595 * * * * [points]: Setting MPFR precision to 1344
0.600 * * * * [points]: Filtering points with unrepresentable outputs
0.600 * * * * [points]: Sampling 17 additional inputs, on iter 4 have 239 / 256
0.600 * * * * [points]: Computing exacts for 17 points
0.605 * * * * [points]: Setting MPFR precision to 1088
0.607 * * * * [points]: Setting MPFR precision to 1344
0.610 * * * * [points]: Filtering points with unrepresentable outputs
0.610 * * * * [points]: Sampling 8 additional inputs, on iter 5 have 248 / 256
0.610 * * * * [points]: Computing exacts for 8 points
0.620 * * * * [points]: Setting MPFR precision to 1088
0.623 * * * * [points]: Setting MPFR precision to 1344
0.625 * * * * [points]: Filtering points with unrepresentable outputs
0.626 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256
0.626 * * * * [points]: Computing exacts for 4 points
0.636 * * * * [points]: Setting MPFR precision to 1088
0.637 * * * * [points]: Setting MPFR precision to 1344
0.639 * * * * [points]: Filtering points with unrepresentable outputs
0.639 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 254 / 256
0.639 * * * * [points]: Computing exacts for 4 points
0.648 * * * * [points]: Setting MPFR precision to 1088
0.649 * * * * [points]: Setting MPFR precision to 1344
0.650 * * * * [points]: Filtering points with unrepresentable outputs
0.650 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256
0.650 * * * * [points]: Computing exacts for 4 points
0.667 * * * * [points]: Setting MPFR precision to 1088
0.668 * * * * [points]: Setting MPFR precision to 1344
0.668 * * * * [points]: Filtering points with unrepresentable outputs
0.668 * * * * [points]: Sampled 256 points with exact outputs
0.668 * * * [progress]: [2/2] Setting up program.
0.672 * [progress]: [Phase 2 of 3] Improving.
0.673 * [simplify]: Simplifying:
  (im (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))))
0.673 * [simplify]: Sending expressions to egg_math:
 (im (complex (* (/ (+ (exp h1) (exp (- h1))) 2.0) (cos h0)) (* (/ (- (exp h1) (exp (- h1))) 2.0) (sin h0))))