36.813 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.183 * * * [progress]: [2/2] Setting up program.
0.186 * [progress]: [Phase 2 of 3] Improving.
0.186 * [simplify]: Simplifying:
  (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))
0.186 * * [simplify]: Extracting # 0 : cost  0
0.186 * * [simplify]: Extracting # 1 : cost  0
0.186 * * [simplify]: Extracting # 2 : cost  0
0.186 * * [simplify]: Extracting # 3 : cost  0
0.186 * * [simplify]: Extracting # 4 : cost  0
0.186 * * [simplify]: Extracting # 5 : cost  0
0.186 * * [simplify]: iteration  0 :  7  enodes  (cost  13 )
0.188 * * [simplify]: Extracting # 0 : cost  0
0.188 * * [simplify]: Extracting # 1 : cost  0
0.188 * * [simplify]: Extracting # 2 : cost  0
0.188 * * [simplify]: iteration  1 :  15  enodes  (cost  13 )
0.192 * * [simplify]: Extracting # 0 : cost  0
0.192 * * [simplify]: Extracting # 1 : cost  0
0.192 * * [simplify]: Extracting # 2 : cost  0
0.192 * * [simplify]: iteration  2 :  25  enodes  (cost  13 )
0.197 * * [simplify]: Extracting # 0 : cost  0
0.197 * * [simplify]: Extracting # 1 : cost  0
0.197 * * [simplify]: Extracting # 2 : cost  0
0.197 * * [simplify]: iteration  3 :  31  enodes  (cost  13 )
0.203 * * [simplify]: Extracting # 0 : cost  0
0.203 * * [simplify]: Extracting # 1 : cost  0
0.203 * * [simplify]: Extracting # 2 : cost  0
0.203 * * [simplify]: iteration  4 :  42  enodes  (cost  13 )
0.214 * * [simplify]: Extracting # 0 : cost  0
0.214 * * [simplify]: Extracting # 1 : cost  0
0.214 * * [simplify]: Extracting # 2 : cost  0
0.214 * * [simplify]: Extracting # 3 : cost  0
0.215 * * [simplify]: iteration  5 :  70  enodes  (cost  13 )
0.224 * * [simplify]: Extracting # 0 : cost  0
0.224 * * [simplify]: Extracting # 1 : cost  0
0.224 * * [simplify]: Extracting # 2 : cost  0
0.224 * * [simplify]: iteration  6 :  136  enodes  (cost  13 )
0.306 * * [simplify]: Extracting # 0 : cost  0
0.307 * * [simplify]: Extracting # 1 : cost  0
0.308 * * [simplify]: Extracting # 2 : cost  0
0.309 * * [simplify]: iteration  7 :  605  enodes  (cost  13 )
2.019 * * [simplify]: Extracting # 0 : cost  0
2.099 * * [simplify]: Extracting # 1 : cost  0
2.104 * * [simplify]: Extracting # 2 : cost  0
2.110 * * [simplify]: Extracting # 3 : cost  0
2.114 * * [simplify]: Extracting # 4 : cost  0
2.119 * * [simplify]: iteration  8 :  4776  enodes  (cost  13 )
9.815 * * [simplify]: Extracting # 0 : cost  0
9.819 * * [simplify]: iteration done:  5000  enodes  (cost  13 )
9.819 * [simplify]: Simplified to:
  (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))
9.819 * * [progress]: iteration 1 / 4
9.819 * * * [progress]: picking best candidate
9.821 * * * * [pick]: Picked  #<alt (λ (x) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))>
9.821 * * * [progress]: localizing error
9.829 * * * [progress]: generating rewritten candidates
9.829 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
9.854 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
9.919 * * * [progress]: generating series expansions
9.919 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
9.919 * [backup-simplify]: Simplify (- (exp x) (exp (- x))) into (- (exp x) (exp (- x)))
9.919 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0
9.919 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
9.919 * [taylor]: Taking taylor expansion of (exp x) in x
9.919 * [taylor]: Taking taylor expansion of x in x
9.919 * [backup-simplify]: Simplify 0 into 0
9.919 * [backup-simplify]: Simplify 1 into 1
9.919 * [backup-simplify]: Simplify (exp 0) into 1
9.919 * [taylor]: Taking taylor expansion of (exp (- x)) in x
9.919 * [taylor]: Taking taylor expansion of (- x) in x
9.919 * [taylor]: Taking taylor expansion of x in x
9.919 * [backup-simplify]: Simplify 0 into 0
9.919 * [backup-simplify]: Simplify 1 into 1
9.920 * [backup-simplify]: Simplify (- 0) into 0
9.920 * [backup-simplify]: Simplify (- 1) into -1
9.920 * [backup-simplify]: Simplify (exp 0) into 1
9.920 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
9.920 * [taylor]: Taking taylor expansion of (exp x) in x
9.920 * [taylor]: Taking taylor expansion of x in x
9.920 * [backup-simplify]: Simplify 0 into 0
9.920 * [backup-simplify]: Simplify 1 into 1
9.920 * [backup-simplify]: Simplify (exp 0) into 1
9.920 * [taylor]: Taking taylor expansion of (exp (- x)) in x
9.920 * [taylor]: Taking taylor expansion of (- x) in x
9.920 * [taylor]: Taking taylor expansion of x in x
9.920 * [backup-simplify]: Simplify 0 into 0
9.920 * [backup-simplify]: Simplify 1 into 1
9.920 * [backup-simplify]: Simplify (- 0) into 0
9.921 * [backup-simplify]: Simplify (- 1) into -1
9.921 * [backup-simplify]: Simplify (exp 0) into 1
9.921 * [backup-simplify]: Simplify (- 1) into -1
9.921 * [backup-simplify]: Simplify (+ 1 -1) into 0
9.921 * [backup-simplify]: Simplify 0 into 0
9.922 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
9.922 * [backup-simplify]: Simplify (- 1) into -1
9.923 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
9.923 * [backup-simplify]: Simplify (- -1) into 1
9.923 * [backup-simplify]: Simplify (+ 1 1) into 2
9.923 * [backup-simplify]: Simplify 2 into 2
9.924 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
9.924 * [backup-simplify]: Simplify (- 1) into -1
9.924 * [backup-simplify]: Simplify (- 0) into 0
9.925 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
9.926 * [backup-simplify]: Simplify (- 1/2) into -1/2
9.926 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
9.926 * [backup-simplify]: Simplify 0 into 0
9.927 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
9.927 * [backup-simplify]: Simplify (- 1) into -1
9.928 * [backup-simplify]: Simplify (- 1) into -1
9.928 * [backup-simplify]: Simplify (- 0) into 0
9.928 * [backup-simplify]: Simplify (- 0) into 0
9.929 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
9.930 * [backup-simplify]: Simplify (- -1/6) into 1/6
9.930 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
9.930 * [backup-simplify]: Simplify 1/3 into 1/3
9.932 * [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
9.932 * [backup-simplify]: Simplify (- 1) into -1
9.933 * [backup-simplify]: Simplify (- 1) into -1
9.933 * [backup-simplify]: Simplify (- 0) into 0
9.933 * [backup-simplify]: Simplify (- 1) into -1
9.933 * [backup-simplify]: Simplify (- 0) into 0
9.933 * [backup-simplify]: Simplify (- 0) into 0
9.934 * [backup-simplify]: Simplify (- 0) into 0
9.936 * [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
9.936 * [backup-simplify]: Simplify (- 1/24) into -1/24
9.936 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
9.936 * [backup-simplify]: Simplify 0 into 0
9.939 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120
9.940 * [backup-simplify]: Simplify (- 1) into -1
9.940 * [backup-simplify]: Simplify (- 1) into -1
9.940 * [backup-simplify]: Simplify (- 0) into 0
9.940 * [backup-simplify]: Simplify (- 1) into -1
9.941 * [backup-simplify]: Simplify (- 0) into 0
9.941 * [backup-simplify]: Simplify (- 1) into -1
9.941 * [backup-simplify]: Simplify (- 0) into 0
9.941 * [backup-simplify]: Simplify (- 1) into -1
9.942 * [backup-simplify]: Simplify (- 0) into 0
9.942 * [backup-simplify]: Simplify (- 0) into 0
9.942 * [backup-simplify]: Simplify (- 0) into 0
9.942 * [backup-simplify]: Simplify (- 0) into 0
9.946 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120
9.946 * [backup-simplify]: Simplify (- -1/120) into 1/120
9.946 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
9.946 * [backup-simplify]: Simplify 1/60 into 1/60
9.946 * [backup-simplify]: Simplify (+ (* 1/60 (pow x 5)) (+ (* 1/3 (pow x 3)) (* 2 x))) into (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
9.947 * [backup-simplify]: Simplify (- (exp (/ 1 x)) (exp (- (/ 1 x)))) into (- (exp (/ 1 x)) (exp (- (/ 1 x))))
9.947 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
9.947 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
9.947 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
9.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.947 * [taylor]: Taking taylor expansion of x in x
9.947 * [backup-simplify]: Simplify 0 into 0
9.947 * [backup-simplify]: Simplify 1 into 1
9.947 * [backup-simplify]: Simplify (/ 1 1) into 1
9.947 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
9.947 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
9.947 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
9.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.947 * [taylor]: Taking taylor expansion of x in x
9.947 * [backup-simplify]: Simplify 0 into 0
9.947 * [backup-simplify]: Simplify 1 into 1
9.947 * [backup-simplify]: Simplify (/ 1 1) into 1
9.948 * [backup-simplify]: Simplify (- 1) into -1
9.948 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
9.948 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
9.948 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
9.948 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.948 * [taylor]: Taking taylor expansion of x in x
9.948 * [backup-simplify]: Simplify 0 into 0
9.948 * [backup-simplify]: Simplify 1 into 1
9.948 * [backup-simplify]: Simplify (/ 1 1) into 1
9.948 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
9.948 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
9.948 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
9.948 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.948 * [taylor]: Taking taylor expansion of x in x
9.948 * [backup-simplify]: Simplify 0 into 0
9.948 * [backup-simplify]: Simplify 1 into 1
9.949 * [backup-simplify]: Simplify (/ 1 1) into 1
9.949 * [backup-simplify]: Simplify (- 1) into -1
9.949 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
9.949 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x))))
9.949 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x))))
9.949 * [backup-simplify]: Simplify (- (exp (/ 1 x)) (exp (- (/ 1 x)))) into (- (exp (/ 1 x)) (exp (- (/ 1 x))))
9.949 * [backup-simplify]: Simplify (- 0) into 0
9.950 * [backup-simplify]: Simplify (+ 0 0) into 0
9.950 * [backup-simplify]: Simplify 0 into 0
9.950 * [backup-simplify]: Simplify (- 0) into 0
9.950 * [backup-simplify]: Simplify (+ 0 0) into 0
9.950 * [backup-simplify]: Simplify 0 into 0
9.950 * [backup-simplify]: Simplify (- 0) into 0
9.951 * [backup-simplify]: Simplify (+ 0 0) into 0
9.951 * [backup-simplify]: Simplify 0 into 0
9.951 * [backup-simplify]: Simplify (- 0) into 0
9.951 * [backup-simplify]: Simplify (+ 0 0) into 0
9.951 * [backup-simplify]: Simplify 0 into 0
9.951 * [backup-simplify]: Simplify (- 0) into 0
9.952 * [backup-simplify]: Simplify (+ 0 0) into 0
9.952 * [backup-simplify]: Simplify 0 into 0
9.952 * [backup-simplify]: Simplify (- 0) into 0
9.952 * [backup-simplify]: Simplify (+ 0 0) into 0
9.952 * [backup-simplify]: Simplify 0 into 0
9.953 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (- (exp x) (exp (- x)))
9.953 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (- (exp (/ -1 x)) (exp (/ 1 x)))
9.953 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0
9.953 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
9.953 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
9.953 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.953 * [taylor]: Taking taylor expansion of -1 in x
9.953 * [backup-simplify]: Simplify -1 into -1
9.953 * [taylor]: Taking taylor expansion of x in x
9.953 * [backup-simplify]: Simplify 0 into 0
9.953 * [backup-simplify]: Simplify 1 into 1
9.953 * [backup-simplify]: Simplify (/ -1 1) into -1
9.953 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
9.953 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
9.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.953 * [taylor]: Taking taylor expansion of x in x
9.953 * [backup-simplify]: Simplify 0 into 0
9.953 * [backup-simplify]: Simplify 1 into 1
9.954 * [backup-simplify]: Simplify (/ 1 1) into 1
9.954 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
9.954 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
9.954 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
9.954 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.954 * [taylor]: Taking taylor expansion of -1 in x
9.954 * [backup-simplify]: Simplify -1 into -1
9.954 * [taylor]: Taking taylor expansion of x in x
9.954 * [backup-simplify]: Simplify 0 into 0
9.954 * [backup-simplify]: Simplify 1 into 1
9.954 * [backup-simplify]: Simplify (/ -1 1) into -1
9.954 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
9.954 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
9.954 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.954 * [taylor]: Taking taylor expansion of x in x
9.954 * [backup-simplify]: Simplify 0 into 0
9.954 * [backup-simplify]: Simplify 1 into 1
9.954 * [backup-simplify]: Simplify (/ 1 1) into 1
9.954 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
9.955 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
9.955 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x)))
9.955 * [backup-simplify]: Simplify (- (exp (/ -1 x)) (exp (/ 1 x))) into (- (exp (/ -1 x)) (exp (/ 1 x)))
9.955 * [backup-simplify]: Simplify (- 0) into 0
9.955 * [backup-simplify]: Simplify (+ 0 0) into 0
9.955 * [backup-simplify]: Simplify 0 into 0
9.955 * [backup-simplify]: Simplify (- 0) into 0
9.956 * [backup-simplify]: Simplify (+ 0 0) into 0
9.956 * [backup-simplify]: Simplify 0 into 0
9.956 * [backup-simplify]: Simplify (- 0) into 0
9.956 * [backup-simplify]: Simplify (+ 0 0) into 0
9.956 * [backup-simplify]: Simplify 0 into 0
9.956 * [backup-simplify]: Simplify (- 0) into 0
9.957 * [backup-simplify]: Simplify (+ 0 0) into 0
9.957 * [backup-simplify]: Simplify 0 into 0
9.957 * [backup-simplify]: Simplify (- 0) into 0
9.957 * [backup-simplify]: Simplify (+ 0 0) into 0
9.957 * [backup-simplify]: Simplify 0 into 0
9.957 * [backup-simplify]: Simplify (- 0) into 0
9.958 * [backup-simplify]: Simplify (+ 0 0) into 0
9.958 * [backup-simplify]: Simplify 0 into 0
9.958 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) (exp (/ 1 (/ 1 (- x))))) into (- (exp x) (exp (* -1 x)))
9.958 * * * * [progress]: [ 2 / 2 ] generating series at (2)
9.958 * [backup-simplify]: Simplify (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) into (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))
9.958 * [approximate]: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in (x) around 0
9.958 * [taylor]: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in x
9.958 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
9.958 * [taylor]: Taking taylor expansion of (exp x) in x
9.958 * [taylor]: Taking taylor expansion of x in x
9.958 * [backup-simplify]: Simplify 0 into 0
9.958 * [backup-simplify]: Simplify 1 into 1
9.958 * [backup-simplify]: Simplify (exp 0) into 1
9.958 * [taylor]: Taking taylor expansion of (exp (- x)) in x
9.958 * [taylor]: Taking taylor expansion of (- x) in x
9.958 * [taylor]: Taking taylor expansion of x in x
9.958 * [backup-simplify]: Simplify 0 into 0
9.958 * [backup-simplify]: Simplify 1 into 1
9.959 * [backup-simplify]: Simplify (- 0) into 0
9.959 * [backup-simplify]: Simplify (- 1) into -1
9.959 * [backup-simplify]: Simplify (exp 0) into 1
9.959 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
9.959 * [taylor]: Taking taylor expansion of (exp x) in x
9.959 * [taylor]: Taking taylor expansion of x in x
9.959 * [backup-simplify]: Simplify 0 into 0
9.959 * [backup-simplify]: Simplify 1 into 1
9.959 * [backup-simplify]: Simplify (exp 0) into 1
9.959 * [taylor]: Taking taylor expansion of (exp (- x)) in x
9.959 * [taylor]: Taking taylor expansion of (- x) in x
9.959 * [taylor]: Taking taylor expansion of x in x
9.959 * [backup-simplify]: Simplify 0 into 0
9.959 * [backup-simplify]: Simplify 1 into 1
9.959 * [backup-simplify]: Simplify (- 0) into 0
9.959 * [backup-simplify]: Simplify (- 1) into -1
9.959 * [backup-simplify]: Simplify (exp 0) into 1
9.960 * [backup-simplify]: Simplify (- 1) into -1
9.960 * [backup-simplify]: Simplify (+ 1 -1) into 0
9.960 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
9.961 * [backup-simplify]: Simplify (- 1) into -1
9.961 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
9.962 * [backup-simplify]: Simplify (- -1) into 1
9.962 * [backup-simplify]: Simplify (+ 1 1) into 2
9.962 * [backup-simplify]: Simplify (+ 1 1) into 2
9.962 * [backup-simplify]: Simplify (/ 2 2) into 1
9.962 * [taylor]: Taking taylor expansion of (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) in x
9.962 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
9.962 * [taylor]: Taking taylor expansion of (exp x) in x
9.962 * [taylor]: Taking taylor expansion of x in x
9.962 * [backup-simplify]: Simplify 0 into 0
9.962 * [backup-simplify]: Simplify 1 into 1
9.962 * [backup-simplify]: Simplify (exp 0) into 1
9.962 * [taylor]: Taking taylor expansion of (exp (- x)) in x
9.962 * [taylor]: Taking taylor expansion of (- x) in x
9.962 * [taylor]: Taking taylor expansion of x in x
9.963 * [backup-simplify]: Simplify 0 into 0
9.963 * [backup-simplify]: Simplify 1 into 1
9.963 * [backup-simplify]: Simplify (- 0) into 0
9.963 * [backup-simplify]: Simplify (- 1) into -1
9.963 * [backup-simplify]: Simplify (exp 0) into 1
9.963 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
9.963 * [taylor]: Taking taylor expansion of (exp x) in x
9.963 * [taylor]: Taking taylor expansion of x in x
9.963 * [backup-simplify]: Simplify 0 into 0
9.963 * [backup-simplify]: Simplify 1 into 1
9.963 * [backup-simplify]: Simplify (exp 0) into 1
9.963 * [taylor]: Taking taylor expansion of (exp (- x)) in x
9.963 * [taylor]: Taking taylor expansion of (- x) in x
9.963 * [taylor]: Taking taylor expansion of x in x
9.963 * [backup-simplify]: Simplify 0 into 0
9.963 * [backup-simplify]: Simplify 1 into 1
9.963 * [backup-simplify]: Simplify (- 0) into 0
9.964 * [backup-simplify]: Simplify (- 1) into -1
9.964 * [backup-simplify]: Simplify (exp 0) into 1
9.964 * [backup-simplify]: Simplify (- 1) into -1
9.964 * [backup-simplify]: Simplify (+ 1 -1) into 0
9.965 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
9.965 * [backup-simplify]: Simplify (- 1) into -1
9.966 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
9.966 * [backup-simplify]: Simplify (- -1) into 1
9.966 * [backup-simplify]: Simplify (+ 1 1) into 2
9.966 * [backup-simplify]: Simplify (+ 1 1) into 2
9.966 * [backup-simplify]: Simplify (/ 2 2) into 1
9.967 * [backup-simplify]: Simplify 1 into 1
9.967 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
9.968 * [backup-simplify]: Simplify (- 1) into -1
9.968 * [backup-simplify]: Simplify (- 0) into 0
9.969 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
9.969 * [backup-simplify]: Simplify (- 1/2) into -1/2
9.969 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
9.970 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
9.970 * [backup-simplify]: Simplify (- 1) into -1
9.971 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
9.971 * [backup-simplify]: Simplify (+ 1 -1) into 0
9.972 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
9.972 * [backup-simplify]: Simplify 0 into 0
9.973 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
9.973 * [backup-simplify]: Simplify (- 1) into -1
9.973 * [backup-simplify]: Simplify (- 1) into -1
9.974 * [backup-simplify]: Simplify (- 0) into 0
9.974 * [backup-simplify]: Simplify (- 0) into 0
9.975 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
9.975 * [backup-simplify]: Simplify (- -1/6) into 1/6
9.976 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
9.977 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
9.977 * [backup-simplify]: Simplify (- 1) into -1
9.977 * [backup-simplify]: Simplify (- 0) into 0
9.978 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
9.978 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
9.980 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/3
9.980 * [backup-simplify]: Simplify -1/3 into -1/3
9.982 * [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
9.982 * [backup-simplify]: Simplify (- 1) into -1
9.982 * [backup-simplify]: Simplify (- 1) into -1
9.983 * [backup-simplify]: Simplify (- 0) into 0
9.983 * [backup-simplify]: Simplify (- 1) into -1
9.983 * [backup-simplify]: Simplify (- 0) into 0
9.983 * [backup-simplify]: Simplify (- 0) into 0
9.984 * [backup-simplify]: Simplify (- 0) into 0
9.986 * [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
9.986 * [backup-simplify]: Simplify (- 1/24) into -1/24
9.986 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
9.987 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
9.988 * [backup-simplify]: Simplify (- 1) into -1
9.988 * [backup-simplify]: Simplify (- 1) into -1
9.988 * [backup-simplify]: Simplify (- 0) into 0
9.988 * [backup-simplify]: Simplify (- 0) into 0
9.990 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
9.990 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
9.991 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/3 (/ 0 2)))) into 0
9.991 * [backup-simplify]: Simplify 0 into 0
9.994 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120
9.994 * [backup-simplify]: Simplify (- 1) into -1
9.994 * [backup-simplify]: Simplify (- 1) into -1
9.995 * [backup-simplify]: Simplify (- 0) into 0
9.995 * [backup-simplify]: Simplify (- 1) into -1
9.995 * [backup-simplify]: Simplify (- 0) into 0
9.995 * [backup-simplify]: Simplify (- 1) into -1
9.996 * [backup-simplify]: Simplify (- 0) into 0
9.996 * [backup-simplify]: Simplify (- 1) into -1
9.996 * [backup-simplify]: Simplify (- 0) into 0
9.996 * [backup-simplify]: Simplify (- 0) into 0
9.997 * [backup-simplify]: Simplify (- 0) into 0
9.997 * [backup-simplify]: Simplify (- 0) into 0
10.000 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120
10.001 * [backup-simplify]: Simplify (- -1/120) into 1/120
10.001 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
10.006 * [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
10.006 * [backup-simplify]: Simplify (- 1) into -1
10.006 * [backup-simplify]: Simplify (- 1) into -1
10.007 * [backup-simplify]: Simplify (- 0) into 0
10.007 * [backup-simplify]: Simplify (- 1) into -1
10.007 * [backup-simplify]: Simplify (- 0) into 0
10.007 * [backup-simplify]: Simplify (- 0) into 0
10.008 * [backup-simplify]: Simplify (- 0) into 0
10.010 * [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
10.010 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
10.011 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/3 (/ 1 2)) (* 0 (/ 0 2)))) into 2/15
10.011 * [backup-simplify]: Simplify 2/15 into 2/15
10.012 * [backup-simplify]: Simplify (+ (* 2/15 (pow x 5)) (+ (* -1/3 (pow x 3)) (* 1 x))) into (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
10.012 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
10.012 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
10.012 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
10.012 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
10.012 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
10.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.012 * [taylor]: Taking taylor expansion of x in x
10.012 * [backup-simplify]: Simplify 0 into 0
10.012 * [backup-simplify]: Simplify 1 into 1
10.012 * [backup-simplify]: Simplify (/ 1 1) into 1
10.012 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
10.012 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
10.012 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
10.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.012 * [taylor]: Taking taylor expansion of x in x
10.012 * [backup-simplify]: Simplify 0 into 0
10.012 * [backup-simplify]: Simplify 1 into 1
10.013 * [backup-simplify]: Simplify (/ 1 1) into 1
10.013 * [backup-simplify]: Simplify (- 1) into -1
10.013 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
10.013 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
10.013 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
10.013 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.013 * [taylor]: Taking taylor expansion of x in x
10.013 * [backup-simplify]: Simplify 0 into 0
10.013 * [backup-simplify]: Simplify 1 into 1
10.013 * [backup-simplify]: Simplify (/ 1 1) into 1
10.013 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
10.013 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
10.013 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
10.013 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.013 * [taylor]: Taking taylor expansion of x in x
10.013 * [backup-simplify]: Simplify 0 into 0
10.013 * [backup-simplify]: Simplify 1 into 1
10.014 * [backup-simplify]: Simplify (/ 1 1) into 1
10.014 * [backup-simplify]: Simplify (- 1) into -1
10.014 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
10.014 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x))))
10.014 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x))))
10.014 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
10.014 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
10.015 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
10.015 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
10.015 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
10.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.015 * [taylor]: Taking taylor expansion of x in x
10.015 * [backup-simplify]: Simplify 0 into 0
10.015 * [backup-simplify]: Simplify 1 into 1
10.015 * [backup-simplify]: Simplify (/ 1 1) into 1
10.015 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
10.015 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
10.015 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
10.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.015 * [taylor]: Taking taylor expansion of x in x
10.015 * [backup-simplify]: Simplify 0 into 0
10.015 * [backup-simplify]: Simplify 1 into 1
10.015 * [backup-simplify]: Simplify (/ 1 1) into 1
10.015 * [backup-simplify]: Simplify (- 1) into -1
10.016 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
10.016 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
10.016 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
10.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.016 * [taylor]: Taking taylor expansion of x in x
10.016 * [backup-simplify]: Simplify 0 into 0
10.016 * [backup-simplify]: Simplify 1 into 1
10.016 * [backup-simplify]: Simplify (/ 1 1) into 1
10.016 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
10.016 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
10.016 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
10.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.016 * [taylor]: Taking taylor expansion of x in x
10.016 * [backup-simplify]: Simplify 0 into 0
10.016 * [backup-simplify]: Simplify 1 into 1
10.016 * [backup-simplify]: Simplify (/ 1 1) into 1
10.017 * [backup-simplify]: Simplify (- 1) into -1
10.017 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
10.017 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x))))
10.017 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x))))
10.017 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
10.017 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
10.017 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
10.018 * [backup-simplify]: Simplify (- 0) into 0
10.018 * [backup-simplify]: Simplify (+ 0 0) into 0
10.018 * [backup-simplify]: Simplify (+ 0 0) into 0
10.019 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
10.019 * [backup-simplify]: Simplify 0 into 0
10.019 * [backup-simplify]: Simplify (- 0) into 0
10.019 * [backup-simplify]: Simplify (+ 0 0) into 0
10.019 * [backup-simplify]: Simplify (+ 0 0) into 0
10.020 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
10.020 * [backup-simplify]: Simplify 0 into 0
10.020 * [backup-simplify]: Simplify (- 0) into 0
10.020 * [backup-simplify]: Simplify (+ 0 0) into 0
10.021 * [backup-simplify]: Simplify (+ 0 0) into 0
10.021 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (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
10.021 * [backup-simplify]: Simplify 0 into 0
10.021 * [backup-simplify]: Simplify (- 0) into 0
10.022 * [backup-simplify]: Simplify (+ 0 0) into 0
10.022 * [backup-simplify]: Simplify (+ 0 0) into 0
10.023 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (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
10.023 * [backup-simplify]: Simplify 0 into 0
10.023 * [backup-simplify]: Simplify (- 0) into 0
10.023 * [backup-simplify]: Simplify (+ 0 0) into 0
10.023 * [backup-simplify]: Simplify (+ 0 0) into 0
10.024 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (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
10.024 * [backup-simplify]: Simplify 0 into 0
10.025 * [backup-simplify]: Simplify (- 0) into 0
10.025 * [backup-simplify]: Simplify (+ 0 0) into 0
10.025 * [backup-simplify]: Simplify (+ 0 0) into 0
10.026 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (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
10.026 * [backup-simplify]: Simplify 0 into 0
10.026 * [backup-simplify]: Simplify (/ (- (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))
10.026 * [backup-simplify]: Simplify (/ (- (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x))))
10.027 * [approximate]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
10.027 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
10.027 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
10.027 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
10.027 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.027 * [taylor]: Taking taylor expansion of -1 in x
10.027 * [backup-simplify]: Simplify -1 into -1
10.027 * [taylor]: Taking taylor expansion of x in x
10.027 * [backup-simplify]: Simplify 0 into 0
10.027 * [backup-simplify]: Simplify 1 into 1
10.027 * [backup-simplify]: Simplify (/ -1 1) into -1
10.027 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
10.027 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
10.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.027 * [taylor]: Taking taylor expansion of x in x
10.027 * [backup-simplify]: Simplify 0 into 0
10.027 * [backup-simplify]: Simplify 1 into 1
10.027 * [backup-simplify]: Simplify (/ 1 1) into 1
10.027 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
10.027 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
10.027 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
10.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.027 * [taylor]: Taking taylor expansion of x in x
10.028 * [backup-simplify]: Simplify 0 into 0
10.028 * [backup-simplify]: Simplify 1 into 1
10.028 * [backup-simplify]: Simplify (/ 1 1) into 1
10.028 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
10.028 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
10.028 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.028 * [taylor]: Taking taylor expansion of -1 in x
10.028 * [backup-simplify]: Simplify -1 into -1
10.028 * [taylor]: Taking taylor expansion of x in x
10.028 * [backup-simplify]: Simplify 0 into 0
10.028 * [backup-simplify]: Simplify 1 into 1
10.028 * [backup-simplify]: Simplify (/ -1 1) into -1
10.028 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
10.028 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
10.028 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x)))
10.029 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
10.029 * [backup-simplify]: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x))))
10.029 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
10.029 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
10.029 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
10.029 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.029 * [taylor]: Taking taylor expansion of -1 in x
10.029 * [backup-simplify]: Simplify -1 into -1
10.029 * [taylor]: Taking taylor expansion of x in x
10.029 * [backup-simplify]: Simplify 0 into 0
10.029 * [backup-simplify]: Simplify 1 into 1
10.029 * [backup-simplify]: Simplify (/ -1 1) into -1
10.029 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
10.029 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
10.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.029 * [taylor]: Taking taylor expansion of x in x
10.029 * [backup-simplify]: Simplify 0 into 0
10.029 * [backup-simplify]: Simplify 1 into 1
10.030 * [backup-simplify]: Simplify (/ 1 1) into 1
10.030 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
10.030 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
10.030 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
10.030 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.030 * [taylor]: Taking taylor expansion of x in x
10.030 * [backup-simplify]: Simplify 0 into 0
10.030 * [backup-simplify]: Simplify 1 into 1
10.030 * [backup-simplify]: Simplify (/ 1 1) into 1
10.030 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
10.030 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
10.030 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.030 * [taylor]: Taking taylor expansion of -1 in x
10.030 * [backup-simplify]: Simplify -1 into -1
10.030 * [taylor]: Taking taylor expansion of x in x
10.030 * [backup-simplify]: Simplify 0 into 0
10.030 * [backup-simplify]: Simplify 1 into 1
10.030 * [backup-simplify]: Simplify (/ -1 1) into -1
10.030 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
10.030 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
10.031 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x)))
10.031 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
10.031 * [backup-simplify]: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x))))
10.031 * [backup-simplify]: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x))))
10.031 * [backup-simplify]: Simplify (- 0) into 0
10.032 * [backup-simplify]: Simplify (+ 0 0) into 0
10.032 * [backup-simplify]: Simplify (+ 0 0) into 0
10.032 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
10.032 * [backup-simplify]: Simplify 0 into 0
10.032 * [backup-simplify]: Simplify (- 0) into 0
10.033 * [backup-simplify]: Simplify (+ 0 0) into 0
10.033 * [backup-simplify]: Simplify (+ 0 0) into 0
10.033 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
10.033 * [backup-simplify]: Simplify 0 into 0
10.034 * [backup-simplify]: Simplify (- 0) into 0
10.034 * [backup-simplify]: Simplify (+ 0 0) into 0
10.034 * [backup-simplify]: Simplify (+ 0 0) into 0
10.035 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (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
10.035 * [backup-simplify]: Simplify 0 into 0
10.035 * [backup-simplify]: Simplify (- 0) into 0
10.035 * [backup-simplify]: Simplify (+ 0 0) into 0
10.035 * [backup-simplify]: Simplify (+ 0 0) into 0
10.036 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (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
10.036 * [backup-simplify]: Simplify 0 into 0
10.036 * [backup-simplify]: Simplify (- 0) into 0
10.037 * [backup-simplify]: Simplify (+ 0 0) into 0
10.037 * [backup-simplify]: Simplify (+ 0 0) into 0
10.038 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (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
10.038 * [backup-simplify]: Simplify 0 into 0
10.038 * [backup-simplify]: Simplify (- 0) into 0
10.038 * [backup-simplify]: Simplify (+ 0 0) into 0
10.038 * [backup-simplify]: Simplify (+ 0 0) into 0
10.039 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (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
10.039 * [backup-simplify]: Simplify 0 into 0
10.039 * [backup-simplify]: Simplify (/ (- (exp (/ -1 (/ 1 (- x)))) (exp (/ 1 (/ 1 (- x))))) (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x)))
10.040 * * * [progress]: simplifying candidates
10.041 * [simplify]: Simplifying:
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))
  (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))
  (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x)))))
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (exp (- x)) 1)))
  (fma (- (exp (- x))) 1 (* (exp (- x)) 1))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))
  (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))
  (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x)))))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (exp (- x)) 1)))
  (fma (- (exp (- x))) 1 (* (exp (- x)) 1))
  (fma 1 (exp x) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))))
  (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))
  (fma 1 (exp x) (- (* (sqrt (exp (- x))) (sqrt (exp (- x))))))
  (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x)))))
  (fma 1 (exp x) (- (* (exp (- x)) 1)))
  (fma (- (exp (- x))) 1 (* (exp (- x)) 1))
  (expm1 (- (exp x) (exp (- x))))
  (log1p (- (exp x) (exp (- x))))
  (- (exp (- x)))
  (- (exp (- x)))
  (- (exp (- x)))
  (/ (exp (exp x)) (exp (exp (- x))))
  (log (- (exp x) (exp (- x))))
  (exp (- (exp x) (exp (- x))))
  (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x)))))
  (cbrt (- (exp x) (exp (- x))))
  (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x))))
  (sqrt (- (exp x) (exp (- x))))
  (sqrt (- (exp x) (exp (- x))))
  (- (pow (exp x) 3) (pow (exp (- x)) 3))
  (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
  (- (exp (- x)))
  (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))
  (+ (exp x) (exp (- x)))
  (+ (sqrt (exp x)) (sqrt (exp (- x))))
  (- (sqrt (exp x)) (sqrt (exp (- x))))
  (- (exp x) (exp (- x)))
  (- (exp (- x)))
  (expm1 (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))
  (log1p (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))
  (- (log (- (exp x) (exp (- x)))) (log (+ (exp x) (exp (- x)))))
  (log (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))
  (exp (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))
  (/ (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))
  (* (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))))
  (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))
  (* (* (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))
  (sqrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))
  (sqrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))
  (- (- (exp x) (exp (- x))))
  (- (+ (exp x) (exp (- x))))
  (/ (exp x) (+ (exp x) (exp (- x))))
  (/ (exp (- x)) (+ (exp x) (exp (- x))))
  (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (cbrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))
  (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x)))))
  (/ (cbrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))))
  (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) 1)
  (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))
  (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) 1)
  (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))
  (/ (sqrt (- (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (sqrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))
  (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt (- (exp x) (exp (- x)))) 1)
  (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))
  (/ (sqrt (- (exp x) (exp (- x)))) 1)
  (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))
  (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x)))))
  (/ 1 (sqrt (+ (exp x) (exp (- x)))))
  (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x)))))
  (/ 1 1)
  (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))
  (/ 1 1)
  (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))
  (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))
  (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))))
  (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))))
  (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) 1)
  (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x))))
  (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) 1)
  (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x))))
  (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x)))))
  (/ 1 (sqrt (+ (exp x) (exp (- x)))))
  (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x)))))
  (/ 1 1)
  (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))
  (/ 1 1)
  (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))
  (/ 1 (+ (exp x) (exp (- x))))
  (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x))))
  (/ (- (exp x) (exp (- x))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x)))))
  (/ (- (exp x) (exp (- x))) 1)
  (/ (- (exp x) (exp (- x))) 1)
  (/ (+ (exp x) (exp (- x))) (cbrt (- (exp x) (exp (- x)))))
  (/ (+ (exp x) (exp (- x))) (sqrt (- (exp x) (exp (- x)))))
  (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x))))
  (/ (+ (exp x) (exp (- x))) (- (sqrt (exp x)) (sqrt (exp (- x)))))
  (/ (+ (exp x) (exp (- x))) (- (exp x) (exp (- x))))
  (/ (- (exp x) (exp (- x))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ (- (exp x) (exp (- x))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))
  (* (+ (exp x) (exp (- x))) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))
  (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x))))
  (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
  (- (exp x) (exp (- x)))
  (- (exp x) (exp (* -1 x)))
  (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
  (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))
  (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x)))
10.043 * * [simplify]: Extracting # 0 : cost  0
10.043 * * [simplify]: Extracting # 1 : cost  0
10.043 * * [simplify]: Extracting # 2 : cost  0
10.044 * * [simplify]: Extracting # 3 : cost  0
10.044 * * [simplify]: Extracting # 4 : cost  0
10.044 * * [simplify]: Extracting # 5 : cost  0
10.044 * * [simplify]: Extracting # 6 : cost  0
10.044 * * [simplify]: Extracting # 7 : cost  0
10.044 * * [simplify]: Extracting # 8 : cost  0
10.045 * * [simplify]: Extracting # 9 : cost  0
10.045 * * [simplify]: iteration  0 :  134  enodes  (cost  1618 )
10.071 * * [simplify]: Extracting # 0 : cost  0
10.072 * * [simplify]: Extracting # 1 : cost  0
10.072 * * [simplify]: Extracting # 2 : cost  0
10.072 * * [simplify]: Extracting # 3 : cost  0
10.073 * * [simplify]: Extracting # 4 : cost  0
10.073 * * [simplify]: iteration  1 :  323  enodes  (cost  1441 )
10.207 * * [simplify]: Extracting # 0 : cost  0
10.209 * * [simplify]: Extracting # 1 : cost  0
10.210 * * [simplify]: Extracting # 2 : cost  0
10.212 * * [simplify]: Extracting # 3 : cost  0
10.217 * * [simplify]: Extracting # 4 : cost  0
10.219 * * [simplify]: iteration  2 :  1415  enodes  (cost  1288 )
11.107 * * [simplify]: Extracting # 0 : cost  0
11.122 * * [simplify]: Extracting # 1 : cost  0
11.132 * * [simplify]: Extracting # 2 : cost  0
11.140 * * [simplify]: Extracting # 3 : cost  0
11.148 * * [simplify]: Extracting # 4 : cost  0
11.157 * * [simplify]: iteration done:  5002  enodes  (cost  1231 )
11.158 * [simplify]: Simplified to:
  (- (pow (cbrt (exp x)) 3) (exp (- x)))
  0
  (- (pow (cbrt (exp x)) 3) (exp (- x)))
  0
  (- (pow (cbrt (exp x)) 3) (exp (- x)))
  0
  (- (exp x) (exp (- x)))
  0
  (- (exp x) (exp (- x)))
  0
  (- (exp x) (exp (- x)))
  0
  (- (exp x) (exp (- x)))
  0
  (- (exp x) (exp (- x)))
  0
  (- (exp x) (exp (- x)))
  0
  (expm1 (- (exp x) (exp (- x))))
  (log1p (- (exp x) (exp (- x))))
  (- (exp (- x)))
  (- (exp (- x)))
  (- (exp (- x)))
  (exp (- (exp x) (exp (- x))))
  (log (- (exp x) (exp (- x))))
  (exp (- (exp x) (exp (- x))))
  (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x)))))
  (cbrt (- (exp x) (exp (- x))))
  (pow (- (exp x) (exp (- x))) 3)
  (sqrt (- (exp x) (exp (- x))))
  (sqrt (- (exp x) (exp (- x))))
  (- (pow (exp x) 3) (pow (exp (- x)) 3))
  (+ (exp (* x -2)) (+ 1 (exp (+ x x))))
  (- (exp (- x)))
  (- (exp (+ x x)) (exp (* x -2)))
  (+ (exp x) (exp (- x)))
  (+ (sqrt (exp x)) (sqrt (exp (- x))))
  (- (sqrt (exp x)) (sqrt (exp (- x))))
  (- (exp x) (exp (- x)))
  (- (exp (- x)))
  (expm1 (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))
  (log1p (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))
  (log (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))
  (log (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))
  (exp (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))
  (pow (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 3)
  (* (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))) (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))))
  (cbrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))
  (pow (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) 3)
  (sqrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))
  (sqrt (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))
  (- (- (exp x) (exp (- x))))
  (- (+ (exp x) (exp (- x))))
  (/ (exp x) (+ (exp x) (exp (- x))))
  (/ (exp (- x)) (+ (exp x) (exp (- x))))
  (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (cbrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))
  (/ (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x)))))
  (/ (cbrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))))
  (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x)))))
  (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))
  (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x)))))
  (/ (cbrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))
  (/ (sqrt (- (exp x) (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (sqrt (- (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))
  (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt (- (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))))
  (sqrt (- (exp x) (exp (- x))))
  (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))
  (sqrt (- (exp x) (exp (- x))))
  (/ (sqrt (- (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))
  (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x)))))
  (/ 1 (sqrt (+ (exp x) (exp (- x)))))
  (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x)))))
  1
  (/ (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x)))
  1
  (/ (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x)))
  (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))
  (/ (+ (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))))
  (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))))
  (+ (sqrt (exp x)) (sqrt (exp (- x))))
  (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x))))
  (+ (sqrt (exp x)) (sqrt (exp (- x))))
  (/ (- (sqrt (exp x)) (sqrt (exp (- x)))) (+ (exp x) (exp (- x))))
  (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (- (exp x) (exp (- x))) (cbrt (+ (exp x) (exp (- x)))))
  (/ 1 (sqrt (+ (exp x) (exp (- x)))))
  (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x)))))
  1
  (/ (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x)))
  1
  (/ (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x)))
  (/ 1 (+ (exp x) (exp (- x))))
  (/ (+ (exp (- x)) (exp x)) (- (exp x) (exp (- x))))
  (/ (- (exp x) (exp (- x))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (- (exp x) (exp (- x))) (sqrt (+ (exp x) (exp (- x)))))
  (- (exp x) (exp (- x)))
  (- (exp x) (exp (- x)))
  (/ (+ (exp x) (exp (- x))) (cbrt (- (exp x) (exp (- x)))))
  (/ (+ (exp (- x)) (exp x)) (sqrt (- (exp x) (exp (- x)))))
  (/ (+ (exp (- x)) (exp x)) (- (exp x) (exp (- x))))
  (/ (+ (exp x) (exp (- x))) (- (sqrt (exp x)) (sqrt (exp (- x)))))
  (/ (+ (exp (- x)) (exp x)) (- (exp x) (exp (- x))))
  (/ (- (exp x) (exp (- x))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ (- (exp x) (exp (- x))) (- (exp (+ x x)) (exp (* x -2))))
  (* (+ (exp (* x -2)) (+ 1 (exp (+ x x)))) (+ (exp (- x)) (exp x)))
  (+ (+ 1 (exp (+ x x))) (+ 1 (exp (* x -2))))
  (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))
  (- (exp x) (exp (- x)))
  (- (exp x) (exp (- x)))
  (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))
  (/ (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x)))
  (/ (- (exp x) (exp (- x))) (+ (exp (- x)) (exp x)))
11.159 * * * [progress]: adding candidates to table
11.344 * * [progress]: iteration 2 / 4
11.344 * * * [progress]: picking best candidate
11.349 * * * * [pick]: Picked  #<alt (λ (x) (tanh x))>
11.349 * * * [progress]: localizing error
11.351 * * * [progress]: generating rewritten candidates
11.351 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
11.353 * * * [progress]: generating series expansions
11.353 * * * * [progress]: [ 1 / 1 ] generating series at (2)
11.353 * [backup-simplify]: Simplify (tanh x) into (tanh x)
11.353 * [approximate]: Taking taylor expansion of (tanh x) in (x) around 0
11.353 * [taylor]: Taking taylor expansion of (tanh x) in x
11.353 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))
11.353 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
11.353 * [taylor]: Taking taylor expansion of (exp x) in x
11.353 * [taylor]: Taking taylor expansion of x in x
11.353 * [backup-simplify]: Simplify 0 into 0
11.353 * [backup-simplify]: Simplify 1 into 1
11.353 * [backup-simplify]: Simplify (exp 0) into 1
11.353 * [taylor]: Taking taylor expansion of (exp (- x)) in x
11.353 * [taylor]: Taking taylor expansion of (- x) in x
11.353 * [taylor]: Taking taylor expansion of x in x
11.353 * [backup-simplify]: Simplify 0 into 0
11.353 * [backup-simplify]: Simplify 1 into 1
11.354 * [backup-simplify]: Simplify (- 0) into 0
11.354 * [backup-simplify]: Simplify (- 1) into -1
11.354 * [backup-simplify]: Simplify (exp 0) into 1
11.354 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
11.354 * [taylor]: Taking taylor expansion of (exp x) in x
11.354 * [taylor]: Taking taylor expansion of x in x
11.354 * [backup-simplify]: Simplify 0 into 0
11.354 * [backup-simplify]: Simplify 1 into 1
11.354 * [backup-simplify]: Simplify (exp 0) into 1
11.354 * [taylor]: Taking taylor expansion of (exp (- x)) in x
11.354 * [taylor]: Taking taylor expansion of (- x) in x
11.354 * [taylor]: Taking taylor expansion of x in x
11.354 * [backup-simplify]: Simplify 0 into 0
11.354 * [backup-simplify]: Simplify 1 into 1
11.355 * [backup-simplify]: Simplify (- 0) into 0
11.355 * [backup-simplify]: Simplify (- 1) into -1
11.355 * [backup-simplify]: Simplify (exp 0) into 1
11.355 * [backup-simplify]: Simplify (- 1) into -1
11.355 * [backup-simplify]: Simplify (+ 1 -1) into 0
11.356 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
11.356 * [backup-simplify]: Simplify (- 1) into -1
11.357 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
11.357 * [backup-simplify]: Simplify (- -1) into 1
11.358 * [backup-simplify]: Simplify (+ 1 1) into 2
11.358 * [backup-simplify]: Simplify (+ 1 1) into 2
11.358 * [backup-simplify]: Simplify (/ 2 2) into 1
11.358 * [taylor]: Taking taylor expansion of (tanh x) in x
11.359 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))
11.359 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x
11.359 * [taylor]: Taking taylor expansion of (exp x) in x
11.359 * [taylor]: Taking taylor expansion of x in x
11.359 * [backup-simplify]: Simplify 0 into 0
11.359 * [backup-simplify]: Simplify 1 into 1
11.359 * [backup-simplify]: Simplify (exp 0) into 1
11.359 * [taylor]: Taking taylor expansion of (exp (- x)) in x
11.359 * [taylor]: Taking taylor expansion of (- x) in x
11.359 * [taylor]: Taking taylor expansion of x in x
11.359 * [backup-simplify]: Simplify 0 into 0
11.359 * [backup-simplify]: Simplify 1 into 1
11.359 * [backup-simplify]: Simplify (- 0) into 0
11.360 * [backup-simplify]: Simplify (- 1) into -1
11.360 * [backup-simplify]: Simplify (exp 0) into 1
11.360 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
11.360 * [taylor]: Taking taylor expansion of (exp x) in x
11.360 * [taylor]: Taking taylor expansion of x in x
11.360 * [backup-simplify]: Simplify 0 into 0
11.360 * [backup-simplify]: Simplify 1 into 1
11.360 * [backup-simplify]: Simplify (exp 0) into 1
11.360 * [taylor]: Taking taylor expansion of (exp (- x)) in x
11.360 * [taylor]: Taking taylor expansion of (- x) in x
11.360 * [taylor]: Taking taylor expansion of x in x
11.360 * [backup-simplify]: Simplify 0 into 0
11.360 * [backup-simplify]: Simplify 1 into 1
11.360 * [backup-simplify]: Simplify (- 0) into 0
11.361 * [backup-simplify]: Simplify (- 1) into -1
11.361 * [backup-simplify]: Simplify (exp 0) into 1
11.361 * [backup-simplify]: Simplify (- 1) into -1
11.361 * [backup-simplify]: Simplify (+ 1 -1) into 0
11.362 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
11.363 * [backup-simplify]: Simplify (- 1) into -1
11.364 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
11.364 * [backup-simplify]: Simplify (- -1) into 1
11.365 * [backup-simplify]: Simplify (+ 1 1) into 2
11.365 * [backup-simplify]: Simplify (+ 1 1) into 2
11.365 * [backup-simplify]: Simplify (/ 2 2) into 1
11.365 * [backup-simplify]: Simplify 1 into 1
11.367 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
11.367 * [backup-simplify]: Simplify (- 1) into -1
11.368 * [backup-simplify]: Simplify (- 0) into 0
11.369 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
11.370 * [backup-simplify]: Simplify (- 1/2) into -1/2
11.370 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
11.371 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
11.371 * [backup-simplify]: Simplify (- 1) into -1
11.372 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
11.373 * [backup-simplify]: Simplify (+ 1 -1) into 0
11.374 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
11.374 * [backup-simplify]: Simplify 0 into 0
11.376 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
11.376 * [backup-simplify]: Simplify (- 1) into -1
11.377 * [backup-simplify]: Simplify (- 1) into -1
11.377 * [backup-simplify]: Simplify (- 0) into 0
11.377 * [backup-simplify]: Simplify (- 0) into 0
11.380 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
11.380 * [backup-simplify]: Simplify (- -1/6) into 1/6
11.380 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
11.382 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
11.382 * [backup-simplify]: Simplify (- 1) into -1
11.383 * [backup-simplify]: Simplify (- 0) into 0
11.384 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
11.384 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
11.386 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/3
11.386 * [backup-simplify]: Simplify -1/3 into -1/3
11.389 * [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
11.390 * [backup-simplify]: Simplify (- 1) into -1
11.391 * [backup-simplify]: Simplify (- 1) into -1
11.391 * [backup-simplify]: Simplify (- 0) into 0
11.391 * [backup-simplify]: Simplify (- 1) into -1
11.392 * [backup-simplify]: Simplify (- 0) into 0
11.392 * [backup-simplify]: Simplify (- 0) into 0
11.392 * [backup-simplify]: Simplify (- 0) into 0
11.397 * [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
11.397 * [backup-simplify]: Simplify (- 1/24) into -1/24
11.397 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
11.400 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
11.400 * [backup-simplify]: Simplify (- 1) into -1
11.400 * [backup-simplify]: Simplify (- 1) into -1
11.401 * [backup-simplify]: Simplify (- 0) into 0
11.401 * [backup-simplify]: Simplify (- 0) into 0
11.403 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
11.404 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
11.405 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/3 (/ 0 2)))) into 0
11.405 * [backup-simplify]: Simplify 0 into 0
11.410 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120
11.411 * [backup-simplify]: Simplify (- 1) into -1
11.411 * [backup-simplify]: Simplify (- 1) into -1
11.412 * [backup-simplify]: Simplify (- 0) into 0
11.412 * [backup-simplify]: Simplify (- 1) into -1
11.412 * [backup-simplify]: Simplify (- 0) into 0
11.413 * [backup-simplify]: Simplify (- 1) into -1
11.413 * [backup-simplify]: Simplify (- 0) into 0
11.414 * [backup-simplify]: Simplify (- 1) into -1
11.414 * [backup-simplify]: Simplify (- 0) into 0
11.414 * [backup-simplify]: Simplify (- 0) into 0
11.415 * [backup-simplify]: Simplify (- 0) into 0
11.415 * [backup-simplify]: Simplify (- 0) into 0
11.420 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120
11.421 * [backup-simplify]: Simplify (- -1/120) into 1/120
11.421 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
11.425 * [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
11.425 * [backup-simplify]: Simplify (- 1) into -1
11.426 * [backup-simplify]: Simplify (- 1) into -1
11.426 * [backup-simplify]: Simplify (- 0) into 0
11.426 * [backup-simplify]: Simplify (- 1) into -1
11.427 * [backup-simplify]: Simplify (- 0) into 0
11.427 * [backup-simplify]: Simplify (- 0) into 0
11.428 * [backup-simplify]: Simplify (- 0) into 0
11.431 * [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
11.432 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
11.434 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/3 (/ 1 2)) (* 0 (/ 0 2)))) into 2/15
11.434 * [backup-simplify]: Simplify 2/15 into 2/15
11.435 * [backup-simplify]: Simplify (+ (* 2/15 (pow x 5)) (+ (* -1/3 (pow x 3)) (* 1 x))) into (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
11.435 * [backup-simplify]: Simplify (tanh (/ 1 x)) into (tanh (/ 1 x))
11.435 * [approximate]: Taking taylor expansion of (tanh (/ 1 x)) in (x) around 0
11.435 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x
11.435 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
11.435 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
11.435 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
11.435 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.435 * [taylor]: Taking taylor expansion of x in x
11.435 * [backup-simplify]: Simplify 0 into 0
11.435 * [backup-simplify]: Simplify 1 into 1
11.436 * [backup-simplify]: Simplify (/ 1 1) into 1
11.436 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
11.436 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
11.436 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
11.436 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.436 * [taylor]: Taking taylor expansion of x in x
11.436 * [backup-simplify]: Simplify 0 into 0
11.436 * [backup-simplify]: Simplify 1 into 1
11.436 * [backup-simplify]: Simplify (/ 1 1) into 1
11.437 * [backup-simplify]: Simplify (- 1) into -1
11.437 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
11.437 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
11.437 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
11.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.437 * [taylor]: Taking taylor expansion of x in x
11.437 * [backup-simplify]: Simplify 0 into 0
11.437 * [backup-simplify]: Simplify 1 into 1
11.437 * [backup-simplify]: Simplify (/ 1 1) into 1
11.437 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
11.437 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
11.437 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
11.438 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.438 * [taylor]: Taking taylor expansion of x in x
11.438 * [backup-simplify]: Simplify 0 into 0
11.438 * [backup-simplify]: Simplify 1 into 1
11.438 * [backup-simplify]: Simplify (/ 1 1) into 1
11.438 * [backup-simplify]: Simplify (- 1) into -1
11.438 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
11.439 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x))))
11.439 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x))))
11.439 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
11.439 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
11.439 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x
11.439 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
11.439 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
11.439 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
11.440 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.440 * [taylor]: Taking taylor expansion of x in x
11.440 * [backup-simplify]: Simplify 0 into 0
11.440 * [backup-simplify]: Simplify 1 into 1
11.440 * [backup-simplify]: Simplify (/ 1 1) into 1
11.440 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
11.440 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
11.440 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
11.440 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.440 * [taylor]: Taking taylor expansion of x in x
11.440 * [backup-simplify]: Simplify 0 into 0
11.440 * [backup-simplify]: Simplify 1 into 1
11.441 * [backup-simplify]: Simplify (/ 1 1) into 1
11.441 * [backup-simplify]: Simplify (- 1) into -1
11.441 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
11.441 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
11.441 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
11.441 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.441 * [taylor]: Taking taylor expansion of x in x
11.441 * [backup-simplify]: Simplify 0 into 0
11.441 * [backup-simplify]: Simplify 1 into 1
11.442 * [backup-simplify]: Simplify (/ 1 1) into 1
11.442 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
11.442 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
11.442 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
11.442 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.442 * [taylor]: Taking taylor expansion of x in x
11.442 * [backup-simplify]: Simplify 0 into 0
11.442 * [backup-simplify]: Simplify 1 into 1
11.442 * [backup-simplify]: Simplify (/ 1 1) into 1
11.443 * [backup-simplify]: Simplify (- 1) into -1
11.443 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
11.443 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x))))
11.443 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x))))
11.443 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
11.444 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
11.444 * [backup-simplify]: Simplify (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
11.444 * [backup-simplify]: Simplify (- 0) into 0
11.445 * [backup-simplify]: Simplify (+ 0 0) into 0
11.452 * [backup-simplify]: Simplify (+ 0 0) into 0
11.453 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
11.453 * [backup-simplify]: Simplify 0 into 0
11.453 * [backup-simplify]: Simplify (- 0) into 0
11.454 * [backup-simplify]: Simplify (+ 0 0) into 0
11.454 * [backup-simplify]: Simplify (+ 0 0) into 0
11.455 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
11.455 * [backup-simplify]: Simplify 0 into 0
11.455 * [backup-simplify]: Simplify (- 0) into 0
11.455 * [backup-simplify]: Simplify (+ 0 0) into 0
11.455 * [backup-simplify]: Simplify (+ 0 0) into 0
11.456 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (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
11.456 * [backup-simplify]: Simplify 0 into 0
11.456 * [backup-simplify]: Simplify (- 0) into 0
11.456 * [backup-simplify]: Simplify (+ 0 0) into 0
11.457 * [backup-simplify]: Simplify (+ 0 0) into 0
11.457 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (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
11.457 * [backup-simplify]: Simplify 0 into 0
11.458 * [backup-simplify]: Simplify (- 0) into 0
11.458 * [backup-simplify]: Simplify (+ 0 0) into 0
11.458 * [backup-simplify]: Simplify (+ 0 0) into 0
11.459 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (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
11.459 * [backup-simplify]: Simplify 0 into 0
11.459 * [backup-simplify]: Simplify (- 0) into 0
11.460 * [backup-simplify]: Simplify (+ 0 0) into 0
11.460 * [backup-simplify]: Simplify (+ 0 0) into 0
11.461 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ (- (exp (/ 1 x)) (exp (- (/ 1 x)))) (+ (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
11.461 * [backup-simplify]: Simplify 0 into 0
11.461 * [backup-simplify]: Simplify (/ (- (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))
11.461 * [backup-simplify]: Simplify (tanh (/ 1 (- x))) into (tanh (/ -1 x))
11.461 * [approximate]: Taking taylor expansion of (tanh (/ -1 x)) in (x) around 0
11.461 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x
11.461 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x)))))
11.461 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x
11.461 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
11.461 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.461 * [taylor]: Taking taylor expansion of -1 in x
11.461 * [backup-simplify]: Simplify -1 into -1
11.461 * [taylor]: Taking taylor expansion of x in x
11.461 * [backup-simplify]: Simplify 0 into 0
11.461 * [backup-simplify]: Simplify 1 into 1
11.462 * [backup-simplify]: Simplify (/ -1 1) into -1
11.462 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
11.462 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x
11.462 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x
11.462 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.462 * [taylor]: Taking taylor expansion of -1 in x
11.462 * [backup-simplify]: Simplify -1 into -1
11.462 * [taylor]: Taking taylor expansion of x in x
11.462 * [backup-simplify]: Simplify 0 into 0
11.462 * [backup-simplify]: Simplify 1 into 1
11.462 * [backup-simplify]: Simplify (/ -1 1) into -1
11.462 * [backup-simplify]: Simplify (- -1) into 1
11.463 * [backup-simplify]: Simplify (exp (- (/ -1 x))) into (exp (/ 1 x))
11.463 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x
11.463 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
11.463 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.463 * [taylor]: Taking taylor expansion of -1 in x
11.463 * [backup-simplify]: Simplify -1 into -1
11.463 * [taylor]: Taking taylor expansion of x in x
11.463 * [backup-simplify]: Simplify 0 into 0
11.463 * [backup-simplify]: Simplify 1 into 1
11.463 * [backup-simplify]: Simplify (/ -1 1) into -1
11.463 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
11.463 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x
11.463 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x
11.463 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.463 * [taylor]: Taking taylor expansion of -1 in x
11.463 * [backup-simplify]: Simplify -1 into -1
11.463 * [taylor]: Taking taylor expansion of x in x
11.463 * [backup-simplify]: Simplify 0 into 0
11.463 * [backup-simplify]: Simplify 1 into 1
11.463 * [backup-simplify]: Simplify (/ -1 1) into -1
11.464 * [backup-simplify]: Simplify (- -1) into 1
11.464 * [backup-simplify]: Simplify (exp (- (/ -1 x))) into (exp (/ 1 x))
11.464 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
11.464 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x)))
11.464 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (exp (/ 1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
11.464 * [backup-simplify]: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x))))
11.464 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x
11.464 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (- (/ -1 x)))) (+ (exp (/ -1 x)) (exp (- (/ -1 x)))))
11.464 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (- (/ -1 x)))) in x
11.464 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
11.464 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.464 * [taylor]: Taking taylor expansion of -1 in x
11.464 * [backup-simplify]: Simplify -1 into -1
11.464 * [taylor]: Taking taylor expansion of x in x
11.464 * [backup-simplify]: Simplify 0 into 0
11.464 * [backup-simplify]: Simplify 1 into 1
11.465 * [backup-simplify]: Simplify (/ -1 1) into -1
11.465 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
11.465 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x
11.465 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x
11.465 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.465 * [taylor]: Taking taylor expansion of -1 in x
11.465 * [backup-simplify]: Simplify -1 into -1
11.465 * [taylor]: Taking taylor expansion of x in x
11.465 * [backup-simplify]: Simplify 0 into 0
11.465 * [backup-simplify]: Simplify 1 into 1
11.465 * [backup-simplify]: Simplify (/ -1 1) into -1
11.465 * [backup-simplify]: Simplify (- -1) into 1
11.465 * [backup-simplify]: Simplify (exp (- (/ -1 x))) into (exp (/ 1 x))
11.465 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (- (/ -1 x)))) in x
11.465 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
11.466 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.466 * [taylor]: Taking taylor expansion of -1 in x
11.466 * [backup-simplify]: Simplify -1 into -1
11.466 * [taylor]: Taking taylor expansion of x in x
11.466 * [backup-simplify]: Simplify 0 into 0
11.466 * [backup-simplify]: Simplify 1 into 1
11.466 * [backup-simplify]: Simplify (/ -1 1) into -1
11.466 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
11.466 * [taylor]: Taking taylor expansion of (exp (- (/ -1 x))) in x
11.466 * [taylor]: Taking taylor expansion of (- (/ -1 x)) in x
11.466 * [taylor]: Taking taylor expansion of (/ -1 x) in x
11.466 * [taylor]: Taking taylor expansion of -1 in x
11.466 * [backup-simplify]: Simplify -1 into -1
11.466 * [taylor]: Taking taylor expansion of x in x
11.466 * [backup-simplify]: Simplify 0 into 0
11.466 * [backup-simplify]: Simplify 1 into 1
11.466 * [backup-simplify]: Simplify (/ -1 1) into -1
11.467 * [backup-simplify]: Simplify (- -1) into 1
11.467 * [backup-simplify]: Simplify (exp (- (/ -1 x))) into (exp (/ 1 x))
11.467 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
11.467 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x)))
11.467 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (exp (/ 1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
11.467 * [backup-simplify]: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x))))
11.467 * [backup-simplify]: Simplify (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x))))
11.468 * [backup-simplify]: Simplify (- 0) into 0
11.468 * [backup-simplify]: Simplify (+ 0 0) into 0
11.468 * [backup-simplify]: Simplify (+ 0 0) into 0
11.468 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
11.468 * [backup-simplify]: Simplify 0 into 0
11.469 * [backup-simplify]: Simplify (- 0) into 0
11.469 * [backup-simplify]: Simplify (+ 0 0) into 0
11.469 * [backup-simplify]: Simplify (+ 0 0) into 0
11.470 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
11.470 * [backup-simplify]: Simplify 0 into 0
11.470 * [backup-simplify]: Simplify (- 0) into 0
11.470 * [backup-simplify]: Simplify (+ 0 0) into 0
11.470 * [backup-simplify]: Simplify (+ 0 0) into 0
11.471 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (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
11.471 * [backup-simplify]: Simplify 0 into 0
11.471 * [backup-simplify]: Simplify (- 0) into 0
11.471 * [backup-simplify]: Simplify (+ 0 0) into 0
11.472 * [backup-simplify]: Simplify (+ 0 0) into 0
11.472 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (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
11.472 * [backup-simplify]: Simplify 0 into 0
11.473 * [backup-simplify]: Simplify (- 0) into 0
11.473 * [backup-simplify]: Simplify (+ 0 0) into 0
11.473 * [backup-simplify]: Simplify (+ 0 0) into 0
11.474 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (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
11.474 * [backup-simplify]: Simplify 0 into 0
11.474 * [backup-simplify]: Simplify (- 0) into 0
11.474 * [backup-simplify]: Simplify (+ 0 0) into 0
11.475 * [backup-simplify]: Simplify (+ 0 0) into 0
11.475 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (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
11.475 * [backup-simplify]: Simplify 0 into 0
11.476 * [backup-simplify]: Simplify (/ (- (exp (/ -1 (/ 1 (- x)))) (exp (/ 1 (/ 1 (- x))))) (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x)))
11.476 * * * [progress]: simplifying candidates
11.476 * [simplify]: Simplifying:
  (expm1 (tanh x))
  (log1p (tanh x))
  (- (exp x) (exp (- x)))
  (+ (exp x) (exp (- x)))
  (- (exp (* 2 x)) 1)
  (+ (exp (* 2 x)) 1)
  (- 1 (exp (* -2 x)))
  (+ 1 (exp (* -2 x)))
  (log (tanh x))
  (exp (tanh x))
  (* (cbrt (tanh x)) (cbrt (tanh x)))
  (cbrt (tanh x))
  (* (* (tanh x) (tanh x)) (tanh x))
  (sqrt (tanh x))
  (sqrt (tanh x))
  (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
  (/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x))))
  (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x)))
11.476 * * [simplify]: Extracting # 0 : cost  0
11.476 * * [simplify]: Extracting # 1 : cost  0
11.476 * * [simplify]: Extracting # 2 : cost  0
11.477 * * [simplify]: Extracting # 3 : cost  0
11.477 * * [simplify]: Extracting # 4 : cost  0
11.477 * * [simplify]: Extracting # 5 : cost  0
11.477 * * [simplify]: Extracting # 6 : cost  0
11.477 * * [simplify]: Extracting # 7 : cost  0
11.477 * * [simplify]: Extracting # 8 : cost  0
11.477 * * [simplify]: Extracting # 9 : cost  0
11.477 * * [simplify]: iteration  0 :  44  enodes  (cost  113 )
11.486 * * [simplify]: Extracting # 0 : cost  0
11.486 * * [simplify]: Extracting # 1 : cost  0
11.486 * * [simplify]: Extracting # 2 : cost  0
11.486 * * [simplify]: Extracting # 3 : cost  0
11.487 * * [simplify]: Extracting # 4 : cost  0
11.487 * * [simplify]: iteration  1 :  93  enodes  (cost  87 )
11.504 * * [simplify]: Extracting # 0 : cost  0
11.504 * * [simplify]: Extracting # 1 : cost  0
11.504 * * [simplify]: Extracting # 2 : cost  0
11.504 * * [simplify]: Extracting # 3 : cost  0
11.505 * * [simplify]: Extracting # 4 : cost  0
11.505 * * [simplify]: iteration  2 :  207  enodes  (cost  82 )
11.565 * * [simplify]: Extracting # 0 : cost  0
11.566 * * [simplify]: Extracting # 1 : cost  0
11.567 * * [simplify]: Extracting # 2 : cost  0
11.567 * * [simplify]: Extracting # 3 : cost  0
11.568 * * [simplify]: Extracting # 4 : cost  0
11.569 * * [simplify]: iteration  3 :  659  enodes  (cost  81 )
12.361 * * [simplify]: Extracting # 0 : cost  0
12.367 * * [simplify]: Extracting # 1 : cost  0
12.378 * * [simplify]: Extracting # 2 : cost  0
12.383 * * [simplify]: Extracting # 3 : cost  0
12.386 * * [simplify]: Extracting # 4 : cost  0
12.389 * * [simplify]: Extracting # 5 : cost  0
12.392 * * [simplify]: iteration  4 :  3437  enodes  (cost  81 )
13.692 * * [simplify]: Extracting # 0 : cost  0
13.700 * * [simplify]: Extracting # 1 : cost  0
13.709 * * [simplify]: Extracting # 2 : cost  0
13.717 * * [simplify]: Extracting # 3 : cost  0
13.724 * * [simplify]: iteration done:  5000  enodes  (cost  81 )
13.725 * [simplify]: Simplified to:
  (expm1 (tanh x))
  (log1p (tanh x))
  (- (exp x) (exp (- x)))
  (+ (exp (- x)) (exp x))
  (expm1 (* 2 x))
  (+ (exp (* 2 x)) 1)
  (- 1 (exp (* -2 x)))
  (+ 1 (exp (* -2 x)))
  (log (tanh x))
  (exp (tanh x))
  (* (cbrt (tanh x)) (cbrt (tanh x)))
  (cbrt (tanh x))
  (pow (tanh x) 3)
  (sqrt (tanh x))
  (sqrt (tanh x))
  (fma -1/3 (pow x 3) (fma 2/15 (pow x 5) x))
  (tanh x)
  (tanh x)
13.725 * * * [progress]: adding candidates to table
13.769 * * [progress]: iteration 3 / 4
13.769 * * * [progress]: picking best candidate
13.774 * * * * [pick]: Picked  #<alt (λ (x) (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))))>
13.774 * * * [progress]: localizing error
13.798 * * * [progress]: generating rewritten candidates
13.798 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
13.834 * * * [progress]: generating series expansions
13.834 * * * * [progress]: [ 1 / 1 ] generating series at (2)
13.835 * [backup-simplify]: Simplify (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))) into (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x))))
13.835 * [approximate]: Taking taylor expansion of (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))) in (x) around 0
13.835 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))) in x
13.835 * [taylor]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in x
13.835 * [taylor]: Rewrote expression to (+ (* 1/3 (pow x 3)) (fma 1/60 (pow x 5) (* 2 x)))
13.835 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x
13.835 * [taylor]: Taking taylor expansion of 1/3 in x
13.835 * [backup-simplify]: Simplify 1/3 into 1/3
13.835 * [taylor]: Taking taylor expansion of (pow x 3) in x
13.835 * [taylor]: Taking taylor expansion of x in x
13.835 * [backup-simplify]: Simplify 0 into 0
13.835 * [backup-simplify]: Simplify 1 into 1
13.835 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x
13.835 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x))
13.835 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x
13.835 * [taylor]: Taking taylor expansion of 1/60 in x
13.835 * [backup-simplify]: Simplify 1/60 into 1/60
13.835 * [taylor]: Taking taylor expansion of (pow x 5) in x
13.835 * [taylor]: Taking taylor expansion of x in x
13.835 * [backup-simplify]: Simplify 0 into 0
13.835 * [backup-simplify]: Simplify 1 into 1
13.835 * [taylor]: Taking taylor expansion of (* 2 x) in x
13.835 * [taylor]: Taking taylor expansion of 2 in x
13.835 * [backup-simplify]: Simplify 2 into 2
13.835 * [taylor]: Taking taylor expansion of x in x
13.835 * [backup-simplify]: Simplify 0 into 0
13.835 * [backup-simplify]: Simplify 1 into 1
13.835 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
13.835 * [taylor]: Taking taylor expansion of (exp x) in x
13.836 * [taylor]: Taking taylor expansion of x in x
13.836 * [backup-simplify]: Simplify 0 into 0
13.836 * [backup-simplify]: Simplify 1 into 1
13.836 * [backup-simplify]: Simplify (exp 0) into 1
13.836 * [taylor]: Taking taylor expansion of (exp (- x)) in x
13.836 * [taylor]: Taking taylor expansion of (- x) in x
13.836 * [taylor]: Taking taylor expansion of x in x
13.836 * [backup-simplify]: Simplify 0 into 0
13.836 * [backup-simplify]: Simplify 1 into 1
13.836 * [backup-simplify]: Simplify (- 0) into 0
13.837 * [backup-simplify]: Simplify (- 1) into -1
13.837 * [backup-simplify]: Simplify (exp 0) into 1
13.837 * [backup-simplify]: Simplify (* 2 0) into 0
13.837 * [backup-simplify]: Simplify (+ 0 0) into 0
13.838 * [backup-simplify]: Simplify (+ 0 0) into 0
13.838 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
13.838 * [backup-simplify]: Simplify (+ 0 2) into 2
13.839 * [backup-simplify]: Simplify (+ 0 2) into 2
13.839 * [backup-simplify]: Simplify (+ 1 1) into 2
13.840 * [backup-simplify]: Simplify (/ 2 2) into 1
13.840 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))) in x
13.840 * [taylor]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in x
13.840 * [taylor]: Rewrote expression to (+ (* 1/3 (pow x 3)) (fma 1/60 (pow x 5) (* 2 x)))
13.840 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x
13.840 * [taylor]: Taking taylor expansion of 1/3 in x
13.840 * [backup-simplify]: Simplify 1/3 into 1/3
13.840 * [taylor]: Taking taylor expansion of (pow x 3) in x
13.840 * [taylor]: Taking taylor expansion of x in x
13.840 * [backup-simplify]: Simplify 0 into 0
13.840 * [backup-simplify]: Simplify 1 into 1
13.840 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x
13.840 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x))
13.840 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x
13.840 * [taylor]: Taking taylor expansion of 1/60 in x
13.840 * [backup-simplify]: Simplify 1/60 into 1/60
13.840 * [taylor]: Taking taylor expansion of (pow x 5) in x
13.840 * [taylor]: Taking taylor expansion of x in x
13.840 * [backup-simplify]: Simplify 0 into 0
13.840 * [backup-simplify]: Simplify 1 into 1
13.840 * [taylor]: Taking taylor expansion of (* 2 x) in x
13.840 * [taylor]: Taking taylor expansion of 2 in x
13.840 * [backup-simplify]: Simplify 2 into 2
13.840 * [taylor]: Taking taylor expansion of x in x
13.840 * [backup-simplify]: Simplify 0 into 0
13.840 * [backup-simplify]: Simplify 1 into 1
13.840 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
13.840 * [taylor]: Taking taylor expansion of (exp x) in x
13.841 * [taylor]: Taking taylor expansion of x in x
13.841 * [backup-simplify]: Simplify 0 into 0
13.841 * [backup-simplify]: Simplify 1 into 1
13.841 * [backup-simplify]: Simplify (exp 0) into 1
13.841 * [taylor]: Taking taylor expansion of (exp (- x)) in x
13.841 * [taylor]: Taking taylor expansion of (- x) in x
13.841 * [taylor]: Taking taylor expansion of x in x
13.841 * [backup-simplify]: Simplify 0 into 0
13.841 * [backup-simplify]: Simplify 1 into 1
13.841 * [backup-simplify]: Simplify (- 0) into 0
13.841 * [backup-simplify]: Simplify (- 1) into -1
13.841 * [backup-simplify]: Simplify (exp 0) into 1
13.842 * [backup-simplify]: Simplify (* 2 0) into 0
13.842 * [backup-simplify]: Simplify (+ 0 0) into 0
13.842 * [backup-simplify]: Simplify (+ 0 0) into 0
13.843 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
13.843 * [backup-simplify]: Simplify (+ 0 2) into 2
13.844 * [backup-simplify]: Simplify (+ 0 2) into 2
13.844 * [backup-simplify]: Simplify (+ 1 1) into 2
13.844 * [backup-simplify]: Simplify (/ 2 2) into 1
13.844 * [backup-simplify]: Simplify 1 into 1
13.845 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
13.845 * [backup-simplify]: Simplify (+ 0 0) into 0
13.846 * [backup-simplify]: Simplify (+ 0 0) into 0
13.846 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
13.847 * [backup-simplify]: Simplify (- 1) into -1
13.848 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
13.848 * [backup-simplify]: Simplify (+ 1 -1) into 0
13.849 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
13.849 * [backup-simplify]: Simplify 0 into 0
13.849 * [backup-simplify]: Simplify (* 1 1) into 1
13.849 * [backup-simplify]: Simplify (* 1 1) into 1
13.850 * [backup-simplify]: Simplify (* 1/3 1) into 1/3
13.851 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
13.851 * [backup-simplify]: Simplify (+ 0 0) into 0
13.851 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3
13.852 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
13.853 * [backup-simplify]: Simplify (- 1) into -1
13.853 * [backup-simplify]: Simplify (- 0) into 0
13.854 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
13.855 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
13.856 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/3
13.856 * [backup-simplify]: Simplify -1/3 into -1/3
13.856 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.857 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.864 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0
13.865 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
13.865 * [backup-simplify]: Simplify (+ 0 0) into 0
13.866 * [backup-simplify]: Simplify (+ 0 0) into 0
13.868 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
13.868 * [backup-simplify]: Simplify (- 1) into -1
13.868 * [backup-simplify]: Simplify (- 1) into -1
13.869 * [backup-simplify]: Simplify (- 0) into 0
13.869 * [backup-simplify]: Simplify (- 0) into 0
13.871 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
13.871 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
13.873 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/3 (/ 0 2)))) into 0
13.873 * [backup-simplify]: Simplify 0 into 0
13.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.875 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0
13.875 * [backup-simplify]: Simplify (* 1 1) into 1
13.875 * [backup-simplify]: Simplify (* 1 1) into 1
13.876 * [backup-simplify]: Simplify (* 1 1) into 1
13.876 * [backup-simplify]: Simplify (* 1/60 1) into 1/60
13.877 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
13.878 * [backup-simplify]: Simplify (+ 1/60 0) into 1/60
13.878 * [backup-simplify]: Simplify (+ 0 1/60) into 1/60
13.881 * [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
13.881 * [backup-simplify]: Simplify (- 1) into -1
13.882 * [backup-simplify]: Simplify (- 1) into -1
13.882 * [backup-simplify]: Simplify (- 0) into 0
13.882 * [backup-simplify]: Simplify (- 1) into -1
13.883 * [backup-simplify]: Simplify (- 0) into 0
13.883 * [backup-simplify]: Simplify (- 0) into 0
13.883 * [backup-simplify]: Simplify (- 0) into 0
13.886 * [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
13.887 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
13.888 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/3 (/ 1 2)) (* 0 (/ 0 2)))) into 2/15
13.888 * [backup-simplify]: Simplify 2/15 into 2/15
13.889 * [backup-simplify]: Simplify (+ (* 2/15 (pow x 5)) (+ (* -1/3 (pow x 3)) (* 1 x))) into (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
13.890 * [backup-simplify]: Simplify (/ (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (* 2 (/ 1 x)))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
13.890 * [approximate]: Taking taylor expansion of (/ (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
13.890 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
13.890 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in x
13.890 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 x) 3)) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)))
13.890 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 x) 3)) in x
13.890 * [taylor]: Taking taylor expansion of 1/3 in x
13.890 * [backup-simplify]: Simplify 1/3 into 1/3
13.890 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x
13.890 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.890 * [taylor]: Taking taylor expansion of x in x
13.890 * [backup-simplify]: Simplify 0 into 0
13.890 * [backup-simplify]: Simplify 1 into 1
13.890 * [backup-simplify]: Simplify (/ 1 1) into 1
13.890 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x
13.891 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x))
13.891 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x
13.891 * [taylor]: Taking taylor expansion of 1/60 in x
13.891 * [backup-simplify]: Simplify 1/60 into 1/60
13.891 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x
13.891 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.891 * [taylor]: Taking taylor expansion of x in x
13.891 * [backup-simplify]: Simplify 0 into 0
13.891 * [backup-simplify]: Simplify 1 into 1
13.891 * [backup-simplify]: Simplify (/ 1 1) into 1
13.891 * [taylor]: Taking taylor expansion of (/ 2 x) in x
13.891 * [taylor]: Taking taylor expansion of 2 in x
13.891 * [backup-simplify]: Simplify 2 into 2
13.891 * [taylor]: Taking taylor expansion of x in x
13.891 * [backup-simplify]: Simplify 0 into 0
13.891 * [backup-simplify]: Simplify 1 into 1
13.892 * [backup-simplify]: Simplify (/ 2 1) into 2
13.892 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
13.892 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
13.892 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.892 * [taylor]: Taking taylor expansion of x in x
13.892 * [backup-simplify]: Simplify 0 into 0
13.892 * [backup-simplify]: Simplify 1 into 1
13.892 * [backup-simplify]: Simplify (/ 1 1) into 1
13.892 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
13.892 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
13.892 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
13.892 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.892 * [taylor]: Taking taylor expansion of x in x
13.892 * [backup-simplify]: Simplify 0 into 0
13.892 * [backup-simplify]: Simplify 1 into 1
13.893 * [backup-simplify]: Simplify (/ 1 1) into 1
13.893 * [backup-simplify]: Simplify (- 1) into -1
13.893 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
13.894 * [backup-simplify]: Simplify (* 1 1) into 1
13.894 * [backup-simplify]: Simplify (* 1 1) into 1
13.894 * [backup-simplify]: Simplify (* 1 1) into 1
13.894 * [backup-simplify]: Simplify (* 1/60 1) into 1/60
13.895 * [backup-simplify]: Simplify (+ 1/60 0) into 1/60
13.895 * [backup-simplify]: Simplify (+ 0 1/60) into 1/60
13.895 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
13.896 * [backup-simplify]: Simplify (/ 1/60 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 1/60 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
13.896 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
13.896 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in x
13.896 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 x) 3)) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)))
13.896 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 x) 3)) in x
13.896 * [taylor]: Taking taylor expansion of 1/3 in x
13.896 * [backup-simplify]: Simplify 1/3 into 1/3
13.896 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x
13.896 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.896 * [taylor]: Taking taylor expansion of x in x
13.896 * [backup-simplify]: Simplify 0 into 0
13.896 * [backup-simplify]: Simplify 1 into 1
13.897 * [backup-simplify]: Simplify (/ 1 1) into 1
13.897 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x
13.897 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x))
13.897 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x
13.897 * [taylor]: Taking taylor expansion of 1/60 in x
13.897 * [backup-simplify]: Simplify 1/60 into 1/60
13.897 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x
13.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.897 * [taylor]: Taking taylor expansion of x in x
13.897 * [backup-simplify]: Simplify 0 into 0
13.897 * [backup-simplify]: Simplify 1 into 1
13.897 * [backup-simplify]: Simplify (/ 1 1) into 1
13.897 * [taylor]: Taking taylor expansion of (/ 2 x) in x
13.897 * [taylor]: Taking taylor expansion of 2 in x
13.897 * [backup-simplify]: Simplify 2 into 2
13.897 * [taylor]: Taking taylor expansion of x in x
13.897 * [backup-simplify]: Simplify 0 into 0
13.897 * [backup-simplify]: Simplify 1 into 1
13.898 * [backup-simplify]: Simplify (/ 2 1) into 2
13.898 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
13.898 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
13.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.898 * [taylor]: Taking taylor expansion of x in x
13.898 * [backup-simplify]: Simplify 0 into 0
13.898 * [backup-simplify]: Simplify 1 into 1
13.898 * [backup-simplify]: Simplify (/ 1 1) into 1
13.898 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
13.898 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
13.899 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
13.899 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.899 * [taylor]: Taking taylor expansion of x in x
13.899 * [backup-simplify]: Simplify 0 into 0
13.899 * [backup-simplify]: Simplify 1 into 1
13.899 * [backup-simplify]: Simplify (/ 1 1) into 1
13.899 * [backup-simplify]: Simplify (- 1) into -1
13.899 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
13.900 * [backup-simplify]: Simplify (* 1 1) into 1
13.900 * [backup-simplify]: Simplify (* 1 1) into 1
13.900 * [backup-simplify]: Simplify (* 1 1) into 1
13.901 * [backup-simplify]: Simplify (* 1/60 1) into 1/60
13.901 * [backup-simplify]: Simplify (+ 1/60 0) into 1/60
13.901 * [backup-simplify]: Simplify (+ 0 1/60) into 1/60
13.902 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
13.902 * [backup-simplify]: Simplify (/ 1/60 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 1/60 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
13.902 * [backup-simplify]: Simplify (/ 1/60 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 1/60 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
13.903 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.903 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.904 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.904 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.905 * [backup-simplify]: Simplify (+ (* 1/60 0) (* 0 1)) into 0
13.905 * [backup-simplify]: Simplify (+ 0 0) into 0
13.906 * [backup-simplify]: Simplify (+ 0 0) into 0
13.906 * [backup-simplify]: Simplify (+ 0 0) into 0
13.906 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 1/60 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
13.907 * [backup-simplify]: Simplify 0 into 0
13.907 * [backup-simplify]: Simplify (* 1 1) into 1
13.907 * [backup-simplify]: Simplify (* 1 1) into 1
13.907 * [backup-simplify]: Simplify (* 1/3 1) into 1/3
13.908 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.911 * [backup-simplify]: Simplify (+ (* 1/60 0) (+ (* 0 0) (* 0 1))) into 0
13.912 * [backup-simplify]: Simplify (+ 0 0) into 0
13.912 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3
13.912 * [backup-simplify]: Simplify (+ 0 0) into 0
13.913 * [backup-simplify]: Simplify (- (/ 1/3 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 1/60 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into (* 1/3 (/ 1 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
13.913 * [backup-simplify]: Simplify (* 1/3 (/ 1 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (/ 1/3 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
13.914 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.914 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.915 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.916 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0
13.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.921 * [backup-simplify]: Simplify (+ (* 1/60 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.921 * [backup-simplify]: Simplify (+ 0 0) into 0
13.922 * [backup-simplify]: Simplify (+ 0 0) into 0
13.922 * [backup-simplify]: Simplify (+ 0 0) into 0
13.923 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 1/60 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* (* 1/3 (/ 1 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
13.923 * [backup-simplify]: Simplify 0 into 0
13.924 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.926 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.927 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0
13.927 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.932 * [backup-simplify]: Simplify (+ (* 1/60 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.932 * [backup-simplify]: Simplify (+ 0 2) into 2
13.933 * [backup-simplify]: Simplify (+ 0 2) into 2
13.933 * [backup-simplify]: Simplify (+ 0 0) into 0
13.934 * [backup-simplify]: Simplify (- (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 1/60 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* (* 1/3 (/ 1 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into (* 2 (/ 1 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
13.935 * [backup-simplify]: Simplify (* 2 (/ 1 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
13.936 * [backup-simplify]: Simplify (+ (* (/ 2 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) (/ 1 (/ 1 x))) (+ (* (/ 1/3 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) (pow (/ 1 (/ 1 x)) 3)) (* (/ 1/60 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) (pow (/ 1 (/ 1 x)) 5)))) into (+ (* 1/3 (/ (pow x 3) (+ (exp x) (exp (- x))))) (+ (* 1/60 (/ (pow x 5) (+ (exp x) (exp (- x))))) (* 2 (/ x (+ (exp x) (exp (- x)))))))
13.937 * [backup-simplify]: Simplify (/ (fma 1/3 (pow (/ 1 (- x)) 3) (fma 1/60 (pow (/ 1 (- x)) 5) (* 2 (/ 1 (- x))))) (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) (+ (exp (/ 1 x)) (exp (/ -1 x))))
13.937 * [approximate]: Taking taylor expansion of (/ (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
13.937 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
13.937 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in x
13.937 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 x) 3)) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)))
13.937 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 x) 3)) in x
13.937 * [taylor]: Taking taylor expansion of 1/3 in x
13.937 * [backup-simplify]: Simplify 1/3 into 1/3
13.937 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x
13.937 * [taylor]: Taking taylor expansion of (/ -1 x) in x
13.937 * [taylor]: Taking taylor expansion of -1 in x
13.937 * [backup-simplify]: Simplify -1 into -1
13.937 * [taylor]: Taking taylor expansion of x in x
13.937 * [backup-simplify]: Simplify 0 into 0
13.937 * [backup-simplify]: Simplify 1 into 1
13.938 * [backup-simplify]: Simplify (/ -1 1) into -1
13.938 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x
13.938 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x))
13.938 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x
13.938 * [taylor]: Taking taylor expansion of 1/60 in x
13.938 * [backup-simplify]: Simplify 1/60 into 1/60
13.938 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x
13.938 * [taylor]: Taking taylor expansion of (/ -1 x) in x
13.938 * [taylor]: Taking taylor expansion of -1 in x
13.938 * [backup-simplify]: Simplify -1 into -1
13.938 * [taylor]: Taking taylor expansion of x in x
13.938 * [backup-simplify]: Simplify 0 into 0
13.938 * [backup-simplify]: Simplify 1 into 1
13.939 * [backup-simplify]: Simplify (/ -1 1) into -1
13.939 * [taylor]: Taking taylor expansion of (/ -2 x) in x
13.939 * [taylor]: Taking taylor expansion of -2 in x
13.939 * [backup-simplify]: Simplify -2 into -2
13.939 * [taylor]: Taking taylor expansion of x in x
13.939 * [backup-simplify]: Simplify 0 into 0
13.939 * [backup-simplify]: Simplify 1 into 1
13.939 * [backup-simplify]: Simplify (/ -2 1) into -2
13.939 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
13.939 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
13.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.939 * [taylor]: Taking taylor expansion of x in x
13.939 * [backup-simplify]: Simplify 0 into 0
13.939 * [backup-simplify]: Simplify 1 into 1
13.940 * [backup-simplify]: Simplify (/ 1 1) into 1
13.940 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
13.940 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
13.940 * [taylor]: Taking taylor expansion of (/ -1 x) in x
13.940 * [taylor]: Taking taylor expansion of -1 in x
13.940 * [backup-simplify]: Simplify -1 into -1
13.940 * [taylor]: Taking taylor expansion of x in x
13.940 * [backup-simplify]: Simplify 0 into 0
13.940 * [backup-simplify]: Simplify 1 into 1
13.941 * [backup-simplify]: Simplify (/ -1 1) into -1
13.941 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
13.941 * [backup-simplify]: Simplify (* -1 -1) into 1
13.941 * [backup-simplify]: Simplify (* 1 1) into 1
13.942 * [backup-simplify]: Simplify (* -1 1) into -1
13.942 * [backup-simplify]: Simplify (* 1/60 -1) into -1/60
13.943 * [backup-simplify]: Simplify (+ -1/60 0) into -1/60
13.943 * [backup-simplify]: Simplify (+ 0 -1/60) into -1/60
13.943 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
13.943 * [backup-simplify]: Simplify (/ -1/60 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ -1/60 (+ (exp (/ 1 x)) (exp (/ -1 x))))
13.943 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
13.944 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in x
13.944 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 x) 3)) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)))
13.944 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 x) 3)) in x
13.944 * [taylor]: Taking taylor expansion of 1/3 in x
13.944 * [backup-simplify]: Simplify 1/3 into 1/3
13.944 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x
13.944 * [taylor]: Taking taylor expansion of (/ -1 x) in x
13.944 * [taylor]: Taking taylor expansion of -1 in x
13.944 * [backup-simplify]: Simplify -1 into -1
13.944 * [taylor]: Taking taylor expansion of x in x
13.944 * [backup-simplify]: Simplify 0 into 0
13.944 * [backup-simplify]: Simplify 1 into 1
13.944 * [backup-simplify]: Simplify (/ -1 1) into -1
13.944 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x
13.945 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x))
13.945 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x
13.945 * [taylor]: Taking taylor expansion of 1/60 in x
13.945 * [backup-simplify]: Simplify 1/60 into 1/60
13.945 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x
13.945 * [taylor]: Taking taylor expansion of (/ -1 x) in x
13.945 * [taylor]: Taking taylor expansion of -1 in x
13.945 * [backup-simplify]: Simplify -1 into -1
13.945 * [taylor]: Taking taylor expansion of x in x
13.945 * [backup-simplify]: Simplify 0 into 0
13.945 * [backup-simplify]: Simplify 1 into 1
13.945 * [backup-simplify]: Simplify (/ -1 1) into -1
13.945 * [taylor]: Taking taylor expansion of (/ -2 x) in x
13.945 * [taylor]: Taking taylor expansion of -2 in x
13.945 * [backup-simplify]: Simplify -2 into -2
13.945 * [taylor]: Taking taylor expansion of x in x
13.945 * [backup-simplify]: Simplify 0 into 0
13.946 * [backup-simplify]: Simplify 1 into 1
13.946 * [backup-simplify]: Simplify (/ -2 1) into -2
13.946 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
13.946 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
13.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.946 * [taylor]: Taking taylor expansion of x in x
13.946 * [backup-simplify]: Simplify 0 into 0
13.946 * [backup-simplify]: Simplify 1 into 1
13.947 * [backup-simplify]: Simplify (/ 1 1) into 1
13.947 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
13.947 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
13.947 * [taylor]: Taking taylor expansion of (/ -1 x) in x
13.947 * [taylor]: Taking taylor expansion of -1 in x
13.947 * [backup-simplify]: Simplify -1 into -1
13.947 * [taylor]: Taking taylor expansion of x in x
13.947 * [backup-simplify]: Simplify 0 into 0
13.947 * [backup-simplify]: Simplify 1 into 1
13.947 * [backup-simplify]: Simplify (/ -1 1) into -1
13.947 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
13.948 * [backup-simplify]: Simplify (* -1 -1) into 1
13.948 * [backup-simplify]: Simplify (* 1 1) into 1
13.949 * [backup-simplify]: Simplify (* -1 1) into -1
13.949 * [backup-simplify]: Simplify (* 1/60 -1) into -1/60
13.949 * [backup-simplify]: Simplify (+ -1/60 0) into -1/60
13.949 * [backup-simplify]: Simplify (+ 0 -1/60) into -1/60
13.950 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
13.950 * [backup-simplify]: Simplify (/ -1/60 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ -1/60 (+ (exp (/ 1 x)) (exp (/ -1 x))))
13.950 * [backup-simplify]: Simplify (/ -1/60 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ -1/60 (+ (exp (/ 1 x)) (exp (/ -1 x))))
13.950 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
13.951 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
13.951 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.951 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0
13.952 * [backup-simplify]: Simplify (+ (* 1/60 0) (* 0 -1)) into 0
13.952 * [backup-simplify]: Simplify (+ 0 0) into 0
13.952 * [backup-simplify]: Simplify (+ 0 0) into 0
13.953 * [backup-simplify]: Simplify (+ 0 0) into 0
13.953 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ -1/60 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
13.953 * [backup-simplify]: Simplify 0 into 0
13.953 * [backup-simplify]: Simplify (* -1 -1) into 1
13.953 * [backup-simplify]: Simplify (* -1 1) into -1
13.954 * [backup-simplify]: Simplify (* 1/3 -1) into -1/3
13.954 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.955 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
13.955 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.956 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0
13.956 * [backup-simplify]: Simplify (+ (* 1/60 0) (+ (* 0 0) (* 0 -1))) into 0
13.957 * [backup-simplify]: Simplify (+ 0 0) into 0
13.957 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3
13.957 * [backup-simplify]: Simplify (+ 0 0) into 0
13.957 * [backup-simplify]: Simplify (- (/ -1/3 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ -1/60 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into (- (* 1/3 (/ 1 (+ (exp (/ 1 x)) (exp (/ -1 x))))))
13.958 * [backup-simplify]: Simplify (- (* 1/3 (/ 1 (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into (- (* 1/3 (/ 1 (+ (exp (/ 1 x)) (exp (/ -1 x))))))
13.958 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
13.958 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
13.959 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0
13.959 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 -1)) into 0
13.960 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.960 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
13.961 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.962 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.963 * [backup-simplify]: Simplify (+ (* 1/60 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
13.963 * [backup-simplify]: Simplify (+ 0 0) into 0
13.964 * [backup-simplify]: Simplify (+ 0 0) into 0
13.964 * [backup-simplify]: Simplify (+ 0 0) into 0
13.965 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ -1/60 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* (- (* 1/3 (/ 1 (+ (exp (/ 1 x)) (exp (/ -1 x)))))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
13.965 * [backup-simplify]: Simplify 0 into 0
13.966 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.967 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
13.968 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0
13.968 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 -1))) into 0
13.969 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.970 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
13.971 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.972 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.973 * [backup-simplify]: Simplify (+ (* 1/60 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
13.974 * [backup-simplify]: Simplify (+ 0 -2) into -2
13.974 * [backup-simplify]: Simplify (+ 0 -2) into -2
13.975 * [backup-simplify]: Simplify (+ 0 0) into 0
13.976 * [backup-simplify]: Simplify (- (/ -2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ -1/60 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* (- (* 1/3 (/ 1 (+ (exp (/ 1 x)) (exp (/ -1 x)))))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into (- (* 2 (/ 1 (+ (exp (/ 1 x)) (exp (/ -1 x))))))
13.976 * [backup-simplify]: Simplify (- (* 2 (/ 1 (+ (exp (/ 1 x)) (exp (/ -1 x)))))) into (- (* 2 (/ 1 (+ (exp (/ 1 x)) (exp (/ -1 x))))))
13.978 * [backup-simplify]: Simplify (+ (* (- (* 2 (/ 1 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))))) (/ 1 (/ 1 (- x)))) (+ (* (- (* 1/3 (/ 1 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))))) (pow (/ 1 (/ 1 (- x))) 3)) (* (/ -1/60 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) (pow (/ 1 (/ 1 (- x))) 5)))) into (+ (* 2 (/ x (+ (exp (* -1 x)) (exp x)))) (+ (* 1/3 (/ (pow x 3) (+ (exp (* -1 x)) (exp x)))) (* 1/60 (/ (pow x 5) (+ (exp (* -1 x)) (exp x))))))
13.978 * * * [progress]: simplifying candidates
13.979 * [simplify]: Simplifying:
  (expm1 (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))))
  (log1p (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))))
  (- (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (log (+ (exp x) (exp (- x)))))
  (log (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))))
  (exp (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))))
  (/ (* (* (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))
  (* (cbrt (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x))))) (cbrt (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x))))))
  (cbrt (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))))
  (* (* (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))) (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x))))) (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))))
  (sqrt (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))))
  (sqrt (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))))
  (- (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))
  (- (+ (exp x) (exp (- x))))
  (/ (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (+ (exp x) (exp (- x)))))
  (/ (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (+ (exp x) (exp (- x)))))
  (/ (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt (+ (exp x) (exp (- x)))))
  (/ (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) 1)
  (/ (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (+ (exp x) (exp (- x))))
  (/ (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) 1)
  (/ (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (+ (exp x) (exp (- x))))
  (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (+ (exp x) (exp (- x)))))
  (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) 1)
  (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (+ (exp x) (exp (- x))))
  (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) 1)
  (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (+ (exp x) (exp (- x))))
  (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (cbrt (+ (exp x) (exp (- x)))))
  (/ 1 (sqrt (+ (exp x) (exp (- x)))))
  (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sqrt (+ (exp x) (exp (- x)))))
  (/ 1 1)
  (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x))))
  (/ 1 1)
  (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x))))
  (/ 1 (+ (exp x) (exp (- x))))
  (/ (+ (exp x) (exp (- x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))
  (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sqrt (+ (exp x) (exp (- x)))))
  (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 1)
  (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 1)
  (/ (+ (exp x) (exp (- x))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))
  (/ (+ (exp x) (exp (- x))) (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))
  (/ (+ (exp x) (exp (- x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))
  (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))
  (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
  (+ (* 1/3 (/ (pow x 3) (+ (exp x) (exp (- x))))) (+ (* 1/60 (/ (pow x 5) (+ (exp x) (exp (- x))))) (* 2 (/ x (+ (exp x) (exp (- x)))))))
  (+ (* 2 (/ x (+ (exp (* -1 x)) (exp x)))) (+ (* 1/3 (/ (pow x 3) (+ (exp (* -1 x)) (exp x)))) (* 1/60 (/ (pow x 5) (+ (exp (* -1 x)) (exp x))))))
13.981 * * [simplify]: Extracting # 0 : cost  0
13.982 * * [simplify]: Extracting # 1 : cost  0
13.982 * * [simplify]: Extracting # 2 : cost  0
13.982 * * [simplify]: Extracting # 3 : cost  0
13.982 * * [simplify]: Extracting # 4 : cost  0
13.982 * * [simplify]: Extracting # 5 : cost  0
13.983 * * [simplify]: Extracting # 6 : cost  0
13.983 * * [simplify]: Extracting # 7 : cost  0
13.983 * * [simplify]: Extracting # 8 : cost  0
13.983 * * [simplify]: Extracting # 9 : cost  0
13.983 * * [simplify]: Extracting # 10 : cost  0
13.984 * * [simplify]: Extracting # 11 : cost  0
13.984 * * [simplify]: iteration  0 :  97  enodes  (cost  1180 )
14.017 * * [simplify]: Extracting # 0 : cost  0
14.017 * * [simplify]: Extracting # 1 : cost  0
14.017 * * [simplify]: Extracting # 2 : cost  0
14.018 * * [simplify]: Extracting # 3 : cost  0
14.018 * * [simplify]: Extracting # 4 : cost  0
14.018 * * [simplify]: iteration  1 :  217  enodes  (cost  1154 )
14.112 * * [simplify]: Extracting # 0 : cost  0
14.113 * * [simplify]: Extracting # 1 : cost  0
14.114 * * [simplify]: Extracting # 2 : cost  0
14.115 * * [simplify]: Extracting # 3 : cost  0
14.116 * * [simplify]: Extracting # 4 : cost  0
14.117 * * [simplify]: iteration  2 :  681  enodes  (cost  1071 )
14.503 * * [simplify]: Extracting # 0 : cost  0
14.509 * * [simplify]: Extracting # 1 : cost  0
14.513 * * [simplify]: Extracting # 2 : cost  0
14.517 * * [simplify]: Extracting # 3 : cost  0
14.526 * * [simplify]: Extracting # 4 : cost  0
14.531 * * [simplify]: iteration  3 :  3212  enodes  (cost  1069 )
15.726 * * [simplify]: Extracting # 0 : cost  0
15.735 * * [simplify]: Extracting # 1 : cost  0
15.751 * * [simplify]: Extracting # 2 : cost  0
15.760 * * [simplify]: Extracting # 3 : cost  0
15.769 * * [simplify]: iteration done:  5000  enodes  (cost  1069 )
15.770 * [simplify]: Simplified to:
  (expm1 (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))))
  (log1p (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))))
  (log (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))))
  (log (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))))
  (exp (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))))
  (pow (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))) 3)
  (* (cbrt (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x))))) (cbrt (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x))))))
  (cbrt (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))))
  (pow (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))) 3)
  (sqrt (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))))
  (sqrt (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))))
  (- (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))
  (- (+ (exp x) (exp (- x))))
  (/ (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (+ (exp x) (exp (- x)))))
  (/ (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (sqrt (+ (exp x) (exp (- x)))))
  (/ (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt (+ (exp x) (exp (- x)))))
  (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))
  (/ (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (+ (exp x) (exp (- x))))
  (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))
  (/ (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (+ (exp x) (exp (- x))))
  (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (+ (exp x) (exp (- x)))))
  (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt (+ (exp x) (exp (- x)))))
  (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))
  (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (+ (exp x) (exp (- x))))
  (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))
  (/ (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (+ (exp x) (exp (- x))))
  (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (cbrt (+ (exp x) (exp (- x)))))
  (/ 1 (sqrt (+ (exp x) (exp (- x)))))
  (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sqrt (+ (exp x) (exp (- x)))))
  1
  (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x))))
  1
  (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x))))
  (/ 1 (+ (exp x) (exp (- x))))
  (/ (+ (exp x) (exp (- x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))
  (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (sqrt (+ (exp x) (exp (- x)))))
  (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))
  (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))
  (/ (+ (exp x) (exp (- x))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))
  (/ (+ (exp x) (exp (- x))) (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))))
  (/ (+ (exp x) (exp (- x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))
  (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp (* x -3)) (pow (exp x) 3)))
  (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (- (exp (+ x x)) (exp (* x -2))))
  (fma (pow x 3) -1/3 (fma (pow x 5) 2/15 x))
  (fma 1/3 (/ (pow x 3) (+ (exp x) (exp (- x)))) (fma 1/60 (/ (pow x 5) (+ (exp x) (exp (- x)))) (* 2 (/ x (+ (exp x) (exp (- x)))))))
  (fma 1/3 (/ (pow x 3) (+ (exp x) (exp (- x)))) (fma 1/60 (/ (pow x 5) (+ (exp x) (exp (- x)))) (* 2 (/ x (+ (exp x) (exp (- x)))))))
15.770 * * * [progress]: adding candidates to table
15.955 * [progress]: [Phase 3 of 3] Extracting.
15.955 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))))> #<alt (λ (x) (tanh x))>)
15.955 * * * [regime-changes]: Trying 1 branch expressions: (x)
15.955 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (+ (exp x) (exp (- x)))))> #<alt (λ (x) (tanh x))>)
15.971 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
15.971 * [simplify]: Simplifying:
  (tanh x)
15.971 * * [simplify]: Extracting # 0 : cost  0
15.971 * * [simplify]: Extracting # 1 : cost  0
15.971 * * [simplify]: Extracting # 2 : cost  0
15.971 * * [simplify]: iteration  0 :  2  enodes  (cost  2 )
15.972 * * [simplify]: Extracting # 0 : cost  0
15.972 * * [simplify]: iteration done:  2  enodes  (cost  2 )
15.972 * [simplify]: Simplified to:
  (tanh x)
23.605 * [regime-testing]: Baseline error score: 0.013251656457057132
23.612 * [regime-testing]: Oracle error score: 0.005375671958994874
23.620 * [regime-testing]: End program error score: 0.013251656457057132