23.928 * [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.010 * * * * [points]: Setting MPFR precision to 64
0.012 * * * * [points]: Setting MPFR precision to 320
0.014 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.024 * * * * [points]: Setting MPFR precision to 64
0.027 * * * * [points]: Setting MPFR precision to 320
0.030 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.035 * * * * [points]: Setting MPFR precision to 64
0.039 * * * * [points]: Setting MPFR precision to 320
0.045 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.049 * * * * [points]: Setting MPFR precision to 64
0.057 * * * * [points]: Setting MPFR precision to 320
0.066 * * * * [points]: Computing exacts for 256 points
0.071 * * * * [points]: Setting MPFR precision to 64
0.087 * * * * [points]: Setting MPFR precision to 320
0.101 * * * * [points]: Filtering points with unrepresentable outputs
0.102 * * * * [points]: Sampling 139 additional inputs, on iter 1 have 117 / 256
0.103 * * * * [points]: Computing exacts on every 8 of 139 points to ramp up precision
0.106 * * * * [points]: Setting MPFR precision to 64
0.107 * * * * [points]: Setting MPFR precision to 320
0.107 * * * * [points]: Computing exacts on every 4 of 139 points to ramp up precision
0.110 * * * * [points]: Setting MPFR precision to 64
0.111 * * * * [points]: Setting MPFR precision to 320
0.113 * * * * [points]: Computing exacts on every 2 of 139 points to ramp up precision
0.116 * * * * [points]: Setting MPFR precision to 64
0.119 * * * * [points]: Setting MPFR precision to 320
0.121 * * * * [points]: Computing exacts for 139 points
0.124 * * * * [points]: Setting MPFR precision to 64
0.131 * * * * [points]: Setting MPFR precision to 320
0.138 * * * * [points]: Filtering points with unrepresentable outputs
0.138 * * * * [points]: Sampling 67 additional inputs, on iter 2 have 189 / 256
0.139 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
0.141 * * * * [points]: Setting MPFR precision to 64
0.142 * * * * [points]: Setting MPFR precision to 320
0.143 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
0.145 * * * * [points]: Setting MPFR precision to 64
0.146 * * * * [points]: Setting MPFR precision to 320
0.147 * * * * [points]: Computing exacts for 67 points
0.149 * * * * [points]: Setting MPFR precision to 64
0.153 * * * * [points]: Setting MPFR precision to 320
0.183 * * * * [points]: Filtering points with unrepresentable outputs
0.184 * * * * [points]: Sampling 33 additional inputs, on iter 3 have 223 / 256
0.185 * * * * [points]: Computing exacts on every 2 of 33 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 for 33 points
0.191 * * * * [points]: Setting MPFR precision to 64
0.194 * * * * [points]: Setting MPFR precision to 320
0.196 * * * * [points]: Filtering points with unrepresentable outputs
0.196 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256
0.196 * * * * [points]: Computing exacts for 15 points
0.199 * * * * [points]: Setting MPFR precision to 64
0.200 * * * * [points]: Setting MPFR precision to 320
0.201 * * * * [points]: Filtering points with unrepresentable outputs
0.201 * * * * [points]: Sampling 9 additional inputs, on iter 5 have 247 / 256
0.201 * * * * [points]: Computing exacts for 9 points
0.203 * * * * [points]: Setting MPFR precision to 64
0.204 * * * * [points]: Setting MPFR precision to 320
0.204 * * * * [points]: Filtering points with unrepresentable outputs
0.204 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256
0.204 * * * * [points]: Computing exacts for 6 points
0.207 * * * * [points]: Setting MPFR precision to 64
0.207 * * * * [points]: Setting MPFR precision to 320
0.207 * * * * [points]: Filtering points with unrepresentable outputs
0.208 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256
0.208 * * * * [points]: Computing exacts for 4 points
0.210 * * * * [points]: Setting MPFR precision to 64
0.210 * * * * [points]: Setting MPFR precision to 320
0.210 * * * * [points]: Filtering points with unrepresentable outputs
0.210 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256
0.211 * * * * [points]: Computing exacts for 4 points
0.214 * * * * [points]: Setting MPFR precision to 64
0.214 * * * * [points]: Setting MPFR precision to 320
0.215 * * * * [points]: Filtering points with unrepresentable outputs
0.215 * * * * [points]: Sampled 256 points with exact outputs
0.215 * * * [progress]: [2/2] Setting up program.
0.223 * [progress]: [Phase 2 of 3] Improving.
0.224 * [simplify]: Simplifying:
  (re (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))))
0.224 * * [simplify]: iteration 0: 16 enodes
0.229 * * [simplify]: iteration 1: 30 enodes
0.237 * * [simplify]: iteration 2: 48 enodes
0.249 * * [simplify]: iteration 3: 79 enodes
0.269 * * [simplify]: iteration 4: 122 enodes
0.288 * * [simplify]: iteration 5: 198 enodes
0.353 * * [simplify]: iteration 6: 485 enodes
0.642 * * [simplify]: iteration 7: 1368 enodes
2.396 * * [simplify]: iteration 8: 3146 enodes
3.083 * * [simplify]: iteration complete: 5001 enodes
3.083 * * [simplify]: Extracting #0: cost 1 inf + 0
3.083 * * [simplify]: Extracting #1: cost 13 inf + 0
3.083 * * [simplify]: Extracting #2: cost 20 inf + 2
3.084 * * [simplify]: Extracting #3: cost 110 inf + 148
3.088 * * [simplify]: Extracting #4: cost 607 inf + 2132
3.104 * * [simplify]: Extracting #5: cost 646 inf + 39294
3.154 * * [simplify]: Extracting #6: cost 117 inf + 114437
3.185 * * [simplify]: Extracting #7: cost 0 inf + 133922
3.240 * * [simplify]: Extracting #8: cost 0 inf + 133921
3.308 * [simplify]: Simplified to:
  (/ (fma (exp x) (cos y) (/ (cos y) (exp x))) 2.0)
3.318 * * [progress]: iteration 1 / 4
3.318 * * * [progress]: picking best candidate
3.326 * * * * [pick]: Picked  #<alt (λ (x y) (/ (fma (exp x) (cos y) (/ (cos y) (exp x))) 2.0))>
3.326 * * * [progress]: localizing error
3.359 * * * [progress]: generating rewritten candidates
3.359 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 3)
3.376 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
3.378 * * * [progress]: generating series expansions
3.378 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 3)
3.378 * [backup-simplify]: Simplify (/ (cos y) (exp x)) into (/ (cos y) (exp x))
3.378 * [approximate]: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0
3.378 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x
3.378 * [taylor]: Taking taylor expansion of (cos y) in x
3.378 * [taylor]: Taking taylor expansion of y in x
3.378 * [backup-simplify]: Simplify y into y
3.378 * [backup-simplify]: Simplify (cos y) into (cos y)
3.379 * [backup-simplify]: Simplify (sin y) into (sin y)
3.379 * [taylor]: Taking taylor expansion of (exp x) in x
3.379 * [taylor]: Taking taylor expansion of x in x
3.379 * [backup-simplify]: Simplify 0 into 0
3.379 * [backup-simplify]: Simplify 1 into 1
3.379 * [backup-simplify]: Simplify (exp 0) into 1
3.379 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
3.380 * [backup-simplify]: Simplify (* (sin y) 0) into 0
3.380 * [backup-simplify]: Simplify (- 0) into 0
3.380 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
3.381 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y)
3.381 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
3.381 * [taylor]: Taking taylor expansion of (cos y) in y
3.381 * [taylor]: Taking taylor expansion of y in y
3.381 * [backup-simplify]: Simplify 0 into 0
3.381 * [backup-simplify]: Simplify 1 into 1
3.381 * [taylor]: Taking taylor expansion of (exp x) in y
3.381 * [taylor]: Taking taylor expansion of x in y
3.381 * [backup-simplify]: Simplify x into x
3.381 * [backup-simplify]: Simplify (exp x) into (exp x)
3.381 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
3.381 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
3.381 * [taylor]: Taking taylor expansion of (cos y) in y
3.381 * [taylor]: Taking taylor expansion of y in y
3.381 * [backup-simplify]: Simplify 0 into 0
3.381 * [backup-simplify]: Simplify 1 into 1
3.381 * [taylor]: Taking taylor expansion of (exp x) in y
3.381 * [taylor]: Taking taylor expansion of x in y
3.381 * [backup-simplify]: Simplify x into x
3.381 * [backup-simplify]: Simplify (exp x) into (exp x)
3.381 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
3.381 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.381 * [taylor]: Taking taylor expansion of (exp x) in x
3.381 * [taylor]: Taking taylor expansion of x in x
3.382 * [backup-simplify]: Simplify 0 into 0
3.382 * [backup-simplify]: Simplify 1 into 1
3.382 * [backup-simplify]: Simplify (exp 0) into 1
3.382 * [backup-simplify]: Simplify (/ 1 1) into 1
3.382 * [backup-simplify]: Simplify 1 into 1
3.383 * [backup-simplify]: Simplify (+ 0) into 0
3.384 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
3.385 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0
3.385 * [taylor]: Taking taylor expansion of 0 in x
3.385 * [backup-simplify]: Simplify 0 into 0
3.385 * [backup-simplify]: Simplify 0 into 0
3.386 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
3.387 * [backup-simplify]: Simplify -1 into -1
3.388 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
3.389 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.389 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x))))
3.389 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x
3.389 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x
3.389 * [taylor]: Taking taylor expansion of 1/2 in x
3.389 * [backup-simplify]: Simplify 1/2 into 1/2
3.389 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.389 * [taylor]: Taking taylor expansion of (exp x) in x
3.389 * [taylor]: Taking taylor expansion of x in x
3.389 * [backup-simplify]: Simplify 0 into 0
3.390 * [backup-simplify]: Simplify 1 into 1
3.390 * [backup-simplify]: Simplify (exp 0) into 1
3.390 * [backup-simplify]: Simplify (/ 1 1) into 1
3.390 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
3.391 * [backup-simplify]: Simplify (- 1/2) into -1/2
3.391 * [backup-simplify]: Simplify -1/2 into -1/2
3.391 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x))
3.392 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
3.392 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0
3.392 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
3.392 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
3.392 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.392 * [taylor]: Taking taylor expansion of y in x
3.392 * [backup-simplify]: Simplify y into y
3.392 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.392 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.392 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.392 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.392 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.392 * [taylor]: Taking taylor expansion of x in x
3.392 * [backup-simplify]: Simplify 0 into 0
3.392 * [backup-simplify]: Simplify 1 into 1
3.393 * [backup-simplify]: Simplify (/ 1 1) into 1
3.393 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.393 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
3.393 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
3.393 * [backup-simplify]: Simplify (- 0) into 0
3.393 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
3.394 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
3.394 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
3.394 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
3.394 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.394 * [taylor]: Taking taylor expansion of y in y
3.394 * [backup-simplify]: Simplify 0 into 0
3.394 * [backup-simplify]: Simplify 1 into 1
3.394 * [backup-simplify]: Simplify (/ 1 1) into 1
3.394 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.394 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.394 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.394 * [taylor]: Taking taylor expansion of x in y
3.394 * [backup-simplify]: Simplify x into x
3.395 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.395 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.395 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
3.395 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
3.395 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
3.395 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.395 * [taylor]: Taking taylor expansion of y in y
3.395 * [backup-simplify]: Simplify 0 into 0
3.395 * [backup-simplify]: Simplify 1 into 1
3.395 * [backup-simplify]: Simplify (/ 1 1) into 1
3.395 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.395 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.395 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.396 * [taylor]: Taking taylor expansion of x in y
3.396 * [backup-simplify]: Simplify x into x
3.396 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.396 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.396 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
3.396 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
3.396 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
3.396 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.396 * [taylor]: Taking taylor expansion of y in x
3.396 * [backup-simplify]: Simplify y into y
3.396 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.396 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.396 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.396 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.396 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.396 * [taylor]: Taking taylor expansion of x in x
3.396 * [backup-simplify]: Simplify 0 into 0
3.396 * [backup-simplify]: Simplify 1 into 1
3.397 * [backup-simplify]: Simplify (/ 1 1) into 1
3.397 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.397 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
3.397 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
3.397 * [backup-simplify]: Simplify (- 0) into 0
3.397 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
3.398 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
3.398 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
3.398 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.399 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.399 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
3.399 * [taylor]: Taking taylor expansion of 0 in x
3.399 * [backup-simplify]: Simplify 0 into 0
3.399 * [backup-simplify]: Simplify 0 into 0
3.400 * [backup-simplify]: Simplify (+ 0) into 0
3.400 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
3.401 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.402 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.403 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
3.403 * [backup-simplify]: Simplify (- 0) into 0
3.403 * [backup-simplify]: Simplify (+ 0 0) into 0
3.404 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
3.404 * [backup-simplify]: Simplify 0 into 0
3.404 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.405 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.406 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.406 * [taylor]: Taking taylor expansion of 0 in x
3.406 * [backup-simplify]: Simplify 0 into 0
3.406 * [backup-simplify]: Simplify 0 into 0
3.406 * [backup-simplify]: Simplify 0 into 0
3.407 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.408 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
3.408 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.409 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.409 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
3.410 * [backup-simplify]: Simplify (- 0) into 0
3.410 * [backup-simplify]: Simplify (+ 0 0) into 0
3.411 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.411 * [backup-simplify]: Simplify 0 into 0
3.411 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.413 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.413 * [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
3.413 * [taylor]: Taking taylor expansion of 0 in x
3.413 * [backup-simplify]: Simplify 0 into 0
3.413 * [backup-simplify]: Simplify 0 into 0
3.414 * [backup-simplify]: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x))
3.414 * [backup-simplify]: Simplify (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
3.414 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0
3.414 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
3.414 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
3.414 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.414 * [taylor]: Taking taylor expansion of -1 in x
3.414 * [backup-simplify]: Simplify -1 into -1
3.414 * [taylor]: Taking taylor expansion of y in x
3.414 * [backup-simplify]: Simplify y into y
3.414 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.414 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.414 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.414 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.414 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.415 * [taylor]: Taking taylor expansion of -1 in x
3.415 * [backup-simplify]: Simplify -1 into -1
3.415 * [taylor]: Taking taylor expansion of x in x
3.415 * [backup-simplify]: Simplify 0 into 0
3.415 * [backup-simplify]: Simplify 1 into 1
3.415 * [backup-simplify]: Simplify (/ -1 1) into -1
3.415 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.415 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
3.416 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
3.416 * [backup-simplify]: Simplify (- 0) into 0
3.416 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
3.416 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
3.416 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
3.416 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
3.416 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.416 * [taylor]: Taking taylor expansion of -1 in y
3.416 * [backup-simplify]: Simplify -1 into -1
3.416 * [taylor]: Taking taylor expansion of y in y
3.416 * [backup-simplify]: Simplify 0 into 0
3.416 * [backup-simplify]: Simplify 1 into 1
3.417 * [backup-simplify]: Simplify (/ -1 1) into -1
3.417 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.417 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
3.417 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.417 * [taylor]: Taking taylor expansion of -1 in y
3.417 * [backup-simplify]: Simplify -1 into -1
3.417 * [taylor]: Taking taylor expansion of x in y
3.417 * [backup-simplify]: Simplify x into x
3.417 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.417 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.417 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
3.418 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
3.418 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
3.418 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.418 * [taylor]: Taking taylor expansion of -1 in y
3.418 * [backup-simplify]: Simplify -1 into -1
3.418 * [taylor]: Taking taylor expansion of y in y
3.418 * [backup-simplify]: Simplify 0 into 0
3.418 * [backup-simplify]: Simplify 1 into 1
3.418 * [backup-simplify]: Simplify (/ -1 1) into -1
3.418 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.418 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
3.418 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.418 * [taylor]: Taking taylor expansion of -1 in y
3.418 * [backup-simplify]: Simplify -1 into -1
3.418 * [taylor]: Taking taylor expansion of x in y
3.418 * [backup-simplify]: Simplify x into x
3.418 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.419 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.419 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
3.419 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
3.419 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
3.419 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.419 * [taylor]: Taking taylor expansion of -1 in x
3.419 * [backup-simplify]: Simplify -1 into -1
3.419 * [taylor]: Taking taylor expansion of y in x
3.419 * [backup-simplify]: Simplify y into y
3.419 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.419 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.419 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.419 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.419 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.419 * [taylor]: Taking taylor expansion of -1 in x
3.419 * [backup-simplify]: Simplify -1 into -1
3.419 * [taylor]: Taking taylor expansion of x in x
3.419 * [backup-simplify]: Simplify 0 into 0
3.419 * [backup-simplify]: Simplify 1 into 1
3.420 * [backup-simplify]: Simplify (/ -1 1) into -1
3.420 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.420 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
3.420 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
3.421 * [backup-simplify]: Simplify (- 0) into 0
3.421 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
3.421 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
3.421 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
3.421 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
3.422 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.422 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
3.422 * [taylor]: Taking taylor expansion of 0 in x
3.422 * [backup-simplify]: Simplify 0 into 0
3.423 * [backup-simplify]: Simplify 0 into 0
3.423 * [backup-simplify]: Simplify (+ 0) into 0
3.423 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
3.424 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
3.424 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.425 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
3.425 * [backup-simplify]: Simplify (- 0) into 0
3.425 * [backup-simplify]: Simplify (+ 0 0) into 0
3.426 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
3.426 * [backup-simplify]: Simplify 0 into 0
3.426 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.427 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.428 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.428 * [taylor]: Taking taylor expansion of 0 in x
3.428 * [backup-simplify]: Simplify 0 into 0
3.428 * [backup-simplify]: Simplify 0 into 0
3.428 * [backup-simplify]: Simplify 0 into 0
3.429 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.430 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
3.430 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.431 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.431 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
3.432 * [backup-simplify]: Simplify (- 0) into 0
3.432 * [backup-simplify]: Simplify (+ 0 0) into 0
3.433 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.433 * [backup-simplify]: Simplify 0 into 0
3.433 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.435 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.435 * [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
3.435 * [taylor]: Taking taylor expansion of 0 in x
3.435 * [backup-simplify]: Simplify 0 into 0
3.435 * [backup-simplify]: Simplify 0 into 0
3.436 * [backup-simplify]: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x))
3.436 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
3.436 * [backup-simplify]: Simplify (fma (exp x) (cos y) (/ (cos y) (exp x))) into (fma (exp x) (cos y) (/ (cos y) (exp x)))
3.436 * [approximate]: Taking taylor expansion of (fma (exp x) (cos y) (/ (cos y) (exp x))) in (x y) around 0
3.436 * [taylor]: Taking taylor expansion of (fma (exp x) (cos y) (/ (cos y) (exp x))) in y
3.438 * [taylor]: Rewrote expression to (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))
3.438 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y
3.438 * [taylor]: Taking taylor expansion of (exp x) in y
3.438 * [taylor]: Taking taylor expansion of x in y
3.438 * [backup-simplify]: Simplify x into x
3.438 * [backup-simplify]: Simplify (exp x) into (exp x)
3.438 * [taylor]: Taking taylor expansion of (cos y) in y
3.438 * [taylor]: Taking taylor expansion of y in y
3.438 * [backup-simplify]: Simplify 0 into 0
3.438 * [backup-simplify]: Simplify 1 into 1
3.438 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
3.438 * [taylor]: Taking taylor expansion of (cos y) in y
3.438 * [taylor]: Taking taylor expansion of y in y
3.438 * [backup-simplify]: Simplify 0 into 0
3.438 * [backup-simplify]: Simplify 1 into 1
3.438 * [taylor]: Taking taylor expansion of (exp x) in y
3.438 * [taylor]: Taking taylor expansion of x in y
3.438 * [backup-simplify]: Simplify x into x
3.438 * [backup-simplify]: Simplify (exp x) into (exp x)
3.439 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
3.439 * [taylor]: Taking taylor expansion of (fma (exp x) (cos y) (/ (cos y) (exp x))) in x
3.439 * [taylor]: Rewrote expression to (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))
3.439 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in x
3.439 * [taylor]: Taking taylor expansion of (exp x) in x
3.439 * [taylor]: Taking taylor expansion of x in x
3.439 * [backup-simplify]: Simplify 0 into 0
3.439 * [backup-simplify]: Simplify 1 into 1
3.439 * [backup-simplify]: Simplify (exp 0) into 1
3.439 * [taylor]: Taking taylor expansion of (cos y) in x
3.439 * [taylor]: Taking taylor expansion of y in x
3.439 * [backup-simplify]: Simplify y into y
3.439 * [backup-simplify]: Simplify (cos y) into (cos y)
3.439 * [backup-simplify]: Simplify (sin y) into (sin y)
3.439 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x
3.439 * [taylor]: Taking taylor expansion of (cos y) in x
3.439 * [taylor]: Taking taylor expansion of y in x
3.439 * [backup-simplify]: Simplify y into y
3.439 * [backup-simplify]: Simplify (cos y) into (cos y)
3.439 * [backup-simplify]: Simplify (sin y) into (sin y)
3.439 * [taylor]: Taking taylor expansion of (exp x) in x
3.439 * [taylor]: Taking taylor expansion of x in x
3.439 * [backup-simplify]: Simplify 0 into 0
3.439 * [backup-simplify]: Simplify 1 into 1
3.439 * [backup-simplify]: Simplify (exp 0) into 1
3.440 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
3.440 * [backup-simplify]: Simplify (* (sin y) 0) into 0
3.440 * [backup-simplify]: Simplify (- 0) into 0
3.440 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
3.440 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y)
3.440 * [taylor]: Taking taylor expansion of (fma (exp x) (cos y) (/ (cos y) (exp x))) in x
3.441 * [taylor]: Rewrote expression to (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))
3.441 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in x
3.441 * [taylor]: Taking taylor expansion of (exp x) in x
3.441 * [taylor]: Taking taylor expansion of x in x
3.441 * [backup-simplify]: Simplify 0 into 0
3.441 * [backup-simplify]: Simplify 1 into 1
3.441 * [backup-simplify]: Simplify (exp 0) into 1
3.441 * [taylor]: Taking taylor expansion of (cos y) in x
3.441 * [taylor]: Taking taylor expansion of y in x
3.441 * [backup-simplify]: Simplify y into y
3.441 * [backup-simplify]: Simplify (cos y) into (cos y)
3.441 * [backup-simplify]: Simplify (sin y) into (sin y)
3.441 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x
3.441 * [taylor]: Taking taylor expansion of (cos y) in x
3.441 * [taylor]: Taking taylor expansion of y in x
3.441 * [backup-simplify]: Simplify y into y
3.441 * [backup-simplify]: Simplify (cos y) into (cos y)
3.441 * [backup-simplify]: Simplify (sin y) into (sin y)
3.441 * [taylor]: Taking taylor expansion of (exp x) in x
3.441 * [taylor]: Taking taylor expansion of x in x
3.441 * [backup-simplify]: Simplify 0 into 0
3.441 * [backup-simplify]: Simplify 1 into 1
3.441 * [backup-simplify]: Simplify (exp 0) into 1
3.441 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
3.442 * [backup-simplify]: Simplify (* (sin y) 0) into 0
3.442 * [backup-simplify]: Simplify (- 0) into 0
3.442 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
3.442 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y)
3.442 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
3.442 * [backup-simplify]: Simplify (* (sin y) 0) into 0
3.443 * [backup-simplify]: Simplify (- 0) into 0
3.443 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
3.443 * [backup-simplify]: Simplify (* 1 (cos y)) into (cos y)
3.443 * [backup-simplify]: Simplify (+ (cos y) (cos y)) into (* 2 (cos y))
3.443 * [taylor]: Taking taylor expansion of (* 2 (cos y)) in y
3.443 * [taylor]: Taking taylor expansion of 2 in y
3.443 * [backup-simplify]: Simplify 2 into 2
3.443 * [taylor]: Taking taylor expansion of (cos y) in y
3.443 * [taylor]: Taking taylor expansion of y in y
3.443 * [backup-simplify]: Simplify 0 into 0
3.443 * [backup-simplify]: Simplify 1 into 1
3.444 * [backup-simplify]: Simplify (* 2 1) into 2
3.444 * [backup-simplify]: Simplify 2 into 2
3.444 * [backup-simplify]: Simplify (+ 0) into 0
3.445 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 1)) into 0
3.446 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.446 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 0)) into 0
3.447 * [backup-simplify]: Simplify (- 0) into 0
3.447 * [backup-simplify]: Simplify (+ 0 0) into 0
3.448 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.449 * [backup-simplify]: Simplify (+ (* 1 0) (* 1 (cos y))) into (cos y)
3.449 * [backup-simplify]: Simplify (+ 0) into 0
3.450 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 1)) into 0
3.451 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.451 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 0)) into 0
3.452 * [backup-simplify]: Simplify (- 0) into 0
3.452 * [backup-simplify]: Simplify (+ 0 0) into 0
3.454 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.454 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cos y) (/ 1 1)))) into (- (cos y))
3.455 * [backup-simplify]: Simplify (+ (cos y) (- (cos y))) into 0
3.455 * [taylor]: Taking taylor expansion of 0 in y
3.455 * [backup-simplify]: Simplify 0 into 0
3.455 * [backup-simplify]: Simplify 0 into 0
3.455 * [backup-simplify]: Simplify (+ 0) into 0
3.456 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
3.456 * [backup-simplify]: Simplify 0 into 0
3.457 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.458 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (* 0 1))) into 0
3.458 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.459 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (* 0 0))) into 0
3.459 * [backup-simplify]: Simplify (- 0) into 0
3.460 * [backup-simplify]: Simplify (+ 0 0) into 0
3.462 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (* 1/2 (cos y)))) into (* 1/2 (cos y))
3.464 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.464 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (* 0 1))) into 0
3.465 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.466 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (* 0 0))) into 0
3.466 * [backup-simplify]: Simplify (- 0) into 0
3.466 * [backup-simplify]: Simplify (+ 0 0) into 0
3.468 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.469 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cos y) (/ 1/2 1)) (* (- (cos y)) (/ 1 1)))) into (* 1/2 (cos y))
3.470 * [backup-simplify]: Simplify (+ (* 1/2 (cos y)) (* 1/2 (cos y))) into (cos y)
3.470 * [taylor]: Taking taylor expansion of (cos y) in y
3.470 * [taylor]: Taking taylor expansion of y in y
3.470 * [backup-simplify]: Simplify 0 into 0
3.470 * [backup-simplify]: Simplify 1 into 1
3.470 * [backup-simplify]: Simplify 1 into 1
3.470 * [backup-simplify]: Simplify 0 into 0
3.471 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
3.472 * [backup-simplify]: Simplify (+ (* 2 -1/2) (+ (* 0 0) (* 0 1))) into -1
3.472 * [backup-simplify]: Simplify -1 into -1
3.473 * [backup-simplify]: Simplify (+ (* -1 (pow (* y 1) 2)) (+ (* 1 (pow (* 1 x) 2)) 2)) into (- (+ (pow x 2) 2) (pow y 2))
3.473 * [backup-simplify]: Simplify (fma (exp (/ 1 x)) (cos (/ 1 y)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) into (fma (exp (/ 1 x)) (cos (/ 1 y)) (/ (cos (/ 1 y)) (exp (/ 1 x))))
3.473 * [approximate]: Taking taylor expansion of (fma (exp (/ 1 x)) (cos (/ 1 y)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in (x y) around 0
3.473 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (cos (/ 1 y)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y
3.473 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x))))
3.473 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y
3.473 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.473 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.473 * [taylor]: Taking taylor expansion of x in y
3.474 * [backup-simplify]: Simplify x into x
3.474 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.474 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.474 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
3.474 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.474 * [taylor]: Taking taylor expansion of y in y
3.474 * [backup-simplify]: Simplify 0 into 0
3.474 * [backup-simplify]: Simplify 1 into 1
3.474 * [backup-simplify]: Simplify (/ 1 1) into 1
3.474 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.474 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
3.474 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
3.475 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.475 * [taylor]: Taking taylor expansion of y in y
3.475 * [backup-simplify]: Simplify 0 into 0
3.475 * [backup-simplify]: Simplify 1 into 1
3.475 * [backup-simplify]: Simplify (/ 1 1) into 1
3.475 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.475 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.475 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.475 * [taylor]: Taking taylor expansion of x in y
3.475 * [backup-simplify]: Simplify x into x
3.475 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.475 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.476 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
3.476 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (cos (/ 1 y)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x
3.476 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x))))
3.476 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x
3.476 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.476 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.476 * [taylor]: Taking taylor expansion of x in x
3.476 * [backup-simplify]: Simplify 0 into 0
3.476 * [backup-simplify]: Simplify 1 into 1
3.477 * [backup-simplify]: Simplify (/ 1 1) into 1
3.477 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.477 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
3.477 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.477 * [taylor]: Taking taylor expansion of y in x
3.477 * [backup-simplify]: Simplify y into y
3.477 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.477 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.477 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.477 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
3.477 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
3.477 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.477 * [taylor]: Taking taylor expansion of y in x
3.477 * [backup-simplify]: Simplify y into y
3.477 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.477 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.478 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.478 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.478 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.478 * [taylor]: Taking taylor expansion of x in x
3.478 * [backup-simplify]: Simplify 0 into 0
3.478 * [backup-simplify]: Simplify 1 into 1
3.478 * [backup-simplify]: Simplify (/ 1 1) into 1
3.478 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.478 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
3.478 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
3.479 * [backup-simplify]: Simplify (- 0) into 0
3.479 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
3.479 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
3.479 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (cos (/ 1 y)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x
3.479 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x))))
3.479 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x
3.479 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.479 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.479 * [taylor]: Taking taylor expansion of x in x
3.480 * [backup-simplify]: Simplify 0 into 0
3.480 * [backup-simplify]: Simplify 1 into 1
3.480 * [backup-simplify]: Simplify (/ 1 1) into 1
3.480 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.480 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
3.480 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.480 * [taylor]: Taking taylor expansion of y in x
3.480 * [backup-simplify]: Simplify y into y
3.480 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.480 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.480 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.480 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
3.480 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
3.480 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.481 * [taylor]: Taking taylor expansion of y in x
3.481 * [backup-simplify]: Simplify y into y
3.481 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.481 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.481 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.481 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.481 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.481 * [taylor]: Taking taylor expansion of x in x
3.481 * [backup-simplify]: Simplify 0 into 0
3.481 * [backup-simplify]: Simplify 1 into 1
3.481 * [backup-simplify]: Simplify (/ 1 1) into 1
3.481 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.482 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
3.482 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
3.482 * [backup-simplify]: Simplify (- 0) into 0
3.482 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
3.482 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
3.483 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
3.483 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
3.483 * [backup-simplify]: Simplify (- 0) into 0
3.483 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
3.483 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
3.484 * [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))))
3.484 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y
3.484 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y
3.484 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.484 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.484 * [taylor]: Taking taylor expansion of x in y
3.484 * [backup-simplify]: Simplify x into x
3.484 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.484 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.484 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
3.484 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.484 * [taylor]: Taking taylor expansion of y in y
3.484 * [backup-simplify]: Simplify 0 into 0
3.484 * [backup-simplify]: Simplify 1 into 1
3.485 * [backup-simplify]: Simplify (/ 1 1) into 1
3.485 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.485 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
3.485 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
3.485 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.485 * [taylor]: Taking taylor expansion of y in y
3.485 * [backup-simplify]: Simplify 0 into 0
3.485 * [backup-simplify]: Simplify 1 into 1
3.485 * [backup-simplify]: Simplify (/ 1 1) into 1
3.485 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.485 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.485 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.485 * [taylor]: Taking taylor expansion of x in y
3.485 * [backup-simplify]: Simplify x into x
3.485 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.486 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.486 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
3.486 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
3.486 * [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))))
3.487 * [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))))
3.487 * [backup-simplify]: Simplify (+ 0) into 0
3.488 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
3.488 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.489 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.489 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
3.489 * [backup-simplify]: Simplify (- 0) into 0
3.490 * [backup-simplify]: Simplify (+ 0 0) into 0
3.490 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0
3.490 * [backup-simplify]: Simplify (+ 0) into 0
3.491 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
3.491 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.492 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.493 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
3.493 * [backup-simplify]: Simplify (- 0) into 0
3.493 * [backup-simplify]: Simplify (+ 0 0) into 0
3.494 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
3.494 * [backup-simplify]: Simplify (+ 0 0) into 0
3.494 * [taylor]: Taking taylor expansion of 0 in y
3.494 * [backup-simplify]: Simplify 0 into 0
3.494 * [backup-simplify]: Simplify 0 into 0
3.494 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.495 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.495 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0
3.495 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.496 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.497 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
3.497 * [backup-simplify]: Simplify (+ 0 0) into 0
3.497 * [backup-simplify]: Simplify 0 into 0
3.498 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.499 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
3.499 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.500 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.500 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
3.501 * [backup-simplify]: Simplify (- 0) into 0
3.501 * [backup-simplify]: Simplify (+ 0 0) into 0
3.502 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
3.503 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.504 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
3.504 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.505 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.505 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
3.506 * [backup-simplify]: Simplify (- 0) into 0
3.506 * [backup-simplify]: Simplify (+ 0 0) into 0
3.507 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.507 * [backup-simplify]: Simplify (+ 0 0) into 0
3.507 * [taylor]: Taking taylor expansion of 0 in y
3.507 * [backup-simplify]: Simplify 0 into 0
3.507 * [backup-simplify]: Simplify 0 into 0
3.507 * [backup-simplify]: Simplify 0 into 0
3.507 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.509 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.510 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
3.510 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.511 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.512 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.512 * [backup-simplify]: Simplify (+ 0 0) into 0
3.512 * [backup-simplify]: Simplify 0 into 0
3.517 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.519 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.519 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.521 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
3.522 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
3.522 * [backup-simplify]: Simplify (- 0) into 0
3.522 * [backup-simplify]: Simplify (+ 0 0) into 0
3.523 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0
3.524 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.524 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.525 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.526 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
3.526 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
3.526 * [backup-simplify]: Simplify (- 0) into 0
3.526 * [backup-simplify]: Simplify (+ 0 0) into 0
3.527 * [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
3.527 * [backup-simplify]: Simplify (+ 0 0) into 0
3.527 * [taylor]: Taking taylor expansion of 0 in y
3.527 * [backup-simplify]: Simplify 0 into 0
3.527 * [backup-simplify]: Simplify 0 into 0
3.527 * [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)))
3.528 * [backup-simplify]: Simplify (fma (exp (/ 1 (- x))) (cos (/ 1 (- y))) (/ (cos (/ 1 (- y))) (exp (/ 1 (- x))))) into (fma (exp (/ -1 x)) (cos (/ -1 y)) (/ (cos (/ -1 y)) (exp (/ -1 x))))
3.528 * [approximate]: Taking taylor expansion of (fma (exp (/ -1 x)) (cos (/ -1 y)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in (x y) around 0
3.528 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (cos (/ -1 y)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in y
3.528 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (cos (/ -1 y))) (/ (cos (/ -1 y)) (exp (/ -1 x))))
3.528 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y
3.528 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
3.528 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.528 * [taylor]: Taking taylor expansion of -1 in y
3.528 * [backup-simplify]: Simplify -1 into -1
3.528 * [taylor]: Taking taylor expansion of x in y
3.528 * [backup-simplify]: Simplify x into x
3.528 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.528 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.528 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
3.528 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.528 * [taylor]: Taking taylor expansion of -1 in y
3.528 * [backup-simplify]: Simplify -1 into -1
3.528 * [taylor]: Taking taylor expansion of y in y
3.528 * [backup-simplify]: Simplify 0 into 0
3.528 * [backup-simplify]: Simplify 1 into 1
3.529 * [backup-simplify]: Simplify (/ -1 1) into -1
3.529 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.529 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
3.529 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
3.529 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.529 * [taylor]: Taking taylor expansion of -1 in y
3.529 * [backup-simplify]: Simplify -1 into -1
3.529 * [taylor]: Taking taylor expansion of y in y
3.529 * [backup-simplify]: Simplify 0 into 0
3.529 * [backup-simplify]: Simplify 1 into 1
3.529 * [backup-simplify]: Simplify (/ -1 1) into -1
3.529 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.529 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
3.529 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.529 * [taylor]: Taking taylor expansion of -1 in y
3.529 * [backup-simplify]: Simplify -1 into -1
3.529 * [taylor]: Taking taylor expansion of x in y
3.529 * [backup-simplify]: Simplify x into x
3.529 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.529 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.529 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
3.529 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (cos (/ -1 y)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in x
3.530 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (cos (/ -1 y))) (/ (cos (/ -1 y)) (exp (/ -1 x))))
3.530 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x
3.530 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.530 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.530 * [taylor]: Taking taylor expansion of -1 in x
3.530 * [backup-simplify]: Simplify -1 into -1
3.530 * [taylor]: Taking taylor expansion of x in x
3.530 * [backup-simplify]: Simplify 0 into 0
3.530 * [backup-simplify]: Simplify 1 into 1
3.530 * [backup-simplify]: Simplify (/ -1 1) into -1
3.530 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.530 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
3.530 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.530 * [taylor]: Taking taylor expansion of -1 in x
3.530 * [backup-simplify]: Simplify -1 into -1
3.530 * [taylor]: Taking taylor expansion of y in x
3.530 * [backup-simplify]: Simplify y into y
3.530 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.530 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.530 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.530 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
3.530 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
3.530 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.530 * [taylor]: Taking taylor expansion of -1 in x
3.530 * [backup-simplify]: Simplify -1 into -1
3.530 * [taylor]: Taking taylor expansion of y in x
3.530 * [backup-simplify]: Simplify y into y
3.530 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.530 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.531 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.531 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.531 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.531 * [taylor]: Taking taylor expansion of -1 in x
3.531 * [backup-simplify]: Simplify -1 into -1
3.531 * [taylor]: Taking taylor expansion of x in x
3.531 * [backup-simplify]: Simplify 0 into 0
3.531 * [backup-simplify]: Simplify 1 into 1
3.531 * [backup-simplify]: Simplify (/ -1 1) into -1
3.531 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.531 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
3.531 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
3.531 * [backup-simplify]: Simplify (- 0) into 0
3.531 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
3.532 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
3.532 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (cos (/ -1 y)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in x
3.532 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (cos (/ -1 y))) (/ (cos (/ -1 y)) (exp (/ -1 x))))
3.532 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x
3.532 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.532 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.532 * [taylor]: Taking taylor expansion of -1 in x
3.532 * [backup-simplify]: Simplify -1 into -1
3.532 * [taylor]: Taking taylor expansion of x in x
3.532 * [backup-simplify]: Simplify 0 into 0
3.532 * [backup-simplify]: Simplify 1 into 1
3.532 * [backup-simplify]: Simplify (/ -1 1) into -1
3.532 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.532 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
3.532 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.532 * [taylor]: Taking taylor expansion of -1 in x
3.532 * [backup-simplify]: Simplify -1 into -1
3.532 * [taylor]: Taking taylor expansion of y in x
3.532 * [backup-simplify]: Simplify y into y
3.532 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.532 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.532 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.533 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
3.533 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
3.533 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.533 * [taylor]: Taking taylor expansion of -1 in x
3.533 * [backup-simplify]: Simplify -1 into -1
3.533 * [taylor]: Taking taylor expansion of y in x
3.533 * [backup-simplify]: Simplify y into y
3.533 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.533 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.533 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.533 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.533 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.533 * [taylor]: Taking taylor expansion of -1 in x
3.533 * [backup-simplify]: Simplify -1 into -1
3.533 * [taylor]: Taking taylor expansion of x in x
3.533 * [backup-simplify]: Simplify 0 into 0
3.533 * [backup-simplify]: Simplify 1 into 1
3.533 * [backup-simplify]: Simplify (/ -1 1) into -1
3.533 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.533 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
3.534 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
3.534 * [backup-simplify]: Simplify (- 0) into 0
3.534 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
3.534 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
3.534 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
3.534 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
3.534 * [backup-simplify]: Simplify (- 0) into 0
3.534 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
3.535 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
3.535 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) (cos (/ -1 y))) (/ (cos (/ -1 y)) (exp (/ -1 x)))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y))))
3.535 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in y
3.535 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
3.535 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
3.535 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.535 * [taylor]: Taking taylor expansion of -1 in y
3.535 * [backup-simplify]: Simplify -1 into -1
3.535 * [taylor]: Taking taylor expansion of y in y
3.535 * [backup-simplify]: Simplify 0 into 0
3.535 * [backup-simplify]: Simplify 1 into 1
3.535 * [backup-simplify]: Simplify (/ -1 1) into -1
3.535 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.535 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
3.535 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.535 * [taylor]: Taking taylor expansion of -1 in y
3.535 * [backup-simplify]: Simplify -1 into -1
3.535 * [taylor]: Taking taylor expansion of x in y
3.535 * [backup-simplify]: Simplify x into x
3.535 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.535 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.536 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
3.536 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y
3.536 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
3.536 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.536 * [taylor]: Taking taylor expansion of -1 in y
3.536 * [backup-simplify]: Simplify -1 into -1
3.536 * [taylor]: Taking taylor expansion of x in y
3.536 * [backup-simplify]: Simplify x into x
3.536 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.536 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.536 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
3.536 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.536 * [taylor]: Taking taylor expansion of -1 in y
3.536 * [backup-simplify]: Simplify -1 into -1
3.536 * [taylor]: Taking taylor expansion of y in y
3.536 * [backup-simplify]: Simplify 0 into 0
3.536 * [backup-simplify]: Simplify 1 into 1
3.536 * [backup-simplify]: Simplify (/ -1 1) into -1
3.536 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.536 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
3.536 * [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))))
3.537 * [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))))
3.537 * [backup-simplify]: Simplify (+ 0) into 0
3.537 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
3.537 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
3.538 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.538 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
3.538 * [backup-simplify]: Simplify (- 0) into 0
3.539 * [backup-simplify]: Simplify (+ 0 0) into 0
3.539 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0
3.539 * [backup-simplify]: Simplify (+ 0) into 0
3.539 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
3.539 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
3.540 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.540 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
3.540 * [backup-simplify]: Simplify (- 0) into 0
3.541 * [backup-simplify]: Simplify (+ 0 0) into 0
3.541 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
3.541 * [backup-simplify]: Simplify (+ 0 0) into 0
3.541 * [taylor]: Taking taylor expansion of 0 in y
3.541 * [backup-simplify]: Simplify 0 into 0
3.541 * [backup-simplify]: Simplify 0 into 0
3.541 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
3.542 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.542 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
3.542 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
3.543 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.543 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0
3.543 * [backup-simplify]: Simplify (+ 0 0) into 0
3.543 * [backup-simplify]: Simplify 0 into 0
3.544 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.544 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
3.544 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.545 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.545 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
3.545 * [backup-simplify]: Simplify (- 0) into 0
3.546 * [backup-simplify]: Simplify (+ 0 0) into 0
3.546 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
3.546 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.547 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
3.547 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.548 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.548 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
3.548 * [backup-simplify]: Simplify (- 0) into 0
3.548 * [backup-simplify]: Simplify (+ 0 0) into 0
3.549 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.549 * [backup-simplify]: Simplify (+ 0 0) into 0
3.549 * [taylor]: Taking taylor expansion of 0 in y
3.549 * [backup-simplify]: Simplify 0 into 0
3.549 * [backup-simplify]: Simplify 0 into 0
3.549 * [backup-simplify]: Simplify 0 into 0
3.549 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.550 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.550 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.550 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.551 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.552 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
3.552 * [backup-simplify]: Simplify (+ 0 0) into 0
3.552 * [backup-simplify]: Simplify 0 into 0
3.553 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.553 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.553 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.554 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
3.555 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
3.555 * [backup-simplify]: Simplify (- 0) into 0
3.555 * [backup-simplify]: Simplify (+ 0 0) into 0
3.556 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0
3.557 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.557 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.557 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.558 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
3.559 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
3.559 * [backup-simplify]: Simplify (- 0) into 0
3.559 * [backup-simplify]: Simplify (+ 0 0) into 0
3.560 * [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
3.560 * [backup-simplify]: Simplify (+ 0 0) into 0
3.560 * [taylor]: Taking taylor expansion of 0 in y
3.560 * [backup-simplify]: Simplify 0 into 0
3.560 * [backup-simplify]: Simplify 0 into 0
3.560 * [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)))
3.562 * * * [progress]: simplifying candidates
3.563 * [simplify]: Simplifying:
  (expm1 (/ (cos y) (exp x)))
  (log1p (/ (cos y) (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))
  (expm1 (fma (exp x) (cos y) (/ (cos y) (exp x))))
  (log1p (fma (exp x) (cos y) (/ (cos y) (exp x))))
  (* (exp x) (cos y))
  (log (fma (exp x) (cos y) (/ (cos y) (exp x))))
  (exp (fma (exp x) (cos y) (/ (cos y) (exp x))))
  (* (cbrt (fma (exp x) (cos y) (/ (cos y) (exp x)))) (cbrt (fma (exp x) (cos y) (/ (cos y) (exp x)))))
  (cbrt (fma (exp x) (cos y) (/ (cos y) (exp x))))
  (* (* (fma (exp x) (cos y) (/ (cos y) (exp x))) (fma (exp x) (cos y) (/ (cos y) (exp x)))) (fma (exp x) (cos y) (/ (cos y) (exp x))))
  (sqrt (fma (exp x) (cos y) (/ (cos y) (exp x))))
  (sqrt (fma (exp x) (cos y) (/ (cos y) (exp x))))
  (- 1 (+ (* 1/2 (pow y 2)) x))
  (/ (cos y) (exp x))
  (/ (cos y) (exp x))
  (- (+ (pow x 2) 2) (pow y 2))
  (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
  (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
3.563 * * [simplify]: iteration 0: 73 enodes
3.590 * * [simplify]: iteration 1: 137 enodes
3.633 * * [simplify]: iteration 2: 361 enodes
3.774 * * [simplify]: iteration 3: 977 enodes
4.658 * * [simplify]: iteration 4: 3106 enodes
5.791 * * [simplify]: iteration complete: 5017 enodes
5.791 * * [simplify]: Extracting #0: cost 45 inf + 0
5.792 * * [simplify]: Extracting #1: cost 416 inf + 1
5.797 * * [simplify]: Extracting #2: cost 928 inf + 1748
5.813 * * [simplify]: Extracting #3: cost 606 inf + 68197
5.843 * * [simplify]: Extracting #4: cost 163 inf + 179402
5.895 * * [simplify]: Extracting #5: cost 22 inf + 230694
5.986 * * [simplify]: Extracting #6: cost 0 inf + 239945
6.056 * [simplify]: Simplified to:
  (expm1 (/ (cos y) (exp x)))
  (log1p (/ (cos y) (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)) (/ (sqrt (exp x)) (cbrt (cos y))))
  (/ (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))
  (expm1 (fma (cos y) (exp x) (/ (cos y) (exp x))))
  (log1p (fma (cos y) (exp x) (/ (cos y) (exp x))))
  (* (cos y) (exp x))
  (log (fma (cos y) (exp x) (/ (cos y) (exp x))))
  (exp (fma (cos y) (exp x) (/ (cos y) (exp x))))
  (* (cbrt (fma (cos y) (exp x) (/ (cos y) (exp x)))) (cbrt (fma (cos y) (exp x) (/ (cos y) (exp x)))))
  (cbrt (fma (cos y) (exp x) (/ (cos y) (exp x))))
  (* (fma (cos y) (exp x) (/ (cos y) (exp x))) (* (fma (cos y) (exp x) (/ (cos y) (exp x))) (fma (cos y) (exp x) (/ (cos y) (exp x)))))
  (sqrt (fma (cos y) (exp x) (/ (cos y) (exp x))))
  (sqrt (fma (cos y) (exp x) (/ (cos y) (exp x))))
  (- 1 (fma 1/2 (* y y) x))
  (/ (cos y) (exp x))
  (/ (cos y) (exp x))
  (fma (- x y) (+ y x) 2)
  (fma (cos y) (exp x) (/ (cos y) (exp x)))
  (fma (cos y) (exp x) (/ (cos y) (exp x)))
6.060 * * * [progress]: adding candidates to table
6.408 * * [progress]: iteration 2 / 4
6.408 * * * [progress]: picking best candidate
6.417 * * * * [pick]: Picked  #<alt (λ (x y) (/ (fma (exp x) (cos y) (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))) 2.0))>
6.417 * * * [progress]: localizing error
6.455 * * * [progress]: generating rewritten candidates
6.456 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 3)
6.488 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 3 1)
6.501 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 3 2)
6.504 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 3 1 2)
6.517 * * * [progress]: generating series expansions
6.517 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 3)
6.518 * [backup-simplify]: Simplify (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))) into (/ (cos y) (exp x))
6.518 * [approximate]: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0
6.518 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x
6.518 * [taylor]: Taking taylor expansion of (cos y) in x
6.518 * [taylor]: Taking taylor expansion of y in x
6.518 * [backup-simplify]: Simplify y into y
6.518 * [backup-simplify]: Simplify (cos y) into (cos y)
6.518 * [backup-simplify]: Simplify (sin y) into (sin y)
6.518 * [taylor]: Taking taylor expansion of (exp x) in x
6.518 * [taylor]: Taking taylor expansion of x in x
6.518 * [backup-simplify]: Simplify 0 into 0
6.518 * [backup-simplify]: Simplify 1 into 1
6.518 * [backup-simplify]: Simplify (exp 0) into 1
6.518 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
6.518 * [backup-simplify]: Simplify (* (sin y) 0) into 0
6.519 * [backup-simplify]: Simplify (- 0) into 0
6.519 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
6.519 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y)
6.519 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
6.519 * [taylor]: Taking taylor expansion of (cos y) in y
6.519 * [taylor]: Taking taylor expansion of y in y
6.519 * [backup-simplify]: Simplify 0 into 0
6.519 * [backup-simplify]: Simplify 1 into 1
6.519 * [taylor]: Taking taylor expansion of (exp x) in y
6.519 * [taylor]: Taking taylor expansion of x in y
6.519 * [backup-simplify]: Simplify x into x
6.519 * [backup-simplify]: Simplify (exp x) into (exp x)
6.519 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
6.519 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
6.519 * [taylor]: Taking taylor expansion of (cos y) in y
6.519 * [taylor]: Taking taylor expansion of y in y
6.519 * [backup-simplify]: Simplify 0 into 0
6.519 * [backup-simplify]: Simplify 1 into 1
6.519 * [taylor]: Taking taylor expansion of (exp x) in y
6.519 * [taylor]: Taking taylor expansion of x in y
6.519 * [backup-simplify]: Simplify x into x
6.519 * [backup-simplify]: Simplify (exp x) into (exp x)
6.519 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
6.519 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
6.519 * [taylor]: Taking taylor expansion of (exp x) in x
6.519 * [taylor]: Taking taylor expansion of x in x
6.519 * [backup-simplify]: Simplify 0 into 0
6.519 * [backup-simplify]: Simplify 1 into 1
6.519 * [backup-simplify]: Simplify (exp 0) into 1
6.520 * [backup-simplify]: Simplify (/ 1 1) into 1
6.520 * [backup-simplify]: Simplify 1 into 1
6.520 * [backup-simplify]: Simplify (+ 0) into 0
6.520 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
6.521 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0
6.521 * [taylor]: Taking taylor expansion of 0 in x
6.521 * [backup-simplify]: Simplify 0 into 0
6.521 * [backup-simplify]: Simplify 0 into 0
6.521 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
6.522 * [backup-simplify]: Simplify -1 into -1
6.522 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
6.523 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.523 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x))))
6.523 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x
6.523 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x
6.523 * [taylor]: Taking taylor expansion of 1/2 in x
6.523 * [backup-simplify]: Simplify 1/2 into 1/2
6.523 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
6.523 * [taylor]: Taking taylor expansion of (exp x) in x
6.523 * [taylor]: Taking taylor expansion of x in x
6.523 * [backup-simplify]: Simplify 0 into 0
6.523 * [backup-simplify]: Simplify 1 into 1
6.523 * [backup-simplify]: Simplify (exp 0) into 1
6.524 * [backup-simplify]: Simplify (/ 1 1) into 1
6.524 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.524 * [backup-simplify]: Simplify (- 1/2) into -1/2
6.524 * [backup-simplify]: Simplify -1/2 into -1/2
6.524 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x))
6.525 * [backup-simplify]: Simplify (/ (/ (cos (/ 1 y)) (sqrt (exp (/ 1 x)))) (sqrt (exp (/ 1 x)))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
6.525 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0
6.525 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
6.525 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
6.525 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.525 * [taylor]: Taking taylor expansion of y in x
6.525 * [backup-simplify]: Simplify y into y
6.525 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.525 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
6.525 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
6.525 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.525 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.525 * [taylor]: Taking taylor expansion of x in x
6.525 * [backup-simplify]: Simplify 0 into 0
6.525 * [backup-simplify]: Simplify 1 into 1
6.525 * [backup-simplify]: Simplify (/ 1 1) into 1
6.525 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.525 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
6.525 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
6.526 * [backup-simplify]: Simplify (- 0) into 0
6.526 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
6.526 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
6.526 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
6.526 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
6.526 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.526 * [taylor]: Taking taylor expansion of y in y
6.526 * [backup-simplify]: Simplify 0 into 0
6.526 * [backup-simplify]: Simplify 1 into 1
6.526 * [backup-simplify]: Simplify (/ 1 1) into 1
6.526 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
6.526 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
6.526 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.526 * [taylor]: Taking taylor expansion of x in y
6.526 * [backup-simplify]: Simplify x into x
6.526 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.526 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.526 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
6.527 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
6.527 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
6.527 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.527 * [taylor]: Taking taylor expansion of y in y
6.527 * [backup-simplify]: Simplify 0 into 0
6.527 * [backup-simplify]: Simplify 1 into 1
6.527 * [backup-simplify]: Simplify (/ 1 1) into 1
6.527 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
6.527 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
6.527 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.527 * [taylor]: Taking taylor expansion of x in y
6.527 * [backup-simplify]: Simplify x into x
6.527 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.527 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.527 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
6.527 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
6.527 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
6.527 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.527 * [taylor]: Taking taylor expansion of y in x
6.527 * [backup-simplify]: Simplify y into y
6.527 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.527 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
6.527 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
6.527 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.527 * [taylor]: Taking taylor expansion of x in x
6.527 * [backup-simplify]: Simplify 0 into 0
6.528 * [backup-simplify]: Simplify 1 into 1
6.528 * [backup-simplify]: Simplify (/ 1 1) into 1
6.528 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.528 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
6.528 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
6.528 * [backup-simplify]: Simplify (- 0) into 0
6.528 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
6.528 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
6.528 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
6.529 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.529 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
6.529 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
6.529 * [taylor]: Taking taylor expansion of 0 in x
6.529 * [backup-simplify]: Simplify 0 into 0
6.529 * [backup-simplify]: Simplify 0 into 0
6.530 * [backup-simplify]: Simplify (+ 0) into 0
6.530 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
6.530 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.530 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
6.531 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
6.531 * [backup-simplify]: Simplify (- 0) into 0
6.531 * [backup-simplify]: Simplify (+ 0 0) into 0
6.531 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
6.531 * [backup-simplify]: Simplify 0 into 0
6.532 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.533 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.533 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
6.533 * [taylor]: Taking taylor expansion of 0 in x
6.533 * [backup-simplify]: Simplify 0 into 0
6.533 * [backup-simplify]: Simplify 0 into 0
6.533 * [backup-simplify]: Simplify 0 into 0
6.533 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
6.534 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
6.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.534 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
6.535 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
6.535 * [backup-simplify]: Simplify (- 0) into 0
6.535 * [backup-simplify]: Simplify (+ 0 0) into 0
6.536 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
6.536 * [backup-simplify]: Simplify 0 into 0
6.536 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.537 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.537 * [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
6.537 * [taylor]: Taking taylor expansion of 0 in x
6.537 * [backup-simplify]: Simplify 0 into 0
6.537 * [backup-simplify]: Simplify 0 into 0
6.537 * [backup-simplify]: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x))
6.537 * [backup-simplify]: Simplify (/ (/ (cos (/ 1 (- y))) (sqrt (exp (/ 1 (- x))))) (sqrt (exp (/ 1 (- x))))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
6.537 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0
6.537 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
6.537 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
6.537 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.537 * [taylor]: Taking taylor expansion of -1 in x
6.537 * [backup-simplify]: Simplify -1 into -1
6.537 * [taylor]: Taking taylor expansion of y in x
6.537 * [backup-simplify]: Simplify y into y
6.537 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.538 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
6.538 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
6.538 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.538 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.538 * [taylor]: Taking taylor expansion of -1 in x
6.538 * [backup-simplify]: Simplify -1 into -1
6.538 * [taylor]: Taking taylor expansion of x in x
6.538 * [backup-simplify]: Simplify 0 into 0
6.538 * [backup-simplify]: Simplify 1 into 1
6.538 * [backup-simplify]: Simplify (/ -1 1) into -1
6.538 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.538 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
6.538 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
6.538 * [backup-simplify]: Simplify (- 0) into 0
6.538 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
6.539 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
6.539 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
6.539 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
6.539 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.539 * [taylor]: Taking taylor expansion of -1 in y
6.539 * [backup-simplify]: Simplify -1 into -1
6.539 * [taylor]: Taking taylor expansion of y in y
6.539 * [backup-simplify]: Simplify 0 into 0
6.539 * [backup-simplify]: Simplify 1 into 1
6.539 * [backup-simplify]: Simplify (/ -1 1) into -1
6.539 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
6.539 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
6.539 * [taylor]: Taking taylor expansion of (/ -1 x) in y
6.539 * [taylor]: Taking taylor expansion of -1 in y
6.539 * [backup-simplify]: Simplify -1 into -1
6.539 * [taylor]: Taking taylor expansion of x in y
6.539 * [backup-simplify]: Simplify x into x
6.539 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.539 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.539 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
6.539 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
6.539 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
6.539 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.539 * [taylor]: Taking taylor expansion of -1 in y
6.539 * [backup-simplify]: Simplify -1 into -1
6.539 * [taylor]: Taking taylor expansion of y in y
6.539 * [backup-simplify]: Simplify 0 into 0
6.539 * [backup-simplify]: Simplify 1 into 1
6.540 * [backup-simplify]: Simplify (/ -1 1) into -1
6.540 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
6.540 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
6.540 * [taylor]: Taking taylor expansion of (/ -1 x) in y
6.540 * [taylor]: Taking taylor expansion of -1 in y
6.540 * [backup-simplify]: Simplify -1 into -1
6.540 * [taylor]: Taking taylor expansion of x in y
6.540 * [backup-simplify]: Simplify x into x
6.540 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.540 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.540 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
6.540 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
6.540 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
6.540 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.540 * [taylor]: Taking taylor expansion of -1 in x
6.540 * [backup-simplify]: Simplify -1 into -1
6.540 * [taylor]: Taking taylor expansion of y in x
6.540 * [backup-simplify]: Simplify y into y
6.540 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.540 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
6.540 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
6.540 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.540 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.540 * [taylor]: Taking taylor expansion of -1 in x
6.540 * [backup-simplify]: Simplify -1 into -1
6.540 * [taylor]: Taking taylor expansion of x in x
6.540 * [backup-simplify]: Simplify 0 into 0
6.540 * [backup-simplify]: Simplify 1 into 1
6.541 * [backup-simplify]: Simplify (/ -1 1) into -1
6.541 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.541 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
6.541 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
6.541 * [backup-simplify]: Simplify (- 0) into 0
6.541 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
6.541 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
6.541 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
6.542 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
6.542 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
6.542 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
6.542 * [taylor]: Taking taylor expansion of 0 in x
6.542 * [backup-simplify]: Simplify 0 into 0
6.542 * [backup-simplify]: Simplify 0 into 0
6.543 * [backup-simplify]: Simplify (+ 0) into 0
6.543 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
6.543 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
6.543 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
6.544 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
6.544 * [backup-simplify]: Simplify (- 0) into 0
6.544 * [backup-simplify]: Simplify (+ 0 0) into 0
6.544 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
6.544 * [backup-simplify]: Simplify 0 into 0
6.545 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.545 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.546 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
6.546 * [taylor]: Taking taylor expansion of 0 in x
6.546 * [backup-simplify]: Simplify 0 into 0
6.546 * [backup-simplify]: Simplify 0 into 0
6.546 * [backup-simplify]: Simplify 0 into 0
6.547 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
6.547 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
6.548 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.548 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
6.549 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
6.549 * [backup-simplify]: Simplify (- 0) into 0
6.550 * [backup-simplify]: Simplify (+ 0 0) into 0
6.550 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
6.550 * [backup-simplify]: Simplify 0 into 0
6.550 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.552 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.552 * [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
6.552 * [taylor]: Taking taylor expansion of 0 in x
6.552 * [backup-simplify]: Simplify 0 into 0
6.552 * [backup-simplify]: Simplify 0 into 0
6.553 * [backup-simplify]: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x))
6.553 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 3 1)
6.553 * [backup-simplify]: Simplify (/ (cos y) (sqrt (exp x))) into (* (sqrt (/ 1 (exp x))) (cos y))
6.553 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (exp x))) (cos y)) in (y x) around 0
6.553 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp x))) (cos y)) in x
6.553 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp x))) in x
6.553 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
6.553 * [taylor]: Taking taylor expansion of (exp x) in x
6.553 * [taylor]: Taking taylor expansion of x in x
6.553 * [backup-simplify]: Simplify 0 into 0
6.553 * [backup-simplify]: Simplify 1 into 1
6.553 * [backup-simplify]: Simplify (exp 0) into 1
6.554 * [backup-simplify]: Simplify (/ 1 1) into 1
6.554 * [backup-simplify]: Simplify (sqrt 1) into 1
6.555 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.556 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
6.556 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
6.556 * [taylor]: Taking taylor expansion of (cos y) in x
6.556 * [taylor]: Taking taylor expansion of y in x
6.556 * [backup-simplify]: Simplify y into y
6.556 * [backup-simplify]: Simplify (cos y) into (cos y)
6.556 * [backup-simplify]: Simplify (sin y) into (sin y)
6.556 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp x))) (cos y)) in y
6.556 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp x))) in y
6.556 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in y
6.557 * [taylor]: Taking taylor expansion of (exp x) in y
6.557 * [taylor]: Taking taylor expansion of x in y
6.557 * [backup-simplify]: Simplify x into x
6.557 * [backup-simplify]: Simplify (exp x) into (exp x)
6.557 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
6.557 * [backup-simplify]: Simplify (sqrt (/ 1 (exp x))) into (sqrt (/ 1 (exp x)))
6.558 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
6.558 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0
6.558 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp x))))) into 0
6.558 * [taylor]: Taking taylor expansion of (cos y) in y
6.558 * [taylor]: Taking taylor expansion of y in y
6.558 * [backup-simplify]: Simplify 0 into 0
6.558 * [backup-simplify]: Simplify 1 into 1
6.558 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp x))) (cos y)) in y
6.558 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp x))) in y
6.558 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in y
6.558 * [taylor]: Taking taylor expansion of (exp x) in y
6.558 * [taylor]: Taking taylor expansion of x in y
6.558 * [backup-simplify]: Simplify x into x
6.558 * [backup-simplify]: Simplify (exp x) into (exp x)
6.558 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
6.558 * [backup-simplify]: Simplify (sqrt (/ 1 (exp x))) into (sqrt (/ 1 (exp x)))
6.559 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
6.560 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0
6.560 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp x))))) into 0
6.560 * [taylor]: Taking taylor expansion of (cos y) in y
6.560 * [taylor]: Taking taylor expansion of y in y
6.560 * [backup-simplify]: Simplify 0 into 0
6.560 * [backup-simplify]: Simplify 1 into 1
6.560 * [backup-simplify]: Simplify (* (sqrt (/ 1 (exp x))) 1) into (sqrt (/ 1 (exp x)))
6.560 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp x))) in x
6.560 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
6.560 * [taylor]: Taking taylor expansion of (exp x) in x
6.560 * [taylor]: Taking taylor expansion of x in x
6.560 * [backup-simplify]: Simplify 0 into 0
6.560 * [backup-simplify]: Simplify 1 into 1
6.560 * [backup-simplify]: Simplify (exp 0) into 1
6.561 * [backup-simplify]: Simplify (/ 1 1) into 1
6.561 * [backup-simplify]: Simplify (sqrt 1) into 1
6.562 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
6.563 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
6.563 * [backup-simplify]: Simplify 1 into 1
6.564 * [backup-simplify]: Simplify (+ 0) into 0
6.564 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp x))) 0) (* 0 1)) into 0
6.564 * [taylor]: Taking taylor expansion of 0 in x
6.564 * [backup-simplify]: Simplify 0 into 0
6.564 * [backup-simplify]: Simplify 0 into 0
6.564 * [backup-simplify]: Simplify -1/2 into -1/2
6.565 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
6.567 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.567 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into 0
6.568 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (exp x))))) into 0
6.568 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp x))) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (sqrt (/ 1 (exp x)))))
6.569 * [taylor]: Taking taylor expansion of (- (* 1/2 (sqrt (/ 1 (exp x))))) in x
6.569 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 (exp x)))) in x
6.569 * [taylor]: Taking taylor expansion of 1/2 in x
6.569 * [backup-simplify]: Simplify 1/2 into 1/2
6.569 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp x))) in x
6.569 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
6.569 * [taylor]: Taking taylor expansion of (exp x) in x
6.569 * [taylor]: Taking taylor expansion of x in x
6.569 * [backup-simplify]: Simplify 0 into 0
6.569 * [backup-simplify]: Simplify 1 into 1
6.569 * [backup-simplify]: Simplify (exp 0) into 1
6.569 * [backup-simplify]: Simplify (/ 1 1) into 1
6.570 * [backup-simplify]: Simplify (sqrt 1) into 1
6.570 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.571 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
6.572 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
6.572 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
6.573 * [backup-simplify]: Simplify (- 1/2) into -1/2
6.573 * [backup-simplify]: Simplify -1/2 into -1/2
6.573 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1/2 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) (* 1/2 x)))
6.573 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (sqrt (exp (/ 1 x)))) into (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y)))
6.573 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) in (y x) around 0
6.573 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) in x
6.573 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp (/ 1 x)))) in x
6.573 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
6.573 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.573 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.573 * [taylor]: Taking taylor expansion of x in x
6.573 * [backup-simplify]: Simplify 0 into 0
6.573 * [backup-simplify]: Simplify 1 into 1
6.574 * [backup-simplify]: Simplify (/ 1 1) into 1
6.574 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.574 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
6.574 * [backup-simplify]: Simplify (sqrt (/ 1 (exp (/ 1 x)))) into (sqrt (/ 1 (exp (/ 1 x))))
6.574 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
6.575 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp (/ 1 x)))))) into 0
6.575 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
6.575 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.575 * [taylor]: Taking taylor expansion of y in x
6.575 * [backup-simplify]: Simplify y into y
6.575 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.575 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
6.575 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
6.575 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) in y
6.575 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp (/ 1 x)))) in y
6.575 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in y
6.575 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
6.575 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.575 * [taylor]: Taking taylor expansion of x in y
6.575 * [backup-simplify]: Simplify x into x
6.575 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.575 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.575 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
6.575 * [backup-simplify]: Simplify (sqrt (/ 1 (exp (/ 1 x)))) into (sqrt (/ 1 (exp (/ 1 x))))
6.576 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.576 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
6.577 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
6.577 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp (/ 1 x)))))) into 0
6.577 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
6.577 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.577 * [taylor]: Taking taylor expansion of y in y
6.577 * [backup-simplify]: Simplify 0 into 0
6.577 * [backup-simplify]: Simplify 1 into 1
6.577 * [backup-simplify]: Simplify (/ 1 1) into 1
6.577 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
6.577 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) in y
6.577 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp (/ 1 x)))) in y
6.577 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in y
6.577 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
6.577 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.577 * [taylor]: Taking taylor expansion of x in y
6.577 * [backup-simplify]: Simplify x into x
6.577 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.577 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.577 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
6.578 * [backup-simplify]: Simplify (sqrt (/ 1 (exp (/ 1 x)))) into (sqrt (/ 1 (exp (/ 1 x))))
6.578 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
6.578 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
6.578 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
6.578 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp (/ 1 x)))))) into 0
6.578 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
6.578 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.578 * [taylor]: Taking taylor expansion of y in y
6.578 * [backup-simplify]: Simplify 0 into 0
6.578 * [backup-simplify]: Simplify 1 into 1
6.579 * [backup-simplify]: Simplify (/ 1 1) into 1
6.579 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
6.579 * [backup-simplify]: Simplify (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) into (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y)))
6.579 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) in x
6.579 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp (/ 1 x)))) in x
6.579 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
6.579 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.579 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.579 * [taylor]: Taking taylor expansion of x in x
6.579 * [backup-simplify]: Simplify 0 into 0
6.579 * [backup-simplify]: Simplify 1 into 1
6.579 * [backup-simplify]: Simplify (/ 1 1) into 1
6.579 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.579 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
6.579 * [backup-simplify]: Simplify (sqrt (/ 1 (exp (/ 1 x)))) into (sqrt (/ 1 (exp (/ 1 x))))
6.580 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
6.580 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp (/ 1 x)))))) into 0
6.580 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
6.580 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.580 * [taylor]: Taking taylor expansion of y in x
6.580 * [backup-simplify]: Simplify y into y
6.580 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.580 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
6.580 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
6.580 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
6.580 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
6.580 * [backup-simplify]: Simplify (- 0) into 0
6.580 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
6.580 * [backup-simplify]: Simplify (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) into (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y)))
6.581 * [backup-simplify]: Simplify (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) into (* (sqrt (/ 1 (exp (/ 1 x)))) (cos (/ 1 y)))
6.581 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ 1 x)))) 0) (* 0 (cos (/ 1 y)))) into 0
6.581 * [taylor]: Taking taylor expansion of 0 in x
6.581 * [backup-simplify]: Simplify 0 into 0
6.581 * [backup-simplify]: Simplify 0 into 0
6.581 * [backup-simplify]: Simplify (+ 0) into 0
6.581 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
6.581 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.582 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
6.582 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
6.583 * [backup-simplify]: Simplify (- 0) into 0
6.583 * [backup-simplify]: Simplify (+ 0 0) into 0
6.583 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ 1 x)))) 0) (* 0 (cos (/ 1 y)))) into 0
6.583 * [backup-simplify]: Simplify 0 into 0
6.583 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.584 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.585 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
6.585 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (exp (/ 1 x)))))) into 0
6.586 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ 1 x)))) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
6.586 * [taylor]: Taking taylor expansion of 0 in x
6.586 * [backup-simplify]: Simplify 0 into 0
6.586 * [backup-simplify]: Simplify 0 into 0
6.586 * [backup-simplify]: Simplify 0 into 0
6.587 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
6.587 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
6.588 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.588 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
6.588 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
6.589 * [backup-simplify]: Simplify (- 0) into 0
6.589 * [backup-simplify]: Simplify (+ 0 0) into 0
6.589 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
6.589 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (exp (/ 1 x)))))) into 0
6.590 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ 1 x)))) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
6.590 * [backup-simplify]: Simplify 0 into 0
6.590 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.591 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.591 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
6.592 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (exp (/ 1 x)))))) into 0
6.592 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0
6.592 * [taylor]: Taking taylor expansion of 0 in x
6.592 * [backup-simplify]: Simplify 0 into 0
6.592 * [backup-simplify]: Simplify 0 into 0
6.592 * [backup-simplify]: Simplify (* (sqrt (/ 1 (exp (/ 1 (/ 1 x))))) (cos (/ 1 (/ 1 y)))) into (* (sqrt (/ 1 (exp x))) (cos y))
6.593 * [backup-simplify]: Simplify (/ (cos (/ 1 (- y))) (sqrt (exp (/ 1 (- x))))) into (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y)))
6.593 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) in (y x) around 0
6.593 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) in x
6.593 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp (/ -1 x)))) in x
6.593 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
6.593 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.593 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.593 * [taylor]: Taking taylor expansion of -1 in x
6.593 * [backup-simplify]: Simplify -1 into -1
6.593 * [taylor]: Taking taylor expansion of x in x
6.593 * [backup-simplify]: Simplify 0 into 0
6.593 * [backup-simplify]: Simplify 1 into 1
6.593 * [backup-simplify]: Simplify (/ -1 1) into -1
6.593 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.593 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
6.593 * [backup-simplify]: Simplify (sqrt (/ 1 (exp (/ -1 x)))) into (sqrt (/ 1 (exp (/ -1 x))))
6.593 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
6.593 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp (/ -1 x)))))) into 0
6.594 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
6.594 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.594 * [taylor]: Taking taylor expansion of -1 in x
6.594 * [backup-simplify]: Simplify -1 into -1
6.594 * [taylor]: Taking taylor expansion of y in x
6.594 * [backup-simplify]: Simplify y into y
6.594 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.594 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
6.594 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
6.594 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) in y
6.594 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp (/ -1 x)))) in y
6.594 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in y
6.594 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
6.594 * [taylor]: Taking taylor expansion of (/ -1 x) in y
6.594 * [taylor]: Taking taylor expansion of -1 in y
6.594 * [backup-simplify]: Simplify -1 into -1
6.594 * [taylor]: Taking taylor expansion of x in y
6.594 * [backup-simplify]: Simplify x into x
6.594 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.594 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.594 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
6.594 * [backup-simplify]: Simplify (sqrt (/ 1 (exp (/ -1 x)))) into (sqrt (/ 1 (exp (/ -1 x))))
6.594 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
6.595 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
6.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
6.595 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp (/ -1 x)))))) into 0
6.595 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
6.595 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.595 * [taylor]: Taking taylor expansion of -1 in y
6.595 * [backup-simplify]: Simplify -1 into -1
6.595 * [taylor]: Taking taylor expansion of y in y
6.595 * [backup-simplify]: Simplify 0 into 0
6.595 * [backup-simplify]: Simplify 1 into 1
6.595 * [backup-simplify]: Simplify (/ -1 1) into -1
6.595 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
6.595 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) in y
6.595 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp (/ -1 x)))) in y
6.595 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in y
6.596 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
6.596 * [taylor]: Taking taylor expansion of (/ -1 x) in y
6.596 * [taylor]: Taking taylor expansion of -1 in y
6.596 * [backup-simplify]: Simplify -1 into -1
6.596 * [taylor]: Taking taylor expansion of x in y
6.596 * [backup-simplify]: Simplify x into x
6.596 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
6.596 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.596 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
6.596 * [backup-simplify]: Simplify (sqrt (/ 1 (exp (/ -1 x)))) into (sqrt (/ 1 (exp (/ -1 x))))
6.596 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
6.596 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
6.597 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
6.597 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp (/ -1 x)))))) into 0
6.597 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
6.597 * [taylor]: Taking taylor expansion of (/ -1 y) in y
6.597 * [taylor]: Taking taylor expansion of -1 in y
6.597 * [backup-simplify]: Simplify -1 into -1
6.597 * [taylor]: Taking taylor expansion of y in y
6.597 * [backup-simplify]: Simplify 0 into 0
6.597 * [backup-simplify]: Simplify 1 into 1
6.597 * [backup-simplify]: Simplify (/ -1 1) into -1
6.597 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
6.597 * [backup-simplify]: Simplify (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) into (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y)))
6.597 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) in x
6.597 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (exp (/ -1 x)))) in x
6.597 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
6.597 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.597 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.597 * [taylor]: Taking taylor expansion of -1 in x
6.597 * [backup-simplify]: Simplify -1 into -1
6.597 * [taylor]: Taking taylor expansion of x in x
6.597 * [backup-simplify]: Simplify 0 into 0
6.597 * [backup-simplify]: Simplify 1 into 1
6.598 * [backup-simplify]: Simplify (/ -1 1) into -1
6.598 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.598 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
6.598 * [backup-simplify]: Simplify (sqrt (/ 1 (exp (/ -1 x)))) into (sqrt (/ 1 (exp (/ -1 x))))
6.598 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
6.598 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 (exp (/ -1 x)))))) into 0
6.598 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
6.598 * [taylor]: Taking taylor expansion of (/ -1 y) in x
6.598 * [taylor]: Taking taylor expansion of -1 in x
6.598 * [backup-simplify]: Simplify -1 into -1
6.598 * [taylor]: Taking taylor expansion of y in x
6.598 * [backup-simplify]: Simplify y into y
6.598 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
6.598 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
6.598 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
6.598 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
6.598 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
6.599 * [backup-simplify]: Simplify (- 0) into 0
6.599 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
6.599 * [backup-simplify]: Simplify (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) into (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y)))
6.599 * [backup-simplify]: Simplify (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y))) into (* (sqrt (/ 1 (exp (/ -1 x)))) (cos (/ -1 y)))
6.599 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ -1 x)))) 0) (* 0 (cos (/ -1 y)))) into 0
6.599 * [taylor]: Taking taylor expansion of 0 in x
6.599 * [backup-simplify]: Simplify 0 into 0
6.599 * [backup-simplify]: Simplify 0 into 0
6.599 * [backup-simplify]: Simplify (+ 0) into 0
6.604 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
6.604 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
6.605 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
6.605 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
6.605 * [backup-simplify]: Simplify (- 0) into 0
6.605 * [backup-simplify]: Simplify (+ 0 0) into 0
6.606 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ -1 x)))) 0) (* 0 (cos (/ -1 y)))) into 0
6.606 * [backup-simplify]: Simplify 0 into 0
6.606 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.607 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
6.607 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
6.607 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (exp (/ -1 x)))))) into 0
6.608 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ -1 x)))) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
6.608 * [taylor]: Taking taylor expansion of 0 in x
6.608 * [backup-simplify]: Simplify 0 into 0
6.608 * [backup-simplify]: Simplify 0 into 0
6.608 * [backup-simplify]: Simplify 0 into 0
6.608 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
6.609 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
6.609 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
6.609 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
6.610 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
6.610 * [backup-simplify]: Simplify (- 0) into 0
6.610 * [backup-simplify]: Simplify (+ 0 0) into 0
6.610 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
6.611 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 (exp (/ -1 x)))))) into 0
6.611 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ -1 x)))) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
6.611 * [backup-simplify]: Simplify 0 into 0
6.611 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
6.612 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
6.612 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
6.613 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 (exp (/ -1 x)))))) into 0
6.614 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 (exp (/ -1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0
6.614 * [taylor]: Taking taylor expansion of 0 in x
6.614 * [backup-simplify]: Simplify 0 into 0
6.614 * [backup-simplify]: Simplify 0 into 0
6.614 * [backup-simplify]: Simplify (* (sqrt (/ 1 (exp (/ -1 (/ 1 (- x)))))) (cos (/ -1 (/ 1 (- y))))) into (* (sqrt (/ 1 (exp x))) (cos y))
6.614 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 3 2)
6.614 * [backup-simplify]: Simplify (sqrt (exp x)) into (sqrt (exp x))
6.614 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0
6.614 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
6.614 * [taylor]: Taking taylor expansion of (exp x) in x
6.614 * [taylor]: Taking taylor expansion of x in x
6.614 * [backup-simplify]: Simplify 0 into 0
6.614 * [backup-simplify]: Simplify 1 into 1
6.614 * [backup-simplify]: Simplify (exp 0) into 1
6.614 * [backup-simplify]: Simplify (sqrt 1) into 1
6.615 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.615 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
6.615 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
6.615 * [taylor]: Taking taylor expansion of (exp x) in x
6.615 * [taylor]: Taking taylor expansion of x in x
6.615 * [backup-simplify]: Simplify 0 into 0
6.615 * [backup-simplify]: Simplify 1 into 1
6.615 * [backup-simplify]: Simplify (exp 0) into 1
6.616 * [backup-simplify]: Simplify (sqrt 1) into 1
6.616 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.617 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
6.617 * [backup-simplify]: Simplify 1 into 1
6.617 * [backup-simplify]: Simplify 1/2 into 1/2
6.617 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
6.618 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8
6.618 * [backup-simplify]: Simplify 1/8 into 1/8
6.618 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1))
6.618 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x)))
6.619 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
6.619 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
6.619 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.619 * [taylor]: Taking taylor expansion of x in x
6.619 * [backup-simplify]: Simplify 0 into 0
6.619 * [backup-simplify]: Simplify 1 into 1
6.619 * [backup-simplify]: Simplify (/ 1 1) into 1
6.619 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.619 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x)))
6.619 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0
6.619 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
6.619 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.619 * [taylor]: Taking taylor expansion of x in x
6.619 * [backup-simplify]: Simplify 0 into 0
6.619 * [backup-simplify]: Simplify 1 into 1
6.619 * [backup-simplify]: Simplify (/ 1 1) into 1
6.619 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.620 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x)))
6.620 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0
6.620 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x)))
6.620 * [backup-simplify]: Simplify 0 into 0
6.620 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0
6.620 * [backup-simplify]: Simplify 0 into 0
6.621 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
6.621 * [backup-simplify]: Simplify 0 into 0
6.621 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
6.621 * [backup-simplify]: Simplify 0 into 0
6.622 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
6.622 * [backup-simplify]: Simplify 0 into 0
6.623 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
6.623 * [backup-simplify]: Simplify 0 into 0
6.623 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 x)))) into (sqrt (exp x))
6.623 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- x)))) into (sqrt (exp (/ -1 x)))
6.623 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0
6.623 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
6.623 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.623 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.623 * [taylor]: Taking taylor expansion of -1 in x
6.623 * [backup-simplify]: Simplify -1 into -1
6.623 * [taylor]: Taking taylor expansion of x in x
6.623 * [backup-simplify]: Simplify 0 into 0
6.623 * [backup-simplify]: Simplify 1 into 1
6.623 * [backup-simplify]: Simplify (/ -1 1) into -1
6.623 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.623 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x)))
6.623 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0
6.623 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
6.623 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.623 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.623 * [taylor]: Taking taylor expansion of -1 in x
6.623 * [backup-simplify]: Simplify -1 into -1
6.623 * [taylor]: Taking taylor expansion of x in x
6.623 * [backup-simplify]: Simplify 0 into 0
6.624 * [backup-simplify]: Simplify 1 into 1
6.624 * [backup-simplify]: Simplify (/ -1 1) into -1
6.624 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.624 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x)))
6.624 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0
6.624 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x)))
6.624 * [backup-simplify]: Simplify 0 into 0
6.625 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0
6.625 * [backup-simplify]: Simplify 0 into 0
6.625 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
6.625 * [backup-simplify]: Simplify 0 into 0
6.626 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
6.626 * [backup-simplify]: Simplify 0 into 0
6.626 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
6.626 * [backup-simplify]: Simplify 0 into 0
6.627 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
6.627 * [backup-simplify]: Simplify 0 into 0
6.627 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- x))))) into (sqrt (exp x))
6.627 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 3 1 2)
6.627 * [backup-simplify]: Simplify (sqrt (exp x)) into (sqrt (exp x))
6.627 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0
6.627 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
6.627 * [taylor]: Taking taylor expansion of (exp x) in x
6.627 * [taylor]: Taking taylor expansion of x in x
6.627 * [backup-simplify]: Simplify 0 into 0
6.627 * [backup-simplify]: Simplify 1 into 1
6.627 * [backup-simplify]: Simplify (exp 0) into 1
6.628 * [backup-simplify]: Simplify (sqrt 1) into 1
6.628 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.628 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
6.629 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x
6.629 * [taylor]: Taking taylor expansion of (exp x) in x
6.629 * [taylor]: Taking taylor expansion of x in x
6.629 * [backup-simplify]: Simplify 0 into 0
6.629 * [backup-simplify]: Simplify 1 into 1
6.629 * [backup-simplify]: Simplify (exp 0) into 1
6.629 * [backup-simplify]: Simplify (sqrt 1) into 1
6.629 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.630 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
6.630 * [backup-simplify]: Simplify 1 into 1
6.630 * [backup-simplify]: Simplify 1/2 into 1/2
6.631 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
6.631 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8
6.631 * [backup-simplify]: Simplify 1/8 into 1/8
6.632 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1))
6.632 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x)))
6.632 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0
6.632 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
6.632 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.632 * [taylor]: Taking taylor expansion of x in x
6.632 * [backup-simplify]: Simplify 0 into 0
6.632 * [backup-simplify]: Simplify 1 into 1
6.632 * [backup-simplify]: Simplify (/ 1 1) into 1
6.632 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.633 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x)))
6.633 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0
6.633 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x
6.633 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
6.633 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.633 * [taylor]: Taking taylor expansion of x in x
6.633 * [backup-simplify]: Simplify 0 into 0
6.633 * [backup-simplify]: Simplify 1 into 1
6.633 * [backup-simplify]: Simplify (/ 1 1) into 1
6.634 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
6.634 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x)))
6.634 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0
6.634 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x)))
6.634 * [backup-simplify]: Simplify 0 into 0
6.635 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0
6.635 * [backup-simplify]: Simplify 0 into 0
6.636 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
6.636 * [backup-simplify]: Simplify 0 into 0
6.637 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
6.637 * [backup-simplify]: Simplify 0 into 0
6.637 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
6.637 * [backup-simplify]: Simplify 0 into 0
6.639 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0
6.639 * [backup-simplify]: Simplify 0 into 0
6.639 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 x)))) into (sqrt (exp x))
6.639 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- x)))) into (sqrt (exp (/ -1 x)))
6.639 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0
6.639 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
6.639 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.639 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.639 * [taylor]: Taking taylor expansion of -1 in x
6.639 * [backup-simplify]: Simplify -1 into -1
6.639 * [taylor]: Taking taylor expansion of x in x
6.639 * [backup-simplify]: Simplify 0 into 0
6.639 * [backup-simplify]: Simplify 1 into 1
6.640 * [backup-simplify]: Simplify (/ -1 1) into -1
6.640 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.640 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x)))
6.640 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0
6.640 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x
6.640 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
6.640 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.640 * [taylor]: Taking taylor expansion of -1 in x
6.640 * [backup-simplify]: Simplify -1 into -1
6.640 * [taylor]: Taking taylor expansion of x in x
6.640 * [backup-simplify]: Simplify 0 into 0
6.640 * [backup-simplify]: Simplify 1 into 1
6.640 * [backup-simplify]: Simplify (/ -1 1) into -1
6.640 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
6.640 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x)))
6.640 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0
6.641 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x)))
6.641 * [backup-simplify]: Simplify 0 into 0
6.641 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0
6.641 * [backup-simplify]: Simplify 0 into 0
6.642 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
6.642 * [backup-simplify]: Simplify 0 into 0
6.642 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
6.642 * [backup-simplify]: Simplify 0 into 0
6.643 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
6.643 * [backup-simplify]: Simplify 0 into 0
6.643 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0
6.643 * [backup-simplify]: Simplify 0 into 0
6.644 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- x))))) into (sqrt (exp x))
6.644 * * * [progress]: simplifying candidates
6.648 * [simplify]: Simplifying:
  (expm1 (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))))
  (log1p (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))))
  (- (- (log (cos y)) (log (sqrt (exp x)))) (log (sqrt (exp x))))
  (- (log (/ (cos y) (sqrt (exp x)))) (log (sqrt (exp x))))
  (log (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))))
  (exp (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))))
  (/ (/ (* (* (cos y) (cos y)) (cos y)) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))))
  (/ (* (* (/ (cos y) (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (/ (cos y) (sqrt (exp x)))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))))
  (* (cbrt (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))) (cbrt (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))))
  (cbrt (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))))
  (* (* (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))) (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))) (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))))
  (sqrt (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))))
  (sqrt (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))))
  (- (/ (cos y) (sqrt (exp x))))
  (- (sqrt (exp x)))
  (/ (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x))))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x))))) (sqrt (sqrt (exp x))))
  (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x))))) (sqrt 1))
  (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (exp x)))
  (/ (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x))))) (sqrt (sqrt (exp x))))
  (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x))))) 1)
  (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (exp x)))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt 1))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (exp x)))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) 1)
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (sqrt (exp x))))
  (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt 1))
  (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (sqrt (exp x))))
  (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) 1)
  (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt (sqrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt 1))
  (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (exp x)))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt (sqrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) 1)
  (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (exp x)))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (sqrt 1))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) 1)
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt 1)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (cbrt (cos y)) (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt 1)) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt 1)) (sqrt (sqrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt 1)) (sqrt 1))
  (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (exp x)))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt 1)) (sqrt (sqrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt 1)) 1)
  (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (exp x)))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (sqrt 1))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x)))) 1)
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (cbrt (cos y)) (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) (sqrt (sqrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) (sqrt 1))
  (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (exp x)))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) (sqrt (sqrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) 1)
  (/ (/ (cbrt (cos y)) (sqrt (exp x))) (sqrt (exp x)))
  (/ (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt 1))
  (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) 1)
  (/ (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ (sqrt (cos y)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (sqrt (cos y)) (sqrt (cbrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (sqrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt 1))
  (/ (/ (sqrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (exp x)))
  (/ (/ (sqrt (cos y)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) 1)
  (/ (/ (sqrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (exp x)))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt 1))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) 1)
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ (sqrt (cos y)) (sqrt 1)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt 1)) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt 1)) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt 1)) (sqrt 1))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (exp x)))
  (/ (/ (sqrt (cos y)) (sqrt 1)) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt 1)) 1)
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (exp x)))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt 1))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) 1)
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ (sqrt (cos y)) 1) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) 1) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ (/ (sqrt (cos y)) 1) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) 1) (sqrt 1))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (exp x)))
  (/ (/ (sqrt (cos y)) 1) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) 1) 1)
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (exp x)))
  (/ (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (cos y) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt 1))
  (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) 1)
  (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (cos y) (sqrt (cbrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (cos y) (sqrt (cbrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt 1))
  (/ (/ (cos y) (sqrt (cbrt (exp x)))) (sqrt (exp x)))
  (/ (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x))))) 1)
  (/ (/ (cos y) (sqrt (cbrt (exp x)))) (sqrt (exp x)))
  (/ (/ 1 (sqrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (cos y) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (/ 1 (sqrt (sqrt (exp x)))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ (/ 1 (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ 1 (sqrt (sqrt (exp x)))) (sqrt 1))
  (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ 1 (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ 1 (sqrt (sqrt (exp x)))) 1)
  (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ 1 (sqrt 1)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (cos y) (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (/ 1 (sqrt 1)) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ (/ 1 (sqrt 1)) (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (/ 1 (sqrt 1)) (sqrt 1))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))
  (/ (/ 1 (sqrt 1)) (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (/ 1 (sqrt 1)) 1)
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))
  (/ (/ 1 (sqrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (cos y) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (/ 1 (sqrt (sqrt (exp x)))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ (/ 1 (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ 1 (sqrt (sqrt (exp x)))) (sqrt 1))
  (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ 1 (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ 1 (sqrt (sqrt (exp x)))) 1)
  (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ 1 1) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (cos y) (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (/ 1 1) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ (/ 1 1) (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (/ 1 1) (sqrt 1))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))
  (/ (/ 1 1) (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (/ 1 1) 1)
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))
  (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (cos y) (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ 1 (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ 1 (sqrt 1))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))
  (/ 1 (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ 1 1)
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))
  (/ (cos y) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ 1 (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (cos y) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ 1 (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ (cos y) (sqrt (sqrt (exp x))))
  (/ (/ 1 (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (cos y) (sqrt 1))
  (/ (/ 1 (sqrt (exp x))) (sqrt (exp x)))
  (/ (cos y) (sqrt (sqrt (exp x))))
  (/ (/ 1 (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (cos y) 1)
  (/ (/ 1 (sqrt (exp x))) (sqrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ (sqrt (exp x)) (/ (cos y) (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt 1))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) 1)
  (/ (sqrt (exp x)) (cbrt (/ (cos y) (sqrt (exp x)))))
  (/ (sqrt (exp x)) (sqrt (/ (cos y) (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))))
  (/ (sqrt (exp x)) (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (cbrt (cos y)) (sqrt (exp x))))
  (/ (sqrt (exp x)) (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (cbrt (cos y)) (sqrt (exp x))))
  (/ (sqrt (exp x)) (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (sqrt (cos y)) (sqrt (cbrt (exp x)))))
  (/ (sqrt (exp x)) (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (sqrt (cos y)) (sqrt (exp x))))
  (/ (sqrt (exp x)) (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (sqrt (cos y)) (sqrt (exp x))))
  (/ (sqrt (exp x)) (/ (cos y) (cbrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (cos y) (sqrt (cbrt (exp x)))))
  (/ (sqrt (exp x)) (/ (cos y) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (cos y) (sqrt (exp x))))
  (/ (sqrt (exp x)) (/ (cos y) (sqrt (sqrt (exp x)))))
  (/ (sqrt (exp x)) (/ (cos y) (sqrt (exp x))))
  (/ (sqrt (exp x)) (/ (cos y) (sqrt (exp x))))
  (/ (sqrt (exp x)) (/ 1 (sqrt (exp x))))
  (* (sqrt (exp x)) (sqrt (exp x)))
  (expm1 (/ (cos y) (sqrt (exp x))))
  (log1p (/ (cos y) (sqrt (exp x))))
  (- (log (cos y)) (log (sqrt (exp x))))
  (log (/ (cos y) (sqrt (exp x))))
  (exp (/ (cos y) (sqrt (exp x))))
  (/ (* (* (cos y) (cos y)) (cos y)) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))))
  (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x)))))
  (cbrt (/ (cos y) (sqrt (exp x))))
  (* (* (/ (cos y) (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (/ (cos y) (sqrt (exp x))))
  (sqrt (/ (cos y) (sqrt (exp x))))
  (sqrt (/ (cos y) (sqrt (exp x))))
  (- (cos y))
  (- (sqrt (exp x)))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (cbrt (cos y)) (cbrt (sqrt (exp x))))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (cbrt (cos y)) (sqrt (cbrt (exp x))))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x))))
  (/ (cbrt (cos y)) (sqrt (sqrt (exp x))))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt 1))
  (/ (cbrt (cos y)) (sqrt (exp x)))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (sqrt (exp x))))
  (/ (cbrt (cos y)) (sqrt (sqrt (exp x))))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) 1)
  (/ (cbrt (cos y)) (sqrt (exp x)))
  (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (sqrt (cos y)) (cbrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (sqrt (cos y)) (sqrt (cbrt (exp x))))
  (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (sqrt 1))
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))
  (/ (sqrt (cos y)) 1)
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (/ 1 (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (cos y) (cbrt (sqrt (exp x))))
  (/ 1 (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (cos y) (sqrt (cbrt (exp x))))
  (/ 1 (sqrt (sqrt (exp x))))
  (/ (cos y) (sqrt (sqrt (exp x))))
  (/ 1 (sqrt 1))
  (/ (cos y) (sqrt (exp x)))
  (/ 1 (sqrt (sqrt (exp x))))
  (/ (cos y) (sqrt (sqrt (exp x))))
  (/ 1 1)
  (/ (cos y) (sqrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ (sqrt (exp x)) (cos y))
  (/ (cos y) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (cos y) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))))
  (/ (cos y) (sqrt (sqrt (exp x))))
  (/ (cos y) (sqrt 1))
  (/ (cos y) (sqrt (sqrt (exp x))))
  (/ (cos y) 1)
  (/ (sqrt (exp x)) (cbrt (cos y)))
  (/ (sqrt (exp x)) (sqrt (cos y)))
  (/ (sqrt (exp x)) (cos y))
  (expm1 (sqrt (exp x)))
  (log1p (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))
  (sqrt (* (cbrt (exp x)) (cbrt (exp x))))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt 1)
  (sqrt (exp x))
  (/ 1 2)
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (/ x 2)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (expm1 (sqrt (exp x)))
  (log1p (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x)))
  (sqrt (* (cbrt (exp x)) (cbrt (exp x))))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt 1)
  (sqrt (exp x))
  (/ 1 2)
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (/ x 2)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (- 1 (+ (* 1/2 (pow y 2)) x))
  (/ (cos y) (exp x))
  (/ (cos y) (exp x))
  (- 1 (+ (* 1/2 (pow y 2)) (* 1/2 x)))
  (* (sqrt (/ 1 (exp x))) (cos y))
  (* (sqrt (/ 1 (exp x))) (cos y))
  (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1))
  (sqrt (exp x))
  (sqrt (exp x))
  (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1))
  (sqrt (exp x))
  (sqrt (exp x))
6.652 * * [simplify]: iteration 0: 273 enodes
6.746 * * [simplify]: iteration 1: 592 enodes
6.916 * * [simplify]: iteration 2: 1289 enodes
7.873 * * [simplify]: iteration 3: 4832 enodes
8.712 * * [simplify]: iteration complete: 5000 enodes
8.712 * * [simplify]: Extracting #0: cost 147 inf + 0
8.715 * * [simplify]: Extracting #1: cost 1042 inf + 2
8.720 * * [simplify]: Extracting #2: cost 1456 inf + 904
8.730 * * [simplify]: Extracting #3: cost 1291 inf + 28454
8.762 * * [simplify]: Extracting #4: cost 803 inf + 157666
8.810 * * [simplify]: Extracting #5: cost 135 inf + 387575
8.868 * * [simplify]: Extracting #6: cost 2 inf + 441230
8.946 * * [simplify]: Extracting #7: cost 0 inf + 441985
9.021 * [simplify]: Simplified to:
  (expm1 (/ (cos y) (exp x)))
  (log1p (/ (cos y) (exp x)))
  (- (log (cos y)) 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)))
  (* (* (/ (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)) (sqrt (exp x)))
  (- (sqrt (exp x)))
  (* (/ (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (/ (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (sqrt (exp x)))))
  (/ (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x))))) (fabs (cbrt (exp x))))
  (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (cbrt (exp x))))
  (* (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x)))))
  (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x)))))
  (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (exp x)))
  (* (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x)))))
  (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x)))))
  (/ (cbrt (/ (cos y) (sqrt (exp x)))) (sqrt (exp x)))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (fabs (cbrt (exp x))))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (sqrt (/ (cos y) (sqrt (exp x))))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (exp x)))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (sqrt (/ (cos y) (sqrt (exp x))))
  (/ (sqrt (/ (cos y) (sqrt (exp x)))) (sqrt (exp x)))
  (* (/ (cbrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (/ (cbrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (cbrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (* (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x))))) (fabs (cbrt (exp x))))
  (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ (* (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x))))) (sqrt (sqrt (exp x))))
  (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (* (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))))
  (/ (cbrt (cos y)) (* (sqrt (exp x)) (cbrt (sqrt (exp x)))))
  (/ (* (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x))))) (sqrt (sqrt (exp x))))
  (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (* (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))))
  (/ (cbrt (cos y)) (* (sqrt (exp x)) (cbrt (sqrt (exp x)))))
  (/ (* (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x))))) (fabs (cbrt (exp x))))
  (/ (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (sqrt (cbrt (exp x))))
  (* (/ (cbrt (cos y)) (fabs (cbrt (exp x)))) (/ (cbrt (cos y)) (fabs (cbrt (exp x)))))
  (/ (cbrt (cos y)) (cbrt (exp x)))
  (/ (* (cbrt (cos y)) (/ (cbrt (cos y)) (sqrt (sqrt (exp x))))) (fabs (cbrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) (fabs (cbrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (exp x)))
  (/ (* (cbrt (cos y)) (/ (cbrt (cos y)) (sqrt (sqrt (exp x))))) (fabs (cbrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) (fabs (cbrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (exp x)))
  (/ (* (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x))))) (sqrt (sqrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (* (cbrt (cos y)) (/ (cbrt (cos y)) (sqrt (sqrt (exp x))))) (fabs (cbrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x)))
  (/ (cbrt (cos y)) (sqrt (exp x)))
  (* (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (cos y)))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x)))
  (/ (cbrt (cos y)) (sqrt (exp x)))
  (* (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (cos y)))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (* (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))))
  (/ (cbrt (cos y)) (* (cbrt (sqrt (exp x))) (sqrt (exp x))))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) (fabs (cbrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (exp x)))
  (* (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (cos y)))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (/ (cbrt (cos y)) (exp x))
  (* (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (cos y)))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (/ (cbrt (cos y)) (exp x))
  (/ (* (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x))))) (sqrt (sqrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (* (cbrt (cos y)) (/ (cbrt (cos y)) (sqrt (sqrt (exp x))))) (fabs (cbrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x)))
  (/ (cbrt (cos y)) (sqrt (exp x)))
  (* (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (cos y)))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x)))
  (/ (cbrt (cos y)) (sqrt (exp x)))
  (* (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (cos y)))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (* (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))))
  (/ (cbrt (cos y)) (* (cbrt (sqrt (exp x))) (sqrt (exp x))))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) (fabs (cbrt (exp x))))
  (/ (/ (cbrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (exp x)))
  (* (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (cos y)))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (/ (cbrt (cos y)) (exp x))
  (* (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (cos y)))
  (/ (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (sqrt (exp x)))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (/ (cbrt (cos y)) (exp x))
  (/ (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (fabs (cbrt (exp x))))
  (/ (sqrt (cos y)) (* (sqrt (cbrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))) (fabs (cbrt (exp x))))
  (/ (sqrt (cos y)) (* (sqrt (cbrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (sqrt (cos y)) (cbrt (exp x)))
  (/ (sqrt (cos y)) (* (fabs (cbrt (exp x))) (sqrt (sqrt (exp x)))))
  (/ (/ (sqrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (fabs (cbrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ (sqrt (cos y)) (* (fabs (cbrt (exp x))) (sqrt (sqrt (exp x)))))
  (/ (/ (sqrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (fabs (cbrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (sqrt (sqrt (exp x)))))
  (/ (sqrt (cos y)) (* (fabs (cbrt (exp x))) (sqrt (sqrt (exp x)))))
  (/ (/ (sqrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (fabs (cbrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (sqrt (cos y))
  (/ (sqrt (cos y)) (exp x))
  (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (sqrt (cos y))
  (/ (sqrt (cos y)) (exp x))
  (/ (/ (/ (sqrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (sqrt (sqrt (exp x)))))
  (/ (sqrt (cos y)) (* (fabs (cbrt (exp x))) (sqrt (sqrt (exp x)))))
  (/ (/ (sqrt (cos y)) (sqrt (cbrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (fabs (cbrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (sqrt (cos y))
  (/ (sqrt (cos y)) (exp x))
  (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))
  (/ (/ (sqrt (cos y)) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (sqrt (cos y))
  (/ (sqrt (cos y)) (exp x))
  (/ 1 (* (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))))
  (/ (/ (cos y) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (/ (/ 1 (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (fabs (cbrt (exp x))))
  (/ (cos y) (* (cbrt (sqrt (exp x))) (sqrt (cbrt (exp x)))))
  (/ (/ 1 (sqrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ 1 (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (cos y) (* (cbrt (sqrt (exp x))) (sqrt (exp x))))
  (/ (/ 1 (sqrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ 1 (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (cos y) (* (cbrt (sqrt (exp x))) (sqrt (exp x))))
  (/ (/ (/ 1 (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (fabs (cbrt (exp x))))
  (/ (cos y) (* (cbrt (sqrt (exp x))) (sqrt (cbrt (exp x)))))
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cos y) (cbrt (exp x)))
  (/ (/ 1 (fabs (cbrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ 1 (fabs (cbrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ (/ 1 (fabs (cbrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ 1 (fabs (cbrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ (/ 1 (sqrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ 1 (fabs (cbrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ 1 (sqrt (exp x)))
  (/ (cos y) (sqrt (exp x)))
  (/ 1 (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ 1 (sqrt (exp x)))
  (/ (cos y) (sqrt (exp x)))
  (/ 1 (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (/ 1 (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ 1 (fabs (cbrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ 1 (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  1
  (/ (cos y) (exp x))
  (/ 1 (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  1
  (/ (cos y) (exp x))
  (/ (/ 1 (sqrt (sqrt (exp x)))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ 1 (fabs (cbrt (exp x)))) (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (sqrt (exp x)))) (sqrt (cbrt (exp x))))
  (/ 1 (sqrt (exp x)))
  (/ (cos y) (sqrt (exp x)))
  (/ 1 (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ 1 (sqrt (exp x)))
  (/ (cos y) (sqrt (exp x)))
  (/ 1 (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (/ 1 (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ 1 (fabs (cbrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ 1 (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  1
  (/ (cos y) (exp x))
  (/ 1 (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  1
  (/ (cos y) (exp x))
  (/ (/ 1 (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (/ (cos y) (cbrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ 1 (fabs (cbrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ 1 (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  1
  (/ (cos y) (exp x))
  (/ 1 (sqrt (sqrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  1
  (/ (cos y) (exp x))
  (/ (/ (cos y) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (/ 1 (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (/ (cos y) (fabs (cbrt (exp x))))
  (/ (/ 1 (sqrt (exp x))) (sqrt (cbrt (exp x))))
  (/ (cos y) (sqrt (sqrt (exp x))))
  (/ (/ 1 (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (cos y)
  (exp (- x))
  (/ (cos y) (sqrt (sqrt (exp x))))
  (/ (/ 1 (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (cos y)
  (exp (- x))
  (/ 1 (sqrt (exp x)))
  (/ (exp x) (cos y))
  (/ (/ (/ (cos y) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x)))) (sqrt (exp x)))
  (/ (/ (cos y) (sqrt (exp x))) (fabs (cbrt (exp x))))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (cos y) (sqrt (exp x)))
  (/ (/ (cos y) (sqrt (exp x))) (sqrt (sqrt (exp x))))
  (/ (cos y) (sqrt (exp x)))
  (/ (sqrt (exp x)) (cbrt (/ (cos y) (sqrt (exp x)))))
  (/ (sqrt (exp x)) (sqrt (/ (cos y) (sqrt (exp x)))))
  (* (/ (sqrt (exp x)) (cbrt (cos y))) (cbrt (sqrt (exp x))))
  (/ (* (sqrt (exp x)) (sqrt (cbrt (exp x)))) (cbrt (cos y)))
  (/ (* (sqrt (sqrt (exp x))) (sqrt (exp x))) (cbrt (cos y)))
  (/ (exp x) (cbrt (cos y)))
  (/ (* (sqrt (sqrt (exp x))) (sqrt (exp x))) (cbrt (cos y)))
  (/ (exp x) (cbrt (cos y)))
  (/ (sqrt (exp x)) (/ (sqrt (cos y)) (cbrt (sqrt (exp x)))))
  (/ (* (sqrt (exp x)) (sqrt (cbrt (exp x)))) (sqrt (cos y)))
  (* (sqrt (sqrt (exp x))) (/ (sqrt (exp x)) (sqrt (cos y))))
  (/ (exp x) (sqrt (cos y)))
  (* (sqrt (sqrt (exp x))) (/ (sqrt (exp x)) (sqrt (cos y))))
  (/ (exp x) (sqrt (cos y)))
  (/ (sqrt (exp x)) (/ (cos y) (cbrt (sqrt (exp x)))))
  (* (sqrt (cbrt (exp x))) (/ (sqrt (exp x)) (cos y)))
  (* (/ (sqrt (exp x)) (cos y)) (sqrt (sqrt (exp x))))
  (/ (exp x) (cos y))
  (* (/ (sqrt (exp x)) (cos y)) (sqrt (sqrt (exp x))))
  (/ (exp x) (cos y))
  (/ (exp x) (cos y))
  (exp x)
  (exp x)
  (expm1 (/ (cos y) (sqrt (exp x))))
  (log1p (/ (cos y) (sqrt (exp x))))
  (log (/ (cos y) (sqrt (exp x))))
  (log (/ (cos y) (sqrt (exp x))))
  (exp (/ (cos y) (sqrt (exp x))))
  (* (* (/ (cos y) (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (/ (cos y) (sqrt (exp x))))
  (* (cbrt (/ (cos y) (sqrt (exp x)))) (cbrt (/ (cos y) (sqrt (exp x)))))
  (cbrt (/ (cos y) (sqrt (exp x))))
  (* (* (/ (cos y) (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (/ (cos y) (sqrt (exp x))))
  (sqrt (/ (cos y) (sqrt (exp x))))
  (sqrt (/ (cos y) (sqrt (exp x))))
  (- (cos y))
  (- (sqrt (exp x)))
  (* (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))) (/ (cbrt (cos y)) (cbrt (sqrt (exp x)))))
  (/ (cbrt (cos y)) (cbrt (sqrt (exp x))))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) (fabs (cbrt (exp x))))
  (/ (cbrt (cos y)) (sqrt (cbrt (exp x))))
  (* (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (cos y)))
  (/ (cbrt (cos y)) (sqrt (sqrt (exp x))))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (/ (cbrt (cos y)) (sqrt (exp x)))
  (* (/ (cbrt (cos y)) (sqrt (sqrt (exp x)))) (cbrt (cos y)))
  (/ (cbrt (cos y)) (sqrt (sqrt (exp x))))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (/ (cbrt (cos y)) (sqrt (exp x)))
  (/ (sqrt (cos y)) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))))
  (/ (sqrt (cos y)) (cbrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (fabs (cbrt (exp x))))
  (/ (sqrt (cos y)) (sqrt (cbrt (exp x))))
  (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))
  (sqrt (cos y))
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))
  (/ (sqrt (cos y)) (sqrt (sqrt (exp x))))
  (sqrt (cos y))
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (/ (/ 1 (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (cos y) (cbrt (sqrt (exp x))))
  (/ 1 (fabs (cbrt (exp x))))
  (/ (cos y) (sqrt (cbrt (exp x))))
  (/ 1 (sqrt (sqrt (exp x))))
  (/ (cos y) (sqrt (sqrt (exp x))))
  1
  (/ (cos y) (sqrt (exp x)))
  (/ 1 (sqrt (sqrt (exp x))))
  (/ (cos y) (sqrt (sqrt (exp x))))
  1
  (/ (cos y) (sqrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ (sqrt (exp x)) (cos y))
  (/ (/ (cos y) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))))
  (/ (cos y) (fabs (cbrt (exp x))))
  (/ (cos y) (sqrt (sqrt (exp x))))
  (cos y)
  (/ (cos y) (sqrt (sqrt (exp x))))
  (cos y)
  (/ (sqrt (exp x)) (cbrt (cos y)))
  (/ (sqrt (exp x)) (sqrt (cos y)))
  (/ (sqrt (exp x)) (cos y))
  (expm1 (sqrt (exp x)))
  (log1p (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (* (exp x) (sqrt (exp x)))
  (fabs (cbrt (exp x)))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  1
  (sqrt (exp x))
  1/2
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (/ x 2)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (expm1 (sqrt (exp x)))
  (log1p (sqrt (exp x)))
  (log (sqrt (exp x)))
  (exp (sqrt (exp x)))
  (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x))))
  (cbrt (sqrt (exp x)))
  (* (exp x) (sqrt (exp x)))
  (fabs (cbrt (exp x)))
  (sqrt (cbrt (exp x)))
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  1
  (sqrt (exp x))
  1/2
  (/ (cbrt x) 2)
  (/ (sqrt x) 2)
  (/ x 2)
  (sqrt (sqrt (exp x)))
  (sqrt (sqrt (exp x)))
  (- 1 (fma (* 1/2 y) y x))
  (/ (cos y) (exp x))
  (/ (cos y) (exp x))
  (fma -1/2 (fma y y x) 1)
  (* (cos y) (sqrt (exp (- x))))
  (* (cos y) (sqrt (exp (- x))))
  (fma 1/8 (* x x) (fma 1/2 x 1))
  (sqrt (exp x))
  (sqrt (exp x))
  (fma 1/8 (* x x) (fma 1/2 x 1))
  (sqrt (exp x))
  (sqrt (exp x))
9.066 * * * [progress]: adding candidates to table
10.323 * [progress]: [Phase 3 of 3] Extracting.
10.323 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (/ (fma (exp x) (cos y) (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))) 2.0))> #<alt (λ (x y) (/ (fma (exp x) (cos y) (/ (cos y) (exp x))) 2.0))>)
10.324 * * * [regime-changes]: Trying 2 branch expressions: (y x)
10.324 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (/ (fma (exp x) (cos y) (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))) 2.0))> #<alt (λ (x y) (/ (fma (exp x) (cos y) (/ (cos y) (exp x))) 2.0))>)
10.355 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (/ (fma (exp x) (cos y) (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x)))) 2.0))> #<alt (λ (x y) (/ (fma (exp x) (cos y) (/ (cos y) (exp x))) 2.0))>)
10.390 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
10.390 * [simplify]: Simplifying:
  (/ (fma (exp x) (cos y) (/ (cos y) (exp x))) 2.0)
10.390 * * [simplify]: iteration 0: 8 enodes
10.391 * * [simplify]: iteration complete: 8 enodes
10.391 * * [simplify]: Extracting #0: cost 1 inf + 0
10.391 * * [simplify]: Extracting #1: cost 3 inf + 0
10.391 * * [simplify]: Extracting #2: cost 5 inf + 1
10.391 * * [simplify]: Extracting #3: cost 7 inf + 1
10.391 * * [simplify]: Extracting #4: cost 4 inf + 64
10.391 * * [simplify]: Extracting #5: cost 0 inf + 802
10.391 * [simplify]: Simplified to:
  (/ (fma (exp x) (cos y) (/ (cos y) (exp x))) 2.0)
10.391 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
10.462 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
10.465 * * * * [points]: Setting MPFR precision to 64
10.466 * * * * [points]: Setting MPFR precision to 320
10.466 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
10.469 * * * * [points]: Setting MPFR precision to 64
10.471 * * * * [points]: Setting MPFR precision to 320
10.472 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
10.475 * * * * [points]: Setting MPFR precision to 64
10.478 * * * * [points]: Setting MPFR precision to 320
10.483 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
10.489 * * * * [points]: Setting MPFR precision to 64
10.500 * * * * [points]: Setting MPFR precision to 320
10.513 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
10.518 * * * * [points]: Setting MPFR precision to 64
10.558 * * * * [points]: Setting MPFR precision to 320
10.585 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
10.590 * * * * [points]: Setting MPFR precision to 64
10.614 * * * * [points]: Setting MPFR precision to 320
10.644 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
10.649 * * * * [points]: Setting MPFR precision to 64
10.759 * * * * [points]: Setting MPFR precision to 320
10.817 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
10.820 * * * * [points]: Setting MPFR precision to 64
11.004 * * * * [points]: Setting MPFR precision to 320
11.262 * * * * [points]: Computing exacts for 8000 points
11.267 * * * * [points]: Setting MPFR precision to 64
11.960 * * * * [points]: Setting MPFR precision to 320
13.141 * * * * [points]: Filtering points with unrepresentable outputs
13.159 * * * * [points]: Sampling 4014 additional inputs, on iter 1 have 3986 / 8000
13.196 * * * * [points]: Computing exacts on every 250 of 4014 points to ramp up precision
13.199 * * * * [points]: Setting MPFR precision to 64
13.200 * * * * [points]: Setting MPFR precision to 320
13.201 * * * * [points]: Computing exacts on every 125 of 4014 points to ramp up precision
13.203 * * * * [points]: Setting MPFR precision to 64
13.204 * * * * [points]: Setting MPFR precision to 320
13.206 * * * * [points]: Computing exacts on every 62 of 4014 points to ramp up precision
13.217 * * * * [points]: Setting MPFR precision to 64
13.223 * * * * [points]: Setting MPFR precision to 320
13.229 * * * * [points]: Computing exacts on every 31 of 4014 points to ramp up precision
13.234 * * * * [points]: Setting MPFR precision to 64
13.244 * * * * [points]: Setting MPFR precision to 320
13.251 * * * * [points]: Computing exacts on every 15 of 4014 points to ramp up precision
13.254 * * * * [points]: Setting MPFR precision to 64
13.265 * * * * [points]: Setting MPFR precision to 320
13.283 * * * * [points]: Computing exacts on every 7 of 4014 points to ramp up precision
13.288 * * * * [points]: Setting MPFR precision to 64
13.325 * * * * [points]: Setting MPFR precision to 320
13.355 * * * * [points]: Computing exacts on every 3 of 4014 points to ramp up precision
13.360 * * * * [points]: Setting MPFR precision to 64
13.502 * * * * [points]: Setting MPFR precision to 320
13.585 * * * * [points]: Computing exacts for 4014 points
13.587 * * * * [points]: Setting MPFR precision to 64
13.978 * * * * [points]: Setting MPFR precision to 320
14.406 * * * * [points]: Setting MPFR precision to 576
14.879 * * * * [points]: Filtering points with unrepresentable outputs
14.898 * * * * [points]: Sampling 2048 additional inputs, on iter 2 have 5952 / 8000
14.927 * * * * [points]: Computing exacts on every 128 of 2048 points to ramp up precision
14.933 * * * * [points]: Setting MPFR precision to 320
14.935 * * * * [points]: Setting MPFR precision to 576
14.937 * * * * [points]: Computing exacts on every 64 of 2048 points to ramp up precision
14.943 * * * * [points]: Setting MPFR precision to 320
14.946 * * * * [points]: Setting MPFR precision to 576
14.950 * * * * [points]: Computing exacts on every 32 of 2048 points to ramp up precision
14.956 * * * * [points]: Setting MPFR precision to 320
14.959 * * * * [points]: Setting MPFR precision to 576
14.964 * * * * [points]: Computing exacts on every 16 of 2048 points to ramp up precision
14.967 * * * * [points]: Setting MPFR precision to 320
14.973 * * * * [points]: Setting MPFR precision to 576
14.980 * * * * [points]: Computing exacts on every 8 of 2048 points to ramp up precision
14.984 * * * * [points]: Setting MPFR precision to 320
15.027 * * * * [points]: Setting MPFR precision to 576
15.058 * * * * [points]: Computing exacts on every 4 of 2048 points to ramp up precision
15.064 * * * * [points]: Setting MPFR precision to 320
15.106 * * * * [points]: Setting MPFR precision to 576
15.159 * * * * [points]: Computing exacts on every 2 of 2048 points to ramp up precision
15.165 * * * * [points]: Setting MPFR precision to 320
15.229 * * * * [points]: Setting MPFR precision to 576
15.343 * * * * [points]: Computing exacts for 2048 points
15.349 * * * * [points]: Setting MPFR precision to 320
15.557 * * * * [points]: Setting MPFR precision to 576
16.174 * * * * [points]: Filtering points with unrepresentable outputs
16.187 * * * * [points]: Sampling 1008 additional inputs, on iter 3 have 6992 / 8000
16.194 * * * * [points]: Computing exacts on every 63 of 1008 points to ramp up precision
16.198 * * * * [points]: Setting MPFR precision to 320
16.198 * * * * [points]: Setting MPFR precision to 576
16.200 * * * * [points]: Computing exacts on every 31 of 1008 points to ramp up precision
16.203 * * * * [points]: Setting MPFR precision to 320
16.204 * * * * [points]: Setting MPFR precision to 576
16.206 * * * * [points]: Computing exacts on every 15 of 1008 points to ramp up precision
16.209 * * * * [points]: Setting MPFR precision to 320
16.212 * * * * [points]: Setting MPFR precision to 576
16.217 * * * * [points]: Computing exacts on every 7 of 1008 points to ramp up precision
16.220 * * * * [points]: Setting MPFR precision to 320
16.232 * * * * [points]: Setting MPFR precision to 576
16.248 * * * * [points]: Computing exacts on every 3 of 1008 points to ramp up precision
16.254 * * * * [points]: Setting MPFR precision to 320
16.268 * * * * [points]: Setting MPFR precision to 576
16.284 * * * * [points]: Computing exacts for 1008 points
16.311 * * * * [points]: Setting MPFR precision to 320
16.381 * * * * [points]: Setting MPFR precision to 576
16.460 * * * * [points]: Filtering points with unrepresentable outputs
16.462 * * * * [points]: Sampling 509 additional inputs, on iter 4 have 7491 / 8000
16.466 * * * * [points]: Computing exacts on every 31 of 509 points to ramp up precision
16.497 * * * * [points]: Setting MPFR precision to 320
16.498 * * * * [points]: Setting MPFR precision to 576
16.499 * * * * [points]: Computing exacts on every 15 of 509 points to ramp up precision
16.503 * * * * [points]: Setting MPFR precision to 320
16.507 * * * * [points]: Setting MPFR precision to 576
16.511 * * * * [points]: Computing exacts on every 7 of 509 points to ramp up precision
16.518 * * * * [points]: Setting MPFR precision to 320
16.524 * * * * [points]: Setting MPFR precision to 576
16.528 * * * * [points]: Computing exacts on every 3 of 509 points to ramp up precision
16.531 * * * * [points]: Setting MPFR precision to 320
16.538 * * * * [points]: Setting MPFR precision to 576
16.546 * * * * [points]: Computing exacts for 509 points
16.550 * * * * [points]: Setting MPFR precision to 320
16.599 * * * * [points]: Setting MPFR precision to 576
16.639 * * * * [points]: Filtering points with unrepresentable outputs
16.640 * * * * [points]: Sampling 235 additional inputs, on iter 5 have 7765 / 8000
16.642 * * * * [points]: Computing exacts on every 14 of 235 points to ramp up precision
16.687 * * * * [points]: Setting MPFR precision to 320
16.689 * * * * [points]: Setting MPFR precision to 576
16.691 * * * * [points]: Computing exacts on every 7 of 235 points to ramp up precision
16.700 * * * * [points]: Setting MPFR precision to 320
16.703 * * * * [points]: Setting MPFR precision to 576
16.707 * * * * [points]: Computing exacts on every 3 of 235 points to ramp up precision
16.713 * * * * [points]: Setting MPFR precision to 320
16.719 * * * * [points]: Setting MPFR precision to 576
16.727 * * * * [points]: Computing exacts for 235 points
16.733 * * * * [points]: Setting MPFR precision to 320
16.756 * * * * [points]: Setting MPFR precision to 576
16.774 * * * * [points]: Filtering points with unrepresentable outputs
16.775 * * * * [points]: Sampling 106 additional inputs, on iter 6 have 7894 / 8000
16.775 * * * * [points]: Computing exacts on every 6 of 106 points to ramp up precision
16.778 * * * * [points]: Setting MPFR precision to 320
16.779 * * * * [points]: Setting MPFR precision to 576
16.780 * * * * [points]: Computing exacts on every 3 of 106 points to ramp up precision
16.784 * * * * [points]: Setting MPFR precision to 320
16.785 * * * * [points]: Setting MPFR precision to 576
16.787 * * * * [points]: Computing exacts for 106 points
16.790 * * * * [points]: Setting MPFR precision to 320
16.798 * * * * [points]: Setting MPFR precision to 576
16.811 * * * * [points]: Filtering points with unrepresentable outputs
16.812 * * * * [points]: Sampling 59 additional inputs, on iter 7 have 7941 / 8000
16.812 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
16.818 * * * * [points]: Setting MPFR precision to 320
16.820 * * * * [points]: Setting MPFR precision to 576
16.822 * * * * [points]: Computing exacts for 59 points
16.828 * * * * [points]: Setting MPFR precision to 320
16.856 * * * * [points]: Setting MPFR precision to 576
16.860 * * * * [points]: Filtering points with unrepresentable outputs
16.861 * * * * [points]: Sampling 27 additional inputs, on iter 8 have 7973 / 8000
16.861 * * * * [points]: Computing exacts for 27 points
16.865 * * * * [points]: Setting MPFR precision to 320
16.867 * * * * [points]: Setting MPFR precision to 576
16.869 * * * * [points]: Filtering points with unrepresentable outputs
16.869 * * * * [points]: Sampling 14 additional inputs, on iter 9 have 7986 / 8000
16.869 * * * * [points]: Computing exacts for 14 points
16.872 * * * * [points]: Setting MPFR precision to 320
16.873 * * * * [points]: Setting MPFR precision to 576
16.874 * * * * [points]: Filtering points with unrepresentable outputs
16.874 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 7992 / 8000
16.874 * * * * [points]: Computing exacts for 8 points
16.877 * * * * [points]: Setting MPFR precision to 320
16.878 * * * * [points]: Setting MPFR precision to 576
16.878 * * * * [points]: Filtering points with unrepresentable outputs
16.878 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000
16.878 * * * * [points]: Computing exacts for 4 points
16.881 * * * * [points]: Setting MPFR precision to 320
16.882 * * * * [points]: Setting MPFR precision to 576
16.882 * * * * [points]: Filtering points with unrepresentable outputs
16.882 * * * * [points]: Sampled 8000 points with exact outputs
17.573 * [regime-testing]: Baseline error score: 0.00675
17.582 * [regime-testing]: Oracle error score: 0.004
17.612 * [regime-testing]: End program error score: 0.00675