29.900 * [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.008 * * * * [points]: Setting MPFR precision to 64
0.010 * * * * [points]: Setting MPFR precision to 320
0.012 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.015 * * * * [points]: Setting MPFR precision to 64
0.018 * * * * [points]: Setting MPFR precision to 320
0.020 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.024 * * * * [points]: Setting MPFR precision to 64
0.026 * * * * [points]: Setting MPFR precision to 320
0.030 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.033 * * * * [points]: Setting MPFR precision to 64
0.040 * * * * [points]: Setting MPFR precision to 320
0.047 * * * * [points]: Computing exacts for 256 points
0.051 * * * * [points]: Setting MPFR precision to 64
0.075 * * * * [points]: Setting MPFR precision to 320
0.101 * * * * [points]: Filtering points with unrepresentable outputs
0.103 * * * * [points]: Sampling 142 additional inputs, on iter 1 have 114 / 256
0.104 * * * * [points]: Computing exacts on every 8 of 142 points to ramp up precision
0.107 * * * * [points]: Setting MPFR precision to 64
0.109 * * * * [points]: Setting MPFR precision to 320
0.110 * * * * [points]: Computing exacts on every 4 of 142 points to ramp up precision
0.114 * * * * [points]: Setting MPFR precision to 64
0.117 * * * * [points]: Setting MPFR precision to 320
0.120 * * * * [points]: Computing exacts on every 2 of 142 points to ramp up precision
0.124 * * * * [points]: Setting MPFR precision to 64
0.153 * * * * [points]: Setting MPFR precision to 320
0.157 * * * * [points]: Computing exacts for 142 points
0.163 * * * * [points]: Setting MPFR precision to 64
0.175 * * * * [points]: Setting MPFR precision to 320
0.184 * * * * [points]: Filtering points with unrepresentable outputs
0.184 * * * * [points]: Sampling 67 additional inputs, on iter 2 have 189 / 256
0.185 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
0.187 * * * * [points]: Setting MPFR precision to 64
0.188 * * * * [points]: Setting MPFR precision to 320
0.189 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
0.191 * * * * [points]: Setting MPFR precision to 64
0.192 * * * * [points]: Setting MPFR precision to 320
0.194 * * * * [points]: Computing exacts for 67 points
0.196 * * * * [points]: Setting MPFR precision to 64
0.200 * * * * [points]: Setting MPFR precision to 320
0.204 * * * * [points]: Filtering points with unrepresentable outputs
0.204 * * * * [points]: Sampling 35 additional inputs, on iter 3 have 221 / 256
0.204 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision
0.207 * * * * [points]: Setting MPFR precision to 64
0.207 * * * * [points]: Setting MPFR precision to 320
0.208 * * * * [points]: Computing exacts for 35 points
0.210 * * * * [points]: Setting MPFR precision to 64
0.212 * * * * [points]: Setting MPFR precision to 320
0.214 * * * * [points]: Filtering points with unrepresentable outputs
0.214 * * * * [points]: Sampling 21 additional inputs, on iter 4 have 235 / 256
0.215 * * * * [points]: Computing exacts for 21 points
0.219 * * * * [points]: Setting MPFR precision to 64
0.221 * * * * [points]: Setting MPFR precision to 320
0.224 * * * * [points]: Filtering points with unrepresentable outputs
0.224 * * * * [points]: Sampling 13 additional inputs, on iter 5 have 243 / 256
0.224 * * * * [points]: Computing exacts for 13 points
0.228 * * * * [points]: Setting MPFR precision to 64
0.230 * * * * [points]: Setting MPFR precision to 320
0.231 * * * * [points]: Filtering points with unrepresentable outputs
0.231 * * * * [points]: Sampling 7 additional inputs, on iter 6 have 249 / 256
0.231 * * * * [points]: Computing exacts for 7 points
0.236 * * * * [points]: Setting MPFR precision to 64
0.236 * * * * [points]: Setting MPFR precision to 320
0.237 * * * * [points]: Filtering points with unrepresentable outputs
0.237 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 252 / 256
0.237 * * * * [points]: Computing exacts for 4 points
0.239 * * * * [points]: Setting MPFR precision to 64
0.240 * * * * [points]: Setting MPFR precision to 320
0.240 * * * * [points]: Filtering points with unrepresentable outputs
0.240 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 254 / 256
0.240 * * * * [points]: Computing exacts for 4 points
0.242 * * * * [points]: Setting MPFR precision to 64
0.242 * * * * [points]: Setting MPFR precision to 320
0.243 * * * * [points]: Filtering points with unrepresentable outputs
0.243 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 255 / 256
0.243 * * * * [points]: Computing exacts for 4 points
0.245 * * * * [points]: Setting MPFR precision to 64
0.245 * * * * [points]: Setting MPFR precision to 320
0.245 * * * * [points]: Filtering points with unrepresentable outputs
0.246 * * * * [points]: Sampled 257 points with exact outputs
0.246 * * * [progress]: [2/2] Setting up program.
0.251 * [progress]: [Phase 2 of 3] Improving.
0.251 * [simplify]: Simplifying:
  (re (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))))
0.251 * * [simplify]: iteration 0: 16 enodes
0.253 * * [simplify]: iteration 1: 30 enodes
0.257 * * [simplify]: iteration 2: 48 enodes
0.262 * * [simplify]: iteration 3: 83 enodes
0.606 * * [simplify]: iteration 4: 118 enodes
0.621 * * [simplify]: iteration 5: 235 enodes
0.667 * * [simplify]: iteration 6: 977 enodes
1.206 * * [simplify]: iteration complete: 5001 enodes
1.206 * * [simplify]: Extracting #0: cost 1 inf + 0
1.206 * * [simplify]: Extracting #1: cost 163 inf + 0
1.207 * * [simplify]: Extracting #2: cost 682 inf + 2
1.210 * * [simplify]: Extracting #3: cost 1145 inf + 472
1.216 * * [simplify]: Extracting #4: cost 1389 inf + 16463
1.240 * * [simplify]: Extracting #5: cost 611 inf + 219673
1.287 * * [simplify]: Extracting #6: cost 28 inf + 341335
1.347 * * [simplify]: Extracting #7: cost 0 inf + 345318
1.436 * [simplify]: Simplified to:
  (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2.0)
1.446 * * [progress]: iteration 1 / 4
1.446 * * * [progress]: picking best candidate
1.453 * * * * [pick]: Picked  #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2.0))>
1.453 * * * [progress]: localizing error
1.471 * * * [progress]: generating rewritten candidates
1.471 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
1.491 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1)
1.500 * * * [progress]: generating series expansions
1.500 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
1.500 * [backup-simplify]: Simplify (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) into (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
1.500 * [approximate]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in (y x) around 0
1.500 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in x
1.500 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x
1.500 * [taylor]: Taking taylor expansion of (cos y) in x
1.500 * [taylor]: Taking taylor expansion of y in x
1.501 * [backup-simplify]: Simplify y into y
1.501 * [backup-simplify]: Simplify (cos y) into (cos y)
1.501 * [backup-simplify]: Simplify (sin y) into (sin y)
1.501 * [taylor]: Taking taylor expansion of (exp x) in x
1.501 * [taylor]: Taking taylor expansion of x in x
1.501 * [backup-simplify]: Simplify 0 into 0
1.501 * [backup-simplify]: Simplify 1 into 1
1.501 * [backup-simplify]: Simplify (exp 0) into 1
1.501 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
1.501 * [backup-simplify]: Simplify (* (sin y) 0) into 0
1.502 * [backup-simplify]: Simplify (- 0) into 0
1.502 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
1.502 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y)
1.502 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in x
1.502 * [taylor]: Taking taylor expansion of (exp x) in x
1.502 * [taylor]: Taking taylor expansion of x in x
1.502 * [backup-simplify]: Simplify 0 into 0
1.502 * [backup-simplify]: Simplify 1 into 1
1.502 * [backup-simplify]: Simplify (exp 0) into 1
1.502 * [taylor]: Taking taylor expansion of (cos y) in x
1.502 * [taylor]: Taking taylor expansion of y in x
1.502 * [backup-simplify]: Simplify y into y
1.502 * [backup-simplify]: Simplify (cos y) into (cos y)
1.502 * [backup-simplify]: Simplify (sin y) into (sin y)
1.502 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in y
1.502 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
1.502 * [taylor]: Taking taylor expansion of (cos y) in y
1.502 * [taylor]: Taking taylor expansion of y in y
1.502 * [backup-simplify]: Simplify 0 into 0
1.502 * [backup-simplify]: Simplify 1 into 1
1.502 * [taylor]: Taking taylor expansion of (exp x) in y
1.502 * [taylor]: Taking taylor expansion of x in y
1.502 * [backup-simplify]: Simplify x into x
1.502 * [backup-simplify]: Simplify (exp x) into (exp x)
1.502 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
1.502 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y
1.502 * [taylor]: Taking taylor expansion of (exp x) in y
1.502 * [taylor]: Taking taylor expansion of x in y
1.502 * [backup-simplify]: Simplify x into x
1.502 * [backup-simplify]: Simplify (exp x) into (exp x)
1.502 * [taylor]: Taking taylor expansion of (cos y) in y
1.502 * [taylor]: Taking taylor expansion of y in y
1.502 * [backup-simplify]: Simplify 0 into 0
1.502 * [backup-simplify]: Simplify 1 into 1
1.502 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in y
1.503 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
1.503 * [taylor]: Taking taylor expansion of (cos y) in y
1.503 * [taylor]: Taking taylor expansion of y in y
1.503 * [backup-simplify]: Simplify 0 into 0
1.503 * [backup-simplify]: Simplify 1 into 1
1.503 * [taylor]: Taking taylor expansion of (exp x) in y
1.503 * [taylor]: Taking taylor expansion of x in y
1.503 * [backup-simplify]: Simplify x into x
1.503 * [backup-simplify]: Simplify (exp x) into (exp x)
1.503 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
1.503 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y
1.503 * [taylor]: Taking taylor expansion of (exp x) in y
1.503 * [taylor]: Taking taylor expansion of x in y
1.503 * [backup-simplify]: Simplify x into x
1.503 * [backup-simplify]: Simplify (exp x) into (exp x)
1.503 * [taylor]: Taking taylor expansion of (cos y) in y
1.503 * [taylor]: Taking taylor expansion of y in y
1.503 * [backup-simplify]: Simplify 0 into 0
1.503 * [backup-simplify]: Simplify 1 into 1
1.503 * [backup-simplify]: Simplify (* (exp x) 1) into (exp x)
1.503 * [backup-simplify]: Simplify (+ (/ 1 (exp x)) (exp x)) into (+ (exp x) (/ 1 (exp x)))
1.503 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x
1.503 * [taylor]: Taking taylor expansion of (exp x) in x
1.503 * [taylor]: Taking taylor expansion of x in x
1.503 * [backup-simplify]: Simplify 0 into 0
1.503 * [backup-simplify]: Simplify 1 into 1
1.503 * [backup-simplify]: Simplify (exp 0) into 1
1.503 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
1.503 * [taylor]: Taking taylor expansion of (exp x) in x
1.503 * [taylor]: Taking taylor expansion of x in x
1.503 * [backup-simplify]: Simplify 0 into 0
1.503 * [backup-simplify]: Simplify 1 into 1
1.503 * [backup-simplify]: Simplify (exp 0) into 1
1.503 * [backup-simplify]: Simplify (/ 1 1) into 1
1.504 * [backup-simplify]: Simplify (+ 1 1) into 2
1.504 * [backup-simplify]: Simplify 2 into 2
1.504 * [backup-simplify]: Simplify (+ 0) into 0
1.505 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
1.505 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0
1.505 * [backup-simplify]: Simplify (+ 0) into 0
1.506 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
1.506 * [backup-simplify]: Simplify (+ (* (exp x) 0) (* 0 1)) into 0
1.506 * [backup-simplify]: Simplify (+ 0 0) into 0
1.506 * [taylor]: Taking taylor expansion of 0 in x
1.506 * [backup-simplify]: Simplify 0 into 0
1.506 * [backup-simplify]: Simplify 0 into 0
1.507 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.508 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1.508 * [backup-simplify]: Simplify (+ 1 -1) into 0
1.508 * [backup-simplify]: Simplify 0 into 0
1.509 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
1.510 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.510 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x))))
1.510 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
1.511 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.512 * [backup-simplify]: Simplify (+ (* (exp x) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp x)))
1.512 * [backup-simplify]: Simplify (+ (- (* 1/2 (/ 1 (exp x)))) (- (* 1/2 (exp x)))) into (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x)))))
1.512 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x))))) in x
1.512 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x)))) in x
1.512 * [taylor]: Taking taylor expansion of (* 1/2 (exp x)) in x
1.512 * [taylor]: Taking taylor expansion of 1/2 in x
1.512 * [backup-simplify]: Simplify 1/2 into 1/2
1.512 * [taylor]: Taking taylor expansion of (exp x) in x
1.512 * [taylor]: Taking taylor expansion of x in x
1.512 * [backup-simplify]: Simplify 0 into 0
1.512 * [backup-simplify]: Simplify 1 into 1
1.512 * [backup-simplify]: Simplify (exp 0) into 1
1.512 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x
1.512 * [taylor]: Taking taylor expansion of 1/2 in x
1.512 * [backup-simplify]: Simplify 1/2 into 1/2
1.512 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
1.512 * [taylor]: Taking taylor expansion of (exp x) in x
1.512 * [taylor]: Taking taylor expansion of x in x
1.512 * [backup-simplify]: Simplify 0 into 0
1.512 * [backup-simplify]: Simplify 1 into 1
1.512 * [backup-simplify]: Simplify (exp 0) into 1
1.512 * [backup-simplify]: Simplify (/ 1 1) into 1
1.513 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
1.513 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
1.513 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
1.513 * [backup-simplify]: Simplify (- 1) into -1
1.513 * [backup-simplify]: Simplify -1 into -1
1.513 * [backup-simplify]: Simplify 0 into 0
1.514 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.515 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
1.516 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
1.516 * [backup-simplify]: Simplify 1 into 1
1.516 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (+ (* -1 (pow (* 1 y) 2)) 2)) into (- (+ (pow x 2) 2) (pow y 2))
1.517 * [backup-simplify]: Simplify (+ (/ (cos (/ 1 y)) (exp (/ 1 x))) (* (cos (/ 1 y)) (exp (/ 1 x)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x))))
1.517 * [approximate]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in (y x) around 0
1.517 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x
1.517 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x
1.517 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.517 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.517 * [taylor]: Taking taylor expansion of x in x
1.517 * [backup-simplify]: Simplify 0 into 0
1.517 * [backup-simplify]: Simplify 1 into 1
1.517 * [backup-simplify]: Simplify (/ 1 1) into 1
1.517 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.517 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.517 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.517 * [taylor]: Taking taylor expansion of y in x
1.517 * [backup-simplify]: Simplify y into y
1.517 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.517 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.517 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.517 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
1.517 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.517 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.517 * [taylor]: Taking taylor expansion of y in x
1.517 * [backup-simplify]: Simplify y into y
1.517 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.517 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.517 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.518 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.518 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.518 * [taylor]: Taking taylor expansion of x in x
1.518 * [backup-simplify]: Simplify 0 into 0
1.518 * [backup-simplify]: Simplify 1 into 1
1.518 * [backup-simplify]: Simplify (/ 1 1) into 1
1.518 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.518 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
1.518 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
1.518 * [backup-simplify]: Simplify (- 0) into 0
1.518 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
1.518 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.519 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y
1.519 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y
1.519 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.519 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.519 * [taylor]: Taking taylor expansion of x in y
1.519 * [backup-simplify]: Simplify x into x
1.519 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.519 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.519 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.519 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.519 * [taylor]: Taking taylor expansion of y in y
1.519 * [backup-simplify]: Simplify 0 into 0
1.519 * [backup-simplify]: Simplify 1 into 1
1.520 * [backup-simplify]: Simplify (/ 1 1) into 1
1.520 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.520 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
1.520 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.520 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.520 * [taylor]: Taking taylor expansion of y in y
1.520 * [backup-simplify]: Simplify 0 into 0
1.520 * [backup-simplify]: Simplify 1 into 1
1.520 * [backup-simplify]: Simplify (/ 1 1) into 1
1.520 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.520 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.520 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.520 * [taylor]: Taking taylor expansion of x in y
1.520 * [backup-simplify]: Simplify x into x
1.520 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.521 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.521 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.521 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y
1.521 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y
1.521 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.521 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.521 * [taylor]: Taking taylor expansion of x in y
1.521 * [backup-simplify]: Simplify x into x
1.521 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.521 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.521 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.521 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.521 * [taylor]: Taking taylor expansion of y in y
1.521 * [backup-simplify]: Simplify 0 into 0
1.521 * [backup-simplify]: Simplify 1 into 1
1.522 * [backup-simplify]: Simplify (/ 1 1) into 1
1.522 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.522 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
1.522 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.522 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.522 * [taylor]: Taking taylor expansion of y in y
1.522 * [backup-simplify]: Simplify 0 into 0
1.522 * [backup-simplify]: Simplify 1 into 1
1.522 * [backup-simplify]: Simplify (/ 1 1) into 1
1.522 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.522 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.522 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.523 * [taylor]: Taking taylor expansion of x in y
1.523 * [backup-simplify]: Simplify x into x
1.523 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.523 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.523 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.523 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
1.523 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x))))
1.524 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x
1.524 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x
1.524 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.524 * [taylor]: Taking taylor expansion of x in x
1.524 * [backup-simplify]: Simplify 0 into 0
1.524 * [backup-simplify]: Simplify 1 into 1
1.524 * [backup-simplify]: Simplify (/ 1 1) into 1
1.524 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.524 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.524 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.524 * [taylor]: Taking taylor expansion of y in x
1.524 * [backup-simplify]: Simplify y into y
1.525 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.525 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.525 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.525 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
1.525 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.525 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.525 * [taylor]: Taking taylor expansion of y in x
1.525 * [backup-simplify]: Simplify y into y
1.525 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.525 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.525 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.525 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.525 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.525 * [taylor]: Taking taylor expansion of x in x
1.525 * [backup-simplify]: Simplify 0 into 0
1.525 * [backup-simplify]: Simplify 1 into 1
1.526 * [backup-simplify]: Simplify (/ 1 1) into 1
1.526 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.526 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
1.526 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
1.527 * [backup-simplify]: Simplify (- 0) into 0
1.527 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
1.527 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.527 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
1.527 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
1.527 * [backup-simplify]: Simplify (- 0) into 0
1.528 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
1.528 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
1.528 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x))))
1.528 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x))))
1.529 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.530 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
1.530 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0
1.530 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.531 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
1.531 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
1.532 * [backup-simplify]: Simplify (+ 0 0) into 0
1.532 * [taylor]: Taking taylor expansion of 0 in x
1.532 * [backup-simplify]: Simplify 0 into 0
1.532 * [backup-simplify]: Simplify 0 into 0
1.532 * [backup-simplify]: Simplify (+ 0) into 0
1.533 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
1.533 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.533 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.534 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
1.534 * [backup-simplify]: Simplify (- 0) into 0
1.534 * [backup-simplify]: Simplify (+ 0 0) into 0
1.534 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0
1.534 * [backup-simplify]: Simplify (+ 0) into 0
1.535 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
1.535 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.535 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.536 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
1.536 * [backup-simplify]: Simplify (- 0) into 0
1.536 * [backup-simplify]: Simplify (+ 0 0) into 0
1.536 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
1.536 * [backup-simplify]: Simplify (+ 0 0) into 0
1.537 * [backup-simplify]: Simplify 0 into 0
1.537 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.537 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.538 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
1.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.539 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.539 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
1.539 * [backup-simplify]: Simplify (+ 0 0) into 0
1.539 * [taylor]: Taking taylor expansion of 0 in x
1.539 * [backup-simplify]: Simplify 0 into 0
1.539 * [backup-simplify]: Simplify 0 into 0
1.539 * [backup-simplify]: Simplify 0 into 0
1.540 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.540 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
1.540 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.541 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.541 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
1.541 * [backup-simplify]: Simplify (- 0) into 0
1.542 * [backup-simplify]: Simplify (+ 0 0) into 0
1.542 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
1.542 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.543 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
1.543 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.543 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.544 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
1.544 * [backup-simplify]: Simplify (- 0) into 0
1.544 * [backup-simplify]: Simplify (+ 0 0) into 0
1.545 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
1.545 * [backup-simplify]: Simplify (+ 0 0) into 0
1.545 * [backup-simplify]: Simplify 0 into 0
1.545 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.546 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.547 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0
1.547 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.548 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.549 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
1.549 * [backup-simplify]: Simplify (+ 0 0) into 0
1.549 * [taylor]: Taking taylor expansion of 0 in x
1.549 * [backup-simplify]: Simplify 0 into 0
1.549 * [backup-simplify]: Simplify 0 into 0
1.549 * [backup-simplify]: Simplify (+ (* (exp (/ 1 (/ 1 x))) (cos (/ 1 (/ 1 y)))) (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x))))) into (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
1.549 * [backup-simplify]: Simplify (+ (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) (* (cos (/ 1 (- y))) (exp (/ 1 (- x))))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y))))
1.549 * [approximate]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in (y x) around 0
1.549 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in x
1.549 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
1.549 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.549 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.549 * [taylor]: Taking taylor expansion of -1 in x
1.549 * [backup-simplify]: Simplify -1 into -1
1.549 * [taylor]: Taking taylor expansion of y in x
1.549 * [backup-simplify]: Simplify y into y
1.550 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.550 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.550 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.550 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.550 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.550 * [taylor]: Taking taylor expansion of -1 in x
1.550 * [backup-simplify]: Simplify -1 into -1
1.550 * [taylor]: Taking taylor expansion of x in x
1.550 * [backup-simplify]: Simplify 0 into 0
1.550 * [backup-simplify]: Simplify 1 into 1
1.550 * [backup-simplify]: Simplify (/ -1 1) into -1
1.550 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.550 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
1.550 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
1.550 * [backup-simplify]: Simplify (- 0) into 0
1.551 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
1.551 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.551 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x
1.551 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.551 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.551 * [taylor]: Taking taylor expansion of -1 in x
1.551 * [backup-simplify]: Simplify -1 into -1
1.551 * [taylor]: Taking taylor expansion of x in x
1.551 * [backup-simplify]: Simplify 0 into 0
1.551 * [backup-simplify]: Simplify 1 into 1
1.551 * [backup-simplify]: Simplify (/ -1 1) into -1
1.551 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.551 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.551 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.551 * [taylor]: Taking taylor expansion of -1 in x
1.551 * [backup-simplify]: Simplify -1 into -1
1.551 * [taylor]: Taking taylor expansion of y in x
1.551 * [backup-simplify]: Simplify y into y
1.551 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.551 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.551 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.551 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in y
1.551 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
1.551 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.551 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.551 * [taylor]: Taking taylor expansion of -1 in y
1.551 * [backup-simplify]: Simplify -1 into -1
1.551 * [taylor]: Taking taylor expansion of y in y
1.551 * [backup-simplify]: Simplify 0 into 0
1.551 * [backup-simplify]: Simplify 1 into 1
1.552 * [backup-simplify]: Simplify (/ -1 1) into -1
1.552 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.552 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.552 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.552 * [taylor]: Taking taylor expansion of -1 in y
1.552 * [backup-simplify]: Simplify -1 into -1
1.552 * [taylor]: Taking taylor expansion of x in y
1.552 * [backup-simplify]: Simplify x into x
1.552 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.552 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.552 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.552 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y
1.552 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.552 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.552 * [taylor]: Taking taylor expansion of -1 in y
1.552 * [backup-simplify]: Simplify -1 into -1
1.552 * [taylor]: Taking taylor expansion of x in y
1.552 * [backup-simplify]: Simplify x into x
1.552 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.552 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.552 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.552 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.552 * [taylor]: Taking taylor expansion of -1 in y
1.552 * [backup-simplify]: Simplify -1 into -1
1.552 * [taylor]: Taking taylor expansion of y in y
1.552 * [backup-simplify]: Simplify 0 into 0
1.552 * [backup-simplify]: Simplify 1 into 1
1.553 * [backup-simplify]: Simplify (/ -1 1) into -1
1.553 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.553 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in y
1.553 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
1.553 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.553 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.553 * [taylor]: Taking taylor expansion of -1 in y
1.553 * [backup-simplify]: Simplify -1 into -1
1.553 * [taylor]: Taking taylor expansion of y in y
1.553 * [backup-simplify]: Simplify 0 into 0
1.553 * [backup-simplify]: Simplify 1 into 1
1.553 * [backup-simplify]: Simplify (/ -1 1) into -1
1.553 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.553 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.553 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.553 * [taylor]: Taking taylor expansion of -1 in y
1.553 * [backup-simplify]: Simplify -1 into -1
1.553 * [taylor]: Taking taylor expansion of x in y
1.553 * [backup-simplify]: Simplify x into x
1.553 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.553 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.553 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.553 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y
1.554 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.554 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.554 * [taylor]: Taking taylor expansion of -1 in y
1.554 * [backup-simplify]: Simplify -1 into -1
1.554 * [taylor]: Taking taylor expansion of x in y
1.554 * [backup-simplify]: Simplify x into x
1.554 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.554 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.554 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.554 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.554 * [taylor]: Taking taylor expansion of -1 in y
1.554 * [backup-simplify]: Simplify -1 into -1
1.554 * [taylor]: Taking taylor expansion of y in y
1.554 * [backup-simplify]: Simplify 0 into 0
1.554 * [backup-simplify]: Simplify 1 into 1
1.554 * [backup-simplify]: Simplify (/ -1 1) into -1
1.554 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.554 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
1.554 * [backup-simplify]: Simplify (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y))))
1.554 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in x
1.555 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
1.555 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.555 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.555 * [taylor]: Taking taylor expansion of -1 in x
1.555 * [backup-simplify]: Simplify -1 into -1
1.555 * [taylor]: Taking taylor expansion of y in x
1.555 * [backup-simplify]: Simplify y into y
1.555 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.555 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.555 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.555 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.555 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.555 * [taylor]: Taking taylor expansion of -1 in x
1.555 * [backup-simplify]: Simplify -1 into -1
1.555 * [taylor]: Taking taylor expansion of x in x
1.555 * [backup-simplify]: Simplify 0 into 0
1.555 * [backup-simplify]: Simplify 1 into 1
1.555 * [backup-simplify]: Simplify (/ -1 1) into -1
1.555 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.555 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
1.555 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
1.556 * [backup-simplify]: Simplify (- 0) into 0
1.556 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
1.556 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.556 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x
1.556 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.556 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.556 * [taylor]: Taking taylor expansion of -1 in x
1.556 * [backup-simplify]: Simplify -1 into -1
1.556 * [taylor]: Taking taylor expansion of x in x
1.556 * [backup-simplify]: Simplify 0 into 0
1.556 * [backup-simplify]: Simplify 1 into 1
1.556 * [backup-simplify]: Simplify (/ -1 1) into -1
1.556 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.556 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.556 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.556 * [taylor]: Taking taylor expansion of -1 in x
1.556 * [backup-simplify]: Simplify -1 into -1
1.556 * [taylor]: Taking taylor expansion of y in x
1.556 * [backup-simplify]: Simplify y into y
1.556 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.556 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.556 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.557 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
1.557 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
1.557 * [backup-simplify]: Simplify (- 0) into 0
1.557 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
1.557 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
1.557 * [backup-simplify]: Simplify (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y))))
1.557 * [backup-simplify]: Simplify (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y))))
1.557 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
1.561 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
1.561 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
1.561 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
1.562 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
1.562 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0
1.562 * [backup-simplify]: Simplify (+ 0 0) into 0
1.562 * [taylor]: Taking taylor expansion of 0 in x
1.562 * [backup-simplify]: Simplify 0 into 0
1.562 * [backup-simplify]: Simplify 0 into 0
1.563 * [backup-simplify]: Simplify (+ 0) into 0
1.563 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
1.563 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
1.564 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.564 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
1.564 * [backup-simplify]: Simplify (- 0) into 0
1.565 * [backup-simplify]: Simplify (+ 0 0) into 0
1.565 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
1.565 * [backup-simplify]: Simplify (+ 0) into 0
1.565 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
1.566 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
1.566 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.566 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
1.567 * [backup-simplify]: Simplify (- 0) into 0
1.567 * [backup-simplify]: Simplify (+ 0 0) into 0
1.567 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0
1.567 * [backup-simplify]: Simplify (+ 0 0) into 0
1.567 * [backup-simplify]: Simplify 0 into 0
1.567 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.568 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.568 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
1.568 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.569 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.570 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
1.570 * [backup-simplify]: Simplify (+ 0 0) into 0
1.570 * [taylor]: Taking taylor expansion of 0 in x
1.570 * [backup-simplify]: Simplify 0 into 0
1.570 * [backup-simplify]: Simplify 0 into 0
1.570 * [backup-simplify]: Simplify 0 into 0
1.570 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.571 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
1.571 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.571 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.572 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
1.572 * [backup-simplify]: Simplify (- 0) into 0
1.572 * [backup-simplify]: Simplify (+ 0 0) into 0
1.573 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
1.573 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.574 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
1.574 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.574 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.574 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
1.575 * [backup-simplify]: Simplify (- 0) into 0
1.575 * [backup-simplify]: Simplify (+ 0 0) into 0
1.575 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
1.576 * [backup-simplify]: Simplify (+ 0 0) into 0
1.576 * [backup-simplify]: Simplify 0 into 0
1.576 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.577 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.578 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
1.578 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.580 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.581 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0
1.581 * [backup-simplify]: Simplify (+ 0 0) into 0
1.581 * [taylor]: Taking taylor expansion of 0 in x
1.581 * [backup-simplify]: Simplify 0 into 0
1.581 * [backup-simplify]: Simplify 0 into 0
1.582 * [backup-simplify]: Simplify (+ (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) (* (exp (/ -1 (/ 1 (- x)))) (cos (/ -1 (/ 1 (- y)))))) into (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
1.582 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1)
1.582 * [backup-simplify]: Simplify (/ (cos y) (exp x)) into (/ (cos y) (exp x))
1.582 * [approximate]: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0
1.582 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x
1.582 * [taylor]: Taking taylor expansion of (cos y) in x
1.582 * [taylor]: Taking taylor expansion of y in x
1.582 * [backup-simplify]: Simplify y into y
1.582 * [backup-simplify]: Simplify (cos y) into (cos y)
1.582 * [backup-simplify]: Simplify (sin y) into (sin y)
1.582 * [taylor]: Taking taylor expansion of (exp x) in x
1.582 * [taylor]: Taking taylor expansion of x in x
1.582 * [backup-simplify]: Simplify 0 into 0
1.582 * [backup-simplify]: Simplify 1 into 1
1.582 * [backup-simplify]: Simplify (exp 0) into 1
1.582 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
1.583 * [backup-simplify]: Simplify (* (sin y) 0) into 0
1.583 * [backup-simplify]: Simplify (- 0) into 0
1.583 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
1.583 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y)
1.583 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
1.583 * [taylor]: Taking taylor expansion of (cos y) in y
1.583 * [taylor]: Taking taylor expansion of y in y
1.583 * [backup-simplify]: Simplify 0 into 0
1.583 * [backup-simplify]: Simplify 1 into 1
1.583 * [taylor]: Taking taylor expansion of (exp x) in y
1.583 * [taylor]: Taking taylor expansion of x in y
1.583 * [backup-simplify]: Simplify x into x
1.583 * [backup-simplify]: Simplify (exp x) into (exp x)
1.584 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
1.584 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
1.584 * [taylor]: Taking taylor expansion of (cos y) in y
1.584 * [taylor]: Taking taylor expansion of y in y
1.584 * [backup-simplify]: Simplify 0 into 0
1.584 * [backup-simplify]: Simplify 1 into 1
1.584 * [taylor]: Taking taylor expansion of (exp x) in y
1.584 * [taylor]: Taking taylor expansion of x in y
1.584 * [backup-simplify]: Simplify x into x
1.584 * [backup-simplify]: Simplify (exp x) into (exp x)
1.584 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
1.584 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
1.584 * [taylor]: Taking taylor expansion of (exp x) in x
1.584 * [taylor]: Taking taylor expansion of x in x
1.584 * [backup-simplify]: Simplify 0 into 0
1.584 * [backup-simplify]: Simplify 1 into 1
1.584 * [backup-simplify]: Simplify (exp 0) into 1
1.585 * [backup-simplify]: Simplify (/ 1 1) into 1
1.585 * [backup-simplify]: Simplify 1 into 1
1.585 * [backup-simplify]: Simplify (+ 0) into 0
1.586 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
1.587 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0
1.587 * [taylor]: Taking taylor expansion of 0 in x
1.587 * [backup-simplify]: Simplify 0 into 0
1.587 * [backup-simplify]: Simplify 0 into 0
1.588 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.589 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1.589 * [backup-simplify]: Simplify -1 into -1
1.590 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
1.591 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.591 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x))))
1.591 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x
1.591 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x
1.591 * [taylor]: Taking taylor expansion of 1/2 in x
1.591 * [backup-simplify]: Simplify 1/2 into 1/2
1.591 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
1.592 * [taylor]: Taking taylor expansion of (exp x) in x
1.592 * [taylor]: Taking taylor expansion of x in x
1.592 * [backup-simplify]: Simplify 0 into 0
1.592 * [backup-simplify]: Simplify 1 into 1
1.592 * [backup-simplify]: Simplify (exp 0) into 1
1.592 * [backup-simplify]: Simplify (/ 1 1) into 1
1.592 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
1.593 * [backup-simplify]: Simplify (- 1/2) into -1/2
1.593 * [backup-simplify]: Simplify -1/2 into -1/2
1.593 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x))
1.593 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.594 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0
1.594 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
1.594 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.594 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.594 * [taylor]: Taking taylor expansion of y in x
1.594 * [backup-simplify]: Simplify y into y
1.594 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.594 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.594 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.594 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.594 * [taylor]: Taking taylor expansion of x in x
1.594 * [backup-simplify]: Simplify 0 into 0
1.594 * [backup-simplify]: Simplify 1 into 1
1.594 * [backup-simplify]: Simplify (/ 1 1) into 1
1.595 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.595 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
1.595 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
1.595 * [backup-simplify]: Simplify (- 0) into 0
1.595 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
1.595 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.595 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
1.595 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.595 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.596 * [taylor]: Taking taylor expansion of y in y
1.596 * [backup-simplify]: Simplify 0 into 0
1.596 * [backup-simplify]: Simplify 1 into 1
1.596 * [backup-simplify]: Simplify (/ 1 1) into 1
1.596 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.596 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.596 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.596 * [taylor]: Taking taylor expansion of x in y
1.596 * [backup-simplify]: Simplify x into x
1.596 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.596 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.597 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.597 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
1.597 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.597 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.597 * [taylor]: Taking taylor expansion of y in y
1.597 * [backup-simplify]: Simplify 0 into 0
1.597 * [backup-simplify]: Simplify 1 into 1
1.597 * [backup-simplify]: Simplify (/ 1 1) into 1
1.597 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.597 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.597 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.597 * [taylor]: Taking taylor expansion of x in y
1.597 * [backup-simplify]: Simplify x into x
1.597 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.598 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.598 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.598 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
1.598 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.598 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.598 * [taylor]: Taking taylor expansion of y in x
1.598 * [backup-simplify]: Simplify y into y
1.598 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.598 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.598 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.598 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.598 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.598 * [taylor]: Taking taylor expansion of x in x
1.598 * [backup-simplify]: Simplify 0 into 0
1.598 * [backup-simplify]: Simplify 1 into 1
1.599 * [backup-simplify]: Simplify (/ 1 1) into 1
1.599 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.599 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
1.599 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
1.599 * [backup-simplify]: Simplify (- 0) into 0
1.599 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
1.600 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.600 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.600 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.601 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
1.601 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
1.601 * [taylor]: Taking taylor expansion of 0 in x
1.601 * [backup-simplify]: Simplify 0 into 0
1.601 * [backup-simplify]: Simplify 0 into 0
1.602 * [backup-simplify]: Simplify (+ 0) into 0
1.602 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
1.602 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.603 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.604 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
1.604 * [backup-simplify]: Simplify (- 0) into 0
1.604 * [backup-simplify]: Simplify (+ 0 0) into 0
1.605 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
1.605 * [backup-simplify]: Simplify 0 into 0
1.605 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.606 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.606 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
1.606 * [taylor]: Taking taylor expansion of 0 in x
1.606 * [backup-simplify]: Simplify 0 into 0
1.606 * [backup-simplify]: Simplify 0 into 0
1.606 * [backup-simplify]: Simplify 0 into 0
1.606 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.607 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
1.607 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.607 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.608 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
1.608 * [backup-simplify]: Simplify (- 0) into 0
1.608 * [backup-simplify]: Simplify (+ 0 0) into 0
1.609 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
1.609 * [backup-simplify]: Simplify 0 into 0
1.609 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.610 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.610 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
1.610 * [taylor]: Taking taylor expansion of 0 in x
1.610 * [backup-simplify]: Simplify 0 into 0
1.610 * [backup-simplify]: Simplify 0 into 0
1.610 * [backup-simplify]: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x))
1.610 * [backup-simplify]: Simplify (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.610 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0
1.610 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
1.610 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.610 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.610 * [taylor]: Taking taylor expansion of -1 in x
1.610 * [backup-simplify]: Simplify -1 into -1
1.610 * [taylor]: Taking taylor expansion of y in x
1.611 * [backup-simplify]: Simplify y into y
1.611 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.611 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.611 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.611 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.611 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.611 * [taylor]: Taking taylor expansion of -1 in x
1.611 * [backup-simplify]: Simplify -1 into -1
1.611 * [taylor]: Taking taylor expansion of x in x
1.611 * [backup-simplify]: Simplify 0 into 0
1.611 * [backup-simplify]: Simplify 1 into 1
1.611 * [backup-simplify]: Simplify (/ -1 1) into -1
1.611 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.611 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
1.611 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
1.612 * [backup-simplify]: Simplify (- 0) into 0
1.612 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
1.612 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.612 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
1.612 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.612 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.612 * [taylor]: Taking taylor expansion of -1 in y
1.612 * [backup-simplify]: Simplify -1 into -1
1.612 * [taylor]: Taking taylor expansion of y in y
1.612 * [backup-simplify]: Simplify 0 into 0
1.612 * [backup-simplify]: Simplify 1 into 1
1.612 * [backup-simplify]: Simplify (/ -1 1) into -1
1.612 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.612 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.612 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.612 * [taylor]: Taking taylor expansion of -1 in y
1.612 * [backup-simplify]: Simplify -1 into -1
1.612 * [taylor]: Taking taylor expansion of x in y
1.612 * [backup-simplify]: Simplify x into x
1.612 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.612 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.612 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.612 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
1.612 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.612 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.612 * [taylor]: Taking taylor expansion of -1 in y
1.613 * [backup-simplify]: Simplify -1 into -1
1.613 * [taylor]: Taking taylor expansion of y in y
1.613 * [backup-simplify]: Simplify 0 into 0
1.613 * [backup-simplify]: Simplify 1 into 1
1.613 * [backup-simplify]: Simplify (/ -1 1) into -1
1.613 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.613 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.613 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.613 * [taylor]: Taking taylor expansion of -1 in y
1.613 * [backup-simplify]: Simplify -1 into -1
1.613 * [taylor]: Taking taylor expansion of x in y
1.613 * [backup-simplify]: Simplify x into x
1.613 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.613 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.613 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.613 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
1.613 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.613 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.613 * [taylor]: Taking taylor expansion of -1 in x
1.613 * [backup-simplify]: Simplify -1 into -1
1.613 * [taylor]: Taking taylor expansion of y in x
1.613 * [backup-simplify]: Simplify y into y
1.613 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.613 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.613 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.613 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.613 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.613 * [taylor]: Taking taylor expansion of -1 in x
1.614 * [backup-simplify]: Simplify -1 into -1
1.614 * [taylor]: Taking taylor expansion of x in x
1.614 * [backup-simplify]: Simplify 0 into 0
1.614 * [backup-simplify]: Simplify 1 into 1
1.614 * [backup-simplify]: Simplify (/ -1 1) into -1
1.614 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.614 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
1.614 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
1.614 * [backup-simplify]: Simplify (- 0) into 0
1.614 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
1.614 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.614 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.615 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
1.615 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
1.615 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
1.615 * [taylor]: Taking taylor expansion of 0 in x
1.615 * [backup-simplify]: Simplify 0 into 0
1.615 * [backup-simplify]: Simplify 0 into 0
1.616 * [backup-simplify]: Simplify (+ 0) into 0
1.616 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
1.616 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
1.617 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.617 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
1.617 * [backup-simplify]: Simplify (- 0) into 0
1.617 * [backup-simplify]: Simplify (+ 0 0) into 0
1.617 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
1.618 * [backup-simplify]: Simplify 0 into 0
1.618 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.618 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.619 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
1.619 * [taylor]: Taking taylor expansion of 0 in x
1.619 * [backup-simplify]: Simplify 0 into 0
1.619 * [backup-simplify]: Simplify 0 into 0
1.619 * [backup-simplify]: Simplify 0 into 0
1.619 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.620 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
1.620 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.620 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.621 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
1.621 * [backup-simplify]: Simplify (- 0) into 0
1.621 * [backup-simplify]: Simplify (+ 0 0) into 0
1.621 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
1.621 * [backup-simplify]: Simplify 0 into 0
1.622 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.623 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.623 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
1.623 * [taylor]: Taking taylor expansion of 0 in x
1.623 * [backup-simplify]: Simplify 0 into 0
1.623 * [backup-simplify]: Simplify 0 into 0
1.623 * [backup-simplify]: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x))
1.623 * * * [progress]: simplifying candidates
1.624 * [simplify]: Simplifying:
  (* (exp (/ (cos y) (exp x))) (exp (* (cos y) (exp x))))
  (log (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (exp (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (* (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))))
  (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (* (* (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (sqrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (sqrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (+ (pow (/ (cos y) (exp x)) 3) (pow (* (cos y) (exp x)) 3))
  (+ (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (- (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (/ (cos y) (exp x)) (* (cos y) (exp x)))))
  (- (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (* (* (cos y) (exp x)) (* (cos y) (exp x))))
  (- (/ (cos y) (exp x)) (* (cos y) (exp x)))
  (+ (/ 1 (exp x)) (exp x))
  (- (log (cos y)) x)
  (log (/ (cos y) (exp x)))
  (exp (/ (cos y) (exp x)))
  (/ (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x)))
  (* (cbrt (/ (cos y) (exp x))) (cbrt (/ (cos y) (exp x))))
  (cbrt (/ (cos y) (exp x)))
  (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x)))
  (sqrt (/ (cos y) (exp x)))
  (sqrt (/ (cos y) (exp x)))
  (- (cos y))
  (- (exp x))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cbrt (cos y)) (cbrt (exp x)))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x)))
  (/ (cbrt (cos y)) (sqrt (exp x)))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) 1)
  (/ (cbrt (cos y)) (exp x))
  (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (sqrt (cos y)) (cbrt (exp x)))
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (/ (sqrt (cos y)) 1)
  (/ (sqrt (cos y)) (exp x))
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cos y) (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ (cos y) (sqrt (exp x)))
  (/ 1 1)
  (/ (cos y) (exp x))
  (/ 1 (exp x))
  (/ (exp x) (cos y))
  (/ (cos y) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cos y) (sqrt (exp x)))
  (/ (cos y) 1)
  (/ (exp x) (cbrt (cos y)))
  (/ (exp x) (sqrt (cos y)))
  (/ (exp x) (cos y))
  (- (+ (pow x 2) 2) (pow y 2))
  (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
  (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
  (- 1 (+ (* 1/2 (pow y 2)) x))
  (/ (cos y) (exp x))
  (/ (cos y) (exp x))
1.624 * * [simplify]: iteration 0: 83 enodes
1.639 * * [simplify]: iteration 1: 200 enodes
1.722 * * [simplify]: iteration 2: 704 enodes
2.302 * * [simplify]: iteration 3: 4681 enodes
3.374 * * [simplify]: iteration complete: 5001 enodes
3.374 * * [simplify]: Extracting #0: cost 45 inf + 0
3.375 * * [simplify]: Extracting #1: cost 420 inf + 1
3.378 * * [simplify]: Extracting #2: cost 1402 inf + 8857
3.403 * * [simplify]: Extracting #3: cost 771 inf + 210640
3.471 * * [simplify]: Extracting #4: cost 55 inf + 401741
3.547 * * [simplify]: Extracting #5: cost 0 inf + 418720
3.604 * [simplify]: Simplified to:
  (exp (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (log (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (exp (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (* (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))))
  (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (* (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) (* (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))))
  (sqrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (sqrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (+ (* (* (cos y) (exp x)) (* (* (cos y) (exp x)) (* (cos y) (exp x)))) (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x))))
  (+ (* (* (cos y) (exp x)) (- (* (cos y) (exp x)) (/ (cos y) (exp x)))) (* (/ (cos y) (exp x)) (/ (cos y) (exp x))))
  (* (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) (- (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (- (/ (cos y) (exp x)) (* (cos y) (exp x)))
  (+ (exp x) (exp (- x)))
  (- (log (cos y)) x)
  (- (log (cos y)) x)
  (exp (/ (cos y) (exp x)))
  (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x)))
  (* (cbrt (/ (cos y) (exp x))) (cbrt (/ (cos y) (exp x))))
  (cbrt (/ (cos y) (exp x)))
  (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x)))
  (sqrt (/ (cos y) (exp x)))
  (sqrt (/ (cos y) (exp x)))
  (- (cos y))
  (- (exp x))
  (* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x))))
  (/ (cbrt (cos y)) (cbrt (exp x)))
  (* (cbrt (cos y)) (/ (cbrt (cos y)) (sqrt (exp x))))
  (/ (cbrt (cos y)) (sqrt (exp x)))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (/ (cbrt (cos y)) (exp x))
  (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (sqrt (cos y)) (cbrt (exp x)))
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (sqrt (cos y))
  (/ (sqrt (cos y)) (exp x))
  (/ (/ 1 (cbrt (exp x))) (cbrt (exp x)))
  (/ (cos y) (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ (cos y) (sqrt (exp x)))
  1
  (/ (cos y) (exp x))
  (exp (- x))
  (/ (exp x) (cos y))
  (/ (/ (cos y) (cbrt (exp x))) (cbrt (exp x)))
  (/ (cos y) (sqrt (exp x)))
  (cos y)
  (/ (exp x) (cbrt (cos y)))
  (/ (exp x) (sqrt (cos y)))
  (/ (exp x) (cos y))
  (- 2 (- (* y y) (* x x)))
  (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))
  (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))
  (- (- 1 x) (* (* 1/2 y) y))
  (/ (cos y) (exp x))
  (/ (cos y) (exp x))
3.607 * * * [progress]: adding candidates to table
3.894 * [progress]: [Phase 3 of 3] Extracting.
3.898 * [simplify]: Simplifying:
  (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2.0)
3.898 * * [simplify]: iteration 0: 9 enodes
3.899 * * [simplify]: iteration 1: 11 enodes
3.899 * * [simplify]: iteration complete: 11 enodes
3.899 * * [simplify]: Extracting #0: cost 1 inf + 0
3.899 * * [simplify]: Extracting #1: cost 3 inf + 0
3.899 * * [simplify]: Extracting #2: cost 4 inf + 1
3.899 * * [simplify]: Extracting #3: cost 6 inf + 1
3.899 * * [simplify]: Extracting #4: cost 8 inf + 1
3.899 * * [simplify]: Extracting #5: cost 5 inf + 74
3.899 * * [simplify]: Extracting #6: cost 0 inf + 1024
3.899 * [simplify]: Simplified to:
  (/ (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 2.0)
3.899 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
3.964 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
3.966 * * * * [points]: Setting MPFR precision to 64
3.967 * * * * [points]: Setting MPFR precision to 320
3.968 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
3.971 * * * * [points]: Setting MPFR precision to 64
3.972 * * * * [points]: Setting MPFR precision to 320
3.974 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
3.976 * * * * [points]: Setting MPFR precision to 64
3.979 * * * * [points]: Setting MPFR precision to 320
3.983 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
3.985 * * * * [points]: Setting MPFR precision to 64
3.992 * * * * [points]: Setting MPFR precision to 320
3.998 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
4.001 * * * * [points]: Setting MPFR precision to 64
4.013 * * * * [points]: Setting MPFR precision to 320
4.026 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
4.028 * * * * [points]: Setting MPFR precision to 64
4.079 * * * * [points]: Setting MPFR precision to 320
4.105 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
4.108 * * * * [points]: Setting MPFR precision to 64
4.180 * * * * [points]: Setting MPFR precision to 320
4.279 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
4.283 * * * * [points]: Setting MPFR precision to 64
4.432 * * * * [points]: Setting MPFR precision to 320
4.596 * * * * [points]: Computing exacts for 8000 points
4.599 * * * * [points]: Setting MPFR precision to 64
5.288 * * * * [points]: Setting MPFR precision to 320
6.411 * * * * [points]: Filtering points with unrepresentable outputs
6.456 * * * * [points]: Sampling 3988 additional inputs, on iter 1 have 4012 / 8000
6.505 * * * * [points]: Computing exacts on every 249 of 3988 points to ramp up precision
6.510 * * * * [points]: Setting MPFR precision to 64
6.512 * * * * [points]: Setting MPFR precision to 320
6.514 * * * * [points]: Computing exacts on every 124 of 3988 points to ramp up precision
6.518 * * * * [points]: Setting MPFR precision to 64
6.521 * * * * [points]: Setting MPFR precision to 320
6.524 * * * * [points]: Computing exacts on every 62 of 3988 points to ramp up precision
6.528 * * * * [points]: Setting MPFR precision to 64
6.534 * * * * [points]: Setting MPFR precision to 320
6.541 * * * * [points]: Computing exacts on every 31 of 3988 points to ramp up precision
6.546 * * * * [points]: Setting MPFR precision to 64
6.557 * * * * [points]: Setting MPFR precision to 320
6.569 * * * * [points]: Computing exacts on every 15 of 3988 points to ramp up precision
6.574 * * * * [points]: Setting MPFR precision to 64
6.597 * * * * [points]: Setting MPFR precision to 320
6.647 * * * * [points]: Computing exacts on every 7 of 3988 points to ramp up precision
6.650 * * * * [points]: Setting MPFR precision to 64
6.673 * * * * [points]: Setting MPFR precision to 320
6.707 * * * * [points]: Computing exacts on every 3 of 3988 points to ramp up precision
6.709 * * * * [points]: Setting MPFR precision to 64
6.763 * * * * [points]: Setting MPFR precision to 320
6.863 * * * * [points]: Computing exacts for 3988 points
6.868 * * * * [points]: Setting MPFR precision to 64
7.199 * * * * [points]: Setting MPFR precision to 320
7.619 * * * * [points]: Filtering points with unrepresentable outputs
7.627 * * * * [points]: Sampling 1996 additional inputs, on iter 2 have 6004 / 8000
7.665 * * * * [points]: Computing exacts on every 124 of 1996 points to ramp up precision
7.667 * * * * [points]: Setting MPFR precision to 64
7.668 * * * * [points]: Setting MPFR precision to 320
7.669 * * * * [points]: Computing exacts on every 62 of 1996 points to ramp up precision
7.671 * * * * [points]: Setting MPFR precision to 64
7.674 * * * * [points]: Setting MPFR precision to 320
7.676 * * * * [points]: Computing exacts on every 31 of 1996 points to ramp up precision
7.678 * * * * [points]: Setting MPFR precision to 64
7.682 * * * * [points]: Setting MPFR precision to 320
7.688 * * * * [points]: Computing exacts on every 15 of 1996 points to ramp up precision
7.692 * * * * [points]: Setting MPFR precision to 64
7.703 * * * * [points]: Setting MPFR precision to 320
7.716 * * * * [points]: Computing exacts on every 7 of 1996 points to ramp up precision
7.720 * * * * [points]: Setting MPFR precision to 64
7.740 * * * * [points]: Setting MPFR precision to 320
7.753 * * * * [points]: Computing exacts on every 3 of 1996 points to ramp up precision
7.755 * * * * [points]: Setting MPFR precision to 64
7.787 * * * * [points]: Setting MPFR precision to 320
7.856 * * * * [points]: Computing exacts for 1996 points
7.860 * * * * [points]: Setting MPFR precision to 64
7.987 * * * * [points]: Setting MPFR precision to 320
8.172 * * * * [points]: Filtering points with unrepresentable outputs
8.177 * * * * [points]: Sampling 972 additional inputs, on iter 3 have 7028 / 8000
8.184 * * * * [points]: Computing exacts on every 60 of 972 points to ramp up precision
8.186 * * * * [points]: Setting MPFR precision to 64
8.187 * * * * [points]: Setting MPFR precision to 320
8.188 * * * * [points]: Computing exacts on every 30 of 972 points to ramp up precision
8.190 * * * * [points]: Setting MPFR precision to 64
8.218 * * * * [points]: Setting MPFR precision to 320
8.220 * * * * [points]: Computing exacts on every 15 of 972 points to ramp up precision
8.225 * * * * [points]: Setting MPFR precision to 64
8.233 * * * * [points]: Setting MPFR precision to 320
8.237 * * * * [points]: Computing exacts on every 7 of 972 points to ramp up precision
8.239 * * * * [points]: Setting MPFR precision to 64
8.244 * * * * [points]: Setting MPFR precision to 320
8.251 * * * * [points]: Computing exacts on every 3 of 972 points to ramp up precision
8.253 * * * * [points]: Setting MPFR precision to 64
8.267 * * * * [points]: Setting MPFR precision to 320
8.290 * * * * [points]: Computing exacts for 972 points
8.292 * * * * [points]: Setting MPFR precision to 64
8.350 * * * * [points]: Setting MPFR precision to 320
8.447 * * * * [points]: Filtering points with unrepresentable outputs
8.451 * * * * [points]: Sampling 499 additional inputs, on iter 4 have 7501 / 8000
8.458 * * * * [points]: Computing exacts on every 31 of 499 points to ramp up precision
8.463 * * * * [points]: Setting MPFR precision to 64
8.464 * * * * [points]: Setting MPFR precision to 320
8.465 * * * * [points]: Computing exacts on every 15 of 499 points to ramp up precision
8.469 * * * * [points]: Setting MPFR precision to 64
8.472 * * * * [points]: Setting MPFR precision to 320
8.475 * * * * [points]: Computing exacts on every 7 of 499 points to ramp up precision
8.479 * * * * [points]: Setting MPFR precision to 64
8.484 * * * * [points]: Setting MPFR precision to 320
8.490 * * * * [points]: Computing exacts on every 3 of 499 points to ramp up precision
8.494 * * * * [points]: Setting MPFR precision to 64
8.503 * * * * [points]: Setting MPFR precision to 320
8.509 * * * * [points]: Computing exacts for 499 points
8.512 * * * * [points]: Setting MPFR precision to 64
8.537 * * * * [points]: Setting MPFR precision to 320
8.920 * * * * [points]: Filtering points with unrepresentable outputs
8.922 * * * * [points]: Sampling 249 additional inputs, on iter 5 have 7751 / 8000
8.923 * * * * [points]: Computing exacts on every 15 of 249 points to ramp up precision
8.926 * * * * [points]: Setting MPFR precision to 64
8.927 * * * * [points]: Setting MPFR precision to 320
8.927 * * * * [points]: Computing exacts on every 7 of 249 points to ramp up precision
8.930 * * * * [points]: Setting MPFR precision to 64
8.931 * * * * [points]: Setting MPFR precision to 320
8.933 * * * * [points]: Computing exacts on every 3 of 249 points to ramp up precision
8.935 * * * * [points]: Setting MPFR precision to 64
8.939 * * * * [points]: Setting MPFR precision to 320
8.945 * * * * [points]: Computing exacts for 249 points
8.949 * * * * [points]: Setting MPFR precision to 64
8.970 * * * * [points]: Setting MPFR precision to 320
8.994 * * * * [points]: Filtering points with unrepresentable outputs
8.995 * * * * [points]: Sampling 137 additional inputs, on iter 6 have 7863 / 8000
8.997 * * * * [points]: Computing exacts on every 8 of 137 points to ramp up precision
9.002 * * * * [points]: Setting MPFR precision to 64
9.003 * * * * [points]: Setting MPFR precision to 320
9.005 * * * * [points]: Computing exacts on every 4 of 137 points to ramp up precision
9.007 * * * * [points]: Setting MPFR precision to 64
9.008 * * * * [points]: Setting MPFR precision to 320
9.010 * * * * [points]: Computing exacts on every 2 of 137 points to ramp up precision
9.012 * * * * [points]: Setting MPFR precision to 64
9.014 * * * * [points]: Setting MPFR precision to 320
9.017 * * * * [points]: Computing exacts for 137 points
9.019 * * * * [points]: Setting MPFR precision to 64
9.026 * * * * [points]: Setting MPFR precision to 320
9.033 * * * * [points]: Filtering points with unrepresentable outputs
9.033 * * * * [points]: Sampling 66 additional inputs, on iter 7 have 7934 / 8000
9.034 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
9.036 * * * * [points]: Setting MPFR precision to 64
9.037 * * * * [points]: Setting MPFR precision to 320
9.066 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
9.070 * * * * [points]: Setting MPFR precision to 64
9.072 * * * * [points]: Setting MPFR precision to 320
9.074 * * * * [points]: Computing exacts for 66 points
9.081 * * * * [points]: Setting MPFR precision to 64
9.087 * * * * [points]: Setting MPFR precision to 320
9.093 * * * * [points]: Filtering points with unrepresentable outputs
9.094 * * * * [points]: Sampling 34 additional inputs, on iter 8 have 7966 / 8000
9.094 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
9.098 * * * * [points]: Setting MPFR precision to 64
9.100 * * * * [points]: Setting MPFR precision to 320
9.101 * * * * [points]: Computing exacts for 34 points
9.105 * * * * [points]: Setting MPFR precision to 64
9.108 * * * * [points]: Setting MPFR precision to 320
9.111 * * * * [points]: Filtering points with unrepresentable outputs
9.111 * * * * [points]: Sampling 17 additional inputs, on iter 9 have 7983 / 8000
9.111 * * * * [points]: Computing exacts for 17 points
9.116 * * * * [points]: Setting MPFR precision to 64
9.117 * * * * [points]: Setting MPFR precision to 320
9.119 * * * * [points]: Filtering points with unrepresentable outputs
9.119 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 7992 / 8000
9.119 * * * * [points]: Computing exacts for 8 points
9.123 * * * * [points]: Setting MPFR precision to 64
9.124 * * * * [points]: Setting MPFR precision to 320
9.125 * * * * [points]: Filtering points with unrepresentable outputs
9.125 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
9.125 * * * * [points]: Computing exacts for 4 points
9.129 * * * * [points]: Setting MPFR precision to 64
9.129 * * * * [points]: Setting MPFR precision to 320
9.130 * * * * [points]: Filtering points with unrepresentable outputs
9.130 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000
9.130 * * * * [points]: Computing exacts for 4 points
9.134 * * * * [points]: Setting MPFR precision to 64
9.135 * * * * [points]: Setting MPFR precision to 320
9.135 * * * * [points]: Filtering points with unrepresentable outputs
9.135 * * * * [points]: Sampled 8000 points with exact outputs
9.560 * [regime-testing]: Baseline error score: 0.0095
9.577 * [regime-testing]: Oracle error score: 0.0095
9.577 * [regime-testing]: End program error score: 0.0095