25.791 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.006 * * * * [points]: Setting MPFR precision to 64
0.007 * * * * [points]: Setting MPFR precision to 320
0.009 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.013 * * * * [points]: Setting MPFR precision to 320
0.014 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.017 * * * * [points]: Setting MPFR precision to 64
0.019 * * * * [points]: Setting MPFR precision to 320
0.022 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.024 * * * * [points]: Setting MPFR precision to 64
0.028 * * * * [points]: Setting MPFR precision to 320
0.033 * * * * [points]: Computing exacts for 256 points
0.035 * * * * [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 142 additional inputs, on iter 1 have 114 / 256
0.081 * * * * [points]: Computing exacts on every 8 of 142 points to ramp up precision
0.083 * * * * [points]: Setting MPFR precision to 64
0.084 * * * * [points]: Setting MPFR precision to 320
0.085 * * * * [points]: Computing exacts on every 4 of 142 points to ramp up precision
0.087 * * * * [points]: Setting MPFR precision to 64
0.089 * * * * [points]: Setting MPFR precision to 320
0.091 * * * * [points]: Computing exacts on every 2 of 142 points to ramp up precision
0.093 * * * * [points]: Setting MPFR precision to 64
0.095 * * * * [points]: Setting MPFR precision to 320
0.098 * * * * [points]: Computing exacts for 142 points
0.100 * * * * [points]: Setting MPFR precision to 64
0.134 * * * * [points]: Setting MPFR precision to 320
0.148 * * * * [points]: Filtering points with unrepresentable outputs
0.149 * * * * [points]: Sampling 67 additional inputs, on iter 2 have 189 / 256
0.149 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision
0.152 * * * * [points]: Setting MPFR precision to 64
0.153 * * * * [points]: Setting MPFR precision to 320
0.154 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision
0.156 * * * * [points]: Setting MPFR precision to 64
0.157 * * * * [points]: Setting MPFR precision to 320
0.159 * * * * [points]: Computing exacts for 67 points
0.161 * * * * [points]: Setting MPFR precision to 64
0.164 * * * * [points]: Setting MPFR precision to 320
0.168 * * * * [points]: Filtering points with unrepresentable outputs
0.168 * * * * [points]: Sampling 35 additional inputs, on iter 3 have 221 / 256
0.168 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision
0.171 * * * * [points]: Setting MPFR precision to 64
0.171 * * * * [points]: Setting MPFR precision to 320
0.172 * * * * [points]: Computing exacts for 35 points
0.174 * * * * [points]: Setting MPFR precision to 64
0.176 * * * * [points]: Setting MPFR precision to 320
0.177 * * * * [points]: Filtering points with unrepresentable outputs
0.178 * * * * [points]: Sampling 21 additional inputs, on iter 4 have 235 / 256
0.178 * * * * [points]: Computing exacts for 21 points
0.180 * * * * [points]: Setting MPFR precision to 64
0.181 * * * * [points]: Setting MPFR precision to 320
0.182 * * * * [points]: Filtering points with unrepresentable outputs
0.182 * * * * [points]: Sampling 13 additional inputs, on iter 5 have 243 / 256
0.183 * * * * [points]: Computing exacts for 13 points
0.185 * * * * [points]: Setting MPFR precision to 64
0.186 * * * * [points]: Setting MPFR precision to 320
0.186 * * * * [points]: Filtering points with unrepresentable outputs
0.186 * * * * [points]: Sampling 7 additional inputs, on iter 6 have 249 / 256
0.186 * * * * [points]: Computing exacts for 7 points
0.189 * * * * [points]: Setting MPFR precision to 64
0.189 * * * * [points]: Setting MPFR precision to 320
0.189 * * * * [points]: Filtering points with unrepresentable outputs
0.190 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 252 / 256
0.190 * * * * [points]: Computing exacts for 4 points
0.192 * * * * [points]: Setting MPFR precision to 64
0.192 * * * * [points]: Setting MPFR precision to 320
0.193 * * * * [points]: Filtering points with unrepresentable outputs
0.193 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 254 / 256
0.193 * * * * [points]: Computing exacts for 4 points
0.197 * * * * [points]: Setting MPFR precision to 64
0.198 * * * * [points]: Setting MPFR precision to 320
0.198 * * * * [points]: Filtering points with unrepresentable outputs
0.198 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 255 / 256
0.198 * * * * [points]: Computing exacts for 4 points
0.203 * * * * [points]: Setting MPFR precision to 64
0.203 * * * * [points]: Setting MPFR precision to 320
0.204 * * * * [points]: Filtering points with unrepresentable outputs
0.204 * * * * [points]: Sampled 257 points with exact outputs
0.204 * * * [progress]: [2/2] Setting up program.
0.213 * [progress]: [Phase 2 of 3] Improving.
0.214 * [simplify]: Simplifying:
  (re (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))))
0.214 * * [simplify]: iteration 0: 16 enodes
0.218 * * [simplify]: iteration 1: 30 enodes
0.223 * * [simplify]: iteration 2: 48 enodes
0.228 * * [simplify]: iteration 3: 83 enodes
0.250 * * [simplify]: iteration 4: 128 enodes
0.280 * * [simplify]: iteration 5: 247 enodes
0.399 * * [simplify]: iteration 6: 1039 enodes
1.280 * * [simplify]: iteration complete: 5000 enodes
1.280 * * [simplify]: Extracting #0: cost 1 inf + 0
1.280 * * [simplify]: Extracting #1: cost 120 inf + 0
1.282 * * [simplify]: Extracting #2: cost 658 inf + 2
1.286 * * [simplify]: Extracting #3: cost 894 inf + 27639
1.303 * * [simplify]: Extracting #4: cost 686 inf + 145757
1.364 * * [simplify]: Extracting #5: cost 317 inf + 270875
1.421 * * [simplify]: Extracting #6: cost 21 inf + 324669
1.496 * * [simplify]: Extracting #7: cost 0 inf + 327716
1.570 * [simplify]: Simplified to:
  (/ (fma (exp x) (cos y) (/ (cos y) (exp x))) 2.0)
1.575 * * [progress]: iteration 1 / 4
1.575 * * * [progress]: picking best candidate
1.579 * * * * [pick]: Picked  #<alt (λ (x y) (/ (fma (exp x) (cos y) (/ (cos y) (exp x))) 2.0))>
1.579 * * * [progress]: localizing error
1.603 * * * [progress]: generating rewritten candidates
1.603 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 3)
1.618 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1.620 * * * [progress]: generating series expansions
1.620 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 3)
1.620 * [backup-simplify]: Simplify (/ (cos y) (exp x)) into (/ (cos y) (exp x))
1.620 * [approximate]: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0
1.620 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x
1.620 * [taylor]: Taking taylor expansion of (cos y) in x
1.620 * [taylor]: Taking taylor expansion of y in x
1.620 * [backup-simplify]: Simplify y into y
1.620 * [backup-simplify]: Simplify (cos y) into (cos y)
1.620 * [backup-simplify]: Simplify (sin y) into (sin y)
1.620 * [taylor]: Taking taylor expansion of (exp x) in x
1.620 * [taylor]: Taking taylor expansion of x in x
1.620 * [backup-simplify]: Simplify 0 into 0
1.620 * [backup-simplify]: Simplify 1 into 1
1.620 * [backup-simplify]: Simplify (exp 0) into 1
1.621 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
1.621 * [backup-simplify]: Simplify (* (sin y) 0) into 0
1.622 * [backup-simplify]: Simplify (- 0) into 0
1.622 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
1.622 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y)
1.622 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
1.622 * [taylor]: Taking taylor expansion of (cos y) in y
1.622 * [taylor]: Taking taylor expansion of y in y
1.622 * [backup-simplify]: Simplify 0 into 0
1.622 * [backup-simplify]: Simplify 1 into 1
1.622 * [taylor]: Taking taylor expansion of (exp x) in y
1.622 * [taylor]: Taking taylor expansion of x in y
1.622 * [backup-simplify]: Simplify x into x
1.622 * [backup-simplify]: Simplify (exp x) into (exp x)
1.622 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
1.622 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
1.622 * [taylor]: Taking taylor expansion of (cos y) in y
1.622 * [taylor]: Taking taylor expansion of y in y
1.622 * [backup-simplify]: Simplify 0 into 0
1.622 * [backup-simplify]: Simplify 1 into 1
1.622 * [taylor]: Taking taylor expansion of (exp x) in y
1.622 * [taylor]: Taking taylor expansion of x in y
1.622 * [backup-simplify]: Simplify x into x
1.622 * [backup-simplify]: Simplify (exp x) into (exp x)
1.622 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
1.623 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
1.623 * [taylor]: Taking taylor expansion of (exp x) in x
1.623 * [taylor]: Taking taylor expansion of x in x
1.623 * [backup-simplify]: Simplify 0 into 0
1.623 * [backup-simplify]: Simplify 1 into 1
1.623 * [backup-simplify]: Simplify (exp 0) into 1
1.623 * [backup-simplify]: Simplify (/ 1 1) into 1
1.623 * [backup-simplify]: Simplify 1 into 1
1.624 * [backup-simplify]: Simplify (+ 0) into 0
1.625 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
1.625 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0
1.625 * [taylor]: Taking taylor expansion of 0 in x
1.625 * [backup-simplify]: Simplify 0 into 0
1.625 * [backup-simplify]: Simplify 0 into 0
1.626 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1.627 * [backup-simplify]: Simplify -1 into -1
1.628 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
1.628 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.629 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x))))
1.629 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x
1.629 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x
1.629 * [taylor]: Taking taylor expansion of 1/2 in x
1.629 * [backup-simplify]: Simplify 1/2 into 1/2
1.629 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
1.629 * [taylor]: Taking taylor expansion of (exp x) in x
1.629 * [taylor]: Taking taylor expansion of x in x
1.629 * [backup-simplify]: Simplify 0 into 0
1.629 * [backup-simplify]: Simplify 1 into 1
1.629 * [backup-simplify]: Simplify (exp 0) into 1
1.629 * [backup-simplify]: Simplify (/ 1 1) into 1
1.629 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
1.630 * [backup-simplify]: Simplify (- 1/2) into -1/2
1.630 * [backup-simplify]: Simplify -1/2 into -1/2
1.630 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x))
1.630 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.630 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0
1.630 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
1.630 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.630 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.630 * [taylor]: Taking taylor expansion of y in x
1.630 * [backup-simplify]: Simplify y into y
1.630 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.630 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.630 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.630 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.630 * [taylor]: Taking taylor expansion of x in x
1.630 * [backup-simplify]: Simplify 0 into 0
1.630 * [backup-simplify]: Simplify 1 into 1
1.630 * [backup-simplify]: Simplify (/ 1 1) into 1
1.631 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.631 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
1.631 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
1.631 * [backup-simplify]: Simplify (- 0) into 0
1.631 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
1.631 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.631 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
1.631 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.631 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.631 * [taylor]: Taking taylor expansion of y in y
1.631 * [backup-simplify]: Simplify 0 into 0
1.631 * [backup-simplify]: Simplify 1 into 1
1.631 * [backup-simplify]: Simplify (/ 1 1) into 1
1.631 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.632 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.632 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.632 * [taylor]: Taking taylor expansion of x in y
1.632 * [backup-simplify]: Simplify x into x
1.632 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.632 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.632 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.632 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
1.632 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.632 * [taylor]: Taking taylor expansion of y in y
1.632 * [backup-simplify]: Simplify 0 into 0
1.632 * [backup-simplify]: Simplify 1 into 1
1.632 * [backup-simplify]: Simplify (/ 1 1) into 1
1.632 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.632 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.632 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.632 * [taylor]: Taking taylor expansion of x in y
1.632 * [backup-simplify]: Simplify x into x
1.632 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.632 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.632 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.632 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
1.632 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.632 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.632 * [taylor]: Taking taylor expansion of y in x
1.633 * [backup-simplify]: Simplify y into y
1.633 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.633 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.633 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.633 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.633 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.633 * [taylor]: Taking taylor expansion of x in x
1.633 * [backup-simplify]: Simplify 0 into 0
1.633 * [backup-simplify]: Simplify 1 into 1
1.633 * [backup-simplify]: Simplify (/ 1 1) into 1
1.633 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.633 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
1.633 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
1.633 * [backup-simplify]: Simplify (- 0) into 0
1.633 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
1.634 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.634 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.634 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.634 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
1.634 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
1.634 * [taylor]: Taking taylor expansion of 0 in x
1.634 * [backup-simplify]: Simplify 0 into 0
1.634 * [backup-simplify]: Simplify 0 into 0
1.635 * [backup-simplify]: Simplify (+ 0) into 0
1.635 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
1.639 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.639 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.640 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
1.640 * [backup-simplify]: Simplify (- 0) into 0
1.640 * [backup-simplify]: Simplify (+ 0 0) into 0
1.640 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
1.640 * [backup-simplify]: Simplify 0 into 0
1.640 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.641 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.641 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
1.641 * [taylor]: Taking taylor expansion of 0 in x
1.641 * [backup-simplify]: Simplify 0 into 0
1.642 * [backup-simplify]: Simplify 0 into 0
1.642 * [backup-simplify]: Simplify 0 into 0
1.642 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.643 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
1.643 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.643 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.644 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
1.644 * [backup-simplify]: Simplify (- 0) into 0
1.644 * [backup-simplify]: Simplify (+ 0 0) into 0
1.644 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
1.644 * [backup-simplify]: Simplify 0 into 0
1.644 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.645 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.646 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
1.646 * [taylor]: Taking taylor expansion of 0 in x
1.646 * [backup-simplify]: Simplify 0 into 0
1.646 * [backup-simplify]: Simplify 0 into 0
1.646 * [backup-simplify]: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x))
1.646 * [backup-simplify]: Simplify (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.646 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0
1.646 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
1.646 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.646 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.646 * [taylor]: Taking taylor expansion of -1 in x
1.646 * [backup-simplify]: Simplify -1 into -1
1.646 * [taylor]: Taking taylor expansion of y in x
1.646 * [backup-simplify]: Simplify y into y
1.646 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.646 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.646 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.646 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.646 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.646 * [taylor]: Taking taylor expansion of -1 in x
1.646 * [backup-simplify]: Simplify -1 into -1
1.646 * [taylor]: Taking taylor expansion of x in x
1.646 * [backup-simplify]: Simplify 0 into 0
1.646 * [backup-simplify]: Simplify 1 into 1
1.647 * [backup-simplify]: Simplify (/ -1 1) into -1
1.647 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.647 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
1.647 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
1.647 * [backup-simplify]: Simplify (- 0) into 0
1.647 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
1.647 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.647 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
1.647 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.647 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.647 * [taylor]: Taking taylor expansion of -1 in y
1.647 * [backup-simplify]: Simplify -1 into -1
1.647 * [taylor]: Taking taylor expansion of y in y
1.647 * [backup-simplify]: Simplify 0 into 0
1.647 * [backup-simplify]: Simplify 1 into 1
1.648 * [backup-simplify]: Simplify (/ -1 1) into -1
1.648 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.648 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.648 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.648 * [taylor]: Taking taylor expansion of -1 in y
1.648 * [backup-simplify]: Simplify -1 into -1
1.648 * [taylor]: Taking taylor expansion of x in y
1.648 * [backup-simplify]: Simplify x into x
1.648 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.648 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.648 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.648 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
1.648 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.648 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.648 * [taylor]: Taking taylor expansion of -1 in y
1.649 * [backup-simplify]: Simplify -1 into -1
1.649 * [taylor]: Taking taylor expansion of y in y
1.649 * [backup-simplify]: Simplify 0 into 0
1.649 * [backup-simplify]: Simplify 1 into 1
1.649 * [backup-simplify]: Simplify (/ -1 1) into -1
1.649 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.649 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.649 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.649 * [taylor]: Taking taylor expansion of -1 in y
1.649 * [backup-simplify]: Simplify -1 into -1
1.649 * [taylor]: Taking taylor expansion of x in y
1.649 * [backup-simplify]: Simplify x into x
1.649 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.649 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.650 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.650 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
1.650 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.650 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.650 * [taylor]: Taking taylor expansion of -1 in x
1.650 * [backup-simplify]: Simplify -1 into -1
1.650 * [taylor]: Taking taylor expansion of y in x
1.650 * [backup-simplify]: Simplify y into y
1.650 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.650 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.650 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.650 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.650 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.650 * [taylor]: Taking taylor expansion of -1 in x
1.650 * [backup-simplify]: Simplify -1 into -1
1.650 * [taylor]: Taking taylor expansion of x in x
1.650 * [backup-simplify]: Simplify 0 into 0
1.650 * [backup-simplify]: Simplify 1 into 1
1.651 * [backup-simplify]: Simplify (/ -1 1) into -1
1.651 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.651 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
1.651 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
1.651 * [backup-simplify]: Simplify (- 0) into 0
1.651 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
1.652 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.652 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.652 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
1.653 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
1.653 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
1.653 * [taylor]: Taking taylor expansion of 0 in x
1.653 * [backup-simplify]: Simplify 0 into 0
1.653 * [backup-simplify]: Simplify 0 into 0
1.654 * [backup-simplify]: Simplify (+ 0) into 0
1.654 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
1.655 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
1.655 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.656 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
1.656 * [backup-simplify]: Simplify (- 0) into 0
1.656 * [backup-simplify]: Simplify (+ 0 0) into 0
1.657 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
1.657 * [backup-simplify]: Simplify 0 into 0
1.657 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.658 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.659 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
1.659 * [taylor]: Taking taylor expansion of 0 in x
1.659 * [backup-simplify]: Simplify 0 into 0
1.659 * [backup-simplify]: Simplify 0 into 0
1.659 * [backup-simplify]: Simplify 0 into 0
1.660 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.660 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
1.661 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.661 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.662 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
1.662 * [backup-simplify]: Simplify (- 0) into 0
1.663 * [backup-simplify]: Simplify (+ 0 0) into 0
1.663 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
1.663 * [backup-simplify]: Simplify 0 into 0
1.663 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.665 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.665 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
1.665 * [taylor]: Taking taylor expansion of 0 in x
1.665 * [backup-simplify]: Simplify 0 into 0
1.665 * [backup-simplify]: Simplify 0 into 0
1.666 * [backup-simplify]: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x))
1.666 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1.666 * [backup-simplify]: Simplify (fma (exp x) (cos y) (/ (cos y) (exp x))) into (fma (exp x) (cos y) (/ (cos y) (exp x)))
1.666 * [approximate]: Taking taylor expansion of (fma (exp x) (cos y) (/ (cos y) (exp x))) in (x y) around 0
1.666 * [taylor]: Taking taylor expansion of (fma (exp x) (cos y) (/ (cos y) (exp x))) in y
1.666 * [taylor]: Rewrote expression to (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))
1.666 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y
1.666 * [taylor]: Taking taylor expansion of (exp x) in y
1.666 * [taylor]: Taking taylor expansion of x in y
1.666 * [backup-simplify]: Simplify x into x
1.666 * [backup-simplify]: Simplify (exp x) into (exp x)
1.666 * [taylor]: Taking taylor expansion of (cos y) in y
1.666 * [taylor]: Taking taylor expansion of y in y
1.667 * [backup-simplify]: Simplify 0 into 0
1.667 * [backup-simplify]: Simplify 1 into 1
1.667 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
1.667 * [taylor]: Taking taylor expansion of (cos y) in y
1.667 * [taylor]: Taking taylor expansion of y in y
1.667 * [backup-simplify]: Simplify 0 into 0
1.667 * [backup-simplify]: Simplify 1 into 1
1.667 * [taylor]: Taking taylor expansion of (exp x) in y
1.667 * [taylor]: Taking taylor expansion of x in y
1.667 * [backup-simplify]: Simplify x into x
1.667 * [backup-simplify]: Simplify (exp x) into (exp x)
1.667 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
1.667 * [taylor]: Taking taylor expansion of (fma (exp x) (cos y) (/ (cos y) (exp x))) in x
1.667 * [taylor]: Rewrote expression to (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))
1.667 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in x
1.667 * [taylor]: Taking taylor expansion of (exp x) in x
1.667 * [taylor]: Taking taylor expansion of x in x
1.667 * [backup-simplify]: Simplify 0 into 0
1.667 * [backup-simplify]: Simplify 1 into 1
1.667 * [backup-simplify]: Simplify (exp 0) into 1
1.667 * [taylor]: Taking taylor expansion of (cos y) in x
1.667 * [taylor]: Taking taylor expansion of y in x
1.667 * [backup-simplify]: Simplify y into y
1.667 * [backup-simplify]: Simplify (cos y) into (cos y)
1.667 * [backup-simplify]: Simplify (sin y) into (sin y)
1.668 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x
1.668 * [taylor]: Taking taylor expansion of (cos y) in x
1.668 * [taylor]: Taking taylor expansion of y in x
1.668 * [backup-simplify]: Simplify y into y
1.668 * [backup-simplify]: Simplify (cos y) into (cos y)
1.668 * [backup-simplify]: Simplify (sin y) into (sin y)
1.668 * [taylor]: Taking taylor expansion of (exp x) in x
1.668 * [taylor]: Taking taylor expansion of x in x
1.668 * [backup-simplify]: Simplify 0 into 0
1.668 * [backup-simplify]: Simplify 1 into 1
1.668 * [backup-simplify]: Simplify (exp 0) into 1
1.668 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
1.668 * [backup-simplify]: Simplify (* (sin y) 0) into 0
1.668 * [backup-simplify]: Simplify (- 0) into 0
1.669 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
1.669 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y)
1.669 * [taylor]: Taking taylor expansion of (fma (exp x) (cos y) (/ (cos y) (exp x))) in x
1.669 * [taylor]: Rewrote expression to (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))
1.669 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in x
1.669 * [taylor]: Taking taylor expansion of (exp x) in x
1.669 * [taylor]: Taking taylor expansion of x in x
1.669 * [backup-simplify]: Simplify 0 into 0
1.669 * [backup-simplify]: Simplify 1 into 1
1.669 * [backup-simplify]: Simplify (exp 0) into 1
1.669 * [taylor]: Taking taylor expansion of (cos y) in x
1.669 * [taylor]: Taking taylor expansion of y in x
1.669 * [backup-simplify]: Simplify y into y
1.669 * [backup-simplify]: Simplify (cos y) into (cos y)
1.669 * [backup-simplify]: Simplify (sin y) into (sin y)
1.669 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x
1.669 * [taylor]: Taking taylor expansion of (cos y) in x
1.669 * [taylor]: Taking taylor expansion of y in x
1.669 * [backup-simplify]: Simplify y into y
1.669 * [backup-simplify]: Simplify (cos y) into (cos y)
1.669 * [backup-simplify]: Simplify (sin y) into (sin y)
1.669 * [taylor]: Taking taylor expansion of (exp x) in x
1.669 * [taylor]: Taking taylor expansion of x in x
1.669 * [backup-simplify]: Simplify 0 into 0
1.669 * [backup-simplify]: Simplify 1 into 1
1.670 * [backup-simplify]: Simplify (exp 0) into 1
1.670 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
1.670 * [backup-simplify]: Simplify (* (sin y) 0) into 0
1.670 * [backup-simplify]: Simplify (- 0) into 0
1.670 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
1.670 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y)
1.670 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
1.670 * [backup-simplify]: Simplify (* (sin y) 0) into 0
1.671 * [backup-simplify]: Simplify (- 0) into 0
1.671 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
1.671 * [backup-simplify]: Simplify (* 1 (cos y)) into (cos y)
1.671 * [backup-simplify]: Simplify (+ (cos y) (cos y)) into (* 2 (cos y))
1.671 * [taylor]: Taking taylor expansion of (* 2 (cos y)) in y
1.671 * [taylor]: Taking taylor expansion of 2 in y
1.671 * [backup-simplify]: Simplify 2 into 2
1.671 * [taylor]: Taking taylor expansion of (cos y) in y
1.671 * [taylor]: Taking taylor expansion of y in y
1.671 * [backup-simplify]: Simplify 0 into 0
1.671 * [backup-simplify]: Simplify 1 into 1
1.672 * [backup-simplify]: Simplify (* 2 1) into 2
1.672 * [backup-simplify]: Simplify 2 into 2
1.672 * [backup-simplify]: Simplify (+ 0) into 0
1.673 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 1)) into 0
1.673 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.674 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 0)) into 0
1.674 * [backup-simplify]: Simplify (- 0) into 0
1.675 * [backup-simplify]: Simplify (+ 0 0) into 0
1.676 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.676 * [backup-simplify]: Simplify (+ (* 1 0) (* 1 (cos y))) into (cos y)
1.677 * [backup-simplify]: Simplify (+ 0) into 0
1.677 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 1)) into 0
1.678 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.678 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 0)) into 0
1.679 * [backup-simplify]: Simplify (- 0) into 0
1.679 * [backup-simplify]: Simplify (+ 0 0) into 0
1.680 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.681 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cos y) (/ 1 1)))) into (- (cos y))
1.681 * [backup-simplify]: Simplify (+ (cos y) (- (cos y))) into 0
1.681 * [taylor]: Taking taylor expansion of 0 in y
1.681 * [backup-simplify]: Simplify 0 into 0
1.681 * [backup-simplify]: Simplify 0 into 0
1.682 * [backup-simplify]: Simplify (+ 0) into 0
1.682 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
1.682 * [backup-simplify]: Simplify 0 into 0
1.683 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.684 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (* 0 1))) into 0
1.685 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.685 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (* 0 0))) into 0
1.686 * [backup-simplify]: Simplify (- 0) into 0
1.686 * [backup-simplify]: Simplify (+ 0 0) into 0
1.688 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (* 1/2 (cos y)))) into (* 1/2 (cos y))
1.690 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.690 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (* 0 1))) into 0
1.691 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.692 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (* 0 0))) into 0
1.692 * [backup-simplify]: Simplify (- 0) into 0
1.692 * [backup-simplify]: Simplify (+ 0 0) into 0
1.694 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.695 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cos y) (/ 1/2 1)) (* (- (cos y)) (/ 1 1)))) into (* 1/2 (cos y))
1.695 * [backup-simplify]: Simplify (+ (* 1/2 (cos y)) (* 1/2 (cos y))) into (cos y)
1.695 * [taylor]: Taking taylor expansion of (cos y) in y
1.695 * [taylor]: Taking taylor expansion of y in y
1.695 * [backup-simplify]: Simplify 0 into 0
1.695 * [backup-simplify]: Simplify 1 into 1
1.695 * [backup-simplify]: Simplify 1 into 1
1.695 * [backup-simplify]: Simplify 0 into 0
1.696 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
1.697 * [backup-simplify]: Simplify (+ (* 2 -1/2) (+ (* 0 0) (* 0 1))) into -1
1.697 * [backup-simplify]: Simplify -1 into -1
1.698 * [backup-simplify]: Simplify (+ (* -1 (pow (* y 1) 2)) (+ (* 1 (pow (* 1 x) 2)) 2)) into (- (+ (pow x 2) 2) (pow y 2))
1.698 * [backup-simplify]: Simplify (fma (exp (/ 1 x)) (cos (/ 1 y)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) into (fma (exp (/ 1 x)) (cos (/ 1 y)) (/ (cos (/ 1 y)) (exp (/ 1 x))))
1.698 * [approximate]: Taking taylor expansion of (fma (exp (/ 1 x)) (cos (/ 1 y)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in (x y) around 0
1.698 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (cos (/ 1 y)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y
1.698 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x))))
1.698 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y
1.698 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.698 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.698 * [taylor]: Taking taylor expansion of x in y
1.698 * [backup-simplify]: Simplify x into x
1.699 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.699 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.699 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.699 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.699 * [taylor]: Taking taylor expansion of y in y
1.699 * [backup-simplify]: Simplify 0 into 0
1.699 * [backup-simplify]: Simplify 1 into 1
1.699 * [backup-simplify]: Simplify (/ 1 1) into 1
1.699 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.699 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
1.699 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.699 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.699 * [taylor]: Taking taylor expansion of y in y
1.699 * [backup-simplify]: Simplify 0 into 0
1.699 * [backup-simplify]: Simplify 1 into 1
1.700 * [backup-simplify]: Simplify (/ 1 1) into 1
1.700 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.700 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.700 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.700 * [taylor]: Taking taylor expansion of x in y
1.700 * [backup-simplify]: Simplify x into x
1.700 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.700 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.700 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.700 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (cos (/ 1 y)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x
1.700 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x))))
1.700 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x
1.700 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.701 * [taylor]: Taking taylor expansion of x in x
1.701 * [backup-simplify]: Simplify 0 into 0
1.701 * [backup-simplify]: Simplify 1 into 1
1.701 * [backup-simplify]: Simplify (/ 1 1) into 1
1.701 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.701 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.701 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.701 * [taylor]: Taking taylor expansion of y in x
1.701 * [backup-simplify]: Simplify y into y
1.701 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.701 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.701 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.701 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
1.701 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.701 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.701 * [taylor]: Taking taylor expansion of y in x
1.701 * [backup-simplify]: Simplify y into y
1.701 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.702 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.702 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.702 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.702 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.702 * [taylor]: Taking taylor expansion of x in x
1.702 * [backup-simplify]: Simplify 0 into 0
1.702 * [backup-simplify]: Simplify 1 into 1
1.702 * [backup-simplify]: Simplify (/ 1 1) into 1
1.703 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.703 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
1.703 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
1.703 * [backup-simplify]: Simplify (- 0) into 0
1.703 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
1.704 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.704 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (cos (/ 1 y)) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x
1.704 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x))))
1.704 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x
1.704 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.704 * [taylor]: Taking taylor expansion of x in x
1.704 * [backup-simplify]: Simplify 0 into 0
1.704 * [backup-simplify]: Simplify 1 into 1
1.704 * [backup-simplify]: Simplify (/ 1 1) into 1
1.704 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.705 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.705 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.705 * [taylor]: Taking taylor expansion of y in x
1.705 * [backup-simplify]: Simplify y into y
1.705 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.705 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.705 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.705 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
1.705 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.705 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.705 * [taylor]: Taking taylor expansion of y in x
1.705 * [backup-simplify]: Simplify y into y
1.705 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.705 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.705 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.705 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.705 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.705 * [taylor]: Taking taylor expansion of x in x
1.705 * [backup-simplify]: Simplify 0 into 0
1.705 * [backup-simplify]: Simplify 1 into 1
1.706 * [backup-simplify]: Simplify (/ 1 1) into 1
1.706 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.706 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
1.706 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
1.706 * [backup-simplify]: Simplify (- 0) into 0
1.706 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
1.707 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.707 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
1.707 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
1.707 * [backup-simplify]: Simplify (- 0) into 0
1.707 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
1.708 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
1.708 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x))))
1.708 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y
1.708 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y
1.708 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.708 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.708 * [taylor]: Taking taylor expansion of x in y
1.708 * [backup-simplify]: Simplify x into x
1.708 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.708 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.708 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.708 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.708 * [taylor]: Taking taylor expansion of y in y
1.708 * [backup-simplify]: Simplify 0 into 0
1.708 * [backup-simplify]: Simplify 1 into 1
1.709 * [backup-simplify]: Simplify (/ 1 1) into 1
1.709 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.709 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
1.709 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.709 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.709 * [taylor]: Taking taylor expansion of y in y
1.709 * [backup-simplify]: Simplify 0 into 0
1.709 * [backup-simplify]: Simplify 1 into 1
1.709 * [backup-simplify]: Simplify (/ 1 1) into 1
1.710 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.710 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.710 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.710 * [taylor]: Taking taylor expansion of x in y
1.710 * [backup-simplify]: Simplify x into x
1.710 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.710 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.710 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
1.710 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
1.710 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x))))
1.711 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) into (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x))))
1.711 * [backup-simplify]: Simplify (+ 0) into 0
1.712 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
1.712 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.713 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.713 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
1.714 * [backup-simplify]: Simplify (- 0) into 0
1.714 * [backup-simplify]: Simplify (+ 0 0) into 0
1.714 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0
1.714 * [backup-simplify]: Simplify (+ 0) into 0
1.715 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
1.715 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.716 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.716 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
1.717 * [backup-simplify]: Simplify (- 0) into 0
1.717 * [backup-simplify]: Simplify (+ 0 0) into 0
1.717 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
1.718 * [backup-simplify]: Simplify (+ 0 0) into 0
1.718 * [taylor]: Taking taylor expansion of 0 in y
1.718 * [backup-simplify]: Simplify 0 into 0
1.718 * [backup-simplify]: Simplify 0 into 0
1.718 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.719 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
1.719 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0
1.719 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.720 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
1.720 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
1.721 * [backup-simplify]: Simplify (+ 0 0) into 0
1.721 * [backup-simplify]: Simplify 0 into 0
1.722 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.722 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
1.722 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.723 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.724 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
1.724 * [backup-simplify]: Simplify (- 0) into 0
1.724 * [backup-simplify]: Simplify (+ 0 0) into 0
1.725 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
1.726 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.726 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
1.727 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.727 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.728 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
1.728 * [backup-simplify]: Simplify (- 0) into 0
1.729 * [backup-simplify]: Simplify (+ 0 0) into 0
1.729 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
1.729 * [backup-simplify]: Simplify (+ 0 0) into 0
1.729 * [taylor]: Taking taylor expansion of 0 in y
1.729 * [backup-simplify]: Simplify 0 into 0
1.729 * [backup-simplify]: Simplify 0 into 0
1.729 * [backup-simplify]: Simplify 0 into 0
1.730 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.731 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.731 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
1.732 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.733 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.733 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
1.734 * [backup-simplify]: Simplify (+ 0 0) into 0
1.734 * [backup-simplify]: Simplify 0 into 0
1.735 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1.736 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.736 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.737 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1.738 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1.738 * [backup-simplify]: Simplify (- 0) into 0
1.739 * [backup-simplify]: Simplify (+ 0 0) into 0
1.739 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0
1.740 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1.741 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.741 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.743 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1.743 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1.744 * [backup-simplify]: Simplify (- 0) into 0
1.744 * [backup-simplify]: Simplify (+ 0 0) into 0
1.745 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
1.745 * [backup-simplify]: Simplify (+ 0 0) into 0
1.745 * [taylor]: Taking taylor expansion of 0 in y
1.745 * [backup-simplify]: Simplify 0 into 0
1.745 * [backup-simplify]: Simplify 0 into 0
1.746 * [backup-simplify]: Simplify (+ (* (exp (/ 1 (/ 1 x))) (cos (/ 1 (/ 1 y)))) (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x))))) into (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
1.746 * [backup-simplify]: Simplify (fma (exp (/ 1 (- x))) (cos (/ 1 (- y))) (/ (cos (/ 1 (- y))) (exp (/ 1 (- x))))) into (fma (exp (/ -1 x)) (cos (/ -1 y)) (/ (cos (/ -1 y)) (exp (/ -1 x))))
1.746 * [approximate]: Taking taylor expansion of (fma (exp (/ -1 x)) (cos (/ -1 y)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in (x y) around 0
1.746 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (cos (/ -1 y)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in y
1.746 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (cos (/ -1 y))) (/ (cos (/ -1 y)) (exp (/ -1 x))))
1.746 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y
1.746 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.746 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.746 * [taylor]: Taking taylor expansion of -1 in y
1.746 * [backup-simplify]: Simplify -1 into -1
1.746 * [taylor]: Taking taylor expansion of x in y
1.746 * [backup-simplify]: Simplify x into x
1.746 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.747 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.747 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.747 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.747 * [taylor]: Taking taylor expansion of -1 in y
1.747 * [backup-simplify]: Simplify -1 into -1
1.747 * [taylor]: Taking taylor expansion of y in y
1.747 * [backup-simplify]: Simplify 0 into 0
1.747 * [backup-simplify]: Simplify 1 into 1
1.747 * [backup-simplify]: Simplify (/ -1 1) into -1
1.748 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.748 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
1.748 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.748 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.748 * [taylor]: Taking taylor expansion of -1 in y
1.748 * [backup-simplify]: Simplify -1 into -1
1.748 * [taylor]: Taking taylor expansion of y in y
1.748 * [backup-simplify]: Simplify 0 into 0
1.748 * [backup-simplify]: Simplify 1 into 1
1.748 * [backup-simplify]: Simplify (/ -1 1) into -1
1.748 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.748 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.748 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.748 * [taylor]: Taking taylor expansion of -1 in y
1.748 * [backup-simplify]: Simplify -1 into -1
1.748 * [taylor]: Taking taylor expansion of x in y
1.748 * [backup-simplify]: Simplify x into x
1.748 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.749 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.749 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.749 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (cos (/ -1 y)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in x
1.749 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (cos (/ -1 y))) (/ (cos (/ -1 y)) (exp (/ -1 x))))
1.749 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x
1.749 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.749 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.749 * [taylor]: Taking taylor expansion of -1 in x
1.749 * [backup-simplify]: Simplify -1 into -1
1.749 * [taylor]: Taking taylor expansion of x in x
1.749 * [backup-simplify]: Simplify 0 into 0
1.749 * [backup-simplify]: Simplify 1 into 1
1.749 * [backup-simplify]: Simplify (/ -1 1) into -1
1.750 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.750 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.750 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.750 * [taylor]: Taking taylor expansion of -1 in x
1.750 * [backup-simplify]: Simplify -1 into -1
1.750 * [taylor]: Taking taylor expansion of y in x
1.750 * [backup-simplify]: Simplify y into y
1.750 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.750 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.750 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.750 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
1.750 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.750 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.750 * [taylor]: Taking taylor expansion of -1 in x
1.750 * [backup-simplify]: Simplify -1 into -1
1.750 * [taylor]: Taking taylor expansion of y in x
1.750 * [backup-simplify]: Simplify y into y
1.750 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.750 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.750 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.750 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.750 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.750 * [taylor]: Taking taylor expansion of -1 in x
1.750 * [backup-simplify]: Simplify -1 into -1
1.751 * [taylor]: Taking taylor expansion of x in x
1.751 * [backup-simplify]: Simplify 0 into 0
1.751 * [backup-simplify]: Simplify 1 into 1
1.751 * [backup-simplify]: Simplify (/ -1 1) into -1
1.751 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.751 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
1.751 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
1.752 * [backup-simplify]: Simplify (- 0) into 0
1.752 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
1.752 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.752 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (cos (/ -1 y)) (/ (cos (/ -1 y)) (exp (/ -1 x)))) in x
1.752 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (cos (/ -1 y))) (/ (cos (/ -1 y)) (exp (/ -1 x))))
1.752 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x
1.752 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.752 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.752 * [taylor]: Taking taylor expansion of -1 in x
1.752 * [backup-simplify]: Simplify -1 into -1
1.752 * [taylor]: Taking taylor expansion of x in x
1.752 * [backup-simplify]: Simplify 0 into 0
1.752 * [backup-simplify]: Simplify 1 into 1
1.753 * [backup-simplify]: Simplify (/ -1 1) into -1
1.753 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.753 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.753 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.753 * [taylor]: Taking taylor expansion of -1 in x
1.753 * [backup-simplify]: Simplify -1 into -1
1.753 * [taylor]: Taking taylor expansion of y in x
1.753 * [backup-simplify]: Simplify y into y
1.753 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.753 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.753 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.753 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
1.753 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.753 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.753 * [taylor]: Taking taylor expansion of -1 in x
1.753 * [backup-simplify]: Simplify -1 into -1
1.753 * [taylor]: Taking taylor expansion of y in x
1.753 * [backup-simplify]: Simplify y into y
1.753 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.754 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.754 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.754 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.754 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.754 * [taylor]: Taking taylor expansion of -1 in x
1.754 * [backup-simplify]: Simplify -1 into -1
1.754 * [taylor]: Taking taylor expansion of x in x
1.754 * [backup-simplify]: Simplify 0 into 0
1.754 * [backup-simplify]: Simplify 1 into 1
1.754 * [backup-simplify]: Simplify (/ -1 1) into -1
1.754 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.754 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
1.755 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
1.755 * [backup-simplify]: Simplify (- 0) into 0
1.755 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
1.755 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.755 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
1.755 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
1.756 * [backup-simplify]: Simplify (- 0) into 0
1.756 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
1.756 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
1.756 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) (cos (/ -1 y))) (/ (cos (/ -1 y)) (exp (/ -1 x)))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y))))
1.756 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in y
1.756 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
1.757 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.757 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.757 * [taylor]: Taking taylor expansion of -1 in y
1.757 * [backup-simplify]: Simplify -1 into -1
1.757 * [taylor]: Taking taylor expansion of y in y
1.757 * [backup-simplify]: Simplify 0 into 0
1.757 * [backup-simplify]: Simplify 1 into 1
1.757 * [backup-simplify]: Simplify (/ -1 1) into -1
1.757 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.757 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.757 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.757 * [taylor]: Taking taylor expansion of -1 in y
1.757 * [backup-simplify]: Simplify -1 into -1
1.757 * [taylor]: Taking taylor expansion of x in y
1.757 * [backup-simplify]: Simplify x into x
1.757 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.757 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.758 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
1.758 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y
1.758 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.758 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.758 * [taylor]: Taking taylor expansion of -1 in y
1.758 * [backup-simplify]: Simplify -1 into -1
1.758 * [taylor]: Taking taylor expansion of x in y
1.758 * [backup-simplify]: Simplify x into x
1.758 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.758 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.758 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.758 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.758 * [taylor]: Taking taylor expansion of -1 in y
1.758 * [backup-simplify]: Simplify -1 into -1
1.758 * [taylor]: Taking taylor expansion of y in y
1.758 * [backup-simplify]: Simplify 0 into 0
1.758 * [backup-simplify]: Simplify 1 into 1
1.759 * [backup-simplify]: Simplify (/ -1 1) into -1
1.759 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.759 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
1.759 * [backup-simplify]: Simplify (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y))))
1.759 * [backup-simplify]: Simplify (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) into (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y))))
1.760 * [backup-simplify]: Simplify (+ 0) into 0
1.760 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
1.760 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
1.761 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.762 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
1.762 * [backup-simplify]: Simplify (- 0) into 0
1.763 * [backup-simplify]: Simplify (+ 0 0) into 0
1.763 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0
1.763 * [backup-simplify]: Simplify (+ 0) into 0
1.763 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
1.763 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
1.764 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.764 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
1.764 * [backup-simplify]: Simplify (- 0) into 0
1.765 * [backup-simplify]: Simplify (+ 0 0) into 0
1.765 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
1.765 * [backup-simplify]: Simplify (+ 0 0) into 0
1.765 * [taylor]: Taking taylor expansion of 0 in y
1.765 * [backup-simplify]: Simplify 0 into 0
1.765 * [backup-simplify]: Simplify 0 into 0
1.765 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
1.766 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
1.766 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
1.766 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
1.766 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
1.767 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0
1.767 * [backup-simplify]: Simplify (+ 0 0) into 0
1.767 * [backup-simplify]: Simplify 0 into 0
1.767 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.768 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
1.768 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.768 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.769 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
1.769 * [backup-simplify]: Simplify (- 0) into 0
1.769 * [backup-simplify]: Simplify (+ 0 0) into 0
1.769 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
1.770 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.770 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
1.771 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.771 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.771 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
1.772 * [backup-simplify]: Simplify (- 0) into 0
1.772 * [backup-simplify]: Simplify (+ 0 0) into 0
1.772 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
1.772 * [backup-simplify]: Simplify (+ 0 0) into 0
1.772 * [taylor]: Taking taylor expansion of 0 in y
1.772 * [backup-simplify]: Simplify 0 into 0
1.772 * [backup-simplify]: Simplify 0 into 0
1.772 * [backup-simplify]: Simplify 0 into 0
1.773 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.773 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.774 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
1.774 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.774 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.775 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
1.775 * [backup-simplify]: Simplify (+ 0 0) into 0
1.775 * [backup-simplify]: Simplify 0 into 0
1.776 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1.776 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.776 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.781 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1.782 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1.782 * [backup-simplify]: Simplify (- 0) into 0
1.782 * [backup-simplify]: Simplify (+ 0 0) into 0
1.783 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0
1.784 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1.784 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.784 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.786 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1.786 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1.786 * [backup-simplify]: Simplify (- 0) into 0
1.786 * [backup-simplify]: Simplify (+ 0 0) into 0
1.787 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
1.787 * [backup-simplify]: Simplify (+ 0 0) into 0
1.787 * [taylor]: Taking taylor expansion of 0 in y
1.787 * [backup-simplify]: Simplify 0 into 0
1.787 * [backup-simplify]: Simplify 0 into 0
1.787 * [backup-simplify]: Simplify (+ (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) (* (exp (/ -1 (/ 1 (- x)))) (cos (/ -1 (/ 1 (- y)))))) into (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
1.787 * * * [progress]: simplifying candidates
1.788 * [simplify]: Simplifying:
  (expm1 (/ (cos y) (exp x)))
  (log1p (/ (cos y) (exp x)))
  (- (log (cos y)) x)
  (log (/ (cos y) (exp x)))
  (exp (/ (cos y) (exp x)))
  (/ (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x)))
  (* (cbrt (/ (cos y) (exp x))) (cbrt (/ (cos y) (exp x))))
  (cbrt (/ (cos y) (exp x)))
  (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x)))
  (sqrt (/ (cos y) (exp x)))
  (sqrt (/ (cos y) (exp x)))
  (- (cos y))
  (- (exp x))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cbrt (cos y)) (cbrt (exp x)))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x)))
  (/ (cbrt (cos y)) (sqrt (exp x)))
  (/ (* (cbrt (cos y)) (cbrt (cos y))) 1)
  (/ (cbrt (cos y)) (exp x))
  (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (sqrt (cos y)) (cbrt (exp x)))
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (/ (sqrt (cos y)) 1)
  (/ (sqrt (cos y)) (exp x))
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cos y) (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ (cos y) (sqrt (exp x)))
  (/ 1 1)
  (/ (cos y) (exp x))
  (/ 1 (exp x))
  (/ (exp x) (cos y))
  (/ (cos y) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cos y) (sqrt (exp x)))
  (/ (cos y) 1)
  (/ (exp x) (cbrt (cos y)))
  (/ (exp x) (sqrt (cos y)))
  (/ (exp x) (cos y))
  (expm1 (fma (exp x) (cos y) (/ (cos y) (exp x))))
  (log1p (fma (exp x) (cos y) (/ (cos y) (exp x))))
  (* (exp x) (cos y))
  (log (fma (exp x) (cos y) (/ (cos y) (exp x))))
  (exp (fma (exp x) (cos y) (/ (cos y) (exp x))))
  (* (cbrt (fma (exp x) (cos y) (/ (cos y) (exp x)))) (cbrt (fma (exp x) (cos y) (/ (cos y) (exp x)))))
  (cbrt (fma (exp x) (cos y) (/ (cos y) (exp x))))
  (* (* (fma (exp x) (cos y) (/ (cos y) (exp x))) (fma (exp x) (cos y) (/ (cos y) (exp x)))) (fma (exp x) (cos y) (/ (cos y) (exp x))))
  (sqrt (fma (exp x) (cos y) (/ (cos y) (exp x))))
  (sqrt (fma (exp x) (cos y) (/ (cos y) (exp x))))
  (- 1 (+ (* 1/2 (pow y 2)) x))
  (/ (cos y) (exp x))
  (/ (cos y) (exp x))
  (- (+ (pow x 2) 2) (pow y 2))
  (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
  (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
1.789 * * [simplify]: iteration 0: 73 enodes
1.800 * * [simplify]: iteration 1: 137 enodes
1.826 * * [simplify]: iteration 2: 425 enodes
1.983 * * [simplify]: iteration 3: 1851 enodes
2.651 * * [simplify]: iteration complete: 5000 enodes
2.651 * * [simplify]: Extracting #0: cost 45 inf + 0
2.653 * * [simplify]: Extracting #1: cost 558 inf + 1
2.658 * * [simplify]: Extracting #2: cost 1384 inf + 4889
2.684 * * [simplify]: Extracting #3: cost 846 inf + 135490
2.739 * * [simplify]: Extracting #4: cost 115 inf + 330313
2.813 * * [simplify]: Extracting #5: cost 1 inf + 361489
2.871 * * [simplify]: Extracting #6: cost 0 inf + 361412
2.943 * [simplify]: Simplified to:
  (expm1 (/ (cos y) (exp x)))
  (log1p (/ (cos y) (exp x)))
  (- (log (cos y)) x)
  (- (log (cos y)) x)
  (exp (/ (cos y) (exp x)))
  (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x)))
  (* (cbrt (/ (cos y) (exp x))) (cbrt (/ (cos y) (exp x))))
  (cbrt (/ (cos y) (exp x)))
  (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x)))
  (sqrt (/ (cos y) (exp x)))
  (sqrt (/ (cos y) (exp x)))
  (- (cos y))
  (- (exp x))
  (* (/ (cbrt (cos y)) (cbrt (exp x))) (/ (cbrt (cos y)) (cbrt (exp x))))
  (/ (cbrt (cos y)) (cbrt (exp x)))
  (/ (cbrt (cos y)) (/ (sqrt (exp x)) (cbrt (cos y))))
  (/ (cbrt (cos y)) (sqrt (exp x)))
  (* (cbrt (cos y)) (cbrt (cos y)))
  (/ (cbrt (cos y)) (exp x))
  (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (sqrt (cos y)) (cbrt (exp x)))
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (/ (sqrt (cos y)) (sqrt (exp x)))
  (sqrt (cos y))
  (/ (sqrt (cos y)) (exp x))
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cos y) (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ (cos y) (sqrt (exp x)))
  1
  (/ (cos y) (exp x))
  (exp (- x))
  (/ (exp x) (cos y))
  (/ (cos y) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cos y) (sqrt (exp x)))
  (cos y)
  (/ (exp x) (cbrt (cos y)))
  (/ (exp x) (sqrt (cos y)))
  (/ (exp x) (cos y))
  (expm1 (fma (cos y) (exp x) (/ (cos y) (exp x))))
  (log1p (fma (cos y) (exp x) (/ (cos y) (exp x))))
  (* (cos y) (exp x))
  (log (fma (cos y) (exp x) (/ (cos y) (exp x))))
  (exp (fma (cos y) (exp x) (/ (cos y) (exp x))))
  (* (cbrt (fma (cos y) (exp x) (/ (cos y) (exp x)))) (cbrt (fma (cos y) (exp x) (/ (cos y) (exp x)))))
  (cbrt (fma (cos y) (exp x) (/ (cos y) (exp x))))
  (* (* (fma (cos y) (exp x) (/ (cos y) (exp x))) (fma (cos y) (exp x) (/ (cos y) (exp x)))) (fma (cos y) (exp x) (/ (cos y) (exp x))))
  (sqrt (fma (cos y) (exp x) (/ (cos y) (exp x))))
  (sqrt (fma (cos y) (exp x) (/ (cos y) (exp x))))
  (- 1 (fma (* y y) 1/2 x))
  (/ (cos y) (exp x))
  (/ (cos y) (exp x))
  (fma (+ x y) (- x y) 2)
  (fma (cos y) (exp x) (/ (cos y) (exp x)))
  (fma (cos y) (exp x) (/ (cos y) (exp x)))
2.947 * * * [progress]: adding candidates to table
3.194 * [progress]: [Phase 3 of 3] Extracting.
3.200 * [simplify]: Simplifying:
  (/ (fma (exp x) (cos y) (/ (cos y) (exp x))) 2.0)
3.200 * * [simplify]: iteration 0: 8 enodes
3.200 * * [simplify]: iteration complete: 8 enodes
3.200 * * [simplify]: Extracting #0: cost 1 inf + 0
3.200 * * [simplify]: Extracting #1: cost 3 inf + 0
3.200 * * [simplify]: Extracting #2: cost 5 inf + 1
3.200 * * [simplify]: Extracting #3: cost 7 inf + 1
3.200 * * [simplify]: Extracting #4: cost 4 inf + 64
3.201 * * [simplify]: Extracting #5: cost 0 inf + 802
3.201 * [simplify]: Simplified to:
  (/ (fma (exp x) (cos y) (/ (cos y) (exp x))) 2.0)
3.201 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
3.302 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
3.305 * * * * [points]: Setting MPFR precision to 64
3.307 * * * * [points]: Setting MPFR precision to 320
3.308 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
3.310 * * * * [points]: Setting MPFR precision to 64
3.312 * * * * [points]: Setting MPFR precision to 320
3.313 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
3.316 * * * * [points]: Setting MPFR precision to 64
3.319 * * * * [points]: Setting MPFR precision to 320
3.322 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
3.324 * * * * [points]: Setting MPFR precision to 64
3.333 * * * * [points]: Setting MPFR precision to 320
3.343 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
3.347 * * * * [points]: Setting MPFR precision to 64
3.361 * * * * [points]: Setting MPFR precision to 320
3.380 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
3.383 * * * * [points]: Setting MPFR precision to 64
3.440 * * * * [points]: Setting MPFR precision to 320
3.479 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
3.482 * * * * [points]: Setting MPFR precision to 64
3.549 * * * * [points]: Setting MPFR precision to 320
3.667 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
3.671 * * * * [points]: Setting MPFR precision to 64
3.794 * * * * [points]: Setting MPFR precision to 320
3.996 * * * * [points]: Computing exacts for 8000 points
3.999 * * * * [points]: Setting MPFR precision to 64
4.595 * * * * [points]: Setting MPFR precision to 320
5.587 * * * * [points]: Filtering points with unrepresentable outputs
5.605 * * * * [points]: Sampling 3988 additional inputs, on iter 1 have 4012 / 8000
5.654 * * * * [points]: Computing exacts on every 249 of 3988 points to ramp up precision
5.657 * * * * [points]: Setting MPFR precision to 64
5.658 * * * * [points]: Setting MPFR precision to 320
5.659 * * * * [points]: Computing exacts on every 124 of 3988 points to ramp up precision
5.661 * * * * [points]: Setting MPFR precision to 64
5.663 * * * * [points]: Setting MPFR precision to 320
5.664 * * * * [points]: Computing exacts on every 62 of 3988 points to ramp up precision
5.667 * * * * [points]: Setting MPFR precision to 64
5.670 * * * * [points]: Setting MPFR precision to 320
5.673 * * * * [points]: Computing exacts on every 31 of 3988 points to ramp up precision
5.675 * * * * [points]: Setting MPFR precision to 64
5.681 * * * * [points]: Setting MPFR precision to 320
5.687 * * * * [points]: Computing exacts on every 15 of 3988 points to ramp up precision
5.689 * * * * [points]: Setting MPFR precision to 64
5.700 * * * * [points]: Setting MPFR precision to 320
5.736 * * * * [points]: Computing exacts on every 7 of 3988 points to ramp up precision
5.739 * * * * [points]: Setting MPFR precision to 64
5.772 * * * * [points]: Setting MPFR precision to 320
5.806 * * * * [points]: Computing exacts on every 3 of 3988 points to ramp up precision
5.809 * * * * [points]: Setting MPFR precision to 64
5.880 * * * * [points]: Setting MPFR precision to 320
6.008 * * * * [points]: Computing exacts for 3988 points
6.012 * * * * [points]: Setting MPFR precision to 64
6.267 * * * * [points]: Setting MPFR precision to 320
6.622 * * * * [points]: Filtering points with unrepresentable outputs
6.633 * * * * [points]: Sampling 1996 additional inputs, on iter 2 have 6004 / 8000
6.660 * * * * [points]: Computing exacts on every 124 of 1996 points to ramp up precision
6.690 * * * * [points]: Setting MPFR precision to 64
6.692 * * * * [points]: Setting MPFR precision to 320
6.693 * * * * [points]: Computing exacts on every 62 of 1996 points to ramp up precision
6.699 * * * * [points]: Setting MPFR precision to 64
6.701 * * * * [points]: Setting MPFR precision to 320
6.704 * * * * [points]: Computing exacts on every 31 of 1996 points to ramp up precision
6.708 * * * * [points]: Setting MPFR precision to 64
6.713 * * * * [points]: Setting MPFR precision to 320
6.718 * * * * [points]: Computing exacts on every 15 of 1996 points to ramp up precision
6.721 * * * * [points]: Setting MPFR precision to 64
6.730 * * * * [points]: Setting MPFR precision to 320
6.741 * * * * [points]: Computing exacts on every 7 of 1996 points to ramp up precision
6.745 * * * * [points]: Setting MPFR precision to 64
6.761 * * * * [points]: Setting MPFR precision to 320
6.784 * * * * [points]: Computing exacts on every 3 of 1996 points to ramp up precision
6.788 * * * * [points]: Setting MPFR precision to 64
6.818 * * * * [points]: Setting MPFR precision to 320
6.856 * * * * [points]: Computing exacts for 1996 points
6.860 * * * * [points]: Setting MPFR precision to 64
7.038 * * * * [points]: Setting MPFR precision to 320
7.228 * * * * [points]: Filtering points with unrepresentable outputs
7.233 * * * * [points]: Sampling 972 additional inputs, on iter 3 have 7028 / 8000
7.245 * * * * [points]: Computing exacts on every 60 of 972 points to ramp up precision
7.249 * * * * [points]: Setting MPFR precision to 64
7.250 * * * * [points]: Setting MPFR precision to 320
7.252 * * * * [points]: Computing exacts on every 30 of 972 points to ramp up precision
7.255 * * * * [points]: Setting MPFR precision to 64
7.258 * * * * [points]: Setting MPFR precision to 320
7.261 * * * * [points]: Computing exacts on every 15 of 972 points to ramp up precision
7.264 * * * * [points]: Setting MPFR precision to 64
7.269 * * * * [points]: Setting MPFR precision to 320
7.312 * * * * [points]: Computing exacts on every 7 of 972 points to ramp up precision
7.314 * * * * [points]: Setting MPFR precision to 64
7.320 * * * * [points]: Setting MPFR precision to 320
7.329 * * * * [points]: Computing exacts on every 3 of 972 points to ramp up precision
7.331 * * * * [points]: Setting MPFR precision to 64
7.342 * * * * [points]: Setting MPFR precision to 320
7.367 * * * * [points]: Computing exacts for 972 points
7.371 * * * * [points]: Setting MPFR precision to 64
7.447 * * * * [points]: Setting MPFR precision to 320
7.838 * * * * [points]: Filtering points with unrepresentable outputs
7.841 * * * * [points]: Sampling 499 additional inputs, on iter 4 have 7501 / 8000
7.848 * * * * [points]: Computing exacts on every 31 of 499 points to ramp up precision
7.852 * * * * [points]: Setting MPFR precision to 64
7.853 * * * * [points]: Setting MPFR precision to 320
7.854 * * * * [points]: Computing exacts on every 15 of 499 points to ramp up precision
7.858 * * * * [points]: Setting MPFR precision to 64
7.861 * * * * [points]: Setting MPFR precision to 320
7.863 * * * * [points]: Computing exacts on every 7 of 499 points to ramp up precision
7.867 * * * * [points]: Setting MPFR precision to 64
7.871 * * * * [points]: Setting MPFR precision to 320
7.875 * * * * [points]: Computing exacts on every 3 of 499 points to ramp up precision
7.878 * * * * [points]: Setting MPFR precision to 64
7.886 * * * * [points]: Setting MPFR precision to 320
7.892 * * * * [points]: Computing exacts for 499 points
7.895 * * * * [points]: Setting MPFR precision to 64
7.930 * * * * [points]: Setting MPFR precision to 320
8.004 * * * * [points]: Filtering points with unrepresentable outputs
8.005 * * * * [points]: Sampling 249 additional inputs, on iter 5 have 7751 / 8000
8.012 * * * * [points]: Computing exacts on every 15 of 249 points to ramp up precision
8.015 * * * * [points]: Setting MPFR precision to 64
8.017 * * * * [points]: Setting MPFR precision to 320
8.018 * * * * [points]: Computing exacts on every 7 of 249 points to ramp up precision
8.021 * * * * [points]: Setting MPFR precision to 64
8.024 * * * * [points]: Setting MPFR precision to 320
8.026 * * * * [points]: Computing exacts on every 3 of 249 points to ramp up precision
8.030 * * * * [points]: Setting MPFR precision to 64
8.034 * * * * [points]: Setting MPFR precision to 320
8.039 * * * * [points]: Computing exacts for 249 points
8.043 * * * * [points]: Setting MPFR precision to 64
8.061 * * * * [points]: Setting MPFR precision to 320
8.081 * * * * [points]: Filtering points with unrepresentable outputs
8.082 * * * * [points]: Sampling 137 additional inputs, on iter 6 have 7863 / 8000
8.084 * * * * [points]: Computing exacts on every 8 of 137 points to ramp up precision
8.088 * * * * [points]: Setting MPFR precision to 64
8.089 * * * * [points]: Setting MPFR precision to 320
8.090 * * * * [points]: Computing exacts on every 4 of 137 points to ramp up precision
8.094 * * * * [points]: Setting MPFR precision to 64
8.096 * * * * [points]: Setting MPFR precision to 320
8.099 * * * * [points]: Computing exacts on every 2 of 137 points to ramp up precision
8.102 * * * * [points]: Setting MPFR precision to 64
8.106 * * * * [points]: Setting MPFR precision to 320
8.110 * * * * [points]: Computing exacts for 137 points
8.114 * * * * [points]: Setting MPFR precision to 64
8.124 * * * * [points]: Setting MPFR precision to 320
8.136 * * * * [points]: Filtering points with unrepresentable outputs
8.137 * * * * [points]: Sampling 66 additional inputs, on iter 7 have 7934 / 8000
8.138 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
8.141 * * * * [points]: Setting MPFR precision to 64
8.142 * * * * [points]: Setting MPFR precision to 320
8.143 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
8.147 * * * * [points]: Setting MPFR precision to 64
8.148 * * * * [points]: Setting MPFR precision to 320
8.150 * * * * [points]: Computing exacts for 66 points
8.180 * * * * [points]: Setting MPFR precision to 64
8.185 * * * * [points]: Setting MPFR precision to 320
8.193 * * * * [points]: Filtering points with unrepresentable outputs
8.194 * * * * [points]: Sampling 34 additional inputs, on iter 8 have 7966 / 8000
8.194 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision
8.198 * * * * [points]: Setting MPFR precision to 64
8.199 * * * * [points]: Setting MPFR precision to 320
8.200 * * * * [points]: Computing exacts for 34 points
8.204 * * * * [points]: Setting MPFR precision to 64
8.207 * * * * [points]: Setting MPFR precision to 320
8.210 * * * * [points]: Filtering points with unrepresentable outputs
8.210 * * * * [points]: Sampling 17 additional inputs, on iter 9 have 7983 / 8000
8.210 * * * * [points]: Computing exacts for 17 points
8.214 * * * * [points]: Setting MPFR precision to 64
8.215 * * * * [points]: Setting MPFR precision to 320
8.217 * * * * [points]: Filtering points with unrepresentable outputs
8.217 * * * * [points]: Sampling 8 additional inputs, on iter 10 have 7992 / 8000
8.217 * * * * [points]: Computing exacts for 8 points
8.220 * * * * [points]: Setting MPFR precision to 64
8.221 * * * * [points]: Setting MPFR precision to 320
8.222 * * * * [points]: Filtering points with unrepresentable outputs
8.222 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
8.222 * * * * [points]: Computing exacts for 4 points
8.225 * * * * [points]: Setting MPFR precision to 64
8.225 * * * * [points]: Setting MPFR precision to 320
8.226 * * * * [points]: Filtering points with unrepresentable outputs
8.226 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000
8.226 * * * * [points]: Computing exacts for 4 points
8.229 * * * * [points]: Setting MPFR precision to 64
8.230 * * * * [points]: Setting MPFR precision to 320
8.230 * * * * [points]: Filtering points with unrepresentable outputs
8.230 * * * * [points]: Sampled 8000 points with exact outputs
8.608 * [regime-testing]: Baseline error score: 0.00875
8.617 * [regime-testing]: Oracle error score: 0.00875
8.617 * [regime-testing]: End program error score: 0.00875