24.240 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.006 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.008 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.013 * * * * [points]: Setting MPFR precision to 64
0.015 * * * * [points]: Setting MPFR precision to 320
0.017 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.021 * * * * [points]: Setting MPFR precision to 64
0.025 * * * * [points]: Setting MPFR precision to 320
0.029 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.033 * * * * [points]: Setting MPFR precision to 64
0.040 * * * * [points]: Setting MPFR precision to 320
0.048 * * * * [points]: Computing exacts for 256 points
0.051 * * * * [points]: Setting MPFR precision to 64
0.083 * * * * [points]: Setting MPFR precision to 320
0.098 * * * * [points]: Filtering points with unrepresentable outputs
0.099 * * * * [points]: Sampling 120 additional inputs, on iter 1 have 136 / 256
0.101 * * * * [points]: Computing exacts on every 7 of 120 points to ramp up precision
0.104 * * * * [points]: Setting MPFR precision to 64
0.104 * * * * [points]: Setting MPFR precision to 320
0.105 * * * * [points]: Computing exacts on every 3 of 120 points to ramp up precision
0.107 * * * * [points]: Setting MPFR precision to 64
0.108 * * * * [points]: Setting MPFR precision to 320
0.110 * * * * [points]: Computing exacts for 120 points
0.112 * * * * [points]: Setting MPFR precision to 64
0.118 * * * * [points]: Setting MPFR precision to 320
0.124 * * * * [points]: Filtering points with unrepresentable outputs
0.124 * * * * [points]: Sampling 62 additional inputs, on iter 2 have 194 / 256
0.125 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
0.127 * * * * [points]: Setting MPFR precision to 64
0.128 * * * * [points]: Setting MPFR precision to 320
0.129 * * * * [points]: Computing exacts for 62 points
0.131 * * * * [points]: Setting MPFR precision to 64
0.133 * * * * [points]: Setting MPFR precision to 320
0.136 * * * * [points]: Filtering points with unrepresentable outputs
0.136 * * * * [points]: Sampling 37 additional inputs, on iter 3 have 219 / 256
0.137 * * * * [points]: Computing exacts on every 2 of 37 points to ramp up precision
0.140 * * * * [points]: Setting MPFR precision to 64
0.141 * * * * [points]: Setting MPFR precision to 320
0.142 * * * * [points]: Computing exacts for 37 points
0.146 * * * * [points]: Setting MPFR precision to 64
0.149 * * * * [points]: Setting MPFR precision to 320
0.151 * * * * [points]: Filtering points with unrepresentable outputs
0.151 * * * * [points]: Sampling 19 additional inputs, on iter 4 have 237 / 256
0.152 * * * * [points]: Computing exacts for 19 points
0.155 * * * * [points]: Setting MPFR precision to 64
0.157 * * * * [points]: Setting MPFR precision to 320
0.158 * * * * [points]: Filtering points with unrepresentable outputs
0.158 * * * * [points]: Sampling 9 additional inputs, on iter 5 have 247 / 256
0.158 * * * * [points]: Computing exacts for 9 points
0.160 * * * * [points]: Setting MPFR precision to 64
0.161 * * * * [points]: Setting MPFR precision to 320
0.161 * * * * [points]: Filtering points with unrepresentable outputs
0.161 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256
0.162 * * * * [points]: Computing exacts for 4 points
0.165 * * * * [points]: Setting MPFR precision to 64
0.165 * * * * [points]: Setting MPFR precision to 320
0.166 * * * * [points]: Filtering points with unrepresentable outputs
0.166 * * * * [points]: Sampled 256 points with exact outputs
0.166 * * * [progress]: [2/2] Setting up program.
0.172 * [progress]: [Phase 2 of 3] Improving.
0.172 * [simplify]: Simplifying:
  (re (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))))
0.172 * [simplify]: Sending expressions to egg_math:
 (re (complex (* (/ (+ (exp h1) (exp (- h1))) 2.0) (cos h0)) (* (/ (- (exp h1) (exp (- h1))) 2.0) (sin h0))))
1.048 * * [progress]: iteration 1 / 4
1.048 * * * [progress]: picking best candidate
1.052 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))>
1.053 * * * [progress]: localizing error
1.097 * * * [progress]: generating rewritten candidates
1.097 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
1.112 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.202 * * * [progress]: generating series expansions
1.202 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
1.202 * [backup-simplify]: Simplify (+ (exp x) (exp (- x))) into (+ (exp x) (exp (- x)))
1.202 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0
1.202 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1.202 * [taylor]: Taking taylor expansion of (exp x) in x
1.202 * [taylor]: Taking taylor expansion of x in x
1.203 * [backup-simplify]: Simplify 0 into 0
1.203 * [backup-simplify]: Simplify 1 into 1
1.203 * [backup-simplify]: Simplify (exp 0) into 1
1.203 * [taylor]: Taking taylor expansion of (exp (- x)) in x
1.203 * [taylor]: Taking taylor expansion of (- x) in x
1.203 * [taylor]: Taking taylor expansion of x in x
1.203 * [backup-simplify]: Simplify 0 into 0
1.203 * [backup-simplify]: Simplify 1 into 1
1.204 * [backup-simplify]: Simplify (- 0) into 0
1.204 * [backup-simplify]: Simplify (- 1) into -1
1.204 * [backup-simplify]: Simplify (exp 0) into 1
1.204 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1.204 * [taylor]: Taking taylor expansion of (exp x) in x
1.204 * [taylor]: Taking taylor expansion of x in x
1.204 * [backup-simplify]: Simplify 0 into 0
1.204 * [backup-simplify]: Simplify 1 into 1
1.204 * [backup-simplify]: Simplify (exp 0) into 1
1.204 * [taylor]: Taking taylor expansion of (exp (- x)) in x
1.204 * [taylor]: Taking taylor expansion of (- x) in x
1.204 * [taylor]: Taking taylor expansion of x in x
1.204 * [backup-simplify]: Simplify 0 into 0
1.204 * [backup-simplify]: Simplify 1 into 1
1.205 * [backup-simplify]: Simplify (- 0) into 0
1.205 * [backup-simplify]: Simplify (- 1) into -1
1.205 * [backup-simplify]: Simplify (exp 0) into 1
1.206 * [backup-simplify]: Simplify (+ 1 1) into 2
1.206 * [backup-simplify]: Simplify 2 into 2
1.207 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.208 * [backup-simplify]: Simplify (- 1) into -1
1.209 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1.209 * [backup-simplify]: Simplify (+ 1 -1) into 0
1.209 * [backup-simplify]: Simplify 0 into 0
1.211 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.211 * [backup-simplify]: Simplify (- 1) into -1
1.211 * [backup-simplify]: Simplify (- 0) into 0
1.213 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.214 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
1.214 * [backup-simplify]: Simplify 1 into 1
1.216 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1.216 * [backup-simplify]: Simplify (- 1) into -1
1.217 * [backup-simplify]: Simplify (- 1) into -1
1.217 * [backup-simplify]: Simplify (- 0) into 0
1.217 * [backup-simplify]: Simplify (- 0) into 0
1.220 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
1.220 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
1.220 * [backup-simplify]: Simplify 0 into 0
1.223 * [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
1.223 * [backup-simplify]: Simplify (- 1) into -1
1.224 * [backup-simplify]: Simplify (- 1) into -1
1.224 * [backup-simplify]: Simplify (- 0) into 0
1.224 * [backup-simplify]: Simplify (- 1) into -1
1.224 * [backup-simplify]: Simplify (- 0) into 0
1.224 * [backup-simplify]: Simplify (- 0) into 0
1.225 * [backup-simplify]: Simplify (- 0) into 0
1.227 * [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
1.227 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
1.227 * [backup-simplify]: Simplify 1/12 into 1/12
1.228 * [backup-simplify]: Simplify (+ (* 1/12 (pow x 4)) (+ (* 1 (pow x 2)) 2)) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
1.228 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1.228 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
1.228 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1.228 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.228 * [taylor]: Taking taylor expansion of x in x
1.228 * [backup-simplify]: Simplify 0 into 0
1.228 * [backup-simplify]: Simplify 1 into 1
1.228 * [backup-simplify]: Simplify (/ 1 1) into 1
1.228 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.228 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
1.228 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.228 * [taylor]: Taking taylor expansion of x in x
1.228 * [backup-simplify]: Simplify 0 into 0
1.228 * [backup-simplify]: Simplify 1 into 1
1.229 * [backup-simplify]: Simplify (/ 1 1) into 1
1.229 * [backup-simplify]: Simplify (- 1) into -1
1.229 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1.229 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1.229 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.229 * [taylor]: Taking taylor expansion of x in x
1.229 * [backup-simplify]: Simplify 0 into 0
1.229 * [backup-simplify]: Simplify 1 into 1
1.229 * [backup-simplify]: Simplify (/ 1 1) into 1
1.229 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.229 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
1.229 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.229 * [taylor]: Taking taylor expansion of x in x
1.229 * [backup-simplify]: Simplify 0 into 0
1.229 * [backup-simplify]: Simplify 1 into 1
1.230 * [backup-simplify]: Simplify (/ 1 1) into 1
1.230 * [backup-simplify]: Simplify (- 1) into -1
1.230 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1.230 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1.230 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1.230 * [backup-simplify]: Simplify (+ 0 0) into 0
1.231 * [backup-simplify]: Simplify 0 into 0
1.231 * [backup-simplify]: Simplify (+ 0 0) into 0
1.231 * [backup-simplify]: Simplify 0 into 0
1.231 * [backup-simplify]: Simplify (+ 0 0) into 0
1.231 * [backup-simplify]: Simplify 0 into 0
1.231 * [backup-simplify]: Simplify (+ 0 0) into 0
1.231 * [backup-simplify]: Simplify 0 into 0
1.231 * [backup-simplify]: Simplify (+ 0 0) into 0
1.232 * [backup-simplify]: Simplify 0 into 0
1.232 * [backup-simplify]: Simplify (+ 0 0) into 0
1.232 * [backup-simplify]: Simplify 0 into 0
1.232 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (+ (exp x) (exp (- x)))
1.232 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1.232 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0
1.232 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1.232 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.232 * [taylor]: Taking taylor expansion of x in x
1.232 * [backup-simplify]: Simplify 0 into 0
1.232 * [backup-simplify]: Simplify 1 into 1
1.232 * [backup-simplify]: Simplify (/ 1 1) into 1
1.232 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.232 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.233 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.233 * [taylor]: Taking taylor expansion of -1 in x
1.233 * [backup-simplify]: Simplify -1 into -1
1.233 * [taylor]: Taking taylor expansion of x in x
1.233 * [backup-simplify]: Simplify 0 into 0
1.233 * [backup-simplify]: Simplify 1 into 1
1.233 * [backup-simplify]: Simplify (/ -1 1) into -1
1.233 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.233 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1.233 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.233 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.233 * [taylor]: Taking taylor expansion of x in x
1.233 * [backup-simplify]: Simplify 0 into 0
1.233 * [backup-simplify]: Simplify 1 into 1
1.233 * [backup-simplify]: Simplify (/ 1 1) into 1
1.233 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.233 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.233 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.233 * [taylor]: Taking taylor expansion of -1 in x
1.233 * [backup-simplify]: Simplify -1 into -1
1.233 * [taylor]: Taking taylor expansion of x in x
1.233 * [backup-simplify]: Simplify 0 into 0
1.233 * [backup-simplify]: Simplify 1 into 1
1.234 * [backup-simplify]: Simplify (/ -1 1) into -1
1.234 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.234 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1.234 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1.234 * [backup-simplify]: Simplify (+ 0 0) into 0
1.234 * [backup-simplify]: Simplify 0 into 0
1.234 * [backup-simplify]: Simplify (+ 0 0) into 0
1.235 * [backup-simplify]: Simplify 0 into 0
1.235 * [backup-simplify]: Simplify (+ 0 0) into 0
1.235 * [backup-simplify]: Simplify 0 into 0
1.235 * [backup-simplify]: Simplify (+ 0 0) into 0
1.235 * [backup-simplify]: Simplify 0 into 0
1.235 * [backup-simplify]: Simplify (+ 0 0) into 0
1.235 * [backup-simplify]: Simplify 0 into 0
1.235 * [backup-simplify]: Simplify (+ 0 0) into 0
1.236 * [backup-simplify]: Simplify 0 into 0
1.236 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))) into (+ (exp (* -1 x)) (exp x))
1.236 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.236 * [backup-simplify]: Simplify (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) into (* 0.5 (* (+ (exp x) (exp (- x))) (cos y)))
1.236 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in (x y) around 0
1.236 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in y
1.236 * [taylor]: Taking taylor expansion of 0.5 in y
1.236 * [backup-simplify]: Simplify 0.5 into 0.5
1.236 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y
1.236 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y
1.236 * [taylor]: Taking taylor expansion of (exp x) in y
1.236 * [taylor]: Taking taylor expansion of x in y
1.236 * [backup-simplify]: Simplify x into x
1.236 * [backup-simplify]: Simplify (exp x) into (exp x)
1.236 * [taylor]: Taking taylor expansion of (exp (- x)) in y
1.236 * [taylor]: Taking taylor expansion of (- x) in y
1.236 * [taylor]: Taking taylor expansion of x in y
1.236 * [backup-simplify]: Simplify x into x
1.236 * [backup-simplify]: Simplify (- x) into (- x)
1.236 * [backup-simplify]: Simplify (- x) into (- x)
1.236 * [backup-simplify]: Simplify (exp (- x)) into (exp (- x))
1.236 * [taylor]: Taking taylor expansion of (cos y) in y
1.236 * [taylor]: Taking taylor expansion of y in y
1.236 * [backup-simplify]: Simplify 0 into 0
1.236 * [backup-simplify]: Simplify 1 into 1
1.236 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x
1.236 * [taylor]: Taking taylor expansion of 0.5 in x
1.236 * [backup-simplify]: Simplify 0.5 into 0.5
1.236 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
1.237 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1.237 * [taylor]: Taking taylor expansion of (exp x) in x
1.237 * [taylor]: Taking taylor expansion of x in x
1.237 * [backup-simplify]: Simplify 0 into 0
1.237 * [backup-simplify]: Simplify 1 into 1
1.237 * [backup-simplify]: Simplify (exp 0) into 1
1.237 * [taylor]: Taking taylor expansion of (exp (- x)) in x
1.237 * [taylor]: Taking taylor expansion of (- x) in x
1.237 * [taylor]: Taking taylor expansion of x in x
1.237 * [backup-simplify]: Simplify 0 into 0
1.237 * [backup-simplify]: Simplify 1 into 1
1.237 * [backup-simplify]: Simplify (- 0) into 0
1.237 * [backup-simplify]: Simplify (- 1) into -1
1.237 * [backup-simplify]: Simplify (exp 0) into 1
1.237 * [taylor]: Taking taylor expansion of (cos y) in x
1.237 * [taylor]: Taking taylor expansion of y in x
1.237 * [backup-simplify]: Simplify y into y
1.237 * [backup-simplify]: Simplify (cos y) into (cos y)
1.237 * [backup-simplify]: Simplify (sin y) into (sin y)
1.237 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x
1.237 * [taylor]: Taking taylor expansion of 0.5 in x
1.237 * [backup-simplify]: Simplify 0.5 into 0.5
1.237 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
1.237 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1.237 * [taylor]: Taking taylor expansion of (exp x) in x
1.237 * [taylor]: Taking taylor expansion of x in x
1.237 * [backup-simplify]: Simplify 0 into 0
1.237 * [backup-simplify]: Simplify 1 into 1
1.237 * [backup-simplify]: Simplify (exp 0) into 1
1.237 * [taylor]: Taking taylor expansion of (exp (- x)) in x
1.237 * [taylor]: Taking taylor expansion of (- x) in x
1.238 * [taylor]: Taking taylor expansion of x in x
1.238 * [backup-simplify]: Simplify 0 into 0
1.238 * [backup-simplify]: Simplify 1 into 1
1.238 * [backup-simplify]: Simplify (- 0) into 0
1.238 * [backup-simplify]: Simplify (- 1) into -1
1.238 * [backup-simplify]: Simplify (exp 0) into 1
1.238 * [taylor]: Taking taylor expansion of (cos y) in x
1.238 * [taylor]: Taking taylor expansion of y in x
1.238 * [backup-simplify]: Simplify y into y
1.238 * [backup-simplify]: Simplify (cos y) into (cos y)
1.238 * [backup-simplify]: Simplify (sin y) into (sin y)
1.238 * [backup-simplify]: Simplify (+ 1 1) into 2
1.239 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
1.239 * [backup-simplify]: Simplify (* (sin y) 0) into 0
1.239 * [backup-simplify]: Simplify (- 0) into 0
1.239 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
1.239 * [backup-simplify]: Simplify (* 2 (cos y)) into (* 2 (cos y))
1.239 * [backup-simplify]: Simplify (* 0.5 (* 2 (cos y))) into (* 1.0 (cos y))
1.239 * [taylor]: Taking taylor expansion of (* 1.0 (cos y)) in y
1.239 * [taylor]: Taking taylor expansion of 1.0 in y
1.239 * [backup-simplify]: Simplify 1.0 into 1.0
1.239 * [taylor]: Taking taylor expansion of (cos y) in y
1.239 * [taylor]: Taking taylor expansion of y in y
1.239 * [backup-simplify]: Simplify 0 into 0
1.239 * [backup-simplify]: Simplify 1 into 1
1.240 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
1.240 * [backup-simplify]: Simplify 1.0 into 1.0
1.240 * [backup-simplify]: Simplify (+ 0) into 0
1.240 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 1)) into 0
1.241 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.241 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 0)) into 0
1.241 * [backup-simplify]: Simplify (- 0) into 0
1.241 * [backup-simplify]: Simplify (+ 0 0) into 0
1.242 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.242 * [backup-simplify]: Simplify (- 1) into -1
1.243 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1.243 * [backup-simplify]: Simplify (+ 1 -1) into 0
1.244 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (cos y))) into 0
1.244 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* 2 (cos y)))) into 0
1.244 * [taylor]: Taking taylor expansion of 0 in y
1.244 * [backup-simplify]: Simplify 0 into 0
1.244 * [backup-simplify]: Simplify 0 into 0
1.244 * [backup-simplify]: Simplify (+ 0) into 0
1.245 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
1.245 * [backup-simplify]: Simplify 0 into 0
1.245 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.246 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (* 0 1))) into 0
1.246 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.246 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (* 0 0))) into 0
1.247 * [backup-simplify]: Simplify (- 0) into 0
1.247 * [backup-simplify]: Simplify (+ 0 0) into 0
1.248 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.248 * [backup-simplify]: Simplify (- 1) into -1
1.248 * [backup-simplify]: Simplify (- 0) into 0
1.249 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.249 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
1.250 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 1 (cos y)))) into (cos y)
1.251 * [backup-simplify]: Simplify (+ (* 0.5 (cos y)) (+ (* 0 0) (* 0 (* 2 (cos y))))) into (* 0.5 (cos y))
1.251 * [taylor]: Taking taylor expansion of (* 0.5 (cos y)) in y
1.251 * [taylor]: Taking taylor expansion of 0.5 in y
1.251 * [backup-simplify]: Simplify 0.5 into 0.5
1.251 * [taylor]: Taking taylor expansion of (cos y) in y
1.251 * [taylor]: Taking taylor expansion of y in y
1.251 * [backup-simplify]: Simplify 0 into 0
1.251 * [backup-simplify]: Simplify 1 into 1
1.252 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
1.252 * [backup-simplify]: Simplify 0.5 into 0.5
1.252 * [backup-simplify]: Simplify 0 into 0
1.253 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
1.255 * [backup-simplify]: Simplify (+ (* 1.0 -1/2) (+ (* 0 0) (* 0 1))) into (- 0.5)
1.255 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.256 * [backup-simplify]: Simplify (+ (* (- 0.5) (pow (* y 1) 2)) (+ (* 0.5 (pow (* 1 x) 2)) 1.0)) into (- (+ (* 0.5 (pow x 2)) 1.0) (* 0.5 (pow y 2)))
1.257 * [backup-simplify]: Simplify (* (/ (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.0) (cos (/ 1 y))) into (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
1.257 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0
1.257 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
1.257 * [taylor]: Taking taylor expansion of 0.5 in y
1.257 * [backup-simplify]: Simplify 0.5 into 0.5
1.257 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
1.257 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.257 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.257 * [taylor]: Taking taylor expansion of y in y
1.257 * [backup-simplify]: Simplify 0 into 0
1.257 * [backup-simplify]: Simplify 1 into 1
1.258 * [backup-simplify]: Simplify (/ 1 1) into 1
1.258 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.258 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
1.258 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.258 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.258 * [taylor]: Taking taylor expansion of x in y
1.258 * [backup-simplify]: Simplify x into x
1.258 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.258 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.258 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
1.258 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
1.258 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.258 * [taylor]: Taking taylor expansion of x in y
1.258 * [backup-simplify]: Simplify x into x
1.258 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.258 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
1.258 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
1.259 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1.259 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
1.259 * [taylor]: Taking taylor expansion of 0.5 in x
1.259 * [backup-simplify]: Simplify 0.5 into 0.5
1.259 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
1.259 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.259 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.259 * [taylor]: Taking taylor expansion of y in x
1.259 * [backup-simplify]: Simplify y into y
1.259 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.259 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.259 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.259 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1.259 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.259 * [taylor]: Taking taylor expansion of x in x
1.259 * [backup-simplify]: Simplify 0 into 0
1.259 * [backup-simplify]: Simplify 1 into 1
1.260 * [backup-simplify]: Simplify (/ 1 1) into 1
1.260 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.260 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
1.260 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.260 * [taylor]: Taking taylor expansion of x in x
1.260 * [backup-simplify]: Simplify 0 into 0
1.260 * [backup-simplify]: Simplify 1 into 1
1.260 * [backup-simplify]: Simplify (/ 1 1) into 1
1.261 * [backup-simplify]: Simplify (- 1) into -1
1.261 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1.261 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
1.261 * [taylor]: Taking taylor expansion of 0.5 in x
1.261 * [backup-simplify]: Simplify 0.5 into 0.5
1.261 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
1.261 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
1.261 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.261 * [taylor]: Taking taylor expansion of y in x
1.261 * [backup-simplify]: Simplify y into y
1.261 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.261 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.261 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
1.261 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1.261 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.261 * [taylor]: Taking taylor expansion of x in x
1.261 * [backup-simplify]: Simplify 0 into 0
1.262 * [backup-simplify]: Simplify 1 into 1
1.262 * [backup-simplify]: Simplify (/ 1 1) into 1
1.262 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.262 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
1.262 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.262 * [taylor]: Taking taylor expansion of x in x
1.262 * [backup-simplify]: Simplify 0 into 0
1.262 * [backup-simplify]: Simplify 1 into 1
1.263 * [backup-simplify]: Simplify (/ 1 1) into 1
1.263 * [backup-simplify]: Simplify (- 1) into -1
1.263 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1.263 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
1.263 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
1.264 * [backup-simplify]: Simplify (- 0) into 0
1.264 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
1.264 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1.264 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1.265 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
1.265 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
1.265 * [taylor]: Taking taylor expansion of 0.5 in y
1.265 * [backup-simplify]: Simplify 0.5 into 0.5
1.265 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
1.265 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
1.265 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.265 * [taylor]: Taking taylor expansion of y in y
1.265 * [backup-simplify]: Simplify 0 into 0
1.265 * [backup-simplify]: Simplify 1 into 1
1.265 * [backup-simplify]: Simplify (/ 1 1) into 1
1.266 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
1.266 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
1.266 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.266 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.266 * [taylor]: Taking taylor expansion of x in y
1.266 * [backup-simplify]: Simplify x into x
1.266 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.266 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.266 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
1.266 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
1.266 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.266 * [taylor]: Taking taylor expansion of x in y
1.266 * [backup-simplify]: Simplify x into x
1.266 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.266 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
1.266 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
1.266 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1.267 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1.267 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1.267 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
1.267 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
1.268 * [backup-simplify]: Simplify (+ 0 0) into 0
1.268 * [backup-simplify]: Simplify (+ 0) into 0
1.269 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
1.269 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.270 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.270 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
1.271 * [backup-simplify]: Simplify (- 0) into 0
1.271 * [backup-simplify]: Simplify (+ 0 0) into 0
1.271 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into 0
1.272 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
1.272 * [taylor]: Taking taylor expansion of 0 in y
1.272 * [backup-simplify]: Simplify 0 into 0
1.272 * [backup-simplify]: Simplify 0 into 0
1.272 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.273 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
1.273 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
1.273 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.274 * [backup-simplify]: Simplify (- 0) into 0
1.275 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (+ (* (/ (pow 0 1) 1)))) into 0
1.275 * [backup-simplify]: Simplify (+ 0 0) into 0
1.275 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into 0
1.276 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
1.276 * [backup-simplify]: Simplify 0 into 0
1.276 * [backup-simplify]: Simplify (+ 0 0) into 0
1.277 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.278 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
1.278 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.279 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.280 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
1.280 * [backup-simplify]: Simplify (- 0) into 0
1.280 * [backup-simplify]: Simplify (+ 0 0) into 0
1.281 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
1.283 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1.283 * [taylor]: Taking taylor expansion of 0 in y
1.283 * [backup-simplify]: Simplify 0 into 0
1.283 * [backup-simplify]: Simplify 0 into 0
1.283 * [backup-simplify]: Simplify 0 into 0
1.283 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.285 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.285 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
1.285 * [backup-simplify]: Simplify (- 0) into 0
1.285 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.286 * [backup-simplify]: Simplify (- 0) into 0
1.287 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.288 * [backup-simplify]: Simplify (+ 0 0) into 0
1.288 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
1.290 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1.290 * [backup-simplify]: Simplify 0 into 0
1.290 * [backup-simplify]: Simplify (+ 0 0) into 0
1.291 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1.292 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.292 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.294 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1.295 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1.295 * [backup-simplify]: Simplify (- 0) into 0
1.295 * [backup-simplify]: Simplify (+ 0 0) into 0
1.296 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1.298 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))))) into 0
1.298 * [taylor]: Taking taylor expansion of 0 in y
1.298 * [backup-simplify]: Simplify 0 into 0
1.298 * [backup-simplify]: Simplify 0 into 0
1.299 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 (/ 1 y))) (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))))) into (* 0.5 (* (+ (exp x) (exp (- x))) (cos y)))
1.299 * [backup-simplify]: Simplify (* (/ (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) 2.0) (cos (/ 1 (- y)))) into (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))
1.299 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in (x y) around 0
1.299 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
1.299 * [taylor]: Taking taylor expansion of 0.5 in y
1.299 * [backup-simplify]: Simplify 0.5 into 0.5
1.299 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
1.299 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.299 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.299 * [taylor]: Taking taylor expansion of -1 in y
1.299 * [backup-simplify]: Simplify -1 into -1
1.299 * [taylor]: Taking taylor expansion of y in y
1.299 * [backup-simplify]: Simplify 0 into 0
1.299 * [backup-simplify]: Simplify 1 into 1
1.300 * [backup-simplify]: Simplify (/ -1 1) into -1
1.300 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.300 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
1.300 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.300 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.300 * [taylor]: Taking taylor expansion of x in y
1.300 * [backup-simplify]: Simplify x into x
1.300 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.300 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.300 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.300 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.300 * [taylor]: Taking taylor expansion of -1 in y
1.300 * [backup-simplify]: Simplify -1 into -1
1.300 * [taylor]: Taking taylor expansion of x in y
1.300 * [backup-simplify]: Simplify x into x
1.300 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.301 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.301 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
1.301 * [taylor]: Taking taylor expansion of 0.5 in x
1.301 * [backup-simplify]: Simplify 0.5 into 0.5
1.301 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1.301 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.301 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.301 * [taylor]: Taking taylor expansion of -1 in x
1.301 * [backup-simplify]: Simplify -1 into -1
1.301 * [taylor]: Taking taylor expansion of y in x
1.301 * [backup-simplify]: Simplify y into y
1.301 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.301 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.301 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.301 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1.301 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.301 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.301 * [taylor]: Taking taylor expansion of x in x
1.301 * [backup-simplify]: Simplify 0 into 0
1.301 * [backup-simplify]: Simplify 1 into 1
1.302 * [backup-simplify]: Simplify (/ 1 1) into 1
1.302 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.302 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.302 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.302 * [taylor]: Taking taylor expansion of -1 in x
1.302 * [backup-simplify]: Simplify -1 into -1
1.302 * [taylor]: Taking taylor expansion of x in x
1.302 * [backup-simplify]: Simplify 0 into 0
1.302 * [backup-simplify]: Simplify 1 into 1
1.302 * [backup-simplify]: Simplify (/ -1 1) into -1
1.302 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.302 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
1.303 * [taylor]: Taking taylor expansion of 0.5 in x
1.303 * [backup-simplify]: Simplify 0.5 into 0.5
1.303 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1.303 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
1.303 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.303 * [taylor]: Taking taylor expansion of -1 in x
1.303 * [backup-simplify]: Simplify -1 into -1
1.303 * [taylor]: Taking taylor expansion of y in x
1.303 * [backup-simplify]: Simplify y into y
1.303 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
1.303 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.303 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
1.303 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1.303 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.303 * [taylor]: Taking taylor expansion of x in x
1.303 * [backup-simplify]: Simplify 0 into 0
1.303 * [backup-simplify]: Simplify 1 into 1
1.304 * [backup-simplify]: Simplify (/ 1 1) into 1
1.304 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.304 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.304 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.304 * [taylor]: Taking taylor expansion of -1 in x
1.304 * [backup-simplify]: Simplify -1 into -1
1.304 * [taylor]: Taking taylor expansion of x in x
1.304 * [backup-simplify]: Simplify 0 into 0
1.304 * [backup-simplify]: Simplify 1 into 1
1.304 * [backup-simplify]: Simplify (/ -1 1) into -1
1.304 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.305 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
1.305 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
1.305 * [backup-simplify]: Simplify (- 0) into 0
1.305 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
1.305 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1.306 * [backup-simplify]: Simplify (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))
1.306 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) into (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))
1.306 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
1.306 * [taylor]: Taking taylor expansion of 0.5 in y
1.306 * [backup-simplify]: Simplify 0.5 into 0.5
1.306 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
1.306 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
1.306 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.306 * [taylor]: Taking taylor expansion of -1 in y
1.306 * [backup-simplify]: Simplify -1 into -1
1.306 * [taylor]: Taking taylor expansion of y in y
1.306 * [backup-simplify]: Simplify 0 into 0
1.306 * [backup-simplify]: Simplify 1 into 1
1.307 * [backup-simplify]: Simplify (/ -1 1) into -1
1.307 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
1.307 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
1.307 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
1.307 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.307 * [taylor]: Taking taylor expansion of x in y
1.307 * [backup-simplify]: Simplify x into x
1.307 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.307 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1.307 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
1.307 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.307 * [taylor]: Taking taylor expansion of -1 in y
1.308 * [backup-simplify]: Simplify -1 into -1
1.308 * [taylor]: Taking taylor expansion of x in y
1.308 * [backup-simplify]: Simplify x into x
1.308 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
1.308 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1.308 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1.308 * [backup-simplify]: Simplify (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))
1.308 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) into (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))
1.309 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) into (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))
1.309 * [backup-simplify]: Simplify (+ 0 0) into 0
1.309 * [backup-simplify]: Simplify (+ 0) into 0
1.310 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
1.310 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
1.311 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.311 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
1.312 * [backup-simplify]: Simplify (- 0) into 0
1.312 * [backup-simplify]: Simplify (+ 0 0) into 0
1.312 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) into 0
1.313 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0
1.313 * [taylor]: Taking taylor expansion of 0 in y
1.313 * [backup-simplify]: Simplify 0 into 0
1.313 * [backup-simplify]: Simplify 0 into 0
1.313 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.314 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
1.314 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
1.315 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
1.316 * [backup-simplify]: Simplify (+ 0 0) into 0
1.316 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) into 0
1.317 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0
1.317 * [backup-simplify]: Simplify 0 into 0
1.317 * [backup-simplify]: Simplify (+ 0 0) into 0
1.325 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.326 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
1.327 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.328 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.328 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
1.329 * [backup-simplify]: Simplify (- 0) into 0
1.329 * [backup-simplify]: Simplify (+ 0 0) into 0
1.330 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0
1.331 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1.331 * [taylor]: Taking taylor expansion of 0 in y
1.331 * [backup-simplify]: Simplify 0 into 0
1.331 * [backup-simplify]: Simplify 0 into 0
1.331 * [backup-simplify]: Simplify 0 into 0
1.331 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.333 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.333 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.334 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.335 * [backup-simplify]: Simplify (+ 0 0) into 0
1.336 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0
1.337 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1.337 * [backup-simplify]: Simplify 0 into 0
1.337 * [backup-simplify]: Simplify (+ 0 0) into 0
1.338 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1.339 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.339 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.341 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1.342 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1.342 * [backup-simplify]: Simplify (- 0) into 0
1.342 * [backup-simplify]: Simplify (+ 0 0) into 0
1.343 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1.345 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))))) into 0
1.345 * [taylor]: Taking taylor expansion of 0 in y
1.345 * [backup-simplify]: Simplify 0 into 0
1.345 * [backup-simplify]: Simplify 0 into 0
1.345 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 (/ 1 (- y)))) (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))))) into (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x))))
1.345 * * * [progress]: simplifying candidates
1.347 * [simplify]: Simplifying:
  (* (exp (exp x)) (exp (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))))
  (+ (pow (exp x) 3) (pow (exp (- x)) 3))
  (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
  (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))
  (- (exp x) (exp (- x)))
  (+ (exp x) (exp (- x)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (+ (- (log (+ (exp x) (exp (- x)))) (log 2.0)) (log (cos y)))
  (+ (log (/ (+ (exp x) (exp (- x))) 2.0)) (log (cos y)))
  (log (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (exp (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (/ (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))) (* (* 2.0 2.0) 2.0)) (* (* (cos y) (cos y)) (cos y)))
  (* (* (* (/ (+ (exp x) (exp (- x))) 2.0) (/ (+ (exp x) (exp (- x))) 2.0)) (/ (+ (exp x) (exp (- x))) 2.0)) (* (* (cos y) (cos y)) (cos y)))
  (* (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))))
  (cbrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (* (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (sqrt (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y)))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (sqrt (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (sqrt (cos y)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (* (cbrt (cos y)) (cbrt (cos y))))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (sqrt (cos y)))
  (* (/ (+ (exp x) (exp (- x))) 2.0) 1)
  (* (cbrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
  (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y))
  (* (/ (cbrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (cbrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) (sqrt 2.0)) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
  (* (/ 1 2.0) (cos y))
  (* (+ (exp x) (exp (- x))) (cos y))
  (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
  (+ (exp x) (exp (- x)))
  (+ (exp (* -1 x)) (exp x))
  (- (+ (* 0.5 (pow x 2)) 1.0) (* 0.5 (pow y 2)))
  (* 0.5 (* (+ (exp x) (exp (- x))) (cos y)))
  (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x))))
1.347 * [simplify]: Sending expressions to egg_math:
 (* (exp (exp h0)) (exp (exp (- h0))))
 (log (+ (exp h0) (exp (- h0))))
 (exp (+ (exp h0) (exp (- h0))))
 (* (cbrt (+ (exp h0) (exp (- h0)))) (cbrt (+ (exp h0) (exp (- h0)))))
 (cbrt (+ (exp h0) (exp (- h0))))
 (* (* (+ (exp h0) (exp (- h0))) (+ (exp h0) (exp (- h0)))) (+ (exp h0) (exp (- h0))))
 (sqrt (+ (exp h0) (exp (- h0))))
 (sqrt (+ (exp h0) (exp (- h0))))
 (+ (pow (exp h0) 3) (pow (exp (- h0)) 3))
 (+ (* (exp h0) (exp h0)) (- (* (exp (- h0)) (exp (- h0))) (* (exp h0) (exp (- h0)))))
 (- (* (exp h0) (exp h0)) (* (exp (- h0)) (exp (- h0))))
 (- (exp h0) (exp (- h0)))
 (+ (exp h0) (exp (- h0)))
 (* (/ (+ (exp h0) (exp (- h0))) 2.0) (cos h1))
 (+ (- (log (+ (exp h0) (exp (- h0)))) (log 2.0)) (log (cos h1)))
 (+ (log (/ (+ (exp h0) (exp (- h0))) 2.0)) (log (cos h1)))
 (log (* (/ (+ (exp h0) (exp (- h0))) 2.0) (cos h1)))
 (exp (* (/ (+ (exp h0) (exp (- h0))) 2.0) (cos h1)))
 (* (/ (* (* (+ (exp h0) (exp (- h0))) (+ (exp h0) (exp (- h0)))) (+ (exp h0) (exp (- h0)))) (* (* 2.0 2.0) 2.0)) (* (* (cos h1) (cos h1)) (cos h1)))
 (* (* (* (/ (+ (exp h0) (exp (- h0))) 2.0) (/ (+ (exp h0) (exp (- h0))) 2.0)) (/ (+ (exp h0) (exp (- h0))) 2.0)) (* (* (cos h1) (cos h1)) (cos h1)))
 (* (cbrt (* (/ (+ (exp h0) (exp (- h0))) 2.0) (cos h1))) (cbrt (* (/ (+ (exp h0) (exp (- h0))) 2.0) (cos h1))))
 (cbrt (* (/ (+ (exp h0) (exp (- h0))) 2.0) (cos h1)))
 (* (* (* (/ (+ (exp h0) (exp (- h0))) 2.0) (cos h1)) (* (/ (+ (exp h0) (exp (- h0))) 2.0) (cos h1))) (* (/ (+ (exp h0) (exp (- h0))) 2.0) (cos h1)))
 (sqrt (* (/ (+ (exp h0) (exp (- h0))) 2.0) (cos h1)))
 (sqrt (* (/ (+ (exp h0) (exp (- h0))) 2.0) (cos h1)))
 (* (sqrt (/ (+ (exp h0) (exp (- h0))) 2.0)) (sqrt (cos h1)))
 (* (sqrt (/ (+ (exp h0) (exp (- h0))) 2.0)) (sqrt (cos h1)))
 (* (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt 2.0)) (sqrt (cos h1)))
 (* (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt 2.0)) (sqrt (cos h1)))
 (* (/ (+ (exp h0) (exp (- h0))) 2.0) (* (cbrt (cos h1)) (cbrt (cos h1))))
 (* (/ (+ (exp h0) (exp (- h0))) 2.0) (sqrt (cos h1)))
 (* (/ (+ (exp h0) (exp (- h0))) 2.0) 1)
 (* (cbrt (/ (+ (exp h0) (exp (- h0))) 2.0)) (cos h1))
 (* (sqrt (/ (+ (exp h0) (exp (- h0))) 2.0)) (cos h1))
 (* (/ (cbrt (+ (exp h0) (exp (- h0)))) (cbrt 2.0)) (cos h1))
 (* (/ (cbrt (+ (exp h0) (exp (- h0)))) (sqrt 2.0)) (cos h1))
 (* (/ (cbrt (+ (exp h0) (exp (- h0)))) 2.0) (cos h1))
 (* (/ (sqrt (+ (exp h0) (exp (- h0)))) (cbrt 2.0)) (cos h1))
 (* (/ (sqrt (+ (exp h0) (exp (- h0)))) (sqrt 2.0)) (cos h1))
 (* (/ (sqrt (+ (exp h0) (exp (- h0)))) 2.0) (cos h1))
 (* (/ (+ (exp h0) (exp (- h0))) (cbrt 2.0)) (cos h1))
 (* (/ (+ (exp h0) (exp (- h0))) (sqrt 2.0)) (cos h1))
 (* (/ (+ (exp h0) (exp (- h0))) 2.0) (cos h1))
 (* (/ (+ (exp h0) (exp (- h0))) (cbrt 2.0)) (cos h1))
 (* (/ (+ (exp h0) (exp (- h0))) (sqrt 2.0)) (cos h1))
 (* (/ (+ (exp h0) (exp (- h0))) 2.0) (cos h1))
 (* (/ (+ (exp h0) (exp (- h0))) 2.0) (cos h1))
 (* (/ 1 2.0) (cos h1))
 (* (+ (exp h0) (exp (- h0))) (cos h1))
 (+ (pow h0 2) (+ (* h2 (pow h0 4)) 2))
 (+ (exp h0) (exp (- h0)))
 (+ (exp (* -1 h0)) (exp h0))
 (- (+ (* h3 (pow h0 2)) 1.0) (* h3 (pow h1 2)))
 (* h3 (* (+ (exp h0) (exp (- h0))) (cos h1)))
 (* h3 (* (cos h1) (+ (exp (* -1 h0)) (exp h0))))
3.113 * * * [progress]: adding candidates to table
3.309 * * [progress]: iteration 2 / 4
3.309 * * * [progress]: picking best candidate
3.311 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))))>
3.312 * * * [progress]: localizing error
3.330 * * * [progress]: generating rewritten candidates
3.330 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
3.495 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
3.584 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
3.603 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
3.622 * * * [progress]: generating series expansions
3.622 * * * * [progress]: [ 1 / 4 ] generating series at (2)
3.623 * [backup-simplify]: Simplify (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))) into (* 0.5 (* (+ (exp x) (exp (- x))) (cos y)))
3.623 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in (x y) around 0
3.623 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in y
3.623 * [taylor]: Taking taylor expansion of 0.5 in y
3.623 * [backup-simplify]: Simplify 0.5 into 0.5
3.623 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y
3.623 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y
3.623 * [taylor]: Taking taylor expansion of (exp x) in y
3.623 * [taylor]: Taking taylor expansion of x in y
3.623 * [backup-simplify]: Simplify x into x
3.623 * [backup-simplify]: Simplify (exp x) into (exp x)
3.623 * [taylor]: Taking taylor expansion of (exp (- x)) in y
3.623 * [taylor]: Taking taylor expansion of (- x) in y
3.623 * [taylor]: Taking taylor expansion of x in y
3.623 * [backup-simplify]: Simplify x into x
3.623 * [backup-simplify]: Simplify (- x) into (- x)
3.623 * [backup-simplify]: Simplify (- x) into (- x)
3.623 * [backup-simplify]: Simplify (exp (- x)) into (exp (- x))
3.623 * [taylor]: Taking taylor expansion of (cos y) in y
3.623 * [taylor]: Taking taylor expansion of y in y
3.623 * [backup-simplify]: Simplify 0 into 0
3.623 * [backup-simplify]: Simplify 1 into 1
3.623 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x
3.623 * [taylor]: Taking taylor expansion of 0.5 in x
3.623 * [backup-simplify]: Simplify 0.5 into 0.5
3.623 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
3.623 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
3.623 * [taylor]: Taking taylor expansion of (exp x) in x
3.623 * [taylor]: Taking taylor expansion of x in x
3.623 * [backup-simplify]: Simplify 0 into 0
3.623 * [backup-simplify]: Simplify 1 into 1
3.623 * [backup-simplify]: Simplify (exp 0) into 1
3.623 * [taylor]: Taking taylor expansion of (exp (- x)) in x
3.623 * [taylor]: Taking taylor expansion of (- x) in x
3.623 * [taylor]: Taking taylor expansion of x in x
3.624 * [backup-simplify]: Simplify 0 into 0
3.624 * [backup-simplify]: Simplify 1 into 1
3.624 * [backup-simplify]: Simplify (- 0) into 0
3.624 * [backup-simplify]: Simplify (- 1) into -1
3.624 * [backup-simplify]: Simplify (exp 0) into 1
3.624 * [taylor]: Taking taylor expansion of (cos y) in x
3.624 * [taylor]: Taking taylor expansion of y in x
3.624 * [backup-simplify]: Simplify y into y
3.624 * [backup-simplify]: Simplify (cos y) into (cos y)
3.625 * [backup-simplify]: Simplify (sin y) into (sin y)
3.625 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x
3.625 * [taylor]: Taking taylor expansion of 0.5 in x
3.625 * [backup-simplify]: Simplify 0.5 into 0.5
3.625 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
3.625 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
3.625 * [taylor]: Taking taylor expansion of (exp x) in x
3.625 * [taylor]: Taking taylor expansion of x in x
3.625 * [backup-simplify]: Simplify 0 into 0
3.625 * [backup-simplify]: Simplify 1 into 1
3.625 * [backup-simplify]: Simplify (exp 0) into 1
3.625 * [taylor]: Taking taylor expansion of (exp (- x)) in x
3.625 * [taylor]: Taking taylor expansion of (- x) in x
3.625 * [taylor]: Taking taylor expansion of x in x
3.625 * [backup-simplify]: Simplify 0 into 0
3.625 * [backup-simplify]: Simplify 1 into 1
3.625 * [backup-simplify]: Simplify (- 0) into 0
3.625 * [backup-simplify]: Simplify (- 1) into -1
3.625 * [backup-simplify]: Simplify (exp 0) into 1
3.625 * [taylor]: Taking taylor expansion of (cos y) in x
3.625 * [taylor]: Taking taylor expansion of y in x
3.625 * [backup-simplify]: Simplify y into y
3.625 * [backup-simplify]: Simplify (cos y) into (cos y)
3.625 * [backup-simplify]: Simplify (sin y) into (sin y)
3.626 * [backup-simplify]: Simplify (+ 1 1) into 2
3.626 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
3.626 * [backup-simplify]: Simplify (* (sin y) 0) into 0
3.626 * [backup-simplify]: Simplify (- 0) into 0
3.626 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
3.626 * [backup-simplify]: Simplify (* 2 (cos y)) into (* 2 (cos y))
3.626 * [backup-simplify]: Simplify (* 0.5 (* 2 (cos y))) into (* 1.0 (cos y))
3.626 * [taylor]: Taking taylor expansion of (* 1.0 (cos y)) in y
3.626 * [taylor]: Taking taylor expansion of 1.0 in y
3.626 * [backup-simplify]: Simplify 1.0 into 1.0
3.626 * [taylor]: Taking taylor expansion of (cos y) in y
3.626 * [taylor]: Taking taylor expansion of y in y
3.626 * [backup-simplify]: Simplify 0 into 0
3.626 * [backup-simplify]: Simplify 1 into 1
3.627 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.627 * [backup-simplify]: Simplify 1.0 into 1.0
3.627 * [backup-simplify]: Simplify (+ 0) into 0
3.627 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 1)) into 0
3.628 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.628 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 0)) into 0
3.629 * [backup-simplify]: Simplify (- 0) into 0
3.629 * [backup-simplify]: Simplify (+ 0 0) into 0
3.630 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.630 * [backup-simplify]: Simplify (- 1) into -1
3.631 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
3.632 * [backup-simplify]: Simplify (+ 1 -1) into 0
3.632 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (cos y))) into 0
3.633 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* 2 (cos y)))) into 0
3.633 * [taylor]: Taking taylor expansion of 0 in y
3.633 * [backup-simplify]: Simplify 0 into 0
3.633 * [backup-simplify]: Simplify 0 into 0
3.633 * [backup-simplify]: Simplify (+ 0) into 0
3.634 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.634 * [backup-simplify]: Simplify 0 into 0
3.636 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.637 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (* 0 1))) into 0
3.638 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.639 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (* 0 0))) into 0
3.639 * [backup-simplify]: Simplify (- 0) into 0
3.640 * [backup-simplify]: Simplify (+ 0 0) into 0
3.642 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.642 * [backup-simplify]: Simplify (- 1) into -1
3.642 * [backup-simplify]: Simplify (- 0) into 0
3.644 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.645 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
3.645 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 1 (cos y)))) into (cos y)
3.646 * [backup-simplify]: Simplify (+ (* 0.5 (cos y)) (+ (* 0 0) (* 0 (* 2 (cos y))))) into (* 0.5 (cos y))
3.646 * [taylor]: Taking taylor expansion of (* 0.5 (cos y)) in y
3.646 * [taylor]: Taking taylor expansion of 0.5 in y
3.646 * [backup-simplify]: Simplify 0.5 into 0.5
3.646 * [taylor]: Taking taylor expansion of (cos y) in y
3.646 * [taylor]: Taking taylor expansion of y in y
3.646 * [backup-simplify]: Simplify 0 into 0
3.646 * [backup-simplify]: Simplify 1 into 1
3.647 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
3.647 * [backup-simplify]: Simplify 0.5 into 0.5
3.647 * [backup-simplify]: Simplify 0 into 0
3.648 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
3.650 * [backup-simplify]: Simplify (+ (* 1.0 -1/2) (+ (* 0 0) (* 0 1))) into (- 0.5)
3.650 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.651 * [backup-simplify]: Simplify (+ (* (- 0.5) (pow (* y 1) 2)) (+ (* 0.5 (pow (* 1 x) 2)) 1.0)) into (- (+ (* 0.5 (pow x 2)) 1.0) (* 0.5 (pow y 2)))
3.652 * [backup-simplify]: Simplify (* (/ (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 1) (* (/ (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 2.0) (cos (/ 1 y)))) into (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
3.652 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x y) around 0
3.652 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
3.652 * [taylor]: Taking taylor expansion of 0.5 in y
3.652 * [backup-simplify]: Simplify 0.5 into 0.5
3.652 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
3.652 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
3.652 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.652 * [taylor]: Taking taylor expansion of y in y
3.652 * [backup-simplify]: Simplify 0 into 0
3.652 * [backup-simplify]: Simplify 1 into 1
3.652 * [backup-simplify]: Simplify (/ 1 1) into 1
3.652 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.652 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
3.652 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.653 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.653 * [taylor]: Taking taylor expansion of x in y
3.653 * [backup-simplify]: Simplify x into x
3.653 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.653 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.653 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
3.653 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
3.653 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.653 * [taylor]: Taking taylor expansion of x in y
3.653 * [backup-simplify]: Simplify x into x
3.653 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.653 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.653 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.653 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
3.653 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
3.653 * [taylor]: Taking taylor expansion of 0.5 in x
3.653 * [backup-simplify]: Simplify 0.5 into 0.5
3.653 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
3.653 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
3.653 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.653 * [taylor]: Taking taylor expansion of y in x
3.653 * [backup-simplify]: Simplify y into y
3.654 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.654 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.654 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.654 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
3.654 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.654 * [taylor]: Taking taylor expansion of x in x
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify 1 into 1
3.654 * [backup-simplify]: Simplify (/ 1 1) into 1
3.654 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.654 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
3.654 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.654 * [taylor]: Taking taylor expansion of x in x
3.654 * [backup-simplify]: Simplify 0 into 0
3.655 * [backup-simplify]: Simplify 1 into 1
3.655 * [backup-simplify]: Simplify (/ 1 1) into 1
3.655 * [backup-simplify]: Simplify (- 1) into -1
3.655 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
3.655 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
3.655 * [taylor]: Taking taylor expansion of 0.5 in x
3.655 * [backup-simplify]: Simplify 0.5 into 0.5
3.655 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
3.655 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
3.656 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.656 * [taylor]: Taking taylor expansion of y in x
3.656 * [backup-simplify]: Simplify y into y
3.656 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.656 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.656 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.656 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
3.656 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.656 * [taylor]: Taking taylor expansion of x in x
3.656 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify 1 into 1
3.656 * [backup-simplify]: Simplify (/ 1 1) into 1
3.656 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.656 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
3.657 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.657 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.657 * [taylor]: Taking taylor expansion of x in x
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify 1 into 1
3.657 * [backup-simplify]: Simplify (/ 1 1) into 1
3.657 * [backup-simplify]: Simplify (- 1) into -1
3.657 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
3.658 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
3.658 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
3.658 * [backup-simplify]: Simplify (- 0) into 0
3.658 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
3.658 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
3.659 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
3.659 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
3.659 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
3.659 * [taylor]: Taking taylor expansion of 0.5 in y
3.659 * [backup-simplify]: Simplify 0.5 into 0.5
3.659 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
3.659 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
3.659 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.659 * [taylor]: Taking taylor expansion of y in y
3.659 * [backup-simplify]: Simplify 0 into 0
3.659 * [backup-simplify]: Simplify 1 into 1
3.660 * [backup-simplify]: Simplify (/ 1 1) into 1
3.660 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.660 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
3.660 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.660 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.660 * [taylor]: Taking taylor expansion of x in y
3.660 * [backup-simplify]: Simplify x into x
3.660 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.660 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.660 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
3.660 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
3.660 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.660 * [taylor]: Taking taylor expansion of x in y
3.660 * [backup-simplify]: Simplify x into x
3.660 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.660 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.660 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.660 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
3.661 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
3.661 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
3.661 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
3.661 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
3.662 * [backup-simplify]: Simplify (+ 0 0) into 0
3.662 * [backup-simplify]: Simplify (+ 0) into 0
3.663 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
3.663 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.664 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.664 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
3.664 * [backup-simplify]: Simplify (- 0) into 0
3.665 * [backup-simplify]: Simplify (+ 0 0) into 0
3.665 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into 0
3.666 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
3.666 * [taylor]: Taking taylor expansion of 0 in y
3.666 * [backup-simplify]: Simplify 0 into 0
3.666 * [backup-simplify]: Simplify 0 into 0
3.666 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.667 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.667 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.667 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.667 * [backup-simplify]: Simplify (- 0) into 0
3.668 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (+ (* (/ (pow 0 1) 1)))) into 0
3.669 * [backup-simplify]: Simplify (+ 0 0) into 0
3.669 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into 0
3.670 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
3.670 * [backup-simplify]: Simplify 0 into 0
3.670 * [backup-simplify]: Simplify (+ 0 0) into 0
3.671 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.672 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
3.672 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.672 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.673 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
3.673 * [backup-simplify]: Simplify (- 0) into 0
3.674 * [backup-simplify]: Simplify (+ 0 0) into 0
3.674 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
3.675 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
3.675 * [taylor]: Taking taylor expansion of 0 in y
3.675 * [backup-simplify]: Simplify 0 into 0
3.675 * [backup-simplify]: Simplify 0 into 0
3.676 * [backup-simplify]: Simplify 0 into 0
3.676 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.677 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.677 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.678 * [backup-simplify]: Simplify (- 0) into 0
3.678 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.678 * [backup-simplify]: Simplify (- 0) into 0
3.679 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.680 * [backup-simplify]: Simplify (+ 0 0) into 0
3.680 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
3.681 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
3.682 * [backup-simplify]: Simplify 0 into 0
3.682 * [backup-simplify]: Simplify (+ 0 0) into 0
3.682 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.683 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.683 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.684 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
3.684 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
3.684 * [backup-simplify]: Simplify (- 0) into 0
3.685 * [backup-simplify]: Simplify (+ 0 0) into 0
3.685 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
3.686 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))))) into 0
3.686 * [taylor]: Taking taylor expansion of 0 in y
3.686 * [backup-simplify]: Simplify 0 into 0
3.686 * [backup-simplify]: Simplify 0 into 0
3.686 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 (/ 1 y))) (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))))) into (* 0.5 (* (+ (exp x) (exp (- x))) (cos y)))
3.687 * [backup-simplify]: Simplify (* (/ (sqrt (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) 1) (* (/ (sqrt (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) 2.0) (cos (/ 1 (- y))))) into (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))
3.687 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in (x y) around 0
3.687 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
3.687 * [taylor]: Taking taylor expansion of 0.5 in y
3.687 * [backup-simplify]: Simplify 0.5 into 0.5
3.687 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
3.687 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
3.687 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.687 * [taylor]: Taking taylor expansion of -1 in y
3.687 * [backup-simplify]: Simplify -1 into -1
3.687 * [taylor]: Taking taylor expansion of y in y
3.687 * [backup-simplify]: Simplify 0 into 0
3.687 * [backup-simplify]: Simplify 1 into 1
3.687 * [backup-simplify]: Simplify (/ -1 1) into -1
3.687 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.687 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
3.687 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.687 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.687 * [taylor]: Taking taylor expansion of x in y
3.687 * [backup-simplify]: Simplify x into x
3.687 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.687 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.688 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
3.688 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.688 * [taylor]: Taking taylor expansion of -1 in y
3.688 * [backup-simplify]: Simplify -1 into -1
3.688 * [taylor]: Taking taylor expansion of x in y
3.688 * [backup-simplify]: Simplify x into x
3.688 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.688 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.688 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
3.688 * [taylor]: Taking taylor expansion of 0.5 in x
3.688 * [backup-simplify]: Simplify 0.5 into 0.5
3.688 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
3.688 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
3.688 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.688 * [taylor]: Taking taylor expansion of -1 in x
3.688 * [backup-simplify]: Simplify -1 into -1
3.688 * [taylor]: Taking taylor expansion of y in x
3.688 * [backup-simplify]: Simplify y into y
3.688 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.688 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.688 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.688 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
3.688 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.688 * [taylor]: Taking taylor expansion of x in x
3.688 * [backup-simplify]: Simplify 0 into 0
3.688 * [backup-simplify]: Simplify 1 into 1
3.688 * [backup-simplify]: Simplify (/ 1 1) into 1
3.688 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.688 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.688 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.688 * [taylor]: Taking taylor expansion of -1 in x
3.688 * [backup-simplify]: Simplify -1 into -1
3.688 * [taylor]: Taking taylor expansion of x in x
3.688 * [backup-simplify]: Simplify 0 into 0
3.688 * [backup-simplify]: Simplify 1 into 1
3.689 * [backup-simplify]: Simplify (/ -1 1) into -1
3.689 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.689 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
3.689 * [taylor]: Taking taylor expansion of 0.5 in x
3.689 * [backup-simplify]: Simplify 0.5 into 0.5
3.689 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
3.689 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
3.689 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.689 * [taylor]: Taking taylor expansion of -1 in x
3.689 * [backup-simplify]: Simplify -1 into -1
3.689 * [taylor]: Taking taylor expansion of y in x
3.689 * [backup-simplify]: Simplify y into y
3.689 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.689 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.689 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.689 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
3.689 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.689 * [taylor]: Taking taylor expansion of x in x
3.689 * [backup-simplify]: Simplify 0 into 0
3.689 * [backup-simplify]: Simplify 1 into 1
3.690 * [backup-simplify]: Simplify (/ 1 1) into 1
3.690 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.690 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.690 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.690 * [taylor]: Taking taylor expansion of -1 in x
3.690 * [backup-simplify]: Simplify -1 into -1
3.690 * [taylor]: Taking taylor expansion of x in x
3.690 * [backup-simplify]: Simplify 0 into 0
3.690 * [backup-simplify]: Simplify 1 into 1
3.690 * [backup-simplify]: Simplify (/ -1 1) into -1
3.690 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.690 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
3.690 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
3.691 * [backup-simplify]: Simplify (- 0) into 0
3.691 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
3.691 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
3.691 * [backup-simplify]: Simplify (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))
3.691 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) into (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))
3.691 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
3.691 * [taylor]: Taking taylor expansion of 0.5 in y
3.691 * [backup-simplify]: Simplify 0.5 into 0.5
3.691 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
3.691 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
3.691 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.691 * [taylor]: Taking taylor expansion of -1 in y
3.691 * [backup-simplify]: Simplify -1 into -1
3.691 * [taylor]: Taking taylor expansion of y in y
3.691 * [backup-simplify]: Simplify 0 into 0
3.691 * [backup-simplify]: Simplify 1 into 1
3.692 * [backup-simplify]: Simplify (/ -1 1) into -1
3.692 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.692 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
3.692 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.692 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.692 * [taylor]: Taking taylor expansion of x in y
3.692 * [backup-simplify]: Simplify x into x
3.692 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.692 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.692 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
3.692 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.692 * [taylor]: Taking taylor expansion of -1 in y
3.692 * [backup-simplify]: Simplify -1 into -1
3.692 * [taylor]: Taking taylor expansion of x in y
3.692 * [backup-simplify]: Simplify x into x
3.692 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.692 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.692 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
3.692 * [backup-simplify]: Simplify (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))
3.692 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) into (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))
3.692 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))) into (* 0.5 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))
3.693 * [backup-simplify]: Simplify (+ 0 0) into 0
3.693 * [backup-simplify]: Simplify (+ 0) into 0
3.693 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
3.693 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
3.694 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.694 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
3.694 * [backup-simplify]: Simplify (- 0) into 0
3.695 * [backup-simplify]: Simplify (+ 0 0) into 0
3.695 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) into 0
3.695 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0
3.695 * [taylor]: Taking taylor expansion of 0 in y
3.695 * [backup-simplify]: Simplify 0 into 0
3.695 * [backup-simplify]: Simplify 0 into 0
3.695 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.696 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.696 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
3.696 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.697 * [backup-simplify]: Simplify (+ 0 0) into 0
3.697 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) into 0
3.697 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0
3.697 * [backup-simplify]: Simplify 0 into 0
3.697 * [backup-simplify]: Simplify (+ 0 0) into 0
3.698 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.698 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
3.699 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.699 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.699 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
3.700 * [backup-simplify]: Simplify (- 0) into 0
3.700 * [backup-simplify]: Simplify (+ 0 0) into 0
3.700 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0
3.701 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
3.701 * [taylor]: Taking taylor expansion of 0 in y
3.701 * [backup-simplify]: Simplify 0 into 0
3.701 * [backup-simplify]: Simplify 0 into 0
3.701 * [backup-simplify]: Simplify 0 into 0
3.701 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.702 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.702 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.703 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.703 * [backup-simplify]: Simplify (+ 0 0) into 0
3.703 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0
3.704 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
3.704 * [backup-simplify]: Simplify 0 into 0
3.704 * [backup-simplify]: Simplify (+ 0 0) into 0
3.705 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.705 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.705 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.706 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
3.707 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
3.707 * [backup-simplify]: Simplify (- 0) into 0
3.707 * [backup-simplify]: Simplify (+ 0 0) into 0
3.708 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
3.708 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ -1 y)) (+ (exp (/ 1 x)) (exp (/ -1 x)))))))) into 0
3.708 * [taylor]: Taking taylor expansion of 0 in y
3.708 * [backup-simplify]: Simplify 0 into 0
3.708 * [backup-simplify]: Simplify 0 into 0
3.709 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 (/ 1 (- y)))) (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))))) into (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x))))
3.709 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
3.709 * [backup-simplify]: Simplify (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)) into (* 0.5 (* (sqrt (+ (exp x) (exp (- x)))) (cos y)))
3.709 * [approximate]: Taking taylor expansion of (* 0.5 (* (sqrt (+ (exp x) (exp (- x)))) (cos y))) in (x y) around 0
3.709 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (+ (exp x) (exp (- x)))) (cos y))) in y
3.709 * [taylor]: Taking taylor expansion of 0.5 in y
3.709 * [backup-simplify]: Simplify 0.5 into 0.5
3.709 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp x) (exp (- x)))) (cos y)) in y
3.709 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) (exp (- x)))) in y
3.709 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y
3.709 * [taylor]: Taking taylor expansion of (exp x) in y
3.709 * [taylor]: Taking taylor expansion of x in y
3.709 * [backup-simplify]: Simplify x into x
3.709 * [backup-simplify]: Simplify (exp x) into (exp x)
3.709 * [taylor]: Taking taylor expansion of (exp (- x)) in y
3.709 * [taylor]: Taking taylor expansion of (- x) in y
3.709 * [taylor]: Taking taylor expansion of x in y
3.709 * [backup-simplify]: Simplify x into x
3.709 * [backup-simplify]: Simplify (- x) into (- x)
3.709 * [backup-simplify]: Simplify (- x) into (- x)
3.709 * [backup-simplify]: Simplify (exp (- x)) into (exp (- x))
3.709 * [backup-simplify]: Simplify (+ (exp x) (exp (- x))) into (+ (exp x) (exp (- x)))
3.710 * [backup-simplify]: Simplify (sqrt (+ (exp x) (exp (- x)))) into (sqrt (+ (exp x) (exp (- x))))
3.710 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
3.710 * [backup-simplify]: Simplify (- x) into (- x)
3.710 * [backup-simplify]: Simplify (- 0) into 0
3.711 * [backup-simplify]: Simplify (* (exp (- x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.711 * [backup-simplify]: Simplify (+ 0 0) into 0
3.711 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp x) (exp (- x)))))) into 0
3.711 * [taylor]: Taking taylor expansion of (cos y) in y
3.711 * [taylor]: Taking taylor expansion of y in y
3.711 * [backup-simplify]: Simplify 0 into 0
3.711 * [backup-simplify]: Simplify 1 into 1
3.711 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (+ (exp x) (exp (- x)))) (cos y))) in x
3.711 * [taylor]: Taking taylor expansion of 0.5 in x
3.711 * [backup-simplify]: Simplify 0.5 into 0.5
3.711 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp x) (exp (- x)))) (cos y)) in x
3.711 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) (exp (- x)))) in x
3.711 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
3.711 * [taylor]: Taking taylor expansion of (exp x) in x
3.711 * [taylor]: Taking taylor expansion of x in x
3.711 * [backup-simplify]: Simplify 0 into 0
3.711 * [backup-simplify]: Simplify 1 into 1
3.711 * [backup-simplify]: Simplify (exp 0) into 1
3.711 * [taylor]: Taking taylor expansion of (exp (- x)) in x
3.711 * [taylor]: Taking taylor expansion of (- x) in x
3.711 * [taylor]: Taking taylor expansion of x in x
3.711 * [backup-simplify]: Simplify 0 into 0
3.711 * [backup-simplify]: Simplify 1 into 1
3.712 * [backup-simplify]: Simplify (- 0) into 0
3.712 * [backup-simplify]: Simplify (- 1) into -1
3.712 * [backup-simplify]: Simplify (exp 0) into 1
3.712 * [backup-simplify]: Simplify (+ 1 1) into 2
3.712 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.713 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.713 * [backup-simplify]: Simplify (- 1) into -1
3.714 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
3.715 * [backup-simplify]: Simplify (+ 1 -1) into 0
3.715 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2))) into 0
3.715 * [taylor]: Taking taylor expansion of (cos y) in x
3.715 * [taylor]: Taking taylor expansion of y in x
3.715 * [backup-simplify]: Simplify y into y
3.715 * [backup-simplify]: Simplify (cos y) into (cos y)
3.715 * [backup-simplify]: Simplify (sin y) into (sin y)
3.716 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (+ (exp x) (exp (- x)))) (cos y))) in x
3.716 * [taylor]: Taking taylor expansion of 0.5 in x
3.716 * [backup-simplify]: Simplify 0.5 into 0.5
3.716 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp x) (exp (- x)))) (cos y)) in x
3.716 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) (exp (- x)))) in x
3.716 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
3.716 * [taylor]: Taking taylor expansion of (exp x) in x
3.716 * [taylor]: Taking taylor expansion of x in x
3.716 * [backup-simplify]: Simplify 0 into 0
3.716 * [backup-simplify]: Simplify 1 into 1
3.716 * [backup-simplify]: Simplify (exp 0) into 1
3.716 * [taylor]: Taking taylor expansion of (exp (- x)) in x
3.716 * [taylor]: Taking taylor expansion of (- x) in x
3.716 * [taylor]: Taking taylor expansion of x in x
3.716 * [backup-simplify]: Simplify 0 into 0
3.716 * [backup-simplify]: Simplify 1 into 1
3.716 * [backup-simplify]: Simplify (- 0) into 0
3.717 * [backup-simplify]: Simplify (- 1) into -1
3.717 * [backup-simplify]: Simplify (exp 0) into 1
3.717 * [backup-simplify]: Simplify (+ 1 1) into 2
3.717 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.718 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.719 * [backup-simplify]: Simplify (- 1) into -1
3.720 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
3.720 * [backup-simplify]: Simplify (+ 1 -1) into 0
3.721 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2))) into 0
3.721 * [taylor]: Taking taylor expansion of (cos y) in x
3.721 * [taylor]: Taking taylor expansion of y in x
3.721 * [backup-simplify]: Simplify y into y
3.721 * [backup-simplify]: Simplify (cos y) into (cos y)
3.721 * [backup-simplify]: Simplify (sin y) into (sin y)
3.721 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
3.722 * [backup-simplify]: Simplify (* (sin y) 0) into 0
3.722 * [backup-simplify]: Simplify (- 0) into 0
3.722 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
3.722 * [backup-simplify]: Simplify (* (sqrt 2) (cos y)) into (* (sqrt 2) (cos y))
3.723 * [backup-simplify]: Simplify (* 0.5 (* (sqrt 2) (cos y))) into (* 0.5 (* (sqrt 2) (cos y)))
3.723 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2) (cos y))) in y
3.723 * [taylor]: Taking taylor expansion of 0.5 in y
3.723 * [backup-simplify]: Simplify 0.5 into 0.5
3.723 * [taylor]: Taking taylor expansion of (* (sqrt 2) (cos y)) in y
3.723 * [taylor]: Taking taylor expansion of (sqrt 2) in y
3.723 * [taylor]: Taking taylor expansion of 2 in y
3.723 * [backup-simplify]: Simplify 2 into 2
3.723 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.724 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2))) into 0
3.724 * [taylor]: Taking taylor expansion of (cos y) in y
3.724 * [taylor]: Taking taylor expansion of y in y
3.724 * [backup-simplify]: Simplify 0 into 0
3.724 * [backup-simplify]: Simplify 1 into 1
3.725 * [backup-simplify]: Simplify (* (sqrt 2) 1) into (sqrt 2)
3.726 * [backup-simplify]: Simplify (* 0.5 (sqrt 2)) into (* 0.5 (sqrt 2))
3.727 * [backup-simplify]: Simplify (* 0.5 (sqrt 2)) into (* 0.5 (sqrt 2))
3.727 * [backup-simplify]: Simplify (+ 0) into 0
3.728 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 1)) into 0
3.729 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.729 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 0)) into 0
3.729 * [backup-simplify]: Simplify (- 0) into 0
3.730 * [backup-simplify]: Simplify (+ 0 0) into 0
3.730 * [backup-simplify]: Simplify (+ (* (sqrt 2) 0) (* 0 (cos y))) into 0
3.731 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sqrt 2) (cos y)))) into 0
3.731 * [taylor]: Taking taylor expansion of 0 in y
3.731 * [backup-simplify]: Simplify 0 into 0
3.731 * [backup-simplify]: Simplify 0 into 0
3.732 * [backup-simplify]: Simplify (+ 0) into 0
3.733 * [backup-simplify]: Simplify (+ (* (sqrt 2) 0) (* 0 1)) into 0
3.741 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (sqrt 2))) into 0
3.741 * [backup-simplify]: Simplify 0 into 0
3.742 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.743 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (* 0 1))) into 0
3.744 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.744 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (* 0 0))) into 0
3.745 * [backup-simplify]: Simplify (- 0) into 0
3.745 * [backup-simplify]: Simplify (+ 0 0) into 0
3.747 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.748 * [backup-simplify]: Simplify (- 1) into -1
3.748 * [backup-simplify]: Simplify (- 0) into 0
3.750 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.750 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
3.753 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
3.754 * [backup-simplify]: Simplify (+ (* (sqrt 2) 0) (+ (* 0 0) (* (/ 1/2 (sqrt 2)) (cos y)))) into (* 1/2 (/ (cos y) (sqrt 2)))
3.756 * [backup-simplify]: Simplify (+ (* 0.5 (* 1/2 (/ (cos y) (sqrt 2)))) (+ (* 0 0) (* 0 (* (sqrt 2) (cos y))))) into (* 0.25 (/ (cos y) (sqrt 2)))
3.756 * [taylor]: Taking taylor expansion of (* 0.25 (/ (cos y) (sqrt 2))) in y
3.756 * [taylor]: Taking taylor expansion of 0.25 in y
3.756 * [backup-simplify]: Simplify 0.25 into 0.25
3.756 * [taylor]: Taking taylor expansion of (/ (cos y) (sqrt 2)) in y
3.756 * [taylor]: Taking taylor expansion of (cos y) in y
3.756 * [taylor]: Taking taylor expansion of y in y
3.756 * [backup-simplify]: Simplify 0 into 0
3.756 * [backup-simplify]: Simplify 1 into 1
3.756 * [taylor]: Taking taylor expansion of (sqrt 2) in y
3.756 * [taylor]: Taking taylor expansion of 2 in y
3.756 * [backup-simplify]: Simplify 2 into 2
3.757 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.757 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2))) into 0
3.758 * [backup-simplify]: Simplify (/ 1 (sqrt 2)) into (/ 1 (sqrt 2))
3.760 * [backup-simplify]: Simplify (* 0.25 (/ 1 (sqrt 2))) into (/ 0.25 (sqrt 2))
3.760 * [backup-simplify]: Simplify (/ 0.25 (sqrt 2)) into (/ 0.25 (sqrt 2))
3.761 * [backup-simplify]: Simplify 0 into 0
3.762 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
3.763 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2))) into 0
3.765 * [backup-simplify]: Simplify (+ (* (sqrt 2) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (sqrt 2)))
3.770 * [backup-simplify]: Simplify (+ (* 0.5 (- (* 1/2 (sqrt 2)))) (+ (* 0 0) (* 0 (sqrt 2)))) into (- (* 0.25 (sqrt 2)))
3.771 * [backup-simplify]: Simplify (- (* 0.25 (sqrt 2))) into (- (* 0.25 (sqrt 2)))
3.775 * [backup-simplify]: Simplify (+ (* (- (* 0.25 (sqrt 2))) (pow (* y 1) 2)) (+ (* (/ 0.25 (sqrt 2)) (pow (* 1 x) 2)) (* 0.5 (sqrt 2)))) into (- (+ (* 0.5 (sqrt 2)) (* 0.25 (/ (pow x 2) (sqrt 2)))) (* 0.25 (* (sqrt 2) (pow y 2))))
3.776 * [backup-simplify]: Simplify (* (/ (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) 2.0) (cos (/ 1 y))) into (* 0.5 (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))
3.776 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) in (x y) around 0
3.776 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) in y
3.776 * [taylor]: Taking taylor expansion of 0.5 in y
3.776 * [backup-simplify]: Simplify 0.5 into 0.5
3.776 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
3.776 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
3.776 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.776 * [taylor]: Taking taylor expansion of y in y
3.776 * [backup-simplify]: Simplify 0 into 0
3.776 * [backup-simplify]: Simplify 1 into 1
3.776 * [backup-simplify]: Simplify (/ 1 1) into 1
3.776 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.777 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
3.777 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
3.777 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.777 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.777 * [taylor]: Taking taylor expansion of x in y
3.777 * [backup-simplify]: Simplify x into x
3.777 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.777 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.777 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
3.777 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
3.777 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.777 * [taylor]: Taking taylor expansion of x in y
3.777 * [backup-simplify]: Simplify x into x
3.777 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.777 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.777 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.777 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
3.778 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
3.778 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
3.778 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.779 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.779 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.779 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.779 * [backup-simplify]: Simplify (- 0) into 0
3.780 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (+ (* (/ (pow 0 1) 1)))) into 0
3.781 * [backup-simplify]: Simplify (+ 0 0) into 0
3.781 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
3.781 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) in x
3.781 * [taylor]: Taking taylor expansion of 0.5 in x
3.781 * [backup-simplify]: Simplify 0.5 into 0.5
3.781 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
3.781 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
3.781 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.781 * [taylor]: Taking taylor expansion of y in x
3.781 * [backup-simplify]: Simplify y into y
3.781 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.781 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.781 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.781 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
3.781 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
3.782 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.782 * [taylor]: Taking taylor expansion of x in x
3.782 * [backup-simplify]: Simplify 0 into 0
3.782 * [backup-simplify]: Simplify 1 into 1
3.782 * [backup-simplify]: Simplify (/ 1 1) into 1
3.782 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.782 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
3.782 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.782 * [taylor]: Taking taylor expansion of x in x
3.782 * [backup-simplify]: Simplify 0 into 0
3.782 * [backup-simplify]: Simplify 1 into 1
3.783 * [backup-simplify]: Simplify (/ 1 1) into 1
3.783 * [backup-simplify]: Simplify (- 1) into -1
3.783 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
3.783 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
3.783 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
3.784 * [backup-simplify]: Simplify (+ 0 0) into 0
3.784 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
3.784 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) in x
3.784 * [taylor]: Taking taylor expansion of 0.5 in x
3.784 * [backup-simplify]: Simplify 0.5 into 0.5
3.784 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
3.784 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
3.784 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.784 * [taylor]: Taking taylor expansion of y in x
3.784 * [backup-simplify]: Simplify y into y
3.784 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.785 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.785 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
3.785 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
3.785 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
3.785 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.785 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.785 * [taylor]: Taking taylor expansion of x in x
3.785 * [backup-simplify]: Simplify 0 into 0
3.785 * [backup-simplify]: Simplify 1 into 1
3.785 * [backup-simplify]: Simplify (/ 1 1) into 1
3.785 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.785 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
3.785 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.785 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.785 * [taylor]: Taking taylor expansion of x in x
3.785 * [backup-simplify]: Simplify 0 into 0
3.785 * [backup-simplify]: Simplify 1 into 1
3.786 * [backup-simplify]: Simplify (/ 1 1) into 1
3.786 * [backup-simplify]: Simplify (- 1) into -1
3.786 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
3.787 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
3.787 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
3.787 * [backup-simplify]: Simplify (+ 0 0) into 0
3.787 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
3.788 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
3.788 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
3.788 * [backup-simplify]: Simplify (- 0) into 0
3.788 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
3.788 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
3.789 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into (* 0.5 (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))
3.789 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) in y
3.789 * [taylor]: Taking taylor expansion of 0.5 in y
3.789 * [backup-simplify]: Simplify 0.5 into 0.5
3.789 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
3.789 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
3.789 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.789 * [taylor]: Taking taylor expansion of y in y
3.789 * [backup-simplify]: Simplify 0 into 0
3.789 * [backup-simplify]: Simplify 1 into 1
3.789 * [backup-simplify]: Simplify (/ 1 1) into 1
3.789 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
3.789 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
3.789 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
3.790 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.790 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.790 * [taylor]: Taking taylor expansion of x in y
3.790 * [backup-simplify]: Simplify x into x
3.790 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.790 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.790 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
3.790 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
3.790 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.790 * [taylor]: Taking taylor expansion of x in y
3.790 * [backup-simplify]: Simplify x into x
3.790 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.790 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.790 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.790 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
3.790 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
3.790 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
3.790 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.791 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.791 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.791 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.791 * [backup-simplify]: Simplify (- 0) into 0
3.792 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (+ (* (/ (pow 0 1) 1)))) into 0
3.792 * [backup-simplify]: Simplify (+ 0 0) into 0
3.792 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
3.792 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
3.792 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into (* 0.5 (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))
3.793 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into (* 0.5 (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))
3.793 * [backup-simplify]: Simplify (+ 0) into 0
3.793 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
3.793 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.794 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.794 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
3.794 * [backup-simplify]: Simplify (- 0) into 0
3.794 * [backup-simplify]: Simplify (+ 0 0) into 0
3.795 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
3.795 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
3.795 * [taylor]: Taking taylor expansion of 0 in y
3.795 * [backup-simplify]: Simplify 0 into 0
3.795 * [backup-simplify]: Simplify 0 into 0
3.795 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
3.796 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
3.796 * [backup-simplify]: Simplify 0 into 0
3.796 * [backup-simplify]: Simplify (+ 0 0) into 0
3.796 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
3.797 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.797 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
3.798 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.798 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.798 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
3.799 * [backup-simplify]: Simplify (- 0) into 0
3.799 * [backup-simplify]: Simplify (+ 0 0) into 0
3.799 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
3.800 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))))) into 0
3.800 * [taylor]: Taking taylor expansion of 0 in y
3.800 * [backup-simplify]: Simplify 0 into 0
3.800 * [backup-simplify]: Simplify 0 into 0
3.800 * [backup-simplify]: Simplify 0 into 0
3.800 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.801 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.801 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.801 * [backup-simplify]: Simplify (- 0) into 0
3.801 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.802 * [backup-simplify]: Simplify (- 0) into 0
3.802 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.803 * [backup-simplify]: Simplify (+ 0 0) into 0
3.803 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
3.804 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
3.804 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))))) into 0
3.804 * [backup-simplify]: Simplify 0 into 0
3.804 * [backup-simplify]: Simplify (+ 0 0) into 0
3.805 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
3.806 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.806 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.806 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.807 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
3.807 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
3.808 * [backup-simplify]: Simplify (- 0) into 0
3.808 * [backup-simplify]: Simplify (+ 0 0) into 0
3.809 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))))) into 0
3.809 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 y)) (sqrt (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))))) into 0
3.809 * [taylor]: Taking taylor expansion of 0 in y
3.809 * [backup-simplify]: Simplify 0 into 0
3.809 * [backup-simplify]: Simplify 0 into 0
3.810 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 (/ 1 y))) (sqrt (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))))) into (* 0.5 (* (sqrt (+ (exp x) (exp (- x)))) (cos y)))
3.810 * [backup-simplify]: Simplify (* (/ (sqrt (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) 2.0) (cos (/ 1 (- y)))) into (* 0.5 (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))))
3.810 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in (x y) around 0
3.810 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y
3.810 * [taylor]: Taking taylor expansion of 0.5 in y
3.810 * [backup-simplify]: Simplify 0.5 into 0.5
3.810 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
3.810 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
3.810 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.810 * [taylor]: Taking taylor expansion of -1 in y
3.810 * [backup-simplify]: Simplify -1 into -1
3.810 * [taylor]: Taking taylor expansion of y in y
3.810 * [backup-simplify]: Simplify 0 into 0
3.810 * [backup-simplify]: Simplify 1 into 1
3.810 * [backup-simplify]: Simplify (/ -1 1) into -1
3.810 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.810 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
3.811 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
3.811 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.811 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.811 * [taylor]: Taking taylor expansion of x in y
3.811 * [backup-simplify]: Simplify x into x
3.811 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.811 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.811 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
3.811 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.811 * [taylor]: Taking taylor expansion of -1 in y
3.811 * [backup-simplify]: Simplify -1 into -1
3.811 * [taylor]: Taking taylor expansion of x in y
3.811 * [backup-simplify]: Simplify x into x
3.811 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.811 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.811 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
3.811 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))
3.811 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.812 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.812 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
3.812 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.812 * [backup-simplify]: Simplify (+ 0 0) into 0
3.813 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0
3.813 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in x
3.813 * [taylor]: Taking taylor expansion of 0.5 in x
3.813 * [backup-simplify]: Simplify 0.5 into 0.5
3.813 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
3.813 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
3.813 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.813 * [taylor]: Taking taylor expansion of -1 in x
3.813 * [backup-simplify]: Simplify -1 into -1
3.813 * [taylor]: Taking taylor expansion of y in x
3.813 * [backup-simplify]: Simplify y into y
3.813 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.813 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.813 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.813 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
3.813 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
3.813 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.813 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.813 * [taylor]: Taking taylor expansion of x in x
3.813 * [backup-simplify]: Simplify 0 into 0
3.813 * [backup-simplify]: Simplify 1 into 1
3.813 * [backup-simplify]: Simplify (/ 1 1) into 1
3.813 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.813 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.813 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.813 * [taylor]: Taking taylor expansion of -1 in x
3.813 * [backup-simplify]: Simplify -1 into -1
3.813 * [taylor]: Taking taylor expansion of x in x
3.813 * [backup-simplify]: Simplify 0 into 0
3.814 * [backup-simplify]: Simplify 1 into 1
3.814 * [backup-simplify]: Simplify (/ -1 1) into -1
3.814 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.814 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
3.814 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))
3.814 * [backup-simplify]: Simplify (+ 0 0) into 0
3.814 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0
3.814 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in x
3.814 * [taylor]: Taking taylor expansion of 0.5 in x
3.815 * [backup-simplify]: Simplify 0.5 into 0.5
3.815 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
3.815 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
3.815 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.815 * [taylor]: Taking taylor expansion of -1 in x
3.815 * [backup-simplify]: Simplify -1 into -1
3.815 * [taylor]: Taking taylor expansion of y in x
3.815 * [backup-simplify]: Simplify y into y
3.815 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.815 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.815 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
3.815 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
3.815 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
3.815 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.815 * [taylor]: Taking taylor expansion of x in x
3.815 * [backup-simplify]: Simplify 0 into 0
3.815 * [backup-simplify]: Simplify 1 into 1
3.815 * [backup-simplify]: Simplify (/ 1 1) into 1
3.815 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.815 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.815 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.815 * [taylor]: Taking taylor expansion of -1 in x
3.815 * [backup-simplify]: Simplify -1 into -1
3.815 * [taylor]: Taking taylor expansion of x in x
3.815 * [backup-simplify]: Simplify 0 into 0
3.815 * [backup-simplify]: Simplify 1 into 1
3.816 * [backup-simplify]: Simplify (/ -1 1) into -1
3.816 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.816 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
3.816 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))
3.816 * [backup-simplify]: Simplify (+ 0 0) into 0
3.816 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0
3.816 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
3.817 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
3.817 * [backup-simplify]: Simplify (- 0) into 0
3.817 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
3.817 * [backup-simplify]: Simplify (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))) into (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))
3.817 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into (* 0.5 (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))))
3.817 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))) in y
3.817 * [taylor]: Taking taylor expansion of 0.5 in y
3.817 * [backup-simplify]: Simplify 0.5 into 0.5
3.817 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))) in y
3.817 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
3.817 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.817 * [taylor]: Taking taylor expansion of -1 in y
3.817 * [backup-simplify]: Simplify -1 into -1
3.817 * [taylor]: Taking taylor expansion of y in y
3.817 * [backup-simplify]: Simplify 0 into 0
3.817 * [backup-simplify]: Simplify 1 into 1
3.818 * [backup-simplify]: Simplify (/ -1 1) into -1
3.818 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
3.818 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) in y
3.818 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
3.818 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
3.818 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.818 * [taylor]: Taking taylor expansion of x in y
3.818 * [backup-simplify]: Simplify x into x
3.818 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.818 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.818 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
3.818 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.818 * [taylor]: Taking taylor expansion of -1 in y
3.818 * [backup-simplify]: Simplify -1 into -1
3.818 * [taylor]: Taking taylor expansion of x in y
3.818 * [backup-simplify]: Simplify x into x
3.818 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.818 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.818 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
3.818 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))
3.818 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.819 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.819 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
3.819 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
3.820 * [backup-simplify]: Simplify (+ 0 0) into 0
3.820 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0
3.820 * [backup-simplify]: Simplify (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))) into (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))
3.820 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into (* 0.5 (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))))
3.820 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into (* 0.5 (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))))
3.821 * [backup-simplify]: Simplify (+ 0) into 0
3.821 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
3.821 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
3.822 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
3.822 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
3.822 * [backup-simplify]: Simplify (- 0) into 0
3.823 * [backup-simplify]: Simplify (+ 0 0) into 0
3.823 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0
3.824 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
3.824 * [taylor]: Taking taylor expansion of 0 in y
3.824 * [backup-simplify]: Simplify 0 into 0
3.824 * [backup-simplify]: Simplify 0 into 0
3.824 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0
3.825 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
3.825 * [backup-simplify]: Simplify 0 into 0
3.825 * [backup-simplify]: Simplify (+ 0 0) into 0
3.826 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0
3.827 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
3.828 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
3.828 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.829 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
3.830 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
3.830 * [backup-simplify]: Simplify (- 0) into 0
3.830 * [backup-simplify]: Simplify (+ 0 0) into 0
3.831 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
3.832 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))))) into 0
3.832 * [taylor]: Taking taylor expansion of 0 in y
3.832 * [backup-simplify]: Simplify 0 into 0
3.832 * [backup-simplify]: Simplify 0 into 0
3.832 * [backup-simplify]: Simplify 0 into 0
3.832 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.834 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.834 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.836 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.836 * [backup-simplify]: Simplify (+ 0 0) into 0
3.837 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0
3.838 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
3.839 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))))) into 0
3.839 * [backup-simplify]: Simplify 0 into 0
3.839 * [backup-simplify]: Simplify (+ 0 0) into 0
3.840 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into 0
3.841 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
3.842 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.843 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.844 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
3.845 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
3.845 * [backup-simplify]: Simplify (- 0) into 0
3.846 * [backup-simplify]: Simplify (+ 0 0) into 0
3.847 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x)))))))) into 0
3.848 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ -1 y)) (sqrt (+ (exp (/ 1 x)) (exp (/ -1 x))))))))) into 0
3.848 * [taylor]: Taking taylor expansion of 0 in y
3.848 * [backup-simplify]: Simplify 0 into 0
3.848 * [backup-simplify]: Simplify 0 into 0
3.849 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ -1 (/ 1 (- y)))) (sqrt (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))))) into (* 0.5 (* (cos y) (sqrt (+ (exp (* -1 x)) (exp x)))))
3.849 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
3.849 * [backup-simplify]: Simplify (+ (exp x) (exp (- x))) into (+ (exp x) (exp (- x)))
3.849 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0
3.849 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
3.849 * [taylor]: Taking taylor expansion of (exp x) in x
3.849 * [taylor]: Taking taylor expansion of x in x
3.849 * [backup-simplify]: Simplify 0 into 0
3.849 * [backup-simplify]: Simplify 1 into 1
3.849 * [backup-simplify]: Simplify (exp 0) into 1
3.849 * [taylor]: Taking taylor expansion of (exp (- x)) in x
3.849 * [taylor]: Taking taylor expansion of (- x) in x
3.849 * [taylor]: Taking taylor expansion of x in x
3.849 * [backup-simplify]: Simplify 0 into 0
3.849 * [backup-simplify]: Simplify 1 into 1
3.850 * [backup-simplify]: Simplify (- 0) into 0
3.850 * [backup-simplify]: Simplify (- 1) into -1
3.850 * [backup-simplify]: Simplify (exp 0) into 1
3.850 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
3.850 * [taylor]: Taking taylor expansion of (exp x) in x
3.850 * [taylor]: Taking taylor expansion of x in x
3.850 * [backup-simplify]: Simplify 0 into 0
3.850 * [backup-simplify]: Simplify 1 into 1
3.850 * [backup-simplify]: Simplify (exp 0) into 1
3.850 * [taylor]: Taking taylor expansion of (exp (- x)) in x
3.851 * [taylor]: Taking taylor expansion of (- x) in x
3.851 * [taylor]: Taking taylor expansion of x in x
3.851 * [backup-simplify]: Simplify 0 into 0
3.851 * [backup-simplify]: Simplify 1 into 1
3.851 * [backup-simplify]: Simplify (- 0) into 0
3.851 * [backup-simplify]: Simplify (- 1) into -1
3.851 * [backup-simplify]: Simplify (exp 0) into 1
3.852 * [backup-simplify]: Simplify (+ 1 1) into 2
3.852 * [backup-simplify]: Simplify 2 into 2
3.853 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.853 * [backup-simplify]: Simplify (- 1) into -1
3.854 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
3.855 * [backup-simplify]: Simplify (+ 1 -1) into 0
3.855 * [backup-simplify]: Simplify 0 into 0
3.857 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.857 * [backup-simplify]: Simplify (- 1) into -1
3.857 * [backup-simplify]: Simplify (- 0) into 0
3.859 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.859 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
3.859 * [backup-simplify]: Simplify 1 into 1
3.862 * [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.862 * [backup-simplify]: Simplify (- 1) into -1
3.862 * [backup-simplify]: Simplify (- 1) into -1
3.863 * [backup-simplify]: Simplify (- 0) into 0
3.863 * [backup-simplify]: Simplify (- 0) into 0
3.866 * [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.866 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
3.866 * [backup-simplify]: Simplify 0 into 0
3.870 * [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.871 * [backup-simplify]: Simplify (- 1) into -1
3.871 * [backup-simplify]: Simplify (- 1) into -1
3.878 * [backup-simplify]: Simplify (- 0) into 0
3.879 * [backup-simplify]: Simplify (- 1) into -1
3.879 * [backup-simplify]: Simplify (- 0) into 0
3.879 * [backup-simplify]: Simplify (- 0) into 0
3.879 * [backup-simplify]: Simplify (- 0) into 0
3.882 * [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.882 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
3.882 * [backup-simplify]: Simplify 1/12 into 1/12
3.882 * [backup-simplify]: Simplify (+ (* 1/12 (pow x 4)) (+ (* 1 (pow x 2)) 2)) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
3.882 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
3.883 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
3.883 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
3.883 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.883 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.883 * [taylor]: Taking taylor expansion of x in x
3.883 * [backup-simplify]: Simplify 0 into 0
3.883 * [backup-simplify]: Simplify 1 into 1
3.883 * [backup-simplify]: Simplify (/ 1 1) into 1
3.883 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.883 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
3.883 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.883 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.883 * [taylor]: Taking taylor expansion of x in x
3.883 * [backup-simplify]: Simplify 0 into 0
3.883 * [backup-simplify]: Simplify 1 into 1
3.883 * [backup-simplify]: Simplify (/ 1 1) into 1
3.883 * [backup-simplify]: Simplify (- 1) into -1
3.884 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
3.884 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (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.884 * [taylor]: Taking taylor expansion of x in x
3.884 * [backup-simplify]: Simplify 0 into 0
3.884 * [backup-simplify]: Simplify 1 into 1
3.884 * [backup-simplify]: Simplify (/ 1 1) into 1
3.884 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 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.884 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.884 * [taylor]: Taking taylor expansion of x in x
3.884 * [backup-simplify]: Simplify 0 into 0
3.884 * [backup-simplify]: Simplify 1 into 1
3.884 * [backup-simplify]: Simplify (/ 1 1) into 1
3.885 * [backup-simplify]: Simplify (- 1) into -1
3.885 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
3.885 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
3.885 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
3.885 * [backup-simplify]: Simplify (+ 0 0) into 0
3.885 * [backup-simplify]: Simplify 0 into 0
3.885 * [backup-simplify]: Simplify (+ 0 0) into 0
3.885 * [backup-simplify]: Simplify 0 into 0
3.886 * [backup-simplify]: Simplify (+ 0 0) into 0
3.886 * [backup-simplify]: Simplify 0 into 0
3.886 * [backup-simplify]: Simplify (+ 0 0) into 0
3.886 * [backup-simplify]: Simplify 0 into 0
3.886 * [backup-simplify]: Simplify (+ 0 0) into 0
3.886 * [backup-simplify]: Simplify 0 into 0
3.886 * [backup-simplify]: Simplify (+ 0 0) into 0
3.886 * [backup-simplify]: Simplify 0 into 0
3.887 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (+ (exp x) (exp (- x)))
3.887 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
3.887 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0
3.887 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
3.887 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.887 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.887 * [taylor]: Taking taylor expansion of x in x
3.887 * [backup-simplify]: Simplify 0 into 0
3.887 * [backup-simplify]: Simplify 1 into 1
3.887 * [backup-simplify]: Simplify (/ 1 1) into 1
3.887 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.887 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.887 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.887 * [taylor]: Taking taylor expansion of -1 in x
3.887 * [backup-simplify]: Simplify -1 into -1
3.887 * [taylor]: Taking taylor expansion of x in x
3.887 * [backup-simplify]: Simplify 0 into 0
3.887 * [backup-simplify]: Simplify 1 into 1
3.888 * [backup-simplify]: Simplify (/ -1 1) into -1
3.888 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.888 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
3.888 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.888 * [taylor]: Taking taylor expansion of x in x
3.888 * [backup-simplify]: Simplify 0 into 0
3.888 * [backup-simplify]: Simplify 1 into 1
3.888 * [backup-simplify]: Simplify (/ 1 1) into 1
3.888 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.888 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.888 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.888 * [taylor]: Taking taylor expansion of -1 in x
3.888 * [backup-simplify]: Simplify -1 into -1
3.888 * [taylor]: Taking taylor expansion of x in x
3.888 * [backup-simplify]: Simplify 0 into 0
3.888 * [backup-simplify]: Simplify 1 into 1
3.888 * [backup-simplify]: Simplify (/ -1 1) into -1
3.888 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.889 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
3.889 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
3.889 * [backup-simplify]: Simplify (+ 0 0) into 0
3.889 * [backup-simplify]: Simplify 0 into 0
3.889 * [backup-simplify]: Simplify (+ 0 0) into 0
3.889 * [backup-simplify]: Simplify 0 into 0
3.890 * [backup-simplify]: Simplify (+ 0 0) into 0
3.890 * [backup-simplify]: Simplify 0 into 0
3.890 * [backup-simplify]: Simplify (+ 0 0) into 0
3.890 * [backup-simplify]: Simplify 0 into 0
3.890 * [backup-simplify]: Simplify (+ 0 0) into 0
3.890 * [backup-simplify]: Simplify 0 into 0
3.890 * [backup-simplify]: Simplify (+ 0 0) into 0
3.890 * [backup-simplify]: Simplify 0 into 0
3.890 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))) into (+ (exp (* -1 x)) (exp x))
3.891 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
3.891 * [backup-simplify]: Simplify (+ (exp x) (exp (- x))) into (+ (exp x) (exp (- x)))
3.891 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0
3.891 * [taylor]: Taking taylor expansion of (+ (exp x) (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.891 * [backup-simplify]: Simplify 0 into 0
3.891 * [backup-simplify]: Simplify 1 into 1
3.891 * [backup-simplify]: Simplify (exp 0) into 1
3.891 * [taylor]: Taking taylor expansion of (exp (- x)) in x
3.891 * [taylor]: Taking taylor expansion of (- x) in x
3.891 * [taylor]: Taking taylor expansion of x in x
3.891 * [backup-simplify]: Simplify 0 into 0
3.891 * [backup-simplify]: Simplify 1 into 1
3.891 * [backup-simplify]: Simplify (- 0) into 0
3.891 * [backup-simplify]: Simplify (- 1) into -1
3.891 * [backup-simplify]: Simplify (exp 0) into 1
3.891 * [taylor]: Taking taylor expansion of (+ (exp x) (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.891 * [backup-simplify]: Simplify 0 into 0
3.891 * [backup-simplify]: Simplify 1 into 1
3.892 * [backup-simplify]: Simplify (exp 0) into 1
3.892 * [taylor]: Taking taylor expansion of (exp (- x)) in x
3.892 * [taylor]: Taking taylor expansion of (- 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 (- 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 2
3.892 * [backup-simplify]: Simplify 2 into 2
3.893 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.893 * [backup-simplify]: Simplify (- 1) into -1
3.894 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
3.894 * [backup-simplify]: Simplify (+ 1 -1) into 0
3.894 * [backup-simplify]: Simplify 0 into 0
3.895 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.895 * [backup-simplify]: Simplify (- 1) into -1
3.896 * [backup-simplify]: Simplify (- 0) into 0
3.897 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.897 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
3.897 * [backup-simplify]: Simplify 1 into 1
3.898 * [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.898 * [backup-simplify]: Simplify (- 1) into -1
3.899 * [backup-simplify]: Simplify (- 1) into -1
3.899 * [backup-simplify]: Simplify (- 0) into 0
3.899 * [backup-simplify]: Simplify (- 0) into 0
3.901 * [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.901 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
3.901 * [backup-simplify]: Simplify 0 into 0
3.903 * [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.903 * [backup-simplify]: Simplify (- 1) into -1
3.904 * [backup-simplify]: Simplify (- 1) into -1
3.904 * [backup-simplify]: Simplify (- 0) into 0
3.904 * [backup-simplify]: Simplify (- 1) into -1
3.904 * [backup-simplify]: Simplify (- 0) into 0
3.905 * [backup-simplify]: Simplify (- 0) into 0
3.905 * [backup-simplify]: Simplify (- 0) into 0
3.907 * [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.907 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
3.907 * [backup-simplify]: Simplify 1/12 into 1/12
3.908 * [backup-simplify]: Simplify (+ (* 1/12 (pow x 4)) (+ (* 1 (pow x 2)) 2)) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
3.908 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
3.908 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
3.908 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
3.908 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.908 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.908 * [taylor]: Taking taylor expansion of x in x
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 (exp (/ 1 x)) into (exp (/ 1 x))
3.908 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
3.908 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.908 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.908 * [taylor]: Taking taylor expansion of x in x
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 (- 1) into -1
3.909 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
3.909 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (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.909 * [backup-simplify]: Simplify (/ 1 1) into 1
3.909 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 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 (/ 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 (- 1) into -1
3.910 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
3.911 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
3.911 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
3.911 * [backup-simplify]: Simplify (+ 0 0) into 0
3.911 * [backup-simplify]: Simplify 0 into 0
3.912 * [backup-simplify]: Simplify (+ 0 0) into 0
3.912 * [backup-simplify]: Simplify 0 into 0
3.912 * [backup-simplify]: Simplify (+ 0 0) into 0
3.912 * [backup-simplify]: Simplify 0 into 0
3.913 * [backup-simplify]: Simplify (+ 0 0) into 0
3.913 * [backup-simplify]: Simplify 0 into 0
3.913 * [backup-simplify]: Simplify (+ 0 0) into 0
3.913 * [backup-simplify]: Simplify 0 into 0
3.913 * [backup-simplify]: Simplify (+ 0 0) into 0
3.913 * [backup-simplify]: Simplify 0 into 0
3.914 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (+ (exp x) (exp (- x)))
3.914 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
3.914 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0
3.914 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
3.914 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.914 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.914 * [taylor]: Taking taylor expansion of x in x
3.914 * [backup-simplify]: Simplify 0 into 0
3.914 * [backup-simplify]: Simplify 1 into 1
3.914 * [backup-simplify]: Simplify (/ 1 1) into 1
3.915 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.915 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.915 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.915 * [taylor]: Taking taylor expansion of -1 in x
3.915 * [backup-simplify]: Simplify -1 into -1
3.915 * [taylor]: Taking taylor expansion of x in x
3.915 * [backup-simplify]: Simplify 0 into 0
3.915 * [backup-simplify]: Simplify 1 into 1
3.915 * [backup-simplify]: Simplify (/ -1 1) into -1
3.915 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.915 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
3.915 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.915 * [taylor]: Taking taylor expansion of x in x
3.915 * [backup-simplify]: Simplify 0 into 0
3.915 * [backup-simplify]: Simplify 1 into 1
3.916 * [backup-simplify]: Simplify (/ 1 1) into 1
3.916 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.916 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.916 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.916 * [taylor]: Taking taylor expansion of -1 in x
3.916 * [backup-simplify]: Simplify -1 into -1
3.916 * [taylor]: Taking taylor expansion of x in x
3.916 * [backup-simplify]: Simplify 0 into 0
3.916 * [backup-simplify]: Simplify 1 into 1
3.916 * [backup-simplify]: Simplify (/ -1 1) into -1
3.917 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.917 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
3.917 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
3.917 * [backup-simplify]: Simplify (+ 0 0) into 0
3.917 * [backup-simplify]: Simplify 0 into 0
3.918 * [backup-simplify]: Simplify (+ 0 0) into 0
3.918 * [backup-simplify]: Simplify 0 into 0
3.918 * [backup-simplify]: Simplify (+ 0 0) into 0
3.918 * [backup-simplify]: Simplify 0 into 0
3.919 * [backup-simplify]: Simplify (+ 0 0) into 0
3.919 * [backup-simplify]: Simplify 0 into 0
3.919 * [backup-simplify]: Simplify (+ 0 0) into 0
3.919 * [backup-simplify]: Simplify 0 into 0
3.919 * [backup-simplify]: Simplify (+ 0 0) into 0
3.919 * [backup-simplify]: Simplify 0 into 0
3.920 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))) into (+ (exp (* -1 x)) (exp x))
3.920 * * * [progress]: simplifying candidates
3.923 * [simplify]: Simplifying:
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (+ (- (log (sqrt (+ (exp x) (exp (- x))))) 0) (+ (- (log (sqrt (+ (exp x) (exp (- x))))) (log 2.0)) (log (cos y))))
  (+ (- (log (sqrt (+ (exp x) (exp (- x))))) 0) (+ (log (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (log (cos y))))
  (+ (- (log (sqrt (+ (exp x) (exp (- x))))) 0) (log (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))))
  (+ (- (log (sqrt (+ (exp x) (exp (- x))))) (log 1)) (+ (- (log (sqrt (+ (exp x) (exp (- x))))) (log 2.0)) (log (cos y))))
  (+ (- (log (sqrt (+ (exp x) (exp (- x))))) (log 1)) (+ (log (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (log (cos y))))
  (+ (- (log (sqrt (+ (exp x) (exp (- x))))) (log 1)) (log (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))))
  (+ (log (/ (sqrt (+ (exp x) (exp (- x)))) 1)) (+ (- (log (sqrt (+ (exp x) (exp (- x))))) (log 2.0)) (log (cos y))))
  (+ (log (/ (sqrt (+ (exp x) (exp (- x)))) 1)) (+ (log (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (log (cos y))))
  (+ (log (/ (sqrt (+ (exp x) (exp (- x)))) 1)) (log (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))))
  (log (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))))
  (exp (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))))
  (* (/ (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* 1 1) 1)) (* (/ (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* 2.0 2.0) 2.0)) (* (* (cos y) (cos y)) (cos y))))
  (* (/ (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* 1 1) 1)) (* (* (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (* (* (cos y) (cos y)) (cos y))))
  (* (/ (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* 1 1) 1)) (* (* (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))))
  (* (* (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (/ (sqrt (+ (exp x) (exp (- x)))) 1)) (/ (sqrt (+ (exp x) (exp (- x)))) 1)) (* (/ (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* 2.0 2.0) 2.0)) (* (* (cos y) (cos y)) (cos y))))
  (* (* (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (/ (sqrt (+ (exp x) (exp (- x)))) 1)) (/ (sqrt (+ (exp x) (exp (- x)))) 1)) (* (* (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (* (* (cos y) (cos y)) (cos y))))
  (* (* (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (/ (sqrt (+ (exp x) (exp (- x)))) 1)) (/ (sqrt (+ (exp x) (exp (- x)))) 1)) (* (* (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))))
  (* (cbrt (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))) (cbrt (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))))
  (cbrt (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))))
  (* (* (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))) (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))) (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))))
  (sqrt (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))))
  (sqrt (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))))
  (* (sqrt (+ (exp x) (exp (- x)))) (* (sqrt (+ (exp x) (exp (- x)))) (cos y)))
  (* 1 2.0)
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (/ (sqrt (+ (exp x) (exp (- x)))) 2.0))
  (* (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) 1)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 1)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt 1)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 1)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (cbrt 1)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt 1)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (cbrt 1)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 1)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 1)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 1)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 1)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 1)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (cbrt 1)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 1)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 1)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 1)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ 1 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (sqrt (+ (exp x) (exp (- x)))) (cos y)))
  (* (sqrt (+ (exp x) (exp (- x)))) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
  (+ (- (log (sqrt (+ (exp x) (exp (- x))))) (log 2.0)) (log (cos y)))
  (+ (log (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (log (cos y)))
  (log (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (exp (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (/ (* (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))) (* (* 2.0 2.0) 2.0)) (* (* (cos y) (cos y)) (cos y)))
  (* (* (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (* (* (cos y) (cos y)) (cos y)))
  (* (cbrt (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))) (cbrt (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))))
  (cbrt (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (* (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (sqrt (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (sqrt (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y)))
  (* (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (sqrt (cos y)))
  (* (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (sqrt (cos y)))
  (* (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (sqrt (cos y)))
  (* (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (sqrt (cos y)))
  (* (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (sqrt (cos y)))
  (* (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (sqrt (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (* (cbrt (cos y)) (cbrt (cos y))))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (sqrt (cos y)))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) 1)
  (* (cbrt (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (cos y))
  (* (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (cos y))
  (* (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (cbrt 2.0)) (cos y))
  (* (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (cos y))
  (* (/ (cbrt (sqrt (+ (exp x) (exp (- x))))) 2.0) (cos y))
  (* (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (cbrt 2.0)) (cos y))
  (* (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (cos y))
  (* (/ (sqrt (cbrt (+ (exp x) (exp (- x))))) 2.0) (cos y))
  (* (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (cbrt 2.0)) (cos y))
  (* (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (cos y))
  (* (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) 2.0) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
  (* (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (cbrt 2.0)) (cos y))
  (* (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) (sqrt 2.0)) (cos y))
  (* (/ (sqrt (sqrt (+ (exp x) (exp (- x))))) 2.0) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) (sqrt 2.0)) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
  (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))
  (* (/ 1 2.0) (cos y))
  (* (sqrt (+ (exp x) (exp (- x)))) (cos y))
  (* (exp (exp x)) (exp (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))))
  (+ (pow (exp x) 3) (pow (exp (- x)) 3))
  (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
  (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))
  (- (exp x) (exp (- x)))
  (+ (exp x) (exp (- x)))
  (* (exp (exp x)) (exp (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))))
  (+ (pow (exp x) 3) (pow (exp (- x)) 3))
  (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
  (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))
  (- (exp x) (exp (- x)))
  (+ (exp x) (exp (- x)))
  (- (+ (* 0.5 (pow x 2)) 1.0) (* 0.5 (pow y 2)))
  (* 0.5 (* (+ (exp x) (exp (- x))) (cos y)))
  (* 0.5 (* (cos y) (+ (exp (* -1 x)) (exp x))))
  (- (+ (* 0.5 (sqrt 2)) (* 0.25 (/ (pow x 2) (sqrt 2)))) (* 0.25 (* (sqrt 2) (pow y 2))))
  (* 0.5 (* (sqrt (+ (exp x) (exp (- x)))) (cos y)))
  (* 0.5 (* (cos y) (sqrt (+ (exp (* -1 x)) (exp x)))))
  (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
  (+ (exp x) (exp (- x)))
  (+ (exp (* -1 x)) (exp x))
  (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
  (+ (exp x) (exp (- x)))
  (+ (exp (* -1 x)) (exp x))
3.925 * [simplify]: Sending expressions to egg_math:
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (+ (- (log (sqrt (+ (exp h1) (exp (- h1))))) 0) (+ (- (log (sqrt (+ (exp h1) (exp (- h1))))) (log 2.0)) (log (cos h0))))
 (+ (- (log (sqrt (+ (exp h1) (exp (- h1))))) 0) (+ (log (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0)) (log (cos h0))))
 (+ (- (log (sqrt (+ (exp h1) (exp (- h1))))) 0) (log (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))))
 (+ (- (log (sqrt (+ (exp h1) (exp (- h1))))) (log 1)) (+ (- (log (sqrt (+ (exp h1) (exp (- h1))))) (log 2.0)) (log (cos h0))))
 (+ (- (log (sqrt (+ (exp h1) (exp (- h1))))) (log 1)) (+ (log (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0)) (log (cos h0))))
 (+ (- (log (sqrt (+ (exp h1) (exp (- h1))))) (log 1)) (log (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))))
 (+ (log (/ (sqrt (+ (exp h1) (exp (- h1)))) 1)) (+ (- (log (sqrt (+ (exp h1) (exp (- h1))))) (log 2.0)) (log (cos h0))))
 (+ (log (/ (sqrt (+ (exp h1) (exp (- h1)))) 1)) (+ (log (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0)) (log (cos h0))))
 (+ (log (/ (sqrt (+ (exp h1) (exp (- h1)))) 1)) (log (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))))
 (log (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))))
 (exp (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))))
 (* (/ (* (* (sqrt (+ (exp h1) (exp (- h1)))) (sqrt (+ (exp h1) (exp (- h1))))) (sqrt (+ (exp h1) (exp (- h1))))) (* (* 1 1) 1)) (* (/ (* (* (sqrt (+ (exp h1) (exp (- h1)))) (sqrt (+ (exp h1) (exp (- h1))))) (sqrt (+ (exp h1) (exp (- h1))))) (* (* 2.0 2.0) 2.0)) (* (* (cos h0) (cos h0)) (cos h0))))
 (* (/ (* (* (sqrt (+ (exp h1) (exp (- h1)))) (sqrt (+ (exp h1) (exp (- h1))))) (sqrt (+ (exp h1) (exp (- h1))))) (* (* 1 1) 1)) (* (* (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0)) (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0)) (* (* (cos h0) (cos h0)) (cos h0))))
 (* (/ (* (* (sqrt (+ (exp h1) (exp (- h1)))) (sqrt (+ (exp h1) (exp (- h1))))) (sqrt (+ (exp h1) (exp (- h1))))) (* (* 1 1) 1)) (* (* (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))))
 (* (* (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (/ (sqrt (+ (exp h1) (exp (- h1)))) 1)) (/ (sqrt (+ (exp h1) (exp (- h1)))) 1)) (* (/ (* (* (sqrt (+ (exp h1) (exp (- h1)))) (sqrt (+ (exp h1) (exp (- h1))))) (sqrt (+ (exp h1) (exp (- h1))))) (* (* 2.0 2.0) 2.0)) (* (* (cos h0) (cos h0)) (cos h0))))
 (* (* (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (/ (sqrt (+ (exp h1) (exp (- h1)))) 1)) (/ (sqrt (+ (exp h1) (exp (- h1)))) 1)) (* (* (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0)) (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0)) (* (* (cos h0) (cos h0)) (cos h0))))
 (* (* (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (/ (sqrt (+ (exp h1) (exp (- h1)))) 1)) (/ (sqrt (+ (exp h1) (exp (- h1)))) 1)) (* (* (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))))
 (* (cbrt (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))) (cbrt (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))))
 (cbrt (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))))
 (* (* (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))))
 (sqrt (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))))
 (sqrt (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))))
 (* (sqrt (+ (exp h1) (exp (- h1)))) (* (sqrt (+ (exp h1) (exp (- h1)))) (cos h0)))
 (* 1 2.0)
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0))
 (* (cbrt (/ (sqrt (+ (exp h1) (exp (- h1)))) 1)) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (sqrt (/ (sqrt (+ (exp h1) (exp (- h1)))) 1)) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (cbrt (sqrt (+ (exp h1) (exp (- h1))))) (cbrt 1)) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (cbrt (sqrt (+ (exp h1) (exp (- h1))))) (sqrt 1)) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (cbrt (sqrt (+ (exp h1) (exp (- h1))))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (cbrt (+ (exp h1) (exp (- h1))))) (cbrt 1)) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (cbrt (+ (exp h1) (exp (- h1))))) (sqrt 1)) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (cbrt (+ (exp h1) (exp (- h1))))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (sqrt (+ (exp h1) (exp (- h1))))) (cbrt 1)) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (sqrt (+ (exp h1) (exp (- h1))))) (sqrt 1)) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (sqrt (+ (exp h1) (exp (- h1))))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) (cbrt 1)) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) (sqrt 1)) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) (cbrt 1)) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) (sqrt 1)) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (sqrt (+ (exp h1) (exp (- h1))))) (cbrt 1)) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (sqrt (+ (exp h1) (exp (- h1))))) (sqrt 1)) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (sqrt (+ (exp h1) (exp (- h1))))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) (cbrt 1)) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) (sqrt 1)) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ 1 1) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 1) (* (sqrt (+ (exp h1) (exp (- h1)))) (cos h0)))
 (* (sqrt (+ (exp h1) (exp (- h1)))) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))
 (+ (- (log (sqrt (+ (exp h1) (exp (- h1))))) (log 2.0)) (log (cos h0)))
 (+ (log (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0)) (log (cos h0)))
 (log (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (exp (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (/ (* (* (sqrt (+ (exp h1) (exp (- h1)))) (sqrt (+ (exp h1) (exp (- h1))))) (sqrt (+ (exp h1) (exp (- h1))))) (* (* 2.0 2.0) 2.0)) (* (* (cos h0) (cos h0)) (cos h0)))
 (* (* (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0)) (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0)) (* (* (cos h0) (cos h0)) (cos h0)))
 (* (cbrt (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))) (cbrt (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))))
 (cbrt (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (* (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))) (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (sqrt (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (sqrt (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0)))
 (* (sqrt (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0)) (sqrt (cos h0)))
 (* (sqrt (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0)) (sqrt (cos h0)))
 (* (/ (sqrt (sqrt (+ (exp h1) (exp (- h1))))) (sqrt 2.0)) (sqrt (cos h0)))
 (* (/ (sqrt (sqrt (+ (exp h1) (exp (- h1))))) (sqrt 2.0)) (sqrt (cos h0)))
 (* (/ (sqrt (sqrt (+ (exp h1) (exp (- h1))))) (sqrt 2.0)) (sqrt (cos h0)))
 (* (/ (sqrt (sqrt (+ (exp h1) (exp (- h1))))) (sqrt 2.0)) (sqrt (cos h0)))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (* (cbrt (cos h0)) (cbrt (cos h0))))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (sqrt (cos h0)))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) 1)
 (* (cbrt (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0)) (cos h0))
 (* (sqrt (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0)) (cos h0))
 (* (/ (cbrt (sqrt (+ (exp h1) (exp (- h1))))) (cbrt 2.0)) (cos h0))
 (* (/ (cbrt (sqrt (+ (exp h1) (exp (- h1))))) (sqrt 2.0)) (cos h0))
 (* (/ (cbrt (sqrt (+ (exp h1) (exp (- h1))))) 2.0) (cos h0))
 (* (/ (sqrt (cbrt (+ (exp h1) (exp (- h1))))) (cbrt 2.0)) (cos h0))
 (* (/ (sqrt (cbrt (+ (exp h1) (exp (- h1))))) (sqrt 2.0)) (cos h0))
 (* (/ (sqrt (cbrt (+ (exp h1) (exp (- h1))))) 2.0) (cos h0))
 (* (/ (sqrt (sqrt (+ (exp h1) (exp (- h1))))) (cbrt 2.0)) (cos h0))
 (* (/ (sqrt (sqrt (+ (exp h1) (exp (- h1))))) (sqrt 2.0)) (cos h0))
 (* (/ (sqrt (sqrt (+ (exp h1) (exp (- h1))))) 2.0) (cos h0))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) (cbrt 2.0)) (cos h0))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) (sqrt 2.0)) (cos h0))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) (cbrt 2.0)) (cos h0))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) (sqrt 2.0)) (cos h0))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))
 (* (/ (sqrt (sqrt (+ (exp h1) (exp (- h1))))) (cbrt 2.0)) (cos h0))
 (* (/ (sqrt (sqrt (+ (exp h1) (exp (- h1))))) (sqrt 2.0)) (cos h0))
 (* (/ (sqrt (sqrt (+ (exp h1) (exp (- h1))))) 2.0) (cos h0))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) (cbrt 2.0)) (cos h0))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) (sqrt 2.0)) (cos h0))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))
 (* (/ (sqrt (+ (exp h1) (exp (- h1)))) 2.0) (cos h0))
 (* (/ 1 2.0) (cos h0))
 (* (sqrt (+ (exp h1) (exp (- h1)))) (cos h0))
 (* (exp (exp h1)) (exp (exp (- h1))))
 (log (+ (exp h1) (exp (- h1))))
 (exp (+ (exp h1) (exp (- h1))))
 (* (cbrt (+ (exp h1) (exp (- h1)))) (cbrt (+ (exp h1) (exp (- h1)))))
 (cbrt (+ (exp h1) (exp (- h1))))
 (* (* (+ (exp h1) (exp (- h1))) (+ (exp h1) (exp (- h1)))) (+ (exp h1) (exp (- h1))))
 (sqrt (+ (exp h1) (exp (- h1))))
 (sqrt (+ (exp h1) (exp (- h1))))
 (+ (pow (exp h1) 3) (pow (exp (- h1)) 3))
 (+ (* (exp h1) (exp h1)) (- (* (exp (- h1)) (exp (- h1))) (* (exp h1) (exp (- h1)))))
 (- (* (exp h1) (exp h1)) (* (exp (- h1)) (exp (- h1))))
 (- (exp h1) (exp (- h1)))
 (+ (exp h1) (exp (- h1)))
 (* (exp (exp h1)) (exp (exp (- h1))))
 (log (+ (exp h1) (exp (- h1))))
 (exp (+ (exp h1) (exp (- h1))))
 (* (cbrt (+ (exp h1) (exp (- h1)))) (cbrt (+ (exp h1) (exp (- h1)))))
 (cbrt (+ (exp h1) (exp (- h1))))
 (* (* (+ (exp h1) (exp (- h1))) (+ (exp h1) (exp (- h1)))) (+ (exp h1) (exp (- h1))))
 (sqrt (+ (exp h1) (exp (- h1))))
 (sqrt (+ (exp h1) (exp (- h1))))
 (+ (pow (exp h1) 3) (pow (exp (- h1)) 3))
 (+ (* (exp h1) (exp h1)) (- (* (exp (- h1)) (exp (- h1))) (* (exp h1) (exp (- h1)))))
 (- (* (exp h1) (exp h1)) (* (exp (- h1)) (exp (- h1))))
 (- (exp h1) (exp (- h1)))
 (+ (exp h1) (exp (- h1)))
 (- (+ (* h2 (pow h1 2)) 1.0) (* h2 (pow h0 2)))
 (* h2 (* (+ (exp h1) (exp (- h1))) (cos h0)))
 (* h2 (* (cos h0) (+ (exp (* -1 h1)) (exp h1))))
 (- (+ (* h2 (sqrt 2)) (* h3 (/ (pow h1 2) (sqrt 2)))) (* h3 (* (sqrt 2) (pow h0 2))))
 (* h2 (* (sqrt (+ (exp h1) (exp (- h1)))) (cos h0)))
 (* h2 (* (cos h0) (sqrt (+ (exp (* -1 h1)) (exp h1)))))
 (+ (pow h1 2) (+ (* h4 (pow h1 4)) 2))
 (+ (exp h1) (exp (- h1)))
 (+ (exp (* -1 h1)) (exp h1))
 (+ (pow h1 2) (+ (* h4 (pow h1 4)) 2))
 (+ (exp h1) (exp (- h1)))
 (+ (exp (* -1 h1)) (exp h1))
4.871 * * * [progress]: adding candidates to table
5.443 * [progress]: [Phase 3 of 3] Extracting.
5.443 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))))> #<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))>)
5.444 * * * [regime-changes]: Trying 2 branch expressions: (y x)
5.444 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))))> #<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))>)
5.468 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (/ (sqrt (+ (exp x) (exp (- x)))) 1) (* (/ (sqrt (+ (exp x) (exp (- x)))) 2.0) (cos y))))> #<alt (λ (x y) (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)))>)
5.493 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
5.494 * [simplify]: Simplifying:
  (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y))
5.494 * [simplify]: Sending expressions to egg_math:
 (* (/ (+ (exp h1) (exp (- h1))) 2.0) (cos h0))
25.282 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
25.452 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
25.457 * * * * [points]: Setting MPFR precision to 64
25.458 * * * * [points]: Setting MPFR precision to 320
25.459 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
25.465 * * * * [points]: Setting MPFR precision to 64
25.468 * * * * [points]: Setting MPFR precision to 320
25.471 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
25.476 * * * * [points]: Setting MPFR precision to 64
25.482 * * * * [points]: Setting MPFR precision to 320
25.487 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
25.492 * * * * [points]: Setting MPFR precision to 64
25.503 * * * * [points]: Setting MPFR precision to 320
25.514 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
25.519 * * * * [points]: Setting MPFR precision to 64
25.539 * * * * [points]: Setting MPFR precision to 320
25.563 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
25.568 * * * * [points]: Setting MPFR precision to 64
25.607 * * * * [points]: Setting MPFR precision to 320
25.664 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
25.667 * * * * [points]: Setting MPFR precision to 64
25.713 * * * * [points]: Setting MPFR precision to 320
25.795 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
25.800 * * * * [points]: Setting MPFR precision to 64
26.024 * * * * [points]: Setting MPFR precision to 320
26.188 * * * * [points]: Computing exacts for 8000 points
26.190 * * * * [points]: Setting MPFR precision to 64
26.913 * * * * [points]: Setting MPFR precision to 320
28.174 * * * * [points]: Filtering points with unrepresentable outputs
28.181 * * * * [points]: Sampling 3989 additional inputs, on iter 1 have 4011 / 8000
28.341 * * * * [points]: Computing exacts on every 249 of 3989 points to ramp up precision
28.343 * * * * [points]: Setting MPFR precision to 64
28.344 * * * * [points]: Setting MPFR precision to 320
28.345 * * * * [points]: Computing exacts on every 124 of 3989 points to ramp up precision
28.347 * * * * [points]: Setting MPFR precision to 64
28.349 * * * * [points]: Setting MPFR precision to 320
28.350 * * * * [points]: Computing exacts on every 62 of 3989 points to ramp up precision
28.352 * * * * [points]: Setting MPFR precision to 64
28.355 * * * * [points]: Setting MPFR precision to 320
28.358 * * * * [points]: Computing exacts on every 31 of 3989 points to ramp up precision
28.361 * * * * [points]: Setting MPFR precision to 64
28.366 * * * * [points]: Setting MPFR precision to 320
28.373 * * * * [points]: Computing exacts on every 15 of 3989 points to ramp up precision
28.378 * * * * [points]: Setting MPFR precision to 64
28.397 * * * * [points]: Setting MPFR precision to 320
28.412 * * * * [points]: Computing exacts on every 7 of 3989 points to ramp up precision
28.414 * * * * [points]: Setting MPFR precision to 64
28.473 * * * * [points]: Setting MPFR precision to 320
28.507 * * * * [points]: Computing exacts on every 3 of 3989 points to ramp up precision
28.512 * * * * [points]: Setting MPFR precision to 64
28.591 * * * * [points]: Setting MPFR precision to 320
28.686 * * * * [points]: Computing exacts for 3989 points
28.691 * * * * [points]: Setting MPFR precision to 64
29.106 * * * * [points]: Setting MPFR precision to 320
29.484 * * * * [points]: Setting MPFR precision to 576
30.067 * * * * [points]: Filtering points with unrepresentable outputs
30.073 * * * * [points]: Sampling 1961 additional inputs, on iter 2 have 6039 / 8000
30.124 * * * * [points]: Computing exacts on every 122 of 1961 points to ramp up precision
30.157 * * * * [points]: Setting MPFR precision to 320
30.158 * * * * [points]: Setting MPFR precision to 576
30.159 * * * * [points]: Computing exacts on every 61 of 1961 points to ramp up precision
30.162 * * * * [points]: Setting MPFR precision to 320
30.166 * * * * [points]: Setting MPFR precision to 576
30.168 * * * * [points]: Computing exacts on every 30 of 1961 points to ramp up precision
30.171 * * * * [points]: Setting MPFR precision to 320
30.174 * * * * [points]: Setting MPFR precision to 576
30.178 * * * * [points]: Computing exacts on every 15 of 1961 points to ramp up precision
30.181 * * * * [points]: Setting MPFR precision to 320
30.187 * * * * [points]: Setting MPFR precision to 576
30.197 * * * * [points]: Computing exacts on every 7 of 1961 points to ramp up precision
30.203 * * * * [points]: Setting MPFR precision to 320
30.223 * * * * [points]: Setting MPFR precision to 576
30.247 * * * * [points]: Computing exacts on every 3 of 1961 points to ramp up precision
30.252 * * * * [points]: Setting MPFR precision to 320
30.281 * * * * [points]: Setting MPFR precision to 576
30.351 * * * * [points]: Computing exacts for 1961 points
30.358 * * * * [points]: Setting MPFR precision to 320
30.517 * * * * [points]: Setting MPFR precision to 576
30.802 * * * * [points]: Filtering points with unrepresentable outputs
30.805 * * * * [points]: Sampling 943 additional inputs, on iter 3 have 7057 / 8000
30.834 * * * * [points]: Computing exacts on every 58 of 943 points to ramp up precision
30.840 * * * * [points]: Setting MPFR precision to 320
30.842 * * * * [points]: Setting MPFR precision to 576
30.844 * * * * [points]: Computing exacts on every 29 of 943 points to ramp up precision
30.850 * * * * [points]: Setting MPFR precision to 320
30.853 * * * * [points]: Setting MPFR precision to 576
31.303 * * * * [points]: Computing exacts on every 14 of 943 points to ramp up precision
31.309 * * * * [points]: Setting MPFR precision to 320
31.318 * * * * [points]: Setting MPFR precision to 576
31.326 * * * * [points]: Computing exacts on every 7 of 943 points to ramp up precision
31.332 * * * * [points]: Setting MPFR precision to 320
31.343 * * * * [points]: Setting MPFR precision to 576
31.349 * * * * [points]: Computing exacts on every 3 of 943 points to ramp up precision
31.352 * * * * [points]: Setting MPFR precision to 320
31.364 * * * * [points]: Setting MPFR precision to 576
31.382 * * * * [points]: Computing exacts for 943 points
31.387 * * * * [points]: Setting MPFR precision to 320
31.472 * * * * [points]: Setting MPFR precision to 576
31.569 * * * * [points]: Filtering points with unrepresentable outputs
31.571 * * * * [points]: Sampling 442 additional inputs, on iter 4 have 7558 / 8000
31.584 * * * * [points]: Computing exacts on every 27 of 442 points to ramp up precision
31.589 * * * * [points]: Setting MPFR precision to 320
31.591 * * * * [points]: Setting MPFR precision to 576
31.593 * * * * [points]: Computing exacts on every 13 of 442 points to ramp up precision
31.598 * * * * [points]: Setting MPFR precision to 320
31.602 * * * * [points]: Setting MPFR precision to 576
31.605 * * * * [points]: Computing exacts on every 6 of 442 points to ramp up precision
31.611 * * * * [points]: Setting MPFR precision to 320
31.617 * * * * [points]: Setting MPFR precision to 576
31.624 * * * * [points]: Computing exacts on every 3 of 442 points to ramp up precision
31.630 * * * * [points]: Setting MPFR precision to 320
31.640 * * * * [points]: Setting MPFR precision to 576
31.652 * * * * [points]: Computing exacts for 442 points
31.658 * * * * [points]: Setting MPFR precision to 320
31.698 * * * * [points]: Setting MPFR precision to 576
31.790 * * * * [points]: Filtering points with unrepresentable outputs
31.791 * * * * [points]: Sampling 225 additional inputs, on iter 5 have 7775 / 8000
31.797 * * * * [points]: Computing exacts on every 14 of 225 points to ramp up precision
31.803 * * * * [points]: Setting MPFR precision to 320
31.805 * * * * [points]: Setting MPFR precision to 576
31.806 * * * * [points]: Computing exacts on every 7 of 225 points to ramp up precision
31.812 * * * * [points]: Setting MPFR precision to 320
31.814 * * * * [points]: Setting MPFR precision to 576
31.817 * * * * [points]: Computing exacts on every 3 of 225 points to ramp up precision
31.823 * * * * [points]: Setting MPFR precision to 320
31.828 * * * * [points]: Setting MPFR precision to 576
31.834 * * * * [points]: Computing exacts for 225 points
31.839 * * * * [points]: Setting MPFR precision to 320
31.859 * * * * [points]: Setting MPFR precision to 576
31.872 * * * * [points]: Filtering points with unrepresentable outputs
31.873 * * * * [points]: Sampling 116 additional inputs, on iter 6 have 7884 / 8000
31.875 * * * * [points]: Computing exacts on every 7 of 116 points to ramp up precision
31.878 * * * * [points]: Setting MPFR precision to 320
31.878 * * * * [points]: Setting MPFR precision to 576
31.879 * * * * [points]: Computing exacts on every 3 of 116 points to ramp up precision
31.882 * * * * [points]: Setting MPFR precision to 320
31.884 * * * * [points]: Setting MPFR precision to 576
31.886 * * * * [points]: Computing exacts for 116 points
31.889 * * * * [points]: Setting MPFR precision to 320
31.899 * * * * [points]: Setting MPFR precision to 576
31.940 * * * * [points]: Filtering points with unrepresentable outputs
31.941 * * * * [points]: Sampling 57 additional inputs, on iter 7 have 7943 / 8000
31.942 * * * * [points]: Computing exacts on every 3 of 57 points to ramp up precision
31.948 * * * * [points]: Setting MPFR precision to 320
31.949 * * * * [points]: Setting MPFR precision to 576
31.954 * * * * [points]: Computing exacts for 57 points
31.960 * * * * [points]: Setting MPFR precision to 320
31.965 * * * * [points]: Setting MPFR precision to 576
31.972 * * * * [points]: Filtering points with unrepresentable outputs
31.972 * * * * [points]: Sampling 23 additional inputs, on iter 8 have 7977 / 8000
31.973 * * * * [points]: Computing exacts for 23 points
31.978 * * * * [points]: Setting MPFR precision to 320
31.980 * * * * [points]: Setting MPFR precision to 576
31.982 * * * * [points]: Filtering points with unrepresentable outputs
31.982 * * * * [points]: Sampling 14 additional inputs, on iter 9 have 7986 / 8000
31.983 * * * * [points]: Computing exacts for 14 points
31.988 * * * * [points]: Setting MPFR precision to 320
31.990 * * * * [points]: Setting MPFR precision to 576
31.992 * * * * [points]: Filtering points with unrepresentable outputs
31.992 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000
31.992 * * * * [points]: Computing exacts for 4 points
31.997 * * * * [points]: Setting MPFR precision to 320
31.998 * * * * [points]: Setting MPFR precision to 576
31.998 * * * * [points]: Filtering points with unrepresentable outputs
31.998 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
31.998 * * * * [points]: Computing exacts for 4 points
32.001 * * * * [points]: Setting MPFR precision to 320
32.001 * * * * [points]: Setting MPFR precision to 576
32.001 * * * * [points]: Filtering points with unrepresentable outputs
32.001 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
32.002 * * * * [points]: Computing exacts for 4 points
32.004 * * * * [points]: Setting MPFR precision to 320
32.005 * * * * [points]: Setting MPFR precision to 576
32.005 * * * * [points]: Filtering points with unrepresentable outputs
32.005 * * * * [points]: Sampling 4 additional inputs, on iter 13 have 7999 / 8000
32.005 * * * * [points]: Computing exacts for 4 points
32.008 * * * * [points]: Setting MPFR precision to 320
32.008 * * * * [points]: Setting MPFR precision to 576
32.008 * * * * [points]: Filtering points with unrepresentable outputs
32.008 * * * * [points]: Sampled 8002 points with exact outputs
32.247 * [regime-testing]: Baseline error score: 0.009573120312590146
32.249 * [regime-testing]: Oracle error score: 0.006375
32.253 * [regime-testing]: End program error score: 0.009573120312590146