21.969 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.008 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.014 * * * * [points]: Setting MPFR precision to 320
0.017 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.022 * * * * [points]: Setting MPFR precision to 64
0.023 * * * * [points]: Setting MPFR precision to 320
0.025 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.028 * * * * [points]: Setting MPFR precision to 64
0.030 * * * * [points]: Setting MPFR precision to 320
0.033 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.035 * * * * [points]: Setting MPFR precision to 64
0.039 * * * * [points]: Setting MPFR precision to 320
0.044 * * * * [points]: Computing exacts for 256 points
0.046 * * * * [points]: Setting MPFR precision to 64
0.058 * * * * [points]: Setting MPFR precision to 320
0.079 * * * * [points]: Filtering points with unrepresentable outputs
0.080 * * * * [points]: Sampling 130 additional inputs, on iter 1 have 126 / 256
0.082 * * * * [points]: Computing exacts on every 8 of 130 points to ramp up precision
0.086 * * * * [points]: Setting MPFR precision to 64
0.087 * * * * [points]: Setting MPFR precision to 320
0.088 * * * * [points]: Computing exacts on every 4 of 130 points to ramp up precision
0.092 * * * * [points]: Setting MPFR precision to 64
0.095 * * * * [points]: Setting MPFR precision to 320
0.098 * * * * [points]: Computing exacts on every 2 of 130 points to ramp up precision
0.103 * * * * [points]: Setting MPFR precision to 64
0.107 * * * * [points]: Setting MPFR precision to 320
0.111 * * * * [points]: Computing exacts for 130 points
0.116 * * * * [points]: Setting MPFR precision to 64
0.128 * * * * [points]: Setting MPFR precision to 320
0.141 * * * * [points]: Filtering points with unrepresentable outputs
0.141 * * * * [points]: Sampling 65 additional inputs, on iter 2 have 191 / 256
0.142 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
0.147 * * * * [points]: Setting MPFR precision to 64
0.148 * * * * [points]: Setting MPFR precision to 320
0.149 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
0.154 * * * * [points]: Setting MPFR precision to 64
0.187 * * * * [points]: Setting MPFR precision to 320
0.189 * * * * [points]: Computing exacts for 65 points
0.195 * * * * [points]: Setting MPFR precision to 64
0.203 * * * * [points]: Setting MPFR precision to 320
0.209 * * * * [points]: Filtering points with unrepresentable outputs
0.209 * * * * [points]: Sampling 29 additional inputs, on iter 3 have 227 / 256
0.210 * * * * [points]: Computing exacts for 29 points
0.215 * * * * [points]: Setting MPFR precision to 64
0.217 * * * * [points]: Setting MPFR precision to 320
0.220 * * * * [points]: Filtering points with unrepresentable outputs
0.220 * * * * [points]: Sampling 13 additional inputs, on iter 4 have 243 / 256
0.220 * * * * [points]: Computing exacts for 13 points
0.225 * * * * [points]: Setting MPFR precision to 64
0.227 * * * * [points]: Setting MPFR precision to 320
0.228 * * * * [points]: Filtering points with unrepresentable outputs
0.228 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256
0.228 * * * * [points]: Computing exacts for 6 points
0.233 * * * * [points]: Setting MPFR precision to 64
0.234 * * * * [points]: Setting MPFR precision to 320
0.234 * * * * [points]: Filtering points with unrepresentable outputs
0.235 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256
0.235 * * * * [points]: Computing exacts for 4 points
0.240 * * * * [points]: Setting MPFR precision to 64
0.240 * * * * [points]: Setting MPFR precision to 320
0.241 * * * * [points]: Filtering points with unrepresentable outputs
0.241 * * * * [points]: Sampled 258 points with exact outputs
0.241 * * * [progress]: [2/2] Setting up program.
0.248 * [progress]: [Phase 2 of 3] Improving.
0.248 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y)))))>
0.249 * [simplify]: Simplifying:
  (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y))))
0.249 * * [simplify]: iteration 0: 16 enodes
0.254 * * [simplify]: iteration 1: 30 enodes
0.264 * * [simplify]: iteration 2: 48 enodes
0.278 * * [simplify]: iteration 3: 80 enodes
0.299 * * [simplify]: iteration 4: 114 enodes
0.319 * * [simplify]: iteration 5: 178 enodes
0.360 * * [simplify]: iteration 6: 423 enodes
0.563 * * [simplify]: iteration 7: 1221 enodes
1.459 * * [simplify]: iteration 8: 2253 enodes
3.917 * * [simplify]: iteration 9: 4781 enodes
4.317 * * [simplify]: iteration complete: 5033 enodes
4.318 * * [simplify]: Extracting #0: cost 1 inf + 0
4.318 * * [simplify]: Extracting #1: cost 22 inf + 0
4.318 * * [simplify]: Extracting #2: cost 45 inf + 3
4.319 * * [simplify]: Extracting #3: cost 75 inf + 167
4.321 * * [simplify]: Extracting #4: cost 279 inf + 1535
4.328 * * [simplify]: Extracting #5: cost 369 inf + 16786
4.348 * * [simplify]: Extracting #6: cost 36 inf + 67745
4.386 * * [simplify]: Extracting #7: cost 0 inf + 75858
4.406 * * [simplify]: Extracting #8: cost 0 inf + 75787
4.421 * [simplify]: Simplified to:
  (* 1/2 (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
4.425 * * [progress]: iteration 1 / 4
4.425 * * * [progress]: picking best candidate
4.428 * * * * [pick]: Picked  #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))))>
4.428 * * * [progress]: localizing error
4.464 * * * [progress]: generating rewritten candidates
4.465 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
4.483 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
4.525 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
4.552 * * * [progress]: generating series expansions
4.552 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
4.552 * [backup-simplify]: Simplify (/ (cos y) (exp x)) into (/ (cos y) (exp x))
4.552 * [approximate]: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0
4.552 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x
4.552 * [taylor]: Taking taylor expansion of (cos y) in x
4.552 * [taylor]: Taking taylor expansion of y in x
4.552 * [backup-simplify]: Simplify y into y
4.553 * [backup-simplify]: Simplify (cos y) into (cos y)
4.553 * [backup-simplify]: Simplify (sin y) into (sin y)
4.553 * [taylor]: Taking taylor expansion of (exp x) in x
4.553 * [taylor]: Taking taylor expansion of x in x
4.553 * [backup-simplify]: Simplify 0 into 0
4.553 * [backup-simplify]: Simplify 1 into 1
4.553 * [backup-simplify]: Simplify (exp 0) into 1
4.553 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
4.554 * [backup-simplify]: Simplify (* (sin y) 0) into 0
4.554 * [backup-simplify]: Simplify (- 0) into 0
4.554 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
4.554 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y)
4.555 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
4.555 * [taylor]: Taking taylor expansion of (cos y) in y
4.555 * [taylor]: Taking taylor expansion of y in y
4.555 * [backup-simplify]: Simplify 0 into 0
4.555 * [backup-simplify]: Simplify 1 into 1
4.555 * [taylor]: Taking taylor expansion of (exp x) in y
4.555 * [taylor]: Taking taylor expansion of x in y
4.555 * [backup-simplify]: Simplify x into x
4.555 * [backup-simplify]: Simplify (exp x) into (exp x)
4.555 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
4.555 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
4.555 * [taylor]: Taking taylor expansion of (cos y) in y
4.555 * [taylor]: Taking taylor expansion of y in y
4.555 * [backup-simplify]: Simplify 0 into 0
4.555 * [backup-simplify]: Simplify 1 into 1
4.555 * [taylor]: Taking taylor expansion of (exp x) in y
4.555 * [taylor]: Taking taylor expansion of x in y
4.555 * [backup-simplify]: Simplify x into x
4.555 * [backup-simplify]: Simplify (exp x) into (exp x)
4.555 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
4.555 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
4.555 * [taylor]: Taking taylor expansion of (exp x) in x
4.555 * [taylor]: Taking taylor expansion of x in x
4.555 * [backup-simplify]: Simplify 0 into 0
4.555 * [backup-simplify]: Simplify 1 into 1
4.555 * [backup-simplify]: Simplify (exp 0) into 1
4.556 * [backup-simplify]: Simplify (/ 1 1) into 1
4.556 * [backup-simplify]: Simplify 1 into 1
4.557 * [backup-simplify]: Simplify (+ 0) into 0
4.558 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
4.558 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0
4.558 * [taylor]: Taking taylor expansion of 0 in x
4.558 * [backup-simplify]: Simplify 0 into 0
4.558 * [backup-simplify]: Simplify 0 into 0
4.559 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
4.560 * [backup-simplify]: Simplify -1 into -1
4.561 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
4.562 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.562 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x))))
4.562 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x
4.562 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x
4.562 * [taylor]: Taking taylor expansion of 1/2 in x
4.562 * [backup-simplify]: Simplify 1/2 into 1/2
4.562 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
4.562 * [taylor]: Taking taylor expansion of (exp x) in x
4.563 * [taylor]: Taking taylor expansion of x in x
4.563 * [backup-simplify]: Simplify 0 into 0
4.563 * [backup-simplify]: Simplify 1 into 1
4.563 * [backup-simplify]: Simplify (exp 0) into 1
4.563 * [backup-simplify]: Simplify (/ 1 1) into 1
4.563 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
4.564 * [backup-simplify]: Simplify (- 1/2) into -1/2
4.564 * [backup-simplify]: Simplify -1/2 into -1/2
4.564 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x))
4.564 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
4.564 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0
4.564 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
4.564 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
4.564 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.564 * [taylor]: Taking taylor expansion of y in x
4.564 * [backup-simplify]: Simplify y into y
4.564 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.565 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.565 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
4.565 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.565 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.565 * [taylor]: Taking taylor expansion of x in x
4.565 * [backup-simplify]: Simplify 0 into 0
4.565 * [backup-simplify]: Simplify 1 into 1
4.565 * [backup-simplify]: Simplify (/ 1 1) into 1
4.565 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.565 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
4.565 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
4.566 * [backup-simplify]: Simplify (- 0) into 0
4.566 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
4.566 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
4.566 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
4.566 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.566 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.566 * [taylor]: Taking taylor expansion of y in y
4.566 * [backup-simplify]: Simplify 0 into 0
4.566 * [backup-simplify]: Simplify 1 into 1
4.566 * [backup-simplify]: Simplify (/ 1 1) into 1
4.567 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.567 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
4.567 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.567 * [taylor]: Taking taylor expansion of x in y
4.567 * [backup-simplify]: Simplify x into x
4.567 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.567 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.567 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
4.567 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
4.567 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.567 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.567 * [taylor]: Taking taylor expansion of y in y
4.567 * [backup-simplify]: Simplify 0 into 0
4.567 * [backup-simplify]: Simplify 1 into 1
4.568 * [backup-simplify]: Simplify (/ 1 1) into 1
4.568 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.568 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
4.568 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.568 * [taylor]: Taking taylor expansion of x in y
4.568 * [backup-simplify]: Simplify x into x
4.568 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.568 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.568 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
4.568 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
4.568 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
4.568 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.568 * [taylor]: Taking taylor expansion of y in x
4.568 * [backup-simplify]: Simplify y into y
4.568 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.568 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.569 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
4.569 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.569 * [taylor]: Taking taylor expansion of x in x
4.569 * [backup-simplify]: Simplify 0 into 0
4.569 * [backup-simplify]: Simplify 1 into 1
4.569 * [backup-simplify]: Simplify (/ 1 1) into 1
4.569 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.569 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
4.569 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
4.570 * [backup-simplify]: Simplify (- 0) into 0
4.570 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
4.570 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
4.570 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
4.570 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.571 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
4.571 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
4.571 * [taylor]: Taking taylor expansion of 0 in x
4.571 * [backup-simplify]: Simplify 0 into 0
4.571 * [backup-simplify]: Simplify 0 into 0
4.572 * [backup-simplify]: Simplify (+ 0) into 0
4.572 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
4.573 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.573 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.574 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
4.574 * [backup-simplify]: Simplify (- 0) into 0
4.575 * [backup-simplify]: Simplify (+ 0 0) into 0
4.575 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
4.575 * [backup-simplify]: Simplify 0 into 0
4.575 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.576 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.577 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.577 * [taylor]: Taking taylor expansion of 0 in x
4.577 * [backup-simplify]: Simplify 0 into 0
4.577 * [backup-simplify]: Simplify 0 into 0
4.577 * [backup-simplify]: Simplify 0 into 0
4.578 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.578 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
4.579 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.581 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.582 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
4.583 * [backup-simplify]: Simplify (- 0) into 0
4.583 * [backup-simplify]: Simplify (+ 0 0) into 0
4.583 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.583 * [backup-simplify]: Simplify 0 into 0
4.583 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.584 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.585 * [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
4.585 * [taylor]: Taking taylor expansion of 0 in x
4.585 * [backup-simplify]: Simplify 0 into 0
4.585 * [backup-simplify]: Simplify 0 into 0
4.585 * [backup-simplify]: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x))
4.585 * [backup-simplify]: Simplify (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
4.585 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0
4.585 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
4.585 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
4.585 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.585 * [taylor]: Taking taylor expansion of -1 in x
4.585 * [backup-simplify]: Simplify -1 into -1
4.585 * [taylor]: Taking taylor expansion of y in x
4.585 * [backup-simplify]: Simplify y into y
4.585 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.585 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.585 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
4.585 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.585 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.585 * [taylor]: Taking taylor expansion of -1 in x
4.585 * [backup-simplify]: Simplify -1 into -1
4.585 * [taylor]: Taking taylor expansion of x in x
4.585 * [backup-simplify]: Simplify 0 into 0
4.585 * [backup-simplify]: Simplify 1 into 1
4.586 * [backup-simplify]: Simplify (/ -1 1) into -1
4.586 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.586 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
4.586 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
4.586 * [backup-simplify]: Simplify (- 0) into 0
4.586 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
4.586 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
4.586 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
4.586 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.586 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.586 * [taylor]: Taking taylor expansion of -1 in y
4.586 * [backup-simplify]: Simplify -1 into -1
4.586 * [taylor]: Taking taylor expansion of y in y
4.586 * [backup-simplify]: Simplify 0 into 0
4.586 * [backup-simplify]: Simplify 1 into 1
4.587 * [backup-simplify]: Simplify (/ -1 1) into -1
4.587 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.587 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
4.587 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.587 * [taylor]: Taking taylor expansion of -1 in y
4.587 * [backup-simplify]: Simplify -1 into -1
4.587 * [taylor]: Taking taylor expansion of x in y
4.587 * [backup-simplify]: Simplify x into x
4.587 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.587 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.587 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
4.587 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
4.587 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.587 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.587 * [taylor]: Taking taylor expansion of -1 in y
4.587 * [backup-simplify]: Simplify -1 into -1
4.587 * [taylor]: Taking taylor expansion of y in y
4.587 * [backup-simplify]: Simplify 0 into 0
4.587 * [backup-simplify]: Simplify 1 into 1
4.587 * [backup-simplify]: Simplify (/ -1 1) into -1
4.587 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.587 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
4.587 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.587 * [taylor]: Taking taylor expansion of -1 in y
4.587 * [backup-simplify]: Simplify -1 into -1
4.587 * [taylor]: Taking taylor expansion of x in y
4.587 * [backup-simplify]: Simplify x into x
4.587 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.588 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.588 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
4.588 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
4.588 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
4.588 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.588 * [taylor]: Taking taylor expansion of -1 in x
4.588 * [backup-simplify]: Simplify -1 into -1
4.588 * [taylor]: Taking taylor expansion of y in x
4.588 * [backup-simplify]: Simplify y into y
4.588 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.588 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.588 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
4.588 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.588 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.588 * [taylor]: Taking taylor expansion of -1 in x
4.588 * [backup-simplify]: Simplify -1 into -1
4.588 * [taylor]: Taking taylor expansion of x in x
4.588 * [backup-simplify]: Simplify 0 into 0
4.588 * [backup-simplify]: Simplify 1 into 1
4.588 * [backup-simplify]: Simplify (/ -1 1) into -1
4.588 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.588 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
4.588 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
4.589 * [backup-simplify]: Simplify (- 0) into 0
4.589 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
4.589 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
4.589 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
4.589 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
4.590 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
4.590 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
4.590 * [taylor]: Taking taylor expansion of 0 in x
4.590 * [backup-simplify]: Simplify 0 into 0
4.590 * [backup-simplify]: Simplify 0 into 0
4.590 * [backup-simplify]: Simplify (+ 0) into 0
4.590 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
4.591 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
4.591 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.591 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
4.592 * [backup-simplify]: Simplify (- 0) into 0
4.592 * [backup-simplify]: Simplify (+ 0 0) into 0
4.592 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
4.592 * [backup-simplify]: Simplify 0 into 0
4.592 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.593 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.593 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.593 * [taylor]: Taking taylor expansion of 0 in x
4.593 * [backup-simplify]: Simplify 0 into 0
4.593 * [backup-simplify]: Simplify 0 into 0
4.593 * [backup-simplify]: Simplify 0 into 0
4.594 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.594 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
4.594 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.595 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.595 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
4.596 * [backup-simplify]: Simplify (- 0) into 0
4.596 * [backup-simplify]: Simplify (+ 0 0) into 0
4.596 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.596 * [backup-simplify]: Simplify 0 into 0
4.596 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.597 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.597 * [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
4.597 * [taylor]: Taking taylor expansion of 0 in x
4.597 * [backup-simplify]: Simplify 0 into 0
4.597 * [backup-simplify]: Simplify 0 into 0
4.598 * [backup-simplify]: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x))
4.598 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
4.598 * [backup-simplify]: Simplify (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) into (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
4.598 * [approximate]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in (y x) around 0
4.598 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in x
4.598 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x
4.598 * [taylor]: Taking taylor expansion of (cos y) in x
4.598 * [taylor]: Taking taylor expansion of y in x
4.598 * [backup-simplify]: Simplify y into y
4.598 * [backup-simplify]: Simplify (cos y) into (cos y)
4.598 * [backup-simplify]: Simplify (sin y) into (sin y)
4.598 * [taylor]: Taking taylor expansion of (exp x) in x
4.598 * [taylor]: Taking taylor expansion of x in x
4.598 * [backup-simplify]: Simplify 0 into 0
4.598 * [backup-simplify]: Simplify 1 into 1
4.598 * [backup-simplify]: Simplify (exp 0) into 1
4.598 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
4.598 * [backup-simplify]: Simplify (* (sin y) 0) into 0
4.598 * [backup-simplify]: Simplify (- 0) into 0
4.598 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
4.598 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y)
4.598 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in x
4.598 * [taylor]: Taking taylor expansion of (exp x) in x
4.598 * [taylor]: Taking taylor expansion of x in x
4.598 * [backup-simplify]: Simplify 0 into 0
4.599 * [backup-simplify]: Simplify 1 into 1
4.599 * [backup-simplify]: Simplify (exp 0) into 1
4.599 * [taylor]: Taking taylor expansion of (cos y) in x
4.599 * [taylor]: Taking taylor expansion of y in x
4.599 * [backup-simplify]: Simplify y into y
4.599 * [backup-simplify]: Simplify (cos y) into (cos y)
4.599 * [backup-simplify]: Simplify (sin y) into (sin y)
4.599 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in y
4.599 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
4.599 * [taylor]: Taking taylor expansion of (cos y) in y
4.599 * [taylor]: Taking taylor expansion of y in y
4.599 * [backup-simplify]: Simplify 0 into 0
4.599 * [backup-simplify]: Simplify 1 into 1
4.599 * [taylor]: Taking taylor expansion of (exp x) in y
4.599 * [taylor]: Taking taylor expansion of x in y
4.599 * [backup-simplify]: Simplify x into x
4.599 * [backup-simplify]: Simplify (exp x) into (exp x)
4.599 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
4.599 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y
4.599 * [taylor]: Taking taylor expansion of (exp x) in y
4.599 * [taylor]: Taking taylor expansion of x in y
4.599 * [backup-simplify]: Simplify x into x
4.599 * [backup-simplify]: Simplify (exp x) into (exp x)
4.599 * [taylor]: Taking taylor expansion of (cos y) in y
4.599 * [taylor]: Taking taylor expansion of y in y
4.599 * [backup-simplify]: Simplify 0 into 0
4.599 * [backup-simplify]: Simplify 1 into 1
4.599 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in y
4.599 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
4.599 * [taylor]: Taking taylor expansion of (cos y) in y
4.599 * [taylor]: Taking taylor expansion of y in y
4.599 * [backup-simplify]: Simplify 0 into 0
4.599 * [backup-simplify]: Simplify 1 into 1
4.599 * [taylor]: Taking taylor expansion of (exp x) in y
4.599 * [taylor]: Taking taylor expansion of x in y
4.599 * [backup-simplify]: Simplify x into x
4.599 * [backup-simplify]: Simplify (exp x) into (exp x)
4.599 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
4.599 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y
4.599 * [taylor]: Taking taylor expansion of (exp x) in y
4.599 * [taylor]: Taking taylor expansion of x in y
4.599 * [backup-simplify]: Simplify x into x
4.599 * [backup-simplify]: Simplify (exp x) into (exp x)
4.599 * [taylor]: Taking taylor expansion of (cos y) in y
4.599 * [taylor]: Taking taylor expansion of y in y
4.599 * [backup-simplify]: Simplify 0 into 0
4.599 * [backup-simplify]: Simplify 1 into 1
4.599 * [backup-simplify]: Simplify (* (exp x) 1) into (exp x)
4.599 * [backup-simplify]: Simplify (+ (/ 1 (exp x)) (exp x)) into (+ (exp x) (/ 1 (exp x)))
4.599 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x
4.599 * [taylor]: Taking taylor expansion of (exp x) in x
4.599 * [taylor]: Taking taylor expansion of x in x
4.600 * [backup-simplify]: Simplify 0 into 0
4.600 * [backup-simplify]: Simplify 1 into 1
4.600 * [backup-simplify]: Simplify (exp 0) into 1
4.600 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
4.600 * [taylor]: Taking taylor expansion of (exp x) in x
4.600 * [taylor]: Taking taylor expansion of x in x
4.600 * [backup-simplify]: Simplify 0 into 0
4.600 * [backup-simplify]: Simplify 1 into 1
4.600 * [backup-simplify]: Simplify (exp 0) into 1
4.600 * [backup-simplify]: Simplify (/ 1 1) into 1
4.600 * [backup-simplify]: Simplify (+ 1 1) into 2
4.600 * [backup-simplify]: Simplify 2 into 2
4.600 * [backup-simplify]: Simplify (+ 0) into 0
4.601 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
4.601 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0
4.601 * [backup-simplify]: Simplify (+ 0) into 0
4.602 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
4.602 * [backup-simplify]: Simplify (+ (* (exp x) 0) (* 0 1)) into 0
4.603 * [backup-simplify]: Simplify (+ 0 0) into 0
4.603 * [taylor]: Taking taylor expansion of 0 in x
4.603 * [backup-simplify]: Simplify 0 into 0
4.603 * [backup-simplify]: Simplify 0 into 0
4.604 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.604 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
4.605 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.605 * [backup-simplify]: Simplify 0 into 0
4.606 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
4.606 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.607 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x))))
4.607 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
4.608 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.608 * [backup-simplify]: Simplify (+ (* (exp x) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp x)))
4.609 * [backup-simplify]: Simplify (+ (- (* 1/2 (/ 1 (exp x)))) (- (* 1/2 (exp x)))) into (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x)))))
4.609 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x))))) in x
4.609 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x)))) in x
4.609 * [taylor]: Taking taylor expansion of (* 1/2 (exp x)) in x
4.609 * [taylor]: Taking taylor expansion of 1/2 in x
4.609 * [backup-simplify]: Simplify 1/2 into 1/2
4.609 * [taylor]: Taking taylor expansion of (exp x) in x
4.609 * [taylor]: Taking taylor expansion of x in x
4.609 * [backup-simplify]: Simplify 0 into 0
4.609 * [backup-simplify]: Simplify 1 into 1
4.609 * [backup-simplify]: Simplify (exp 0) into 1
4.609 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x
4.609 * [taylor]: Taking taylor expansion of 1/2 in x
4.609 * [backup-simplify]: Simplify 1/2 into 1/2
4.609 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
4.609 * [taylor]: Taking taylor expansion of (exp x) in x
4.609 * [taylor]: Taking taylor expansion of x in x
4.609 * [backup-simplify]: Simplify 0 into 0
4.609 * [backup-simplify]: Simplify 1 into 1
4.609 * [backup-simplify]: Simplify (exp 0) into 1
4.609 * [backup-simplify]: Simplify (/ 1 1) into 1
4.609 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
4.610 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
4.610 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
4.610 * [backup-simplify]: Simplify (- 1) into -1
4.610 * [backup-simplify]: Simplify -1 into -1
4.610 * [backup-simplify]: Simplify 0 into 0
4.611 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.612 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
4.613 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
4.613 * [backup-simplify]: Simplify 1 into 1
4.614 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (+ (* -1 (pow (* 1 y) 2)) 2)) into (- (+ (pow x 2) 2) (pow y 2))
4.614 * [backup-simplify]: Simplify (+ (/ (cos (/ 1 y)) (exp (/ 1 x))) (* (cos (/ 1 y)) (exp (/ 1 x)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x))))
4.614 * [approximate]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in (y x) around 0
4.614 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x
4.614 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x
4.614 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.614 * [taylor]: Taking taylor expansion of x in x
4.614 * [backup-simplify]: Simplify 0 into 0
4.614 * [backup-simplify]: Simplify 1 into 1
4.614 * [backup-simplify]: Simplify (/ 1 1) into 1
4.614 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.614 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
4.614 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.614 * [taylor]: Taking taylor expansion of y in x
4.614 * [backup-simplify]: Simplify y into y
4.614 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.614 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.614 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
4.614 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
4.614 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
4.614 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.615 * [taylor]: Taking taylor expansion of y in x
4.615 * [backup-simplify]: Simplify y into y
4.615 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.615 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.615 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
4.615 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.615 * [taylor]: Taking taylor expansion of x in x
4.615 * [backup-simplify]: Simplify 0 into 0
4.615 * [backup-simplify]: Simplify 1 into 1
4.615 * [backup-simplify]: Simplify (/ 1 1) into 1
4.615 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.615 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
4.615 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
4.615 * [backup-simplify]: Simplify (- 0) into 0
4.615 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
4.616 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
4.616 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y
4.616 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y
4.616 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
4.616 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.616 * [taylor]: Taking taylor expansion of x in y
4.616 * [backup-simplify]: Simplify x into x
4.616 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.616 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.616 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.616 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.616 * [taylor]: Taking taylor expansion of y in y
4.616 * [backup-simplify]: Simplify 0 into 0
4.616 * [backup-simplify]: Simplify 1 into 1
4.616 * [backup-simplify]: Simplify (/ 1 1) into 1
4.616 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.616 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
4.616 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.616 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.616 * [taylor]: Taking taylor expansion of y in y
4.616 * [backup-simplify]: Simplify 0 into 0
4.616 * [backup-simplify]: Simplify 1 into 1
4.616 * [backup-simplify]: Simplify (/ 1 1) into 1
4.617 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.617 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
4.617 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.617 * [taylor]: Taking taylor expansion of x in y
4.617 * [backup-simplify]: Simplify x into x
4.617 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.617 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.617 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
4.617 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y
4.617 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y
4.617 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
4.617 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.617 * [taylor]: Taking taylor expansion of x in y
4.617 * [backup-simplify]: Simplify x into x
4.617 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.617 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.617 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.617 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.617 * [taylor]: Taking taylor expansion of y in y
4.617 * [backup-simplify]: Simplify 0 into 0
4.617 * [backup-simplify]: Simplify 1 into 1
4.617 * [backup-simplify]: Simplify (/ 1 1) into 1
4.617 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.617 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
4.617 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.617 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.617 * [taylor]: Taking taylor expansion of y in y
4.617 * [backup-simplify]: Simplify 0 into 0
4.617 * [backup-simplify]: Simplify 1 into 1
4.618 * [backup-simplify]: Simplify (/ 1 1) into 1
4.618 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.618 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
4.618 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.618 * [taylor]: Taking taylor expansion of x in y
4.618 * [backup-simplify]: Simplify x into x
4.618 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.618 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.618 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
4.618 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
4.618 * [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))))
4.618 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x
4.618 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x
4.618 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.618 * [taylor]: Taking taylor expansion of x in x
4.618 * [backup-simplify]: Simplify 0 into 0
4.618 * [backup-simplify]: Simplify 1 into 1
4.619 * [backup-simplify]: Simplify (/ 1 1) into 1
4.619 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.619 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
4.619 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.619 * [taylor]: Taking taylor expansion of y in x
4.619 * [backup-simplify]: Simplify y into y
4.619 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.619 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.619 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
4.619 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
4.619 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
4.619 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.619 * [taylor]: Taking taylor expansion of y in x
4.619 * [backup-simplify]: Simplify y into y
4.619 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.619 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.619 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
4.619 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.619 * [taylor]: Taking taylor expansion of x in x
4.619 * [backup-simplify]: Simplify 0 into 0
4.619 * [backup-simplify]: Simplify 1 into 1
4.619 * [backup-simplify]: Simplify (/ 1 1) into 1
4.619 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.619 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
4.619 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
4.620 * [backup-simplify]: Simplify (- 0) into 0
4.620 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
4.620 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
4.620 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
4.620 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
4.620 * [backup-simplify]: Simplify (- 0) into 0
4.620 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
4.620 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
4.621 * [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))))
4.621 * [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))))
4.621 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.621 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
4.621 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0
4.622 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.622 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
4.622 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
4.622 * [backup-simplify]: Simplify (+ 0 0) into 0
4.623 * [taylor]: Taking taylor expansion of 0 in x
4.623 * [backup-simplify]: Simplify 0 into 0
4.623 * [backup-simplify]: Simplify 0 into 0
4.623 * [backup-simplify]: Simplify (+ 0) into 0
4.624 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
4.624 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.625 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.625 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
4.626 * [backup-simplify]: Simplify (- 0) into 0
4.626 * [backup-simplify]: Simplify (+ 0 0) into 0
4.626 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0
4.627 * [backup-simplify]: Simplify (+ 0) into 0
4.627 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
4.627 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.628 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.629 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
4.629 * [backup-simplify]: Simplify (- 0) into 0
4.629 * [backup-simplify]: Simplify (+ 0 0) into 0
4.630 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
4.630 * [backup-simplify]: Simplify (+ 0 0) into 0
4.630 * [backup-simplify]: Simplify 0 into 0
4.631 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.632 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.633 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
4.633 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.634 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.635 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.635 * [backup-simplify]: Simplify (+ 0 0) into 0
4.635 * [taylor]: Taking taylor expansion of 0 in x
4.635 * [backup-simplify]: Simplify 0 into 0
4.635 * [backup-simplify]: Simplify 0 into 0
4.635 * [backup-simplify]: Simplify 0 into 0
4.636 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.637 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
4.637 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.638 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.639 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
4.639 * [backup-simplify]: Simplify (- 0) into 0
4.640 * [backup-simplify]: Simplify (+ 0 0) into 0
4.640 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
4.641 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.642 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
4.642 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.643 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.644 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
4.644 * [backup-simplify]: Simplify (- 0) into 0
4.645 * [backup-simplify]: Simplify (+ 0 0) into 0
4.645 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.646 * [backup-simplify]: Simplify (+ 0 0) into 0
4.646 * [backup-simplify]: Simplify 0 into 0
4.646 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.648 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.650 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0
4.650 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.651 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.652 * [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
4.652 * [backup-simplify]: Simplify (+ 0 0) into 0
4.652 * [taylor]: Taking taylor expansion of 0 in x
4.652 * [backup-simplify]: Simplify 0 into 0
4.652 * [backup-simplify]: Simplify 0 into 0
4.652 * [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)))
4.653 * [backup-simplify]: Simplify (+ (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) (* (cos (/ 1 (- y))) (exp (/ 1 (- x))))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y))))
4.653 * [approximate]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in (y x) around 0
4.653 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in x
4.653 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
4.653 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
4.653 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.653 * [taylor]: Taking taylor expansion of -1 in x
4.653 * [backup-simplify]: Simplify -1 into -1
4.653 * [taylor]: Taking taylor expansion of y in x
4.653 * [backup-simplify]: Simplify y into y
4.653 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.653 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.653 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
4.653 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.653 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.653 * [taylor]: Taking taylor expansion of -1 in x
4.653 * [backup-simplify]: Simplify -1 into -1
4.653 * [taylor]: Taking taylor expansion of x in x
4.653 * [backup-simplify]: Simplify 0 into 0
4.653 * [backup-simplify]: Simplify 1 into 1
4.654 * [backup-simplify]: Simplify (/ -1 1) into -1
4.654 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.655 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
4.655 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
4.655 * [backup-simplify]: Simplify (- 0) into 0
4.655 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
4.656 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
4.656 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x
4.656 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.656 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.656 * [taylor]: Taking taylor expansion of -1 in x
4.656 * [backup-simplify]: Simplify -1 into -1
4.656 * [taylor]: Taking taylor expansion of x in x
4.656 * [backup-simplify]: Simplify 0 into 0
4.656 * [backup-simplify]: Simplify 1 into 1
4.656 * [backup-simplify]: Simplify (/ -1 1) into -1
4.657 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.657 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
4.657 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.657 * [taylor]: Taking taylor expansion of -1 in x
4.657 * [backup-simplify]: Simplify -1 into -1
4.657 * [taylor]: Taking taylor expansion of y in x
4.657 * [backup-simplify]: Simplify y into y
4.657 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.657 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.657 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
4.657 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in y
4.657 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
4.657 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.657 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.657 * [taylor]: Taking taylor expansion of -1 in y
4.657 * [backup-simplify]: Simplify -1 into -1
4.657 * [taylor]: Taking taylor expansion of y in y
4.657 * [backup-simplify]: Simplify 0 into 0
4.657 * [backup-simplify]: Simplify 1 into 1
4.658 * [backup-simplify]: Simplify (/ -1 1) into -1
4.658 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.658 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
4.658 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.658 * [taylor]: Taking taylor expansion of -1 in y
4.658 * [backup-simplify]: Simplify -1 into -1
4.658 * [taylor]: Taking taylor expansion of x in y
4.658 * [backup-simplify]: Simplify x into x
4.658 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.659 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.659 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
4.659 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y
4.659 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
4.659 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.659 * [taylor]: Taking taylor expansion of -1 in y
4.659 * [backup-simplify]: Simplify -1 into -1
4.659 * [taylor]: Taking taylor expansion of x in y
4.659 * [backup-simplify]: Simplify x into x
4.659 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.659 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.659 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.659 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.659 * [taylor]: Taking taylor expansion of -1 in y
4.659 * [backup-simplify]: Simplify -1 into -1
4.659 * [taylor]: Taking taylor expansion of y in y
4.659 * [backup-simplify]: Simplify 0 into 0
4.659 * [backup-simplify]: Simplify 1 into 1
4.660 * [backup-simplify]: Simplify (/ -1 1) into -1
4.660 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.660 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in y
4.660 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
4.660 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.660 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.660 * [taylor]: Taking taylor expansion of -1 in y
4.660 * [backup-simplify]: Simplify -1 into -1
4.660 * [taylor]: Taking taylor expansion of y in y
4.660 * [backup-simplify]: Simplify 0 into 0
4.660 * [backup-simplify]: Simplify 1 into 1
4.661 * [backup-simplify]: Simplify (/ -1 1) into -1
4.661 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.661 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
4.661 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.661 * [taylor]: Taking taylor expansion of -1 in y
4.661 * [backup-simplify]: Simplify -1 into -1
4.661 * [taylor]: Taking taylor expansion of x in y
4.661 * [backup-simplify]: Simplify x into x
4.661 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.661 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.661 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
4.661 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y
4.661 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
4.661 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.661 * [taylor]: Taking taylor expansion of -1 in y
4.661 * [backup-simplify]: Simplify -1 into -1
4.661 * [taylor]: Taking taylor expansion of x in y
4.662 * [backup-simplify]: Simplify x into x
4.662 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.662 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.662 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.662 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.662 * [taylor]: Taking taylor expansion of -1 in y
4.662 * [backup-simplify]: Simplify -1 into -1
4.662 * [taylor]: Taking taylor expansion of y in y
4.662 * [backup-simplify]: Simplify 0 into 0
4.662 * [backup-simplify]: Simplify 1 into 1
4.662 * [backup-simplify]: Simplify (/ -1 1) into -1
4.663 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.663 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
4.663 * [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))))
4.663 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in x
4.663 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
4.663 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
4.663 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.663 * [taylor]: Taking taylor expansion of -1 in x
4.663 * [backup-simplify]: Simplify -1 into -1
4.663 * [taylor]: Taking taylor expansion of y in x
4.663 * [backup-simplify]: Simplify y into y
4.663 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.664 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.664 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
4.664 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.664 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.664 * [taylor]: Taking taylor expansion of -1 in x
4.664 * [backup-simplify]: Simplify -1 into -1
4.664 * [taylor]: Taking taylor expansion of x in x
4.664 * [backup-simplify]: Simplify 0 into 0
4.664 * [backup-simplify]: Simplify 1 into 1
4.664 * [backup-simplify]: Simplify (/ -1 1) into -1
4.665 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.665 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
4.665 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
4.665 * [backup-simplify]: Simplify (- 0) into 0
4.665 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
4.666 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
4.666 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x
4.666 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.666 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.666 * [taylor]: Taking taylor expansion of -1 in x
4.666 * [backup-simplify]: Simplify -1 into -1
4.666 * [taylor]: Taking taylor expansion of x in x
4.666 * [backup-simplify]: Simplify 0 into 0
4.666 * [backup-simplify]: Simplify 1 into 1
4.666 * [backup-simplify]: Simplify (/ -1 1) into -1
4.666 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.666 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
4.667 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.667 * [taylor]: Taking taylor expansion of -1 in x
4.667 * [backup-simplify]: Simplify -1 into -1
4.667 * [taylor]: Taking taylor expansion of y in x
4.667 * [backup-simplify]: Simplify y into y
4.667 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.667 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.667 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
4.667 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
4.667 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
4.668 * [backup-simplify]: Simplify (- 0) into 0
4.668 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
4.668 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
4.668 * [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))))
4.668 * [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))))
4.669 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
4.670 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
4.670 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
4.670 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
4.671 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
4.671 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0
4.672 * [backup-simplify]: Simplify (+ 0 0) into 0
4.672 * [taylor]: Taking taylor expansion of 0 in x
4.672 * [backup-simplify]: Simplify 0 into 0
4.672 * [backup-simplify]: Simplify 0 into 0
4.672 * [backup-simplify]: Simplify (+ 0) into 0
4.673 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
4.673 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
4.674 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.674 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
4.675 * [backup-simplify]: Simplify (- 0) into 0
4.675 * [backup-simplify]: Simplify (+ 0 0) into 0
4.675 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
4.676 * [backup-simplify]: Simplify (+ 0) into 0
4.676 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
4.677 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
4.677 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.678 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
4.678 * [backup-simplify]: Simplify (- 0) into 0
4.679 * [backup-simplify]: Simplify (+ 0 0) into 0
4.679 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0
4.679 * [backup-simplify]: Simplify (+ 0 0) into 0
4.679 * [backup-simplify]: Simplify 0 into 0
4.679 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.681 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.681 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.681 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.683 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.683 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
4.684 * [backup-simplify]: Simplify (+ 0 0) into 0
4.684 * [taylor]: Taking taylor expansion of 0 in x
4.684 * [backup-simplify]: Simplify 0 into 0
4.684 * [backup-simplify]: Simplify 0 into 0
4.684 * [backup-simplify]: Simplify 0 into 0
4.685 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.685 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
4.686 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.686 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.687 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
4.687 * [backup-simplify]: Simplify (- 0) into 0
4.688 * [backup-simplify]: Simplify (+ 0 0) into 0
4.688 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.689 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.690 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
4.690 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.691 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.691 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
4.691 * [backup-simplify]: Simplify (- 0) into 0
4.691 * [backup-simplify]: Simplify (+ 0 0) into 0
4.692 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
4.692 * [backup-simplify]: Simplify (+ 0 0) into 0
4.692 * [backup-simplify]: Simplify 0 into 0
4.692 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.693 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.693 * [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
4.694 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.695 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.695 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0
4.696 * [backup-simplify]: Simplify (+ 0 0) into 0
4.696 * [taylor]: Taking taylor expansion of 0 in x
4.696 * [backup-simplify]: Simplify 0 into 0
4.696 * [backup-simplify]: Simplify 0 into 0
4.696 * [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)))
4.696 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2)
4.696 * [backup-simplify]: Simplify (* (cos y) (exp x)) into (* (exp x) (cos y))
4.696 * [approximate]: Taking taylor expansion of (* (exp x) (cos y)) in (y x) around 0
4.696 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in x
4.696 * [taylor]: Taking taylor expansion of (exp x) in x
4.696 * [taylor]: Taking taylor expansion of x in x
4.696 * [backup-simplify]: Simplify 0 into 0
4.696 * [backup-simplify]: Simplify 1 into 1
4.696 * [backup-simplify]: Simplify (exp 0) into 1
4.696 * [taylor]: Taking taylor expansion of (cos y) in x
4.696 * [taylor]: Taking taylor expansion of y in x
4.696 * [backup-simplify]: Simplify y into y
4.696 * [backup-simplify]: Simplify (cos y) into (cos y)
4.696 * [backup-simplify]: Simplify (sin y) into (sin y)
4.696 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y
4.696 * [taylor]: Taking taylor expansion of (exp x) in y
4.696 * [taylor]: Taking taylor expansion of x in y
4.696 * [backup-simplify]: Simplify x into x
4.696 * [backup-simplify]: Simplify (exp x) into (exp x)
4.696 * [taylor]: Taking taylor expansion of (cos y) in y
4.697 * [taylor]: Taking taylor expansion of y in y
4.697 * [backup-simplify]: Simplify 0 into 0
4.697 * [backup-simplify]: Simplify 1 into 1
4.697 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y
4.697 * [taylor]: Taking taylor expansion of (exp x) in y
4.697 * [taylor]: Taking taylor expansion of x in y
4.697 * [backup-simplify]: Simplify x into x
4.697 * [backup-simplify]: Simplify (exp x) into (exp x)
4.697 * [taylor]: Taking taylor expansion of (cos y) in y
4.697 * [taylor]: Taking taylor expansion of y in y
4.697 * [backup-simplify]: Simplify 0 into 0
4.697 * [backup-simplify]: Simplify 1 into 1
4.697 * [backup-simplify]: Simplify (* (exp x) 1) into (exp x)
4.697 * [taylor]: Taking taylor expansion of (exp x) in x
4.697 * [taylor]: Taking taylor expansion of x in x
4.697 * [backup-simplify]: Simplify 0 into 0
4.697 * [backup-simplify]: Simplify 1 into 1
4.697 * [backup-simplify]: Simplify (exp 0) into 1
4.697 * [backup-simplify]: Simplify 1 into 1
4.697 * [backup-simplify]: Simplify (+ 0) into 0
4.698 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
4.698 * [backup-simplify]: Simplify (+ (* (exp x) 0) (* 0 1)) into 0
4.698 * [taylor]: Taking taylor expansion of 0 in x
4.698 * [backup-simplify]: Simplify 0 into 0
4.698 * [backup-simplify]: Simplify 0 into 0
4.699 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.699 * [backup-simplify]: Simplify 1 into 1
4.700 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
4.701 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.701 * [backup-simplify]: Simplify (+ (* (exp x) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp x)))
4.701 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp x))) in x
4.701 * [taylor]: Taking taylor expansion of (* 1/2 (exp x)) in x
4.701 * [taylor]: Taking taylor expansion of 1/2 in x
4.701 * [backup-simplify]: Simplify 1/2 into 1/2
4.701 * [taylor]: Taking taylor expansion of (exp x) in x
4.701 * [taylor]: Taking taylor expansion of x in x
4.701 * [backup-simplify]: Simplify 0 into 0
4.701 * [backup-simplify]: Simplify 1 into 1
4.701 * [backup-simplify]: Simplify (exp 0) into 1
4.702 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
4.702 * [backup-simplify]: Simplify (- 1/2) into -1/2
4.702 * [backup-simplify]: Simplify -1/2 into -1/2
4.702 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* 1 (* x 1)) 1)) into (- (+ x 1) (* 1/2 (pow y 2)))
4.702 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (exp (/ 1 x))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
4.702 * [approximate]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in (y x) around 0
4.702 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x
4.702 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.702 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.702 * [taylor]: Taking taylor expansion of x in x
4.702 * [backup-simplify]: Simplify 0 into 0
4.702 * [backup-simplify]: Simplify 1 into 1
4.703 * [backup-simplify]: Simplify (/ 1 1) into 1
4.703 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.703 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
4.703 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.703 * [taylor]: Taking taylor expansion of y in x
4.703 * [backup-simplify]: Simplify y into y
4.703 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.703 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.703 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
4.703 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y
4.703 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
4.703 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.703 * [taylor]: Taking taylor expansion of x in y
4.703 * [backup-simplify]: Simplify x into x
4.703 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.703 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.703 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.703 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.703 * [taylor]: Taking taylor expansion of y in y
4.703 * [backup-simplify]: Simplify 0 into 0
4.703 * [backup-simplify]: Simplify 1 into 1
4.703 * [backup-simplify]: Simplify (/ 1 1) into 1
4.703 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.703 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y
4.703 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
4.703 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.703 * [taylor]: Taking taylor expansion of x in y
4.703 * [backup-simplify]: Simplify x into x
4.704 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.704 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.704 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
4.704 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.704 * [taylor]: Taking taylor expansion of y in y
4.704 * [backup-simplify]: Simplify 0 into 0
4.704 * [backup-simplify]: Simplify 1 into 1
4.704 * [backup-simplify]: Simplify (/ 1 1) into 1
4.704 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.704 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
4.704 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x
4.704 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.704 * [taylor]: Taking taylor expansion of x in x
4.704 * [backup-simplify]: Simplify 0 into 0
4.704 * [backup-simplify]: Simplify 1 into 1
4.704 * [backup-simplify]: Simplify (/ 1 1) into 1
4.704 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.704 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
4.704 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.705 * [taylor]: Taking taylor expansion of y in x
4.705 * [backup-simplify]: Simplify y into y
4.705 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.705 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
4.705 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
4.705 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
4.705 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
4.705 * [backup-simplify]: Simplify (- 0) into 0
4.705 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
4.705 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
4.705 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
4.705 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.706 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
4.706 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0
4.706 * [taylor]: Taking taylor expansion of 0 in x
4.706 * [backup-simplify]: Simplify 0 into 0
4.706 * [backup-simplify]: Simplify 0 into 0
4.706 * [backup-simplify]: Simplify (+ 0) into 0
4.707 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
4.707 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.707 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.707 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
4.708 * [backup-simplify]: Simplify (- 0) into 0
4.708 * [backup-simplify]: Simplify (+ 0 0) into 0
4.708 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0
4.708 * [backup-simplify]: Simplify 0 into 0
4.708 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.709 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.713 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
4.713 * [taylor]: Taking taylor expansion of 0 in x
4.713 * [backup-simplify]: Simplify 0 into 0
4.713 * [backup-simplify]: Simplify 0 into 0
4.714 * [backup-simplify]: Simplify 0 into 0
4.714 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.715 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
4.715 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.716 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.716 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
4.716 * [backup-simplify]: Simplify (- 0) into 0
4.716 * [backup-simplify]: Simplify (+ 0 0) into 0
4.717 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
4.717 * [backup-simplify]: Simplify 0 into 0
4.717 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.718 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.719 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0
4.719 * [taylor]: Taking taylor expansion of 0 in x
4.719 * [backup-simplify]: Simplify 0 into 0
4.719 * [backup-simplify]: Simplify 0 into 0
4.719 * [backup-simplify]: Simplify (* (exp (/ 1 (/ 1 x))) (cos (/ 1 (/ 1 y)))) into (* (exp x) (cos y))
4.719 * [backup-simplify]: Simplify (* (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
4.719 * [approximate]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in (y x) around 0
4.719 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x
4.719 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.719 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.719 * [taylor]: Taking taylor expansion of -1 in x
4.719 * [backup-simplify]: Simplify -1 into -1
4.719 * [taylor]: Taking taylor expansion of x in x
4.719 * [backup-simplify]: Simplify 0 into 0
4.719 * [backup-simplify]: Simplify 1 into 1
4.719 * [backup-simplify]: Simplify (/ -1 1) into -1
4.719 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.719 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
4.719 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.719 * [taylor]: Taking taylor expansion of -1 in x
4.719 * [backup-simplify]: Simplify -1 into -1
4.719 * [taylor]: Taking taylor expansion of y in x
4.719 * [backup-simplify]: Simplify y into y
4.719 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.720 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.720 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
4.720 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y
4.720 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
4.720 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.720 * [taylor]: Taking taylor expansion of -1 in y
4.720 * [backup-simplify]: Simplify -1 into -1
4.720 * [taylor]: Taking taylor expansion of x in y
4.720 * [backup-simplify]: Simplify x into x
4.720 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.720 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.720 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.720 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.720 * [taylor]: Taking taylor expansion of -1 in y
4.720 * [backup-simplify]: Simplify -1 into -1
4.720 * [taylor]: Taking taylor expansion of y in y
4.720 * [backup-simplify]: Simplify 0 into 0
4.720 * [backup-simplify]: Simplify 1 into 1
4.720 * [backup-simplify]: Simplify (/ -1 1) into -1
4.720 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.720 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y
4.720 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
4.720 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.720 * [taylor]: Taking taylor expansion of -1 in y
4.720 * [backup-simplify]: Simplify -1 into -1
4.720 * [taylor]: Taking taylor expansion of x in y
4.720 * [backup-simplify]: Simplify x into x
4.720 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.720 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.720 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
4.720 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.720 * [taylor]: Taking taylor expansion of -1 in y
4.720 * [backup-simplify]: Simplify -1 into -1
4.720 * [taylor]: Taking taylor expansion of y in y
4.720 * [backup-simplify]: Simplify 0 into 0
4.720 * [backup-simplify]: Simplify 1 into 1
4.721 * [backup-simplify]: Simplify (/ -1 1) into -1
4.721 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.721 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
4.721 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x
4.721 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.721 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.721 * [taylor]: Taking taylor expansion of -1 in x
4.721 * [backup-simplify]: Simplify -1 into -1
4.721 * [taylor]: Taking taylor expansion of x in x
4.721 * [backup-simplify]: Simplify 0 into 0
4.721 * [backup-simplify]: Simplify 1 into 1
4.721 * [backup-simplify]: Simplify (/ -1 1) into -1
4.721 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.721 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
4.721 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.721 * [taylor]: Taking taylor expansion of -1 in x
4.721 * [backup-simplify]: Simplify -1 into -1
4.721 * [taylor]: Taking taylor expansion of y in x
4.722 * [backup-simplify]: Simplify y into y
4.722 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.722 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
4.722 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
4.722 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
4.722 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
4.722 * [backup-simplify]: Simplify (- 0) into 0
4.722 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
4.722 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
4.722 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
4.722 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
4.723 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
4.723 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0
4.723 * [taylor]: Taking taylor expansion of 0 in x
4.723 * [backup-simplify]: Simplify 0 into 0
4.723 * [backup-simplify]: Simplify 0 into 0
4.723 * [backup-simplify]: Simplify (+ 0) into 0
4.724 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
4.724 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
4.724 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.725 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
4.725 * [backup-simplify]: Simplify (- 0) into 0
4.725 * [backup-simplify]: Simplify (+ 0 0) into 0
4.725 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0
4.725 * [backup-simplify]: Simplify 0 into 0
4.725 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.726 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.726 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
4.726 * [taylor]: Taking taylor expansion of 0 in x
4.726 * [backup-simplify]: Simplify 0 into 0
4.726 * [backup-simplify]: Simplify 0 into 0
4.726 * [backup-simplify]: Simplify 0 into 0
4.727 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.727 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
4.728 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.728 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.728 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
4.729 * [backup-simplify]: Simplify (- 0) into 0
4.729 * [backup-simplify]: Simplify (+ 0 0) into 0
4.729 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
4.729 * [backup-simplify]: Simplify 0 into 0
4.729 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.730 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.731 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0
4.731 * [taylor]: Taking taylor expansion of 0 in x
4.731 * [backup-simplify]: Simplify 0 into 0
4.731 * [backup-simplify]: Simplify 0 into 0
4.731 * [backup-simplify]: Simplify (* (exp (/ -1 (/ 1 (- x)))) (cos (/ -1 (/ 1 (- y))))) into (* (exp x) (cos y))
4.731 * * * [progress]: simplifying candidates
4.731 * * * * [progress]: [ 1 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (pow (/ (cos y) (exp x)) 1) (* (cos y) (exp x)))))>
4.731 * * * * [progress]: [ 2 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (exp (- (log (cos y)) x)) (* (cos y) (exp x)))))>
4.731 * * * * [progress]: [ 3 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (exp (log (/ (cos y) (exp x)))) (* (cos y) (exp x)))))>
4.731 * * * * [progress]: [ 4 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (log (exp (/ (cos y) (exp x)))) (* (cos y) (exp x)))))>
4.731 * * * * [progress]: [ 5 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (cbrt (/ (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x)))) (* (cos y) (exp x)))))>
4.731 * * * * [progress]: [ 6 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (* (* (cbrt (/ (cos y) (exp x))) (cbrt (/ (cos y) (exp x)))) (cbrt (/ (cos y) (exp x)))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 7 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (cbrt (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x)))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 8 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (* (sqrt (/ (cos y) (exp x))) (sqrt (/ (cos y) (exp x)))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 9 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (- (cos y)) (- (exp x))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 10 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (* (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt (cos y)) (cbrt (exp x)))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 11 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (* (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) (/ (cbrt (cos y)) (sqrt (exp x)))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 12 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (* (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) (/ (cbrt (cos y)) (exp x))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 13 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (* (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt (cos y)) (cbrt (exp x)))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 14 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (* (/ (sqrt (cos y)) (sqrt (exp x))) (/ (sqrt (cos y)) (sqrt (exp x)))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 15 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (* (/ (sqrt (cos y)) 1) (/ (sqrt (cos y)) (exp x))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 16 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cos y) (cbrt (exp x)))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 17 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (* (/ 1 (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 18 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (* (/ 1 1) (/ (cos y) (exp x))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 19 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (* 1 (/ (cos y) (exp x))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 20 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (* (cos y) (/ 1 (exp x))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 21 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ 1 (/ (exp x) (cos y))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 22 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (/ (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 23 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 24 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (/ (cos y) 1) (exp x)) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 25 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (* (cbrt (cos y)) (cbrt (cos y))) (/ (exp x) (cbrt (cos y)))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 26 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (sqrt (cos y)) (/ (exp x) (sqrt (cos y)))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 27 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ 1 (/ (exp x) (cos y))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 28 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (posit16->real (real->posit16 (/ (cos y) (exp x)))) (* (cos y) (exp x)))))>
4.732 * * * * [progress]: [ 29 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (log (* (exp (/ (cos y) (exp x))) (exp (* (cos y) (exp x)))))))>
4.732 * * * * [progress]: [ 30 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (pow (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 1)))>
4.732 * * * * [progress]: [ 31 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (exp (log (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))))))>
4.732 * * * * [progress]: [ 32 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (log (exp (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))))))>
4.733 * * * * [progress]: [ 33 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (* (* (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))) (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))))))>
4.733 * * * * [progress]: [ 34 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (cbrt (* (* (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))))))>
4.733 * * * * [progress]: [ 35 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (* (sqrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) (sqrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))))))>
4.733 * * * * [progress]: [ 36 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (/ (+ (pow (/ (cos y) (exp x)) 3) (pow (* (cos y) (exp x)) 3)) (+ (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (- (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (/ (cos y) (exp x)) (* (cos y) (exp x))))))))>
4.733 * * * * [progress]: [ 37 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (* 1 (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))))>
4.733 * * * * [progress]: [ 38 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (/ (- (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (* (* (cos y) (exp x)) (* (cos y) (exp x)))) (- (/ (cos y) (exp x)) (* (cos y) (exp x))))))>
4.733 * * * * [progress]: [ 39 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (* (cos y) (+ (/ 1 (exp x)) (exp x)))))>
4.733 * * * * [progress]: [ 40 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (posit16->real (real->posit16 (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))))))>
4.733 * * * * [progress]: [ 41 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (* (cos y) (exp x)) (/ (cos y) (exp x)))))>
4.733 * * * * [progress]: [ 42 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (pow (* (cos y) (exp x)) 1))))>
4.733 * * * * [progress]: [ 43 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (pow (* (cos y) (exp x)) 1))))>
4.733 * * * * [progress]: [ 44 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (exp (+ (log (cos y)) x)))))>
4.733 * * * * [progress]: [ 45 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (exp (log (* (cos y) (exp x)))))))>
4.733 * * * * [progress]: [ 46 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (log (exp (* (cos y) (exp x)))))))>
4.733 * * * * [progress]: [ 47 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (cbrt (* (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x)))))))>
4.733 * * * * [progress]: [ 48 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (* (* (cbrt (* (cos y) (exp x))) (cbrt (* (cos y) (exp x)))) (cbrt (* (cos y) (exp x)))))))>
4.733 * * * * [progress]: [ 49 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (cbrt (* (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (cos y) (exp x)))))))>
4.733 * * * * [progress]: [ 50 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (* (sqrt (* (cos y) (exp x))) (sqrt (* (cos y) (exp x)))))))>
4.733 * * * * [progress]: [ 51 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (* 1 (* (cos y) (exp x))))))>
4.733 * * * * [progress]: [ 52 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (* (* (sqrt (cos y)) (sqrt (exp x))) (* (sqrt (cos y)) (sqrt (exp x)))))))>
4.733 * * * * [progress]: [ 53 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (* (* (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))))))>
4.733 * * * * [progress]: [ 54 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (* (* (cos y) (sqrt (exp x))) (sqrt (exp x))))))>
4.733 * * * * [progress]: [ 55 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (* (* (cos y) 1) (exp x)))))>
4.733 * * * * [progress]: [ 56 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (exp x))))))>
4.733 * * * * [progress]: [ 57 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (* (sqrt (cos y)) (* (sqrt (cos y)) (exp x))))))>
4.733 * * * * [progress]: [ 58 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (* 1 (* (cos y) (exp x))))))>
4.733 * * * * [progress]: [ 59 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (posit16->real (real->posit16 (* (cos y) (exp x)))))))>
4.734 * * * * [progress]: [ 60 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))))>
4.734 * * * * [progress]: [ 61 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (- 1 (+ (* 1/2 (pow y 2)) x)) (* (cos y) (exp x)))))>
4.734 * * * * [progress]: [ 62 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))))>
4.734 * * * * [progress]: [ 63 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))))>
4.734 * * * * [progress]: [ 64 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (- (+ (pow x 2) 2) (pow y 2))))>
4.734 * * * * [progress]: [ 65 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))))>
4.734 * * * * [progress]: [ 66 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))))>
4.734 * * * * [progress]: [ 67 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (- (+ x 1) (* 1/2 (pow y 2))))))>
4.734 * * * * [progress]: [ 68 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))))>
4.734 * * * * [progress]: [ 69 / 69 ] simplifiying candidate #<alt (λ (x y) (* 1/2 (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))))>
4.734 * [simplify]: Simplifying:
  (- (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))
  (real->posit16 (/ (cos y) (exp x)))
  (* (exp (/ (cos y) (exp x))) (exp (* (cos y) (exp x))))
  (log (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (exp (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (* (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))))
  (cbrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (* (* (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (sqrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (sqrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (+ (pow (/ (cos y) (exp x)) 3) (pow (* (cos y) (exp x)) 3))
  (+ (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (- (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (/ (cos y) (exp x)) (* (cos y) (exp x)))))
  (- (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (* (* (cos y) (exp x)) (* (cos y) (exp x))))
  (- (/ (cos y) (exp x)) (* (cos y) (exp x)))
  (+ (/ 1 (exp x)) (exp x))
  (real->posit16 (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
  (* (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)))
  (* (sqrt (cos y)) (sqrt (exp x)))
  (* (sqrt (cos y)) (sqrt (exp x)))
  (* (cos y) (* (cbrt (exp x)) (cbrt (exp x))))
  (* (cos y) (sqrt (exp x)))
  (* (cos y) 1)
  (* (cbrt (cos y)) (exp x))
  (* (sqrt (cos y)) (exp x))
  (* (cos y) (exp x))
  (real->posit16 (* (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)))
  (- (+ x 1) (* 1/2 (pow y 2)))
  (* (exp x) (cos y))
  (* (exp x) (cos y))
4.735 * * [simplify]: iteration 0: 101 enodes
4.755 * * [simplify]: iteration 1: 238 enodes
4.825 * * [simplify]: iteration 2: 681 enodes
5.158 * * [simplify]: iteration 3: 2434 enodes
5.841 * * [simplify]: iteration complete: 5002 enodes
5.841 * * [simplify]: Extracting #0: cost 61 inf + 0
5.843 * * [simplify]: Extracting #1: cost 649 inf + 1
5.849 * * [simplify]: Extracting #2: cost 1566 inf + 9252
5.864 * * [simplify]: Extracting #3: cost 1206 inf + 99093
5.909 * * [simplify]: Extracting #4: cost 291 inf + 317257
5.980 * * [simplify]: Extracting #5: cost 34 inf + 397721
6.111 * * [simplify]: Extracting #6: cost 0 inf + 410057
6.186 * [simplify]: Simplified to:
  (- (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))
  (real->posit16 (/ (cos y) (exp x)))
  (exp (+ (* (cos y) (exp x)) (/ (cos y) (exp x))))
  (log (+ (* (cos y) (exp x)) (/ (cos y) (exp x))))
  (exp (+ (* (cos y) (exp x)) (/ (cos y) (exp x))))
  (* (cbrt (+ (* (cos y) (exp x)) (/ (cos y) (exp x)))) (cbrt (+ (* (cos y) (exp x)) (/ (cos y) (exp x)))))
  (cbrt (+ (* (cos y) (exp x)) (/ (cos y) (exp x))))
  (* (* (+ (* (cos y) (exp x)) (/ (cos y) (exp x))) (+ (* (cos y) (exp x)) (/ (cos y) (exp x)))) (+ (* (cos y) (exp x)) (/ (cos y) (exp x))))
  (sqrt (+ (* (cos y) (exp x)) (/ (cos y) (exp x))))
  (sqrt (+ (* (cos y) (exp x)) (/ (cos y) (exp x))))
  (+ (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x))) (* (* (cos y) (exp x)) (* (* (cos y) (exp x)) (* (cos y) (exp x)))))
  (- (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (/ (cos y) (exp x)) (- (* (cos y) (exp x)) (/ (cos y) (exp x)))))
  (* (- (/ (cos y) (exp x)) (* (cos y) (exp x))) (+ (* (cos y) (exp x)) (/ (cos y) (exp x))))
  (- (/ (cos y) (exp x)) (* (cos y) (exp x)))
  (+ (exp x) (exp (- x)))
  (real->posit16 (+ (* (cos y) (exp x)) (/ (cos y) (exp x))))
  (* (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)))
  (* (sqrt (exp x)) (sqrt (cos y)))
  (* (sqrt (exp x)) (sqrt (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)))
  (* (cos y) (exp x))
  (real->posit16 (* (cos y) (exp x)))
  (- 1 (+ x (* (* 1/2 y) y)))
  (/ (cos y) (exp x))
  (/ (cos y) (exp x))
  (+ 2 (* (+ x y) (- x y)))
  (+ (* (cos y) (exp x)) (/ (cos y) (exp x)))
  (+ (* (cos y) (exp x)) (/ (cos y) (exp x)))
  (- 1 (- (* (* 1/2 y) y) x))
  (* (cos y) (exp x))
  (* (cos y) (exp x))
6.190 * * * [progress]: adding candidates to table
6.567 * [progress]: [Phase 3 of 3] Extracting.
6.573 * [simplify]: Simplifying:
  (* 1/2 (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))
6.573 * * [simplify]: iteration 0: 9 enodes
6.574 * * [simplify]: iteration 1: 12 enodes
6.575 * * [simplify]: iteration complete: 12 enodes
6.575 * * [simplify]: Extracting #0: cost 1 inf + 0
6.575 * * [simplify]: Extracting #1: cost 3 inf + 0
6.575 * * [simplify]: Extracting #2: cost 4 inf + 1
6.575 * * [simplify]: Extracting #3: cost 6 inf + 1
6.575 * * [simplify]: Extracting #4: cost 8 inf + 1
6.575 * * [simplify]: Extracting #5: cost 0 inf + 1024
6.576 * [simplify]: Simplified to:
  (* (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 1/2)
6.576 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
6.687 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
6.690 * * * * [points]: Setting MPFR precision to 64
6.691 * * * * [points]: Setting MPFR precision to 320
6.692 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
6.694 * * * * [points]: Setting MPFR precision to 64
6.696 * * * * [points]: Setting MPFR precision to 320
6.698 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
6.700 * * * * [points]: Setting MPFR precision to 64
6.703 * * * * [points]: Setting MPFR precision to 320
6.706 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
6.709 * * * * [points]: Setting MPFR precision to 64
6.714 * * * * [points]: Setting MPFR precision to 320
6.720 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
6.723 * * * * [points]: Setting MPFR precision to 64
6.734 * * * * [points]: Setting MPFR precision to 320
6.746 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
6.749 * * * * [points]: Setting MPFR precision to 64
6.770 * * * * [points]: Setting MPFR precision to 320
6.815 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
6.820 * * * * [points]: Setting MPFR precision to 64
6.908 * * * * [points]: Setting MPFR precision to 320
6.968 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
6.972 * * * * [points]: Setting MPFR precision to 64
7.120 * * * * [points]: Setting MPFR precision to 320
7.335 * * * * [points]: Computing exacts for 8000 points
7.339 * * * * [points]: Setting MPFR precision to 64
8.268 * * * * [points]: Setting MPFR precision to 320
8.960 * * * * [points]: Filtering points with unrepresentable outputs
8.964 * * * * [points]: Sampling 3966 additional inputs, on iter 1 have 4034 / 8000
9.007 * * * * [points]: Computing exacts on every 247 of 3966 points to ramp up precision
9.010 * * * * [points]: Setting MPFR precision to 64
9.011 * * * * [points]: Setting MPFR precision to 320
9.011 * * * * [points]: Computing exacts on every 123 of 3966 points to ramp up precision
9.014 * * * * [points]: Setting MPFR precision to 64
9.015 * * * * [points]: Setting MPFR precision to 320
9.017 * * * * [points]: Computing exacts on every 61 of 3966 points to ramp up precision
9.020 * * * * [points]: Setting MPFR precision to 64
9.023 * * * * [points]: Setting MPFR precision to 320
9.026 * * * * [points]: Computing exacts on every 30 of 3966 points to ramp up precision
9.029 * * * * [points]: Setting MPFR precision to 64
9.058 * * * * [points]: Setting MPFR precision to 320
9.070 * * * * [points]: Computing exacts on every 15 of 3966 points to ramp up precision
9.073 * * * * [points]: Setting MPFR precision to 64
9.084 * * * * [points]: Setting MPFR precision to 320
9.096 * * * * [points]: Computing exacts on every 7 of 3966 points to ramp up precision
9.099 * * * * [points]: Setting MPFR precision to 64
9.140 * * * * [points]: Setting MPFR precision to 320
9.168 * * * * [points]: Computing exacts on every 3 of 3966 points to ramp up precision
9.170 * * * * [points]: Setting MPFR precision to 64
9.298 * * * * [points]: Setting MPFR precision to 320
9.388 * * * * [points]: Computing exacts for 3966 points
9.391 * * * * [points]: Setting MPFR precision to 64
9.705 * * * * [points]: Setting MPFR precision to 320
10.123 * * * * [points]: Filtering points with unrepresentable outputs
10.125 * * * * [points]: Sampling 1920 additional inputs, on iter 2 have 6080 / 8000
10.138 * * * * [points]: Computing exacts on every 120 of 1920 points to ramp up precision
10.140 * * * * [points]: Setting MPFR precision to 64
10.141 * * * * [points]: Setting MPFR precision to 320
10.142 * * * * [points]: Computing exacts on every 60 of 1920 points to ramp up precision
10.144 * * * * [points]: Setting MPFR precision to 64
10.146 * * * * [points]: Setting MPFR precision to 320
10.148 * * * * [points]: Computing exacts on every 30 of 1920 points to ramp up precision
10.152 * * * * [points]: Setting MPFR precision to 64
10.158 * * * * [points]: Setting MPFR precision to 320
10.164 * * * * [points]: Computing exacts on every 15 of 1920 points to ramp up precision
10.169 * * * * [points]: Setting MPFR precision to 64
10.179 * * * * [points]: Setting MPFR precision to 320
10.186 * * * * [points]: Setting MPFR precision to 576
10.195 * * * * [points]: Computing exacts on every 7 of 1920 points to ramp up precision
10.198 * * * * [points]: Setting MPFR precision to 320
10.243 * * * * [points]: Setting MPFR precision to 576
10.267 * * * * [points]: Computing exacts on every 3 of 1920 points to ramp up precision
10.270 * * * * [points]: Setting MPFR precision to 320
10.295 * * * * [points]: Setting MPFR precision to 576
10.326 * * * * [points]: Computing exacts for 1920 points
10.329 * * * * [points]: Setting MPFR precision to 320
10.793 * * * * [points]: Setting MPFR precision to 576
10.965 * * * * [points]: Filtering points with unrepresentable outputs
10.966 * * * * [points]: Sampling 949 additional inputs, on iter 3 have 7051 / 8000
11.022 * * * * [points]: Computing exacts on every 59 of 949 points to ramp up precision
11.027 * * * * [points]: Setting MPFR precision to 320
11.029 * * * * [points]: Setting MPFR precision to 576
11.031 * * * * [points]: Computing exacts on every 29 of 949 points to ramp up precision
11.036 * * * * [points]: Setting MPFR precision to 320
11.038 * * * * [points]: Setting MPFR precision to 576
11.042 * * * * [points]: Computing exacts on every 14 of 949 points to ramp up precision
11.047 * * * * [points]: Setting MPFR precision to 320
11.052 * * * * [points]: Setting MPFR precision to 576
11.060 * * * * [points]: Computing exacts on every 7 of 949 points to ramp up precision
11.063 * * * * [points]: Setting MPFR precision to 320
11.071 * * * * [points]: Setting MPFR precision to 576
11.082 * * * * [points]: Computing exacts on every 3 of 949 points to ramp up precision
11.085 * * * * [points]: Setting MPFR precision to 320
11.102 * * * * [points]: Setting MPFR precision to 576
11.117 * * * * [points]: Computing exacts for 949 points
11.120 * * * * [points]: Setting MPFR precision to 320
11.191 * * * * [points]: Setting MPFR precision to 576
11.264 * * * * [points]: Filtering points with unrepresentable outputs
11.265 * * * * [points]: Sampling 470 additional inputs, on iter 4 have 7530 / 8000
11.268 * * * * [points]: Computing exacts on every 29 of 470 points to ramp up precision
11.272 * * * * [points]: Setting MPFR precision to 320
11.272 * * * * [points]: Setting MPFR precision to 576
11.273 * * * * [points]: Computing exacts on every 14 of 470 points to ramp up precision
11.276 * * * * [points]: Setting MPFR precision to 320
11.278 * * * * [points]: Setting MPFR precision to 576
11.281 * * * * [points]: Computing exacts on every 7 of 470 points to ramp up precision
11.285 * * * * [points]: Setting MPFR precision to 320
11.289 * * * * [points]: Setting MPFR precision to 576
11.293 * * * * [points]: Computing exacts on every 3 of 470 points to ramp up precision
11.296 * * * * [points]: Setting MPFR precision to 320
11.303 * * * * [points]: Setting MPFR precision to 576
11.311 * * * * [points]: Computing exacts for 470 points
11.343 * * * * [points]: Setting MPFR precision to 320
11.369 * * * * [points]: Setting MPFR precision to 576
11.399 * * * * [points]: Filtering points with unrepresentable outputs
11.399 * * * * [points]: Sampling 227 additional inputs, on iter 5 have 7773 / 8000
11.401 * * * * [points]: Computing exacts on every 14 of 227 points to ramp up precision
11.404 * * * * [points]: Setting MPFR precision to 320
11.405 * * * * [points]: Setting MPFR precision to 576
11.406 * * * * [points]: Computing exacts on every 7 of 227 points to ramp up precision
11.408 * * * * [points]: Setting MPFR precision to 320
11.410 * * * * [points]: Setting MPFR precision to 576
11.412 * * * * [points]: Computing exacts on every 3 of 227 points to ramp up precision
11.415 * * * * [points]: Setting MPFR precision to 320
11.418 * * * * [points]: Setting MPFR precision to 576
11.422 * * * * [points]: Computing exacts for 227 points
11.425 * * * * [points]: Setting MPFR precision to 320
11.437 * * * * [points]: Setting MPFR precision to 576
11.451 * * * * [points]: Filtering points with unrepresentable outputs
11.452 * * * * [points]: Sampling 132 additional inputs, on iter 6 have 7868 / 8000
11.453 * * * * [points]: Computing exacts on every 8 of 132 points to ramp up precision
11.456 * * * * [points]: Setting MPFR precision to 320
11.456 * * * * [points]: Setting MPFR precision to 576
11.457 * * * * [points]: Computing exacts on every 4 of 132 points to ramp up precision
11.460 * * * * [points]: Setting MPFR precision to 320
11.486 * * * * [points]: Setting MPFR precision to 576
11.488 * * * * [points]: Computing exacts on every 2 of 132 points to ramp up precision
11.493 * * * * [points]: Setting MPFR precision to 320
11.500 * * * * [points]: Setting MPFR precision to 576
11.505 * * * * [points]: Computing exacts for 132 points
11.508 * * * * [points]: Setting MPFR precision to 320
11.514 * * * * [points]: Setting MPFR precision to 576
11.522 * * * * [points]: Filtering points with unrepresentable outputs
11.523 * * * * [points]: Sampling 68 additional inputs, on iter 7 have 7932 / 8000
11.523 * * * * [points]: Computing exacts on every 4 of 68 points to ramp up precision
11.526 * * * * [points]: Setting MPFR precision to 320
11.527 * * * * [points]: Setting MPFR precision to 576
11.528 * * * * [points]: Computing exacts on every 2 of 68 points to ramp up precision
11.531 * * * * [points]: Setting MPFR precision to 320
11.532 * * * * [points]: Setting MPFR precision to 576
11.533 * * * * [points]: Computing exacts for 68 points
11.537 * * * * [points]: Setting MPFR precision to 320
11.540 * * * * [points]: Setting MPFR precision to 576
11.545 * * * * [points]: Filtering points with unrepresentable outputs
11.545 * * * * [points]: Sampling 37 additional inputs, on iter 8 have 7963 / 8000
11.546 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
11.551 * * * * [points]: Setting MPFR precision to 320
11.552 * * * * [points]: Setting MPFR precision to 576
11.552 * * * * [points]: Computing exacts for 37 points
11.556 * * * * [points]: Setting MPFR precision to 320
11.557 * * * * [points]: Setting MPFR precision to 576
11.560 * * * * [points]: Filtering points with unrepresentable outputs
11.560 * * * * [points]: Sampling 17 additional inputs, on iter 9 have 7983 / 8000
11.560 * * * * [points]: Computing exacts for 17 points
11.563 * * * * [points]: Setting MPFR precision to 320
11.564 * * * * [points]: Setting MPFR precision to 576
11.565 * * * * [points]: Filtering points with unrepresentable outputs
11.565 * * * * [points]: Sampling 7 additional inputs, on iter 10 have 7993 / 8000
11.566 * * * * [points]: Computing exacts for 7 points
11.568 * * * * [points]: Setting MPFR precision to 320
11.569 * * * * [points]: Setting MPFR precision to 576
11.570 * * * * [points]: Filtering points with unrepresentable outputs
11.570 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
11.570 * * * * [points]: Computing exacts for 4 points
11.572 * * * * [points]: Setting MPFR precision to 320
11.573 * * * * [points]: Setting MPFR precision to 576
11.573 * * * * [points]: Filtering points with unrepresentable outputs
11.573 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000
11.573 * * * * [points]: Computing exacts for 4 points
11.576 * * * * [points]: Setting MPFR precision to 320
11.576 * * * * [points]: Setting MPFR precision to 576
11.576 * * * * [points]: Filtering points with unrepresentable outputs
11.577 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000
11.577 * * * * [points]: Computing exacts for 4 points
11.579 * * * * [points]: Setting MPFR precision to 320
11.580 * * * * [points]: Setting MPFR precision to 576
11.580 * * * * [points]: Filtering points with unrepresentable outputs
11.580 * * * * [points]: Sampled 8002 points with exact outputs
11.790 * [regime-testing]: Baseline error score: 0.009573120312590146
11.793 * [regime-testing]: Oracle error score: 0.009573120312590146
11.793 * [regime-testing]: End program error score: 0.009573120312590146