1537028875.937 * [misc]progress:  [Phase 1 of 3] Setting up.
1537028875.937 * * * [misc]progress:  [1/2] Preparing points
1537028875.937 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1537028875.982 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028875.982 * * * * [exit]points:  Sampled 256 points with exact outputs
1537028875.982 * * * [misc]progress:  [2/2] Setting up program.
1537028875.990 * [misc]progress:  [Phase 2 of 3] Improving.
1537028875.991 * [enter]simplify:  Simplifying (/ 2 (+ (exp x) (exp (- x))))
1537028875.992 * * [misc]simplify:  iters left: 6 (7 enodes)
1537028875.995 * * [misc]simplify:  iters left: 5 (10 enodes)
1537028875.997 * * [misc]simplify:  iters left: 4 (12 enodes)
1537028875.999 * [exit]simplify:  Simplified to (/ 2 (+ (exp x) (exp (- x))))
1537028876.007 * * [misc]progress:  iteration 1 / 4
1537028876.007 * * * [misc]progress:  picking best candidate
1537028876.011 * * * * [misc]pick:  Picked  #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>
1537028876.011 * * * [misc]progress:  localizing error
1537028876.029 * * * [misc]progress:  generating rewritten candidates
1537028876.029 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1537028876.152 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 2)
1537028876.206 * * * [misc]progress:  generating series expansions
1537028876.206 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1537028876.206 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp x) (exp (- x)))) into (/ 2 (+ (exp x) (exp (- x))))
1537028876.206 * [misc]approximate:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in (x) around 0
1537028876.206 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x
1537028876.206 * [misc]taylor:  Taking taylor expansion of 2 in x
1537028876.206 * [misc]backup-simplify:  Simplify 2 into 2
1537028876.206 * [misc]taylor:  Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1537028876.206 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1537028876.206 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.206 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.206 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.206 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028876.206 * [misc]taylor:  Taking taylor expansion of (exp (- x)) in x
1537028876.206 * [misc]taylor:  Taking taylor expansion of (- x) in x
1537028876.206 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.206 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.206 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.206 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028876.207 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.207 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028876.207 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1537028876.207 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1537028876.207 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x
1537028876.207 * [misc]taylor:  Taking taylor expansion of 2 in x
1537028876.207 * [misc]backup-simplify:  Simplify 2 into 2
1537028876.207 * [misc]taylor:  Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1537028876.207 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1537028876.207 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.207 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.207 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.207 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028876.207 * [misc]taylor:  Taking taylor expansion of (exp (- x)) in x
1537028876.207 * [misc]taylor:  Taking taylor expansion of (- x) in x
1537028876.207 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.207 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.207 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.207 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028876.207 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.207 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028876.207 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1537028876.207 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1537028876.208 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.208 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1537028876.209 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.209 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1537028876.209 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1537028876.210 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
1537028876.210 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.211 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1537028876.211 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.211 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028876.213 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1537028876.213 * [misc]backup-simplify:  Simplify (+ 1/2 1/2) into 1
1537028876.213 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/2
1537028876.213 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1537028876.215 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1537028876.215 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.216 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.216 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028876.216 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028876.220 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
1537028876.220 * [misc]backup-simplify:  Simplify (+ 1/6 -1/6) into 0
1537028876.220 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/2 (/ 0 2)))) into 0
1537028876.220 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.227 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1537028876.227 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.227 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.227 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028876.227 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.228 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028876.228 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028876.228 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028876.234 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1537028876.234 * [misc]backup-simplify:  Simplify (+ 1/24 1/24) into 1/12
1537028876.235 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/2 (/ 1 2)) (* 0 (/ 0 2)))) into 5/24
1537028876.235 * [misc]backup-simplify:  Simplify 5/24 into 5/24
1537028876.235 * [misc]backup-simplify:  Simplify (+ (* 5/24 (pow x 4)) (+ (* -1/2 (pow x 2)) 1)) into (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2)))
1537028876.236 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1537028876.236 * [misc]approximate:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
1537028876.236 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
1537028876.236 * [misc]taylor:  Taking taylor expansion of 2 in x
1537028876.236 * [misc]backup-simplify:  Simplify 2 into 2
1537028876.236 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1537028876.236 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028876.236 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028876.236 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.236 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.236 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.236 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028876.236 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028876.236 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 x))) in x
1537028876.236 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1537028876.236 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028876.236 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.236 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.236 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.236 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028876.237 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.237 * [misc]backup-simplify:  Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1537028876.237 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1537028876.237 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1537028876.237 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
1537028876.237 * [misc]taylor:  Taking taylor expansion of 2 in x
1537028876.237 * [misc]backup-simplify:  Simplify 2 into 2
1537028876.237 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1537028876.237 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028876.237 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028876.237 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.237 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.237 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.238 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028876.238 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028876.238 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 x))) in x
1537028876.238 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1537028876.238 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028876.238 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.238 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.238 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.238 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028876.238 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.238 * [misc]backup-simplify:  Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1537028876.238 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1537028876.239 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1537028876.239 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1537028876.239 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.240 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1537028876.240 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.240 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.240 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1537028876.240 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.241 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.241 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1537028876.242 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.242 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.243 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1537028876.243 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.243 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.244 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1537028876.244 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.244 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.246 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1537028876.246 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.246 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ 2 (+ (exp x) (exp (- x))))
1537028876.247 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1537028876.247 * [misc]approximate:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
1537028876.247 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1537028876.247 * [misc]taylor:  Taking taylor expansion of 2 in x
1537028876.247 * [misc]backup-simplify:  Simplify 2 into 2
1537028876.247 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1537028876.247 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028876.247 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028876.247 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.247 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.247 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.247 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028876.247 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028876.247 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1537028876.247 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1537028876.247 * [misc]taylor:  Taking taylor expansion of -1 in x
1537028876.247 * [misc]backup-simplify:  Simplify -1 into -1
1537028876.247 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.247 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.247 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.248 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1537028876.248 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1537028876.248 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1537028876.248 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1537028876.248 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1537028876.248 * [misc]taylor:  Taking taylor expansion of 2 in x
1537028876.248 * [misc]backup-simplify:  Simplify 2 into 2
1537028876.248 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1537028876.248 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028876.248 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028876.248 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.248 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.248 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.248 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028876.249 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028876.249 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1537028876.249 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1537028876.249 * [misc]taylor:  Taking taylor expansion of -1 in x
1537028876.249 * [misc]backup-simplify:  Simplify -1 into -1
1537028876.249 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.249 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.249 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.249 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1537028876.249 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1537028876.249 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1537028876.249 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1537028876.250 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1537028876.250 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.250 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1537028876.250 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.251 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.251 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1537028876.251 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.251 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.252 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1537028876.252 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.252 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.252 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1537028876.253 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.253 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.253 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1537028876.253 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.253 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.254 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1537028876.254 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.254 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2 (+ (exp (* -1 x)) (exp x)))
1537028876.254 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 2)
1537028876.254 * [misc]backup-simplify:  Simplify (+ (exp x) (exp (- x))) into (+ (exp x) (exp (- x)))
1537028876.255 * [misc]approximate:  Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0
1537028876.255 * [misc]taylor:  Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1537028876.255 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1537028876.255 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.255 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.255 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.255 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028876.255 * [misc]taylor:  Taking taylor expansion of (exp (- x)) in x
1537028876.255 * [misc]taylor:  Taking taylor expansion of (- x) in x
1537028876.255 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.255 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.255 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.255 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028876.255 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.255 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028876.255 * [misc]taylor:  Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1537028876.255 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1537028876.255 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.255 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.255 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.255 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028876.255 * [misc]taylor:  Taking taylor expansion of (exp (- x)) in x
1537028876.255 * [misc]taylor:  Taking taylor expansion of (- x) in x
1537028876.255 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.255 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.255 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.255 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028876.255 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.255 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028876.255 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1537028876.256 * [misc]backup-simplify:  Simplify 2 into 2
1537028876.256 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1537028876.257 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.257 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1537028876.257 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1537028876.258 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.259 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1537028876.259 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.259 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028876.261 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1537028876.261 * [misc]backup-simplify:  Simplify (+ 1/2 1/2) into 1
1537028876.261 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.263 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1537028876.263 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.263 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.263 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028876.263 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028876.266 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
1537028876.266 * [misc]backup-simplify:  Simplify (+ 1/6 -1/6) into 0
1537028876.266 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.269 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1537028876.270 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.270 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.270 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028876.270 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.270 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028876.270 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028876.270 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028876.274 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1537028876.274 * [misc]backup-simplify:  Simplify (+ 1/24 1/24) into 1/12
1537028876.274 * [misc]backup-simplify:  Simplify 1/12 into 1/12
1537028876.274 * [misc]backup-simplify:  Simplify (+ (* 1/12 (pow x 4)) (+ (* 1 (pow x 2)) 2)) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
1537028876.274 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1537028876.275 * [misc]approximate:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
1537028876.275 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1537028876.275 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028876.275 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028876.275 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.275 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.275 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.275 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028876.275 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028876.275 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 x))) in x
1537028876.275 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1537028876.275 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028876.275 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.275 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.275 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.275 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028876.275 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.275 * [misc]backup-simplify:  Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1537028876.275 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1537028876.275 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028876.275 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028876.275 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.275 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.275 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.275 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028876.275 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028876.275 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 x))) in x
1537028876.275 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1537028876.275 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028876.275 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.276 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.276 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.276 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028876.276 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028876.276 * [misc]backup-simplify:  Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1537028876.276 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1537028876.276 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1537028876.276 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.276 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.276 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.276 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.276 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.276 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.277 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.277 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.277 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.277 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.277 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.277 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.277 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (+ (exp x) (exp (- x)))
1537028876.277 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1537028876.277 * [misc]approximate:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0
1537028876.277 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1537028876.277 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028876.277 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028876.277 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.277 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.277 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.277 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028876.277 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028876.277 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1537028876.277 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1537028876.278 * [misc]taylor:  Taking taylor expansion of -1 in x
1537028876.278 * [misc]backup-simplify:  Simplify -1 into -1
1537028876.278 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.278 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.278 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.278 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1537028876.278 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1537028876.278 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1537028876.278 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028876.278 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028876.278 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.278 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.278 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.278 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028876.278 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028876.278 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1537028876.278 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1537028876.278 * [misc]taylor:  Taking taylor expansion of -1 in x
1537028876.278 * [misc]backup-simplify:  Simplify -1 into -1
1537028876.278 * [misc]taylor:  Taking taylor expansion of x in x
1537028876.278 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.278 * [misc]backup-simplify:  Simplify 1 into 1
1537028876.278 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1537028876.278 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1537028876.278 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1537028876.278 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1537028876.279 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.279 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.279 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.279 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.279 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.279 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.279 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.279 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.279 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.279 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.279 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028876.279 * [misc]backup-simplify:  Simplify 0 into 0
1537028876.279 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))) into (+ (exp (* -1 x)) (exp x))
1537028876.279 * * * [misc]progress:  simplifying candidates
1537028876.279 * * * * [misc]progress:  [ 1 / 41 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (/ 2 (+ (exp x) (exp (- x)))))))>
1537028876.280 * * * * [misc]progress:  [ 2 / 41 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (/ 2 (+ (exp x) (exp (- x)))))))>
1537028876.280 * * * * [misc]progress:  [ 3 / 41 ] simplifiying candidate #<alt (λ (x) (pow (/ 2 (+ (exp x) (exp (- x)))) 1))>
1537028876.280 * * * * [misc]progress:  [ 4 / 41 ] simplifiying candidate #<alt (λ (x) (exp (log (/ 2 (+ (exp x) (exp (- x)))))))>
1537028876.280 * * * * [misc]progress:  [ 5 / 41 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))>
1537028876.280 * * * * [misc]progress:  [ 6 / 41 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))))>
1537028876.280 * * * * [misc]progress:  [ 7 / 41 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (/ 2 (+ (exp x) (exp (- x)))) (/ 2 (+ (exp x) (exp (- x))))) (/ 2 (+ (exp x) (exp (- x)))))))>
1537028876.280 * * * * [misc]progress:  [ 8 / 41 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (sqrt (/ 2 (+ (exp x) (exp (- x)))))))>
1537028876.280 * * * * [misc]progress:  [ 9 / 41 ] simplifiying candidate #<alt (λ (x) (/ (- 2) (- (+ (exp x) (exp (- x))))))>
1537028876.280 * * * * [misc]progress:  [ 10 / 41 ] simplifiying candidate #<alt (λ (x) (* 1 (/ 2 (+ (exp x) (exp (- x))))))>
1537028876.280 * * * * [misc]progress:  [ 11 / 41 ] simplifiying candidate #<alt (λ (x) (* 2 (/ 1 (+ (exp x) (exp (- x))))))>
1537028876.280 * * * * [misc]progress:  [ 12 / 41 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (+ (exp x) (exp (- x))) 2)))>
1537028876.280 * * * * [misc]progress:  [ 13 / 41 ] simplifiying candidate #<alt (λ (x) (/ (/ 2 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (cbrt (+ (exp x) (exp (- x))))))>
1537028876.280 * [enter]simplify:  Simplifying (cbrt (+ (exp x) (exp (- x))))
1537028876.281 * * [misc]simplify:  iters left: 6 (6 enodes)
1537028876.282 * * [misc]simplify:  iters left: 5 (9 enodes)
1537028876.283 * * [misc]simplify:  iters left: 4 (11 enodes)
1537028876.287 * [exit]simplify:  Simplified to (cbrt (+ (exp x) (exp (- x))))
1537028876.287 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ 2 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (cbrt (+ (exp x) (exp (- x))))))
1537028876.287 * * * * [misc]progress:  [ 14 / 41 ] simplifiying candidate #<alt (λ (x) (/ (/ 2 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))))>
1537028876.287 * [enter]simplify:  Simplifying (sqrt (+ (exp x) (exp (- x))))
1537028876.291 * * [misc]simplify:  iters left: 6 (6 enodes)
1537028876.294 * * [misc]simplify:  iters left: 5 (9 enodes)
1537028876.297 * * [misc]simplify:  iters left: 4 (11 enodes)
1537028876.301 * [exit]simplify:  Simplified to (sqrt (+ (exp x) (exp (- x))))
1537028876.301 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ 2 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))))
1537028876.301 * * * * [misc]progress:  [ 15 / 41 ] simplifiying candidate #<alt (λ (x) (/ (/ 2 1) (+ (exp x) (exp (- x)))))>
1537028876.301 * [enter]simplify:  Simplifying (+ (exp x) (exp (- x)))
1537028876.302 * * [misc]simplify:  iters left: 5 (5 enodes)
1537028876.304 * * [misc]simplify:  iters left: 4 (8 enodes)
1537028876.306 * * [misc]simplify:  iters left: 3 (10 enodes)
1537028876.309 * [exit]simplify:  Simplified to (+ (exp x) (exp (- x)))
1537028876.309 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ 2 1) (+ (exp x) (exp (- x)))))
1537028876.309 * * * * [misc]progress:  [ 16 / 41 ] simplifiying candidate #<alt (λ (x) (/ (/ 2 1) (+ (exp x) (exp (- x)))))>
1537028876.310 * [enter]simplify:  Simplifying (+ (exp x) (exp (- x)))
1537028876.310 * * [misc]simplify:  iters left: 5 (5 enodes)
1537028876.312 * * [misc]simplify:  iters left: 4 (8 enodes)
1537028876.315 * * [misc]simplify:  iters left: 3 (10 enodes)
1537028876.318 * [exit]simplify:  Simplified to (+ (exp x) (exp (- x)))
1537028876.318 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ 2 1) (+ (exp x) (exp (- x)))))
1537028876.318 * * * * [misc]progress:  [ 17 / 41 ] simplifiying candidate #<alt (λ (x) (* (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))))>
1537028876.318 * [enter]simplify:  Simplifying (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
1537028876.319 * * [misc]simplify:  iters left: 6 (9 enodes)
1537028876.326 * * [misc]simplify:  iters left: 5 (27 enodes)
1537028876.342 * * [misc]simplify:  iters left: 4 (59 enodes)
1537028876.366 * * [misc]simplify:  iters left: 3 (98 enodes)
1537028876.414 * * [misc]simplify:  iters left: 2 (197 enodes)
1537028876.522 * * [misc]simplify:  iters left: 1 (350 enodes)
1537028876.653 * [exit]simplify:  Simplified to (fma (exp (- x)) (exp (- x)) (expm1 (+ x x)))
1537028876.653 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (fma (exp (- x)) (exp (- x)) (expm1 (+ x x)))))
1537028876.653 * * * * [misc]progress:  [ 18 / 41 ] simplifiying candidate #<alt (λ (x) (* (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (- (exp x) (exp (- x)))))>
1537028876.653 * [enter]simplify:  Simplifying (- (exp x) (exp (- x)))
1537028876.654 * * [misc]simplify:  iters left: 5 (5 enodes)
1537028876.656 * * [misc]simplify:  iters left: 4 (9 enodes)
1537028876.661 * * [misc]simplify:  iters left: 3 (15 enodes)
1537028876.665 * [exit]simplify:  Simplified to (+ (/ -1 (exp x)) (exp x))
1537028876.665 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (+ (/ -1 (exp x)) (exp x))))
1537028876.665 * * * * [misc]progress:  [ 19 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (log1p (expm1 (+ (exp x) (exp (- x)))))))>
1537028876.665 * * * * [misc]progress:  [ 20 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (expm1 (log1p (+ (exp x) (exp (- x)))))))>
1537028876.665 * * * * [misc]progress:  [ 21 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (exp (- x)))))>
1537028876.665 * [enter]simplify:  Simplifying (* (cbrt (exp x)) (cbrt (exp x)))
1537028876.666 * * [misc]simplify:  iters left: 4 (4 enodes)
1537028876.668 * [exit]simplify:  Simplified to (* (cbrt (exp x)) (cbrt (exp x)))
1537028876.668 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (/ 2 (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (exp (- x)))))
1537028876.668 * * * * [misc]progress:  [ 22 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))))>
1537028876.668 * [enter]simplify:  Simplifying (sqrt (exp x))
1537028876.668 * * [misc]simplify:  iters left: 2 (3 enodes)
1537028876.669 * [exit]simplify:  Simplified to (sqrt (exp x))
1537028876.669 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (/ 2 (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))))
1537028876.669 * * * * [misc]progress:  [ 23 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (fma 1 (exp x) (exp (- x)))))>
1537028876.669 * * * * [misc]progress:  [ 24 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (log (* (exp (exp x)) (exp (exp (- x)))))))>
1537028876.670 * [enter]simplify:  Simplifying (* (exp (exp x)) (exp (exp (- x))))
1537028876.670 * * [misc]simplify:  iters left: 6 (7 enodes)
1537028876.673 * * [misc]simplify:  iters left: 5 (12 enodes)
1537028876.677 * * [misc]simplify:  iters left: 4 (16 enodes)
1537028876.683 * [exit]simplify:  Simplified to (exp (+ (exp x) (exp (- x))))
1537028876.683 * [misc]simplify:  Simplified (2 2 1) to (λ (x) (/ 2 (log (exp (+ (exp x) (exp (- x)))))))
1537028876.683 * * * * [misc]progress:  [ 25 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (pow (+ (exp x) (exp (- x))) 1)))>
1537028876.683 * * * * [misc]progress:  [ 26 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (exp (log (+ (exp x) (exp (- x)))))))>
1537028876.683 * * * * [misc]progress:  [ 27 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (log (exp (+ (exp x) (exp (- x)))))))>
1537028876.683 * * * * [misc]progress:  [ 28 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (* (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))))))>
1537028876.683 * * * * [misc]progress:  [ 29 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (cbrt (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))))>
1537028876.683 * * * * [misc]progress:  [ 30 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))))))>
1537028876.683 * * * * [misc]progress:  [ 31 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (/ (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))))>
1537028876.683 * * * * [misc]progress:  [ 32 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (* 1 (+ (exp x) (exp (- x))))))>
1537028876.683 * * * * [misc]progress:  [ 33 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (/ (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (exp x) (exp (- x))))))>
1537028876.683 * * * * [misc]progress:  [ 34 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (* 1 (+ (exp x) (exp (- x))))))>
1537028876.684 * [enter]simplify:  Simplifying (+ (exp x) (exp (- x)))
1537028876.684 * * [misc]simplify:  iters left: 5 (5 enodes)
1537028876.686 * * [misc]simplify:  iters left: 4 (8 enodes)
1537028876.689 * * [misc]simplify:  iters left: 3 (10 enodes)
1537028876.692 * [exit]simplify:  Simplified to (+ (exp x) (exp (- x)))
1537028876.692 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (/ 2 (* 1 (+ (exp x) (exp (- x))))))
1537028876.692 * * * * [misc]progress:  [ 35 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (+ (exp (- x)) (exp x))))>
1537028876.692 * * * * [misc]progress:  [ 36 / 41 ] simplifiying candidate #<alt (λ (x) (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))))>
1537028876.692 * [enter]simplify:  Simplifying (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2)))
1537028876.693 * * [misc]simplify:  iters left: 6 (12 enodes)
1537028876.699 * * [misc]simplify:  iters left: 5 (23 enodes)
1537028876.710 * * [misc]simplify:  iters left: 4 (45 enodes)
1537028876.731 * * [misc]simplify:  iters left: 3 (65 enodes)
1537028876.753 * * [misc]simplify:  iters left: 2 (91 enodes)
1537028876.778 * * [misc]simplify:  iters left: 1 (104 enodes)
1537028876.819 * [exit]simplify:  Simplified to (fma 5/24 (pow x 4) (fma (* x x) -1/2 1))
1537028876.819 * [misc]simplify:  Simplified (2) to (λ (x) (fma 5/24 (pow x 4) (fma (* x x) -1/2 1)))
1537028876.819 * * * * [misc]progress:  [ 37 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>
1537028876.820 * [enter]simplify:  Simplifying (/ 2 (+ (exp x) (exp (- x))))
1537028876.821 * * [misc]simplify:  iters left: 6 (7 enodes)
1537028876.823 * * [misc]simplify:  iters left: 5 (10 enodes)
1537028876.826 * * [misc]simplify:  iters left: 4 (12 enodes)
1537028876.830 * [exit]simplify:  Simplified to (/ 2 (+ (exp x) (exp (- x))))
1537028876.831 * [misc]simplify:  Simplified (2) to (λ (x) (/ 2 (+ (exp x) (exp (- x)))))
1537028876.831 * * * * [misc]progress:  [ 38 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (+ (exp (* -1 x)) (exp x))))>
1537028876.831 * [enter]simplify:  Simplifying (/ 2 (+ (exp (* -1 x)) (exp x)))
1537028876.832 * * [misc]simplify:  iters left: 6 (8 enodes)
1537028876.836 * * [misc]simplify:  iters left: 5 (13 enodes)
1537028876.838 * * [misc]simplify:  iters left: 4 (15 enodes)
1537028876.841 * * [misc]simplify:  iters left: 3 (18 enodes)
1537028876.844 * [exit]simplify:  Simplified to (/ 2 (+ (exp x) (exp (- x))))
1537028876.844 * [misc]simplify:  Simplified (2) to (λ (x) (/ 2 (+ (exp x) (exp (- x)))))
1537028876.844 * * * * [misc]progress:  [ 39 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))))>
1537028876.844 * [enter]simplify:  Simplifying (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
1537028876.844 * * [misc]simplify:  iters left: 6 (9 enodes)
1537028876.848 * * [misc]simplify:  iters left: 5 (16 enodes)
1537028876.852 * * [misc]simplify:  iters left: 4 (25 enodes)
1537028876.856 * * [misc]simplify:  iters left: 3 (31 enodes)
1537028876.860 * [exit]simplify:  Simplified to (fma (pow x 4) 1/12 (fma x x 2))
1537028876.860 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ 2 (fma (pow x 4) 1/12 (fma x x 2))))
1537028876.860 * * * * [misc]progress:  [ 40 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>
1537028876.860 * [enter]simplify:  Simplifying (+ (exp x) (exp (- x)))
1537028876.861 * * [misc]simplify:  iters left: 5 (5 enodes)
1537028876.862 * * [misc]simplify:  iters left: 4 (8 enodes)
1537028876.863 * * [misc]simplify:  iters left: 3 (10 enodes)
1537028876.865 * [exit]simplify:  Simplified to (+ (exp x) (exp (- x)))
1537028876.865 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ 2 (+ (exp x) (exp (- x)))))
1537028876.865 * * * * [misc]progress:  [ 41 / 41 ] simplifiying candidate #<alt (λ (x) (/ 2 (+ (exp (* -1 x)) (exp x))))>
1537028876.865 * [enter]simplify:  Simplifying (+ (exp (* -1 x)) (exp x))
1537028876.865 * * [misc]simplify:  iters left: 5 (6 enodes)
1537028876.867 * * [misc]simplify:  iters left: 4 (11 enodes)
1537028876.870 * * [misc]simplify:  iters left: 3 (13 enodes)
1537028876.872 * * [misc]simplify:  iters left: 2 (16 enodes)
1537028876.875 * [exit]simplify:  Simplified to (+ (exp (- x)) (exp x))
1537028876.875 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ 2 (+ (exp (- x)) (exp x))))
1537028876.875 * * * [misc]progress:  adding candidates to table
1537028877.497 * * [misc]progress:  iteration 2 / 4
1537028877.497 * * * [misc]progress:  picking best candidate
1537028877.502 * * * * [misc]pick:  Picked  #<alt (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))>
1537028877.502 * * * [misc]progress:  localizing error
1537028877.512 * * * [misc]progress:  generating rewritten candidates
1537028877.512 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1537028877.656 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1 1)
1537028877.775 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1 1 2)
1537028877.823 * * * [misc]progress:  generating series expansions
1537028877.823 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1537028877.823 * [misc]backup-simplify:  Simplify (log (exp (/ 2 (+ (exp x) (exp (- x)))))) into (/ 2 (+ (exp x) (exp (- x))))
1537028877.823 * [misc]approximate:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in (x) around 0
1537028877.823 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x
1537028877.823 * [misc]taylor:  Taking taylor expansion of 2 in x
1537028877.823 * [misc]backup-simplify:  Simplify 2 into 2
1537028877.823 * [misc]taylor:  Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1537028877.823 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1537028877.823 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.823 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.823 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.823 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028877.823 * [misc]taylor:  Taking taylor expansion of (exp (- x)) in x
1537028877.823 * [misc]taylor:  Taking taylor expansion of (- x) in x
1537028877.823 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.824 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.824 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.824 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.824 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.824 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028877.824 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1537028877.824 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1537028877.824 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x
1537028877.825 * [misc]taylor:  Taking taylor expansion of 2 in x
1537028877.825 * [misc]backup-simplify:  Simplify 2 into 2
1537028877.825 * [misc]taylor:  Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1537028877.825 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1537028877.825 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.825 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.825 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.825 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028877.825 * [misc]taylor:  Taking taylor expansion of (exp (- x)) in x
1537028877.825 * [misc]taylor:  Taking taylor expansion of (- x) in x
1537028877.825 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.825 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.825 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.825 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.825 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.825 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028877.825 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1537028877.826 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1537028877.826 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.827 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1537028877.827 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.829 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1537028877.829 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1537028877.829 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
1537028877.829 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.832 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1537028877.832 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.832 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.834 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1537028877.834 * [misc]backup-simplify:  Simplify (+ 1/2 1/2) into 1
1537028877.835 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/2
1537028877.835 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1537028877.839 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1537028877.839 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.839 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.839 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.839 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.843 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
1537028877.843 * [misc]backup-simplify:  Simplify (+ 1/6 -1/6) into 0
1537028877.844 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/2 (/ 0 2)))) into 0
1537028877.844 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.850 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1537028877.850 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.850 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.851 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.851 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.851 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.851 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.851 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.858 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1537028877.858 * [misc]backup-simplify:  Simplify (+ 1/24 1/24) into 1/12
1537028877.858 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/2 (/ 1 2)) (* 0 (/ 0 2)))) into 5/24
1537028877.858 * [misc]backup-simplify:  Simplify 5/24 into 5/24
1537028877.859 * [misc]backup-simplify:  Simplify (+ (* 5/24 (pow x 4)) (+ (* -1/2 (pow x 2)) 1)) into (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2)))
1537028877.859 * [misc]backup-simplify:  Simplify (log (exp (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1537028877.859 * [misc]approximate:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
1537028877.859 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
1537028877.859 * [misc]taylor:  Taking taylor expansion of 2 in x
1537028877.859 * [misc]backup-simplify:  Simplify 2 into 2
1537028877.859 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1537028877.859 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028877.859 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028877.859 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.859 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.859 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.860 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028877.860 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028877.860 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 x))) in x
1537028877.860 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1537028877.860 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028877.860 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.860 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.860 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.860 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028877.860 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.860 * [misc]backup-simplify:  Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1537028877.860 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1537028877.861 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1537028877.861 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
1537028877.861 * [misc]taylor:  Taking taylor expansion of 2 in x
1537028877.861 * [misc]backup-simplify:  Simplify 2 into 2
1537028877.861 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1537028877.861 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028877.861 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028877.861 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.861 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.861 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.861 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028877.861 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028877.861 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 x))) in x
1537028877.861 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1537028877.861 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028877.861 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.861 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.861 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.861 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028877.862 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.862 * [misc]backup-simplify:  Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1537028877.862 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1537028877.862 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1537028877.862 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1537028877.862 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.863 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1537028877.863 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.863 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.864 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1537028877.864 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.864 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.865 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1537028877.865 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.865 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.866 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1537028877.866 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.866 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.868 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1537028877.868 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.868 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.869 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1537028877.869 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.869 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ 2 (+ (exp x) (exp (- x))))
1537028877.870 * [misc]backup-simplify:  Simplify (log (exp (/ 2 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1537028877.870 * [misc]approximate:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
1537028877.870 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1537028877.870 * [misc]taylor:  Taking taylor expansion of 2 in x
1537028877.870 * [misc]backup-simplify:  Simplify 2 into 2
1537028877.870 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1537028877.870 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028877.870 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028877.870 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.870 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.870 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.870 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028877.870 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028877.870 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1537028877.870 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1537028877.870 * [misc]taylor:  Taking taylor expansion of -1 in x
1537028877.870 * [misc]backup-simplify:  Simplify -1 into -1
1537028877.870 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.870 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.870 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.871 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1537028877.871 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1537028877.871 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1537028877.871 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1537028877.871 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1537028877.871 * [misc]taylor:  Taking taylor expansion of 2 in x
1537028877.871 * [misc]backup-simplify:  Simplify 2 into 2
1537028877.871 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1537028877.871 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028877.871 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028877.871 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.871 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.871 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.871 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028877.872 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028877.872 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1537028877.872 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1537028877.872 * [misc]taylor:  Taking taylor expansion of -1 in x
1537028877.872 * [misc]backup-simplify:  Simplify -1 into -1
1537028877.872 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.872 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.872 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.872 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1537028877.872 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1537028877.872 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1537028877.872 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1537028877.872 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1537028877.873 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.873 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1537028877.873 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.873 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.874 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1537028877.874 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.874 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.875 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1537028877.875 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.875 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.876 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1537028877.876 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.876 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.877 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1537028877.877 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.878 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.879 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1537028877.879 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.879 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2 (+ (exp (* -1 x)) (exp x)))
1537028877.879 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1 1)
1537028877.883 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp x) (exp (- x)))) into (/ 2 (+ (exp x) (exp (- x))))
1537028877.883 * [misc]approximate:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in (x) around 0
1537028877.883 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x
1537028877.883 * [misc]taylor:  Taking taylor expansion of 2 in x
1537028877.883 * [misc]backup-simplify:  Simplify 2 into 2
1537028877.883 * [misc]taylor:  Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1537028877.883 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1537028877.883 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.883 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.883 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.883 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028877.883 * [misc]taylor:  Taking taylor expansion of (exp (- x)) in x
1537028877.883 * [misc]taylor:  Taking taylor expansion of (- x) in x
1537028877.883 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.883 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.883 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.884 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.884 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.884 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028877.884 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1537028877.884 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1537028877.884 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x
1537028877.884 * [misc]taylor:  Taking taylor expansion of 2 in x
1537028877.884 * [misc]backup-simplify:  Simplify 2 into 2
1537028877.884 * [misc]taylor:  Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1537028877.884 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1537028877.885 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.885 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.885 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.885 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028877.885 * [misc]taylor:  Taking taylor expansion of (exp (- x)) in x
1537028877.885 * [misc]taylor:  Taking taylor expansion of (- x) in x
1537028877.885 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.885 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.885 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.885 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.885 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.885 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028877.885 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1537028877.885 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1537028877.886 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.887 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1537028877.887 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.889 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1537028877.889 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1537028877.889 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
1537028877.889 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.891 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1537028877.892 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.892 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.894 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1537028877.894 * [misc]backup-simplify:  Simplify (+ 1/2 1/2) into 1
1537028877.895 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/2
1537028877.895 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1537028877.898 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1537028877.899 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.899 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.899 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.899 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.903 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
1537028877.903 * [misc]backup-simplify:  Simplify (+ 1/6 -1/6) into 0
1537028877.903 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/2 (/ 0 2)))) into 0
1537028877.904 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.910 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1537028877.910 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.910 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.910 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.911 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.911 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.911 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.911 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.916 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1537028877.916 * [misc]backup-simplify:  Simplify (+ 1/24 1/24) into 1/12
1537028877.917 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/2 (/ 1 2)) (* 0 (/ 0 2)))) into 5/24
1537028877.917 * [misc]backup-simplify:  Simplify 5/24 into 5/24
1537028877.917 * [misc]backup-simplify:  Simplify (+ (* 5/24 (pow x 4)) (+ (* -1/2 (pow x 2)) 1)) into (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2)))
1537028877.917 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1537028877.917 * [misc]approximate:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
1537028877.917 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
1537028877.917 * [misc]taylor:  Taking taylor expansion of 2 in x
1537028877.917 * [misc]backup-simplify:  Simplify 2 into 2
1537028877.917 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1537028877.917 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028877.917 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028877.917 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.917 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.917 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.917 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028877.917 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028877.918 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 x))) in x
1537028877.918 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1537028877.918 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028877.918 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.918 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.918 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.918 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028877.918 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.918 * [misc]backup-simplify:  Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1537028877.918 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1537028877.918 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1537028877.918 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
1537028877.918 * [misc]taylor:  Taking taylor expansion of 2 in x
1537028877.918 * [misc]backup-simplify:  Simplify 2 into 2
1537028877.918 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1537028877.918 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028877.918 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028877.918 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.918 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.918 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.918 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028877.918 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028877.918 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 x))) in x
1537028877.918 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1537028877.918 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028877.918 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.918 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.918 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.919 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028877.919 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.919 * [misc]backup-simplify:  Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1537028877.919 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1537028877.919 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1537028877.919 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1537028877.919 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.920 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1537028877.920 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.920 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.920 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1537028877.920 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.920 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.921 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1537028877.921 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.921 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.921 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1537028877.921 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.922 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.922 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1537028877.922 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.922 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.923 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1537028877.923 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.923 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ 2 (+ (exp x) (exp (- x))))
1537028877.923 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1537028877.923 * [misc]approximate:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
1537028877.923 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1537028877.923 * [misc]taylor:  Taking taylor expansion of 2 in x
1537028877.923 * [misc]backup-simplify:  Simplify 2 into 2
1537028877.923 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1537028877.923 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028877.924 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028877.924 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.924 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.924 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.924 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028877.924 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028877.924 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1537028877.924 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1537028877.924 * [misc]taylor:  Taking taylor expansion of -1 in x
1537028877.924 * [misc]backup-simplify:  Simplify -1 into -1
1537028877.924 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.924 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.924 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.924 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1537028877.924 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1537028877.924 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1537028877.924 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1537028877.924 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1537028877.924 * [misc]taylor:  Taking taylor expansion of 2 in x
1537028877.924 * [misc]backup-simplify:  Simplify 2 into 2
1537028877.924 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1537028877.924 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028877.924 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028877.924 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.924 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.924 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.924 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028877.925 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028877.925 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1537028877.925 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1537028877.925 * [misc]taylor:  Taking taylor expansion of -1 in x
1537028877.925 * [misc]backup-simplify:  Simplify -1 into -1
1537028877.925 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.925 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.925 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.925 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1537028877.925 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1537028877.925 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1537028877.925 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1537028877.925 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1537028877.925 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.926 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1537028877.926 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.926 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.926 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1537028877.926 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.926 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.927 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1537028877.927 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.927 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.927 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1537028877.927 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.927 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.928 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1537028877.928 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.928 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.929 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1537028877.929 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.929 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2 (+ (exp (* -1 x)) (exp x)))
1537028877.929 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1 1 2)
1537028877.929 * [misc]backup-simplify:  Simplify (+ (exp x) (exp (- x))) into (+ (exp x) (exp (- x)))
1537028877.929 * [misc]approximate:  Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0
1537028877.929 * [misc]taylor:  Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1537028877.929 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1537028877.929 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.929 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.929 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.929 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028877.929 * [misc]taylor:  Taking taylor expansion of (exp (- x)) in x
1537028877.929 * [misc]taylor:  Taking taylor expansion of (- x) in x
1537028877.929 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.929 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.929 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.930 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.930 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.930 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028877.930 * [misc]taylor:  Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1537028877.930 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1537028877.930 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.930 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.930 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.930 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028877.930 * [misc]taylor:  Taking taylor expansion of (exp (- x)) in x
1537028877.930 * [misc]taylor:  Taking taylor expansion of (- x) in x
1537028877.930 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.930 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.930 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.930 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.930 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.930 * [misc]backup-simplify:  Simplify (exp 0) into 1
1537028877.930 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1537028877.930 * [misc]backup-simplify:  Simplify 2 into 2
1537028877.931 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1537028877.931 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.932 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1537028877.932 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1537028877.932 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.934 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1537028877.934 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.934 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.935 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1537028877.935 * [misc]backup-simplify:  Simplify (+ 1/2 1/2) into 1
1537028877.935 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.939 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1537028877.939 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.939 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.939 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.940 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.943 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
1537028877.944 * [misc]backup-simplify:  Simplify (+ 1/6 -1/6) into 0
1537028877.944 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.950 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1537028877.950 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.950 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.950 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.950 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.951 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.951 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.951 * [misc]backup-simplify:  Simplify (- 0) into 0
1537028877.957 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1537028877.957 * [misc]backup-simplify:  Simplify (+ 1/24 1/24) into 1/12
1537028877.957 * [misc]backup-simplify:  Simplify 1/12 into 1/12
1537028877.958 * [misc]backup-simplify:  Simplify (+ (* 1/12 (pow x 4)) (+ (* 1 (pow x 2)) 2)) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
1537028877.958 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1537028877.958 * [misc]approximate:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
1537028877.958 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1537028877.958 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028877.958 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028877.958 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.958 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.958 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.958 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028877.959 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028877.959 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 x))) in x
1537028877.959 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1537028877.959 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028877.959 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.959 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.959 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.959 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028877.959 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.959 * [misc]backup-simplify:  Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1537028877.959 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1537028877.959 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028877.959 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028877.959 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.959 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.959 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.959 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028877.960 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028877.960 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 x))) in x
1537028877.960 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1537028877.960 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028877.960 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.960 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.960 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.960 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028877.960 * [misc]backup-simplify:  Simplify (- 1) into -1
1537028877.960 * [misc]backup-simplify:  Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1537028877.960 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1537028877.961 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1537028877.961 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.961 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.961 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.961 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.961 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.961 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.961 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.961 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.962 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.962 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.962 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.962 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.962 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (+ (exp x) (exp (- x)))
1537028877.962 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1537028877.962 * [misc]approximate:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0
1537028877.962 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1537028877.962 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028877.962 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028877.962 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.962 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.962 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.963 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028877.963 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028877.963 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1537028877.963 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1537028877.963 * [misc]taylor:  Taking taylor expansion of -1 in x
1537028877.963 * [misc]backup-simplify:  Simplify -1 into -1
1537028877.963 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.963 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.963 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.963 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1537028877.963 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1537028877.963 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1537028877.963 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1537028877.963 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537028877.963 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.963 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.963 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.963 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537028877.964 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1537028877.964 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1537028877.964 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1537028877.964 * [misc]taylor:  Taking taylor expansion of -1 in x
1537028877.964 * [misc]backup-simplify:  Simplify -1 into -1
1537028877.964 * [misc]taylor:  Taking taylor expansion of x in x
1537028877.964 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.964 * [misc]backup-simplify:  Simplify 1 into 1
1537028877.964 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1537028877.964 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1537028877.964 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1537028877.964 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1537028877.965 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.965 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.965 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.965 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.965 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.965 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.965 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.965 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.965 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.965 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.966 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537028877.966 * [misc]backup-simplify:  Simplify 0 into 0
1537028877.966 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))) into (+ (exp (* -1 x)) (exp x))
1537028877.966 * * * [misc]progress:  simplifying candidates
1537028877.966 * * * * [misc]progress:  [ 1 / 64 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (log (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1537028877.966 * * * * [misc]progress:  [ 2 / 64 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (log (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1537028877.966 * * * * [misc]progress:  [ 3 / 64 ] simplifiying candidate #<alt (λ (x) (+ (log (* (cbrt (exp (/ 2 (+ (exp x) (exp (- x)))))) (cbrt (exp (/ 2 (+ (exp x) (exp (- x)))))))) (log (cbrt (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1537028877.966 * [enter]simplify:  Simplifying (log (* (cbrt (exp (/ 2 (+ (exp x) (exp (- x)))))) (cbrt (exp (/ 2 (+ (exp x) (exp (- x))))))))
1537028877.968 * * [misc]simplify:  iters left: 6 (11 enodes)
1537028877.972 * * [misc]simplify:  iters left: 5 (16 enodes)
1537028877.977 * * [misc]simplify:  iters left: 4 (18 enodes)
1537028877.984 * [exit]simplify:  Simplified to (log (* (cbrt (exp (/ 2 (+ (exp x) (exp (- x)))))) (cbrt (exp (/ 2 (+ (exp x) (exp (- x))))))))
1537028877.984 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (* (cbrt (exp (/ 2 (+ (exp x) (exp (- x)))))) (cbrt (exp (/ 2 (+ (exp x) (exp (- x)))))))) (log (cbrt (exp (/ 2 (+ (exp x) (exp (- x)))))))))
1537028877.985 * * * * [misc]progress:  [ 4 / 64 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (exp (/ 2 (+ (exp x) (exp (- x))))))) (log (sqrt (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1537028877.985 * [enter]simplify:  Simplifying (log (sqrt (exp (/ 2 (+ (exp x) (exp (- x)))))))
1537028877.986 * * [misc]simplify:  iters left: 6 (10 enodes)
1537028877.989 * * [misc]simplify:  iters left: 5 (13 enodes)
1537028877.993 * * [misc]simplify:  iters left: 4 (15 enodes)
1537028877.999 * [exit]simplify:  Simplified to (log (sqrt (exp (/ 2 (+ (exp x) (exp (- x)))))))
1537028877.999 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (sqrt (exp (/ 2 (+ (exp x) (exp (- x))))))) (log (sqrt (exp (/ 2 (+ (exp x) (exp (- x)))))))))
1537028877.999 * * * * [misc]progress:  [ 5 / 64 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (exp (/ 2 (+ (exp x) (exp (- x))))))))>
1537028877.999 * [enter]simplify:  Simplifying (log 1)
1537028878.000 * * [misc]simplify:  iters left: 1 (2 enodes)
1537028878.001 * [exit]simplify:  Simplified to 0
1537028878.001 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (exp (/ 2 (+ (exp x) (exp (- x))))))))
1537028878.001 * * * * [misc]progress:  [ 6 / 64 ] simplifiying candidate #<alt (λ (x) (* 1 (log (exp (/ 2 (+ (exp x) (exp (- x))))))))>
1537028878.002 * * * * [misc]progress:  [ 7 / 64 ] simplifiying candidate #<alt (λ (x) (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (log (exp (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x))))))))))>
1537028878.002 * [enter]simplify:  Simplifying (cbrt (/ 2 (+ (exp x) (exp (- x)))))
1537028878.003 * * [misc]simplify:  iters left: 6 (8 enodes)
1537028878.005 * * [misc]simplify:  iters left: 5 (11 enodes)
1537028878.009 * * [misc]simplify:  iters left: 4 (13 enodes)
1537028878.014 * [exit]simplify:  Simplified to (cbrt (/ 2 (+ (exp x) (exp (- x)))))
1537028878.014 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (log (exp (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x))))))))))
1537028878.014 * * * * [misc]progress:  [ 8 / 64 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (log (exp (sqrt (/ 2 (+ (exp x) (exp (- x)))))))))>
1537028878.014 * [enter]simplify:  Simplifying (sqrt (/ 2 (+ (exp x) (exp (- x)))))
1537028878.015 * * [misc]simplify:  iters left: 6 (8 enodes)
1537028878.018 * * [misc]simplify:  iters left: 5 (11 enodes)
1537028878.021 * * [misc]simplify:  iters left: 4 (13 enodes)
1537028878.028 * [exit]simplify:  Simplified to (sqrt (/ 2 (+ (exp x) (exp (- x)))))
1537028878.028 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (log (exp (sqrt (/ 2 (+ (exp x) (exp (- x)))))))))
1537028878.028 * * * * [misc]progress:  [ 9 / 64 ] simplifiying candidate #<alt (λ (x) (* (/ 2 (+ (exp x) (exp (- x)))) (log (exp 1))))>
1537028878.028 * [enter]simplify:  Simplifying (/ 2 (+ (exp x) (exp (- x))))
1537028878.029 * * [misc]simplify:  iters left: 6 (7 enodes)
1537028878.032 * * [misc]simplify:  iters left: 5 (10 enodes)
1537028878.035 * * [misc]simplify:  iters left: 4 (12 enodes)
1537028878.039 * [exit]simplify:  Simplified to (/ 2 (+ (exp x) (exp (- x))))
1537028878.039 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ 2 (+ (exp x) (exp (- x)))) (log (exp 1))))
1537028878.039 * * * * [misc]progress:  [ 10 / 64 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (+ (exp x) (exp (- x)))) (log (exp 2))))>
1537028878.039 * [enter]simplify:  Simplifying (/ 1 (+ (exp x) (exp (- x))))
1537028878.040 * * [misc]simplify:  iters left: 6 (7 enodes)
1537028878.043 * * [misc]simplify:  iters left: 5 (11 enodes)
1537028878.046 * [exit]simplify:  Simplified to (/ 1 (+ (exp x) (exp (- x))))
1537028878.046 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ 1 (+ (exp x) (exp (- x)))) (log (exp 2))))
1537028878.046 * * * * [misc]progress:  [ 11 / 64 ] simplifiying candidate #<alt (λ (x) (* (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (log (exp (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))))))>
1537028878.047 * [enter]simplify:  Simplifying (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
1537028878.048 * * [misc]simplify:  iters left: 6 (9 enodes)
1537028878.054 * * [misc]simplify:  iters left: 5 (27 enodes)
1537028878.070 * * [misc]simplify:  iters left: 4 (59 enodes)
1537028878.093 * * [misc]simplify:  iters left: 3 (98 enodes)
1537028878.141 * * [misc]simplify:  iters left: 2 (197 enodes)
1537028878.257 * * [misc]simplify:  iters left: 1 (350 enodes)
1537028878.445 * [exit]simplify:  Simplified to (fma (exp (- x)) (exp (- x)) (expm1 (+ x x)))
1537028878.445 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (fma (exp (- x)) (exp (- x)) (expm1 (+ x x))) (log (exp (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))))))
1537028878.445 * * * * [misc]progress:  [ 12 / 64 ] simplifiying candidate #<alt (λ (x) (* (- (exp x) (exp (- x))) (log (exp (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))))))>
1537028878.446 * [enter]simplify:  Simplifying (- (exp x) (exp (- x)))
1537028878.446 * * [misc]simplify:  iters left: 5 (5 enodes)
1537028878.449 * * [misc]simplify:  iters left: 4 (9 enodes)
1537028878.453 * * [misc]simplify:  iters left: 3 (15 enodes)
1537028878.457 * [exit]simplify:  Simplified to (+ (/ -1 (exp x)) (exp x))
1537028878.457 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (+ (/ -1 (exp x)) (exp x)) (log (exp (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))))))
1537028878.457 * * * * [misc]progress:  [ 13 / 64 ] simplifiying candidate #<alt (λ (x) (pow (log (exp (/ 2 (+ (exp x) (exp (- x)))))) 1))>
1537028878.457 * * * * [misc]progress:  [ 14 / 64 ] simplifiying candidate #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>
1537028878.457 * * * * [misc]progress:  [ 15 / 64 ] simplifiying candidate #<alt (λ (x) (exp (log (log (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1537028878.457 * * * * [misc]progress:  [ 16 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (log (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1537028878.457 * * * * [misc]progress:  [ 17 / 64 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (log (exp (/ 2 (+ (exp x) (exp (- x))))))) (cbrt (log (exp (/ 2 (+ (exp x) (exp (- x)))))))) (cbrt (log (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1537028878.457 * * * * [misc]progress:  [ 18 / 64 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (exp (/ 2 (+ (exp x) (exp (- x)))))) (log (exp (/ 2 (+ (exp x) (exp (- x))))))) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1537028878.458 * * * * [misc]progress:  [ 19 / 64 ] simplifiying candidate #<alt (λ (x) (* (sqrt (log (exp (/ 2 (+ (exp x) (exp (- x))))))) (sqrt (log (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1537028878.458 * * * * [misc]progress:  [ 20 / 64 ] simplifiying candidate #<alt (λ (x) (* 1 (log (exp (/ 2 (+ (exp x) (exp (- x))))))))>
1537028878.458 * * * * [misc]progress:  [ 21 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (log1p (expm1 (/ 2 (+ (exp x) (exp (- x)))))))))>
1537028878.458 * * * * [misc]progress:  [ 22 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (expm1 (log1p (/ 2 (+ (exp x) (exp (- x)))))))))>
1537028878.458 * * * * [misc]progress:  [ 23 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (pow (/ 2 (+ (exp x) (exp (- x)))) 1))))>
1537028878.458 * * * * [misc]progress:  [ 24 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (exp (log (/ 2 (+ (exp x) (exp (- x)))))))))>
1537028878.458 * * * * [misc]progress:  [ 25 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (log (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1537028878.458 * * * * [misc]progress:  [ 26 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (* (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))))))>
1537028878.458 * * * * [misc]progress:  [ 27 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (cbrt (* (* (/ 2 (+ (exp x) (exp (- x)))) (/ 2 (+ (exp x) (exp (- x))))) (/ 2 (+ (exp x) (exp (- x)))))))))>
1537028878.458 * * * * [misc]progress:  [ 28 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (sqrt (/ 2 (+ (exp x) (exp (- x)))))))))>
1537028878.458 * * * * [misc]progress:  [ 29 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (- 2) (- (+ (exp x) (exp (- x))))))))>
1537028878.458 * * * * [misc]progress:  [ 30 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (* 1 (/ 2 (+ (exp x) (exp (- x))))))))>
1537028878.458 * * * * [misc]progress:  [ 31 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (* 2 (/ 1 (+ (exp x) (exp (- x))))))))>
1537028878.458 * * * * [misc]progress:  [ 32 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 1 (/ (+ (exp x) (exp (- x))) 2)))))>
1537028878.458 * * * * [misc]progress:  [ 33 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (/ 2 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (cbrt (+ (exp x) (exp (- x))))))))>
1537028878.459 * [enter]simplify:  Simplifying (cbrt (+ (exp x) (exp (- x))))
1537028878.459 * * [misc]simplify:  iters left: 6 (6 enodes)
1537028878.462 * * [misc]simplify:  iters left: 5 (9 enodes)
1537028878.464 * * [misc]simplify:  iters left: 4 (11 enodes)
1537028878.468 * [exit]simplify:  Simplified to (cbrt (+ (exp x) (exp (- x))))
1537028878.468 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (log (exp (/ (/ 2 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (cbrt (+ (exp x) (exp (- x))))))))
1537028878.468 * * * * [misc]progress:  [ 34 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (/ 2 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))))))>
1537028878.468 * [enter]simplify:  Simplifying (sqrt (+ (exp x) (exp (- x))))
1537028878.469 * * [misc]simplify:  iters left: 6 (6 enodes)
1537028878.471 * * [misc]simplify:  iters left: 5 (9 enodes)
1537028878.474 * * [misc]simplify:  iters left: 4 (11 enodes)
1537028878.478 * [exit]simplify:  Simplified to (sqrt (+ (exp x) (exp (- x))))
1537028878.478 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (log (exp (/ (/ 2 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))))))
1537028878.478 * * * * [misc]progress:  [ 35 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (/ 2 1) (+ (exp x) (exp (- x)))))))>
1537028878.478 * [enter]simplify:  Simplifying (+ (exp x) (exp (- x)))
1537028878.479 * * [misc]simplify:  iters left: 5 (5 enodes)
1537028878.481 * * [misc]simplify:  iters left: 4 (8 enodes)
1537028878.483 * * [misc]simplify:  iters left: 3 (10 enodes)
1537028878.486 * [exit]simplify:  Simplified to (+ (exp x) (exp (- x)))
1537028878.486 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (log (exp (/ (/ 2 1) (+ (exp x) (exp (- x)))))))
1537028878.486 * * * * [misc]progress:  [ 36 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (/ 2 1) (+ (exp x) (exp (- x)))))))>
1537028878.487 * [enter]simplify:  Simplifying (+ (exp x) (exp (- x)))
1537028878.487 * * [misc]simplify:  iters left: 5 (5 enodes)
1537028878.489 * * [misc]simplify:  iters left: 4 (8 enodes)
1537028878.492 * * [misc]simplify:  iters left: 3 (10 enodes)
1537028878.495 * [exit]simplify:  Simplified to (+ (exp x) (exp (- x)))
1537028878.495 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (log (exp (/ (/ 2 1) (+ (exp x) (exp (- x)))))))
1537028878.495 * * * * [misc]progress:  [ 37 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (* (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))))))>
1537028878.495 * [enter]simplify:  Simplifying (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
1537028878.496 * * [misc]simplify:  iters left: 6 (9 enodes)
1537028878.502 * * [misc]simplify:  iters left: 5 (27 enodes)
1537028878.521 * * [misc]simplify:  iters left: 4 (59 enodes)
1537028878.545 * * [misc]simplify:  iters left: 3 (98 enodes)
1537028878.593 * * [misc]simplify:  iters left: 2 (197 enodes)
1537028878.720 * * [misc]simplify:  iters left: 1 (350 enodes)
1537028878.846 * [exit]simplify:  Simplified to (fma (exp (- x)) (exp (- x)) (expm1 (+ x x)))
1537028878.846 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (log (exp (* (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (fma (exp (- x)) (exp (- x)) (expm1 (+ x x)))))))
1537028878.846 * * * * [misc]progress:  [ 38 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (* (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (- (exp x) (exp (- x)))))))>
1537028878.847 * [enter]simplify:  Simplifying (- (exp x) (exp (- x)))
1537028878.847 * * [misc]simplify:  iters left: 5 (5 enodes)
1537028878.848 * * [misc]simplify:  iters left: 4 (9 enodes)
1537028878.850 * * [misc]simplify:  iters left: 3 (15 enodes)
1537028878.853 * [exit]simplify:  Simplified to (+ (/ -1 (exp x)) (exp x))
1537028878.853 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (log (exp (* (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (+ (/ -1 (exp x)) (exp x))))))
1537028878.853 * * * * [misc]progress:  [ 39 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (log1p (expm1 (+ (exp x) (exp (- x)))))))))>
1537028878.853 * * * * [misc]progress:  [ 40 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (expm1 (log1p (+ (exp x) (exp (- x)))))))))>
1537028878.853 * * * * [misc]progress:  [ 41 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (exp (- x)))))))>
1537028878.853 * [enter]simplify:  Simplifying (* (cbrt (exp x)) (cbrt (exp x)))
1537028878.853 * * [misc]simplify:  iters left: 4 (4 enodes)
1537028878.854 * [exit]simplify:  Simplified to (* (cbrt (exp x)) (cbrt (exp x)))
1537028878.854 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (log (exp (/ 2 (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (exp (- x)))))))
1537028878.854 * * * * [misc]progress:  [ 42 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))))))>
1537028878.854 * [enter]simplify:  Simplifying (sqrt (exp x))
1537028878.854 * * [misc]simplify:  iters left: 2 (3 enodes)
1537028878.855 * [exit]simplify:  Simplified to (sqrt (exp x))
1537028878.855 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (log (exp (/ 2 (fma (sqrt (exp x)) (sqrt (exp x)) (exp (- x)))))))
1537028878.855 * * * * [misc]progress:  [ 43 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (fma 1 (exp x) (exp (- x)))))))>
1537028878.855 * * * * [misc]progress:  [ 44 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (log (* (exp (exp x)) (exp (exp (- x)))))))))>
1537028878.855 * [enter]simplify:  Simplifying (* (exp (exp x)) (exp (exp (- x))))
1537028878.856 * * [misc]simplify:  iters left: 6 (7 enodes)
1537028878.857 * * [misc]simplify:  iters left: 5 (12 enodes)
1537028878.859 * * [misc]simplify:  iters left: 4 (16 enodes)
1537028878.863 * [exit]simplify:  Simplified to (exp (+ (exp x) (exp (- x))))
1537028878.863 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (x) (log (exp (/ 2 (log (exp (+ (exp x) (exp (- x)))))))))
1537028878.863 * * * * [misc]progress:  [ 45 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (pow (+ (exp x) (exp (- x))) 1)))))>
1537028878.863 * * * * [misc]progress:  [ 46 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (exp (log (+ (exp x) (exp (- x)))))))))>
1537028878.863 * * * * [misc]progress:  [ 47 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (log (exp (+ (exp x) (exp (- x)))))))))>
1537028878.863 * * * * [misc]progress:  [ 48 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (* (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))))))))>
1537028878.863 * * * * [misc]progress:  [ 49 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (cbrt (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))))))>
1537028878.863 * * * * [misc]progress:  [ 50 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))))))))>
1537028878.863 * * * * [misc]progress:  [ 51 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (/ (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))))))>
1537028878.863 * * * * [misc]progress:  [ 52 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (* 1 (+ (exp x) (exp (- x))))))))>
1537028878.863 * * * * [misc]progress:  [ 53 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (/ (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (exp x) (exp (- x))))))))>
1537028878.863 * * * * [misc]progress:  [ 54 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (* 1 (+ (exp x) (exp (- x))))))))>
1537028878.863 * [enter]simplify:  Simplifying (+ (exp x) (exp (- x)))
1537028878.864 * * [misc]simplify:  iters left: 5 (5 enodes)
1537028878.865 * * [misc]simplify:  iters left: 4 (8 enodes)
1537028878.866 * * [misc]simplify:  iters left: 3 (10 enodes)
1537028878.868 * [exit]simplify:  Simplified to (+ (exp x) (exp (- x)))
1537028878.868 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (x) (log (exp (/ 2 (* 1 (+ (exp x) (exp (- x))))))))
1537028878.868 * * * * [misc]progress:  [ 55 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (+ (exp (- x)) (exp x))))))>
1537028878.868 * * * * [misc]progress:  [ 56 / 64 ] simplifiying candidate #<alt (λ (x) (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))))>
1537028878.868 * [enter]simplify:  Simplifying (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2)))
1537028878.868 * * [misc]simplify:  iters left: 6 (12 enodes)
1537028878.871 * * [misc]simplify:  iters left: 5 (23 enodes)
1537028878.879 * * [misc]simplify:  iters left: 4 (45 enodes)
1537028878.896 * * [misc]simplify:  iters left: 3 (65 enodes)
1537028878.924 * * [misc]simplify:  iters left: 2 (91 enodes)
1537028878.947 * * [misc]simplify:  iters left: 1 (104 enodes)
1537028878.981 * [exit]simplify:  Simplified to (fma 5/24 (pow x 4) (fma (* x x) -1/2 1))
1537028878.981 * [misc]simplify:  Simplified (2) to (λ (x) (fma 5/24 (pow x 4) (fma (* x x) -1/2 1)))
1537028878.981 * * * * [misc]progress:  [ 57 / 64 ] simplifiying candidate #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>
1537028878.981 * [enter]simplify:  Simplifying (/ 2 (+ (exp x) (exp (- x))))
1537028878.981 * * [misc]simplify:  iters left: 6 (7 enodes)
1537028878.983 * * [misc]simplify:  iters left: 5 (10 enodes)
1537028878.984 * * [misc]simplify:  iters left: 4 (12 enodes)
1537028878.986 * [exit]simplify:  Simplified to (/ 2 (+ (exp x) (exp (- x))))
1537028878.986 * [misc]simplify:  Simplified (2) to (λ (x) (/ 2 (+ (exp x) (exp (- x)))))
1537028878.986 * * * * [misc]progress:  [ 58 / 64 ] simplifiying candidate #<alt (λ (x) (/ 2 (+ (exp (* -1 x)) (exp x))))>
1537028878.986 * [enter]simplify:  Simplifying (/ 2 (+ (exp (* -1 x)) (exp x)))
1537028878.987 * * [misc]simplify:  iters left: 6 (8 enodes)
1537028878.989 * * [misc]simplify:  iters left: 5 (13 enodes)
1537028878.992 * * [misc]simplify:  iters left: 4 (15 enodes)
1537028878.994 * * [misc]simplify:  iters left: 3 (18 enodes)
1537028878.998 * [exit]simplify:  Simplified to (/ 2 (+ (exp x) (exp (- x))))
1537028878.998 * [misc]simplify:  Simplified (2) to (λ (x) (/ 2 (+ (exp x) (exp (- x)))))
1537028878.998 * * * * [misc]progress:  [ 59 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))))))>
1537028878.998 * [enter]simplify:  Simplifying (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2)))
1537028878.999 * * [misc]simplify:  iters left: 6 (12 enodes)
1537028879.004 * * [misc]simplify:  iters left: 5 (23 enodes)
1537028879.016 * * [misc]simplify:  iters left: 4 (45 enodes)
1537028879.035 * * [misc]simplify:  iters left: 3 (65 enodes)
1537028879.056 * * [misc]simplify:  iters left: 2 (91 enodes)
1537028879.068 * * [misc]simplify:  iters left: 1 (104 enodes)
1537028879.094 * [exit]simplify:  Simplified to (fma 5/24 (pow x 4) (fma (* x x) -1/2 1))
1537028879.094 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (exp (fma 5/24 (pow x 4) (fma (* x x) -1/2 1)))))
1537028879.094 * * * * [misc]progress:  [ 60 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))>
1537028879.094 * [enter]simplify:  Simplifying (/ 2 (+ (exp x) (exp (- x))))
1537028879.095 * * [misc]simplify:  iters left: 6 (7 enodes)
1537028879.098 * * [misc]simplify:  iters left: 5 (10 enodes)
1537028879.101 * * [misc]simplify:  iters left: 4 (12 enodes)
1537028879.104 * [exit]simplify:  Simplified to (/ 2 (+ (exp x) (exp (- x))))
1537028879.104 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))
1537028879.104 * * * * [misc]progress:  [ 61 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (+ (exp (* -1 x)) (exp x))))))>
1537028879.105 * [enter]simplify:  Simplifying (/ 2 (+ (exp (* -1 x)) (exp x)))
1537028879.105 * * [misc]simplify:  iters left: 6 (8 enodes)
1537028879.109 * * [misc]simplify:  iters left: 5 (13 enodes)
1537028879.114 * * [misc]simplify:  iters left: 4 (15 enodes)
1537028879.117 * * [misc]simplify:  iters left: 3 (18 enodes)
1537028879.120 * [exit]simplify:  Simplified to (/ 2 (+ (exp x) (exp (- x))))
1537028879.120 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))
1537028879.120 * * * * [misc]progress:  [ 62 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))))))>
1537028879.121 * [enter]simplify:  Simplifying (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
1537028879.121 * * [misc]simplify:  iters left: 6 (9 enodes)
1537028879.125 * * [misc]simplify:  iters left: 5 (16 enodes)
1537028879.128 * * [misc]simplify:  iters left: 4 (25 enodes)
1537028879.133 * * [misc]simplify:  iters left: 3 (31 enodes)
1537028879.138 * [exit]simplify:  Simplified to (fma (pow x 4) 1/12 (fma x x 2))
1537028879.138 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (log (exp (/ 2 (fma (pow x 4) 1/12 (fma x x 2))))))
1537028879.138 * * * * [misc]progress:  [ 63 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))>
1537028879.139 * [enter]simplify:  Simplifying (+ (exp x) (exp (- x)))
1537028879.139 * * [misc]simplify:  iters left: 5 (5 enodes)
1537028879.141 * * [misc]simplify:  iters left: 4 (8 enodes)
1537028879.144 * * [misc]simplify:  iters left: 3 (10 enodes)
1537028879.147 * [exit]simplify:  Simplified to (+ (exp x) (exp (- x)))
1537028879.147 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))
1537028879.147 * * * * [misc]progress:  [ 64 / 64 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (+ (exp (* -1 x)) (exp x))))))>
1537028879.147 * [enter]simplify:  Simplifying (+ (exp (* -1 x)) (exp x))
1537028879.148 * * [misc]simplify:  iters left: 5 (6 enodes)
1537028879.151 * * [misc]simplify:  iters left: 4 (11 enodes)
1537028879.155 * * [misc]simplify:  iters left: 3 (13 enodes)
1537028879.159 * * [misc]simplify:  iters left: 2 (16 enodes)
1537028879.165 * [exit]simplify:  Simplified to (+ (exp (- x)) (exp x))
1537028879.165 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (log (exp (/ 2 (+ (exp (- x)) (exp x))))))
1537028879.165 * * * [misc]progress:  adding candidates to table
1537028880.313 * [misc]progress:  [Phase 3 of 3] Extracting.
1537028880.313 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))> #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>)
1537028880.314 * * * [misc]regime-changes:  Trying 3 branch expressions: (x (+ (exp x) (exp (- x))) (/ 2 (+ (exp x) (exp (- x)))))
1537028880.314 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))> #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>)
1537028880.335 * * * * [misc]regimes:  Trying to branch on (+ (exp x) (exp (- x))) from (#<alt (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))> #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>)
1537028880.372 * * * * [misc]regimes:  Trying to branch on (/ 2 (+ (exp x) (exp (- x)))) from (#<alt (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))> #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>)
1537028880.415 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1537028880.415 * [enter]simplify:  Simplifying (/ 2 (+ (exp x) (exp (- x))))
1537028880.416 * * [misc]simplify:  iters left: 6 (7 enodes)
1537028880.417 * * [misc]simplify:  iters left: 5 (8 enodes)
1537028880.417 * [exit]simplify:  Simplified to (/ 2 (+ (exp x) (exp (- x))))
1537028880.417 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1537028881.591 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537028881.593 * * * * [exit]points:  Sampled 8000 points with exact outputs