0.136 * [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.011 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.018 * * * * [points]: Setting MPFR precision to 64
0.070 * * * * [points]: Setting MPFR precision to 320
0.072 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.077 * * * * [points]: Setting MPFR precision to 64
0.083 * * * * [points]: Setting MPFR precision to 320
0.086 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.090 * * * * [points]: Setting MPFR precision to 64
0.095 * * * * [points]: Setting MPFR precision to 320
0.099 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.103 * * * * [points]: Setting MPFR precision to 64
0.110 * * * * [points]: Setting MPFR precision to 320
0.118 * * * * [points]: Computing exacts for 256 points
0.122 * * * * [points]: Setting MPFR precision to 64
0.141 * * * * [points]: Setting MPFR precision to 320
0.165 * * * * [points]: Filtering points with unrepresentable outputs
0.166 * * * * [points]: Sampling 128 additional inputs, on iter 1 have 128 / 256
0.170 * * * * [points]: Computing exacts on every 8 of 128 points to ramp up precision
0.175 * * * * [points]: Setting MPFR precision to 64
0.176 * * * * [points]: Setting MPFR precision to 320
0.178 * * * * [points]: Computing exacts on every 4 of 128 points to ramp up precision
0.182 * * * * [points]: Setting MPFR precision to 64
0.184 * * * * [points]: Setting MPFR precision to 320
0.187 * * * * [points]: Computing exacts on every 2 of 128 points to ramp up precision
0.191 * * * * [points]: Setting MPFR precision to 64
0.195 * * * * [points]: Setting MPFR precision to 320
0.199 * * * * [points]: Computing exacts for 128 points
0.204 * * * * [points]: Setting MPFR precision to 64
0.215 * * * * [points]: Setting MPFR precision to 320
0.227 * * * * [points]: Filtering points with unrepresentable outputs
0.228 * * * * [points]: Sampling 67 additional inputs, on iter 2 have 189 / 256
0.230 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
0.235 * * * * [points]: Setting MPFR precision to 64
0.236 * * * * [points]: Setting MPFR precision to 320
0.238 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
0.244 * * * * [points]: Setting MPFR precision to 64
0.246 * * * * [points]: Setting MPFR precision to 320
0.248 * * * * [points]: Computing exacts for 67 points
0.253 * * * * [points]: Setting MPFR precision to 64
0.263 * * * * [points]: Setting MPFR precision to 320
0.270 * * * * [points]: Filtering points with unrepresentable outputs
0.270 * * * * [points]: Sampling 35 additional inputs, on iter 3 have 221 / 256
0.271 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision
0.275 * * * * [points]: Setting MPFR precision to 64
0.315 * * * * [points]: Setting MPFR precision to 320
0.317 * * * * [points]: Computing exacts for 35 points
0.321 * * * * [points]: Setting MPFR precision to 64
0.324 * * * * [points]: Setting MPFR precision to 320
0.331 * * * * [points]: Filtering points with unrepresentable outputs
0.331 * * * * [points]: Sampling 17 additional inputs, on iter 4 have 239 / 256
0.332 * * * * [points]: Computing exacts for 17 points
0.337 * * * * [points]: Setting MPFR precision to 64
0.339 * * * * [points]: Setting MPFR precision to 320
0.340 * * * * [points]: Filtering points with unrepresentable outputs
0.340 * * * * [points]: Sampling 8 additional inputs, on iter 5 have 248 / 256
0.341 * * * * [points]: Computing exacts for 8 points
0.346 * * * * [points]: Setting MPFR precision to 64
0.347 * * * * [points]: Setting MPFR precision to 320
0.348 * * * * [points]: Filtering points with unrepresentable outputs
0.348 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256
0.348 * * * * [points]: Computing exacts for 4 points
0.352 * * * * [points]: Setting MPFR precision to 64
0.353 * * * * [points]: Setting MPFR precision to 320
0.353 * * * * [points]: Filtering points with unrepresentable outputs
0.353 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 254 / 256
0.354 * * * * [points]: Computing exacts for 4 points
0.358 * * * * [points]: Setting MPFR precision to 64
0.358 * * * * [points]: Setting MPFR precision to 320
0.359 * * * * [points]: Filtering points with unrepresentable outputs
0.359 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256
0.359 * * * * [points]: Computing exacts for 4 points
0.363 * * * * [points]: Setting MPFR precision to 64
0.364 * * * * [points]: Setting MPFR precision to 320
0.364 * * * * [points]: Filtering points with unrepresentable outputs
0.364 * * * * [points]: Sampled 256 points with exact outputs
0.365 * * * [progress]: [2/2] Setting up program.
0.369 * [progress]: [Phase 2 of 3] Improving.
0.369 * [simplify]: Simplifying:
  (re (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))))
0.369 * [simplify]: Sending expressions to egg_math:
 (re (complex (* (/ (+ (exp h1) (exp (- h1))) 2.0) (cos h0)) (* (/ (- (exp h1) (exp (- h1))) 2.0) (sin h0))))