0.578 * [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.006 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.015 * * * * [points]: Setting MPFR precision to 64
0.017 * * * * [points]: Setting MPFR precision to 320
0.019 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.023 * * * * [points]: Setting MPFR precision to 64
0.025 * * * * [points]: Setting MPFR precision to 320
0.028 * * * * [points]: Setting MPFR precision to 576
0.032 * * * * [points]: Setting MPFR precision to 832
0.037 * * * * [points]: Setting MPFR precision to 1088
0.043 * * * * [points]: Setting MPFR precision to 1344
0.051 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.061 * * * * [points]: Setting MPFR precision to 1088
0.067 * * * * [points]: Setting MPFR precision to 1344
0.074 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.094 * * * * [points]: Setting MPFR precision to 1088
0.104 * * * * [points]: Setting MPFR precision to 1344
0.119 * * * * [points]: Computing exacts for 256 points
0.128 * * * * [points]: Setting MPFR precision to 1088
0.188 * * * * [points]: Setting MPFR precision to 1344
0.240 * * * * [points]: Filtering points with unrepresentable outputs
0.241 * * * * [points]: Sampling 132 additional inputs, on iter 1 have 124 / 256
0.242 * * * * [points]: Computing exacts on every 8 of 132 points to ramp up precision
0.247 * * * * [points]: Setting MPFR precision to 1088
0.249 * * * * [points]: Setting MPFR precision to 1344
0.252 * * * * [points]: Computing exacts on every 4 of 132 points to ramp up precision
0.256 * * * * [points]: Setting MPFR precision to 1088
0.263 * * * * [points]: Setting MPFR precision to 1344
0.271 * * * * [points]: Computing exacts on every 2 of 132 points to ramp up precision
0.296 * * * * [points]: Setting MPFR precision to 1088
0.302 * * * * [points]: Setting MPFR precision to 1344
0.309 * * * * [points]: Computing exacts for 132 points
0.314 * * * * [points]: Setting MPFR precision to 1088
0.341 * * * * [points]: Setting MPFR precision to 1344
0.369 * * * * [points]: Filtering points with unrepresentable outputs
0.370 * * * * [points]: Sampling 61 additional inputs, on iter 2 have 195 / 256
0.370 * * * * [points]: Computing exacts on every 3 of 61 points to ramp up precision
0.376 * * * * [points]: Setting MPFR precision to 1088
0.378 * * * * [points]: Setting MPFR precision to 1344
0.381 * * * * [points]: Computing exacts for 61 points
0.385 * * * * [points]: Setting MPFR precision to 1088
0.393 * * * * [points]: Setting MPFR precision to 1344
0.403 * * * * [points]: Filtering points with unrepresentable outputs
0.403 * * * * [points]: Sampling 30 additional inputs, on iter 3 have 226 / 256
0.403 * * * * [points]: Computing exacts for 30 points
0.408 * * * * [points]: Setting MPFR precision to 1088
0.412 * * * * [points]: Setting MPFR precision to 1344
0.418 * * * * [points]: Filtering points with unrepresentable outputs
0.418 * * * * [points]: Sampling 14 additional inputs, on iter 4 have 242 / 256
0.418 * * * * [points]: Computing exacts for 14 points
0.441 * * * * [points]: Setting MPFR precision to 1088
0.445 * * * * [points]: Setting MPFR precision to 1344
0.447 * * * * [points]: Filtering points with unrepresentable outputs
0.448 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256
0.448 * * * * [points]: Computing exacts for 6 points
0.453 * * * * [points]: Setting MPFR precision to 1088
0.454 * * * * [points]: Setting MPFR precision to 1344
0.455 * * * * [points]: Filtering points with unrepresentable outputs
0.455 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256
0.455 * * * * [points]: Computing exacts for 4 points
0.460 * * * * [points]: Setting MPFR precision to 1088
0.460 * * * * [points]: Setting MPFR precision to 1344
0.461 * * * * [points]: Filtering points with unrepresentable outputs
0.461 * * * * [points]: Sampled 258 points with exact outputs
0.461 * * * [progress]: [2/2] Setting up program.
0.464 * [progress]: [Phase 2 of 3] Improving.
0.465 * [simplify]: Simplifying:
  (im (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))))
0.465 * * [simplify]: Extracting # 0 : cost  0
0.465 * * [simplify]: Extracting # 1 : cost  0
0.465 * * [simplify]: Extracting # 2 : cost  0
0.465 * * [simplify]: Extracting # 3 : cost  0
0.465 * * [simplify]: Extracting # 4 : cost  0
0.465 * * [simplify]: Extracting # 5 : cost  0
0.465 * * [simplify]: Extracting # 6 : cost  0
0.465 * * [simplify]: Extracting # 7 : cost  0
0.465 * * [simplify]: Extracting # 8 : cost  0
0.465 * * [simplify]: Extracting # 9 : cost  0
0.465 * * [simplify]: Extracting # 10 : cost  0
0.465 * * [simplify]: iteration  0 :  16  enodes  (cost  24 )
0.468 * * [simplify]: Extracting # 0 : cost  0
0.468 * * [simplify]: Extracting # 1 : cost  0
0.468 * * [simplify]: Extracting # 2 : cost  0
0.468 * * [simplify]: iteration  1 :  30  enodes  (cost  11 )
0.474 * * [simplify]: Extracting # 0 : cost  0
0.474 * * [simplify]: Extracting # 1 : cost  0
0.474 * * [simplify]: Extracting # 2 : cost  0
0.474 * * [simplify]: iteration  2 :  48  enodes  (cost  11 )
0.481 * * [simplify]: Extracting # 0 : cost  0
0.481 * * [simplify]: Extracting # 1 : cost  0
0.481 * * [simplify]: Extracting # 2 : cost  0
0.481 * * [simplify]: iteration  3 :  83  enodes  (cost  11 )
0.497 * * [simplify]: Extracting # 0 : cost  0
0.497 * * [simplify]: Extracting # 1 : cost  0
0.497 * * [simplify]: Extracting # 2 : cost  0
0.497 * * [simplify]: iteration  4 :  127  enodes  (cost  11 )
0.524 * * [simplify]: Extracting # 0 : cost  0
0.525 * * [simplify]: Extracting # 1 : cost  0
0.525 * * [simplify]: Extracting # 2 : cost  0
0.525 * * [simplify]: iteration  5 :  200  enodes  (cost  11 )
0.640 * * [simplify]: Extracting # 0 : cost  0
0.642 * * [simplify]: Extracting # 1 : cost  0
0.643 * * [simplify]: Extracting # 2 : cost  0
0.643 * * [simplify]: iteration  6 :  373  enodes  (cost  11 )
0.812 * * [simplify]: Extracting # 0 : cost  0
0.813 * * [simplify]: Extracting # 1 : cost  0
0.813 * * [simplify]: Extracting # 2 : cost  0
0.814 * * [simplify]: iteration  7 :  608  enodes  (cost  11 )
1.444 * * [simplify]: Extracting # 0 : cost  0
1.445 * * [simplify]: Extracting # 1 : cost  0
1.445 * * [simplify]: Extracting # 2 : cost  0
1.446 * * [simplify]: iteration  8 :  1105  enodes  (cost  11 )
2.353 * * [simplify]: Extracting # 0 : cost  0
2.354 * * [simplify]: Extracting # 1 : cost  0
2.355 * * [simplify]: Extracting # 2 : cost  0
2.355 * * [simplify]: iteration  9 :  1521  enodes  (cost  11 )
3.459 * * [simplify]: Extracting # 0 : cost  0
3.462 * * [simplify]: Extracting # 1 : cost  0
3.463 * * [simplify]: Extracting # 2 : cost  0
3.465 * * [simplify]: iteration  10 :  1855  enodes  (cost  11 )
4.720 * * [simplify]: Extracting # 0 : cost  0
4.721 * * [simplify]: Extracting # 1 : cost  0
4.723 * * [simplify]: Extracting # 2 : cost  0
4.724 * * [simplify]: iteration  11 :  1939  enodes  (cost  11 )
5.848 * * [simplify]: Extracting # 0 : cost  0
5.849 * * [simplify]: Extracting # 1 : cost  0
5.850 * * [simplify]: iteration  12 :  1959  enodes  (cost  11 )
6.931 * * [simplify]: Extracting # 0 : cost  0
6.932 * * [simplify]: iteration done:  1959  enodes  (cost  11 )
6.932 * [simplify]: Simplified to:
  (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))
6.936 * * [progress]: iteration 1 / 4
6.936 * * * [progress]: picking best candidate
6.939 * * * * [pick]: Picked  #<alt (λ (x y) (im (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y)))))>
6.939 * * * [progress]: localizing error
7.007 * * * [progress]: generating rewritten candidates
7.008 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1)
7.039 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
7.135 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
7.155 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
7.230 * * * [progress]: generating series expansions
7.231 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1)
7.232 * [backup-simplify]: Simplify (- (exp x) (exp (- x))) into (- (exp x) (exp (- x)))
7.232 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0
7.234 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
7.234 * [taylor]: Taking taylor expansion of (exp x) in x
7.234 * [taylor]: Taking taylor expansion of x in x
7.234 * [backup-simplify]: Simplify 0 into 0
7.234 * [backup-simplify]: Simplify 1 into 1
7.234 * [backup-simplify]: Simplify (exp 0) into 1
7.234 * [taylor]: Taking taylor expansion of (exp (- x)) in x
7.234 * [taylor]: Taking taylor expansion of (- x) in x
7.235 * [taylor]: Taking taylor expansion of x in x
7.235 * [backup-simplify]: Simplify 0 into 0
7.235 * [backup-simplify]: Simplify 1 into 1
7.235 * [backup-simplify]: Simplify (- 0) into 0
7.236 * [backup-simplify]: Simplify (- 1) into -1
7.236 * [backup-simplify]: Simplify (exp 0) into 1
7.236 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
7.236 * [taylor]: Taking taylor expansion of (exp x) in x
7.236 * [taylor]: Taking taylor expansion of x in x
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify 1 into 1
7.236 * [backup-simplify]: Simplify (exp 0) into 1
7.236 * [taylor]: Taking taylor expansion of (exp (- x)) in x
7.236 * [taylor]: Taking taylor expansion of (- x) in x
7.236 * [taylor]: Taking taylor expansion of x in x
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify 1 into 1
7.237 * [backup-simplify]: Simplify (- 0) into 0
7.237 * [backup-simplify]: Simplify (- 1) into -1
7.237 * [backup-simplify]: Simplify (exp 0) into 1
7.238 * [backup-simplify]: Simplify (- 1) into -1
7.239 * [backup-simplify]: Simplify (+ 1 -1) into 0
7.239 * [backup-simplify]: Simplify 0 into 0
7.241 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.241 * [backup-simplify]: Simplify (- 1) into -1
7.242 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
7.243 * [backup-simplify]: Simplify (- -1) into 1
7.243 * [backup-simplify]: Simplify (+ 1 1) into 2
7.243 * [backup-simplify]: Simplify 2 into 2
7.245 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.245 * [backup-simplify]: Simplify (- 1) into -1
7.246 * [backup-simplify]: Simplify (- 0) into 0
7.248 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.248 * [backup-simplify]: Simplify (- 1/2) into -1/2
7.248 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
7.248 * [backup-simplify]: Simplify 0 into 0
7.251 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
7.251 * [backup-simplify]: Simplify (- 1) into -1
7.251 * [backup-simplify]: Simplify (- 1) into -1
7.252 * [backup-simplify]: Simplify (- 0) into 0
7.252 * [backup-simplify]: Simplify (- 0) into 0
7.254 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
7.255 * [backup-simplify]: Simplify (- -1/6) into 1/6
7.255 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
7.255 * [backup-simplify]: Simplify 1/3 into 1/3
7.259 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
7.260 * [backup-simplify]: Simplify (- 1) into -1
7.260 * [backup-simplify]: Simplify (- 1) into -1
7.260 * [backup-simplify]: Simplify (- 0) into 0
7.261 * [backup-simplify]: Simplify (- 1) into -1
7.261 * [backup-simplify]: Simplify (- 0) into 0
7.261 * [backup-simplify]: Simplify (- 0) into 0
7.262 * [backup-simplify]: Simplify (- 0) into 0
7.265 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
7.266 * [backup-simplify]: Simplify (- 1/24) into -1/24
7.266 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
7.266 * [backup-simplify]: Simplify 0 into 0
7.272 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120
7.272 * [backup-simplify]: Simplify (- 1) into -1
7.273 * [backup-simplify]: Simplify (- 1) into -1
7.273 * [backup-simplify]: Simplify (- 0) into 0
7.273 * [backup-simplify]: Simplify (- 1) into -1
7.274 * [backup-simplify]: Simplify (- 0) into 0
7.274 * [backup-simplify]: Simplify (- 1) into -1
7.274 * [backup-simplify]: Simplify (- 0) into 0
7.275 * [backup-simplify]: Simplify (- 1) into -1
7.275 * [backup-simplify]: Simplify (- 0) into 0
7.275 * [backup-simplify]: Simplify (- 0) into 0
7.276 * [backup-simplify]: Simplify (- 0) into 0
7.276 * [backup-simplify]: Simplify (- 0) into 0
7.281 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120
7.282 * [backup-simplify]: Simplify (- -1/120) into 1/120
7.282 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
7.282 * [backup-simplify]: Simplify 1/60 into 1/60