23.611 * [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.007 * * * * [points]: Computing exacts on every 16 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 8 of 256 points to ramp up precision
0.017 * * * * [points]: Setting MPFR precision to 64
0.018 * * * * [points]: Setting MPFR precision to 320
0.019 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.022 * * * * [points]: Setting MPFR precision to 64
0.024 * * * * [points]: Setting MPFR precision to 320
0.026 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.028 * * * * [points]: Setting MPFR precision to 64
0.032 * * * * [points]: Setting MPFR precision to 320
0.035 * * * * [points]: Computing exacts for 256 points
0.038 * * * * [points]: Setting MPFR precision to 64
0.052 * * * * [points]: Setting MPFR precision to 320
0.076 * * * * [points]: Filtering points with unrepresentable outputs
0.077 * * * * [points]: Sampling 143 additional inputs, on iter 1 have 113 / 256
0.079 * * * * [points]: Computing exacts on every 8 of 143 points to ramp up precision
0.084 * * * * [points]: Setting MPFR precision to 64
0.085 * * * * [points]: Setting MPFR precision to 320
0.110 * * * * [points]: Computing exacts on every 4 of 143 points to ramp up precision
0.115 * * * * [points]: Setting MPFR precision to 64
0.117 * * * * [points]: Setting MPFR precision to 320
0.122 * * * * [points]: Computing exacts on every 2 of 143 points to ramp up precision
0.127 * * * * [points]: Setting MPFR precision to 64
0.131 * * * * [points]: Setting MPFR precision to 320
0.135 * * * * [points]: Computing exacts for 143 points
0.138 * * * * [points]: Setting MPFR precision to 64
0.144 * * * * [points]: Setting MPFR precision to 320
0.150 * * * * [points]: Filtering points with unrepresentable outputs
0.150 * * * * [points]: Sampling 74 additional inputs, on iter 2 have 182 / 256
0.151 * * * * [points]: Computing exacts on every 4 of 74 points to ramp up precision
0.153 * * * * [points]: Setting MPFR precision to 64
0.154 * * * * [points]: Setting MPFR precision to 320
0.154 * * * * [points]: Computing exacts on every 2 of 74 points to ramp up precision
0.157 * * * * [points]: Setting MPFR precision to 64
0.158 * * * * [points]: Setting MPFR precision to 320
0.159 * * * * [points]: Computing exacts for 74 points
0.161 * * * * [points]: Setting MPFR precision to 64
0.164 * * * * [points]: Setting MPFR precision to 320
0.171 * * * * [points]: Filtering points with unrepresentable outputs
0.171 * * * * [points]: Sampling 29 additional inputs, on iter 3 have 227 / 256
0.171 * * * * [points]: Computing exacts for 29 points
0.176 * * * * [points]: Setting MPFR precision to 64
0.178 * * * * [points]: Setting MPFR precision to 320
0.181 * * * * [points]: Filtering points with unrepresentable outputs
0.181 * * * * [points]: Sampling 10 additional inputs, on iter 4 have 246 / 256
0.181 * * * * [points]: Computing exacts for 10 points
0.186 * * * * [points]: Setting MPFR precision to 64
0.187 * * * * [points]: Setting MPFR precision to 320
0.188 * * * * [points]: Filtering points with unrepresentable outputs
0.188 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256
0.188 * * * * [points]: Computing exacts for 5 points
0.193 * * * * [points]: Setting MPFR precision to 64
0.193 * * * * [points]: Setting MPFR precision to 320
0.194 * * * * [points]: Filtering points with unrepresentable outputs
0.194 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.194 * * * * [points]: Computing exacts for 4 points
0.198 * * * * [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]: Sampled 258 points with exact outputs
0.198 * * * [progress]: [2/2] Setting up program.
0.202 * [progress]: [Phase 2 of 3] Improving.
0.202 * * * * [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.202 * [simplify]: Simplifying:
  (re (complex (* (/ (+ (exp x) (exp (- x))) 2) (cos y)) (* (/ (- (exp x) (exp (- x))) 2) (sin y))))
0.203 * * [simplify]: iteration 1: (16 enodes)
0.205 * * [simplify]: iteration 2: (30 enodes)
0.210 * * [simplify]: iteration 3: (48 enodes)
0.218 * * [simplify]: iteration 4: (80 enodes)
0.253 * * [simplify]: iteration 5: (114 enodes)
0.269 * * [simplify]: iteration 6: (178 enodes)
0.325 * * [simplify]: iteration 7: (419 enodes)
0.610 * * [simplify]: iteration 8: (1079 enodes)
1.378 * * [simplify]: iteration 9: (1767 enodes)
1.935 * * [simplify]: Extracting #0: cost 1 inf + 0
1.935 * * [simplify]: Extracting #1: cost 17 inf + 0
1.935 * * [simplify]: Extracting #2: cost 21 inf + 3
1.935 * * [simplify]: Extracting #3: cost 37 inf + 65
1.936 * * [simplify]: Extracting #4: cost 65 inf + 637
1.937 * * [simplify]: Extracting #5: cost 41 inf + 5281
1.941 * * [simplify]: Extracting #6: cost 7 inf + 10912
1.949 * * [simplify]: Extracting #7: cost 0 inf + 12732
1.958 * * [simplify]: Extracting #8: cost 0 inf + 12592
1.967 * [simplify]: Simplified to:
  (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)
1.979 * * [progress]: iteration 1 / 4
1.979 * * * [progress]: picking best candidate
1.994 * * * * [pick]: Picked  #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2))>
1.994 * * * [progress]: localizing error
2.030 * * * [progress]: generating rewritten candidates
2.030 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
2.045 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
2.056 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
2.078 * * * [progress]: generating series expansions
2.078 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
2.078 * [backup-simplify]: Simplify (/ (cos y) (exp x)) into (/ (cos y) (exp x))
2.078 * [approximate]: Taking taylor expansion of (/ (cos y) (exp x)) in (y x) around 0
2.078 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x
2.078 * [taylor]: Taking taylor expansion of (cos y) in x
2.078 * [taylor]: Taking taylor expansion of y in x
2.078 * [backup-simplify]: Simplify y into y
2.078 * [backup-simplify]: Simplify (cos y) into (cos y)
2.078 * [backup-simplify]: Simplify (sin y) into (sin y)
2.078 * [taylor]: Taking taylor expansion of (exp x) in x
2.078 * [taylor]: Taking taylor expansion of x in x
2.079 * [backup-simplify]: Simplify 0 into 0
2.079 * [backup-simplify]: Simplify 1 into 1
2.079 * [backup-simplify]: Simplify (exp 0) into 1
2.079 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
2.079 * [backup-simplify]: Simplify (* (sin y) 0) into 0
2.080 * [backup-simplify]: Simplify (- 0) into 0
2.080 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
2.080 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y)
2.080 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
2.080 * [taylor]: Taking taylor expansion of (cos y) in y
2.080 * [taylor]: Taking taylor expansion of y in y
2.080 * [backup-simplify]: Simplify 0 into 0
2.080 * [backup-simplify]: Simplify 1 into 1
2.080 * [taylor]: Taking taylor expansion of (exp x) in y
2.080 * [taylor]: Taking taylor expansion of x in y
2.080 * [backup-simplify]: Simplify x into x
2.080 * [backup-simplify]: Simplify (exp x) into (exp x)
2.080 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
2.080 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
2.080 * [taylor]: Taking taylor expansion of (cos y) in y
2.080 * [taylor]: Taking taylor expansion of y in y
2.080 * [backup-simplify]: Simplify 0 into 0
2.080 * [backup-simplify]: Simplify 1 into 1
2.080 * [taylor]: Taking taylor expansion of (exp x) in y
2.080 * [taylor]: Taking taylor expansion of x in y
2.080 * [backup-simplify]: Simplify x into x
2.080 * [backup-simplify]: Simplify (exp x) into (exp x)
2.080 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
2.080 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
2.081 * [taylor]: Taking taylor expansion of (exp x) in x
2.081 * [taylor]: Taking taylor expansion of x in x
2.081 * [backup-simplify]: Simplify 0 into 0
2.081 * [backup-simplify]: Simplify 1 into 1
2.081 * [backup-simplify]: Simplify (exp 0) into 1
2.081 * [backup-simplify]: Simplify (/ 1 1) into 1
2.081 * [backup-simplify]: Simplify 1 into 1
2.082 * [backup-simplify]: Simplify (+ 0) into 0
2.083 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
2.083 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0
2.083 * [taylor]: Taking taylor expansion of 0 in x
2.083 * [backup-simplify]: Simplify 0 into 0
2.083 * [backup-simplify]: Simplify 0 into 0
2.085 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.086 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
2.086 * [backup-simplify]: Simplify -1 into -1
2.087 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
2.088 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.088 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x))))
2.088 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (exp x)))) in x
2.088 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x
2.088 * [taylor]: Taking taylor expansion of 1/2 in x
2.088 * [backup-simplify]: Simplify 1/2 into 1/2
2.088 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
2.088 * [taylor]: Taking taylor expansion of (exp x) in x
2.088 * [taylor]: Taking taylor expansion of x in x
2.088 * [backup-simplify]: Simplify 0 into 0
2.088 * [backup-simplify]: Simplify 1 into 1
2.088 * [backup-simplify]: Simplify (exp 0) into 1
2.089 * [backup-simplify]: Simplify (/ 1 1) into 1
2.089 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
2.090 * [backup-simplify]: Simplify (- 1/2) into -1/2
2.090 * [backup-simplify]: Simplify -1/2 into -1/2
2.090 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* -1 (* x 1)) 1)) into (- 1 (+ (* 1/2 (pow y 2)) x))
2.090 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
2.090 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in (y x) around 0
2.090 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
2.090 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
2.090 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.090 * [taylor]: Taking taylor expansion of y in x
2.090 * [backup-simplify]: Simplify y into y
2.090 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.090 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.090 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
2.090 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.091 * [taylor]: Taking taylor expansion of x in x
2.091 * [backup-simplify]: Simplify 0 into 0
2.091 * [backup-simplify]: Simplify 1 into 1
2.091 * [backup-simplify]: Simplify (/ 1 1) into 1
2.091 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.091 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
2.091 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
2.092 * [backup-simplify]: Simplify (- 0) into 0
2.092 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
2.092 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
2.092 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
2.092 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.092 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.092 * [taylor]: Taking taylor expansion of y in y
2.092 * [backup-simplify]: Simplify 0 into 0
2.092 * [backup-simplify]: Simplify 1 into 1
2.092 * [backup-simplify]: Simplify (/ 1 1) into 1
2.092 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.092 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
2.093 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.093 * [taylor]: Taking taylor expansion of x in y
2.093 * [backup-simplify]: Simplify x into x
2.093 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.093 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.093 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
2.093 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
2.093 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.093 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.093 * [taylor]: Taking taylor expansion of y in y
2.093 * [backup-simplify]: Simplify 0 into 0
2.093 * [backup-simplify]: Simplify 1 into 1
2.098 * [backup-simplify]: Simplify (/ 1 1) into 1
2.098 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.098 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
2.098 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.098 * [taylor]: Taking taylor expansion of x in y
2.098 * [backup-simplify]: Simplify x into x
2.098 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.098 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.099 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
2.099 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
2.099 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
2.099 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.099 * [taylor]: Taking taylor expansion of y in x
2.099 * [backup-simplify]: Simplify y into y
2.099 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.099 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.099 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
2.099 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.099 * [taylor]: Taking taylor expansion of x in x
2.099 * [backup-simplify]: Simplify 0 into 0
2.099 * [backup-simplify]: Simplify 1 into 1
2.100 * [backup-simplify]: Simplify (/ 1 1) into 1
2.100 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.100 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
2.100 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
2.100 * [backup-simplify]: Simplify (- 0) into 0
2.100 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
2.100 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
2.101 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
2.101 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.102 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
2.102 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
2.102 * [taylor]: Taking taylor expansion of 0 in x
2.102 * [backup-simplify]: Simplify 0 into 0
2.102 * [backup-simplify]: Simplify 0 into 0
2.103 * [backup-simplify]: Simplify (+ 0) into 0
2.104 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
2.104 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.105 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.105 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
2.106 * [backup-simplify]: Simplify (- 0) into 0
2.106 * [backup-simplify]: Simplify (+ 0 0) into 0
2.106 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
2.106 * [backup-simplify]: Simplify 0 into 0
2.107 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.108 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.108 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
2.108 * [taylor]: Taking taylor expansion of 0 in x
2.108 * [backup-simplify]: Simplify 0 into 0
2.108 * [backup-simplify]: Simplify 0 into 0
2.108 * [backup-simplify]: Simplify 0 into 0
2.109 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.110 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
2.110 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.111 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.111 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
2.112 * [backup-simplify]: Simplify (- 0) into 0
2.112 * [backup-simplify]: Simplify (+ 0 0) into 0
2.113 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
2.113 * [backup-simplify]: Simplify 0 into 0
2.113 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.115 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.115 * [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
2.115 * [taylor]: Taking taylor expansion of 0 in x
2.115 * [backup-simplify]: Simplify 0 into 0
2.115 * [backup-simplify]: Simplify 0 into 0
2.115 * [backup-simplify]: Simplify (/ (cos (/ 1 (/ 1 y))) (exp (/ 1 (/ 1 x)))) into (/ (cos y) (exp x))
2.115 * [backup-simplify]: Simplify (/ (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
2.116 * [approximate]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in (y x) around 0
2.116 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
2.116 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
2.116 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.116 * [taylor]: Taking taylor expansion of -1 in x
2.116 * [backup-simplify]: Simplify -1 into -1
2.116 * [taylor]: Taking taylor expansion of y in x
2.116 * [backup-simplify]: Simplify y into y
2.116 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
2.116 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.116 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
2.116 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.116 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.116 * [taylor]: Taking taylor expansion of -1 in x
2.116 * [backup-simplify]: Simplify -1 into -1
2.116 * [taylor]: Taking taylor expansion of x in x
2.116 * [backup-simplify]: Simplify 0 into 0
2.116 * [backup-simplify]: Simplify 1 into 1
2.117 * [backup-simplify]: Simplify (/ -1 1) into -1
2.117 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.117 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
2.117 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
2.117 * [backup-simplify]: Simplify (- 0) into 0
2.117 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
2.117 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
2.118 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
2.118 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.118 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.118 * [taylor]: Taking taylor expansion of -1 in y
2.118 * [backup-simplify]: Simplify -1 into -1
2.118 * [taylor]: Taking taylor expansion of y in y
2.118 * [backup-simplify]: Simplify 0 into 0
2.118 * [backup-simplify]: Simplify 1 into 1
2.118 * [backup-simplify]: Simplify (/ -1 1) into -1
2.118 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.118 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
2.118 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.118 * [taylor]: Taking taylor expansion of -1 in y
2.118 * [backup-simplify]: Simplify -1 into -1
2.118 * [taylor]: Taking taylor expansion of x in y
2.118 * [backup-simplify]: Simplify x into x
2.118 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.119 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.119 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
2.119 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
2.119 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.119 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.119 * [taylor]: Taking taylor expansion of -1 in y
2.119 * [backup-simplify]: Simplify -1 into -1
2.119 * [taylor]: Taking taylor expansion of y in y
2.119 * [backup-simplify]: Simplify 0 into 0
2.119 * [backup-simplify]: Simplify 1 into 1
2.119 * [backup-simplify]: Simplify (/ -1 1) into -1
2.119 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.119 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
2.119 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.120 * [taylor]: Taking taylor expansion of -1 in y
2.120 * [backup-simplify]: Simplify -1 into -1
2.120 * [taylor]: Taking taylor expansion of x in y
2.120 * [backup-simplify]: Simplify x into x
2.120 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.120 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.120 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
2.120 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
2.120 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
2.120 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.120 * [taylor]: Taking taylor expansion of -1 in x
2.120 * [backup-simplify]: Simplify -1 into -1
2.120 * [taylor]: Taking taylor expansion of y in x
2.120 * [backup-simplify]: Simplify y into y
2.120 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
2.120 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.120 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
2.120 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.120 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.120 * [taylor]: Taking taylor expansion of -1 in x
2.121 * [backup-simplify]: Simplify -1 into -1
2.121 * [taylor]: Taking taylor expansion of x in x
2.121 * [backup-simplify]: Simplify 0 into 0
2.121 * [backup-simplify]: Simplify 1 into 1
2.121 * [backup-simplify]: Simplify (/ -1 1) into -1
2.121 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.121 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
2.121 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
2.122 * [backup-simplify]: Simplify (- 0) into 0
2.122 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
2.122 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
2.122 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
2.123 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
2.124 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
2.124 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
2.124 * [taylor]: Taking taylor expansion of 0 in x
2.124 * [backup-simplify]: Simplify 0 into 0
2.124 * [backup-simplify]: Simplify 0 into 0
2.124 * [backup-simplify]: Simplify (+ 0) into 0
2.125 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
2.125 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
2.126 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.126 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
2.127 * [backup-simplify]: Simplify (- 0) into 0
2.127 * [backup-simplify]: Simplify (+ 0 0) into 0
2.127 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
2.127 * [backup-simplify]: Simplify 0 into 0
2.128 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.129 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.129 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
2.129 * [taylor]: Taking taylor expansion of 0 in x
2.129 * [backup-simplify]: Simplify 0 into 0
2.129 * [backup-simplify]: Simplify 0 into 0
2.129 * [backup-simplify]: Simplify 0 into 0
2.130 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.131 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
2.131 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.132 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.133 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
2.133 * [backup-simplify]: Simplify (- 0) into 0
2.134 * [backup-simplify]: Simplify (+ 0 0) into 0
2.134 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
2.134 * [backup-simplify]: Simplify 0 into 0
2.134 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.136 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.137 * [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
2.137 * [taylor]: Taking taylor expansion of 0 in x
2.137 * [backup-simplify]: Simplify 0 into 0
2.137 * [backup-simplify]: Simplify 0 into 0
2.137 * [backup-simplify]: Simplify (/ (cos (/ -1 (/ 1 (- y)))) (exp (/ -1 (/ 1 (- x))))) into (/ (cos y) (exp x))
2.137 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
2.137 * [backup-simplify]: Simplify (* (cos y) (exp x)) into (* (exp x) (cos y))
2.137 * [approximate]: Taking taylor expansion of (* (exp x) (cos y)) in (y x) around 0
2.137 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in x
2.137 * [taylor]: Taking taylor expansion of (exp x) in x
2.137 * [taylor]: Taking taylor expansion of x in x
2.137 * [backup-simplify]: Simplify 0 into 0
2.137 * [backup-simplify]: Simplify 1 into 1
2.137 * [backup-simplify]: Simplify (exp 0) into 1
2.137 * [taylor]: Taking taylor expansion of (cos y) in x
2.137 * [taylor]: Taking taylor expansion of y in x
2.137 * [backup-simplify]: Simplify y into y
2.137 * [backup-simplify]: Simplify (cos y) into (cos y)
2.137 * [backup-simplify]: Simplify (sin y) into (sin y)
2.137 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y
2.138 * [taylor]: Taking taylor expansion of (exp x) in y
2.138 * [taylor]: Taking taylor expansion of x in y
2.138 * [backup-simplify]: Simplify x into x
2.138 * [backup-simplify]: Simplify (exp x) into (exp x)
2.138 * [taylor]: Taking taylor expansion of (cos y) in y
2.138 * [taylor]: Taking taylor expansion of y in y
2.138 * [backup-simplify]: Simplify 0 into 0
2.138 * [backup-simplify]: Simplify 1 into 1
2.138 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y
2.138 * [taylor]: Taking taylor expansion of (exp x) in y
2.138 * [taylor]: Taking taylor expansion of x in y
2.138 * [backup-simplify]: Simplify x into x
2.138 * [backup-simplify]: Simplify (exp x) into (exp x)
2.138 * [taylor]: Taking taylor expansion of (cos y) in y
2.138 * [taylor]: Taking taylor expansion of y in y
2.138 * [backup-simplify]: Simplify 0 into 0
2.138 * [backup-simplify]: Simplify 1 into 1
2.138 * [backup-simplify]: Simplify (* (exp x) 1) into (exp x)
2.138 * [taylor]: Taking taylor expansion of (exp x) in x
2.138 * [taylor]: Taking taylor expansion of x in x
2.138 * [backup-simplify]: Simplify 0 into 0
2.138 * [backup-simplify]: Simplify 1 into 1
2.138 * [backup-simplify]: Simplify (exp 0) into 1
2.138 * [backup-simplify]: Simplify 1 into 1
2.139 * [backup-simplify]: Simplify (+ 0) into 0
2.140 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
2.140 * [backup-simplify]: Simplify (+ (* (exp x) 0) (* 0 1)) into 0
2.140 * [taylor]: Taking taylor expansion of 0 in x
2.140 * [backup-simplify]: Simplify 0 into 0
2.140 * [backup-simplify]: Simplify 0 into 0
2.141 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.141 * [backup-simplify]: Simplify 1 into 1
2.141 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
2.142 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.143 * [backup-simplify]: Simplify (+ (* (exp x) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp x)))
2.143 * [taylor]: Taking taylor expansion of (- (* 1/2 (exp x))) in x
2.143 * [taylor]: Taking taylor expansion of (* 1/2 (exp x)) in x
2.143 * [taylor]: Taking taylor expansion of 1/2 in x
2.143 * [backup-simplify]: Simplify 1/2 into 1/2
2.143 * [taylor]: Taking taylor expansion of (exp x) in x
2.143 * [taylor]: Taking taylor expansion of x in x
2.143 * [backup-simplify]: Simplify 0 into 0
2.143 * [backup-simplify]: Simplify 1 into 1
2.143 * [backup-simplify]: Simplify (exp 0) into 1
2.143 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
2.143 * [backup-simplify]: Simplify (- 1/2) into -1/2
2.143 * [backup-simplify]: Simplify -1/2 into -1/2
2.144 * [backup-simplify]: Simplify (+ (* -1/2 (pow (* 1 y) 2)) (+ (* 1 (* x 1)) 1)) into (- (+ x 1) (* 1/2 (pow y 2)))
2.144 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (exp (/ 1 x))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
2.144 * [approximate]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in (y x) around 0
2.144 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x
2.144 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.144 * [taylor]: Taking taylor expansion of x in x
2.144 * [backup-simplify]: Simplify 0 into 0
2.144 * [backup-simplify]: Simplify 1 into 1
2.144 * [backup-simplify]: Simplify (/ 1 1) into 1
2.144 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.144 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
2.144 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.144 * [taylor]: Taking taylor expansion of y in x
2.144 * [backup-simplify]: Simplify y into y
2.144 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.144 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.144 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
2.144 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y
2.144 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
2.144 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.144 * [taylor]: Taking taylor expansion of x in y
2.144 * [backup-simplify]: Simplify x into x
2.144 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.144 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.144 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.144 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.145 * [taylor]: Taking taylor expansion of y in y
2.145 * [backup-simplify]: Simplify 0 into 0
2.145 * [backup-simplify]: Simplify 1 into 1
2.145 * [backup-simplify]: Simplify (/ 1 1) into 1
2.145 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.145 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y
2.145 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
2.145 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.145 * [taylor]: Taking taylor expansion of x in y
2.145 * [backup-simplify]: Simplify x into x
2.145 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.145 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.145 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.145 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.145 * [taylor]: Taking taylor expansion of y in y
2.145 * [backup-simplify]: Simplify 0 into 0
2.145 * [backup-simplify]: Simplify 1 into 1
2.145 * [backup-simplify]: Simplify (/ 1 1) into 1
2.145 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.146 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
2.146 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x
2.146 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.146 * [taylor]: Taking taylor expansion of x in x
2.146 * [backup-simplify]: Simplify 0 into 0
2.146 * [backup-simplify]: Simplify 1 into 1
2.146 * [backup-simplify]: Simplify (/ 1 1) into 1
2.146 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.146 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
2.146 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.146 * [taylor]: Taking taylor expansion of y in x
2.146 * [backup-simplify]: Simplify y into y
2.146 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.146 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.146 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
2.146 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
2.146 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
2.146 * [backup-simplify]: Simplify (- 0) into 0
2.147 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
2.147 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
2.147 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
2.147 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.147 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
2.147 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0
2.147 * [taylor]: Taking taylor expansion of 0 in x
2.147 * [backup-simplify]: Simplify 0 into 0
2.147 * [backup-simplify]: Simplify 0 into 0
2.148 * [backup-simplify]: Simplify (+ 0) into 0
2.148 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
2.148 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.149 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.149 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
2.149 * [backup-simplify]: Simplify (- 0) into 0
2.149 * [backup-simplify]: Simplify (+ 0 0) into 0
2.149 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0
2.149 * [backup-simplify]: Simplify 0 into 0
2.150 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.150 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.151 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
2.151 * [taylor]: Taking taylor expansion of 0 in x
2.151 * [backup-simplify]: Simplify 0 into 0
2.151 * [backup-simplify]: Simplify 0 into 0
2.151 * [backup-simplify]: Simplify 0 into 0
2.151 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.152 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
2.152 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.152 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.153 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
2.153 * [backup-simplify]: Simplify (- 0) into 0
2.153 * [backup-simplify]: Simplify (+ 0 0) into 0
2.153 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
2.153 * [backup-simplify]: Simplify 0 into 0
2.154 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.154 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.155 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0
2.155 * [taylor]: Taking taylor expansion of 0 in x
2.155 * [backup-simplify]: Simplify 0 into 0
2.155 * [backup-simplify]: Simplify 0 into 0
2.155 * [backup-simplify]: Simplify (* (exp (/ 1 (/ 1 x))) (cos (/ 1 (/ 1 y)))) into (* (exp x) (cos y))
2.155 * [backup-simplify]: Simplify (* (cos (/ 1 (- y))) (exp (/ 1 (- x)))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
2.155 * [approximate]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in (y x) around 0
2.155 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x
2.155 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.155 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.155 * [taylor]: Taking taylor expansion of -1 in x
2.155 * [backup-simplify]: Simplify -1 into -1
2.155 * [taylor]: Taking taylor expansion of x in x
2.155 * [backup-simplify]: Simplify 0 into 0
2.155 * [backup-simplify]: Simplify 1 into 1
2.156 * [backup-simplify]: Simplify (/ -1 1) into -1
2.156 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.156 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
2.156 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.156 * [taylor]: Taking taylor expansion of -1 in x
2.156 * [backup-simplify]: Simplify -1 into -1
2.156 * [taylor]: Taking taylor expansion of y in x
2.156 * [backup-simplify]: Simplify y into y
2.156 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
2.156 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.156 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
2.156 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y
2.156 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
2.156 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.156 * [taylor]: Taking taylor expansion of -1 in y
2.156 * [backup-simplify]: Simplify -1 into -1
2.156 * [taylor]: Taking taylor expansion of x in y
2.156 * [backup-simplify]: Simplify x into x
2.156 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.156 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.156 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.156 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.156 * [taylor]: Taking taylor expansion of -1 in y
2.156 * [backup-simplify]: Simplify -1 into -1
2.156 * [taylor]: Taking taylor expansion of y in y
2.156 * [backup-simplify]: Simplify 0 into 0
2.156 * [backup-simplify]: Simplify 1 into 1
2.157 * [backup-simplify]: Simplify (/ -1 1) into -1
2.157 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.157 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y
2.157 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
2.157 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.157 * [taylor]: Taking taylor expansion of -1 in y
2.157 * [backup-simplify]: Simplify -1 into -1
2.157 * [taylor]: Taking taylor expansion of x in y
2.157 * [backup-simplify]: Simplify x into x
2.157 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.157 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.157 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.157 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.157 * [taylor]: Taking taylor expansion of -1 in y
2.157 * [backup-simplify]: Simplify -1 into -1
2.157 * [taylor]: Taking taylor expansion of y in y
2.157 * [backup-simplify]: Simplify 0 into 0
2.157 * [backup-simplify]: Simplify 1 into 1
2.157 * [backup-simplify]: Simplify (/ -1 1) into -1
2.157 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.157 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
2.157 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x
2.157 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.157 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.157 * [taylor]: Taking taylor expansion of -1 in x
2.157 * [backup-simplify]: Simplify -1 into -1
2.158 * [taylor]: Taking taylor expansion of x in x
2.158 * [backup-simplify]: Simplify 0 into 0
2.158 * [backup-simplify]: Simplify 1 into 1
2.158 * [backup-simplify]: Simplify (/ -1 1) into -1
2.158 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.158 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
2.158 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.158 * [taylor]: Taking taylor expansion of -1 in x
2.158 * [backup-simplify]: Simplify -1 into -1
2.158 * [taylor]: Taking taylor expansion of y in x
2.158 * [backup-simplify]: Simplify y into y
2.158 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
2.158 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.158 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
2.158 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
2.158 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
2.158 * [backup-simplify]: Simplify (- 0) into 0
2.159 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
2.159 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
2.159 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
2.159 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
2.159 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
2.159 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0
2.159 * [taylor]: Taking taylor expansion of 0 in x
2.159 * [backup-simplify]: Simplify 0 into 0
2.159 * [backup-simplify]: Simplify 0 into 0
2.160 * [backup-simplify]: Simplify (+ 0) into 0
2.160 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
2.160 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
2.161 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.161 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
2.161 * [backup-simplify]: Simplify (- 0) into 0
2.161 * [backup-simplify]: Simplify (+ 0 0) into 0
2.161 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0
2.161 * [backup-simplify]: Simplify 0 into 0
2.162 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.162 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.163 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
2.163 * [taylor]: Taking taylor expansion of 0 in x
2.163 * [backup-simplify]: Simplify 0 into 0
2.163 * [backup-simplify]: Simplify 0 into 0
2.163 * [backup-simplify]: Simplify 0 into 0
2.163 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.164 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
2.164 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.164 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.165 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
2.165 * [backup-simplify]: Simplify (- 0) into 0
2.165 * [backup-simplify]: Simplify (+ 0 0) into 0
2.165 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
2.165 * [backup-simplify]: Simplify 0 into 0
2.166 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.167 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.167 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0
2.167 * [taylor]: Taking taylor expansion of 0 in x
2.167 * [backup-simplify]: Simplify 0 into 0
2.167 * [backup-simplify]: Simplify 0 into 0
2.167 * [backup-simplify]: Simplify (* (exp (/ -1 (/ 1 (- x)))) (cos (/ -1 (/ 1 (- y))))) into (* (exp x) (cos y))
2.167 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
2.167 * [backup-simplify]: Simplify (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) into (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
2.167 * [approximate]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in (y x) around 0
2.167 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in x
2.168 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in x
2.168 * [taylor]: Taking taylor expansion of (cos y) in x
2.168 * [taylor]: Taking taylor expansion of y in x
2.168 * [backup-simplify]: Simplify y into y
2.168 * [backup-simplify]: Simplify (cos y) into (cos y)
2.168 * [backup-simplify]: Simplify (sin y) into (sin y)
2.168 * [taylor]: Taking taylor expansion of (exp x) in x
2.168 * [taylor]: Taking taylor expansion of x in x
2.168 * [backup-simplify]: Simplify 0 into 0
2.168 * [backup-simplify]: Simplify 1 into 1
2.168 * [backup-simplify]: Simplify (exp 0) into 1
2.168 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
2.168 * [backup-simplify]: Simplify (* (sin y) 0) into 0
2.168 * [backup-simplify]: Simplify (- 0) into 0
2.168 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
2.168 * [backup-simplify]: Simplify (/ (cos y) 1) into (cos y)
2.168 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in x
2.168 * [taylor]: Taking taylor expansion of (exp x) in x
2.168 * [taylor]: Taking taylor expansion of x in x
2.168 * [backup-simplify]: Simplify 0 into 0
2.168 * [backup-simplify]: Simplify 1 into 1
2.168 * [backup-simplify]: Simplify (exp 0) into 1
2.168 * [taylor]: Taking taylor expansion of (cos y) in x
2.168 * [taylor]: Taking taylor expansion of y in x
2.168 * [backup-simplify]: Simplify y into y
2.168 * [backup-simplify]: Simplify (cos y) into (cos y)
2.168 * [backup-simplify]: Simplify (sin y) into (sin y)
2.168 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in y
2.168 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
2.168 * [taylor]: Taking taylor expansion of (cos y) in y
2.168 * [taylor]: Taking taylor expansion of y in y
2.168 * [backup-simplify]: Simplify 0 into 0
2.168 * [backup-simplify]: Simplify 1 into 1
2.168 * [taylor]: Taking taylor expansion of (exp x) in y
2.168 * [taylor]: Taking taylor expansion of x in y
2.168 * [backup-simplify]: Simplify x into x
2.169 * [backup-simplify]: Simplify (exp x) into (exp x)
2.169 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
2.169 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y
2.169 * [taylor]: Taking taylor expansion of (exp x) in y
2.169 * [taylor]: Taking taylor expansion of x in y
2.169 * [backup-simplify]: Simplify x into x
2.169 * [backup-simplify]: Simplify (exp x) into (exp x)
2.169 * [taylor]: Taking taylor expansion of (cos y) in y
2.169 * [taylor]: Taking taylor expansion of y in y
2.169 * [backup-simplify]: Simplify 0 into 0
2.169 * [backup-simplify]: Simplify 1 into 1
2.169 * [taylor]: Taking taylor expansion of (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) in y
2.169 * [taylor]: Taking taylor expansion of (/ (cos y) (exp x)) in y
2.169 * [taylor]: Taking taylor expansion of (cos y) in y
2.169 * [taylor]: Taking taylor expansion of y in y
2.169 * [backup-simplify]: Simplify 0 into 0
2.169 * [backup-simplify]: Simplify 1 into 1
2.169 * [taylor]: Taking taylor expansion of (exp x) in y
2.169 * [taylor]: Taking taylor expansion of x in y
2.169 * [backup-simplify]: Simplify x into x
2.169 * [backup-simplify]: Simplify (exp x) into (exp x)
2.169 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
2.169 * [taylor]: Taking taylor expansion of (* (exp x) (cos y)) in y
2.169 * [taylor]: Taking taylor expansion of (exp x) in y
2.169 * [taylor]: Taking taylor expansion of x in y
2.169 * [backup-simplify]: Simplify x into x
2.169 * [backup-simplify]: Simplify (exp x) into (exp x)
2.169 * [taylor]: Taking taylor expansion of (cos y) in y
2.169 * [taylor]: Taking taylor expansion of y in y
2.169 * [backup-simplify]: Simplify 0 into 0
2.169 * [backup-simplify]: Simplify 1 into 1
2.169 * [backup-simplify]: Simplify (* (exp x) 1) into (exp x)
2.169 * [backup-simplify]: Simplify (+ (/ 1 (exp x)) (exp x)) into (+ (exp x) (/ 1 (exp x)))
2.169 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x
2.169 * [taylor]: Taking taylor expansion of (exp x) in x
2.169 * [taylor]: Taking taylor expansion of x in x
2.169 * [backup-simplify]: Simplify 0 into 0
2.169 * [backup-simplify]: Simplify 1 into 1
2.169 * [backup-simplify]: Simplify (exp 0) into 1
2.169 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
2.169 * [taylor]: Taking taylor expansion of (exp x) in x
2.169 * [taylor]: Taking taylor expansion of x in x
2.169 * [backup-simplify]: Simplify 0 into 0
2.169 * [backup-simplify]: Simplify 1 into 1
2.169 * [backup-simplify]: Simplify (exp 0) into 1
2.170 * [backup-simplify]: Simplify (/ 1 1) into 1
2.170 * [backup-simplify]: Simplify (+ 1 1) into 2
2.170 * [backup-simplify]: Simplify 2 into 2
2.170 * [backup-simplify]: Simplify (+ 0) into 0
2.171 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
2.171 * [backup-simplify]: Simplify (- (/ 0 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0
2.171 * [backup-simplify]: Simplify (+ 0) into 0
2.171 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
2.172 * [backup-simplify]: Simplify (+ (* (exp x) 0) (* 0 1)) into 0
2.172 * [backup-simplify]: Simplify (+ 0 0) into 0
2.172 * [taylor]: Taking taylor expansion of 0 in x
2.172 * [backup-simplify]: Simplify 0 into 0
2.172 * [backup-simplify]: Simplify 0 into 0
2.173 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.173 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.174 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
2.174 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.174 * [backup-simplify]: Simplify 0 into 0
2.175 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
2.175 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.176 * [backup-simplify]: Simplify (- (/ -1/2 (exp x)) (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into (- (* 1/2 (/ 1 (exp x))))
2.176 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
2.177 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.178 * [backup-simplify]: Simplify (+ (* (exp x) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (exp x)))
2.178 * [backup-simplify]: Simplify (+ (- (* 1/2 (/ 1 (exp x)))) (- (* 1/2 (exp x)))) into (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x)))))
2.178 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x))))) in x
2.178 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x)))) in x
2.178 * [taylor]: Taking taylor expansion of (* 1/2 (exp x)) in x
2.178 * [taylor]: Taking taylor expansion of 1/2 in x
2.178 * [backup-simplify]: Simplify 1/2 into 1/2
2.178 * [taylor]: Taking taylor expansion of (exp x) in x
2.178 * [taylor]: Taking taylor expansion of x in x
2.178 * [backup-simplify]: Simplify 0 into 0
2.178 * [backup-simplify]: Simplify 1 into 1
2.179 * [backup-simplify]: Simplify (exp 0) into 1
2.179 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x
2.179 * [taylor]: Taking taylor expansion of 1/2 in x
2.179 * [backup-simplify]: Simplify 1/2 into 1/2
2.179 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
2.179 * [taylor]: Taking taylor expansion of (exp x) in x
2.179 * [taylor]: Taking taylor expansion of x in x
2.179 * [backup-simplify]: Simplify 0 into 0
2.179 * [backup-simplify]: Simplify 1 into 1
2.179 * [backup-simplify]: Simplify (exp 0) into 1
2.179 * [backup-simplify]: Simplify (/ 1 1) into 1
2.180 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
2.180 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
2.181 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
2.181 * [backup-simplify]: Simplify (- 1) into -1
2.181 * [backup-simplify]: Simplify -1 into -1
2.181 * [backup-simplify]: Simplify 0 into 0
2.184 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.186 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.187 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
2.187 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
2.187 * [backup-simplify]: Simplify 1 into 1
2.187 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (+ (* -1 (pow (* 1 y) 2)) 2)) into (- (+ (pow x 2) 2) (pow y 2))
2.188 * [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))))
2.188 * [approximate]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in (y x) around 0
2.188 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x
2.188 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x
2.188 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.188 * [taylor]: Taking taylor expansion of x in x
2.188 * [backup-simplify]: Simplify 0 into 0
2.188 * [backup-simplify]: Simplify 1 into 1
2.188 * [backup-simplify]: Simplify (/ 1 1) into 1
2.189 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.189 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
2.189 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.189 * [taylor]: Taking taylor expansion of y in x
2.189 * [backup-simplify]: Simplify y into y
2.189 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.189 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.189 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
2.189 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
2.189 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
2.189 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.189 * [taylor]: Taking taylor expansion of y in x
2.189 * [backup-simplify]: Simplify y into y
2.189 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.189 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.189 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
2.189 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.189 * [taylor]: Taking taylor expansion of x in x
2.189 * [backup-simplify]: Simplify 0 into 0
2.189 * [backup-simplify]: Simplify 1 into 1
2.190 * [backup-simplify]: Simplify (/ 1 1) into 1
2.190 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.190 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
2.190 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
2.190 * [backup-simplify]: Simplify (- 0) into 0
2.191 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
2.191 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
2.191 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y
2.191 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y
2.191 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
2.191 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.191 * [taylor]: Taking taylor expansion of x in y
2.191 * [backup-simplify]: Simplify x into x
2.191 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.191 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.191 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.191 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.191 * [taylor]: Taking taylor expansion of y in y
2.191 * [backup-simplify]: Simplify 0 into 0
2.191 * [backup-simplify]: Simplify 1 into 1
2.192 * [backup-simplify]: Simplify (/ 1 1) into 1
2.192 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.192 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
2.192 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.192 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.192 * [taylor]: Taking taylor expansion of y in y
2.192 * [backup-simplify]: Simplify 0 into 0
2.192 * [backup-simplify]: Simplify 1 into 1
2.192 * [backup-simplify]: Simplify (/ 1 1) into 1
2.192 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.192 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
2.192 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.192 * [taylor]: Taking taylor expansion of x in y
2.192 * [backup-simplify]: Simplify x into x
2.193 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.193 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.193 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
2.193 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in y
2.193 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in y
2.193 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
2.193 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.193 * [taylor]: Taking taylor expansion of x in y
2.193 * [backup-simplify]: Simplify x into x
2.193 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.193 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.193 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.193 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.193 * [taylor]: Taking taylor expansion of y in y
2.193 * [backup-simplify]: Simplify 0 into 0
2.193 * [backup-simplify]: Simplify 1 into 1
2.194 * [backup-simplify]: Simplify (/ 1 1) into 1
2.194 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.194 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in y
2.194 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.194 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.194 * [taylor]: Taking taylor expansion of y in y
2.194 * [backup-simplify]: Simplify 0 into 0
2.194 * [backup-simplify]: Simplify 1 into 1
2.194 * [backup-simplify]: Simplify (/ 1 1) into 1
2.194 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.194 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
2.194 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.194 * [taylor]: Taking taylor expansion of x in y
2.194 * [backup-simplify]: Simplify x into x
2.195 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.195 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.195 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
2.195 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
2.195 * [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))))
2.195 * [taylor]: Taking taylor expansion of (+ (* (exp (/ 1 x)) (cos (/ 1 y))) (/ (cos (/ 1 y)) (exp (/ 1 x)))) in x
2.195 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (cos (/ 1 y))) in x
2.195 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.195 * [taylor]: Taking taylor expansion of x in x
2.195 * [backup-simplify]: Simplify 0 into 0
2.195 * [backup-simplify]: Simplify 1 into 1
2.196 * [backup-simplify]: Simplify (/ 1 1) into 1
2.196 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.196 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
2.196 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.196 * [taylor]: Taking taylor expansion of y in x
2.196 * [backup-simplify]: Simplify y into y
2.196 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.196 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.196 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
2.196 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) (exp (/ 1 x))) in x
2.196 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
2.196 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.196 * [taylor]: Taking taylor expansion of y in x
2.196 * [backup-simplify]: Simplify y into y
2.197 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.197 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.197 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
2.197 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.197 * [taylor]: Taking taylor expansion of x in x
2.197 * [backup-simplify]: Simplify 0 into 0
2.197 * [backup-simplify]: Simplify 1 into 1
2.197 * [backup-simplify]: Simplify (/ 1 1) into 1
2.197 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.197 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
2.197 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
2.198 * [backup-simplify]: Simplify (- 0) into 0
2.198 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
2.198 * [backup-simplify]: Simplify (/ (cos (/ 1 y)) (exp (/ 1 x))) into (/ (cos (/ 1 y)) (exp (/ 1 x)))
2.198 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
2.198 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
2.199 * [backup-simplify]: Simplify (- 0) into 0
2.199 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
2.199 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (cos (/ 1 y))) into (* (exp (/ 1 x)) (cos (/ 1 y)))
2.199 * [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))))
2.199 * [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))))
2.200 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.200 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
2.201 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0
2.201 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.202 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
2.202 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
2.202 * [backup-simplify]: Simplify (+ 0 0) into 0
2.202 * [taylor]: Taking taylor expansion of 0 in x
2.202 * [backup-simplify]: Simplify 0 into 0
2.202 * [backup-simplify]: Simplify 0 into 0
2.203 * [backup-simplify]: Simplify (+ 0) into 0
2.203 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
2.204 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.204 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.205 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
2.205 * [backup-simplify]: Simplify (- 0) into 0
2.206 * [backup-simplify]: Simplify (+ 0 0) into 0
2.206 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (cos (/ 1 y)))) into 0
2.206 * [backup-simplify]: Simplify (+ 0) into 0
2.207 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
2.207 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.208 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.208 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
2.208 * [backup-simplify]: Simplify (- 0) into 0
2.209 * [backup-simplify]: Simplify (+ 0 0) into 0
2.209 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
2.209 * [backup-simplify]: Simplify (+ 0 0) into 0
2.210 * [backup-simplify]: Simplify 0 into 0
2.210 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.211 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.212 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
2.212 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.213 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.214 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
2.214 * [backup-simplify]: Simplify (+ 0 0) into 0
2.214 * [taylor]: Taking taylor expansion of 0 in x
2.214 * [backup-simplify]: Simplify 0 into 0
2.214 * [backup-simplify]: Simplify 0 into 0
2.214 * [backup-simplify]: Simplify 0 into 0
2.215 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.216 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
2.216 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.217 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.217 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
2.218 * [backup-simplify]: Simplify (- 0) into 0
2.218 * [backup-simplify]: Simplify (+ 0 0) into 0
2.219 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
2.220 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.220 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
2.221 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.221 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.222 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
2.222 * [backup-simplify]: Simplify (- 0) into 0
2.223 * [backup-simplify]: Simplify (+ 0 0) into 0
2.223 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ (cos (/ 1 y)) (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
2.223 * [backup-simplify]: Simplify (+ 0 0) into 0
2.223 * [backup-simplify]: Simplify 0 into 0
2.224 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.225 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.226 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0
2.226 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.228 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.228 * [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
2.229 * [backup-simplify]: Simplify (+ 0 0) into 0
2.229 * [taylor]: Taking taylor expansion of 0 in x
2.229 * [backup-simplify]: Simplify 0 into 0
2.229 * [backup-simplify]: Simplify 0 into 0
2.229 * [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)))
2.230 * [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))))
2.230 * [approximate]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in (y x) around 0
2.230 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in x
2.230 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
2.230 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
2.230 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.230 * [taylor]: Taking taylor expansion of -1 in x
2.230 * [backup-simplify]: Simplify -1 into -1
2.230 * [taylor]: Taking taylor expansion of y in x
2.230 * [backup-simplify]: Simplify y into y
2.230 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
2.230 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.230 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
2.230 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.230 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.230 * [taylor]: Taking taylor expansion of -1 in x
2.230 * [backup-simplify]: Simplify -1 into -1
2.230 * [taylor]: Taking taylor expansion of x in x
2.230 * [backup-simplify]: Simplify 0 into 0
2.230 * [backup-simplify]: Simplify 1 into 1
2.231 * [backup-simplify]: Simplify (/ -1 1) into -1
2.231 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.231 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
2.231 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
2.231 * [backup-simplify]: Simplify (- 0) into 0
2.231 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
2.231 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
2.232 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x
2.232 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.232 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.232 * [taylor]: Taking taylor expansion of -1 in x
2.232 * [backup-simplify]: Simplify -1 into -1
2.232 * [taylor]: Taking taylor expansion of x in x
2.232 * [backup-simplify]: Simplify 0 into 0
2.232 * [backup-simplify]: Simplify 1 into 1
2.235 * [backup-simplify]: Simplify (/ -1 1) into -1
2.235 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.235 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
2.235 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.235 * [taylor]: Taking taylor expansion of -1 in x
2.235 * [backup-simplify]: Simplify -1 into -1
2.235 * [taylor]: Taking taylor expansion of y in x
2.235 * [backup-simplify]: Simplify y into y
2.235 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
2.235 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.235 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
2.235 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in y
2.235 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
2.235 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.235 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.235 * [taylor]: Taking taylor expansion of -1 in y
2.235 * [backup-simplify]: Simplify -1 into -1
2.235 * [taylor]: Taking taylor expansion of y in y
2.235 * [backup-simplify]: Simplify 0 into 0
2.235 * [backup-simplify]: Simplify 1 into 1
2.236 * [backup-simplify]: Simplify (/ -1 1) into -1
2.236 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.236 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
2.236 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.236 * [taylor]: Taking taylor expansion of -1 in y
2.236 * [backup-simplify]: Simplify -1 into -1
2.236 * [taylor]: Taking taylor expansion of x in y
2.236 * [backup-simplify]: Simplify x into x
2.236 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.236 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.236 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
2.236 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y
2.237 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
2.237 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.237 * [taylor]: Taking taylor expansion of -1 in y
2.237 * [backup-simplify]: Simplify -1 into -1
2.237 * [taylor]: Taking taylor expansion of x in y
2.237 * [backup-simplify]: Simplify x into x
2.237 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.237 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.237 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.237 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.237 * [taylor]: Taking taylor expansion of -1 in y
2.237 * [backup-simplify]: Simplify -1 into -1
2.237 * [taylor]: Taking taylor expansion of y in y
2.237 * [backup-simplify]: Simplify 0 into 0
2.237 * [backup-simplify]: Simplify 1 into 1
2.237 * [backup-simplify]: Simplify (/ -1 1) into -1
2.237 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.237 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in y
2.237 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in y
2.237 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.238 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.238 * [taylor]: Taking taylor expansion of -1 in y
2.238 * [backup-simplify]: Simplify -1 into -1
2.238 * [taylor]: Taking taylor expansion of y in y
2.238 * [backup-simplify]: Simplify 0 into 0
2.238 * [backup-simplify]: Simplify 1 into 1
2.238 * [backup-simplify]: Simplify (/ -1 1) into -1
2.238 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.238 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
2.238 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.238 * [taylor]: Taking taylor expansion of -1 in y
2.238 * [backup-simplify]: Simplify -1 into -1
2.238 * [taylor]: Taking taylor expansion of x in y
2.238 * [backup-simplify]: Simplify x into x
2.238 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.238 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.238 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
2.238 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in y
2.239 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
2.239 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.239 * [taylor]: Taking taylor expansion of -1 in y
2.239 * [backup-simplify]: Simplify -1 into -1
2.239 * [taylor]: Taking taylor expansion of x in y
2.239 * [backup-simplify]: Simplify x into x
2.239 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.239 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.239 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.239 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.239 * [taylor]: Taking taylor expansion of -1 in y
2.239 * [backup-simplify]: Simplify -1 into -1
2.239 * [taylor]: Taking taylor expansion of y in y
2.239 * [backup-simplify]: Simplify 0 into 0
2.239 * [backup-simplify]: Simplify 1 into 1
2.239 * [backup-simplify]: Simplify (/ -1 1) into -1
2.239 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.240 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
2.240 * [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))))
2.240 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) (exp (/ -1 x))) (* (exp (/ -1 x)) (cos (/ -1 y)))) in x
2.240 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) (exp (/ -1 x))) in x
2.240 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
2.240 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.240 * [taylor]: Taking taylor expansion of -1 in x
2.240 * [backup-simplify]: Simplify -1 into -1
2.240 * [taylor]: Taking taylor expansion of y in x
2.240 * [backup-simplify]: Simplify y into y
2.240 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
2.240 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.240 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
2.240 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.240 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.240 * [taylor]: Taking taylor expansion of -1 in x
2.240 * [backup-simplify]: Simplify -1 into -1
2.240 * [taylor]: Taking taylor expansion of x in x
2.240 * [backup-simplify]: Simplify 0 into 0
2.240 * [backup-simplify]: Simplify 1 into 1
2.241 * [backup-simplify]: Simplify (/ -1 1) into -1
2.241 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.241 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
2.241 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
2.241 * [backup-simplify]: Simplify (- 0) into 0
2.242 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
2.242 * [backup-simplify]: Simplify (/ (cos (/ -1 y)) (exp (/ -1 x))) into (/ (cos (/ -1 y)) (exp (/ -1 x)))
2.242 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (cos (/ -1 y))) in x
2.242 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.242 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.242 * [taylor]: Taking taylor expansion of -1 in x
2.242 * [backup-simplify]: Simplify -1 into -1
2.242 * [taylor]: Taking taylor expansion of x in x
2.242 * [backup-simplify]: Simplify 0 into 0
2.242 * [backup-simplify]: Simplify 1 into 1
2.242 * [backup-simplify]: Simplify (/ -1 1) into -1
2.242 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.242 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
2.243 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.243 * [taylor]: Taking taylor expansion of -1 in x
2.243 * [backup-simplify]: Simplify -1 into -1
2.243 * [taylor]: Taking taylor expansion of y in x
2.243 * [backup-simplify]: Simplify y into y
2.243 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
2.243 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.243 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
2.243 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
2.243 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
2.244 * [backup-simplify]: Simplify (- 0) into 0
2.244 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
2.244 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (cos (/ -1 y))) into (* (exp (/ -1 x)) (cos (/ -1 y)))
2.244 * [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))))
2.245 * [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))))
2.245 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
2.246 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
2.246 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
2.246 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
2.247 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
2.247 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0
2.247 * [backup-simplify]: Simplify (+ 0 0) into 0
2.247 * [taylor]: Taking taylor expansion of 0 in x
2.247 * [backup-simplify]: Simplify 0 into 0
2.247 * [backup-simplify]: Simplify 0 into 0
2.248 * [backup-simplify]: Simplify (+ 0) into 0
2.248 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
2.248 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
2.249 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.249 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
2.249 * [backup-simplify]: Simplify (- 0) into 0
2.250 * [backup-simplify]: Simplify (+ 0 0) into 0
2.250 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
2.250 * [backup-simplify]: Simplify (+ 0) into 0
2.250 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
2.251 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
2.251 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.251 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
2.251 * [backup-simplify]: Simplify (- 0) into 0
2.252 * [backup-simplify]: Simplify (+ 0 0) into 0
2.252 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (cos (/ -1 y)))) into 0
2.252 * [backup-simplify]: Simplify (+ 0 0) into 0
2.252 * [backup-simplify]: Simplify 0 into 0
2.252 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.253 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.253 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
2.253 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.254 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.254 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
2.255 * [backup-simplify]: Simplify (+ 0 0) into 0
2.255 * [taylor]: Taking taylor expansion of 0 in x
2.255 * [backup-simplify]: Simplify 0 into 0
2.255 * [backup-simplify]: Simplify 0 into 0
2.255 * [backup-simplify]: Simplify 0 into 0
2.255 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.256 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
2.256 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.256 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.257 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
2.257 * [backup-simplify]: Simplify (- 0) into 0
2.257 * [backup-simplify]: Simplify (+ 0 0) into 0
2.257 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ (cos (/ -1 y)) (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
2.258 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.258 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
2.258 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.259 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.259 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
2.259 * [backup-simplify]: Simplify (- 0) into 0
2.260 * [backup-simplify]: Simplify (+ 0 0) into 0
2.260 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
2.260 * [backup-simplify]: Simplify (+ 0 0) into 0
2.260 * [backup-simplify]: Simplify 0 into 0
2.260 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.261 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.262 * [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
2.262 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.263 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.263 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0
2.263 * [backup-simplify]: Simplify (+ 0 0) into 0
2.263 * [taylor]: Taking taylor expansion of 0 in x
2.264 * [backup-simplify]: Simplify 0 into 0
2.264 * [backup-simplify]: Simplify 0 into 0
2.264 * [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)))
2.264 * * * [progress]: simplifying candidates
2.264 * * * * [progress]: [ 1 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (pow (/ (cos y) (exp x)) 1) (* (cos y) (exp x))) 2))>
2.264 * * * * [progress]: [ 2 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (exp (- (log (cos y)) x)) (* (cos y) (exp x))) 2))>
2.264 * * * * [progress]: [ 3 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (exp (log (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2))>
2.264 * * * * [progress]: [ 4 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (log (exp (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2))>
2.264 * * * * [progress]: [ 5 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (cbrt (/ (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x)))) (* (cos y) (exp x))) 2))>
2.264 * * * * [progress]: [ 6 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (* (cbrt (/ (cos y) (exp x))) (cbrt (/ (cos y) (exp x)))) (cbrt (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2))>
2.264 * * * * [progress]: [ 7 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (cbrt (* (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2))>
2.264 * * * * [progress]: [ 8 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (sqrt (/ (cos y) (exp x))) (sqrt (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2))>
2.264 * * * * [progress]: [ 9 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (- (cos y)) (- (exp x))) (* (cos y) (exp x))) 2))>
2.264 * * * * [progress]: [ 10 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (/ (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt (cos y)) (cbrt (exp x)))) (* (cos y) (exp x))) 2))>
2.264 * * * * [progress]: [ 11 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (/ (* (cbrt (cos y)) (cbrt (cos y))) (sqrt (exp x))) (/ (cbrt (cos y)) (sqrt (exp x)))) (* (cos y) (exp x))) 2))>
2.264 * * * * [progress]: [ 12 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (/ (* (cbrt (cos y)) (cbrt (cos y))) 1) (/ (cbrt (cos y)) (exp x))) (* (cos y) (exp x))) 2))>
2.264 * * * * [progress]: [ 13 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (/ (sqrt (cos y)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt (cos y)) (cbrt (exp x)))) (* (cos y) (exp x))) 2))>
2.264 * * * * [progress]: [ 14 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (/ (sqrt (cos y)) (sqrt (exp x))) (/ (sqrt (cos y)) (sqrt (exp x)))) (* (cos y) (exp x))) 2))>
2.264 * * * * [progress]: [ 15 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (/ (sqrt (cos y)) 1) (/ (sqrt (cos y)) (exp x))) (* (cos y) (exp x))) 2))>
2.264 * * * * [progress]: [ 16 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cos y) (cbrt (exp x)))) (* (cos y) (exp x))) 2))>
2.265 * * * * [progress]: [ 17 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (/ 1 (sqrt (exp x))) (/ (cos y) (sqrt (exp x)))) (* (cos y) (exp x))) 2))>
2.265 * * * * [progress]: [ 18 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (/ 1 1) (/ (cos y) (exp x))) (* (cos y) (exp x))) 2))>
2.265 * * * * [progress]: [ 19 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* 1 (/ (cos y) (exp x))) (* (cos y) (exp x))) 2))>
2.265 * * * * [progress]: [ 20 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (cos y) (/ 1 (exp x))) (* (cos y) (exp x))) 2))>
2.265 * * * * [progress]: [ 21 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ 1 (/ (exp x) (cos y))) (* (cos y) (exp x))) 2))>
2.265 * * * * [progress]: [ 22 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (/ (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) (* (cos y) (exp x))) 2))>
2.265 * * * * [progress]: [ 23 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (/ (cos y) (sqrt (exp x))) (sqrt (exp x))) (* (cos y) (exp x))) 2))>
2.265 * * * * [progress]: [ 24 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (/ (cos y) 1) (exp x)) (* (cos y) (exp x))) 2))>
2.265 * * * * [progress]: [ 25 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (* (cbrt (cos y)) (cbrt (cos y))) (/ (exp x) (cbrt (cos y)))) (* (cos y) (exp x))) 2))>
2.265 * * * * [progress]: [ 26 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (sqrt (cos y)) (/ (exp x) (sqrt (cos y)))) (* (cos y) (exp x))) 2))>
2.265 * * * * [progress]: [ 27 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ 1 (/ (exp x) (cos y))) (* (cos y) (exp x))) 2))>
2.265 * * * * [progress]: [ 28 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (posit16->real (real->posit16 (/ (cos y) (exp x)))) (* (cos y) (exp x))) 2))>
2.265 * * * * [progress]: [ 29 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (pow (* (cos y) (exp x)) 1)) 2))>
2.265 * * * * [progress]: [ 30 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (pow (* (cos y) (exp x)) 1)) 2))>
2.265 * * * * [progress]: [ 31 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (exp (+ (log (cos y)) x))) 2))>
2.265 * * * * [progress]: [ 32 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (exp (log (* (cos y) (exp x))))) 2))>
2.265 * * * * [progress]: [ 33 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (log (exp (* (cos y) (exp x))))) 2))>
2.265 * * * * [progress]: [ 34 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (cbrt (* (* (* (cos y) (cos y)) (cos y)) (* (* (exp x) (exp x)) (exp x))))) 2))>
2.265 * * * * [progress]: [ 35 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cbrt (* (cos y) (exp x))) (cbrt (* (cos y) (exp x)))) (cbrt (* (cos y) (exp x))))) 2))>
2.265 * * * * [progress]: [ 36 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (cbrt (* (* (* (cos y) (exp x)) (* (cos y) (exp x))) (* (cos y) (exp x))))) 2))>
2.265 * * * * [progress]: [ 37 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (sqrt (* (cos y) (exp x))) (sqrt (* (cos y) (exp x))))) 2))>
2.265 * * * * [progress]: [ 38 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* 1 (* (cos y) (exp x)))) 2))>
2.265 * * * * [progress]: [ 39 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (sqrt (cos y)) (sqrt (exp x))) (* (sqrt (cos y)) (sqrt (exp x))))) 2))>
2.265 * * * * [progress]: [ 40 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cos y) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))) 2))>
2.265 * * * * [progress]: [ 41 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cos y) (sqrt (exp x))) (sqrt (exp x)))) 2))>
2.266 * * * * [progress]: [ 42 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cos y) 1) (exp x))) 2))>
2.266 * * * * [progress]: [ 43 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (exp x)))) 2))>
2.266 * * * * [progress]: [ 44 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (sqrt (cos y)) (* (sqrt (cos y)) (exp x)))) 2))>
2.266 * * * * [progress]: [ 45 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* 1 (* (cos y) (exp x)))) 2))>
2.266 * * * * [progress]: [ 46 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (posit16->real (real->posit16 (* (cos y) (exp x))))) 2))>
2.266 * * * * [progress]: [ 47 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 2))>
2.266 * * * * [progress]: [ 48 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (log (* (exp (/ (cos y) (exp x))) (exp (* (cos y) (exp x))))) 2))>
2.266 * * * * [progress]: [ 49 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (pow (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 1) 2))>
2.266 * * * * [progress]: [ 50 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (exp (log (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))) 2))>
2.266 * * * * [progress]: [ 51 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (log (exp (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))) 2))>
2.266 * * * * [progress]: [ 52 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (* (* (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))))) 2))>
2.266 * * * * [progress]: [ 53 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (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))))) 2))>
2.266 * * * * [progress]: [ 54 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (* (sqrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) (sqrt (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))) 2))>
2.266 * * * * [progress]: [ 55 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (/ (+ (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)))))) 2))>
2.266 * * * * [progress]: [ 56 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (* 1 (+ (/ (cos y) (exp x)) (* (cos y) (exp x)))) 2))>
2.266 * * * * [progress]: [ 57 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (/ (- (* (/ (cos y) (exp x)) (/ (cos y) (exp x))) (* (* (cos y) (exp x)) (* (cos y) (exp x)))) (- (/ (cos y) (exp x)) (* (cos y) (exp x)))) 2))>
2.266 * * * * [progress]: [ 58 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (/ 1 (exp x)) (exp x))) 2))>
2.266 * * * * [progress]: [ 59 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (posit16->real (real->posit16 (+ (/ (cos y) (exp x)) (* (cos y) (exp x))))) 2))>
2.266 * * * * [progress]: [ 60 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (cos y) (exp x)) (/ (cos y) (exp x))) 2))>
2.266 * * * * [progress]: [ 61 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (- 1 (+ (* 1/2 (pow y 2)) x)) (* (cos y) (exp x))) 2))>
2.266 * * * * [progress]: [ 62 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2))>
2.266 * * * * [progress]: [ 63 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2))>
2.266 * * * * [progress]: [ 64 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (- (+ x 1) (* 1/2 (pow y 2)))) 2))>
2.266 * * * * [progress]: [ 65 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 2))>
2.266 * * * * [progress]: [ 66 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 2))>
2.266 * * * * [progress]: [ 67 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (- (+ (pow x 2) 2) (pow y 2)) 2))>
2.266 * * * * [progress]: [ 68 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 2))>
2.266 * * * * [progress]: [ 69 / 69 ] simplifiying candidate #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) 2))>
2.267 * [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)))
  (* (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)))
  (* (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))))
  (- 1 (+ (* 1/2 (pow y 2)) x))
  (/ (cos y) (exp x))
  (/ (cos y) (exp x))
  (- (+ x 1) (* 1/2 (pow y 2)))
  (* (exp x) (cos y))
  (* (exp x) (cos y))
  (- (+ (pow x 2) 2) (pow y 2))
  (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
  (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
2.268 * * [simplify]: iteration 1: (101 enodes)
2.295 * * [simplify]: iteration 2: (238 enodes)
2.382 * * [simplify]: iteration 3: (661 enodes)
2.814 * * [simplify]: Extracting #0: cost 61 inf + 0
2.815 * * [simplify]: Extracting #1: cost 316 inf + 1
2.819 * * [simplify]: Extracting #2: cost 579 inf + 919
2.829 * * [simplify]: Extracting #3: cost 408 inf + 39424
2.856 * * [simplify]: Extracting #4: cost 125 inf + 105960
2.897 * * [simplify]: Extracting #5: cost 18 inf + 141205
2.932 * * [simplify]: Extracting #6: cost 0 inf + 147222
2.957 * [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 x) (cos y))
  (+ (log (cos y)) x)
  (+ (log (cos y)) x)
  (exp (* (exp x) (cos y)))
  (* (* (* (* (cos y) (exp x)) (* (cos y) (exp x))) (cos y)) (exp x))
  (* (cbrt (* (exp x) (cos y))) (cbrt (* (exp x) (cos y))))
  (cbrt (* (exp x) (cos y)))
  (* (* (* (* (cos y) (exp x)) (* (cos y) (exp x))) (cos y)) (exp x))
  (sqrt (* (exp x) (cos y)))
  (sqrt (* (exp x) (cos y)))
  (* (sqrt (exp x)) (sqrt (cos y)))
  (* (sqrt (exp x)) (sqrt (cos y)))
  (* (* (cos y) (cbrt (exp x))) (cbrt (exp x)))
  (* (sqrt (exp x)) (cos y))
  (cos y)
  (* (exp x) (cbrt (cos y)))
  (* (exp x) (sqrt (cos y)))
  (* (exp x) (cos y))
  (real->posit16 (* (exp x) (cos y)))
  (exp (+ (* (exp x) (cos y)) (/ (cos y) (exp x))))
  (log (+ (* (exp x) (cos y)) (/ (cos y) (exp x))))
  (exp (+ (* (exp x) (cos y)) (/ (cos y) (exp x))))
  (* (cbrt (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))) (cbrt (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))))
  (cbrt (+ (* (exp x) (cos y)) (/ (cos y) (exp x))))
  (* (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) (* (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))))
  (sqrt (+ (* (exp x) (cos y)) (/ (cos y) (exp x))))
  (sqrt (+ (* (exp x) (cos y)) (/ (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) (cos y)) (/ (cos y) (exp x))) (* (exp x) (cos y))) (* (/ (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) (cos y)))
  (+ (exp x) (/ 1 (exp x)))
  (real->posit16 (+ (* (exp x) (cos y)) (/ (cos y) (exp x))))
  (+ (- 1 x) (* (* y y) -1/2))
  (/ (cos y) (exp x))
  (/ (cos y) (exp x))
  (+ (* (* y y) -1/2) (+ 1 x))
  (* (exp x) (cos y))
  (* (exp x) (cos y))
  (+ (* (+ x y) (- x y)) 2)
  (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))
  (+ (* (exp x) (cos y)) (/ (cos y) (exp x)))
2.961 * * * [progress]: adding candidates to table
3.745 * * [progress]: iteration 2 / 4
3.745 * * * [progress]: picking best candidate
3.748 * * * * [pick]: Picked  #<alt (λ (x y) (/ (* (cos y) (+ (/ 1 (exp x)) (exp x))) 2))>
3.748 * * * [progress]: localizing error
3.764 * * * [progress]: generating rewritten candidates
3.764 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 1)
3.779 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
3.843 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
3.874 * * * [progress]: generating series expansions
3.874 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 1)
3.874 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
3.874 * [approximate]: Taking taylor expansion of (/ 1 (exp x)) in (x) around 0
3.874 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.874 * [taylor]: Taking taylor expansion of (exp x) in x
3.874 * [taylor]: Taking taylor expansion of x in x
3.874 * [backup-simplify]: Simplify 0 into 0
3.874 * [backup-simplify]: Simplify 1 into 1
3.874 * [backup-simplify]: Simplify (exp 0) into 1
3.875 * [backup-simplify]: Simplify (/ 1 1) into 1
3.875 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.875 * [taylor]: Taking taylor expansion of (exp x) in x
3.875 * [taylor]: Taking taylor expansion of x in x
3.875 * [backup-simplify]: Simplify 0 into 0
3.875 * [backup-simplify]: Simplify 1 into 1
3.875 * [backup-simplify]: Simplify (exp 0) into 1
3.875 * [backup-simplify]: Simplify (/ 1 1) into 1
3.875 * [backup-simplify]: Simplify 1 into 1
3.876 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.877 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
3.877 * [backup-simplify]: Simplify -1 into -1
3.879 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
3.880 * [backup-simplify]: Simplify 1/2 into 1/2
3.880 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x)
3.880 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.880 * [approximate]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in (x) around 0
3.880 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
3.880 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.880 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.880 * [taylor]: Taking taylor expansion of x in x
3.880 * [backup-simplify]: Simplify 0 into 0
3.880 * [backup-simplify]: Simplify 1 into 1
3.881 * [backup-simplify]: Simplify (/ 1 1) into 1
3.881 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.881 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.881 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
3.881 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.881 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.881 * [taylor]: Taking taylor expansion of x in x
3.881 * [backup-simplify]: Simplify 0 into 0
3.881 * [backup-simplify]: Simplify 1 into 1
3.881 * [backup-simplify]: Simplify (/ 1 1) into 1
3.882 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.882 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.882 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.882 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
3.882 * [backup-simplify]: Simplify 0 into 0
3.882 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.882 * [backup-simplify]: Simplify 0 into 0
3.883 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.883 * [backup-simplify]: Simplify 0 into 0
3.883 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.883 * [backup-simplify]: Simplify 0 into 0
3.884 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.884 * [backup-simplify]: Simplify 0 into 0
3.884 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.884 * [backup-simplify]: Simplify 0 into 0
3.884 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 (/ 1 x)))) into (/ 1 (exp x))
3.884 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 (- x)))) into (/ 1 (exp (/ -1 x)))
3.884 * [approximate]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in (x) around 0
3.884 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
3.884 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.884 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.885 * [taylor]: Taking taylor expansion of -1 in x
3.885 * [backup-simplify]: Simplify -1 into -1
3.885 * [taylor]: Taking taylor expansion of x in x
3.885 * [backup-simplify]: Simplify 0 into 0
3.885 * [backup-simplify]: Simplify 1 into 1
3.885 * [backup-simplify]: Simplify (/ -1 1) into -1
3.885 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.885 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.885 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
3.885 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.885 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.886 * [taylor]: Taking taylor expansion of -1 in x
3.886 * [backup-simplify]: Simplify -1 into -1
3.886 * [taylor]: Taking taylor expansion of x in x
3.886 * [backup-simplify]: Simplify 0 into 0
3.886 * [backup-simplify]: Simplify 1 into 1
3.886 * [backup-simplify]: Simplify (/ -1 1) into -1
3.886 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.886 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.886 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.887 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
3.887 * [backup-simplify]: Simplify 0 into 0
3.887 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.887 * [backup-simplify]: Simplify 0 into 0
3.887 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.887 * [backup-simplify]: Simplify 0 into 0
3.888 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.888 * [backup-simplify]: Simplify 0 into 0
3.888 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.888 * [backup-simplify]: Simplify 0 into 0
3.889 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.889 * [backup-simplify]: Simplify 0 into 0
3.889 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 (/ 1 (- x))))) into (/ 1 (exp x))
3.889 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
3.889 * [backup-simplify]: Simplify (* (cos y) (+ (/ 1 (exp x)) (exp x))) into (* (+ (exp x) (/ 1 (exp x))) (cos y))
3.889 * [approximate]: Taking taylor expansion of (* (+ (exp x) (/ 1 (exp x))) (cos y)) in (y x) around 0
3.889 * [taylor]: Taking taylor expansion of (* (+ (exp x) (/ 1 (exp x))) (cos y)) in x
3.889 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x
3.889 * [taylor]: Taking taylor expansion of (exp x) in x
3.889 * [taylor]: Taking taylor expansion of x in x
3.889 * [backup-simplify]: Simplify 0 into 0
3.889 * [backup-simplify]: Simplify 1 into 1
3.889 * [backup-simplify]: Simplify (exp 0) into 1
3.889 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.889 * [taylor]: Taking taylor expansion of (exp x) in x
3.889 * [taylor]: Taking taylor expansion of x in x
3.889 * [backup-simplify]: Simplify 0 into 0
3.889 * [backup-simplify]: Simplify 1 into 1
3.889 * [backup-simplify]: Simplify (exp 0) into 1
3.890 * [backup-simplify]: Simplify (/ 1 1) into 1
3.890 * [taylor]: Taking taylor expansion of (cos y) in x
3.890 * [taylor]: Taking taylor expansion of y in x
3.890 * [backup-simplify]: Simplify y into y
3.890 * [backup-simplify]: Simplify (cos y) into (cos y)
3.890 * [backup-simplify]: Simplify (sin y) into (sin y)
3.890 * [taylor]: Taking taylor expansion of (* (+ (exp x) (/ 1 (exp x))) (cos y)) in y
3.890 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in y
3.890 * [taylor]: Taking taylor expansion of (exp x) in y
3.890 * [taylor]: Taking taylor expansion of x in y
3.890 * [backup-simplify]: Simplify x into x
3.890 * [backup-simplify]: Simplify (exp x) into (exp x)
3.890 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in y
3.890 * [taylor]: Taking taylor expansion of (exp x) in y
3.890 * [taylor]: Taking taylor expansion of x in y
3.890 * [backup-simplify]: Simplify x into x
3.890 * [backup-simplify]: Simplify (exp x) into (exp x)
3.890 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
3.891 * [taylor]: Taking taylor expansion of (cos y) in y
3.891 * [taylor]: Taking taylor expansion of y in y
3.891 * [backup-simplify]: Simplify 0 into 0
3.891 * [backup-simplify]: Simplify 1 into 1
3.891 * [taylor]: Taking taylor expansion of (* (+ (exp x) (/ 1 (exp x))) (cos y)) in y
3.891 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in y
3.891 * [taylor]: Taking taylor expansion of (exp x) in y
3.891 * [taylor]: Taking taylor expansion of x in y
3.891 * [backup-simplify]: Simplify x into x
3.891 * [backup-simplify]: Simplify (exp x) into (exp x)
3.891 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in y
3.891 * [taylor]: Taking taylor expansion of (exp x) in y
3.891 * [taylor]: Taking taylor expansion of x in y
3.891 * [backup-simplify]: Simplify x into x
3.891 * [backup-simplify]: Simplify (exp x) into (exp x)
3.891 * [backup-simplify]: Simplify (/ 1 (exp x)) into (/ 1 (exp x))
3.891 * [taylor]: Taking taylor expansion of (cos y) in y
3.891 * [taylor]: Taking taylor expansion of y in y
3.891 * [backup-simplify]: Simplify 0 into 0
3.891 * [backup-simplify]: Simplify 1 into 1
3.891 * [backup-simplify]: Simplify (+ (exp x) (/ 1 (exp x))) into (+ (exp x) (/ 1 (exp x)))
3.891 * [backup-simplify]: Simplify (* (+ (exp x) (/ 1 (exp x))) 1) into (+ (exp x) (/ 1 (exp x)))
3.891 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x
3.891 * [taylor]: Taking taylor expansion of (exp x) in x
3.891 * [taylor]: Taking taylor expansion of x in x
3.892 * [backup-simplify]: Simplify 0 into 0
3.892 * [backup-simplify]: Simplify 1 into 1
3.892 * [backup-simplify]: Simplify (exp 0) into 1
3.892 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.892 * [taylor]: Taking taylor expansion of (exp x) in x
3.892 * [taylor]: Taking taylor expansion of x in x
3.892 * [backup-simplify]: Simplify 0 into 0
3.892 * [backup-simplify]: Simplify 1 into 1
3.892 * [backup-simplify]: Simplify (exp 0) into 1
3.892 * [backup-simplify]: Simplify (/ 1 1) into 1
3.893 * [backup-simplify]: Simplify (+ 1 1) into 2
3.893 * [backup-simplify]: Simplify 2 into 2
3.893 * [backup-simplify]: Simplify (+ 0) into 0
3.894 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
3.895 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
3.895 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp x)) (/ 0 (exp x))))) into 0
3.895 * [backup-simplify]: Simplify (+ 0 0) into 0
3.896 * [backup-simplify]: Simplify (+ (* (+ (exp x) (/ 1 (exp x))) 0) (* 0 1)) into 0
3.896 * [taylor]: Taking taylor expansion of 0 in x
3.896 * [backup-simplify]: Simplify 0 into 0
3.896 * [backup-simplify]: Simplify 0 into 0
3.897 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.897 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
3.898 * [backup-simplify]: Simplify (+ 1 -1) into 0
3.898 * [backup-simplify]: Simplify 0 into 0
3.899 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
3.899 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.900 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.900 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp x)) (/ 0 (exp x))) (* 0 (/ 0 (exp x))))) into 0
3.901 * [backup-simplify]: Simplify (+ 0 0) into 0
3.901 * [backup-simplify]: Simplify (+ (* (+ (exp x) (/ 1 (exp x))) -1/2) (+ (* 0 0) (* 0 1))) into (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x)))))
3.901 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x))))) in x
3.901 * [taylor]: Taking taylor expansion of (+ (* 1/2 (exp x)) (* 1/2 (/ 1 (exp x)))) in x
3.901 * [taylor]: Taking taylor expansion of (* 1/2 (exp x)) in x
3.901 * [taylor]: Taking taylor expansion of 1/2 in x
3.901 * [backup-simplify]: Simplify 1/2 into 1/2
3.901 * [taylor]: Taking taylor expansion of (exp x) in x
3.901 * [taylor]: Taking taylor expansion of x in x
3.901 * [backup-simplify]: Simplify 0 into 0
3.901 * [backup-simplify]: Simplify 1 into 1
3.901 * [backup-simplify]: Simplify (exp 0) into 1
3.901 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (exp x))) in x
3.901 * [taylor]: Taking taylor expansion of 1/2 in x
3.901 * [backup-simplify]: Simplify 1/2 into 1/2
3.901 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.901 * [taylor]: Taking taylor expansion of (exp x) in x
3.901 * [taylor]: Taking taylor expansion of x in x
3.901 * [backup-simplify]: Simplify 0 into 0
3.901 * [backup-simplify]: Simplify 1 into 1
3.901 * [backup-simplify]: Simplify (exp 0) into 1
3.902 * [backup-simplify]: Simplify (/ 1 1) into 1
3.902 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
3.902 * [backup-simplify]: Simplify (* 1/2 1) into 1/2
3.902 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
3.903 * [backup-simplify]: Simplify (- 1) into -1
3.903 * [backup-simplify]: Simplify -1 into -1
3.903 * [backup-simplify]: Simplify 0 into 0
3.904 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.905 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.905 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
3.906 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
3.906 * [backup-simplify]: Simplify 1 into 1
3.906 * [backup-simplify]: Simplify (+ (* 1 (pow (* x 1) 2)) (+ (* -1 (pow (* 1 y) 2)) 2)) into (- (+ (pow x 2) 2) (pow y 2))
3.906 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (+ (/ 1 (exp (/ 1 x))) (exp (/ 1 x)))) into (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) (cos (/ 1 y)))
3.906 * [approximate]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) in (y x) around 0
3.906 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) in x
3.906 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) in x
3.906 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.906 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.906 * [taylor]: Taking taylor expansion of x in x
3.906 * [backup-simplify]: Simplify 0 into 0
3.906 * [backup-simplify]: Simplify 1 into 1
3.906 * [backup-simplify]: Simplify (/ 1 1) into 1
3.906 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.906 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
3.907 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.907 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.907 * [taylor]: Taking taylor expansion of x in x
3.907 * [backup-simplify]: Simplify 0 into 0
3.907 * [backup-simplify]: Simplify 1 into 1
3.907 * [backup-simplify]: Simplify (/ 1 1) into 1
3.907 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.907 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.907 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
3.907 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.907 * [taylor]: Taking taylor expansion of y in x
3.907 * [backup-simplify]: Simplify y into y
3.907 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.907 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.907 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.907 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) in y
3.907 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) in y
3.907 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.907 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.907 * [taylor]: Taking taylor expansion of x in y
3.907 * [backup-simplify]: Simplify x into x
3.907 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.907 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.907 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in y
3.907 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.907 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.907 * [taylor]: Taking taylor expansion of x in y
3.907 * [backup-simplify]: Simplify x into x
3.907 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.907 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.908 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.908 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
3.908 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.908 * [taylor]: Taking taylor expansion of y in y
3.908 * [backup-simplify]: Simplify 0 into 0
3.908 * [backup-simplify]: Simplify 1 into 1
3.908 * [backup-simplify]: Simplify (/ 1 1) into 1
3.908 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.908 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) in y
3.908 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) in y
3.908 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.908 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.908 * [taylor]: Taking taylor expansion of x in y
3.908 * [backup-simplify]: Simplify x into x
3.908 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.908 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.908 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in y
3.908 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.908 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.908 * [taylor]: Taking taylor expansion of x in y
3.908 * [backup-simplify]: Simplify x into x
3.908 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.908 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.908 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.908 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
3.908 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.908 * [taylor]: Taking taylor expansion of y in y
3.908 * [backup-simplify]: Simplify 0 into 0
3.908 * [backup-simplify]: Simplify 1 into 1
3.909 * [backup-simplify]: Simplify (/ 1 1) into 1
3.909 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.909 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) into (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))
3.909 * [backup-simplify]: Simplify (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) into (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) (cos (/ 1 y)))
3.909 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) in x
3.909 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) in x
3.909 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.909 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.909 * [taylor]: Taking taylor expansion of x in x
3.909 * [backup-simplify]: Simplify 0 into 0
3.909 * [backup-simplify]: Simplify 1 into 1
3.910 * [backup-simplify]: Simplify (/ 1 1) into 1
3.910 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.910 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
3.910 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.910 * [taylor]: Taking taylor expansion of x in x
3.910 * [backup-simplify]: Simplify 0 into 0
3.910 * [backup-simplify]: Simplify 1 into 1
3.910 * [backup-simplify]: Simplify (/ 1 1) into 1
3.910 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.910 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.910 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
3.910 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.910 * [taylor]: Taking taylor expansion of y in x
3.910 * [backup-simplify]: Simplify y into y
3.910 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.910 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.910 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.910 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) into (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))
3.910 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
3.911 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
3.911 * [backup-simplify]: Simplify (- 0) into 0
3.911 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
3.911 * [backup-simplify]: Simplify (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) into (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) (cos (/ 1 y)))
3.911 * [backup-simplify]: Simplify (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) (cos (/ 1 y))) into (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) (cos (/ 1 y)))
3.911 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.912 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.912 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.912 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.912 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
3.913 * [backup-simplify]: Simplify (+ 0 0) into 0
3.913 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 0) (* 0 (cos (/ 1 y)))) into 0
3.913 * [taylor]: Taking taylor expansion of 0 in x
3.913 * [backup-simplify]: Simplify 0 into 0
3.913 * [backup-simplify]: Simplify 0 into 0
3.913 * [backup-simplify]: Simplify (+ 0) into 0
3.913 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
3.913 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.914 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.914 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
3.914 * [backup-simplify]: Simplify (- 0) into 0
3.915 * [backup-simplify]: Simplify (+ 0 0) into 0
3.915 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
3.915 * [backup-simplify]: Simplify (+ 0 0) into 0
3.915 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 0) (* 0 (cos (/ 1 y)))) into 0
3.915 * [backup-simplify]: Simplify 0 into 0
3.915 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.916 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.916 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.917 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.917 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.917 * [backup-simplify]: Simplify (+ 0 0) into 0
3.918 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
3.918 * [taylor]: Taking taylor expansion of 0 in x
3.918 * [backup-simplify]: Simplify 0 into 0
3.918 * [backup-simplify]: Simplify 0 into 0
3.918 * [backup-simplify]: Simplify 0 into 0
3.918 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.919 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
3.919 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.919 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.920 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
3.920 * [backup-simplify]: Simplify (- 0) into 0
3.920 * [backup-simplify]: Simplify (+ 0 0) into 0
3.920 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.921 * [backup-simplify]: Simplify (+ 0 0) into 0
3.921 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 0) (+ (* 0 0) (* 0 (cos (/ 1 y))))) into 0
3.921 * [backup-simplify]: Simplify 0 into 0
3.921 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.922 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.922 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.923 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.923 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.924 * [backup-simplify]: Simplify (+ 0 0) into 0
3.924 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 y)))))) into 0
3.924 * [taylor]: Taking taylor expansion of 0 in x
3.924 * [backup-simplify]: Simplify 0 into 0
3.924 * [backup-simplify]: Simplify 0 into 0
3.924 * [backup-simplify]: Simplify (* (+ (exp (/ 1 (/ 1 x))) (/ 1 (exp (/ 1 (/ 1 x))))) (cos (/ 1 (/ 1 y)))) into (* (+ (exp x) (/ 1 (exp x))) (cos y))
3.925 * [backup-simplify]: Simplify (* (cos (/ 1 (- y))) (+ (/ 1 (exp (/ 1 (- x)))) (exp (/ 1 (- x))))) into (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) (cos (/ -1 y)))
3.925 * [approximate]: Taking taylor expansion of (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) (cos (/ -1 y))) in (y x) around 0
3.925 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) (cos (/ -1 y))) in x
3.925 * [taylor]: Taking taylor expansion of (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) in x
3.925 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
3.925 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.925 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.925 * [taylor]: Taking taylor expansion of -1 in x
3.925 * [backup-simplify]: Simplify -1 into -1
3.925 * [taylor]: Taking taylor expansion of x in x
3.925 * [backup-simplify]: Simplify 0 into 0
3.925 * [backup-simplify]: Simplify 1 into 1
3.925 * [backup-simplify]: Simplify (/ -1 1) into -1
3.925 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.925 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.925 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.925 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.925 * [taylor]: Taking taylor expansion of -1 in x
3.925 * [backup-simplify]: Simplify -1 into -1
3.925 * [taylor]: Taking taylor expansion of x in x
3.925 * [backup-simplify]: Simplify 0 into 0
3.925 * [backup-simplify]: Simplify 1 into 1
3.926 * [backup-simplify]: Simplify (/ -1 1) into -1
3.926 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.926 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
3.926 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.926 * [taylor]: Taking taylor expansion of -1 in x
3.926 * [backup-simplify]: Simplify -1 into -1
3.926 * [taylor]: Taking taylor expansion of y in x
3.926 * [backup-simplify]: Simplify y into y
3.926 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.926 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.926 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.926 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) (cos (/ -1 y))) in y
3.926 * [taylor]: Taking taylor expansion of (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) in y
3.926 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in y
3.926 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
3.926 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.926 * [taylor]: Taking taylor expansion of -1 in y
3.926 * [backup-simplify]: Simplify -1 into -1
3.926 * [taylor]: Taking taylor expansion of x in y
3.926 * [backup-simplify]: Simplify x into x
3.926 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.926 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.926 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.926 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
3.926 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.926 * [taylor]: Taking taylor expansion of -1 in y
3.926 * [backup-simplify]: Simplify -1 into -1
3.926 * [taylor]: Taking taylor expansion of x in y
3.926 * [backup-simplify]: Simplify x into x
3.926 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.926 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.926 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
3.926 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.926 * [taylor]: Taking taylor expansion of -1 in y
3.926 * [backup-simplify]: Simplify -1 into -1
3.926 * [taylor]: Taking taylor expansion of y in y
3.926 * [backup-simplify]: Simplify 0 into 0
3.926 * [backup-simplify]: Simplify 1 into 1
3.927 * [backup-simplify]: Simplify (/ -1 1) into -1
3.927 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.927 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) (cos (/ -1 y))) in y
3.927 * [taylor]: Taking taylor expansion of (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) in y
3.927 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in y
3.927 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
3.927 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.927 * [taylor]: Taking taylor expansion of -1 in y
3.927 * [backup-simplify]: Simplify -1 into -1
3.927 * [taylor]: Taking taylor expansion of x in y
3.927 * [backup-simplify]: Simplify x into x
3.927 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.927 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.927 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.927 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
3.927 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.927 * [taylor]: Taking taylor expansion of -1 in y
3.927 * [backup-simplify]: Simplify -1 into -1
3.927 * [taylor]: Taking taylor expansion of x in y
3.927 * [backup-simplify]: Simplify x into x
3.927 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.927 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.927 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
3.927 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.927 * [taylor]: Taking taylor expansion of -1 in y
3.927 * [backup-simplify]: Simplify -1 into -1
3.927 * [taylor]: Taking taylor expansion of y in y
3.927 * [backup-simplify]: Simplify 0 into 0
3.927 * [backup-simplify]: Simplify 1 into 1
3.928 * [backup-simplify]: Simplify (/ -1 1) into -1
3.928 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.928 * [backup-simplify]: Simplify (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) into (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))
3.928 * [backup-simplify]: Simplify (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) (cos (/ -1 y))) into (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) (cos (/ -1 y)))
3.928 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) (cos (/ -1 y))) in x
3.928 * [taylor]: Taking taylor expansion of (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) in x
3.928 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
3.928 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.928 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.928 * [taylor]: Taking taylor expansion of -1 in x
3.928 * [backup-simplify]: Simplify -1 into -1
3.928 * [taylor]: Taking taylor expansion of x in x
3.928 * [backup-simplify]: Simplify 0 into 0
3.928 * [backup-simplify]: Simplify 1 into 1
3.928 * [backup-simplify]: Simplify (/ -1 1) into -1
3.928 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.928 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.928 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.928 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.929 * [taylor]: Taking taylor expansion of -1 in x
3.929 * [backup-simplify]: Simplify -1 into -1
3.929 * [taylor]: Taking taylor expansion of x in x
3.929 * [backup-simplify]: Simplify 0 into 0
3.929 * [backup-simplify]: Simplify 1 into 1
3.929 * [backup-simplify]: Simplify (/ -1 1) into -1
3.929 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.929 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
3.929 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.929 * [taylor]: Taking taylor expansion of -1 in x
3.929 * [backup-simplify]: Simplify -1 into -1
3.929 * [taylor]: Taking taylor expansion of y in x
3.929 * [backup-simplify]: Simplify y into y
3.929 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.929 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.929 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.929 * [backup-simplify]: Simplify (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) into (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))
3.929 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
3.929 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
3.930 * [backup-simplify]: Simplify (- 0) into 0
3.930 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
3.930 * [backup-simplify]: Simplify (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) (cos (/ -1 y))) into (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) (cos (/ -1 y)))
3.930 * [backup-simplify]: Simplify (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) (cos (/ -1 y))) into (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) (cos (/ -1 y)))
3.930 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
3.930 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.931 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
3.931 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
3.931 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.931 * [backup-simplify]: Simplify (+ 0 0) into 0
3.931 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 0) (* 0 (cos (/ -1 y)))) into 0
3.932 * [taylor]: Taking taylor expansion of 0 in x
3.932 * [backup-simplify]: Simplify 0 into 0
3.932 * [backup-simplify]: Simplify 0 into 0
3.932 * [backup-simplify]: Simplify (+ 0) into 0
3.932 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
3.932 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
3.933 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.933 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
3.933 * [backup-simplify]: Simplify (- 0) into 0
3.933 * [backup-simplify]: Simplify (+ 0 0) into 0
3.934 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
3.934 * [backup-simplify]: Simplify (+ 0 0) into 0
3.934 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 0) (* 0 (cos (/ -1 y)))) into 0
3.934 * [backup-simplify]: Simplify 0 into 0
3.934 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.935 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.935 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.935 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.936 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.936 * [backup-simplify]: Simplify (+ 0 0) into 0
3.936 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
3.936 * [taylor]: Taking taylor expansion of 0 in x
3.937 * [backup-simplify]: Simplify 0 into 0
3.937 * [backup-simplify]: Simplify 0 into 0
3.937 * [backup-simplify]: Simplify 0 into 0
3.937 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.937 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
3.938 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.938 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.938 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
3.939 * [backup-simplify]: Simplify (- 0) into 0
3.939 * [backup-simplify]: Simplify (+ 0 0) into 0
3.939 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.939 * [backup-simplify]: Simplify (+ 0 0) into 0
3.940 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
3.940 * [backup-simplify]: Simplify 0 into 0
3.940 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.941 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.941 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.941 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.942 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.942 * [backup-simplify]: Simplify (+ 0 0) into 0
3.943 * [backup-simplify]: Simplify (+ (* (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0
3.943 * [taylor]: Taking taylor expansion of 0 in x
3.943 * [backup-simplify]: Simplify 0 into 0
3.943 * [backup-simplify]: Simplify 0 into 0
3.943 * [backup-simplify]: Simplify (* (+ (/ 1 (exp (/ -1 (/ 1 (- x))))) (exp (/ -1 (/ 1 (- x))))) (cos (/ -1 (/ 1 (- y))))) into (* (+ (exp x) (/ 1 (exp x))) (cos y))
3.943 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
3.943 * [backup-simplify]: Simplify (+ (/ 1 (exp x)) (exp x)) into (+ (exp x) (/ 1 (exp x)))
3.943 * [approximate]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in (x) around 0
3.943 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x
3.943 * [taylor]: Taking taylor expansion of (exp x) in x
3.943 * [taylor]: Taking taylor expansion of x in x
3.943 * [backup-simplify]: Simplify 0 into 0
3.943 * [backup-simplify]: Simplify 1 into 1
3.943 * [backup-simplify]: Simplify (exp 0) into 1
3.943 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.943 * [taylor]: Taking taylor expansion of (exp x) in x
3.943 * [taylor]: Taking taylor expansion of x in x
3.943 * [backup-simplify]: Simplify 0 into 0
3.943 * [backup-simplify]: Simplify 1 into 1
3.944 * [backup-simplify]: Simplify (exp 0) into 1
3.944 * [backup-simplify]: Simplify (/ 1 1) into 1
3.944 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x
3.944 * [taylor]: Taking taylor expansion of (exp x) in x
3.944 * [taylor]: Taking taylor expansion of x in x
3.944 * [backup-simplify]: Simplify 0 into 0
3.944 * [backup-simplify]: Simplify 1 into 1
3.944 * [backup-simplify]: Simplify (exp 0) into 1
3.944 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
3.944 * [taylor]: Taking taylor expansion of (exp x) in x
3.944 * [taylor]: Taking taylor expansion of x in x
3.944 * [backup-simplify]: Simplify 0 into 0
3.944 * [backup-simplify]: Simplify 1 into 1
3.944 * [backup-simplify]: Simplify (exp 0) into 1
3.944 * [backup-simplify]: Simplify (/ 1 1) into 1
3.945 * [backup-simplify]: Simplify (+ 1 1) into 2
3.945 * [backup-simplify]: Simplify 2 into 2
3.945 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.946 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
3.946 * [backup-simplify]: Simplify (+ 1 -1) into 0
3.946 * [backup-simplify]: Simplify 0 into 0
3.947 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.948 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
3.949 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
3.949 * [backup-simplify]: Simplify 1 into 1
3.950 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
3.952 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
3.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/6 1)) (* -1 (/ 1/2 1)) (* 1/2 (/ 1 1)))) into -1/6
3.953 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
3.953 * [backup-simplify]: Simplify 0 into 0
3.955 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
3.957 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
3.959 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/24 1)) (* -1 (/ 1/6 1)) (* 1/2 (/ 1/2 1)) (* -1/6 (/ 1 1)))) into 1/24
3.959 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
3.959 * [backup-simplify]: Simplify 1/12 into 1/12
3.959 * [backup-simplify]: Simplify (+ (* 1/12 (pow x 4)) (+ (* 1 (pow x 2)) 2)) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
3.959 * [backup-simplify]: Simplify (+ (/ 1 (exp (/ 1 x))) (exp (/ 1 x))) into (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))
3.959 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) in (x) around 0
3.960 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) in x
3.960 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.960 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.960 * [taylor]: Taking taylor expansion of x in x
3.960 * [backup-simplify]: Simplify 0 into 0
3.960 * [backup-simplify]: Simplify 1 into 1
3.960 * [backup-simplify]: Simplify (/ 1 1) into 1
3.960 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.960 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
3.960 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.960 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.960 * [taylor]: Taking taylor expansion of x in x
3.960 * [backup-simplify]: Simplify 0 into 0
3.960 * [backup-simplify]: Simplify 1 into 1
3.960 * [backup-simplify]: Simplify (/ 1 1) into 1
3.960 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.960 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.960 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) in x
3.960 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.960 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.960 * [taylor]: Taking taylor expansion of x in x
3.960 * [backup-simplify]: Simplify 0 into 0
3.960 * [backup-simplify]: Simplify 1 into 1
3.961 * [backup-simplify]: Simplify (/ 1 1) into 1
3.961 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.961 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
3.961 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.961 * [taylor]: Taking taylor expansion of x in x
3.961 * [backup-simplify]: Simplify 0 into 0
3.961 * [backup-simplify]: Simplify 1 into 1
3.961 * [backup-simplify]: Simplify (/ 1 1) into 1
3.961 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.961 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
3.961 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) into (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))
3.961 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) into (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))
3.962 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
3.962 * [backup-simplify]: Simplify (+ 0 0) into 0
3.962 * [backup-simplify]: Simplify 0 into 0
3.962 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.964 * [backup-simplify]: Simplify (+ 0 0) into 0
3.964 * [backup-simplify]: Simplify 0 into 0
3.964 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.964 * [backup-simplify]: Simplify (+ 0 0) into 0
3.964 * [backup-simplify]: Simplify 0 into 0
3.965 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.965 * [backup-simplify]: Simplify (+ 0 0) into 0
3.965 * [backup-simplify]: Simplify 0 into 0
3.966 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.966 * [backup-simplify]: Simplify (+ 0 0) into 0
3.966 * [backup-simplify]: Simplify 0 into 0
3.967 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
3.967 * [backup-simplify]: Simplify (+ 0 0) into 0
3.967 * [backup-simplify]: Simplify 0 into 0
3.967 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) (/ 1 (exp (/ 1 (/ 1 x))))) into (+ (exp x) (/ 1 (exp x)))
3.967 * [backup-simplify]: Simplify (+ (/ 1 (exp (/ 1 (- x)))) (exp (/ 1 (- x)))) into (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))
3.967 * [approximate]: Taking taylor expansion of (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) in (x) around 0
3.967 * [taylor]: Taking taylor expansion of (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) in x
3.967 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
3.967 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.968 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.968 * [taylor]: Taking taylor expansion of -1 in x
3.968 * [backup-simplify]: Simplify -1 into -1
3.968 * [taylor]: Taking taylor expansion of x in x
3.968 * [backup-simplify]: Simplify 0 into 0
3.968 * [backup-simplify]: Simplify 1 into 1
3.968 * [backup-simplify]: Simplify (/ -1 1) into -1
3.968 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.968 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.968 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.968 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.968 * [taylor]: Taking taylor expansion of -1 in x
3.968 * [backup-simplify]: Simplify -1 into -1
3.968 * [taylor]: Taking taylor expansion of x in x
3.968 * [backup-simplify]: Simplify 0 into 0
3.968 * [backup-simplify]: Simplify 1 into 1
3.969 * [backup-simplify]: Simplify (/ -1 1) into -1
3.969 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.969 * [taylor]: Taking taylor expansion of (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) in x
3.969 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
3.969 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.969 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.969 * [taylor]: Taking taylor expansion of -1 in x
3.969 * [backup-simplify]: Simplify -1 into -1
3.969 * [taylor]: Taking taylor expansion of x in x
3.969 * [backup-simplify]: Simplify 0 into 0
3.969 * [backup-simplify]: Simplify 1 into 1
3.970 * [backup-simplify]: Simplify (/ -1 1) into -1
3.970 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.970 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
3.970 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.970 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.970 * [taylor]: Taking taylor expansion of -1 in x
3.970 * [backup-simplify]: Simplify -1 into -1
3.970 * [taylor]: Taking taylor expansion of x in x
3.970 * [backup-simplify]: Simplify 0 into 0
3.970 * [backup-simplify]: Simplify 1 into 1
3.970 * [backup-simplify]: Simplify (/ -1 1) into -1
3.971 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.971 * [backup-simplify]: Simplify (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) into (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))
3.971 * [backup-simplify]: Simplify (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) into (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))
3.971 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
3.971 * [backup-simplify]: Simplify (+ 0 0) into 0
3.971 * [backup-simplify]: Simplify 0 into 0
3.972 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.972 * [backup-simplify]: Simplify (+ 0 0) into 0
3.972 * [backup-simplify]: Simplify 0 into 0
3.972 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.973 * [backup-simplify]: Simplify (+ 0 0) into 0
3.973 * [backup-simplify]: Simplify 0 into 0
3.973 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.974 * [backup-simplify]: Simplify (+ 0 0) into 0
3.974 * [backup-simplify]: Simplify 0 into 0
3.974 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.975 * [backup-simplify]: Simplify (+ 0 0) into 0
3.975 * [backup-simplify]: Simplify 0 into 0
3.975 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
3.975 * [backup-simplify]: Simplify (+ 0 0) into 0
3.976 * [backup-simplify]: Simplify 0 into 0
3.976 * [backup-simplify]: Simplify (+ (/ 1 (exp (/ -1 (/ 1 (- x))))) (exp (/ -1 (/ 1 (- x))))) into (+ (exp x) (/ 1 (exp x)))
3.976 * * * [progress]: simplifying candidates
3.976 * * * * [progress]: [ 1 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (pow (exp x) -1) (exp x))) 2))>
3.976 * * * * [progress]: [ 2 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (pow (exp x) (- 1)) (exp x))) 2))>
3.976 * * * * [progress]: [ 3 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (pow (exp (* (cbrt x) (cbrt x))) (- (cbrt x))) (exp x))) 2))>
3.976 * * * * [progress]: [ 4 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (pow (exp (sqrt x)) (- (sqrt x))) (exp x))) 2))>
3.976 * * * * [progress]: [ 5 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (pow (exp 1) (- x)) (exp x))) 2))>
3.976 * * * * [progress]: [ 6 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (pow (/ 1 (exp x)) 1) (exp x))) 2))>
3.976 * * * * [progress]: [ 7 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (exp (- x)) (exp x))) 2))>
3.976 * * * * [progress]: [ 8 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (exp (- 0 x)) (exp x))) 2))>
3.976 * * * * [progress]: [ 9 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (exp (- (log 1) x)) (exp x))) 2))>
3.977 * * * * [progress]: [ 10 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (exp (log (/ 1 (exp x)))) (exp x))) 2))>
3.977 * * * * [progress]: [ 11 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (log (exp (/ 1 (exp x)))) (exp x))) 2))>
3.977 * * * * [progress]: [ 12 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (cbrt (/ (* (* 1 1) 1) (* (* (exp x) (exp x)) (exp x)))) (exp x))) 2))>
3.977 * * * * [progress]: [ 13 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (* (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x)))) (cbrt (/ 1 (exp x)))) (exp x))) 2))>
3.977 * * * * [progress]: [ 14 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (cbrt (* (* (/ 1 (exp x)) (/ 1 (exp x))) (/ 1 (exp x)))) (exp x))) 2))>
3.977 * * * * [progress]: [ 15 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (* (sqrt (/ 1 (exp x))) (sqrt (/ 1 (exp x)))) (exp x))) 2))>
3.977 * * * * [progress]: [ 16 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (/ (- 1) (- (exp x))) (exp x))) 2))>
3.977 * * * * [progress]: [ 17 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (* (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt 1) (cbrt (exp x)))) (exp x))) 2))>
3.977 * * * * [progress]: [ 18 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (* (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x))) (/ (cbrt 1) (sqrt (exp x)))) (exp x))) 2))>
3.977 * * * * [progress]: [ 19 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (* (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (exp x))) (exp x))) 2))>
3.977 * * * * [progress]: [ 20 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (* (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt 1) (cbrt (exp x)))) (exp x))) 2))>
3.977 * * * * [progress]: [ 21 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (* (/ (sqrt 1) (sqrt (exp x))) (/ (sqrt 1) (sqrt (exp x)))) (exp x))) 2))>
3.977 * * * * [progress]: [ 22 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (* (/ (sqrt 1) 1) (/ (sqrt 1) (exp x))) (exp x))) 2))>
3.977 * * * * [progress]: [ 23 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (* (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ 1 (cbrt (exp x)))) (exp x))) 2))>
3.977 * * * * [progress]: [ 24 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (* (/ 1 (sqrt (exp x))) (/ 1 (sqrt (exp x)))) (exp x))) 2))>
3.977 * * * * [progress]: [ 25 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (* (/ 1 1) (/ 1 (exp x))) (exp x))) 2))>
3.978 * * * * [progress]: [ 26 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (* 1 (/ 1 (exp x))) (exp x))) 2))>
3.978 * * * * [progress]: [ 27 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (* 1 (/ 1 (exp x))) (exp x))) 2))>
3.978 * * * * [progress]: [ 28 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (/ 1 (/ (exp x) 1)) (exp x))) 2))>
3.978 * * * * [progress]: [ 29 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (/ (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) (exp x))) 2))>
3.978 * * * * [progress]: [ 30 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (/ (/ 1 (sqrt (exp x))) (sqrt (exp x))) (exp x))) 2))>
3.978 * * * * [progress]: [ 31 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (/ (/ 1 1) (exp x)) (exp x))) 2))>
3.978 * * * * [progress]: [ 32 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (/ (* (cbrt 1) (cbrt 1)) (/ (exp x) (cbrt 1))) (exp x))) 2))>
3.978 * * * * [progress]: [ 33 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (/ (sqrt 1) (/ (exp x) (sqrt 1))) (exp x))) 2))>
3.978 * * * * [progress]: [ 34 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (/ 1 (/ (exp x) 1)) (exp x))) 2))>
3.978 * * * * [progress]: [ 35 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (posit16->real (real->posit16 (/ 1 (exp x)))) (exp x))) 2))>
3.978 * * * * [progress]: [ 36 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (pow (* (cos y) (+ (/ 1 (exp x)) (exp x))) 1) 2))>
3.978 * * * * [progress]: [ 37 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (pow (* (cos y) (+ (/ 1 (exp x)) (exp x))) 1) 2))>
3.978 * * * * [progress]: [ 38 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (exp (+ (log (cos y)) (log (+ (/ 1 (exp x)) (exp x))))) 2))>
3.978 * * * * [progress]: [ 39 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (exp (log (* (cos y) (+ (/ 1 (exp x)) (exp x))))) 2))>
3.978 * * * * [progress]: [ 40 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (log (exp (* (cos y) (+ (/ 1 (exp x)) (exp x))))) 2))>
3.978 * * * * [progress]: [ 41 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (cbrt (* (* (* (cos y) (cos y)) (cos y)) (* (* (+ (/ 1 (exp x)) (exp x)) (+ (/ 1 (exp x)) (exp x))) (+ (/ 1 (exp x)) (exp x))))) 2))>
3.979 * * * * [progress]: [ 42 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (* (cbrt (* (cos y) (+ (/ 1 (exp x)) (exp x)))) (cbrt (* (cos y) (+ (/ 1 (exp x)) (exp x))))) (cbrt (* (cos y) (+ (/ 1 (exp x)) (exp x))))) 2))>
3.979 * * * * [progress]: [ 43 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (cbrt (* (* (* (cos y) (+ (/ 1 (exp x)) (exp x))) (* (cos y) (+ (/ 1 (exp x)) (exp x)))) (* (cos y) (+ (/ 1 (exp x)) (exp x))))) 2))>
3.979 * * * * [progress]: [ 44 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (sqrt (* (cos y) (+ (/ 1 (exp x)) (exp x)))) (sqrt (* (cos y) (+ (/ 1 (exp x)) (exp x))))) 2))>
3.979 * * * * [progress]: [ 45 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* 1 (* (cos y) (+ (/ 1 (exp x)) (exp x)))) 2))>
3.979 * * * * [progress]: [ 46 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (* (sqrt (cos y)) (sqrt (+ (/ 1 (exp x)) (exp x)))) (* (sqrt (cos y)) (sqrt (+ (/ 1 (exp x)) (exp x))))) 2))>
3.979 * * * * [progress]: [ 47 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (cos y) (/ 1 (exp x))) (* (cos y) (exp x))) 2))>
3.979 * * * * [progress]: [ 48 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (+ (* (/ 1 (exp x)) (cos y)) (* (exp x) (cos y))) 2))>
3.979 * * * * [progress]: [ 49 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (* (cos y) (* (cbrt (+ (/ 1 (exp x)) (exp x))) (cbrt (+ (/ 1 (exp x)) (exp x))))) (cbrt (+ (/ 1 (exp x)) (exp x)))) 2))>
3.979 * * * * [progress]: [ 50 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (* (cos y) (sqrt (+ (/ 1 (exp x)) (exp x)))) (sqrt (+ (/ 1 (exp x)) (exp x)))) 2))>
3.979 * * * * [progress]: [ 51 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (* (cos y) 1) (+ (/ 1 (exp x)) (exp x))) 2))>
3.979 * * * * [progress]: [ 52 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (* (cos y) 1) (+ (/ 1 (exp x)) (exp x))) 2))>
3.979 * * * * [progress]: [ 53 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (* (cos y) 1) (+ (/ 1 (exp x)) (exp x))) 2))>
3.979 * * * * [progress]: [ 54 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (+ (/ 1 (exp x)) (exp x)))) 2))>
3.979 * * * * [progress]: [ 55 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (sqrt (cos y)) (* (sqrt (cos y)) (+ (/ 1 (exp x)) (exp x)))) 2))>
3.979 * * * * [progress]: [ 56 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* 1 (* (cos y) (+ (/ 1 (exp x)) (exp x)))) 2))>
3.979 * * * * [progress]: [ 57 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (/ (* (cos y) (+ (pow (/ 1 (exp x)) 3) (pow (exp x) 3))) (+ (* (/ 1 (exp x)) (/ 1 (exp x))) (- (* (exp x) (exp x)) (* (/ 1 (exp x)) (exp x))))) 2))>
3.980 * * * * [progress]: [ 58 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (/ (* (cos y) (- (* (/ 1 (exp x)) (/ 1 (exp x))) (* (exp x) (exp x)))) (- (/ 1 (exp x)) (exp x))) 2))>
3.980 * * * * [progress]: [ 59 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (posit16->real (real->posit16 (* (cos y) (+ (/ 1 (exp x)) (exp x))))) 2))>
3.980 * * * * [progress]: [ 60 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (+ (/ 1 (exp x)) (exp x)) (cos y)) 2))>
3.980 * * * * [progress]: [ 61 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (log (* (exp (/ 1 (exp x))) (exp (exp x))))) 2))>
3.980 * * * * [progress]: [ 62 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (pow (+ (/ 1 (exp x)) (exp x)) 1)) 2))>
3.980 * * * * [progress]: [ 63 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (exp (log (+ (/ 1 (exp x)) (exp x))))) 2))>
3.980 * * * * [progress]: [ 64 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (log (exp (+ (/ 1 (exp x)) (exp x))))) 2))>
3.980 * * * * [progress]: [ 65 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (* (* (cbrt (+ (/ 1 (exp x)) (exp x))) (cbrt (+ (/ 1 (exp x)) (exp x)))) (cbrt (+ (/ 1 (exp x)) (exp x))))) 2))>
3.980 * * * * [progress]: [ 66 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (cbrt (* (* (+ (/ 1 (exp x)) (exp x)) (+ (/ 1 (exp x)) (exp x))) (+ (/ 1 (exp x)) (exp x))))) 2))>
3.980 * * * * [progress]: [ 67 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (* (sqrt (+ (/ 1 (exp x)) (exp x))) (sqrt (+ (/ 1 (exp x)) (exp x))))) 2))>
3.980 * * * * [progress]: [ 68 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (/ (+ (pow (/ 1 (exp x)) 3) (pow (exp x) 3)) (+ (* (/ 1 (exp x)) (/ 1 (exp x))) (- (* (exp x) (exp x)) (* (/ 1 (exp x)) (exp x)))))) 2))>
3.980 * * * * [progress]: [ 69 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (* 1 (+ (/ 1 (exp x)) (exp x)))) 2))>
3.980 * * * * [progress]: [ 70 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (/ (- (* (/ 1 (exp x)) (/ 1 (exp x))) (* (exp x) (exp x))) (- (/ 1 (exp x)) (exp x)))) 2))>
3.980 * * * * [progress]: [ 71 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (* 1 (+ (/ 1 (exp x)) (exp x)))) 2))>
3.980 * * * * [progress]: [ 72 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (* 1 (+ (/ 1 (exp x)) (exp x)))) 2))>
3.980 * * * * [progress]: [ 73 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (posit16->real (real->posit16 (+ (/ 1 (exp x)) (exp x))))) 2))>
3.980 * * * * [progress]: [ 74 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (exp x) (/ 1 (exp x)))) 2))>
3.981 * * * * [progress]: [ 75 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (- (+ (* 1/2 (pow x 2)) 1) x) (exp x))) 2))>
3.981 * * * * [progress]: [ 76 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (/ 1 (exp x)) (exp x))) 2))>
3.981 * * * * [progress]: [ 77 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (/ 1 (exp x)) (exp x))) 2))>
3.981 * * * * [progress]: [ 78 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (- (+ (pow x 2) 2) (pow y 2)) 2))>
3.981 * * * * [progress]: [ 79 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (+ (exp x) (/ 1 (exp x))) (cos y)) 2))>
3.981 * * * * [progress]: [ 80 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (+ (exp x) (/ 1 (exp x))) (cos y)) 2))>
3.981 * * * * [progress]: [ 81 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))) 2))>
3.981 * * * * [progress]: [ 82 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (exp x) (/ 1 (exp x)))) 2))>
3.981 * * * * [progress]: [ 83 / 83 ] simplifiying candidate #<alt (λ (x y) (/ (* (cos y) (+ (exp x) (/ 1 (exp x)))) 2))>
3.982 * [simplify]: Simplifying:
  (- 1)
  (- (cbrt x))
  (- (sqrt x))
  (- x)
  (- x)
  (- 0 x)
  (- (log 1) x)
  (log (/ 1 (exp x)))
  (exp (/ 1 (exp x)))
  (/ (* (* 1 1) 1) (* (* (exp x) (exp x)) (exp x)))
  (* (cbrt (/ 1 (exp x))) (cbrt (/ 1 (exp x))))
  (cbrt (/ 1 (exp x)))
  (* (* (/ 1 (exp x)) (/ 1 (exp x))) (/ 1 (exp x)))
  (sqrt (/ 1 (exp x)))
  (sqrt (/ 1 (exp x)))
  (- 1)
  (- (exp x))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cbrt 1) (cbrt (exp x)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (exp x)))
  (/ (cbrt 1) (sqrt (exp x)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (exp x))
  (/ (sqrt 1) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (sqrt 1) (cbrt (exp x)))
  (/ (sqrt 1) (sqrt (exp x)))
  (/ (sqrt 1) (sqrt (exp x)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (exp x))
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ 1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 1)
  (/ 1 (exp x))
  (/ 1 (exp x))
  (/ (exp x) 1)
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ 1 (sqrt (exp x)))
  (/ 1 1)
  (/ (exp x) (cbrt 1))
  (/ (exp x) (sqrt 1))
  (/ (exp x) 1)
  (real->posit16 (/ 1 (exp x)))
  (* (cos y) (+ (/ 1 (exp x)) (exp x)))
  (+ (log (cos y)) (log (+ (/ 1 (exp x)) (exp x))))
  (log (* (cos y) (+ (/ 1 (exp x)) (exp x))))
  (exp (* (cos y) (+ (/ 1 (exp x)) (exp x))))
  (* (* (* (cos y) (cos y)) (cos y)) (* (* (+ (/ 1 (exp x)) (exp x)) (+ (/ 1 (exp x)) (exp x))) (+ (/ 1 (exp x)) (exp x))))
  (* (cbrt (* (cos y) (+ (/ 1 (exp x)) (exp x)))) (cbrt (* (cos y) (+ (/ 1 (exp x)) (exp x)))))
  (cbrt (* (cos y) (+ (/ 1 (exp x)) (exp x))))
  (* (* (* (cos y) (+ (/ 1 (exp x)) (exp x))) (* (cos y) (+ (/ 1 (exp x)) (exp x)))) (* (cos y) (+ (/ 1 (exp x)) (exp x))))
  (sqrt (* (cos y) (+ (/ 1 (exp x)) (exp x))))
  (sqrt (* (cos y) (+ (/ 1 (exp x)) (exp x))))
  (* (sqrt (cos y)) (sqrt (+ (/ 1 (exp x)) (exp x))))
  (* (sqrt (cos y)) (sqrt (+ (/ 1 (exp x)) (exp x))))
  (* (cos y) (/ 1 (exp x)))
  (* (cos y) (exp x))
  (* (/ 1 (exp x)) (cos y))
  (* (exp x) (cos y))
  (* (cos y) (* (cbrt (+ (/ 1 (exp x)) (exp x))) (cbrt (+ (/ 1 (exp x)) (exp x)))))
  (* (cos y) (sqrt (+ (/ 1 (exp x)) (exp x))))
  (* (cos y) 1)
  (* (cos y) 1)
  (* (cos y) 1)
  (* (cbrt (cos y)) (+ (/ 1 (exp x)) (exp x)))
  (* (sqrt (cos y)) (+ (/ 1 (exp x)) (exp x)))
  (* (cos y) (+ (/ 1 (exp x)) (exp x)))
  (* (cos y) (+ (pow (/ 1 (exp x)) 3) (pow (exp x) 3)))
  (* (cos y) (- (* (/ 1 (exp x)) (/ 1 (exp x))) (* (exp x) (exp x))))
  (real->posit16 (* (cos y) (+ (/ 1 (exp x)) (exp x))))
  (* (exp (/ 1 (exp x))) (exp (exp x)))
  (log (+ (/ 1 (exp x)) (exp x)))
  (exp (+ (/ 1 (exp x)) (exp x)))
  (* (cbrt (+ (/ 1 (exp x)) (exp x))) (cbrt (+ (/ 1 (exp x)) (exp x))))
  (cbrt (+ (/ 1 (exp x)) (exp x)))
  (* (* (+ (/ 1 (exp x)) (exp x)) (+ (/ 1 (exp x)) (exp x))) (+ (/ 1 (exp x)) (exp x)))
  (sqrt (+ (/ 1 (exp x)) (exp x)))
  (sqrt (+ (/ 1 (exp x)) (exp x)))
  (+ (pow (/ 1 (exp x)) 3) (pow (exp x) 3))
  (+ (* (/ 1 (exp x)) (/ 1 (exp x))) (- (* (exp x) (exp x)) (* (/ 1 (exp x)) (exp x))))
  (- (* (/ 1 (exp x)) (/ 1 (exp x))) (* (exp x) (exp x)))
  (- (/ 1 (exp x)) (exp x))
  (+ (/ 1 (exp x)) (exp x))
  (+ (/ 1 (exp x)) (exp x))
  (real->posit16 (+ (/ 1 (exp x)) (exp x)))
  (- (+ (* 1/2 (pow x 2)) 1) x)
  (/ 1 (exp x))
  (/ 1 (exp x))
  (- (+ (pow x 2) 2) (pow y 2))
  (* (+ (exp x) (/ 1 (exp x))) (cos y))
  (* (+ (exp x) (/ 1 (exp x))) (cos y))
  (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
  (+ (exp x) (/ 1 (exp x)))
  (+ (exp x) (/ 1 (exp x)))
3.984 * * [simplify]: iteration 1: (119 enodes)
4.038 * * [simplify]: iteration 2: (285 enodes)
4.142 * * [simplify]: iteration 3: (807 enodes)
4.743 * * [simplify]: Extracting #0: cost 52 inf + 0
4.744 * * [simplify]: Extracting #1: cost 234 inf + 2
4.746 * * [simplify]: Extracting #2: cost 543 inf + 3534
4.756 * * [simplify]: Extracting #3: cost 529 inf + 37230
4.802 * * [simplify]: Extracting #4: cost 112 inf + 172096
4.871 * * [simplify]: Extracting #5: cost 4 inf + 197862
4.941 * * [simplify]: Extracting #6: cost 0 inf + 196897
5.009 * * [simplify]: Extracting #7: cost 0 inf + 196781
5.080 * [simplify]: Simplified to:
  -1
  (- (cbrt x))
  (- (sqrt x))
  (- x)
  (- x)
  (- x)
  (- x)
  (- x)
  (exp (exp (- x)))
  (exp (+ (- x) (- (- x) x)))
  (* (cbrt (exp (- x))) (cbrt (exp (- x))))
  (cbrt (exp (- x)))
  (exp (+ (- x) (- (- x) x)))
  (sqrt (exp (- x)))
  (sqrt (exp (- x)))
  -1
  (- (exp x))
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ 1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 (sqrt (exp x)))
  1
  (exp (- x))
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ 1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 (sqrt (exp x)))
  1
  (exp (- x))
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ 1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ 1 (sqrt (exp x)))
  1
  (exp (- x))
  (exp (- x))
  (exp x)
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ 1 (sqrt (exp x)))
  1
  (exp x)
  (exp x)
  (exp x)
  (real->posit16 (exp (- x)))
  (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
  (log (+ (/ (cos y) (exp x)) (* (exp x) (cos y))))
  (log (+ (/ (cos y) (exp x)) (* (exp x) (cos y))))
  (exp (+ (/ (cos y) (exp x)) (* (exp x) (cos y))))
  (* (* (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))) (+ (/ (cos y) (exp x)) (* (exp x) (cos y))))
  (* (cbrt (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))) (cbrt (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))))
  (cbrt (+ (/ (cos y) (exp x)) (* (exp x) (cos y))))
  (* (* (+ (/ (cos y) (exp x)) (* (exp x) (cos y))) (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))) (+ (/ (cos y) (exp x)) (* (exp x) (cos y))))
  (sqrt (+ (/ (cos y) (exp x)) (* (exp x) (cos y))))
  (sqrt (+ (/ (cos y) (exp x)) (* (exp x) (cos y))))
  (* (sqrt (cos y)) (sqrt (+ (exp x) (exp (- x)))))
  (* (sqrt (cos y)) (sqrt (+ (exp x) (exp (- x)))))
  (/ (cos y) (exp x))
  (* (cos y) (exp x))
  (/ (cos y) (exp x))
  (* (cos y) (exp x))
  (* (cos y) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (* (cos y) (sqrt (+ (exp x) (exp (- x)))))
  (cos y)
  (cos y)
  (cos y)
  (* (cbrt (cos y)) (+ (exp x) (exp (- x))))
  (* (sqrt (cos y)) (+ (exp x) (exp (- x))))
  (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
  (+ (/ (/ (/ (cos y) (exp x)) (exp x)) (exp x)) (* (cos y) (exp (+ (+ x x) x))))
  (+ (/ (/ (cos y) (exp x)) (exp x)) (* (* (exp x) (- (exp x))) (cos y)))
  (real->posit16 (+ (/ (cos y) (exp x)) (* (exp x) (cos y))))
  (exp (+ (exp x) (exp (- x))))
  (log (+ (exp x) (exp (- x))))
  (exp (+ (exp x) (exp (- x))))
  (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))
  (cbrt (+ (exp x) (exp (- x))))
  (* (+ (exp x) (exp (- x))) (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))
  (sqrt (+ (exp x) (exp (- x))))
  (sqrt (+ (exp x) (exp (- x))))
  (+ (exp (+ (- x) (- (- x) x))) (exp (+ (+ x x) x)))
  (+ (+ (exp (- (- x) x)) (exp (+ x x))) -1)
  (- (exp (- (- x) x)) (exp (+ x x)))
  (- (exp (- x)) (exp x))
  (+ (exp x) (exp (- x)))
  (+ (exp x) (exp (- x)))
  (real->posit16 (+ (exp x) (exp (- x))))
  (+ 1 (- (* (* x x) 1/2) x))
  (exp (- x))
  (exp (- x))
  (+ (- (* x x) (* y y)) 2)
  (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
  (+ (/ (cos y) (exp x)) (* (exp x) (cos y)))
  (+ (* 1/12 (* (* x x) (* x x))) (+ (* x x) 2))
  (+ (exp x) (exp (- x)))
  (+ (exp x) (exp (- x)))
5.088 * * * [progress]: adding candidates to table
5.881 * [progress]: [Phase 3 of 3] Extracting.
5.881 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (/ (* (cos y) (+ (/ 1 (exp x)) (exp x))) 2))> #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2))>)
5.882 * * * [regime-changes]: Trying 2 branch expressions: (y x)
5.882 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (/ (* (cos y) (+ (/ 1 (exp x)) (exp x))) 2))> #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2))>)
5.901 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (/ (* (cos y) (+ (/ 1 (exp x)) (exp x))) 2))> #<alt (λ (x y) (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2))>)
5.931 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
5.932 * [simplify]: Simplifying:
  (/ (+ (/ (cos y) (exp x)) (* (cos y) (exp x))) 2)
5.932 * * [simplify]: iteration 1: (9 enodes)
5.932 * * [simplify]: iteration 2: (11 enodes)
5.932 * * [simplify]: Extracting #0: cost 1 inf + 0
5.932 * * [simplify]: Extracting #1: cost 3 inf + 0
5.933 * * [simplify]: Extracting #2: cost 4 inf + 1
5.933 * * [simplify]: Extracting #3: cost 6 inf + 1
5.933 * * [simplify]: Extracting #4: cost 8 inf + 1
5.933 * * [simplify]: Extracting #5: cost 5 inf + 74
5.933 * * [simplify]: Extracting #6: cost 0 inf + 1024
5.933 * [simplify]: Simplified to:
  (/ (+ (* (exp x) (cos y)) (/ (cos y) (exp x))) 2)
5.933 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
6.003 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
6.005 * * * * [points]: Setting MPFR precision to 64
6.006 * * * * [points]: Setting MPFR precision to 320
6.007 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
6.009 * * * * [points]: Setting MPFR precision to 64
6.010 * * * * [points]: Setting MPFR precision to 320
6.012 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
6.014 * * * * [points]: Setting MPFR precision to 64
6.017 * * * * [points]: Setting MPFR precision to 320
6.020 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
6.022 * * * * [points]: Setting MPFR precision to 64
6.027 * * * * [points]: Setting MPFR precision to 320
6.038 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
6.043 * * * * [points]: Setting MPFR precision to 64
6.059 * * * * [points]: Setting MPFR precision to 320
6.082 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
6.087 * * * * [points]: Setting MPFR precision to 64
6.149 * * * * [points]: Setting MPFR precision to 320
6.174 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
6.176 * * * * [points]: Setting MPFR precision to 64
6.228 * * * * [points]: Setting MPFR precision to 320
6.312 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
6.317 * * * * [points]: Setting MPFR precision to 64
6.474 * * * * [points]: Setting MPFR precision to 320
6.656 * * * * [points]: Computing exacts for 8000 points
6.660 * * * * [points]: Setting MPFR precision to 64
7.254 * * * * [points]: Setting MPFR precision to 320
8.224 * * * * [points]: Filtering points with unrepresentable outputs
8.230 * * * * [points]: Sampling 3990 additional inputs, on iter 1 have 4010 / 8000
8.261 * * * * [points]: Computing exacts on every 249 of 3990 points to ramp up precision
8.265 * * * * [points]: Setting MPFR precision to 64
8.267 * * * * [points]: Setting MPFR precision to 320
8.268 * * * * [points]: Computing exacts on every 124 of 3990 points to ramp up precision
8.294 * * * * [points]: Setting MPFR precision to 64
8.295 * * * * [points]: Setting MPFR precision to 320
8.297 * * * * [points]: Computing exacts on every 62 of 3990 points to ramp up precision
8.300 * * * * [points]: Setting MPFR precision to 64
8.304 * * * * [points]: Setting MPFR precision to 320
8.306 * * * * [points]: Computing exacts on every 31 of 3990 points to ramp up precision
8.309 * * * * [points]: Setting MPFR precision to 64
8.314 * * * * [points]: Setting MPFR precision to 320
8.319 * * * * [points]: Computing exacts on every 15 of 3990 points to ramp up precision
8.322 * * * * [points]: Setting MPFR precision to 64
8.331 * * * * [points]: Setting MPFR precision to 320
8.343 * * * * [points]: Computing exacts on every 7 of 3990 points to ramp up precision
8.346 * * * * [points]: Setting MPFR precision to 64
8.381 * * * * [points]: Setting MPFR precision to 320
8.414 * * * * [points]: Computing exacts on every 3 of 3990 points to ramp up precision
8.417 * * * * [points]: Setting MPFR precision to 64
8.521 * * * * [points]: Setting MPFR precision to 320
8.584 * * * * [points]: Computing exacts for 3990 points
8.589 * * * * [points]: Setting MPFR precision to 64
8.931 * * * * [points]: Setting MPFR precision to 320
9.358 * * * * [points]: Setting MPFR precision to 576
9.876 * * * * [points]: Filtering points with unrepresentable outputs
9.880 * * * * [points]: Sampling 2023 additional inputs, on iter 2 have 5977 / 8000
9.910 * * * * [points]: Computing exacts on every 126 of 2023 points to ramp up precision
9.913 * * * * [points]: Setting MPFR precision to 320
9.914 * * * * [points]: Setting MPFR precision to 576
9.914 * * * * [points]: Computing exacts on every 63 of 2023 points to ramp up precision
9.917 * * * * [points]: Setting MPFR precision to 320
9.919 * * * * [points]: Setting MPFR precision to 576
9.921 * * * * [points]: Computing exacts on every 31 of 2023 points to ramp up precision
9.924 * * * * [points]: Setting MPFR precision to 320
9.928 * * * * [points]: Setting MPFR precision to 576
9.932 * * * * [points]: Computing exacts on every 15 of 2023 points to ramp up precision
9.935 * * * * [points]: Setting MPFR precision to 320
9.941 * * * * [points]: Setting MPFR precision to 576
9.949 * * * * [points]: Computing exacts on every 7 of 2023 points to ramp up precision
9.952 * * * * [points]: Setting MPFR precision to 320
9.964 * * * * [points]: Setting MPFR precision to 576
10.001 * * * * [points]: Computing exacts on every 3 of 2023 points to ramp up precision
10.005 * * * * [points]: Setting MPFR precision to 320
10.030 * * * * [points]: Setting MPFR precision to 576
10.085 * * * * [points]: Computing exacts for 2023 points
10.091 * * * * [points]: Setting MPFR precision to 320
10.628 * * * * [points]: Setting MPFR precision to 576
10.882 * * * * [points]: Filtering points with unrepresentable outputs
10.884 * * * * [points]: Sampling 1022 additional inputs, on iter 3 have 6978 / 8000
10.903 * * * * [points]: Computing exacts on every 63 of 1022 points to ramp up precision
10.909 * * * * [points]: Setting MPFR precision to 320
10.910 * * * * [points]: Setting MPFR precision to 576
10.911 * * * * [points]: Computing exacts on every 31 of 1022 points to ramp up precision
10.913 * * * * [points]: Setting MPFR precision to 320
10.915 * * * * [points]: Setting MPFR precision to 576
10.917 * * * * [points]: Computing exacts on every 15 of 1022 points to ramp up precision
10.920 * * * * [points]: Setting MPFR precision to 320
10.923 * * * * [points]: Setting MPFR precision to 576
10.927 * * * * [points]: Computing exacts on every 7 of 1022 points to ramp up precision
10.930 * * * * [points]: Setting MPFR precision to 320
10.936 * * * * [points]: Setting MPFR precision to 576
10.944 * * * * [points]: Computing exacts on every 3 of 1022 points to ramp up precision
10.947 * * * * [points]: Setting MPFR precision to 320
10.960 * * * * [points]: Setting MPFR precision to 576
10.987 * * * * [points]: Computing exacts for 1022 points
10.993 * * * * [points]: Setting MPFR precision to 320
11.116 * * * * [points]: Setting MPFR precision to 576
11.209 * * * * [points]: Filtering points with unrepresentable outputs
11.210 * * * * [points]: Sampling 506 additional inputs, on iter 4 have 7494 / 8000
11.218 * * * * [points]: Computing exacts on every 31 of 506 points to ramp up precision
11.224 * * * * [points]: Setting MPFR precision to 320
11.226 * * * * [points]: Setting MPFR precision to 576
11.228 * * * * [points]: Computing exacts on every 15 of 506 points to ramp up precision
11.234 * * * * [points]: Setting MPFR precision to 320
11.236 * * * * [points]: Setting MPFR precision to 576
11.240 * * * * [points]: Computing exacts on every 7 of 506 points to ramp up precision
11.245 * * * * [points]: Setting MPFR precision to 320
11.251 * * * * [points]: Setting MPFR precision to 576
11.259 * * * * [points]: Computing exacts on every 3 of 506 points to ramp up precision
11.308 * * * * [points]: Setting MPFR precision to 320
11.324 * * * * [points]: Setting MPFR precision to 576
11.338 * * * * [points]: Computing exacts for 506 points
11.344 * * * * [points]: Setting MPFR precision to 320
11.389 * * * * [points]: Setting MPFR precision to 576
11.425 * * * * [points]: Filtering points with unrepresentable outputs
11.425 * * * * [points]: Sampling 251 additional inputs, on iter 5 have 7749 / 8000
11.427 * * * * [points]: Computing exacts on every 15 of 251 points to ramp up precision
11.430 * * * * [points]: Setting MPFR precision to 320
11.431 * * * * [points]: Setting MPFR precision to 576
11.432 * * * * [points]: Computing exacts on every 7 of 251 points to ramp up precision
11.435 * * * * [points]: Setting MPFR precision to 320
11.436 * * * * [points]: Setting MPFR precision to 576
11.440 * * * * [points]: Computing exacts on every 3 of 251 points to ramp up precision
11.446 * * * * [points]: Setting MPFR precision to 320
11.451 * * * * [points]: Setting MPFR precision to 576
11.458 * * * * [points]: Computing exacts for 251 points
11.464 * * * * [points]: Setting MPFR precision to 320
11.517 * * * * [points]: Setting MPFR precision to 576
11.551 * * * * [points]: Filtering points with unrepresentable outputs
11.551 * * * * [points]: Sampling 127 additional inputs, on iter 6 have 7873 / 8000
11.554 * * * * [points]: Computing exacts on every 7 of 127 points to ramp up precision
11.560 * * * * [points]: Setting MPFR precision to 320
11.561 * * * * [points]: Setting MPFR precision to 576
11.563 * * * * [points]: Computing exacts on every 3 of 127 points to ramp up precision
11.569 * * * * [points]: Setting MPFR precision to 320
11.572 * * * * [points]: Setting MPFR precision to 576
11.575 * * * * [points]: Computing exacts for 127 points
11.581 * * * * [points]: Setting MPFR precision to 320
11.593 * * * * [points]: Setting MPFR precision to 576
11.608 * * * * [points]: Filtering points with unrepresentable outputs
11.609 * * * * [points]: Sampling 60 additional inputs, on iter 7 have 7940 / 8000
11.609 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
11.616 * * * * [points]: Setting MPFR precision to 320
11.617 * * * * [points]: Setting MPFR precision to 576
11.619 * * * * [points]: Computing exacts for 60 points
11.625 * * * * [points]: Setting MPFR precision to 320
11.630 * * * * [points]: Setting MPFR precision to 576
11.637 * * * * [points]: Filtering points with unrepresentable outputs
11.637 * * * * [points]: Sampling 29 additional inputs, on iter 8 have 7971 / 8000
11.637 * * * * [points]: Computing exacts for 29 points
11.640 * * * * [points]: Setting MPFR precision to 320
11.642 * * * * [points]: Setting MPFR precision to 576
11.644 * * * * [points]: Filtering points with unrepresentable outputs
11.644 * * * * [points]: Sampling 17 additional inputs, on iter 9 have 7983 / 8000
11.644 * * * * [points]: Computing exacts for 17 points
11.647 * * * * [points]: Setting MPFR precision to 320
11.648 * * * * [points]: Setting MPFR precision to 576
11.649 * * * * [points]: Filtering points with unrepresentable outputs
11.649 * * * * [points]: Sampling 9 additional inputs, on iter 10 have 7991 / 8000
11.649 * * * * [points]: Computing exacts for 9 points
11.652 * * * * [points]: Setting MPFR precision to 320
11.653 * * * * [points]: Setting MPFR precision to 576
11.653 * * * * [points]: Filtering points with unrepresentable outputs
11.653 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000
11.654 * * * * [points]: Computing exacts for 4 points
11.657 * * * * [points]: Setting MPFR precision to 320
11.657 * * * * [points]: Setting MPFR precision to 576
11.658 * * * * [points]: Filtering points with unrepresentable outputs
11.658 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
11.658 * * * * [points]: Computing exacts for 4 points
11.664 * * * * [points]: Setting MPFR precision to 320
11.664 * * * * [points]: Setting MPFR precision to 576
11.665 * * * * [points]: Filtering points with unrepresentable outputs
11.665 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000
11.665 * * * * [points]: Computing exacts for 4 points
11.694 * * * * [points]: Setting MPFR precision to 320
11.695 * * * * [points]: Setting MPFR precision to 576
11.695 * * * * [points]: Filtering points with unrepresentable outputs
11.695 * * * * [points]: Sampled 8000 points with exact outputs
12.006 * [regime-testing]: Baseline error score: 0.00825
12.008 * [regime-testing]: Oracle error score: 0.005375
12.013 * [regime-testing]: End program error score: 0.00825