14.610 * [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.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.007 * * * * [points]: Setting MPFR precision to 64
0.008 * * * * [points]: Setting MPFR precision to 320
0.009 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.014 * * * * [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.026 * * * * [points]: Setting MPFR precision to 320
0.031 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.036 * * * * [points]: Setting MPFR precision to 64
0.044 * * * * [points]: Setting MPFR precision to 320
0.052 * * * * [points]: Computing exacts for 256 points
0.057 * * * * [points]: Setting MPFR precision to 64
0.079 * * * * [points]: Setting MPFR precision to 320
0.106 * * * * [points]: Filtering points with unrepresentable outputs
0.106 * * * * [points]: Sampling 124 additional inputs, on iter 1 have 132 / 256
0.110 * * * * [points]: Computing exacts on every 7 of 124 points to ramp up precision
0.114 * * * * [points]: Setting MPFR precision to 64
0.116 * * * * [points]: Setting MPFR precision to 320
0.118 * * * * [points]: Computing exacts on every 3 of 124 points to ramp up precision
0.123 * * * * [points]: Setting MPFR precision to 64
0.126 * * * * [points]: Setting MPFR precision to 320
0.130 * * * * [points]: Computing exacts for 124 points
0.134 * * * * [points]: Setting MPFR precision to 64
0.168 * * * * [points]: Setting MPFR precision to 320
0.184 * * * * [points]: Filtering points with unrepresentable outputs
0.184 * * * * [points]: Sampling 60 additional inputs, on iter 2 have 196 / 256
0.186 * * * * [points]: Computing exacts on every 3 of 60 points to ramp up precision
0.191 * * * * [points]: Setting MPFR precision to 64
0.193 * * * * [points]: Setting MPFR precision to 320
0.194 * * * * [points]: Computing exacts for 60 points
0.199 * * * * [points]: Setting MPFR precision to 64
0.204 * * * * [points]: Setting MPFR precision to 320
0.209 * * * * [points]: Filtering points with unrepresentable outputs
0.210 * * * * [points]: Sampling 31 additional inputs, on iter 3 have 225 / 256
0.211 * * * * [points]: Computing exacts for 31 points
0.216 * * * * [points]: Setting MPFR precision to 64
0.218 * * * * [points]: Setting MPFR precision to 320
0.222 * * * * [points]: Filtering points with unrepresentable outputs
0.222 * * * * [points]: Sampling 14 additional inputs, on iter 4 have 242 / 256
0.222 * * * * [points]: Computing exacts for 14 points
0.227 * * * * [points]: Setting MPFR precision to 64
0.228 * * * * [points]: Setting MPFR precision to 320
0.230 * * * * [points]: Filtering points with unrepresentable outputs
0.230 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256
0.230 * * * * [points]: Computing exacts for 7 points
0.235 * * * * [points]: Setting MPFR precision to 64
0.236 * * * * [points]: Setting MPFR precision to 320
0.236 * * * * [points]: Filtering points with unrepresentable outputs
0.236 * * * * [points]: Sampling 5 additional inputs, on iter 6 have 251 / 256
0.237 * * * * [points]: Computing exacts for 5 points
0.241 * * * * [points]: Setting MPFR precision to 64
0.242 * * * * [points]: Setting MPFR precision to 320
0.242 * * * * [points]: Filtering points with unrepresentable outputs
0.242 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 255 / 256
0.243 * * * * [points]: Computing exacts for 4 points
0.247 * * * * [points]: Setting MPFR precision to 64
0.247 * * * * [points]: Setting MPFR precision to 320
0.248 * * * * [points]: Filtering points with unrepresentable outputs
0.248 * * * * [points]: Sampled 257 points with exact outputs
0.248 * * * [progress]: [2/2] Setting up program.
0.257 * [progress]: [Phase 2 of 3] Improving.
0.257 * [simplify]: Simplifying:
  (re (complex (* (/ (+ (exp x) (exp (- x))) 2.0) (cos y)) (* (/ (- (exp x) (exp (- x))) 2.0) (sin y))))
0.257 * * [simplify]: iteration 0: 16 enodes
0.263 * * [simplify]: iteration 1: 30 enodes
0.271 * * [simplify]: iteration 2: 48 enodes
0.284 * * [simplify]: iteration 3: 83 enodes
0.308 * * [simplify]: iteration 4: 128 enodes
0.362 * * [simplify]: iteration 5: 247 enodes
0.463 * * [simplify]: iteration 6: 1039 enodes
1.858 * * [simplify]: iteration complete: 5000 enodes
1.858 * * [simplify]: Extracting #0: cost 1 inf + 0
1.859 * * [simplify]: Extracting #1: cost 120 inf + 0
1.861 * * [simplify]: Extracting #2: cost 658 inf + 2
1.866 * * [simplify]: Extracting #3: cost 894 inf + 780
1.875 * * [simplify]: Extracting #4: cost 686 inf + 4522
1.885 * * [simplify]: Extracting #5: cost 317 inf + 9131
1.896 * * [simplify]: Extracting #6: cost 21 inf + 11144
1.905 * * [simplify]: Extracting #7: cost 0 inf + 11288
1.914 * [simplify]: Simplified to:
  (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x)))
1.923 * * [progress]: iteration 1 / 4
1.923 * * * [progress]: picking best candidate
1.930 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x))))>
1.930 * * * [progress]: localizing error
1.959 * * * [progress]: generating rewritten candidates
1.959 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.050 * * * [progress]: generating series expansions
2.050 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.058 * [backup-simplify]: Simplify (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x))) into (* 0.5 (* (+ (exp x) (exp (- x))) (cos y)))
2.058 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in (y x) around 0
2.059 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in x
2.060 * [taylor]: Taking taylor expansion of 0.5 in x
2.060 * [backup-simplify]: Simplify 0.5 into 0.5
2.060 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in x
2.060 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
2.060 * [taylor]: Taking taylor expansion of (exp x) in x
2.060 * [taylor]: Taking taylor expansion of x in x
2.060 * [backup-simplify]: Simplify 0 into 0
2.060 * [backup-simplify]: Simplify 1 into 1
2.061 * [backup-simplify]: Simplify (exp 0) into 1
2.061 * [taylor]: Taking taylor expansion of (exp (- x)) in x
2.061 * [taylor]: Taking taylor expansion of (- x) in x
2.061 * [taylor]: Taking taylor expansion of x in x
2.061 * [backup-simplify]: Simplify 0 into 0
2.061 * [backup-simplify]: Simplify 1 into 1
2.062 * [backup-simplify]: Simplify (- 0) into 0
2.063 * [backup-simplify]: Simplify (- 1) into -1
2.063 * [backup-simplify]: Simplify (exp 0) into 1
2.063 * [taylor]: Taking taylor expansion of (cos y) in x
2.063 * [taylor]: Taking taylor expansion of y in x
2.063 * [backup-simplify]: Simplify y into y
2.063 * [backup-simplify]: Simplify (cos y) into (cos y)
2.063 * [backup-simplify]: Simplify (sin y) into (sin y)
2.063 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in y
2.063 * [taylor]: Taking taylor expansion of 0.5 in y
2.063 * [backup-simplify]: Simplify 0.5 into 0.5
2.064 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y
2.064 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y
2.064 * [taylor]: Taking taylor expansion of (exp x) in y
2.064 * [taylor]: Taking taylor expansion of x in y
2.064 * [backup-simplify]: Simplify x into x
2.064 * [backup-simplify]: Simplify (exp x) into (exp x)
2.064 * [taylor]: Taking taylor expansion of (exp (- x)) in y
2.064 * [taylor]: Taking taylor expansion of (- x) in y
2.064 * [taylor]: Taking taylor expansion of x in y
2.064 * [backup-simplify]: Simplify x into x
2.064 * [backup-simplify]: Simplify (- x) into (- x)
2.064 * [backup-simplify]: Simplify (- x) into (- x)
2.064 * [backup-simplify]: Simplify (exp (- x)) into (exp (- x))
2.064 * [taylor]: Taking taylor expansion of (cos y) in y
2.064 * [taylor]: Taking taylor expansion of y in y
2.064 * [backup-simplify]: Simplify 0 into 0
2.064 * [backup-simplify]: Simplify 1 into 1
2.064 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp x) (exp (- x))) (cos y))) in y
2.064 * [taylor]: Taking taylor expansion of 0.5 in y
2.064 * [backup-simplify]: Simplify 0.5 into 0.5
2.064 * [taylor]: Taking taylor expansion of (* (+ (exp x) (exp (- x))) (cos y)) in y
2.064 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in y
2.064 * [taylor]: Taking taylor expansion of (exp x) in y
2.064 * [taylor]: Taking taylor expansion of x in y
2.064 * [backup-simplify]: Simplify x into x
2.064 * [backup-simplify]: Simplify (exp x) into (exp x)
2.065 * [taylor]: Taking taylor expansion of (exp (- x)) in y
2.065 * [taylor]: Taking taylor expansion of (- x) in y
2.065 * [taylor]: Taking taylor expansion of x in y
2.065 * [backup-simplify]: Simplify x into x
2.065 * [backup-simplify]: Simplify (- x) into (- x)
2.065 * [backup-simplify]: Simplify (- x) into (- x)
2.065 * [backup-simplify]: Simplify (exp (- x)) into (exp (- x))
2.065 * [taylor]: Taking taylor expansion of (cos y) in y
2.065 * [taylor]: Taking taylor expansion of y in y
2.065 * [backup-simplify]: Simplify 0 into 0
2.065 * [backup-simplify]: Simplify 1 into 1
2.066 * [backup-simplify]: Simplify (+ (exp x) (exp (- x))) into (+ (exp x) (exp (- x)))
2.066 * [backup-simplify]: Simplify (* (+ (exp x) (exp (- x))) 1) into (+ (exp x) (exp (- x)))
2.066 * [backup-simplify]: Simplify (* 0.5 (+ (exp x) (exp (- x)))) into (* 0.5 (+ (exp x) (exp (- x))))
2.067 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp x) (exp (- x)))) in x
2.067 * [taylor]: Taking taylor expansion of 0.5 in x
2.067 * [backup-simplify]: Simplify 0.5 into 0.5
2.067 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
2.067 * [taylor]: Taking taylor expansion of (exp x) in x
2.067 * [taylor]: Taking taylor expansion of x in x
2.067 * [backup-simplify]: Simplify 0 into 0
2.067 * [backup-simplify]: Simplify 1 into 1
2.067 * [backup-simplify]: Simplify (exp 0) into 1
2.067 * [taylor]: Taking taylor expansion of (exp (- x)) in x
2.067 * [taylor]: Taking taylor expansion of (- x) in x
2.067 * [taylor]: Taking taylor expansion of x in x
2.067 * [backup-simplify]: Simplify 0 into 0
2.067 * [backup-simplify]: Simplify 1 into 1
2.068 * [backup-simplify]: Simplify (- 0) into 0
2.068 * [backup-simplify]: Simplify (- 1) into -1
2.068 * [backup-simplify]: Simplify (exp 0) into 1
2.069 * [backup-simplify]: Simplify (+ 1 1) into 2
2.069 * [backup-simplify]: Simplify (* 0.5 2) into 1.0
2.069 * [backup-simplify]: Simplify 1.0 into 1.0
2.071 * [backup-simplify]: Simplify (+ 0) into 0
2.072 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 1) 1)))) into 0
2.072 * [backup-simplify]: Simplify (- x) into (- x)
2.072 * [backup-simplify]: Simplify (- 0) into 0
2.073 * [backup-simplify]: Simplify (* (exp (- x)) (+ (* (/ (pow 0 1) 1)))) into 0
2.073 * [backup-simplify]: Simplify (+ 0 0) into 0
2.074 * [backup-simplify]: Simplify (+ (* (+ (exp x) (exp (- x))) 0) (* 0 1)) into 0
2.075 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (+ (exp x) (exp (- x))))) into 0
2.075 * [taylor]: Taking taylor expansion of 0 in x
2.075 * [backup-simplify]: Simplify 0 into 0
2.075 * [backup-simplify]: Simplify 0 into 0
2.076 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.076 * [backup-simplify]: Simplify (- 1) into -1
2.078 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
2.078 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.079 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 2)) into 0
2.079 * [backup-simplify]: Simplify 0 into 0
2.080 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
2.081 * [backup-simplify]: Simplify (* (exp x) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.082 * [backup-simplify]: Simplify (- x) into (- x)
2.082 * [backup-simplify]: Simplify (- 0) into 0
2.082 * [backup-simplify]: Simplify (- 0) into 0
2.084 * [backup-simplify]: Simplify (* (exp (- x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.084 * [backup-simplify]: Simplify (+ 0 0) into 0
2.085 * [backup-simplify]: Simplify (+ (* (+ (exp x) (exp (- x))) -1/2) (+ (* 0 0) (* 0 1))) into (- (+ (* 1/2 (exp x)) (* 1/2 (exp (- x)))))
2.085 * [backup-simplify]: Simplify (+ (* 0.5 (- (+ (* 1/2 (exp x)) (* 1/2 (exp (- x)))))) (+ (* 0 0) (* 0 (+ (exp x) (exp (- x)))))) into (- (+ (* 0.25 (exp x)) (* 0.25 (exp (- x)))))
2.085 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (exp x)) (* 0.25 (exp (- x))))) in x
2.086 * [taylor]: Taking taylor expansion of (+ (* 0.25 (exp x)) (* 0.25 (exp (- x)))) in x
2.086 * [taylor]: Taking taylor expansion of (* 0.25 (exp x)) in x
2.086 * [taylor]: Taking taylor expansion of 0.25 in x
2.086 * [backup-simplify]: Simplify 0.25 into 0.25
2.086 * [taylor]: Taking taylor expansion of (exp x) in x
2.086 * [taylor]: Taking taylor expansion of x in x
2.086 * [backup-simplify]: Simplify 0 into 0
2.086 * [backup-simplify]: Simplify 1 into 1
2.086 * [backup-simplify]: Simplify (exp 0) into 1
2.086 * [taylor]: Taking taylor expansion of (* 0.25 (exp (- x))) in x
2.086 * [taylor]: Taking taylor expansion of 0.25 in x
2.086 * [backup-simplify]: Simplify 0.25 into 0.25
2.086 * [taylor]: Taking taylor expansion of (exp (- x)) in x
2.086 * [taylor]: Taking taylor expansion of (- x) in x
2.086 * [taylor]: Taking taylor expansion of x in x
2.086 * [backup-simplify]: Simplify 0 into 0
2.086 * [backup-simplify]: Simplify 1 into 1
2.086 * [backup-simplify]: Simplify (- 0) into 0
2.086 * [backup-simplify]: Simplify (- 1) into -1
2.086 * [backup-simplify]: Simplify (exp 0) into 1
2.087 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
2.087 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
2.087 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5
2.087 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.088 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.088 * [backup-simplify]: Simplify 0 into 0
2.089 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.089 * [backup-simplify]: Simplify (- 1) into -1
2.089 * [backup-simplify]: Simplify (- 0) into 0
2.090 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.091 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
2.092 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 0) (* 0 2))) into 0.5
2.092 * [backup-simplify]: Simplify 0.5 into 0.5
2.092 * [backup-simplify]: Simplify (+ (* 0.5 (pow (* x 1) 2)) (+ (* (- 0.5) (pow (* 1 y) 2)) 1.0)) into (- (+ (* 0.5 (pow x 2)) 1.0) (* 0.5 (pow y 2)))
2.093 * [backup-simplify]: Simplify (* (/ (cos (/ 1 y)) 2.0) (+ (exp (- (/ 1 x))) (exp (/ 1 x)))) into (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
2.093 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (y x) around 0
2.093 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
2.093 * [taylor]: Taking taylor expansion of 0.5 in x
2.093 * [backup-simplify]: Simplify 0.5 into 0.5
2.093 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
2.093 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
2.093 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.093 * [taylor]: Taking taylor expansion of y in x
2.093 * [backup-simplify]: Simplify y into y
2.093 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.093 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.093 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
2.093 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
2.093 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.093 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.093 * [taylor]: Taking taylor expansion of x in x
2.093 * [backup-simplify]: Simplify 0 into 0
2.093 * [backup-simplify]: Simplify 1 into 1
2.094 * [backup-simplify]: Simplify (/ 1 1) into 1
2.094 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.094 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
2.094 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
2.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.094 * [taylor]: Taking taylor expansion of x in x
2.094 * [backup-simplify]: Simplify 0 into 0
2.094 * [backup-simplify]: Simplify 1 into 1
2.094 * [backup-simplify]: Simplify (/ 1 1) into 1
2.094 * [backup-simplify]: Simplify (- 1) into -1
2.094 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
2.094 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
2.094 * [taylor]: Taking taylor expansion of 0.5 in y
2.094 * [backup-simplify]: Simplify 0.5 into 0.5
2.094 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
2.094 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.095 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.095 * [taylor]: Taking taylor expansion of y in y
2.095 * [backup-simplify]: Simplify 0 into 0
2.095 * [backup-simplify]: Simplify 1 into 1
2.095 * [backup-simplify]: Simplify (/ 1 1) into 1
2.095 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.095 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
2.095 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
2.095 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.095 * [taylor]: Taking taylor expansion of x in y
2.095 * [backup-simplify]: Simplify x into x
2.095 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.095 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.095 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
2.095 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
2.095 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.095 * [taylor]: Taking taylor expansion of x in y
2.095 * [backup-simplify]: Simplify x into x
2.095 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.095 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.096 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.096 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
2.096 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in y
2.096 * [taylor]: Taking taylor expansion of 0.5 in y
2.096 * [backup-simplify]: Simplify 0.5 into 0.5
2.096 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in y
2.096 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
2.096 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.096 * [taylor]: Taking taylor expansion of y in y
2.096 * [backup-simplify]: Simplify 0 into 0
2.096 * [backup-simplify]: Simplify 1 into 1
2.096 * [backup-simplify]: Simplify (/ 1 1) into 1
2.096 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.096 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in y
2.096 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
2.096 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.096 * [taylor]: Taking taylor expansion of x in y
2.096 * [backup-simplify]: Simplify x into x
2.096 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.096 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.096 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in y
2.096 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y
2.096 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.096 * [taylor]: Taking taylor expansion of x in y
2.096 * [backup-simplify]: Simplify x into x
2.096 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.096 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.096 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.096 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
2.097 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
2.097 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
2.097 * [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))))))
2.097 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
2.097 * [taylor]: Taking taylor expansion of 0.5 in x
2.097 * [backup-simplify]: Simplify 0.5 into 0.5
2.097 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
2.097 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
2.097 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.097 * [taylor]: Taking taylor expansion of y in x
2.097 * [backup-simplify]: Simplify y into y
2.097 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.097 * [backup-simplify]: Simplify (cos (/ 1 y)) into (cos (/ 1 y))
2.097 * [backup-simplify]: Simplify (sin (/ 1 y)) into (sin (/ 1 y))
2.097 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
2.097 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.097 * [taylor]: Taking taylor expansion of x in x
2.097 * [backup-simplify]: Simplify 0 into 0
2.097 * [backup-simplify]: Simplify 1 into 1
2.098 * [backup-simplify]: Simplify (/ 1 1) into 1
2.098 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.098 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
2.098 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
2.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.098 * [taylor]: Taking taylor expansion of x in x
2.098 * [backup-simplify]: Simplify 0 into 0
2.098 * [backup-simplify]: Simplify 1 into 1
2.098 * [backup-simplify]: Simplify (/ 1 1) into 1
2.098 * [backup-simplify]: Simplify (- 1) into -1
2.098 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
2.098 * [backup-simplify]: Simplify (* (cos (/ 1 y)) 1) into (cos (/ 1 y))
2.099 * [backup-simplify]: Simplify (* (sin (/ 1 y)) 0) into 0
2.099 * [backup-simplify]: Simplify (- 0) into 0
2.099 * [backup-simplify]: Simplify (+ (cos (/ 1 y)) 0) into (cos (/ 1 y))
2.099 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
2.099 * [backup-simplify]: Simplify (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
2.099 * [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))))))
2.099 * [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))))))
2.100 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.100 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
2.100 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.100 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.101 * [backup-simplify]: Simplify (- 0) into 0
2.101 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (+ (* (/ (pow 0 1) 1)))) into 0
2.101 * [backup-simplify]: Simplify (+ 0 0) into 0
2.101 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into 0
2.102 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
2.102 * [taylor]: Taking taylor expansion of 0 in x
2.102 * [backup-simplify]: Simplify 0 into 0
2.102 * [backup-simplify]: Simplify 0 into 0
2.103 * [backup-simplify]: Simplify (+ 0 0) into 0
2.103 * [backup-simplify]: Simplify (+ 0) into 0
2.103 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 1)) into 0
2.104 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.104 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.105 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (* 0 0)) into 0
2.105 * [backup-simplify]: Simplify (- 0) into 0
2.105 * [backup-simplify]: Simplify (+ 0 0) into 0
2.105 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into 0
2.106 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
2.106 * [backup-simplify]: Simplify 0 into 0
2.106 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.107 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.107 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.107 * [backup-simplify]: Simplify (- 0) into 0
2.107 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.107 * [backup-simplify]: Simplify (- 0) into 0
2.108 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.109 * [backup-simplify]: Simplify (+ 0 0) into 0
2.109 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
2.110 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
2.110 * [taylor]: Taking taylor expansion of 0 in x
2.110 * [backup-simplify]: Simplify 0 into 0
2.110 * [backup-simplify]: Simplify 0 into 0
2.110 * [backup-simplify]: Simplify 0 into 0
2.110 * [backup-simplify]: Simplify (+ 0 0) into 0
2.111 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.111 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
2.111 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.112 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.112 * [backup-simplify]: Simplify (+ (* (sin (/ 1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
2.112 * [backup-simplify]: Simplify (- 0) into 0
2.113 * [backup-simplify]: Simplify (+ 0 0) into 0
2.113 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into 0
2.114 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
2.114 * [backup-simplify]: Simplify 0 into 0
2.114 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.115 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.115 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
2.115 * [backup-simplify]: Simplify (- 0) into 0
2.116 * [backup-simplify]: Simplify (- 0) into 0
2.116 * [backup-simplify]: Simplify (- 0) into 0
2.116 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.116 * [backup-simplify]: Simplify (- 0) into 0
2.117 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.117 * [backup-simplify]: Simplify (+ 0 0) into 0
2.118 * [backup-simplify]: Simplify (+ (* (cos (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
2.119 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 y)) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))))) into 0
2.119 * [taylor]: Taking taylor expansion of 0 in x
2.119 * [backup-simplify]: Simplify 0 into 0
2.119 * [backup-simplify]: Simplify 0 into 0
2.119 * [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)))
2.119 * [backup-simplify]: Simplify (* (/ (cos (/ 1 (- y))) 2.0) (+ (exp (- (/ 1 (- x)))) (exp (/ 1 (- x))))) into (* 0.5 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))))
2.119 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))) in (y x) around 0
2.119 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))) in x
2.119 * [taylor]: Taking taylor expansion of 0.5 in x
2.119 * [backup-simplify]: Simplify 0.5 into 0.5
2.119 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))) in x
2.119 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
2.119 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.119 * [taylor]: Taking taylor expansion of x in x
2.119 * [backup-simplify]: Simplify 0 into 0
2.119 * [backup-simplify]: Simplify 1 into 1
2.120 * [backup-simplify]: Simplify (/ 1 1) into 1
2.120 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.120 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.120 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.120 * [taylor]: Taking taylor expansion of -1 in x
2.120 * [backup-simplify]: Simplify -1 into -1
2.120 * [taylor]: Taking taylor expansion of x in x
2.120 * [backup-simplify]: Simplify 0 into 0
2.120 * [backup-simplify]: Simplify 1 into 1
2.120 * [backup-simplify]: Simplify (/ -1 1) into -1
2.120 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.120 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
2.120 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.120 * [taylor]: Taking taylor expansion of -1 in x
2.120 * [backup-simplify]: Simplify -1 into -1
2.120 * [taylor]: Taking taylor expansion of y in x
2.120 * [backup-simplify]: Simplify y into y
2.120 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
2.120 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.121 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
2.121 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))) in y
2.121 * [taylor]: Taking taylor expansion of 0.5 in y
2.121 * [backup-simplify]: Simplify 0.5 into 0.5
2.121 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))) in y
2.121 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
2.121 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
2.121 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.121 * [taylor]: Taking taylor expansion of x in y
2.121 * [backup-simplify]: Simplify x into x
2.121 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.121 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.121 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
2.121 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.121 * [taylor]: Taking taylor expansion of -1 in y
2.121 * [backup-simplify]: Simplify -1 into -1
2.121 * [taylor]: Taking taylor expansion of x in y
2.121 * [backup-simplify]: Simplify x into x
2.121 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.121 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.121 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.121 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.121 * [taylor]: Taking taylor expansion of -1 in y
2.121 * [backup-simplify]: Simplify -1 into -1
2.121 * [taylor]: Taking taylor expansion of y in y
2.121 * [backup-simplify]: Simplify 0 into 0
2.121 * [backup-simplify]: Simplify 1 into 1
2.121 * [backup-simplify]: Simplify (/ -1 1) into -1
2.121 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.121 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))) in y
2.121 * [taylor]: Taking taylor expansion of 0.5 in y
2.121 * [backup-simplify]: Simplify 0.5 into 0.5
2.121 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))) in y
2.121 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in y
2.121 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
2.121 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.121 * [taylor]: Taking taylor expansion of x in y
2.121 * [backup-simplify]: Simplify x into x
2.121 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.122 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.122 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
2.122 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.122 * [taylor]: Taking taylor expansion of -1 in y
2.122 * [backup-simplify]: Simplify -1 into -1
2.122 * [taylor]: Taking taylor expansion of x in y
2.122 * [backup-simplify]: Simplify x into x
2.122 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
2.122 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.122 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
2.122 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.122 * [taylor]: Taking taylor expansion of -1 in y
2.122 * [backup-simplify]: Simplify -1 into -1
2.122 * [taylor]: Taking taylor expansion of y in y
2.122 * [backup-simplify]: Simplify 0 into 0
2.122 * [backup-simplify]: Simplify 1 into 1
2.122 * [backup-simplify]: Simplify (/ -1 1) into -1
2.122 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.122 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
2.122 * [backup-simplify]: Simplify (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))) into (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))
2.123 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))) into (* 0.5 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))))
2.123 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))) in x
2.123 * [taylor]: Taking taylor expansion of 0.5 in x
2.123 * [backup-simplify]: Simplify 0.5 into 0.5
2.123 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))) in x
2.123 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
2.123 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.123 * [taylor]: Taking taylor expansion of x in x
2.123 * [backup-simplify]: Simplify 0 into 0
2.123 * [backup-simplify]: Simplify 1 into 1
2.123 * [backup-simplify]: Simplify (/ 1 1) into 1
2.123 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.123 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.123 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.123 * [taylor]: Taking taylor expansion of -1 in x
2.123 * [backup-simplify]: Simplify -1 into -1
2.123 * [taylor]: Taking taylor expansion of x in x
2.123 * [backup-simplify]: Simplify 0 into 0
2.123 * [backup-simplify]: Simplify 1 into 1
2.123 * [backup-simplify]: Simplify (/ -1 1) into -1
2.123 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.123 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
2.123 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.123 * [taylor]: Taking taylor expansion of -1 in x
2.124 * [backup-simplify]: Simplify -1 into -1
2.124 * [taylor]: Taking taylor expansion of y in x
2.124 * [backup-simplify]: Simplify y into y
2.124 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
2.124 * [backup-simplify]: Simplify (cos (/ -1 y)) into (cos (/ -1 y))
2.124 * [backup-simplify]: Simplify (sin (/ -1 y)) into (sin (/ -1 y))
2.124 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
2.124 * [backup-simplify]: Simplify (* (cos (/ -1 y)) 1) into (cos (/ -1 y))
2.124 * [backup-simplify]: Simplify (* (sin (/ -1 y)) 0) into 0
2.124 * [backup-simplify]: Simplify (- 0) into 0
2.124 * [backup-simplify]: Simplify (+ (cos (/ -1 y)) 0) into (cos (/ -1 y))
2.124 * [backup-simplify]: Simplify (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))) into (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))
2.124 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))) into (* 0.5 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))))
2.125 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))) into (* 0.5 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))))
2.125 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
2.125 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
2.125 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
2.126 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 1) 1)))) into 0
2.126 * [backup-simplify]: Simplify (+ 0 0) into 0
2.126 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (exp (/ -1 x))) 0) (* 0 (cos (/ -1 y)))) into 0
2.127 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))))) into 0
2.127 * [taylor]: Taking taylor expansion of 0 in x
2.127 * [backup-simplify]: Simplify 0 into 0
2.127 * [backup-simplify]: Simplify 0 into 0
2.127 * [backup-simplify]: Simplify (+ 0) into 0
2.127 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (* 0 1)) into 0
2.127 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
2.128 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.128 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (* 0 0)) into 0
2.129 * [backup-simplify]: Simplify (- 0) into 0
2.129 * [backup-simplify]: Simplify (+ 0 0) into 0
2.129 * [backup-simplify]: Simplify (+ 0 0) into 0
2.130 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (exp (/ -1 x))) 0) (* 0 (cos (/ -1 y)))) into 0
2.130 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))))) into 0
2.130 * [backup-simplify]: Simplify 0 into 0
2.131 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.132 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.132 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.133 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
2.134 * [backup-simplify]: Simplify (+ 0 0) into 0
2.134 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (exp (/ -1 x))) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
2.135 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))))) into 0
2.135 * [taylor]: Taking taylor expansion of 0 in x
2.135 * [backup-simplify]: Simplify 0 into 0
2.135 * [backup-simplify]: Simplify 0 into 0
2.135 * [backup-simplify]: Simplify 0 into 0
2.136 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.137 * [backup-simplify]: Simplify (+ (* (cos (/ -1 y)) 0) (+ (* 0 0) (* 0 1))) into 0
2.137 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.138 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.138 * [backup-simplify]: Simplify (+ (* (sin (/ -1 y)) 0) (+ (* 0 0) (* 0 0))) into 0
2.139 * [backup-simplify]: Simplify (- 0) into 0
2.139 * [backup-simplify]: Simplify (+ 0 0) into 0
2.139 * [backup-simplify]: Simplify (+ 0 0) into 0
2.140 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (exp (/ -1 x))) 0) (+ (* 0 0) (* 0 (cos (/ -1 y))))) into 0
2.141 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y)))))) into 0
2.141 * [backup-simplify]: Simplify 0 into 0
2.141 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.143 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.143 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
2.145 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
2.145 * [backup-simplify]: Simplify (+ 0 0) into 0
2.146 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 x)) (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 y)))))) into 0
2.148 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (/ 1 x)) (exp (/ -1 x))) (cos (/ -1 y))))))) into 0
2.148 * [taylor]: Taking taylor expansion of 0 in x
2.148 * [backup-simplify]: Simplify 0 into 0
2.148 * [backup-simplify]: Simplify 0 into 0
2.148 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))) (cos (/ -1 (/ 1 (- y)))))) into (* 0.5 (* (+ (exp (* -1 x)) (exp x)) (cos y)))
2.148 * * * [progress]: simplifying candidates
2.150 * [simplify]: Simplifying:
  (expm1 (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x))))
  (log1p (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x))))
  (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x)))
  (+ (- (log (cos y)) (log 2.0)) (log (+ (exp (- x)) (exp x))))
  (+ (log (/ (cos y) 2.0)) (log (+ (exp (- x)) (exp x))))
  (log (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x))))
  (exp (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x))))
  (* (/ (* (* (cos y) (cos y)) (cos y)) (* (* 2.0 2.0) 2.0)) (* (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (+ (exp (- x)) (exp x))))
  (* (* (* (/ (cos y) 2.0) (/ (cos y) 2.0)) (/ (cos y) 2.0)) (* (* (+ (exp (- x)) (exp x)) (+ (exp (- x)) (exp x))) (+ (exp (- x)) (exp x))))
  (* (cbrt (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x)))) (cbrt (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x)))))
  (cbrt (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x))))
  (* (* (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x))) (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x)))) (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x))))
  (sqrt (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x))))
  (sqrt (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x))))
  (* (cos y) (+ (pow (exp (- x)) 3) (pow (exp x) 3)))
  (* 2.0 (+ (* (exp (- x)) (exp (- x))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp x)))))
  (* (cos y) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp x))))
  (* 2.0 (- (exp (- x)) (exp x)))
  (* (sqrt (/ (cos y) 2.0)) (sqrt (+ (exp (- x)) (exp x))))
  (* (sqrt (/ (cos y) 2.0)) (sqrt (+ (exp (- x)) (exp x))))
  (* (/ (sqrt (cos y)) (sqrt 2.0)) (sqrt (+ (exp (- x)) (exp x))))
  (* (/ (sqrt (cos y)) (sqrt 2.0)) (sqrt (+ (exp (- x)) (exp x))))
  (* (/ (cos y) 2.0) (exp (- x)))
  (* (/ (cos y) 2.0) (exp x))
  (* (exp (- x)) (/ (cos y) 2.0))
  (* (exp x) (/ (cos y) 2.0))
  (* (/ (cos y) 2.0) (* (cbrt (+ (exp (- x)) (exp x))) (cbrt (+ (exp (- x)) (exp x)))))
  (* (/ (cos y) 2.0) (sqrt (+ (exp (- x)) (exp x))))
  (* (/ (cos y) 2.0) 1)
  (* (/ (cos y) 2.0) 1)
  (* (cbrt (/ (cos y) 2.0)) (+ (exp (- x)) (exp x)))
  (* (sqrt (/ (cos y) 2.0)) (+ (exp (- x)) (exp x)))
  (* (/ (cbrt (cos y)) (cbrt 2.0)) (+ (exp (- x)) (exp x)))
  (* (/ (cbrt (cos y)) (sqrt 2.0)) (+ (exp (- x)) (exp x)))
  (* (/ (cbrt (cos y)) 2.0) (+ (exp (- x)) (exp x)))
  (* (/ (sqrt (cos y)) (cbrt 2.0)) (+ (exp (- x)) (exp x)))
  (* (/ (sqrt (cos y)) (sqrt 2.0)) (+ (exp (- x)) (exp x)))
  (* (/ (sqrt (cos y)) 2.0) (+ (exp (- x)) (exp x)))
  (* (/ (cos y) (cbrt 2.0)) (+ (exp (- x)) (exp x)))
  (* (/ (cos y) (sqrt 2.0)) (+ (exp (- x)) (exp x)))
  (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x)))
  (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x)))
  (* (/ 1 2.0) (+ (exp (- x)) (exp x)))
  (* (/ (cos y) 2.0) (+ (pow (exp (- x)) 3) (pow (exp x) 3)))
  (* (/ (cos y) 2.0) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp x))))
  (* (cos y) (+ (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 (* (+ (exp (* -1 x)) (exp x)) (cos y)))
2.152 * * [simplify]: iteration 0: 112 enodes
2.203 * * [simplify]: iteration 1: 401 enodes
2.492 * * [simplify]: iteration 2: 2336 enodes
3.886 * * [simplify]: iteration complete: 5002 enodes
3.886 * * [simplify]: Extracting #0: cost 36 inf + 0
3.887 * * [simplify]: Extracting #1: cost 536 inf + 0
3.892 * * [simplify]: Extracting #2: cost 1453 inf + 124
3.898 * * [simplify]: Extracting #3: cost 1415 inf + 2347
3.904 * * [simplify]: Extracting #4: cost 458 inf + 10361
3.916 * * [simplify]: Extracting #5: cost 21 inf + 16023
3.922 * * [simplify]: Extracting #6: cost 0 inf + 16295
3.928 * [simplify]: Simplified to:
  (expm1 (* (+ (exp x) (exp (- x))) (/ (cos y) 2.0)))
  (log1p (* (+ (exp x) (exp (- x))) (/ (cos y) 2.0)))
  (* (+ (exp x) (exp (- x))) (/ (cos y) 2.0))
  (log (* (+ (exp x) (exp (- x))) (/ (cos y) 2.0)))
  (log (* (+ (exp x) (exp (- x))) (/ (cos y) 2.0)))
  (log (* (+ (exp x) (exp (- x))) (/ (cos y) 2.0)))
  (exp (* (+ (exp x) (exp (- x))) (/ (cos y) 2.0)))
  (pow (* (+ (exp x) (exp (- x))) (/ (cos y) 2.0)) 3)
  (pow (* (+ (exp x) (exp (- x))) (/ (cos y) 2.0)) 3)
  (* (cbrt (* (+ (exp x) (exp (- x))) (/ (cos y) 2.0))) (cbrt (* (+ (exp x) (exp (- x))) (/ (cos y) 2.0))))
  (cbrt (* (+ (exp x) (exp (- x))) (/ (cos y) 2.0)))
  (pow (* (+ (exp x) (exp (- x))) (/ (cos y) 2.0)) 3)
  (sqrt (* (+ (exp x) (exp (- x))) (/ (cos y) 2.0)))
  (sqrt (* (+ (exp x) (exp (- x))) (/ (cos y) 2.0)))
  (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (cos y))
  (* 2.0 (+ (expm1 (+ x x)) (pow (exp x) -2)))
  (* (cos y) (- (pow (exp x) -2) (exp (+ x x))))
  (* 2.0 (- (exp (- x)) (exp x)))
  (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (/ (cos y) 2.0)))
  (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (/ (cos y) 2.0)))
  (* (/ (sqrt (cos y)) (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x)))))
  (* (/ (sqrt (cos y)) (sqrt 2.0)) (sqrt (+ (exp x) (exp (- x)))))
  (/ (/ (cos y) 2.0) (exp x))
  (/ (exp x) (/ 2.0 (cos y)))
  (/ (/ (cos y) 2.0) (exp x))
  (/ (exp x) (/ 2.0 (cos y)))
  (* (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (/ (cos y) 2.0))
  (* (sqrt (+ (exp x) (exp (- x)))) (/ (cos y) 2.0))
  (/ (cos y) 2.0)
  (/ (cos y) 2.0)
  (* (cbrt (/ (cos y) 2.0)) (+ (exp x) (exp (- x))))
  (* (+ (exp x) (exp (- x))) (sqrt (/ (cos y) 2.0)))
  (* (/ (cbrt (cos y)) (cbrt 2.0)) (+ (exp x) (exp (- x))))
  (* (+ (exp x) (exp (- x))) (/ (cbrt (cos y)) (sqrt 2.0)))
  (/ (cbrt (cos y)) (/ 2.0 (+ (exp x) (exp (- x)))))
  (* (+ (exp x) (exp (- x))) (/ (sqrt (cos y)) (cbrt 2.0)))
  (/ (* (sqrt (cos y)) (+ (exp x) (exp (- x)))) (sqrt 2.0))
  (* (+ (exp x) (exp (- x))) (/ (sqrt (cos y)) 2.0))
  (/ (* (+ (exp x) (exp (- x))) (cos y)) (cbrt 2.0))
  (* (+ (exp x) (exp (- x))) (/ (cos y) (sqrt 2.0)))
  (* (+ (exp x) (exp (- x))) (/ (cos y) 2.0))
  (* (+ (exp x) (exp (- x))) (/ (cos y) 2.0))
  (/ (+ (exp x) (exp (- x))) 2.0)
  (/ (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (cos y)) 2.0)
  (/ (* (cos y) (- (pow (exp x) -2) (exp (+ x x)))) 2.0)
  (* (+ (exp x) (exp (- x))) (cos y))
  (fma (* y y) (- 0.5) (fma (* 0.5 x) x 1.0))
  (* 0.5 (* (+ (exp x) (exp (- x))) (cos y)))
  (* 0.5 (* (+ (exp x) (exp (- x))) (cos y)))
3.929 * * * [progress]: adding candidates to table
4.159 * * [progress]: iteration 2 / 4
4.159 * * * [progress]: picking best candidate
4.168 * * * * [pick]: Picked  #<alt (λ (x y) (/ (/ (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (cos y)) 2.0) (+ (* (exp (- x)) (exp (- x))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp x))))))>
4.168 * * * [progress]: localizing error
4.214 * * * [progress]: generating rewritten candidates
4.214 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
4.240 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
4.254 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
4.306 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
4.315 * * * [progress]: generating series expansions
4.315 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
4.315 * [backup-simplify]: Simplify (- (* (exp x) (exp x)) (* (exp (- x)) (exp x))) into (- (pow (exp x) 2) (* (exp x) (exp (- x))))
4.315 * [approximate]: Taking taylor expansion of (- (pow (exp x) 2) (* (exp x) (exp (- x)))) in (x) around 0
4.315 * [taylor]: Taking taylor expansion of (- (pow (exp x) 2) (* (exp x) (exp (- x)))) in x
4.315 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
4.315 * [taylor]: Taking taylor expansion of (exp x) in x
4.315 * [taylor]: Taking taylor expansion of x in x
4.315 * [backup-simplify]: Simplify 0 into 0
4.315 * [backup-simplify]: Simplify 1 into 1
4.315 * [backup-simplify]: Simplify (exp 0) into 1
4.315 * [taylor]: Taking taylor expansion of (* (exp x) (exp (- x))) in x
4.315 * [taylor]: Taking taylor expansion of (exp x) in x
4.316 * [taylor]: Taking taylor expansion of x in x
4.316 * [backup-simplify]: Simplify 0 into 0
4.316 * [backup-simplify]: Simplify 1 into 1
4.316 * [backup-simplify]: Simplify (exp 0) into 1
4.316 * [taylor]: Taking taylor expansion of (exp (- x)) in x
4.316 * [taylor]: Taking taylor expansion of (- x) in x
4.316 * [taylor]: Taking taylor expansion of x in x
4.316 * [backup-simplify]: Simplify 0 into 0
4.316 * [backup-simplify]: Simplify 1 into 1
4.316 * [backup-simplify]: Simplify (- 0) into 0
4.317 * [backup-simplify]: Simplify (- 1) into -1
4.317 * [backup-simplify]: Simplify (exp 0) into 1
4.317 * [taylor]: Taking taylor expansion of (- (pow (exp x) 2) (* (exp x) (exp (- x)))) in x
4.317 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
4.317 * [taylor]: Taking taylor expansion of (exp x) in x
4.317 * [taylor]: Taking taylor expansion of x in x
4.317 * [backup-simplify]: Simplify 0 into 0
4.317 * [backup-simplify]: Simplify 1 into 1
4.317 * [backup-simplify]: Simplify (exp 0) into 1
4.317 * [taylor]: Taking taylor expansion of (* (exp x) (exp (- x))) in x
4.317 * [taylor]: Taking taylor expansion of (exp x) in x
4.317 * [taylor]: Taking taylor expansion of x in x
4.317 * [backup-simplify]: Simplify 0 into 0
4.317 * [backup-simplify]: Simplify 1 into 1
4.317 * [backup-simplify]: Simplify (exp 0) into 1
4.317 * [taylor]: Taking taylor expansion of (exp (- x)) in x
4.317 * [taylor]: Taking taylor expansion of (- x) in x
4.317 * [taylor]: Taking taylor expansion of x in x
4.317 * [backup-simplify]: Simplify 0 into 0
4.317 * [backup-simplify]: Simplify 1 into 1
4.317 * [backup-simplify]: Simplify (- 0) into 0
4.317 * [backup-simplify]: Simplify (- 1) into -1
4.317 * [backup-simplify]: Simplify (exp 0) into 1
4.318 * [backup-simplify]: Simplify (* 1 1) into 1
4.318 * [backup-simplify]: Simplify (* 1 1) into 1
4.319 * [backup-simplify]: Simplify (- 1) into -1
4.319 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.319 * [backup-simplify]: Simplify 0 into 0
4.319 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.320 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
4.320 * [backup-simplify]: Simplify (- 1) into -1
4.321 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
4.321 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.322 * [backup-simplify]: Simplify (+ (* 1 -1) (* 1 1)) into 0
4.322 * [backup-simplify]: Simplify (- 0) into 0
4.322 * [backup-simplify]: Simplify (+ 2 0) into 2
4.322 * [backup-simplify]: Simplify 2 into 2
4.323 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.324 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
4.324 * [backup-simplify]: Simplify (- 1) into -1
4.324 * [backup-simplify]: Simplify (- 0) into 0
4.325 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.326 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.327 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 -1) (* 1/2 1))) into 0
4.328 * [backup-simplify]: Simplify (- 0) into 0
4.328 * [backup-simplify]: Simplify (+ 2 0) into 2
4.328 * [backup-simplify]: Simplify 2 into 2
4.329 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
4.330 * [backup-simplify]: Simplify (+ (* 1 1/6) (+ (* 1 1/2) (+ (* 1/2 1) (* 1/6 1)))) into 4/3
4.330 * [backup-simplify]: Simplify (- 1) into -1
4.331 * [backup-simplify]: Simplify (- 1) into -1
4.331 * [backup-simplify]: Simplify (- 0) into 0
4.331 * [backup-simplify]: Simplify (- 0) into 0
4.332 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
4.334 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
4.335 * [backup-simplify]: Simplify (+ (* 1 -1/6) (+ (* 1 1/2) (+ (* 1/2 -1) (* 1/6 1)))) into 0
4.335 * [backup-simplify]: Simplify (- 0) into 0
4.335 * [backup-simplify]: Simplify (+ 4/3 0) into 4/3
4.335 * [backup-simplify]: Simplify 4/3 into 4/3
4.336 * [backup-simplify]: Simplify (+ (* 4/3 (pow x 3)) (+ (* 2 (pow x 2)) (* 2 x))) into (+ (* 2 x) (+ (* 4/3 (pow x 3)) (* 2 (pow x 2))))
4.336 * [backup-simplify]: Simplify (- (* (exp (/ 1 x)) (exp (/ 1 x))) (* (exp (- (/ 1 x))) (exp (/ 1 x)))) into (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x)))))
4.336 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
4.336 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
4.336 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
4.336 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.336 * [taylor]: Taking taylor expansion of x in x
4.336 * [backup-simplify]: Simplify 0 into 0
4.336 * [backup-simplify]: Simplify 1 into 1
4.337 * [backup-simplify]: Simplify (/ 1 1) into 1
4.337 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.337 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
4.337 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.337 * [taylor]: Taking taylor expansion of x in x
4.337 * [backup-simplify]: Simplify 0 into 0
4.337 * [backup-simplify]: Simplify 1 into 1
4.337 * [backup-simplify]: Simplify (/ 1 1) into 1
4.337 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.337 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
4.337 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
4.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.337 * [taylor]: Taking taylor expansion of x in x
4.337 * [backup-simplify]: Simplify 0 into 0
4.337 * [backup-simplify]: Simplify 1 into 1
4.337 * [backup-simplify]: Simplify (/ 1 1) into 1
4.338 * [backup-simplify]: Simplify (- 1) into -1
4.338 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
4.338 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
4.338 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
4.338 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.338 * [taylor]: Taking taylor expansion of x in x
4.338 * [backup-simplify]: Simplify 0 into 0
4.338 * [backup-simplify]: Simplify 1 into 1
4.338 * [backup-simplify]: Simplify (/ 1 1) into 1
4.338 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.338 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
4.338 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.338 * [taylor]: Taking taylor expansion of x in x
4.338 * [backup-simplify]: Simplify 0 into 0
4.338 * [backup-simplify]: Simplify 1 into 1
4.339 * [backup-simplify]: Simplify (/ 1 1) into 1
4.339 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.339 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
4.339 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
4.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.339 * [taylor]: Taking taylor expansion of x in x
4.339 * [backup-simplify]: Simplify 0 into 0
4.339 * [backup-simplify]: Simplify 1 into 1
4.339 * [backup-simplify]: Simplify (/ 1 1) into 1
4.339 * [backup-simplify]: Simplify (- 1) into -1
4.339 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
4.339 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
4.340 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (- (/ 1 x)))) into (* (exp (/ 1 x)) (exp (- (/ 1 x))))
4.340 * [backup-simplify]: Simplify (- (* (exp (/ 1 x)) (exp (- (/ 1 x))))) into (- (* (exp (/ 1 x)) (exp (- (/ 1 x)))))
4.340 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 x)) 2) (- (* (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x)))))
4.340 * [backup-simplify]: Simplify (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x))))) into (- (pow (exp (/ 1 x)) 2) (* (exp (/ 1 x)) (exp (- (/ 1 x)))))
4.340 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
4.340 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (- (/ 1 x))))) into 0
4.341 * [backup-simplify]: Simplify (- 0) into 0
4.341 * [backup-simplify]: Simplify (+ 0 0) into 0
4.341 * [backup-simplify]: Simplify 0 into 0
4.341 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
4.342 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))) into 0
4.342 * [backup-simplify]: Simplify (- 0) into 0
4.342 * [backup-simplify]: Simplify (+ 0 0) into 0
4.342 * [backup-simplify]: Simplify 0 into 0
4.343 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
4.343 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x))))))) into 0
4.344 * [backup-simplify]: Simplify (- 0) into 0
4.344 * [backup-simplify]: Simplify (+ 0 0) into 0
4.344 * [backup-simplify]: Simplify 0 into 0
4.346 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
4.347 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))))) into 0
4.348 * [backup-simplify]: Simplify (- 0) into 0
4.348 * [backup-simplify]: Simplify (+ 0 0) into 0
4.348 * [backup-simplify]: Simplify 0 into 0
4.350 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
4.352 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x))))))))) into 0
4.352 * [backup-simplify]: Simplify (- 0) into 0
4.353 * [backup-simplify]: Simplify (+ 0 0) into 0
4.353 * [backup-simplify]: Simplify 0 into 0
4.355 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
4.356 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))))))) into 0
4.356 * [backup-simplify]: Simplify (- 0) into 0
4.357 * [backup-simplify]: Simplify (+ 0 0) into 0
4.357 * [backup-simplify]: Simplify 0 into 0
4.357 * [backup-simplify]: Simplify (- (pow (exp (/ 1 (/ 1 x))) 2) (* (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (- (pow (exp x) 2) (* (exp x) (exp (- x))))
4.357 * [backup-simplify]: Simplify (- (* (exp (/ 1 (- x))) (exp (/ 1 (- x)))) (* (exp (- (/ 1 (- x)))) (exp (/ 1 (- x))))) into (- (pow (exp (/ -1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x))))
4.357 * [approximate]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
4.357 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x)))) in x
4.357 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
4.357 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.357 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.357 * [taylor]: Taking taylor expansion of -1 in x
4.357 * [backup-simplify]: Simplify -1 into -1
4.357 * [taylor]: Taking taylor expansion of x in x
4.357 * [backup-simplify]: Simplify 0 into 0
4.357 * [backup-simplify]: Simplify 1 into 1
4.358 * [backup-simplify]: Simplify (/ -1 1) into -1
4.358 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.358 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ -1 x))) in x
4.358 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.358 * [taylor]: Taking taylor expansion of x in x
4.358 * [backup-simplify]: Simplify 0 into 0
4.358 * [backup-simplify]: Simplify 1 into 1
4.361 * [backup-simplify]: Simplify (/ 1 1) into 1
4.361 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.361 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.361 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.361 * [taylor]: Taking taylor expansion of -1 in x
4.361 * [backup-simplify]: Simplify -1 into -1
4.361 * [taylor]: Taking taylor expansion of x in x
4.361 * [backup-simplify]: Simplify 0 into 0
4.361 * [backup-simplify]: Simplify 1 into 1
4.362 * [backup-simplify]: Simplify (/ -1 1) into -1
4.362 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.362 * [taylor]: Taking taylor expansion of (- (pow (exp (/ -1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x)))) in x
4.362 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
4.362 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.362 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.362 * [taylor]: Taking taylor expansion of -1 in x
4.362 * [backup-simplify]: Simplify -1 into -1
4.362 * [taylor]: Taking taylor expansion of x in x
4.362 * [backup-simplify]: Simplify 0 into 0
4.362 * [backup-simplify]: Simplify 1 into 1
4.362 * [backup-simplify]: Simplify (/ -1 1) into -1
4.362 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.363 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ -1 x))) in x
4.363 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.363 * [taylor]: Taking taylor expansion of x in x
4.363 * [backup-simplify]: Simplify 0 into 0
4.363 * [backup-simplify]: Simplify 1 into 1
4.363 * [backup-simplify]: Simplify (/ 1 1) into 1
4.363 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.363 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.363 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.363 * [taylor]: Taking taylor expansion of -1 in x
4.363 * [backup-simplify]: Simplify -1 into -1
4.363 * [taylor]: Taking taylor expansion of x in x
4.363 * [backup-simplify]: Simplify 0 into 0
4.363 * [backup-simplify]: Simplify 1 into 1
4.363 * [backup-simplify]: Simplify (/ -1 1) into -1
4.363 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.364 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
4.364 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ -1 x))) into (* (exp (/ 1 x)) (exp (/ -1 x)))
4.364 * [backup-simplify]: Simplify (- (* (exp (/ 1 x)) (exp (/ -1 x)))) into (- (* (exp (/ 1 x)) (exp (/ -1 x))))
4.364 * [backup-simplify]: Simplify (+ (pow (exp (/ -1 x)) 2) (- (* (exp (/ 1 x)) (exp (/ -1 x))))) into (- (pow (exp (/ -1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x))))
4.364 * [backup-simplify]: Simplify (- (pow (exp (/ -1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x)))) into (- (pow (exp (/ -1 x)) 2) (* (exp (/ 1 x)) (exp (/ -1 x))))
4.364 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
4.364 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
4.365 * [backup-simplify]: Simplify (- 0) into 0
4.365 * [backup-simplify]: Simplify (+ 0 0) into 0
4.365 * [backup-simplify]: Simplify 0 into 0
4.365 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
4.366 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
4.366 * [backup-simplify]: Simplify (- 0) into 0
4.366 * [backup-simplify]: Simplify (+ 0 0) into 0
4.366 * [backup-simplify]: Simplify 0 into 0
4.367 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
4.367 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
4.368 * [backup-simplify]: Simplify (- 0) into 0
4.368 * [backup-simplify]: Simplify (+ 0 0) into 0
4.368 * [backup-simplify]: Simplify 0 into 0
4.369 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
4.369 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
4.370 * [backup-simplify]: Simplify (- 0) into 0
4.370 * [backup-simplify]: Simplify (+ 0 0) into 0
4.370 * [backup-simplify]: Simplify 0 into 0
4.371 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
4.372 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
4.372 * [backup-simplify]: Simplify (- 0) into 0
4.372 * [backup-simplify]: Simplify (+ 0 0) into 0
4.372 * [backup-simplify]: Simplify 0 into 0
4.374 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
4.375 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
4.375 * [backup-simplify]: Simplify (- 0) into 0
4.375 * [backup-simplify]: Simplify (+ 0 0) into 0
4.375 * [backup-simplify]: Simplify 0 into 0
4.376 * [backup-simplify]: Simplify (- (pow (exp (/ -1 (/ 1 (- x)))) 2) (* (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (- (pow (exp x) 2) (* (exp (* -1 x)) (exp x)))
4.376 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
4.376 * [backup-simplify]: Simplify (pow (exp (- x)) 3) into (pow (exp (- x)) 3)
4.376 * [approximate]: Taking taylor expansion of (pow (exp (- x)) 3) in (x) around 0
4.376 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x
4.376 * [taylor]: Taking taylor expansion of (exp (- x)) in x
4.376 * [taylor]: Taking taylor expansion of (- x) in x
4.376 * [taylor]: Taking taylor expansion of x in x
4.376 * [backup-simplify]: Simplify 0 into 0
4.376 * [backup-simplify]: Simplify 1 into 1
4.376 * [backup-simplify]: Simplify (- 0) into 0
4.377 * [backup-simplify]: Simplify (- 1) into -1
4.377 * [backup-simplify]: Simplify (exp 0) into 1
4.377 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x
4.377 * [taylor]: Taking taylor expansion of (exp (- x)) in x
4.377 * [taylor]: Taking taylor expansion of (- x) in x
4.377 * [taylor]: Taking taylor expansion of x in x
4.377 * [backup-simplify]: Simplify 0 into 0
4.377 * [backup-simplify]: Simplify 1 into 1
4.377 * [backup-simplify]: Simplify (- 0) into 0
4.377 * [backup-simplify]: Simplify (- 1) into -1
4.377 * [backup-simplify]: Simplify (exp 0) into 1
4.378 * [backup-simplify]: Simplify (* 1 1) into 1
4.378 * [backup-simplify]: Simplify (* 1 1) into 1
4.378 * [backup-simplify]: Simplify 1 into 1
4.378 * [backup-simplify]: Simplify (- 1) into -1
4.379 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
4.379 * [backup-simplify]: Simplify (+ (* 1 -1) (* -1 1)) into -2
4.380 * [backup-simplify]: Simplify (+ (* 1 -2) (* -1 1)) into -3
4.380 * [backup-simplify]: Simplify -3 into -3
4.380 * [backup-simplify]: Simplify (- 1) into -1
4.380 * [backup-simplify]: Simplify (- 0) into 0
4.381 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.382 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* -1 -1) (* 1/2 1))) into 2
4.382 * [backup-simplify]: Simplify (+ (* 1 2) (+ (* -1 -2) (* 1/2 1))) into 9/2
4.382 * [backup-simplify]: Simplify 9/2 into 9/2
4.383 * [backup-simplify]: Simplify (+ (* 9/2 (pow x 2)) (+ (* -3 x) 1)) into (- (+ (* 9/2 (pow x 2)) 1) (* 3 x))
4.383 * [backup-simplify]: Simplify (pow (exp (- (/ 1 x))) 3) into (pow (exp (- (/ 1 x))) 3)
4.383 * [approximate]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in (x) around 0
4.383 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x
4.383 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
4.383 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
4.383 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.383 * [taylor]: Taking taylor expansion of x in x
4.383 * [backup-simplify]: Simplify 0 into 0
4.383 * [backup-simplify]: Simplify 1 into 1
4.383 * [backup-simplify]: Simplify (/ 1 1) into 1
4.383 * [backup-simplify]: Simplify (- 1) into -1
4.383 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
4.384 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x
4.384 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
4.384 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
4.384 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.384 * [taylor]: Taking taylor expansion of x in x
4.384 * [backup-simplify]: Simplify 0 into 0
4.384 * [backup-simplify]: Simplify 1 into 1
4.384 * [backup-simplify]: Simplify (/ 1 1) into 1
4.384 * [backup-simplify]: Simplify (- 1) into -1
4.384 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
4.384 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (exp (- (/ 1 x)))) into (pow (exp (- (/ 1 x))) 2)
4.384 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (pow (exp (- (/ 1 x))) 2)) into (pow (exp (- (/ 1 x))) 3)
4.385 * [backup-simplify]: Simplify (pow (exp (- (/ 1 x))) 3) into (pow (exp (- (/ 1 x))) 3)
4.385 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (* 0 (exp (- (/ 1 x))))) into 0
4.385 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (* 0 (pow (exp (- (/ 1 x))) 2))) into 0
4.385 * [backup-simplify]: Simplify 0 into 0
4.385 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))) into 0
4.386 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 x))) 2)))) into 0
4.386 * [backup-simplify]: Simplify 0 into 0
4.386 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x))))))) into 0
4.387 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 x))) 2))))) into 0
4.387 * [backup-simplify]: Simplify 0 into 0
4.388 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))))) into 0
4.389 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 x))) 2)))))) into 0
4.389 * [backup-simplify]: Simplify 0 into 0
4.391 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x))))))))) into 0
4.393 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 x))) 2))))))) into 0
4.393 * [backup-simplify]: Simplify 0 into 0
4.395 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))))))) into 0
4.397 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 x))) 2)))))))) into 0
4.397 * [backup-simplify]: Simplify 0 into 0
4.397 * [backup-simplify]: Simplify (pow (exp (- (/ 1 (/ 1 x)))) 3) into (pow (exp (- x)) 3)
4.397 * [backup-simplify]: Simplify (pow (exp (- (/ 1 (- x)))) 3) into (pow (exp (/ 1 x)) 3)
4.397 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0
4.397 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
4.397 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.397 * [taylor]: Taking taylor expansion of x in x
4.397 * [backup-simplify]: Simplify 0 into 0
4.397 * [backup-simplify]: Simplify 1 into 1
4.398 * [backup-simplify]: Simplify (/ 1 1) into 1
4.398 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.398 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
4.398 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.398 * [taylor]: Taking taylor expansion of x in x
4.398 * [backup-simplify]: Simplify 0 into 0
4.398 * [backup-simplify]: Simplify 1 into 1
4.398 * [backup-simplify]: Simplify (/ 1 1) into 1
4.398 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.399 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
4.399 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (pow (exp (/ 1 x)) 2)) into (pow (exp (/ 1 x)) 3)
4.399 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 3) into (pow (exp (/ 1 x)) 3)
4.399 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
4.400 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (pow (exp (/ 1 x)) 2))) into 0
4.400 * [backup-simplify]: Simplify 0 into 0
4.400 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
4.401 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))) into 0
4.401 * [backup-simplify]: Simplify 0 into 0
4.402 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
4.403 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))) into 0
4.403 * [backup-simplify]: Simplify 0 into 0
4.404 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
4.405 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))) into 0
4.405 * [backup-simplify]: Simplify 0 into 0
4.406 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
4.407 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))))) into 0
4.407 * [backup-simplify]: Simplify 0 into 0
4.408 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
4.409 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))))) into 0
4.409 * [backup-simplify]: Simplify 0 into 0
4.410 * [backup-simplify]: Simplify (pow (exp (/ 1 (/ 1 (- x)))) 3) into (pow (exp (* -1 x)) 3)
4.410 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
4.410 * [backup-simplify]: Simplify (* (exp (- x)) (exp (- x))) into (pow (exp (- x)) 2)
4.410 * [approximate]: Taking taylor expansion of (pow (exp (- x)) 2) in (x) around 0
4.410 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x
4.410 * [taylor]: Taking taylor expansion of (exp (- x)) in x
4.410 * [taylor]: Taking taylor expansion of (- x) in x
4.410 * [taylor]: Taking taylor expansion of x in x
4.410 * [backup-simplify]: Simplify 0 into 0
4.410 * [backup-simplify]: Simplify 1 into 1
4.410 * [backup-simplify]: Simplify (- 0) into 0
4.410 * [backup-simplify]: Simplify (- 1) into -1
4.410 * [backup-simplify]: Simplify (exp 0) into 1
4.410 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x
4.410 * [taylor]: Taking taylor expansion of (exp (- x)) in x
4.410 * [taylor]: Taking taylor expansion of (- x) in x
4.410 * [taylor]: Taking taylor expansion of x in x
4.410 * [backup-simplify]: Simplify 0 into 0
4.410 * [backup-simplify]: Simplify 1 into 1
4.411 * [backup-simplify]: Simplify (- 0) into 0
4.411 * [backup-simplify]: Simplify (- 1) into -1
4.411 * [backup-simplify]: Simplify (exp 0) into 1
4.411 * [backup-simplify]: Simplify (* 1 1) into 1
4.411 * [backup-simplify]: Simplify 1 into 1
4.411 * [backup-simplify]: Simplify (- 1) into -1
4.412 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
4.412 * [backup-simplify]: Simplify (+ (* 1 -1) (* -1 1)) into -2
4.413 * [backup-simplify]: Simplify -2 into -2
4.413 * [backup-simplify]: Simplify (- 1) into -1
4.413 * [backup-simplify]: Simplify (- 0) into 0
4.414 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.415 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* -1 -1) (* 1/2 1))) into 2
4.415 * [backup-simplify]: Simplify 2 into 2
4.415 * [backup-simplify]: Simplify (+ (* 2 (pow x 2)) (+ (* -2 x) 1)) into (- (+ (* 2 (pow x 2)) 1) (* 2 x))
4.415 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (exp (- (/ 1 x)))) into (pow (exp (- (/ 1 x))) 2)
4.415 * [approximate]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in (x) around 0
4.415 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x
4.415 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
4.415 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
4.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.415 * [taylor]: Taking taylor expansion of x in x
4.415 * [backup-simplify]: Simplify 0 into 0
4.415 * [backup-simplify]: Simplify 1 into 1
4.415 * [backup-simplify]: Simplify (/ 1 1) into 1
4.415 * [backup-simplify]: Simplify (- 1) into -1
4.416 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
4.416 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x
4.416 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
4.416 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
4.416 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.416 * [taylor]: Taking taylor expansion of x in x
4.416 * [backup-simplify]: Simplify 0 into 0
4.416 * [backup-simplify]: Simplify 1 into 1
4.416 * [backup-simplify]: Simplify (/ 1 1) into 1
4.416 * [backup-simplify]: Simplify (- 1) into -1
4.416 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
4.416 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (exp (- (/ 1 x)))) into (pow (exp (- (/ 1 x))) 2)
4.416 * [backup-simplify]: Simplify (pow (exp (- (/ 1 x))) 2) into (pow (exp (- (/ 1 x))) 2)
4.417 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (* 0 (exp (- (/ 1 x))))) into 0
4.417 * [backup-simplify]: Simplify 0 into 0
4.417 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))) into 0
4.417 * [backup-simplify]: Simplify 0 into 0
4.418 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x))))))) into 0
4.418 * [backup-simplify]: Simplify 0 into 0
4.418 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))))) into 0
4.418 * [backup-simplify]: Simplify 0 into 0
4.420 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x))))))))) into 0
4.420 * [backup-simplify]: Simplify 0 into 0
4.421 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))))))) into 0
4.421 * [backup-simplify]: Simplify 0 into 0
4.421 * [backup-simplify]: Simplify (pow (exp (- (/ 1 (/ 1 x)))) 2) into (pow (exp (- x)) 2)
4.421 * [backup-simplify]: Simplify (* (exp (- (/ 1 (- x)))) (exp (- (/ 1 (- x))))) into (pow (exp (/ 1 x)) 2)
4.421 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0
4.421 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
4.421 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.421 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.421 * [taylor]: Taking taylor expansion of x in x
4.421 * [backup-simplify]: Simplify 0 into 0
4.421 * [backup-simplify]: Simplify 1 into 1
4.422 * [backup-simplify]: Simplify (/ 1 1) into 1
4.422 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.422 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
4.422 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.422 * [taylor]: Taking taylor expansion of x in x
4.422 * [backup-simplify]: Simplify 0 into 0
4.422 * [backup-simplify]: Simplify 1 into 1
4.422 * [backup-simplify]: Simplify (/ 1 1) into 1
4.422 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.422 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
4.422 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 2) into (pow (exp (/ 1 x)) 2)
4.422 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
4.422 * [backup-simplify]: Simplify 0 into 0
4.423 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
4.423 * [backup-simplify]: Simplify 0 into 0
4.423 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
4.423 * [backup-simplify]: Simplify 0 into 0
4.424 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
4.424 * [backup-simplify]: Simplify 0 into 0
4.425 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
4.425 * [backup-simplify]: Simplify 0 into 0
4.426 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
4.426 * [backup-simplify]: Simplify 0 into 0
4.427 * [backup-simplify]: Simplify (pow (exp (/ 1 (/ 1 (- x)))) 2) into (pow (exp (* -1 x)) 2)
4.427 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
4.427 * [backup-simplify]: Simplify (pow (exp x) 3) into (pow (exp x) 3)
4.427 * [approximate]: Taking taylor expansion of (pow (exp x) 3) in (x) around 0
4.427 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
4.427 * [taylor]: Taking taylor expansion of (exp x) in x
4.427 * [taylor]: Taking taylor expansion of x in x
4.427 * [backup-simplify]: Simplify 0 into 0
4.427 * [backup-simplify]: Simplify 1 into 1
4.427 * [backup-simplify]: Simplify (exp 0) into 1
4.427 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
4.427 * [taylor]: Taking taylor expansion of (exp x) in x
4.427 * [taylor]: Taking taylor expansion of x in x
4.427 * [backup-simplify]: Simplify 0 into 0
4.427 * [backup-simplify]: Simplify 1 into 1
4.427 * [backup-simplify]: Simplify (exp 0) into 1
4.427 * [backup-simplify]: Simplify (* 1 1) into 1
4.427 * [backup-simplify]: Simplify (* 1 1) into 1
4.427 * [backup-simplify]: Simplify 1 into 1
4.428 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.428 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
4.429 * [backup-simplify]: Simplify (+ (* 1 2) (* 1 1)) into 3
4.429 * [backup-simplify]: Simplify 3 into 3
4.430 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.430 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
4.431 * [backup-simplify]: Simplify (+ (* 1 2) (+ (* 1 2) (* 1/2 1))) into 9/2
4.431 * [backup-simplify]: Simplify 9/2 into 9/2
4.431 * [backup-simplify]: Simplify (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) into (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
4.431 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 3) into (pow (exp (/ 1 x)) 3)
4.431 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0
4.431 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
4.431 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.431 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.431 * [taylor]: Taking taylor expansion of x in x
4.431 * [backup-simplify]: Simplify 0 into 0
4.431 * [backup-simplify]: Simplify 1 into 1
4.431 * [backup-simplify]: Simplify (/ 1 1) into 1
4.431 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.431 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
4.432 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.432 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.432 * [taylor]: Taking taylor expansion of x in x
4.432 * [backup-simplify]: Simplify 0 into 0
4.432 * [backup-simplify]: Simplify 1 into 1
4.432 * [backup-simplify]: Simplify (/ 1 1) into 1
4.432 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.432 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
4.432 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (pow (exp (/ 1 x)) 2)) into (pow (exp (/ 1 x)) 3)
4.433 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 3) into (pow (exp (/ 1 x)) 3)
4.433 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
4.433 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (pow (exp (/ 1 x)) 2))) into 0
4.433 * [backup-simplify]: Simplify 0 into 0
4.434 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
4.434 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))) into 0
4.434 * [backup-simplify]: Simplify 0 into 0
4.435 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
4.436 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))) into 0
4.437 * [backup-simplify]: Simplify 0 into 0
4.438 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
4.439 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))) into 0
4.439 * [backup-simplify]: Simplify 0 into 0
4.441 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
4.443 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))))) into 0
4.443 * [backup-simplify]: Simplify 0 into 0
4.445 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
4.447 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))))) into 0
4.447 * [backup-simplify]: Simplify 0 into 0
4.447 * [backup-simplify]: Simplify (pow (exp (/ 1 (/ 1 x))) 3) into (pow (exp x) 3)
4.448 * [backup-simplify]: Simplify (pow (exp (/ 1 (- x))) 3) into (pow (exp (/ -1 x)) 3)
4.448 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0
4.448 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
4.448 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.448 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.448 * [taylor]: Taking taylor expansion of -1 in x
4.448 * [backup-simplify]: Simplify -1 into -1
4.448 * [taylor]: Taking taylor expansion of x in x
4.448 * [backup-simplify]: Simplify 0 into 0
4.448 * [backup-simplify]: Simplify 1 into 1
4.448 * [backup-simplify]: Simplify (/ -1 1) into -1
4.448 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.448 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
4.448 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.448 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.448 * [taylor]: Taking taylor expansion of -1 in x
4.448 * [backup-simplify]: Simplify -1 into -1
4.448 * [taylor]: Taking taylor expansion of x in x
4.448 * [backup-simplify]: Simplify 0 into 0
4.448 * [backup-simplify]: Simplify 1 into 1
4.448 * [backup-simplify]: Simplify (/ -1 1) into -1
4.449 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.449 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
4.449 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (pow (exp (/ -1 x)) 2)) into (pow (exp (/ -1 x)) 3)
4.449 * [backup-simplify]: Simplify (pow (exp (/ -1 x)) 3) into (pow (exp (/ -1 x)) 3)
4.449 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
4.449 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (pow (exp (/ -1 x)) 2))) into 0
4.449 * [backup-simplify]: Simplify 0 into 0
4.450 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
4.450 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))) into 0
4.450 * [backup-simplify]: Simplify 0 into 0
4.451 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
4.451 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))) into 0
4.451 * [backup-simplify]: Simplify 0 into 0
4.452 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
4.453 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))) into 0
4.453 * [backup-simplify]: Simplify 0 into 0
4.454 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
4.455 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))))) into 0
4.455 * [backup-simplify]: Simplify 0 into 0
4.456 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
4.457 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))))) into 0
4.458 * [backup-simplify]: Simplify 0 into 0
4.458 * [backup-simplify]: Simplify (pow (exp (/ -1 (/ 1 (- x)))) 3) into (pow (exp x) 3)
4.458 * * * [progress]: simplifying candidates
4.460 * [simplify]: Simplifying:
  (fma (exp x) (exp x) (- (* (exp x) (exp (- x)))))
  (fma (- (exp x)) (exp (- x)) (* (exp x) (exp (- x))))
  (expm1 (- (* (exp x) (exp x)) (* (exp (- x)) (exp x))))
  (log1p (- (* (exp x) (exp x)) (* (exp (- x)) (exp x))))
  (- (* (exp (- x)) (exp x)))
  (/ (exp (* (exp x) (exp x))) (exp (* (exp (- x)) (exp x))))
  (log (- (* (exp x) (exp x)) (* (exp (- x)) (exp x))))
  (exp (- (* (exp x) (exp x)) (* (exp (- x)) (exp x))))
  (* (cbrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp x)))) (cbrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp x)))))
  (cbrt (- (* (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))))
  (sqrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp x))))
  (sqrt (- (* (exp x) (exp x)) (* (exp (- x)) (exp x))))
  (- (pow (* (exp x) (exp x)) 3) (pow (* (exp (- x)) (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)) (* (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)))
  (expm1 (pow (exp (- x)) 3))
  (log1p (pow (exp (- x)) 3))
  (* (- x) 3)
  (* (log (exp (- x))) 3)
  (* 1 3)
  (* (cbrt (- x)) 3)
  (* (sqrt (- x)) 3)
  (* (- x) 3)
  (* x 3)
  (* (cbrt x) 3)
  (* (sqrt x) 3)
  (* x 3)
  (* (- (cbrt x)) 3)
  (* (- (sqrt x)) 3)
  (* (- x) 3)
  (pow (exp (- x)) (* (cbrt 3) (cbrt 3)))
  (pow (exp (- x)) (sqrt 3))
  (pow (exp (- x)) 1)
  (pow (* (cbrt (exp (- x))) (cbrt (exp (- x)))) 3)
  (pow (cbrt (exp (- x))) 3)
  (pow (sqrt (exp (- x))) 3)
  (pow (sqrt (exp (- x))) 3)
  (pow 1 3)
  (pow (exp (- x)) 3)
  (* (exp (- x)) (exp (- x)))
  (log (pow (exp (- x)) 3))
  (exp (pow (exp (- x)) 3))
  (* (cbrt (pow (exp (- x)) 3)) (cbrt (pow (exp (- x)) 3)))
  (cbrt (pow (exp (- x)) 3))
  (* (* (pow (exp (- x)) 3) (pow (exp (- x)) 3)) (pow (exp (- x)) 3))
  (pow (* (cbrt (exp (- x))) (cbrt (exp (- x)))) 3)
  (pow (cbrt (exp (- x))) 3)
  (pow (sqrt (exp (- x))) 3)
  (pow (sqrt (exp (- x))) 3)
  (pow 1 3)
  (pow (exp (- x)) 3)
  (pow 1 3)
  (pow (exp x) 3)
  (pow (exp 0) 3)
  (pow (exp x) 3)
  (* (exp (- x)) (exp (- x)))
  (sqrt (pow (exp (- x)) 3))
  (sqrt (pow (exp (- x)) 3))
  (pow (exp (- x)) (/ 3 2))
  (pow (exp (- x)) (/ 3 2))
  (expm1 (* (exp (- x)) (exp (- x))))
  (log1p (* (exp (- x)) (exp (- x))))
  (+ 1 1)
  (+ (cbrt (- x)) (cbrt (- x)))
  (+ (sqrt (- x)) (sqrt (- x)))
  (+ (- x) (- x))
  (+ (- x) (- x))
  (+ x x)
  (+ (cbrt x) (cbrt x))
  (+ (sqrt x) (sqrt x))
  (+ x x)
  (+ (- (cbrt x)) (- (cbrt x)))
  (+ (- (sqrt x)) (- (sqrt x)))
  (+ (- x) (- x))
  (+ (- x) (- x))
  (* (exp (- x)) (exp (- x)))
  (* (exp (* (cbrt (- x)) (cbrt (- x)))) (exp (* (cbrt (- x)) (cbrt (- x)))))
  (* (exp (sqrt (- x))) (exp (sqrt (- x))))
  (* (exp 1) (exp 1))
  (* (exp 1) (exp 1))
  (* (exp -1) (exp -1))
  (* (exp -1) (exp (- 1)))
  (* (exp (- (* (cbrt x) (cbrt x)))) (exp (- (* (cbrt x) (cbrt x)))))
  (* (exp (- (sqrt x))) (exp (- (sqrt x))))
  (* (exp (- 1)) (exp -1))
  (* (exp (- 1)) (exp (- 1)))
  (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x))))
  (* (exp (sqrt x)) (exp (sqrt x)))
  (* (exp 1) (exp 1))
  (* (exp 1) (exp 1))
  (+ 1 1)
  (+ (- x) (- x))
  (log (* (exp (- x)) (exp (- x))))
  (exp (* (exp (- x)) (exp (- x))))
  (* (* (* (exp (- x)) (exp (- x))) (exp (- x))) (* (* (exp (- x)) (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))))
  (* 1 1)
  (* (exp x) (exp x))
  (* 1 (exp 0))
  (* (exp x) (exp x))
  (* (exp 0) 1)
  (* (exp x) (exp x))
  (* (exp 0) (exp 0))
  (* (exp x) (exp x))
  (* (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))
  (* (cbrt (exp (- x))) (cbrt (exp (- x))))
  (* (sqrt (exp (- x))) (sqrt (exp (- x))))
  (* (sqrt (exp (- x))) (sqrt (exp (- x))))
  (* 1 1)
  (* (exp (- x)) (exp (- x)))
  (* (sqrt (exp (- x))) (sqrt (exp (- x))))
  (* (sqrt (exp (- x))) (sqrt (exp (- x))))
  (* 2 1)
  (* 2 (cbrt (- x)))
  (* 2 (sqrt (- x)))
  (* 2 (- x))
  (* 2 (- x))
  (* 2 x)
  (* 2 (cbrt x))
  (* 2 (sqrt x))
  (* 2 x)
  (* 2 (- (cbrt x)))
  (* 2 (- (sqrt x)))
  (* 2 (- x))
  (* 2 (- x))
  (* (exp (- x)) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))
  (* (exp (- x)) (sqrt (exp (- x))))
  (* (exp (- x)) 1)
  (* (cbrt (exp (- x))) (exp (- x)))
  (* (sqrt (exp (- x))) (exp (- x)))
  (* (exp (- x)) (exp (- x)))
  (* (exp (- x)) 1)
  (* (exp (- x)) (exp 0))
  (* 1 (exp (- x)))
  (* (exp 0) (exp (- x)))
  (expm1 (pow (exp x) 3))
  (log1p (pow (exp x) 3))
  (* x 3)
  (* (log (exp x)) 3)
  (* 1 3)
  (* (cbrt x) 3)
  (* (sqrt x) 3)
  (* x 3)
  (pow (exp x) (* (cbrt 3) (cbrt 3)))
  (pow (exp x) (sqrt 3))
  (pow (exp x) 1)
  (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
  (pow (cbrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow 1 3)
  (pow (exp x) 3)
  (* (exp x) (exp x))
  (log (pow (exp x) 3))
  (exp (pow (exp x) 3))
  (* (cbrt (pow (exp x) 3)) (cbrt (pow (exp x) 3)))
  (cbrt (pow (exp x) 3))
  (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))
  (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
  (pow (cbrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow 1 3)
  (pow (exp x) 3)
  (* (exp x) (exp x))
  (sqrt (pow (exp x) 3))
  (sqrt (pow (exp x) 3))
  (pow (exp x) (/ 3 2))
  (pow (exp x) (/ 3 2))
  (+ (* 2 x) (+ (* 4/3 (pow x 3)) (* 2 (pow x 2))))
  (- (pow (exp x) 2) (* (exp x) (exp (- x))))
  (- (pow (exp x) 2) (* (exp (* -1 x)) (exp x)))
  (- (+ (* 9/2 (pow x 2)) 1) (* 3 x))
  (pow (exp (- x)) 3)
  (pow (exp (* -1 x)) 3)
  (- (+ (* 2 (pow x 2)) 1) (* 2 x))
  (pow (exp (- x)) 2)
  (pow (exp (* -1 x)) 2)
  (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
  (pow (exp x) 3)
  (pow (exp x) 3)
4.461 * * [simplify]: iteration 0: 199 enodes
4.564 * * [simplify]: iteration 1: 624 enodes
5.446 * * [simplify]: iteration 2: 4815 enodes
9.649 * * [simplify]: iteration complete: 5000 enodes
9.649 * * [simplify]: Extracting #0: cost 87 inf + 0
9.651 * * [simplify]: Extracting #1: cost 1055 inf + 7
9.655 * * [simplify]: Extracting #2: cost 1381 inf + 554
9.665 * * [simplify]: Extracting #3: cost 928 inf + 3935
9.675 * * [simplify]: Extracting #4: cost 199 inf + 10259
9.684 * * [simplify]: Extracting #5: cost 0 inf + 12033
9.703 * * [simplify]: Extracting #6: cost 0 inf + 12031
9.713 * [simplify]: Simplified to:
  (expm1 (+ x x))
  0
  (expm1 (expm1 (+ x x)))
  (log1p (expm1 (+ x x)))
  -1
  (exp (expm1 (+ x x)))
  (log (expm1 (+ x x)))
  (exp (expm1 (+ x x)))
  (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x))))
  (cbrt (expm1 (+ x x)))
  (pow (expm1 (+ x x)) 3)
  (sqrt (expm1 (+ x x)))
  (sqrt (expm1 (+ x x)))
  (+ -1 (pow (exp x) 6))
  (fma 1 (+ 1 (exp (+ x x))) (pow (exp x) 4))
  -1
  (- (pow (exp x) 4) 1)
  (+ 1 (exp (+ x x)))
  (- (exp x) (exp (- x)))
  -1
  (expm1 (pow (exp (- x)) 3))
  (log1p (pow (exp (- x)) 3))
  (* x -3)
  (* x -3)
  3
  (* 3 (cbrt (- x)))
  (* 3 (sqrt (- x)))
  (* x -3)
  (* 3 x)
  (* (cbrt x) 3)
  (* (sqrt x) 3)
  (* 3 x)
  (* (cbrt x) -3)
  (* (sqrt x) -3)
  (* x -3)
  (pow (exp (- x)) (* (cbrt 3) (cbrt 3)))
  (pow (exp (- x)) (sqrt 3))
  (exp (- x))
  (exp (* (- x) 2))
  (exp (- x))
  (pow (sqrt (exp (- x))) 3)
  (pow (sqrt (exp (- x))) 3)
  1
  (pow (exp (- x)) 3)
  (exp (* (- x) 2))
  (* x -3)
  (exp (pow (exp (- x)) 3))
  (exp (* (- x) 2))
  (exp (- x))
  (pow (pow (exp (- x)) 3) 3)
  (exp (* (- x) 2))
  (exp (- x))
  (pow (sqrt (exp (- x))) 3)
  (pow (sqrt (exp (- x))) 3)
  1
  (pow (exp (- x)) 3)
  1
  (pow (exp x) 3)
  1
  (pow (exp x) 3)
  (exp (* (- x) 2))
  (sqrt (pow (exp (- x)) 3))
  (sqrt (pow (exp (- x)) 3))
  (pow (exp (- x)) 3/2)
  (pow (exp (- x)) 3/2)
  (expm1 (exp (* (- x) 2)))
  (log1p (exp (* (- x) 2)))
  2
  (* (cbrt (- x)) 2)
  (* (sqrt (- x)) 2)
  (* (- x) 2)
  (* (- x) 2)
  (* x 2)
  (* 2 (cbrt x))
  (* 2 (sqrt x))
  (* x 2)
  (* -2 (cbrt x))
  (* -2 (sqrt x))
  (* (- x) 2)
  (* (- x) 2)
  (exp (* (- x) 2))
  (exp (* (cbrt (- x)) (* (cbrt (- x)) 2)))
  (pow (exp 2) (sqrt (- x)))
  (exp 2)
  (exp 2)
  (exp -2)
  (exp -2)
  (exp (* (cbrt x) (* -2 (cbrt x))))
  (exp (* -2 (sqrt x)))
  (exp -2)
  (exp -2)
  (pow (exp (cbrt x)) (* 2 (cbrt x)))
  (pow (exp 2) (sqrt x))
  (exp 2)
  (exp 2)
  2
  (* (- x) 2)
  (* (- x) 2)
  (exp (exp (* (- x) 2)))
  (pow (exp (- x)) 6)
  (pow (cbrt (exp (- x))) 4)
  (cbrt (exp (* (- x) 2)))
  (pow (exp (- x)) 6)
  (fabs (exp (- x)))
  (fabs (exp (- x)))
  1
  (exp (+ x x))
  1
  (exp (+ x x))
  1
  (exp (+ x x))
  1
  (exp (+ x x))
  (pow (cbrt (exp (- x))) 4)
  (cbrt (exp (* (- x) 2)))
  (exp (- x))
  (exp (- x))
  1
  (exp (* (- x) 2))
  (exp (- x))
  (exp (- x))
  2
  (* (cbrt (- x)) 2)
  (* (sqrt (- x)) 2)
  (* -2 x)
  (* -2 x)
  (* x 2)
  (* 2 (cbrt x))
  (* (sqrt x) 2)
  (* x 2)
  (* -2 (cbrt x))
  (* -2 (sqrt x))
  (* -2 x)
  (* -2 x)
  (* (exp (- x)) (cbrt (exp (* (- x) 2))))
  (pow (sqrt (exp (- x))) 3)
  (exp (- x))
  (pow (cbrt (exp (- x))) 4)
  (pow (sqrt (exp (- x))) 3)
  (exp (* (- x) 2))
  (exp (- x))
  (exp (- x))
  (exp (- x))
  (exp (- x))
  (expm1 (pow (exp x) 3))
  (log1p (pow (exp x) 3))
  (* 3 x)
  (* 3 x)
  3
  (* (cbrt x) 3)
  (* (sqrt x) 3)
  (* 3 x)
  (pow (exp x) (* (cbrt 3) (cbrt 3)))
  (pow (exp x) (sqrt 3))
  (exp x)
  (exp (+ x x))
  (exp x)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  1
  (pow (exp x) 3)
  (exp (+ x x))
  (* x 3)
  (exp (pow (exp x) 3))
  (exp (+ x x))
  (exp x)
  (pow (pow (exp x) 3) 3)
  (exp (+ x x))
  (exp x)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  1
  (pow (exp x) 3)
  (exp (+ x x))
  (sqrt (pow (exp x) 3))
  (sqrt (pow (exp x) 3))
  (pow (exp x) 3/2)
  (pow (exp x) 3/2)
  (fma x (* x 2) (fma x 2 (* 4/3 (pow x 3))))
  (expm1 (+ x x))
  (* (exp x) (- (exp x) (exp (- x))))
  (+ (* x -3) (fma (* x x) 9/2 1))
  (pow (exp (- x)) 3)
  (pow (exp (- x)) 3)
  (fma -2 x (fma (* x x) 2 1))
  (exp (* (- x) 2))
  (pow (exp (- x)) 2)
  (fma x 3 (fma (* x x) 9/2 1))
  (pow (exp x) 3)
  (pow (exp x) 3)
9.714 * * * [progress]: adding candidates to table
10.618 * * [progress]: iteration 3 / 4
10.618 * * * [progress]: picking best candidate
10.622 * * * * [pick]: Picked  #<alt (λ (x y) (/ (/ (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (cos y)) 2.0) (+ (* (exp (- x)) (exp (- x))) (fma (exp x) (exp x) -1))))>
10.623 * * * [progress]: localizing error
10.681 * * * [progress]: generating rewritten candidates
10.681 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
10.681 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
10.688 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
10.738 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
10.759 * * * [progress]: generating series expansions
10.759 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
10.759 * [backup-simplify]: Simplify (fma (exp x) (exp x) -1) into (fma (exp x) (exp x) -1)
10.759 * [approximate]: Taking taylor expansion of (fma (exp x) (exp x) -1) in (x) around 0
10.759 * [taylor]: Taking taylor expansion of (fma (exp x) (exp x) -1) in x
10.761 * [taylor]: Rewrote expression to (+ (* (exp x) (exp x)) -1)
10.761 * [taylor]: Taking taylor expansion of (* (exp x) (exp x)) in x
10.761 * [taylor]: Taking taylor expansion of (exp x) in x
10.761 * [taylor]: Taking taylor expansion of x in x
10.761 * [backup-simplify]: Simplify 0 into 0
10.761 * [backup-simplify]: Simplify 1 into 1
10.761 * [backup-simplify]: Simplify (exp 0) into 1
10.761 * [taylor]: Taking taylor expansion of (exp x) in x
10.761 * [taylor]: Taking taylor expansion of x in x
10.761 * [backup-simplify]: Simplify 0 into 0
10.761 * [backup-simplify]: Simplify 1 into 1
10.761 * [backup-simplify]: Simplify (exp 0) into 1
10.761 * [taylor]: Taking taylor expansion of -1 in x
10.761 * [backup-simplify]: Simplify -1 into -1
10.762 * [taylor]: Taking taylor expansion of (fma (exp x) (exp x) -1) in x
10.762 * [taylor]: Rewrote expression to (+ (* (exp x) (exp x)) -1)
10.762 * [taylor]: Taking taylor expansion of (* (exp x) (exp x)) in x
10.762 * [taylor]: Taking taylor expansion of (exp x) in x
10.762 * [taylor]: Taking taylor expansion of x in x
10.762 * [backup-simplify]: Simplify 0 into 0
10.762 * [backup-simplify]: Simplify 1 into 1
10.762 * [backup-simplify]: Simplify (exp 0) into 1
10.762 * [taylor]: Taking taylor expansion of (exp x) in x
10.762 * [taylor]: Taking taylor expansion of x in x
10.762 * [backup-simplify]: Simplify 0 into 0
10.762 * [backup-simplify]: Simplify 1 into 1
10.762 * [backup-simplify]: Simplify (exp 0) into 1
10.762 * [taylor]: Taking taylor expansion of -1 in x
10.762 * [backup-simplify]: Simplify -1 into -1
10.763 * [backup-simplify]: Simplify (* 1 1) into 1
10.763 * [backup-simplify]: Simplify (+ 1 -1) into 0
10.763 * [backup-simplify]: Simplify 0 into 0
10.764 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
10.765 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
10.767 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
10.767 * [backup-simplify]: Simplify (+ 2 0) into 2
10.767 * [backup-simplify]: Simplify 2 into 2
10.769 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
10.770 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
10.771 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
10.772 * [backup-simplify]: Simplify (+ 2 0) into 2
10.772 * [backup-simplify]: Simplify 2 into 2
10.775 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
10.777 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
10.778 * [backup-simplify]: Simplify (+ (* 1 1/6) (+ (* 1 1/2) (+ (* 1/2 1) (* 1/6 1)))) into 4/3
10.779 * [backup-simplify]: Simplify (+ 4/3 0) into 4/3
10.779 * [backup-simplify]: Simplify 4/3 into 4/3
10.779 * [backup-simplify]: Simplify (+ (* 4/3 (pow x 3)) (+ (* 2 (pow x 2)) (* 2 x))) into (+ (* 2 x) (+ (* 4/3 (pow x 3)) (* 2 (pow x 2))))
10.780 * [backup-simplify]: Simplify (fma (exp (/ 1 x)) (exp (/ 1 x)) -1) into (fma (exp (/ 1 x)) (exp (/ 1 x)) -1)
10.780 * [approximate]: Taking taylor expansion of (fma (exp (/ 1 x)) (exp (/ 1 x)) -1) in (x) around 0
10.780 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (exp (/ 1 x)) -1) in x
10.780 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (exp (/ 1 x))) -1)
10.780 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ 1 x))) in x
10.780 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
10.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.780 * [taylor]: Taking taylor expansion of x in x
10.780 * [backup-simplify]: Simplify 0 into 0
10.780 * [backup-simplify]: Simplify 1 into 1
10.780 * [backup-simplify]: Simplify (/ 1 1) into 1
10.780 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
10.780 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
10.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.780 * [taylor]: Taking taylor expansion of x in x
10.780 * [backup-simplify]: Simplify 0 into 0
10.780 * [backup-simplify]: Simplify 1 into 1
10.780 * [backup-simplify]: Simplify (/ 1 1) into 1
10.781 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
10.781 * [taylor]: Taking taylor expansion of -1 in x
10.781 * [backup-simplify]: Simplify -1 into -1
10.781 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (exp (/ 1 x)) -1) in x
10.781 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (exp (/ 1 x))) -1)
10.781 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ 1 x))) in x
10.781 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
10.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.781 * [taylor]: Taking taylor expansion of x in x
10.781 * [backup-simplify]: Simplify 0 into 0
10.781 * [backup-simplify]: Simplify 1 into 1
10.781 * [backup-simplify]: Simplify (/ 1 1) into 1
10.781 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
10.781 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
10.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.781 * [taylor]: Taking taylor expansion of x in x
10.781 * [backup-simplify]: Simplify 0 into 0
10.781 * [backup-simplify]: Simplify 1 into 1
10.781 * [backup-simplify]: Simplify (/ 1 1) into 1
10.782 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
10.782 * [taylor]: Taking taylor expansion of -1 in x
10.782 * [backup-simplify]: Simplify -1 into -1
10.782 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
10.782 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 x)) 2) -1) into (- (pow (exp (/ 1 x)) 2) 1)
10.782 * [backup-simplify]: Simplify (- (pow (exp (/ 1 x)) 2) 1) into (- (pow (exp (/ 1 x)) 2) 1)
10.782 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
10.782 * [backup-simplify]: Simplify (+ 0 0) into 0
10.782 * [backup-simplify]: Simplify 0 into 0
10.783 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
10.783 * [backup-simplify]: Simplify (+ 0 0) into 0
10.783 * [backup-simplify]: Simplify 0 into 0
10.784 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
10.784 * [backup-simplify]: Simplify (+ 0 0) into 0
10.784 * [backup-simplify]: Simplify 0 into 0
10.785 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
10.785 * [backup-simplify]: Simplify (+ 0 0) into 0
10.785 * [backup-simplify]: Simplify 0 into 0
10.786 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
10.786 * [backup-simplify]: Simplify (+ 0 0) into 0
10.786 * [backup-simplify]: Simplify 0 into 0
10.787 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
10.788 * [backup-simplify]: Simplify (+ 0 0) into 0
10.788 * [backup-simplify]: Simplify 0 into 0
10.788 * [backup-simplify]: Simplify (- (pow (exp (/ 1 (/ 1 x))) 2) 1) into (- (pow (exp x) 2) 1)
10.788 * [backup-simplify]: Simplify (fma (exp (/ 1 (- x))) (exp (/ 1 (- x))) -1) into (fma (exp (/ -1 x)) (exp (/ -1 x)) -1)
10.788 * [approximate]: Taking taylor expansion of (fma (exp (/ -1 x)) (exp (/ -1 x)) -1) in (x) around 0
10.788 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (exp (/ -1 x)) -1) in x
10.788 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (exp (/ -1 x))) -1)
10.788 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (exp (/ -1 x))) in x
10.788 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
10.788 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.788 * [taylor]: Taking taylor expansion of -1 in x
10.788 * [backup-simplify]: Simplify -1 into -1
10.788 * [taylor]: Taking taylor expansion of x in x
10.788 * [backup-simplify]: Simplify 0 into 0
10.788 * [backup-simplify]: Simplify 1 into 1
10.788 * [backup-simplify]: Simplify (/ -1 1) into -1
10.789 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
10.789 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
10.789 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.789 * [taylor]: Taking taylor expansion of -1 in x
10.789 * [backup-simplify]: Simplify -1 into -1
10.789 * [taylor]: Taking taylor expansion of x in x
10.789 * [backup-simplify]: Simplify 0 into 0
10.789 * [backup-simplify]: Simplify 1 into 1
10.789 * [backup-simplify]: Simplify (/ -1 1) into -1
10.789 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
10.789 * [taylor]: Taking taylor expansion of -1 in x
10.789 * [backup-simplify]: Simplify -1 into -1
10.789 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (exp (/ -1 x)) -1) in x
10.789 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (exp (/ -1 x))) -1)
10.789 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (exp (/ -1 x))) in x
10.789 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
10.789 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.789 * [taylor]: Taking taylor expansion of -1 in x
10.789 * [backup-simplify]: Simplify -1 into -1
10.789 * [taylor]: Taking taylor expansion of x in x
10.789 * [backup-simplify]: Simplify 0 into 0
10.789 * [backup-simplify]: Simplify 1 into 1
10.789 * [backup-simplify]: Simplify (/ -1 1) into -1
10.790 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
10.790 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
10.790 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.790 * [taylor]: Taking taylor expansion of -1 in x
10.790 * [backup-simplify]: Simplify -1 into -1
10.790 * [taylor]: Taking taylor expansion of x in x
10.790 * [backup-simplify]: Simplify 0 into 0
10.790 * [backup-simplify]: Simplify 1 into 1
10.790 * [backup-simplify]: Simplify (/ -1 1) into -1
10.790 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
10.790 * [taylor]: Taking taylor expansion of -1 in x
10.790 * [backup-simplify]: Simplify -1 into -1
10.790 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
10.790 * [backup-simplify]: Simplify (+ (pow (exp (/ -1 x)) 2) -1) into (- (pow (exp (/ -1 x)) 2) 1)
10.790 * [backup-simplify]: Simplify (- (pow (exp (/ -1 x)) 2) 1) into (- (pow (exp (/ -1 x)) 2) 1)
10.791 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
10.791 * [backup-simplify]: Simplify (+ 0 0) into 0
10.791 * [backup-simplify]: Simplify 0 into 0
10.791 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
10.791 * [backup-simplify]: Simplify (+ 0 0) into 0
10.791 * [backup-simplify]: Simplify 0 into 0
10.792 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
10.792 * [backup-simplify]: Simplify (+ 0 0) into 0
10.792 * [backup-simplify]: Simplify 0 into 0
10.793 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
10.793 * [backup-simplify]: Simplify (+ 0 0) into 0
10.793 * [backup-simplify]: Simplify 0 into 0
10.794 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
10.795 * [backup-simplify]: Simplify (+ 0 0) into 0
10.795 * [backup-simplify]: Simplify 0 into 0
10.796 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
10.796 * [backup-simplify]: Simplify (+ 0 0) into 0
10.796 * [backup-simplify]: Simplify 0 into 0
10.796 * [backup-simplify]: Simplify (- (pow (exp (/ -1 (/ 1 (- x)))) 2) 1) into (- (pow (exp x) 2) 1)
10.796 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
10.796 * [backup-simplify]: Simplify (pow (exp (- x)) 3) into (pow (exp (- x)) 3)
10.796 * [approximate]: Taking taylor expansion of (pow (exp (- x)) 3) in (x) around 0
10.797 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x
10.797 * [taylor]: Taking taylor expansion of (exp (- x)) in x
10.797 * [taylor]: Taking taylor expansion of (- x) in x
10.797 * [taylor]: Taking taylor expansion of x in x
10.797 * [backup-simplify]: Simplify 0 into 0
10.797 * [backup-simplify]: Simplify 1 into 1
10.797 * [backup-simplify]: Simplify (- 0) into 0
10.797 * [backup-simplify]: Simplify (- 1) into -1
10.797 * [backup-simplify]: Simplify (exp 0) into 1
10.797 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 3) in x
10.797 * [taylor]: Taking taylor expansion of (exp (- x)) in x
10.797 * [taylor]: Taking taylor expansion of (- x) in x
10.797 * [taylor]: Taking taylor expansion of x in x
10.797 * [backup-simplify]: Simplify 0 into 0
10.797 * [backup-simplify]: Simplify 1 into 1
10.797 * [backup-simplify]: Simplify (- 0) into 0
10.798 * [backup-simplify]: Simplify (- 1) into -1
10.798 * [backup-simplify]: Simplify (exp 0) into 1
10.798 * [backup-simplify]: Simplify (* 1 1) into 1
10.798 * [backup-simplify]: Simplify (* 1 1) into 1
10.798 * [backup-simplify]: Simplify 1 into 1
10.798 * [backup-simplify]: Simplify (- 1) into -1
10.799 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
10.799 * [backup-simplify]: Simplify (+ (* 1 -1) (* -1 1)) into -2
10.800 * [backup-simplify]: Simplify (+ (* 1 -2) (* -1 1)) into -3
10.800 * [backup-simplify]: Simplify -3 into -3
10.800 * [backup-simplify]: Simplify (- 1) into -1
10.800 * [backup-simplify]: Simplify (- 0) into 0
10.801 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
10.802 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* -1 -1) (* 1/2 1))) into 2
10.803 * [backup-simplify]: Simplify (+ (* 1 2) (+ (* -1 -2) (* 1/2 1))) into 9/2
10.803 * [backup-simplify]: Simplify 9/2 into 9/2
10.803 * [backup-simplify]: Simplify (+ (* 9/2 (pow x 2)) (+ (* -3 x) 1)) into (- (+ (* 9/2 (pow x 2)) 1) (* 3 x))
10.803 * [backup-simplify]: Simplify (pow (exp (- (/ 1 x))) 3) into (pow (exp (- (/ 1 x))) 3)
10.803 * [approximate]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in (x) around 0
10.803 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x
10.803 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
10.803 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
10.803 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.803 * [taylor]: Taking taylor expansion of x in x
10.803 * [backup-simplify]: Simplify 0 into 0
10.803 * [backup-simplify]: Simplify 1 into 1
10.803 * [backup-simplify]: Simplify (/ 1 1) into 1
10.804 * [backup-simplify]: Simplify (- 1) into -1
10.804 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
10.804 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 3) in x
10.804 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
10.804 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
10.804 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.804 * [taylor]: Taking taylor expansion of x in x
10.804 * [backup-simplify]: Simplify 0 into 0
10.804 * [backup-simplify]: Simplify 1 into 1
10.804 * [backup-simplify]: Simplify (/ 1 1) into 1
10.804 * [backup-simplify]: Simplify (- 1) into -1
10.804 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
10.805 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (exp (- (/ 1 x)))) into (pow (exp (- (/ 1 x))) 2)
10.805 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (pow (exp (- (/ 1 x))) 2)) into (pow (exp (- (/ 1 x))) 3)
10.805 * [backup-simplify]: Simplify (pow (exp (- (/ 1 x))) 3) into (pow (exp (- (/ 1 x))) 3)
10.805 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (* 0 (exp (- (/ 1 x))))) into 0
10.805 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (* 0 (pow (exp (- (/ 1 x))) 2))) into 0
10.805 * [backup-simplify]: Simplify 0 into 0
10.806 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))) into 0
10.806 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 x))) 2)))) into 0
10.806 * [backup-simplify]: Simplify 0 into 0
10.807 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x))))))) into 0
10.807 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 x))) 2))))) into 0
10.807 * [backup-simplify]: Simplify 0 into 0
10.808 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))))) into 0
10.809 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 x))) 2)))))) into 0
10.809 * [backup-simplify]: Simplify 0 into 0
10.810 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x))))))))) into 0
10.811 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 x))) 2))))))) into 0
10.811 * [backup-simplify]: Simplify 0 into 0
10.812 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))))))) into 0
10.814 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (- (/ 1 x))) 2)))))))) into 0
10.814 * [backup-simplify]: Simplify 0 into 0
10.814 * [backup-simplify]: Simplify (pow (exp (- (/ 1 (/ 1 x)))) 3) into (pow (exp (- x)) 3)
10.814 * [backup-simplify]: Simplify (pow (exp (- (/ 1 (- x)))) 3) into (pow (exp (/ 1 x)) 3)
10.814 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0
10.814 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
10.814 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
10.814 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.814 * [taylor]: Taking taylor expansion of x in x
10.814 * [backup-simplify]: Simplify 0 into 0
10.814 * [backup-simplify]: Simplify 1 into 1
10.814 * [backup-simplify]: Simplify (/ 1 1) into 1
10.814 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
10.814 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
10.814 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
10.814 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.814 * [taylor]: Taking taylor expansion of x in x
10.814 * [backup-simplify]: Simplify 0 into 0
10.814 * [backup-simplify]: Simplify 1 into 1
10.815 * [backup-simplify]: Simplify (/ 1 1) into 1
10.815 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
10.815 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
10.815 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (pow (exp (/ 1 x)) 2)) into (pow (exp (/ 1 x)) 3)
10.815 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 3) into (pow (exp (/ 1 x)) 3)
10.815 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
10.815 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (pow (exp (/ 1 x)) 2))) into 0
10.815 * [backup-simplify]: Simplify 0 into 0
10.816 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
10.816 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))) into 0
10.816 * [backup-simplify]: Simplify 0 into 0
10.817 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
10.817 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))) into 0
10.817 * [backup-simplify]: Simplify 0 into 0
10.818 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
10.819 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))) into 0
10.819 * [backup-simplify]: Simplify 0 into 0
10.820 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
10.821 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))))) into 0
10.821 * [backup-simplify]: Simplify 0 into 0
10.823 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
10.824 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))))) into 0
10.824 * [backup-simplify]: Simplify 0 into 0
10.824 * [backup-simplify]: Simplify (pow (exp (/ 1 (/ 1 (- x)))) 3) into (pow (exp (* -1 x)) 3)
10.824 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
10.824 * [backup-simplify]: Simplify (* (exp (- x)) (exp (- x))) into (pow (exp (- x)) 2)
10.824 * [approximate]: Taking taylor expansion of (pow (exp (- x)) 2) in (x) around 0
10.824 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x
10.824 * [taylor]: Taking taylor expansion of (exp (- x)) in x
10.824 * [taylor]: Taking taylor expansion of (- x) in x
10.824 * [taylor]: Taking taylor expansion of x in x
10.824 * [backup-simplify]: Simplify 0 into 0
10.824 * [backup-simplify]: Simplify 1 into 1
10.824 * [backup-simplify]: Simplify (- 0) into 0
10.825 * [backup-simplify]: Simplify (- 1) into -1
10.825 * [backup-simplify]: Simplify (exp 0) into 1
10.825 * [taylor]: Taking taylor expansion of (pow (exp (- x)) 2) in x
10.825 * [taylor]: Taking taylor expansion of (exp (- x)) in x
10.825 * [taylor]: Taking taylor expansion of (- x) in x
10.825 * [taylor]: Taking taylor expansion of x in x
10.825 * [backup-simplify]: Simplify 0 into 0
10.825 * [backup-simplify]: Simplify 1 into 1
10.825 * [backup-simplify]: Simplify (- 0) into 0
10.825 * [backup-simplify]: Simplify (- 1) into -1
10.825 * [backup-simplify]: Simplify (exp 0) into 1
10.826 * [backup-simplify]: Simplify (* 1 1) into 1
10.826 * [backup-simplify]: Simplify 1 into 1
10.826 * [backup-simplify]: Simplify (- 1) into -1
10.827 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
10.827 * [backup-simplify]: Simplify (+ (* 1 -1) (* -1 1)) into -2
10.827 * [backup-simplify]: Simplify -2 into -2
10.827 * [backup-simplify]: Simplify (- 1) into -1
10.828 * [backup-simplify]: Simplify (- 0) into 0
10.828 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
10.829 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* -1 -1) (* 1/2 1))) into 2
10.829 * [backup-simplify]: Simplify 2 into 2
10.829 * [backup-simplify]: Simplify (+ (* 2 (pow x 2)) (+ (* -2 x) 1)) into (- (+ (* 2 (pow x 2)) 1) (* 2 x))
10.829 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (exp (- (/ 1 x)))) into (pow (exp (- (/ 1 x))) 2)
10.829 * [approximate]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in (x) around 0
10.829 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x
10.830 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
10.830 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
10.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.830 * [taylor]: Taking taylor expansion of x in x
10.830 * [backup-simplify]: Simplify 0 into 0
10.830 * [backup-simplify]: Simplify 1 into 1
10.830 * [backup-simplify]: Simplify (/ 1 1) into 1
10.830 * [backup-simplify]: Simplify (- 1) into -1
10.830 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
10.830 * [taylor]: Taking taylor expansion of (pow (exp (- (/ 1 x))) 2) in x
10.830 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
10.830 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
10.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.830 * [taylor]: Taking taylor expansion of x in x
10.830 * [backup-simplify]: Simplify 0 into 0
10.830 * [backup-simplify]: Simplify 1 into 1
10.831 * [backup-simplify]: Simplify (/ 1 1) into 1
10.831 * [backup-simplify]: Simplify (- 1) into -1
10.831 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
10.831 * [backup-simplify]: Simplify (* (exp (- (/ 1 x))) (exp (- (/ 1 x)))) into (pow (exp (- (/ 1 x))) 2)
10.831 * [backup-simplify]: Simplify (pow (exp (- (/ 1 x))) 2) into (pow (exp (- (/ 1 x))) 2)
10.831 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (* 0 (exp (- (/ 1 x))))) into 0
10.831 * [backup-simplify]: Simplify 0 into 0
10.832 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))) into 0
10.832 * [backup-simplify]: Simplify 0 into 0
10.832 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x))))))) into 0
10.832 * [backup-simplify]: Simplify 0 into 0
10.833 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))))) into 0
10.833 * [backup-simplify]: Simplify 0 into 0
10.834 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x))))))))) into 0
10.834 * [backup-simplify]: Simplify 0 into 0
10.836 * [backup-simplify]: Simplify (+ (* (exp (- (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (- (/ 1 x)))))))))) into 0
10.836 * [backup-simplify]: Simplify 0 into 0
10.836 * [backup-simplify]: Simplify (pow (exp (- (/ 1 (/ 1 x)))) 2) into (pow (exp (- x)) 2)
10.836 * [backup-simplify]: Simplify (* (exp (- (/ 1 (- x)))) (exp (- (/ 1 (- x))))) into (pow (exp (/ 1 x)) 2)
10.836 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0
10.836 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
10.836 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
10.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.836 * [taylor]: Taking taylor expansion of x in x
10.836 * [backup-simplify]: Simplify 0 into 0
10.836 * [backup-simplify]: Simplify 1 into 1
10.836 * [backup-simplify]: Simplify (/ 1 1) into 1
10.836 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
10.836 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
10.837 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
10.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.837 * [taylor]: Taking taylor expansion of x in x
10.837 * [backup-simplify]: Simplify 0 into 0
10.837 * [backup-simplify]: Simplify 1 into 1
10.837 * [backup-simplify]: Simplify (/ 1 1) into 1
10.837 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
10.837 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
10.837 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 2) into (pow (exp (/ 1 x)) 2)
10.837 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
10.837 * [backup-simplify]: Simplify 0 into 0
10.838 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
10.838 * [backup-simplify]: Simplify 0 into 0
10.838 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
10.838 * [backup-simplify]: Simplify 0 into 0
10.839 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
10.839 * [backup-simplify]: Simplify 0 into 0
10.840 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
10.840 * [backup-simplify]: Simplify 0 into 0
10.841 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
10.841 * [backup-simplify]: Simplify 0 into 0
10.841 * [backup-simplify]: Simplify (pow (exp (/ 1 (/ 1 (- x)))) 2) into (pow (exp (* -1 x)) 2)
10.841 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
10.841 * [backup-simplify]: Simplify (pow (exp x) 3) into (pow (exp x) 3)
10.842 * [approximate]: Taking taylor expansion of (pow (exp x) 3) in (x) around 0
10.842 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
10.842 * [taylor]: Taking taylor expansion of (exp x) in x
10.842 * [taylor]: Taking taylor expansion of x in x
10.842 * [backup-simplify]: Simplify 0 into 0
10.842 * [backup-simplify]: Simplify 1 into 1
10.842 * [backup-simplify]: Simplify (exp 0) into 1
10.842 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
10.842 * [taylor]: Taking taylor expansion of (exp x) in x
10.842 * [taylor]: Taking taylor expansion of x in x
10.842 * [backup-simplify]: Simplify 0 into 0
10.842 * [backup-simplify]: Simplify 1 into 1
10.842 * [backup-simplify]: Simplify (exp 0) into 1
10.842 * [backup-simplify]: Simplify (* 1 1) into 1
10.842 * [backup-simplify]: Simplify (* 1 1) into 1
10.842 * [backup-simplify]: Simplify 1 into 1
10.843 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
10.843 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
10.844 * [backup-simplify]: Simplify (+ (* 1 2) (* 1 1)) into 3
10.844 * [backup-simplify]: Simplify 3 into 3
10.844 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
10.845 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
10.845 * [backup-simplify]: Simplify (+ (* 1 2) (+ (* 1 2) (* 1/2 1))) into 9/2
10.845 * [backup-simplify]: Simplify 9/2 into 9/2
10.846 * [backup-simplify]: Simplify (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) into (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
10.846 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 3) into (pow (exp (/ 1 x)) 3)
10.846 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0
10.846 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
10.846 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
10.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.846 * [taylor]: Taking taylor expansion of x in x
10.846 * [backup-simplify]: Simplify 0 into 0
10.846 * [backup-simplify]: Simplify 1 into 1
10.846 * [backup-simplify]: Simplify (/ 1 1) into 1
10.846 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
10.846 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
10.846 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
10.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.846 * [taylor]: Taking taylor expansion of x in x
10.846 * [backup-simplify]: Simplify 0 into 0
10.846 * [backup-simplify]: Simplify 1 into 1
10.847 * [backup-simplify]: Simplify (/ 1 1) into 1
10.847 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
10.847 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
10.847 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (pow (exp (/ 1 x)) 2)) into (pow (exp (/ 1 x)) 3)
10.847 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 3) into (pow (exp (/ 1 x)) 3)
10.847 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
10.847 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (pow (exp (/ 1 x)) 2))) into 0
10.847 * [backup-simplify]: Simplify 0 into 0
10.848 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
10.848 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))) into 0
10.848 * [backup-simplify]: Simplify 0 into 0
10.849 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
10.849 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))) into 0
10.849 * [backup-simplify]: Simplify 0 into 0
10.850 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
10.851 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))) into 0
10.851 * [backup-simplify]: Simplify 0 into 0
10.855 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
10.856 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2))))))) into 0
10.856 * [backup-simplify]: Simplify 0 into 0
10.857 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
10.859 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ 1 x)) 2)))))))) into 0
10.859 * [backup-simplify]: Simplify 0 into 0
10.859 * [backup-simplify]: Simplify (pow (exp (/ 1 (/ 1 x))) 3) into (pow (exp x) 3)
10.859 * [backup-simplify]: Simplify (pow (exp (/ 1 (- x))) 3) into (pow (exp (/ -1 x)) 3)
10.859 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0
10.859 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
10.859 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
10.859 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.859 * [taylor]: Taking taylor expansion of -1 in x
10.859 * [backup-simplify]: Simplify -1 into -1
10.859 * [taylor]: Taking taylor expansion of x in x
10.859 * [backup-simplify]: Simplify 0 into 0
10.859 * [backup-simplify]: Simplify 1 into 1
10.859 * [backup-simplify]: Simplify (/ -1 1) into -1
10.859 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
10.859 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
10.859 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
10.859 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.859 * [taylor]: Taking taylor expansion of -1 in x
10.859 * [backup-simplify]: Simplify -1 into -1
10.859 * [taylor]: Taking taylor expansion of x in x
10.859 * [backup-simplify]: Simplify 0 into 0
10.859 * [backup-simplify]: Simplify 1 into 1
10.860 * [backup-simplify]: Simplify (/ -1 1) into -1
10.860 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
10.860 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
10.860 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (pow (exp (/ -1 x)) 2)) into (pow (exp (/ -1 x)) 3)
10.860 * [backup-simplify]: Simplify (pow (exp (/ -1 x)) 3) into (pow (exp (/ -1 x)) 3)
10.860 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
10.860 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (pow (exp (/ -1 x)) 2))) into 0
10.860 * [backup-simplify]: Simplify 0 into 0
10.861 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
10.861 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))) into 0
10.861 * [backup-simplify]: Simplify 0 into 0
10.862 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
10.862 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))) into 0
10.862 * [backup-simplify]: Simplify 0 into 0
10.863 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
10.864 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))) into 0
10.864 * [backup-simplify]: Simplify 0 into 0
10.866 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
10.868 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2))))))) into 0
10.868 * [backup-simplify]: Simplify 0 into 0
10.870 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
10.872 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (/ -1 x)) 2)))))))) into 0
10.872 * [backup-simplify]: Simplify 0 into 0
10.872 * [backup-simplify]: Simplify (pow (exp (/ -1 (/ 1 (- x)))) 3) into (pow (exp x) 3)
10.872 * * * [progress]: simplifying candidates
10.876 * [simplify]: Simplifying:
  (expm1 (fma (exp x) (exp x) -1))
  (log1p (fma (exp x) (exp x) -1))
  (* (exp x) (exp x))
  (log (fma (exp x) (exp x) -1))
  (exp (fma (exp x) (exp x) -1))
  (* (cbrt (fma (exp x) (exp x) -1)) (cbrt (fma (exp x) (exp x) -1)))
  (cbrt (fma (exp x) (exp x) -1))
  (* (* (fma (exp x) (exp x) -1) (fma (exp x) (exp x) -1)) (fma (exp x) (exp x) -1))
  (sqrt (fma (exp x) (exp x) -1))
  (sqrt (fma (exp x) (exp x) -1))
  (expm1 (pow (exp (- x)) 3))
  (log1p (pow (exp (- x)) 3))
  (* (- x) 3)
  (* (log (exp (- x))) 3)
  (* 1 3)
  (* (cbrt (- x)) 3)
  (* (sqrt (- x)) 3)
  (* (- x) 3)
  (* x 3)
  (* (cbrt x) 3)
  (* (sqrt x) 3)
  (* x 3)
  (* (- (cbrt x)) 3)
  (* (- (sqrt x)) 3)
  (* (- x) 3)
  (pow (exp (- x)) (* (cbrt 3) (cbrt 3)))
  (pow (exp (- x)) (sqrt 3))
  (pow (exp (- x)) 1)
  (pow (* (cbrt (exp (- x))) (cbrt (exp (- x)))) 3)
  (pow (cbrt (exp (- x))) 3)
  (pow (sqrt (exp (- x))) 3)
  (pow (sqrt (exp (- x))) 3)
  (pow 1 3)
  (pow (exp (- x)) 3)
  (* (exp (- x)) (exp (- x)))
  (log (pow (exp (- x)) 3))
  (exp (pow (exp (- x)) 3))
  (* (cbrt (pow (exp (- x)) 3)) (cbrt (pow (exp (- x)) 3)))
  (cbrt (pow (exp (- x)) 3))
  (* (* (pow (exp (- x)) 3) (pow (exp (- x)) 3)) (pow (exp (- x)) 3))
  (pow (* (cbrt (exp (- x))) (cbrt (exp (- x)))) 3)
  (pow (cbrt (exp (- x))) 3)
  (pow (sqrt (exp (- x))) 3)
  (pow (sqrt (exp (- x))) 3)
  (pow 1 3)
  (pow (exp (- x)) 3)
  (pow 1 3)
  (pow (exp x) 3)
  (pow (exp 0) 3)
  (pow (exp x) 3)
  (* (exp (- x)) (exp (- x)))
  (sqrt (pow (exp (- x)) 3))
  (sqrt (pow (exp (- x)) 3))
  (pow (exp (- x)) (/ 3 2))
  (pow (exp (- x)) (/ 3 2))
  (expm1 (* (exp (- x)) (exp (- x))))
  (log1p (* (exp (- x)) (exp (- x))))
  (+ 1 1)
  (+ (cbrt (- x)) (cbrt (- x)))
  (+ (sqrt (- x)) (sqrt (- x)))
  (+ (- x) (- x))
  (+ (- x) (- x))
  (+ x x)
  (+ (cbrt x) (cbrt x))
  (+ (sqrt x) (sqrt x))
  (+ x x)
  (+ (- (cbrt x)) (- (cbrt x)))
  (+ (- (sqrt x)) (- (sqrt x)))
  (+ (- x) (- x))
  (+ (- x) (- x))
  (* (exp (- x)) (exp (- x)))
  (* (exp (* (cbrt (- x)) (cbrt (- x)))) (exp (* (cbrt (- x)) (cbrt (- x)))))
  (* (exp (sqrt (- x))) (exp (sqrt (- x))))
  (* (exp 1) (exp 1))
  (* (exp 1) (exp 1))
  (* (exp -1) (exp -1))
  (* (exp -1) (exp (- 1)))
  (* (exp (- (* (cbrt x) (cbrt x)))) (exp (- (* (cbrt x) (cbrt x)))))
  (* (exp (- (sqrt x))) (exp (- (sqrt x))))
  (* (exp (- 1)) (exp -1))
  (* (exp (- 1)) (exp (- 1)))
  (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x))))
  (* (exp (sqrt x)) (exp (sqrt x)))
  (* (exp 1) (exp 1))
  (* (exp 1) (exp 1))
  (+ 1 1)
  (+ (- x) (- x))
  (log (* (exp (- x)) (exp (- x))))
  (exp (* (exp (- x)) (exp (- x))))
  (* (* (* (exp (- x)) (exp (- x))) (exp (- x))) (* (* (exp (- x)) (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))))
  (* 1 1)
  (* (exp x) (exp x))
  (* 1 (exp 0))
  (* (exp x) (exp x))
  (* (exp 0) 1)
  (* (exp x) (exp x))
  (* (exp 0) (exp 0))
  (* (exp x) (exp x))
  (* (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))
  (* (cbrt (exp (- x))) (cbrt (exp (- x))))
  (* (sqrt (exp (- x))) (sqrt (exp (- x))))
  (* (sqrt (exp (- x))) (sqrt (exp (- x))))
  (* 1 1)
  (* (exp (- x)) (exp (- x)))
  (* (sqrt (exp (- x))) (sqrt (exp (- x))))
  (* (sqrt (exp (- x))) (sqrt (exp (- x))))
  (* 2 1)
  (* 2 (cbrt (- x)))
  (* 2 (sqrt (- x)))
  (* 2 (- x))
  (* 2 (- x))
  (* 2 x)
  (* 2 (cbrt x))
  (* 2 (sqrt x))
  (* 2 x)
  (* 2 (- (cbrt x)))
  (* 2 (- (sqrt x)))
  (* 2 (- x))
  (* 2 (- x))
  (* (exp (- x)) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))
  (* (exp (- x)) (sqrt (exp (- x))))
  (* (exp (- x)) 1)
  (* (cbrt (exp (- x))) (exp (- x)))
  (* (sqrt (exp (- x))) (exp (- x)))
  (* (exp (- x)) (exp (- x)))
  (* (exp (- x)) 1)
  (* (exp (- x)) (exp 0))
  (* 1 (exp (- x)))
  (* (exp 0) (exp (- x)))
  (expm1 (pow (exp x) 3))
  (log1p (pow (exp x) 3))
  (* x 3)
  (* (log (exp x)) 3)
  (* 1 3)
  (* (cbrt x) 3)
  (* (sqrt x) 3)
  (* x 3)
  (pow (exp x) (* (cbrt 3) (cbrt 3)))
  (pow (exp x) (sqrt 3))
  (pow (exp x) 1)
  (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
  (pow (cbrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow 1 3)
  (pow (exp x) 3)
  (* (exp x) (exp x))
  (log (pow (exp x) 3))
  (exp (pow (exp x) 3))
  (* (cbrt (pow (exp x) 3)) (cbrt (pow (exp x) 3)))
  (cbrt (pow (exp x) 3))
  (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))
  (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
  (pow (cbrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow 1 3)
  (pow (exp x) 3)
  (* (exp x) (exp x))
  (sqrt (pow (exp x) 3))
  (sqrt (pow (exp x) 3))
  (pow (exp x) (/ 3 2))
  (pow (exp x) (/ 3 2))
  (+ (* 2 x) (+ (* 4/3 (pow x 3)) (* 2 (pow x 2))))
  (- (pow (exp x) 2) 1)
  (- (pow (exp x) 2) 1)
  (- (+ (* 9/2 (pow x 2)) 1) (* 3 x))
  (pow (exp (- x)) 3)
  (pow (exp (* -1 x)) 3)
  (- (+ (* 2 (pow x 2)) 1) (* 2 x))
  (pow (exp (- x)) 2)
  (pow (exp (* -1 x)) 2)
  (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
  (pow (exp x) 3)
  (pow (exp x) 3)
10.879 * * [simplify]: iteration 0: 176 enodes
10.970 * * [simplify]: iteration 1: 503 enodes
11.622 * * [simplify]: iteration 2: 3593 enodes
15.488 * * [simplify]: iteration complete: 5000 enodes
15.488 * * [simplify]: Extracting #0: cost 77 inf + 0
15.491 * * [simplify]: Extracting #1: cost 1380 inf + 5
15.500 * * [simplify]: Extracting #2: cost 1635 inf + 753
15.511 * * [simplify]: Extracting #3: cost 994 inf + 4798
15.521 * * [simplify]: Extracting #4: cost 244 inf + 11467
15.532 * * [simplify]: Extracting #5: cost 6 inf + 13846
15.539 * * [simplify]: Extracting #6: cost 0 inf + 13904
15.545 * [simplify]: Simplified to:
  (expm1 (expm1 (+ x x)))
  (* x 2)
  (exp (* x 2))
  (log (expm1 (+ x x)))
  (exp (expm1 (+ x x)))
  (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x))))
  (cbrt (expm1 (+ x x)))
  (pow (expm1 (+ x x)) 3)
  (sqrt (expm1 (+ x x)))
  (sqrt (expm1 (+ x x)))
  (expm1 (exp (* x -3)))
  (log1p (exp (* x -3)))
  (* x -3)
  (* x -3)
  3
  (* (cbrt (- x)) 3)
  (* 3 (sqrt (- x)))
  (* x -3)
  (* x 3)
  (* 3 (cbrt x))
  (* 3 (sqrt x))
  (* x 3)
  (* (cbrt x) -3)
  (* (sqrt x) -3)
  (* x -3)
  (pow (exp (- x)) (* (cbrt 3) (cbrt 3)))
  (pow (exp (- x)) (sqrt 3))
  (exp (- x))
  (exp (* -2 x))
  (exp (- x))
  (pow (sqrt (exp (- x))) 3)
  (pow (sqrt (exp (- x))) 3)
  1
  (exp (* x -3))
  (exp (* -2 x))
  (* x -3)
  (exp (exp (* x -3)))
  (exp (* -2 x))
  (exp (- x))
  (pow (exp (* x -3)) 3)
  (exp (* -2 x))
  (exp (- x))
  (pow (sqrt (exp (- x))) 3)
  (pow (sqrt (exp (- x))) 3)
  1
  (exp (* x -3))
  1
  (pow (exp x) 3)
  1
  (pow (exp x) 3)
  (exp (* -2 x))
  (sqrt (exp (* x -3)))
  (sqrt (exp (* x -3)))
  (pow (exp (- x)) 3/2)
  (pow (exp (- x)) 3/2)
  (expm1 (exp (* -2 x)))
  (log1p (exp (* -2 x)))
  2
  (* (cbrt (- x)) 2)
  (* (sqrt (- x)) 2)
  (* -2 x)
  (* -2 x)
  (* x 2)
  (* 2 (cbrt x))
  (* 2 (sqrt x))
  (* x 2)
  (* -2 (cbrt x))
  (* -2 (sqrt x))
  (* -2 x)
  (* -2 x)
  (exp (* -2 x))
  (pow (exp (cbrt (- x))) (* (cbrt (- x)) 2))
  (pow (exp 2) (sqrt (- x)))
  (exp 2)
  (exp 2)
  (exp -2)
  (exp -2)
  (exp (* (cbrt x) (* -2 (cbrt x))))
  (exp (* -2 (sqrt x)))
  (exp -2)
  (exp -2)
  (exp (* (cbrt x) (* 2 (cbrt x))))
  (exp (* 2 (sqrt x)))
  (exp 2)
  (exp 2)
  2
  (* -2 x)
  (* -2 x)
  (exp (exp (* -2 x)))
  (pow (exp (- x)) 6)
  (pow (cbrt (exp (- x))) 4)
  (cbrt (exp (* -2 x)))
  (pow (exp (- x)) 6)
  (fabs (exp (- x)))
  (fabs (exp (- x)))
  1
  (exp (* x 2))
  1
  (exp (* x 2))
  1
  (exp (* x 2))
  1
  (exp (* x 2))
  (pow (cbrt (exp (- x))) 4)
  (cbrt (exp (* -2 x)))
  (exp (- x))
  (exp (- x))
  1
  (exp (* -2 x))
  (exp (- x))
  (exp (- x))
  2
  (* (cbrt (- x)) 2)
  (* (sqrt (- x)) 2)
  (* -2 x)
  (* -2 x)
  (* x 2)
  (* 2 (cbrt x))
  (* 2 (sqrt x))
  (* x 2)
  (* -2 (cbrt x))
  (* -2 (sqrt x))
  (* -2 x)
  (* -2 x)
  (* (exp (- x)) (cbrt (exp (* -2 x))))
  (pow (sqrt (exp (- x))) 3)
  (exp (- x))
  (pow (cbrt (exp (- x))) 4)
  (pow (sqrt (exp (- x))) 3)
  (exp (* -2 x))
  (exp (- x))
  (exp (- x))
  (exp (- x))
  (exp (- x))
  (expm1 (pow (exp x) 3))
  (log1p (pow (exp x) 3))
  (* x 3)
  (* x 3)
  3
  (* 3 (cbrt x))
  (* 3 (sqrt x))
  (* x 3)
  (pow (exp x) (* (cbrt 3) (cbrt 3)))
  (pow (exp x) (sqrt 3))
  (exp x)
  (exp (* x 2))
  (exp x)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  1
  (pow (exp x) 3)
  (exp (* x 2))
  (* x 3)
  (exp (pow (exp x) 3))
  (exp (* x 2))
  (exp x)
  (pow (pow (exp x) 3) 3)
  (exp (* x 2))
  (exp x)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  1
  (pow (exp x) 3)
  (exp (* x 2))
  (sqrt (pow (exp x) 3))
  (sqrt (pow (exp x) 3))
  (pow (exp x) 3/2)
  (pow (exp x) 3/2)
  (fma x 2 (fma (pow x 3) 4/3 (* (* 2 x) x)))
  (expm1 (+ x x))
  (expm1 (+ x x))
  (fma -3 x (fma 9/2 (pow x 2) 1))
  (exp (* x -3))
  (pow (exp (- x)) 3)
  (fma -2 x (fma (* 2 x) x 1))
  (exp (* -2 x))
  (pow (exp (- x)) 2)
  (fma x 3 (fma 9/2 (pow x 2) 1))
  (pow (exp x) 3)
  (pow (exp x) 3)
15.546 * * * [progress]: adding candidates to table
16.423 * [progress]: [Phase 3 of 3] Extracting.
16.423 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x))))> #<alt (λ (x y) (/ (/ (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (cos y)) 2.0) (+ (* (exp (- x)) (exp (- x))) (fma (exp x) (exp x) -1))))>)
16.425 * * * [regime-changes]: Trying 2 branch expressions: (y x)
16.426 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x))))> #<alt (λ (x y) (/ (/ (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (cos y)) 2.0) (+ (* (exp (- x)) (exp (- x))) (fma (exp x) (exp x) -1))))>)
16.486 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x))))> #<alt (λ (x y) (/ (/ (* (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (cos y)) 2.0) (+ (* (exp (- x)) (exp (- x))) (fma (exp x) (exp x) -1))))>)
16.514 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
16.514 * [simplify]: Simplifying:
  (* (/ (cos y) 2.0) (+ (exp (- x)) (exp x)))
16.514 * * [simplify]: iteration 0: 10 enodes
16.515 * * [simplify]: iteration 1: 12 enodes
16.515 * * [simplify]: iteration complete: 12 enodes
16.515 * * [simplify]: Extracting #0: cost 1 inf + 0
16.515 * * [simplify]: Extracting #1: cost 3 inf + 0
16.515 * * [simplify]: Extracting #2: cost 7 inf + 0
16.515 * * [simplify]: Extracting #3: cost 9 inf + 1
16.515 * * [simplify]: Extracting #4: cost 3 inf + 16
16.515 * * [simplify]: Extracting #5: cost 0 inf + 33
16.516 * [simplify]: Simplified to:
  (* (+ (exp x) (exp (- x))) (/ (cos y) 2.0))
16.516 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
16.657 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
16.660 * * * * [points]: Setting MPFR precision to 64
16.661 * * * * [points]: Setting MPFR precision to 320
16.661 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
16.664 * * * * [points]: Setting MPFR precision to 64
16.665 * * * * [points]: Setting MPFR precision to 320
16.672 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
16.674 * * * * [points]: Setting MPFR precision to 64
16.680 * * * * [points]: Setting MPFR precision to 320
16.686 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
16.691 * * * * [points]: Setting MPFR precision to 64
16.702 * * * * [points]: Setting MPFR precision to 320
16.711 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
16.713 * * * * [points]: Setting MPFR precision to 64
16.725 * * * * [points]: Setting MPFR precision to 320
16.741 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
16.743 * * * * [points]: Setting MPFR precision to 64
16.785 * * * * [points]: Setting MPFR precision to 320
16.826 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
16.829 * * * * [points]: Setting MPFR precision to 64
16.908 * * * * [points]: Setting MPFR precision to 320
16.969 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
16.975 * * * * [points]: Setting MPFR precision to 64
17.203 * * * * [points]: Setting MPFR precision to 320
17.417 * * * * [points]: Computing exacts for 8000 points
17.422 * * * * [points]: Setting MPFR precision to 64
18.299 * * * * [points]: Setting MPFR precision to 320
19.138 * * * * [points]: Filtering points with unrepresentable outputs
19.141 * * * * [points]: Sampling 3926 additional inputs, on iter 1 have 4074 / 8000
19.242 * * * * [points]: Computing exacts on every 245 of 3926 points to ramp up precision
19.246 * * * * [points]: Setting MPFR precision to 64
19.248 * * * * [points]: Setting MPFR precision to 320
19.250 * * * * [points]: Computing exacts on every 122 of 3926 points to ramp up precision
19.254 * * * * [points]: Setting MPFR precision to 64
19.257 * * * * [points]: Setting MPFR precision to 320
19.260 * * * * [points]: Computing exacts on every 61 of 3926 points to ramp up precision
19.265 * * * * [points]: Setting MPFR precision to 64
19.270 * * * * [points]: Setting MPFR precision to 320
19.276 * * * * [points]: Computing exacts on every 30 of 3926 points to ramp up precision
19.281 * * * * [points]: Setting MPFR precision to 64
19.293 * * * * [points]: Setting MPFR precision to 320
19.305 * * * * [points]: Computing exacts on every 15 of 3926 points to ramp up precision
19.309 * * * * [points]: Setting MPFR precision to 64
19.328 * * * * [points]: Setting MPFR precision to 320
19.342 * * * * [points]: Computing exacts on every 7 of 3926 points to ramp up precision
19.344 * * * * [points]: Setting MPFR precision to 64
19.374 * * * * [points]: Setting MPFR precision to 320
19.459 * * * * [points]: Computing exacts on every 3 of 3926 points to ramp up precision
19.467 * * * * [points]: Setting MPFR precision to 64
19.542 * * * * [points]: Setting MPFR precision to 320
19.614 * * * * [points]: Computing exacts for 3926 points
19.619 * * * * [points]: Setting MPFR precision to 64
20.404 * * * * [points]: Setting MPFR precision to 320
20.793 * * * * [points]: Filtering points with unrepresentable outputs
20.796 * * * * [points]: Sampling 1990 additional inputs, on iter 2 have 6010 / 8000
20.827 * * * * [points]: Computing exacts on every 124 of 1990 points to ramp up precision
20.830 * * * * [points]: Setting MPFR precision to 64
20.831 * * * * [points]: Setting MPFR precision to 320
20.832 * * * * [points]: Computing exacts on every 62 of 1990 points to ramp up precision
20.834 * * * * [points]: Setting MPFR precision to 64
20.836 * * * * [points]: Setting MPFR precision to 320
20.838 * * * * [points]: Computing exacts on every 31 of 1990 points to ramp up precision
20.840 * * * * [points]: Setting MPFR precision to 64
20.844 * * * * [points]: Setting MPFR precision to 320
20.847 * * * * [points]: Computing exacts on every 15 of 1990 points to ramp up precision
20.849 * * * * [points]: Setting MPFR precision to 64
20.855 * * * * [points]: Setting MPFR precision to 320
20.862 * * * * [points]: Computing exacts on every 7 of 1990 points to ramp up precision
20.865 * * * * [points]: Setting MPFR precision to 64
20.896 * * * * [points]: Setting MPFR precision to 320
20.912 * * * * [points]: Computing exacts on every 3 of 1990 points to ramp up precision
20.917 * * * * [points]: Setting MPFR precision to 64
20.951 * * * * [points]: Setting MPFR precision to 320
20.984 * * * * [points]: Computing exacts for 1990 points
20.989 * * * * [points]: Setting MPFR precision to 64
21.174 * * * * [points]: Setting MPFR precision to 320
21.370 * * * * [points]: Filtering points with unrepresentable outputs
21.371 * * * * [points]: Sampling 961 additional inputs, on iter 3 have 7039 / 8000
21.387 * * * * [points]: Computing exacts on every 60 of 961 points to ramp up precision
21.391 * * * * [points]: Setting MPFR precision to 64
21.392 * * * * [points]: Setting MPFR precision to 320
21.392 * * * * [points]: Computing exacts on every 30 of 961 points to ramp up precision
21.395 * * * * [points]: Setting MPFR precision to 64
21.397 * * * * [points]: Setting MPFR precision to 320
21.399 * * * * [points]: Computing exacts on every 15 of 961 points to ramp up precision
21.401 * * * * [points]: Setting MPFR precision to 64
21.404 * * * * [points]: Setting MPFR precision to 320
21.407 * * * * [points]: Computing exacts on every 7 of 961 points to ramp up precision
21.410 * * * * [points]: Setting MPFR precision to 64
21.416 * * * * [points]: Setting MPFR precision to 320
21.422 * * * * [points]: Computing exacts on every 3 of 961 points to ramp up precision
21.425 * * * * [points]: Setting MPFR precision to 64
21.442 * * * * [points]: Setting MPFR precision to 320
21.465 * * * * [points]: Computing exacts for 961 points
21.470 * * * * [points]: Setting MPFR precision to 64
21.587 * * * * [points]: Setting MPFR precision to 320
21.667 * * * * [points]: Filtering points with unrepresentable outputs
21.668 * * * * [points]: Sampling 501 additional inputs, on iter 4 have 7499 / 8000
21.675 * * * * [points]: Computing exacts on every 31 of 501 points to ramp up precision
21.678 * * * * [points]: Setting MPFR precision to 64
21.679 * * * * [points]: Setting MPFR precision to 320
21.680 * * * * [points]: Computing exacts on every 15 of 501 points to ramp up precision
21.682 * * * * [points]: Setting MPFR precision to 64
21.684 * * * * [points]: Setting MPFR precision to 320
21.685 * * * * [points]: Computing exacts on every 7 of 501 points to ramp up precision
21.688 * * * * [points]: Setting MPFR precision to 64
21.733 * * * * [points]: Setting MPFR precision to 320
21.736 * * * * [points]: Computing exacts on every 3 of 501 points to ramp up precision
21.738 * * * * [points]: Setting MPFR precision to 64
21.746 * * * * [points]: Setting MPFR precision to 320
21.753 * * * * [points]: Computing exacts for 501 points
21.757 * * * * [points]: Setting MPFR precision to 64
21.796 * * * * [points]: Setting MPFR precision to 320
21.840 * * * * [points]: Filtering points with unrepresentable outputs
21.840 * * * * [points]: Sampling 234 additional inputs, on iter 5 have 7766 / 8000
21.846 * * * * [points]: Computing exacts on every 14 of 234 points to ramp up precision
21.849 * * * * [points]: Setting MPFR precision to 64
21.851 * * * * [points]: Setting MPFR precision to 320
21.852 * * * * [points]: Computing exacts on every 7 of 234 points to ramp up precision
21.856 * * * * [points]: Setting MPFR precision to 64
21.859 * * * * [points]: Setting MPFR precision to 320
21.862 * * * * [points]: Computing exacts on every 3 of 234 points to ramp up precision
21.866 * * * * [points]: Setting MPFR precision to 64
21.871 * * * * [points]: Setting MPFR precision to 320
21.877 * * * * [points]: Computing exacts for 234 points
21.880 * * * * [points]: Setting MPFR precision to 64
21.898 * * * * [points]: Setting MPFR precision to 320
21.967 * * * * [points]: Filtering points with unrepresentable outputs
21.968 * * * * [points]: Sampling 114 additional inputs, on iter 6 have 7886 / 8000
21.970 * * * * [points]: Computing exacts on every 7 of 114 points to ramp up precision
21.975 * * * * [points]: Setting MPFR precision to 64
21.977 * * * * [points]: Setting MPFR precision to 320
21.978 * * * * [points]: Computing exacts on every 3 of 114 points to ramp up precision
21.982 * * * * [points]: Setting MPFR precision to 64
21.984 * * * * [points]: Setting MPFR precision to 320
21.986 * * * * [points]: Computing exacts for 114 points
21.990 * * * * [points]: Setting MPFR precision to 64
22.000 * * * * [points]: Setting MPFR precision to 320
22.012 * * * * [points]: Filtering points with unrepresentable outputs
22.012 * * * * [points]: Sampling 54 additional inputs, on iter 7 have 7946 / 8000
22.014 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
22.019 * * * * [points]: Setting MPFR precision to 64
22.020 * * * * [points]: Setting MPFR precision to 320
22.021 * * * * [points]: Computing exacts for 54 points
22.026 * * * * [points]: Setting MPFR precision to 64
22.030 * * * * [points]: Setting MPFR precision to 320
22.035 * * * * [points]: Filtering points with unrepresentable outputs
22.035 * * * * [points]: Sampling 25 additional inputs, on iter 8 have 7975 / 8000
22.036 * * * * [points]: Computing exacts for 25 points
22.041 * * * * [points]: Setting MPFR precision to 64
22.043 * * * * [points]: Setting MPFR precision to 320
22.046 * * * * [points]: Filtering points with unrepresentable outputs
22.046 * * * * [points]: Sampling 8 additional inputs, on iter 9 have 7992 / 8000
22.046 * * * * [points]: Computing exacts for 8 points
22.051 * * * * [points]: Setting MPFR precision to 64
22.051 * * * * [points]: Setting MPFR precision to 320
22.052 * * * * [points]: Filtering points with unrepresentable outputs
22.052 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7996 / 8000
22.052 * * * * [points]: Computing exacts for 4 points
22.057 * * * * [points]: Setting MPFR precision to 64
22.057 * * * * [points]: Setting MPFR precision to 320
22.058 * * * * [points]: Filtering points with unrepresentable outputs
22.058 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7998 / 8000
22.058 * * * * [points]: Computing exacts for 4 points
22.062 * * * * [points]: Setting MPFR precision to 64
22.063 * * * * [points]: Setting MPFR precision to 320
22.063 * * * * [points]: Filtering points with unrepresentable outputs
22.063 * * * * [points]: Sampled 8000 points with exact outputs
22.540 * [regime-testing]: Baseline error score: 0.01027124062518029
22.542 * [regime-testing]: Oracle error score: 0.006625
22.546 * [regime-testing]: End program error score: 0.01027124062518029