35.959 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.026 * [simplify]: Simplifying:
  (/ 2.0 (+ (exp x) (exp (- x))))
0.027 * * [simplify]: iteration 0: 7 enodes
0.028 * * [simplify]: iteration 1: 10 enodes
0.030 * * [simplify]: iteration 2: 12 enodes
0.032 * * [simplify]: iteration complete: 12 enodes
0.032 * * [simplify]: Extracting #0: cost 1 inf + 0
0.032 * * [simplify]: Extracting #1: cost 3 inf + 0
0.032 * * [simplify]: Extracting #2: cost 4 inf + 1
0.033 * * [simplify]: Extracting #3: cost 7 inf + 1
0.033 * * [simplify]: Extracting #4: cost 0 inf + 24
0.033 * [simplify]: Simplified to:
  (/ 2.0 (+ (exp x) (exp (- x))))
0.033 * * [progress]: iteration 1 / 4
0.033 * * * [progress]: picking best candidate
0.039 * * * * [pick]: Picked  #<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))>
0.039 * * * [progress]: localizing error
0.050 * * * [progress]: generating rewritten candidates
0.050 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.068 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.088 * * * [progress]: generating series expansions
0.088 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.088 * [backup-simplify]: Simplify (/ 2.0 (+ (exp x) (exp (- x)))) into (/ 2.0 (+ (exp x) (exp (- x))))
0.088 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in (x) around 0
0.088 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x
0.088 * [taylor]: Taking taylor expansion of 2.0 in x
0.088 * [backup-simplify]: Simplify 2.0 into 2.0
0.088 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.088 * [taylor]: Taking taylor expansion of (exp x) in x
0.088 * [taylor]: Taking taylor expansion of x in x
0.088 * [backup-simplify]: Simplify 0 into 0
0.088 * [backup-simplify]: Simplify 1 into 1
0.088 * [backup-simplify]: Simplify (exp 0) into 1
0.088 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.088 * [taylor]: Taking taylor expansion of (- x) in x
0.088 * [taylor]: Taking taylor expansion of x in x
0.088 * [backup-simplify]: Simplify 0 into 0
0.088 * [backup-simplify]: Simplify 1 into 1
0.089 * [backup-simplify]: Simplify (- 0) into 0
0.089 * [backup-simplify]: Simplify (- 1) into -1
0.089 * [backup-simplify]: Simplify (exp 0) into 1
0.089 * [backup-simplify]: Simplify (+ 1 1) into 2
0.089 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
0.089 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x
0.089 * [taylor]: Taking taylor expansion of 2.0 in x
0.090 * [backup-simplify]: Simplify 2.0 into 2.0
0.090 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.090 * [taylor]: Taking taylor expansion of (exp x) in x
0.090 * [taylor]: Taking taylor expansion of x in x
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify 1 into 1
0.090 * [backup-simplify]: Simplify (exp 0) into 1
0.090 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.090 * [taylor]: Taking taylor expansion of (- x) in x
0.090 * [taylor]: Taking taylor expansion of x in x
0.090 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify 1 into 1
0.090 * [backup-simplify]: Simplify (- 0) into 0
0.090 * [backup-simplify]: Simplify (- 1) into -1
0.090 * [backup-simplify]: Simplify (exp 0) into 1
0.090 * [backup-simplify]: Simplify (+ 1 1) into 2
0.091 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
0.091 * [backup-simplify]: Simplify 1.0 into 1.0
0.091 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.092 * [backup-simplify]: Simplify (- 1) into -1
0.092 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.093 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.093 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)))) into 0
0.093 * [backup-simplify]: Simplify 0 into 0
0.094 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.094 * [backup-simplify]: Simplify (- 1) into -1
0.094 * [backup-simplify]: Simplify (- 0) into 0
0.095 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.095 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
0.098 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 1 2)) (* 0 (/ 0 2)))) into (- 0.5)
0.098 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.100 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
0.100 * [backup-simplify]: Simplify (- 1) into -1
0.100 * [backup-simplify]: Simplify (- 1) into -1
0.100 * [backup-simplify]: Simplify (- 0) into 0
0.101 * [backup-simplify]: Simplify (- 0) into 0
0.102 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
0.102 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
0.103 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)) (* 0 (/ 1 2)) (* (- 0.5) (/ 0 2)))) into 0
0.103 * [backup-simplify]: Simplify 0 into 0
0.105 * [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
0.105 * [backup-simplify]: Simplify (- 1) into -1
0.106 * [backup-simplify]: Simplify (- 1) into -1
0.106 * [backup-simplify]: Simplify (- 0) into 0
0.106 * [backup-simplify]: Simplify (- 1) into -1
0.106 * [backup-simplify]: Simplify (- 0) into 0
0.107 * [backup-simplify]: Simplify (- 0) into 0
0.107 * [backup-simplify]: Simplify (- 0) into 0
0.109 * [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
0.109 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
0.114 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 1/12 2)) (* 0 (/ 0 2)) (* (- 0.5) (/ 1 2)) (* 0 (/ 0 2)))) into 0.20833333333333334
0.114 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
0.114 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 (pow x 4)) (+ (* (- 0.5) (pow x 2)) 1.0)) into (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2)))
0.114 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.114 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
0.114 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
0.114 * [taylor]: Taking taylor expansion of 2.0 in x
0.114 * [backup-simplify]: Simplify 2.0 into 2.0
0.114 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.114 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.114 * [taylor]: Taking taylor expansion of x in x
0.114 * [backup-simplify]: Simplify 0 into 0
0.114 * [backup-simplify]: Simplify 1 into 1
0.115 * [backup-simplify]: Simplify (/ 1 1) into 1
0.115 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.115 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.115 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.115 * [backup-simplify]: Simplify 0 into 0
0.115 * [backup-simplify]: Simplify 1 into 1
0.115 * [backup-simplify]: Simplify (/ 1 1) into 1
0.115 * [backup-simplify]: Simplify (- 1) into -1
0.115 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
0.116 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.116 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.116 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
0.116 * [taylor]: Taking taylor expansion of 2.0 in x
0.116 * [backup-simplify]: Simplify 2.0 into 2.0
0.116 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.116 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.116 * [taylor]: Taking taylor expansion of x in x
0.116 * [backup-simplify]: Simplify 0 into 0
0.116 * [backup-simplify]: Simplify 1 into 1
0.116 * [backup-simplify]: Simplify (/ 1 1) into 1
0.116 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.116 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.116 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.116 * [taylor]: Taking taylor expansion of x in x
0.116 * [backup-simplify]: Simplify 0 into 0
0.116 * [backup-simplify]: Simplify 1 into 1
0.116 * [backup-simplify]: Simplify (/ 1 1) into 1
0.117 * [backup-simplify]: Simplify (- 1) into -1
0.117 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
0.117 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.117 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.117 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.117 * [backup-simplify]: Simplify (+ 0 0) into 0
0.118 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.118 * [backup-simplify]: Simplify 0 into 0
0.118 * [backup-simplify]: Simplify (+ 0 0) into 0
0.118 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
0.118 * [backup-simplify]: Simplify 0 into 0
0.119 * [backup-simplify]: Simplify (+ 0 0) into 0
0.119 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (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
0.119 * [backup-simplify]: Simplify 0 into 0
0.119 * [backup-simplify]: Simplify (+ 0 0) into 0
0.120 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (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
0.120 * [backup-simplify]: Simplify 0 into 0
0.120 * [backup-simplify]: Simplify (+ 0 0) into 0
0.121 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (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
0.121 * [backup-simplify]: Simplify 0 into 0
0.121 * [backup-simplify]: Simplify (+ 0 0) into 0
0.122 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2.0 (+ (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
0.122 * [backup-simplify]: Simplify 0 into 0
0.122 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ 2.0 (+ (exp x) (exp (- x))))
0.122 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.122 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
0.122 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
0.122 * [taylor]: Taking taylor expansion of 2.0 in x
0.122 * [backup-simplify]: Simplify 2.0 into 2.0
0.122 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.122 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.122 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.122 * [taylor]: Taking taylor expansion of x in x
0.122 * [backup-simplify]: Simplify 0 into 0
0.122 * [backup-simplify]: Simplify 1 into 1
0.123 * [backup-simplify]: Simplify (/ 1 1) into 1
0.123 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.123 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.123 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.123 * [taylor]: Taking taylor expansion of -1 in x
0.123 * [backup-simplify]: Simplify -1 into -1
0.123 * [taylor]: Taking taylor expansion of x in x
0.123 * [backup-simplify]: Simplify 0 into 0
0.123 * [backup-simplify]: Simplify 1 into 1
0.123 * [backup-simplify]: Simplify (/ -1 1) into -1
0.123 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.123 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.123 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.123 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
0.123 * [taylor]: Taking taylor expansion of 2.0 in x
0.123 * [backup-simplify]: Simplify 2.0 into 2.0
0.123 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.123 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.123 * [taylor]: Taking taylor expansion of x in x
0.124 * [backup-simplify]: Simplify 0 into 0
0.124 * [backup-simplify]: Simplify 1 into 1
0.124 * [backup-simplify]: Simplify (/ 1 1) into 1
0.124 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.124 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.124 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.124 * [taylor]: Taking taylor expansion of -1 in x
0.124 * [backup-simplify]: Simplify -1 into -1
0.124 * [taylor]: Taking taylor expansion of x in x
0.124 * [backup-simplify]: Simplify 0 into 0
0.124 * [backup-simplify]: Simplify 1 into 1
0.124 * [backup-simplify]: Simplify (/ -1 1) into -1
0.124 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.124 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.124 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.125 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.125 * [backup-simplify]: Simplify (+ 0 0) into 0
0.125 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.125 * [backup-simplify]: Simplify 0 into 0
0.125 * [backup-simplify]: Simplify (+ 0 0) into 0
0.126 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
0.126 * [backup-simplify]: Simplify 0 into 0
0.126 * [backup-simplify]: Simplify (+ 0 0) into 0
0.126 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (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
0.126 * [backup-simplify]: Simplify 0 into 0
0.127 * [backup-simplify]: Simplify (+ 0 0) into 0
0.127 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (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
0.127 * [backup-simplify]: Simplify 0 into 0
0.128 * [backup-simplify]: Simplify (+ 0 0) into 0
0.128 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (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
0.128 * [backup-simplify]: Simplify 0 into 0
0.128 * [backup-simplify]: Simplify (+ 0 0) into 0
0.129 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (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
0.129 * [backup-simplify]: Simplify 0 into 0
0.129 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2.0 (+ (exp (* -1 x)) (exp x)))
0.129 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.129 * [backup-simplify]: Simplify (+ (exp x) (exp (- x))) into (+ (exp x) (exp (- x)))
0.129 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0
0.129 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.129 * [taylor]: Taking taylor expansion of (exp x) in x
0.130 * [taylor]: Taking taylor expansion of x in x
0.130 * [backup-simplify]: Simplify 0 into 0
0.130 * [backup-simplify]: Simplify 1 into 1
0.130 * [backup-simplify]: Simplify (exp 0) into 1
0.130 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.130 * [taylor]: Taking taylor expansion of (- x) in x
0.130 * [taylor]: Taking taylor expansion of x in x
0.130 * [backup-simplify]: Simplify 0 into 0
0.130 * [backup-simplify]: Simplify 1 into 1
0.130 * [backup-simplify]: Simplify (- 0) into 0
0.130 * [backup-simplify]: Simplify (- 1) into -1
0.130 * [backup-simplify]: Simplify (exp 0) into 1
0.130 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.130 * [taylor]: Taking taylor expansion of (exp x) in x
0.130 * [taylor]: Taking taylor expansion of x in x
0.130 * [backup-simplify]: Simplify 0 into 0
0.130 * [backup-simplify]: Simplify 1 into 1
0.130 * [backup-simplify]: Simplify (exp 0) into 1
0.130 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.130 * [taylor]: Taking taylor expansion of (- x) in x
0.130 * [taylor]: Taking taylor expansion of x in x
0.130 * [backup-simplify]: Simplify 0 into 0
0.130 * [backup-simplify]: Simplify 1 into 1
0.131 * [backup-simplify]: Simplify (- 0) into 0
0.131 * [backup-simplify]: Simplify (- 1) into -1
0.131 * [backup-simplify]: Simplify (exp 0) into 1
0.131 * [backup-simplify]: Simplify (+ 1 1) into 2
0.131 * [backup-simplify]: Simplify 2 into 2
0.132 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.132 * [backup-simplify]: Simplify (- 1) into -1
0.133 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.133 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.133 * [backup-simplify]: Simplify 0 into 0
0.134 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.134 * [backup-simplify]: Simplify (- 1) into -1
0.134 * [backup-simplify]: Simplify (- 0) into 0
0.135 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.135 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
0.135 * [backup-simplify]: Simplify 1 into 1
0.137 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
0.137 * [backup-simplify]: Simplify (- 1) into -1
0.137 * [backup-simplify]: Simplify (- 1) into -1
0.137 * [backup-simplify]: Simplify (- 0) into 0
0.137 * [backup-simplify]: Simplify (- 0) into 0
0.139 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
0.139 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
0.139 * [backup-simplify]: Simplify 0 into 0
0.141 * [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
0.141 * [backup-simplify]: Simplify (- 1) into -1
0.142 * [backup-simplify]: Simplify (- 1) into -1
0.142 * [backup-simplify]: Simplify (- 0) into 0
0.142 * [backup-simplify]: Simplify (- 1) into -1
0.142 * [backup-simplify]: Simplify (- 0) into 0
0.143 * [backup-simplify]: Simplify (- 0) into 0
0.143 * [backup-simplify]: Simplify (- 0) into 0
0.145 * [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
0.145 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
0.145 * [backup-simplify]: Simplify 1/12 into 1/12
0.146 * [backup-simplify]: Simplify (+ (* 1/12 (pow x 4)) (+ (* 1 (pow x 2)) 2)) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
0.146 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.146 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
0.146 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.146 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.146 * [backup-simplify]: Simplify 0 into 0
0.146 * [backup-simplify]: Simplify 1 into 1
0.146 * [backup-simplify]: Simplify (/ 1 1) into 1
0.146 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.146 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.146 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.146 * [backup-simplify]: Simplify 0 into 0
0.146 * [backup-simplify]: Simplify 1 into 1
0.146 * [backup-simplify]: Simplify (/ 1 1) into 1
0.147 * [backup-simplify]: Simplify (- 1) into -1
0.147 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
0.147 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.147 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.147 * [taylor]: Taking taylor expansion of x in x
0.147 * [backup-simplify]: Simplify 0 into 0
0.147 * [backup-simplify]: Simplify 1 into 1
0.147 * [backup-simplify]: Simplify (/ 1 1) into 1
0.147 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.147 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.147 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.147 * [taylor]: Taking taylor expansion of x in x
0.147 * [backup-simplify]: Simplify 0 into 0
0.147 * [backup-simplify]: Simplify 1 into 1
0.147 * [backup-simplify]: Simplify (/ 1 1) into 1
0.148 * [backup-simplify]: Simplify (- 1) into -1
0.148 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
0.148 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.148 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.148 * [backup-simplify]: Simplify (+ 0 0) into 0
0.148 * [backup-simplify]: Simplify 0 into 0
0.149 * [backup-simplify]: Simplify (+ 0 0) into 0
0.149 * [backup-simplify]: Simplify 0 into 0
0.149 * [backup-simplify]: Simplify (+ 0 0) into 0
0.149 * [backup-simplify]: Simplify 0 into 0
0.149 * [backup-simplify]: Simplify (+ 0 0) into 0
0.149 * [backup-simplify]: Simplify 0 into 0
0.149 * [backup-simplify]: Simplify (+ 0 0) into 0
0.149 * [backup-simplify]: Simplify 0 into 0
0.150 * [backup-simplify]: Simplify (+ 0 0) into 0
0.150 * [backup-simplify]: Simplify 0 into 0
0.150 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (+ (exp x) (exp (- x)))
0.150 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.150 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0
0.150 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.150 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.150 * [taylor]: Taking taylor expansion of x in x
0.150 * [backup-simplify]: Simplify 0 into 0
0.150 * [backup-simplify]: Simplify 1 into 1
0.150 * [backup-simplify]: Simplify (/ 1 1) into 1
0.150 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.150 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.150 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.150 * [taylor]: Taking taylor expansion of -1 in x
0.150 * [backup-simplify]: Simplify -1 into -1
0.150 * [taylor]: Taking taylor expansion of x in x
0.151 * [backup-simplify]: Simplify 0 into 0
0.151 * [backup-simplify]: Simplify 1 into 1
0.151 * [backup-simplify]: Simplify (/ -1 1) into -1
0.151 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.151 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.151 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.151 * [taylor]: Taking taylor expansion of x in x
0.151 * [backup-simplify]: Simplify 0 into 0
0.151 * [backup-simplify]: Simplify 1 into 1
0.151 * [backup-simplify]: Simplify (/ 1 1) into 1
0.151 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.151 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.151 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.151 * [taylor]: Taking taylor expansion of -1 in x
0.151 * [backup-simplify]: Simplify -1 into -1
0.151 * [taylor]: Taking taylor expansion of x in x
0.151 * [backup-simplify]: Simplify 0 into 0
0.151 * [backup-simplify]: Simplify 1 into 1
0.152 * [backup-simplify]: Simplify (/ -1 1) into -1
0.152 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.152 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.152 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.152 * [backup-simplify]: Simplify (+ 0 0) into 0
0.152 * [backup-simplify]: Simplify 0 into 0
0.152 * [backup-simplify]: Simplify (+ 0 0) into 0
0.152 * [backup-simplify]: Simplify 0 into 0
0.153 * [backup-simplify]: Simplify (+ 0 0) into 0
0.153 * [backup-simplify]: Simplify 0 into 0
0.153 * [backup-simplify]: Simplify (+ 0 0) into 0
0.153 * [backup-simplify]: Simplify 0 into 0
0.153 * [backup-simplify]: Simplify (+ 0 0) into 0
0.153 * [backup-simplify]: Simplify 0 into 0
0.153 * [backup-simplify]: Simplify (+ 0 0) into 0
0.153 * [backup-simplify]: Simplify 0 into 0
0.154 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))) into (+ (exp (* -1 x)) (exp x))
0.154 * * * [progress]: simplifying candidates
0.154 * [simplify]: Simplifying:
  (expm1 (/ 2.0 (+ (exp x) (exp (- x)))))
  (log1p (/ 2.0 (+ (exp x) (exp (- x)))))
  (- (log 2.0) (log (+ (exp x) (exp (- x)))))
  (log (/ 2.0 (+ (exp x) (exp (- x)))))
  (exp (/ 2.0 (+ (exp x) (exp (- x)))))
  (/ (* (* 2.0 2.0) 2.0) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))
  (* (cbrt (/ 2.0 (+ (exp x) (exp (- x))))) (cbrt (/ 2.0 (+ (exp x) (exp (- x))))))
  (cbrt (/ 2.0 (+ (exp x) (exp (- x)))))
  (* (* (/ 2.0 (+ (exp x) (exp (- x)))) (/ 2.0 (+ (exp x) (exp (- x))))) (/ 2.0 (+ (exp x) (exp (- x)))))
  (sqrt (/ 2.0 (+ (exp x) (exp (- x)))))
  (sqrt (/ 2.0 (+ (exp x) (exp (- x)))))
  (- 2.0)
  (- (+ (exp x) (exp (- x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (cbrt 2.0) (cbrt (+ (exp x) (exp (- x)))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ (exp x) (exp (- x)))))
  (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (+ (exp x) (exp (- x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (+ (exp x) (exp (- x))))
  (/ (sqrt 2.0) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (sqrt 2.0) (cbrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ 2.0 (cbrt (+ (exp x) (exp (- x)))))
  (/ 1 (sqrt (+ (exp x) (exp (- x)))))
  (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))
  (/ 1 1)
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 1 1)
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 1 (+ (exp x) (exp (- x))))
  (/ (+ (exp x) (exp (- x))) 2.0)
  (/ 2.0 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))
  (/ 2.0 1)
  (/ 2.0 1)
  (/ (+ (exp x) (exp (- x))) (cbrt 2.0))
  (/ (+ (exp x) (exp (- x))) (sqrt 2.0))
  (/ (+ (exp x) (exp (- x))) 2.0)
  (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))
  (/ 2.0 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))
  (expm1 (+ (exp x) (exp (- x))))
  (log1p (+ (exp x) (exp (- x))))
  (* (exp (exp x)) (exp (exp (- x))))
  (log (+ (exp x) (exp (- x))))
  (exp (+ (exp x) (exp (- x))))
  (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))
  (cbrt (+ (exp x) (exp (- x))))
  (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))
  (sqrt (+ (exp x) (exp (- x))))
  (sqrt (+ (exp x) (exp (- x))))
  (+ (pow (exp x) 3) (pow (exp (- x)) 3))
  (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
  (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))
  (- (exp x) (exp (- x)))
  (+ (exp x) (exp (- x)))
  (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2)))
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 2.0 (+ (exp (* -1 x)) (exp x)))
  (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
  (+ (exp x) (exp (- x)))
  (+ (exp (* -1 x)) (exp x))
0.155 * * [simplify]: iteration 0: 94 enodes
0.178 * * [simplify]: iteration 1: 210 enodes
0.232 * * [simplify]: iteration 2: 737 enodes
0.788 * * [simplify]: iteration 3: 4150 enodes
1.914 * * [simplify]: iteration complete: 5000 enodes
1.914 * * [simplify]: Extracting #0: cost 51 inf + 0
1.916 * * [simplify]: Extracting #1: cost 474 inf + 6
1.922 * * [simplify]: Extracting #2: cost 1268 inf + 182
1.931 * * [simplify]: Extracting #3: cost 733 inf + 4259
1.939 * * [simplify]: Extracting #4: cost 173 inf + 8734
1.947 * * [simplify]: Extracting #5: cost 5 inf + 10577
1.954 * * [simplify]: Extracting #6: cost 0 inf + 10635
1.962 * [simplify]: Simplified to:
  (expm1 (/ 2.0 (+ (exp x) (exp (- x)))))
  (log1p (/ 2.0 (+ (exp x) (exp (- x)))))
  (log (/ 2.0 (+ (exp x) (exp (- x)))))
  (log (/ 2.0 (+ (exp x) (exp (- x)))))
  (exp (/ 2.0 (+ (exp x) (exp (- x)))))
  (pow (/ 2.0 (+ (exp x) (exp (- x)))) 3)
  (* (cbrt (/ 2.0 (+ (exp x) (exp (- x))))) (cbrt (/ 2.0 (+ (exp x) (exp (- x))))))
  (cbrt (/ 2.0 (+ (exp x) (exp (- x)))))
  (pow (/ 2.0 (+ (exp x) (exp (- x)))) 3)
  (sqrt (/ 2.0 (+ (exp x) (exp (- x)))))
  (sqrt (/ 2.0 (+ (exp x) (exp (- x)))))
  (- 2.0)
  (- (/ -1 (exp x)) (exp x))
  (/ (cbrt 2.0) (/ (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt 2.0)))
  (/ (cbrt 2.0) (cbrt (+ (exp x) (exp (- x)))))
  (* (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (cbrt 2.0))
  (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (* (cbrt 2.0) (cbrt 2.0))
  (/ (cbrt 2.0) (+ (exp x) (exp (- x))))
  (* (cbrt 2.0) (cbrt 2.0))
  (/ (cbrt 2.0) (+ (exp x) (exp (- x))))
  (/ (sqrt 2.0) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (sqrt 2.0) (cbrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (sqrt 2.0)
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (sqrt 2.0)
  (/ (sqrt 2.0) (+ (exp x) (exp (- x))))
  (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ 2.0 (cbrt (+ (exp x) (exp (- x)))))
  (/ 1 (sqrt (+ (exp x) (exp (- x)))))
  (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))
  1
  (/ 2.0 (+ (exp x) (exp (- x))))
  1
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 1 (+ (exp x) (exp (- x))))
  (/ (+ (exp x) (exp (- x))) 2.0)
  (/ (/ 2.0 (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))))
  (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))
  2.0
  2.0
  (/ (+ (exp x) (exp (- x))) (cbrt 2.0))
  (/ (+ (exp x) (exp (- x))) (sqrt 2.0))
  (/ (+ (exp x) (exp (- x))) 2.0)
  (/ 2.0 (+ (pow (exp x) 3) (exp (* x -3))))
  (/ 2.0 (- (exp (+ x x)) (pow (exp x) -2)))
  (expm1 (+ (exp x) (exp (- x))))
  (log1p (+ (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) (exp (* x -3)))
  (+ (exp (+ x x)) (expm1 (* x -2)))
  (- (exp (+ x x)) (pow (exp x) -2))
  (- (exp x) (exp (- x)))
  (+ (exp x) (exp (- x)))
  (fma (pow x 4) 0.20833333333333334 (- 1.0 (* (pow x 2) 0.5)))
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 2.0 (+ (exp x) (exp (- x))))
  (fma 1/12 (pow x 4) (fma x x 2))
  (+ (exp x) (exp (- x)))
  (+ (exp x) (exp (- x)))
1.963 * * * [progress]: adding candidates to table
2.232 * * [progress]: iteration 2 / 4
2.232 * * * [progress]: picking best candidate
2.240 * * * * [pick]: Picked  #<alt (λ (x) (/ (- 2.0) (- (/ -1 (exp x)) (exp x))))>
2.241 * * * [progress]: localizing error
2.254 * * * [progress]: generating rewritten candidates
2.254 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1)
2.263 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
2.314 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
2.374 * * * [progress]: generating series expansions
2.374 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1)
2.374 * [backup-simplify]: Simplify (/ -1 (exp x)) into (/ -1 (exp x))
2.374 * [approximate]: Taking taylor expansion of (/ -1 (exp x)) in (x) around 0
2.374 * [taylor]: Taking taylor expansion of (/ -1 (exp x)) in x
2.374 * [taylor]: Taking taylor expansion of -1 in x
2.374 * [backup-simplify]: Simplify -1 into -1
2.374 * [taylor]: Taking taylor expansion of (exp x) in x
2.374 * [taylor]: Taking taylor expansion of x in x
2.374 * [backup-simplify]: Simplify 0 into 0
2.374 * [backup-simplify]: Simplify 1 into 1
2.374 * [backup-simplify]: Simplify (exp 0) into 1
2.374 * [backup-simplify]: Simplify (/ -1 1) into -1
2.375 * [taylor]: Taking taylor expansion of (/ -1 (exp x)) in x
2.375 * [taylor]: Taking taylor expansion of -1 in x
2.375 * [backup-simplify]: Simplify -1 into -1
2.375 * [taylor]: Taking taylor expansion of (exp x) in x
2.375 * [taylor]: Taking taylor expansion of x in x
2.375 * [backup-simplify]: Simplify 0 into 0
2.375 * [backup-simplify]: Simplify 1 into 1
2.375 * [backup-simplify]: Simplify (exp 0) into 1
2.375 * [backup-simplify]: Simplify (/ -1 1) into -1
2.375 * [backup-simplify]: Simplify -1 into -1
2.376 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.376 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)))) into 1
2.376 * [backup-simplify]: Simplify 1 into 1
2.377 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.378 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 1/2 1)) (* 1 (/ 1 1)))) into -1/2
2.378 * [backup-simplify]: Simplify -1/2 into -1/2
2.378 * [backup-simplify]: Simplify (+ (* -1/2 (pow x 2)) (+ (* 1 x) -1)) into (- x (+ (* 1/2 (pow x 2)) 1))
2.378 * [backup-simplify]: Simplify (/ -1 (exp (/ 1 x))) into (/ -1 (exp (/ 1 x)))
2.378 * [approximate]: Taking taylor expansion of (/ -1 (exp (/ 1 x))) in (x) around 0
2.378 * [taylor]: Taking taylor expansion of (/ -1 (exp (/ 1 x))) in x
2.378 * [taylor]: Taking taylor expansion of -1 in x
2.378 * [backup-simplify]: Simplify -1 into -1
2.378 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.378 * [taylor]: Taking taylor expansion of x in x
2.378 * [backup-simplify]: Simplify 0 into 0
2.378 * [backup-simplify]: Simplify 1 into 1
2.379 * [backup-simplify]: Simplify (/ 1 1) into 1
2.379 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.379 * [backup-simplify]: Simplify (/ -1 (exp (/ 1 x))) into (/ -1 (exp (/ 1 x)))
2.379 * [taylor]: Taking taylor expansion of (/ -1 (exp (/ 1 x))) in x
2.379 * [taylor]: Taking taylor expansion of -1 in x
2.379 * [backup-simplify]: Simplify -1 into -1
2.379 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.379 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.379 * [taylor]: Taking taylor expansion of x in x
2.379 * [backup-simplify]: Simplify 0 into 0
2.379 * [backup-simplify]: Simplify 1 into 1
2.379 * [backup-simplify]: Simplify (/ 1 1) into 1
2.379 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.379 * [backup-simplify]: Simplify (/ -1 (exp (/ 1 x))) into (/ -1 (exp (/ 1 x)))
2.379 * [backup-simplify]: Simplify (/ -1 (exp (/ 1 x))) into (/ -1 (exp (/ 1 x)))
2.379 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
2.379 * [backup-simplify]: Simplify 0 into 0
2.380 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
2.380 * [backup-simplify]: Simplify 0 into 0
2.380 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
2.380 * [backup-simplify]: Simplify 0 into 0
2.380 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
2.380 * [backup-simplify]: Simplify 0 into 0
2.381 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
2.381 * [backup-simplify]: Simplify 0 into 0
2.381 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
2.381 * [backup-simplify]: Simplify 0 into 0
2.381 * [backup-simplify]: Simplify (/ -1 (exp (/ 1 (/ 1 x)))) into (/ -1 (exp x))
2.381 * [backup-simplify]: Simplify (/ -1 (exp (/ 1 (- x)))) into (/ -1 (exp (/ -1 x)))
2.381 * [approximate]: Taking taylor expansion of (/ -1 (exp (/ -1 x))) in (x) around 0
2.381 * [taylor]: Taking taylor expansion of (/ -1 (exp (/ -1 x))) in x
2.381 * [taylor]: Taking taylor expansion of -1 in x
2.381 * [backup-simplify]: Simplify -1 into -1
2.381 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.381 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.381 * [taylor]: Taking taylor expansion of -1 in x
2.381 * [backup-simplify]: Simplify -1 into -1
2.381 * [taylor]: Taking taylor expansion of x in x
2.381 * [backup-simplify]: Simplify 0 into 0
2.381 * [backup-simplify]: Simplify 1 into 1
2.382 * [backup-simplify]: Simplify (/ -1 1) into -1
2.382 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.382 * [backup-simplify]: Simplify (/ -1 (exp (/ -1 x))) into (/ -1 (exp (/ -1 x)))
2.382 * [taylor]: Taking taylor expansion of (/ -1 (exp (/ -1 x))) in x
2.382 * [taylor]: Taking taylor expansion of -1 in x
2.382 * [backup-simplify]: Simplify -1 into -1
2.382 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.382 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.382 * [taylor]: Taking taylor expansion of -1 in x
2.382 * [backup-simplify]: Simplify -1 into -1
2.382 * [taylor]: Taking taylor expansion of x in x
2.382 * [backup-simplify]: Simplify 0 into 0
2.382 * [backup-simplify]: Simplify 1 into 1
2.382 * [backup-simplify]: Simplify (/ -1 1) into -1
2.382 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.382 * [backup-simplify]: Simplify (/ -1 (exp (/ -1 x))) into (/ -1 (exp (/ -1 x)))
2.382 * [backup-simplify]: Simplify (/ -1 (exp (/ -1 x))) into (/ -1 (exp (/ -1 x)))
2.382 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
2.383 * [backup-simplify]: Simplify 0 into 0
2.383 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
2.383 * [backup-simplify]: Simplify 0 into 0
2.383 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
2.383 * [backup-simplify]: Simplify 0 into 0
2.383 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
2.383 * [backup-simplify]: Simplify 0 into 0
2.384 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
2.384 * [backup-simplify]: Simplify 0 into 0
2.384 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
2.384 * [backup-simplify]: Simplify 0 into 0
2.384 * [backup-simplify]: Simplify (/ -1 (exp (/ -1 (/ 1 (- x))))) into (/ -1 (exp x))
2.384 * * * * [progress]: [ 2 / 3 ] generating series at (2)
2.385 * [backup-simplify]: Simplify (/ (- 2.0) (- (/ -1 (exp x)) (exp x))) into (/ 2.0 (+ (exp x) (/ 1 (exp x))))
2.385 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp x) (/ 1 (exp x)))) in (x) around 0
2.385 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (/ 1 (exp x)))) in x
2.385 * [taylor]: Taking taylor expansion of 2.0 in x
2.385 * [backup-simplify]: Simplify 2.0 into 2.0
2.385 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x
2.385 * [taylor]: Taking taylor expansion of (exp x) in x
2.385 * [taylor]: Taking taylor expansion of x in x
2.385 * [backup-simplify]: Simplify 0 into 0
2.385 * [backup-simplify]: Simplify 1 into 1
2.385 * [backup-simplify]: Simplify (exp 0) into 1
2.385 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
2.385 * [taylor]: Taking taylor expansion of (exp x) in x
2.385 * [taylor]: Taking taylor expansion of x in x
2.385 * [backup-simplify]: Simplify 0 into 0
2.385 * [backup-simplify]: Simplify 1 into 1
2.385 * [backup-simplify]: Simplify (exp 0) into 1
2.385 * [backup-simplify]: Simplify (/ 1 1) into 1
2.385 * [backup-simplify]: Simplify (+ 1 1) into 2
2.386 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
2.386 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (/ 1 (exp x)))) in x
2.386 * [taylor]: Taking taylor expansion of 2.0 in x
2.386 * [backup-simplify]: Simplify 2.0 into 2.0
2.386 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x
2.386 * [taylor]: Taking taylor expansion of (exp x) in x
2.386 * [taylor]: Taking taylor expansion of x in x
2.386 * [backup-simplify]: Simplify 0 into 0
2.386 * [backup-simplify]: Simplify 1 into 1
2.386 * [backup-simplify]: Simplify (exp 0) into 1
2.386 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
2.386 * [taylor]: Taking taylor expansion of (exp x) in x
2.386 * [taylor]: Taking taylor expansion of x in x
2.386 * [backup-simplify]: Simplify 0 into 0
2.386 * [backup-simplify]: Simplify 1 into 1
2.386 * [backup-simplify]: Simplify (exp 0) into 1
2.386 * [backup-simplify]: Simplify (/ 1 1) into 1
2.386 * [backup-simplify]: Simplify (+ 1 1) into 2
2.387 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
2.387 * [backup-simplify]: Simplify 1.0 into 1.0
2.387 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.388 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.388 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
2.388 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.389 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)))) into 0
2.389 * [backup-simplify]: Simplify 0 into 0
2.390 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.391 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
2.392 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
2.394 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 1 2)) (* 0 (/ 0 2)))) into (- 0.5)
2.394 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.395 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
2.397 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
2.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/6 1)) (* -1 (/ 1/2 1)) (* 1/2 (/ 1 1)))) into -1/6
2.398 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
2.399 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)) (* 0 (/ 1 2)) (* (- 0.5) (/ 0 2)))) into 0
2.399 * [backup-simplify]: Simplify 0 into 0
2.403 * [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
2.407 * [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
2.409 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/24 1)) (* -1 (/ 1/6 1)) (* 1/2 (/ 1/2 1)) (* -1/6 (/ 1 1)))) into 1/24
2.410 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
2.416 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 1/12 2)) (* 0 (/ 0 2)) (* (- 0.5) (/ 1 2)) (* 0 (/ 0 2)))) into 0.20833333333333334
2.416 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
2.417 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 (pow x 4)) (+ (* (- 0.5) (pow x 2)) 1.0)) into (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2)))
2.418 * [backup-simplify]: Simplify (/ (- 2.0) (- (/ -1 (exp (/ 1 x))) (exp (/ 1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))
2.418 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) in (x) around 0
2.418 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) in x
2.418 * [taylor]: Taking taylor expansion of 2.0 in x
2.418 * [backup-simplify]: Simplify 2.0 into 2.0
2.418 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) in x
2.418 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.418 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.418 * [taylor]: Taking taylor expansion of x in x
2.418 * [backup-simplify]: Simplify 0 into 0
2.418 * [backup-simplify]: Simplify 1 into 1
2.418 * [backup-simplify]: Simplify (/ 1 1) into 1
2.418 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.418 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
2.418 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.418 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.418 * [taylor]: Taking taylor expansion of x in x
2.418 * [backup-simplify]: Simplify 0 into 0
2.418 * [backup-simplify]: Simplify 1 into 1
2.418 * [backup-simplify]: Simplify (/ 1 1) into 1
2.419 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.419 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
2.419 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) into (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))
2.419 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))
2.419 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) in x
2.419 * [taylor]: Taking taylor expansion of 2.0 in x
2.419 * [backup-simplify]: Simplify 2.0 into 2.0
2.419 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) in x
2.419 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.419 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.419 * [taylor]: Taking taylor expansion of x in x
2.419 * [backup-simplify]: Simplify 0 into 0
2.419 * [backup-simplify]: Simplify 1 into 1
2.419 * [backup-simplify]: Simplify (/ 1 1) into 1
2.419 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.419 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
2.419 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.419 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.419 * [taylor]: Taking taylor expansion of x in x
2.419 * [backup-simplify]: Simplify 0 into 0
2.419 * [backup-simplify]: Simplify 1 into 1
2.420 * [backup-simplify]: Simplify (/ 1 1) into 1
2.420 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.420 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
2.420 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) into (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))
2.420 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))
2.420 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))
2.420 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
2.420 * [backup-simplify]: Simplify (+ 0 0) into 0
2.421 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))) into 0
2.421 * [backup-simplify]: Simplify 0 into 0
2.421 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
2.421 * [backup-simplify]: Simplify (+ 0 0) into 0
2.422 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))) into 0
2.422 * [backup-simplify]: Simplify 0 into 0
2.422 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
2.422 * [backup-simplify]: Simplify (+ 0 0) into 0
2.423 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))) into 0
2.423 * [backup-simplify]: Simplify 0 into 0
2.423 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
2.423 * [backup-simplify]: Simplify (+ 0 0) into 0
2.424 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))) into 0
2.424 * [backup-simplify]: Simplify 0 into 0
2.424 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
2.424 * [backup-simplify]: Simplify (+ 0 0) into 0
2.425 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))) into 0
2.425 * [backup-simplify]: Simplify 0 into 0
2.426 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
2.426 * [backup-simplify]: Simplify (+ 0 0) into 0
2.427 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (+ (* (/ 2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))) into 0
2.427 * [backup-simplify]: Simplify 0 into 0
2.427 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (/ 1 x))) (/ 1 (exp (/ 1 (/ 1 x)))))) into (/ 2.0 (+ (exp x) (/ 1 (exp x))))
2.427 * [backup-simplify]: Simplify (/ (- 2.0) (- (/ -1 (exp (/ 1 (- x)))) (exp (/ 1 (- x))))) into (/ 2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))
2.427 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) in (x) around 0
2.427 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) in x
2.427 * [taylor]: Taking taylor expansion of 2.0 in x
2.427 * [backup-simplify]: Simplify 2.0 into 2.0
2.427 * [taylor]: Taking taylor expansion of (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) in x
2.427 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
2.427 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.427 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.427 * [taylor]: Taking taylor expansion of -1 in x
2.427 * [backup-simplify]: Simplify -1 into -1
2.427 * [taylor]: Taking taylor expansion of x in x
2.427 * [backup-simplify]: Simplify 0 into 0
2.427 * [backup-simplify]: Simplify 1 into 1
2.428 * [backup-simplify]: Simplify (/ -1 1) into -1
2.428 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.428 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
2.428 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.428 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.428 * [taylor]: Taking taylor expansion of -1 in x
2.428 * [backup-simplify]: Simplify -1 into -1
2.428 * [taylor]: Taking taylor expansion of x in x
2.428 * [backup-simplify]: Simplify 0 into 0
2.428 * [backup-simplify]: Simplify 1 into 1
2.428 * [backup-simplify]: Simplify (/ -1 1) into -1
2.428 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.428 * [backup-simplify]: Simplify (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) into (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))
2.428 * [backup-simplify]: Simplify (/ 2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) into (/ 2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))
2.429 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) in x
2.429 * [taylor]: Taking taylor expansion of 2.0 in x
2.429 * [backup-simplify]: Simplify 2.0 into 2.0
2.429 * [taylor]: Taking taylor expansion of (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) in x
2.429 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
2.429 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.429 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.429 * [taylor]: Taking taylor expansion of -1 in x
2.429 * [backup-simplify]: Simplify -1 into -1
2.429 * [taylor]: Taking taylor expansion of x in x
2.429 * [backup-simplify]: Simplify 0 into 0
2.429 * [backup-simplify]: Simplify 1 into 1
2.429 * [backup-simplify]: Simplify (/ -1 1) into -1
2.429 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.429 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
2.429 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.429 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.429 * [taylor]: Taking taylor expansion of -1 in x
2.429 * [backup-simplify]: Simplify -1 into -1
2.429 * [taylor]: Taking taylor expansion of x in x
2.429 * [backup-simplify]: Simplify 0 into 0
2.429 * [backup-simplify]: Simplify 1 into 1
2.429 * [backup-simplify]: Simplify (/ -1 1) into -1
2.430 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.430 * [backup-simplify]: Simplify (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) into (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))
2.430 * [backup-simplify]: Simplify (/ 2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) into (/ 2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))
2.430 * [backup-simplify]: Simplify (/ 2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) into (/ 2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))
2.430 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
2.430 * [backup-simplify]: Simplify (+ 0 0) into 0
2.431 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))) into 0
2.431 * [backup-simplify]: Simplify 0 into 0
2.431 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
2.431 * [backup-simplify]: Simplify (+ 0 0) into 0
2.431 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))) into 0
2.432 * [backup-simplify]: Simplify 0 into 0
2.432 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
2.432 * [backup-simplify]: Simplify (+ 0 0) into 0
2.433 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))) into 0
2.433 * [backup-simplify]: Simplify 0 into 0
2.433 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
2.433 * [backup-simplify]: Simplify (+ 0 0) into 0
2.434 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))) into 0
2.434 * [backup-simplify]: Simplify 0 into 0
2.434 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
2.434 * [backup-simplify]: Simplify (+ 0 0) into 0
2.435 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))) into 0
2.435 * [backup-simplify]: Simplify 0 into 0
2.435 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
2.436 * [backup-simplify]: Simplify (+ 0 0) into 0
2.436 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (+ (* (/ 2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))) into 0
2.436 * [backup-simplify]: Simplify 0 into 0
2.437 * [backup-simplify]: Simplify (/ 2.0 (+ (/ 1 (exp (/ -1 (/ 1 (- x))))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2.0 (+ (exp x) (/ 1 (exp x))))
2.437 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
2.437 * [backup-simplify]: Simplify (- (/ -1 (exp x)) (exp x)) into (- (+ (exp x) (/ 1 (exp x))))
2.437 * [approximate]: Taking taylor expansion of (- (+ (exp x) (/ 1 (exp x)))) in (x) around 0
2.437 * [taylor]: Taking taylor expansion of (- (+ (exp x) (/ 1 (exp x)))) in x
2.437 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x
2.437 * [taylor]: Taking taylor expansion of (exp x) in x
2.437 * [taylor]: Taking taylor expansion of x in x
2.437 * [backup-simplify]: Simplify 0 into 0
2.437 * [backup-simplify]: Simplify 1 into 1
2.437 * [backup-simplify]: Simplify (exp 0) into 1
2.437 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
2.437 * [taylor]: Taking taylor expansion of (exp x) in x
2.437 * [taylor]: Taking taylor expansion of x in x
2.437 * [backup-simplify]: Simplify 0 into 0
2.437 * [backup-simplify]: Simplify 1 into 1
2.437 * [backup-simplify]: Simplify (exp 0) into 1
2.437 * [backup-simplify]: Simplify (/ 1 1) into 1
2.437 * [taylor]: Taking taylor expansion of (- (+ (exp x) (/ 1 (exp x)))) in x
2.437 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x
2.437 * [taylor]: Taking taylor expansion of (exp x) in x
2.437 * [taylor]: Taking taylor expansion of x in x
2.437 * [backup-simplify]: Simplify 0 into 0
2.437 * [backup-simplify]: Simplify 1 into 1
2.437 * [backup-simplify]: Simplify (exp 0) into 1
2.437 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
2.437 * [taylor]: Taking taylor expansion of (exp x) in x
2.437 * [taylor]: Taking taylor expansion of x in x
2.437 * [backup-simplify]: Simplify 0 into 0
2.437 * [backup-simplify]: Simplify 1 into 1
2.437 * [backup-simplify]: Simplify (exp 0) into 1
2.438 * [backup-simplify]: Simplify (/ 1 1) into 1
2.438 * [backup-simplify]: Simplify (+ 1 1) into 2
2.442 * [backup-simplify]: Simplify (- 2) into -2
2.442 * [backup-simplify]: Simplify -2 into -2
2.443 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.443 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.444 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
2.444 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.444 * [backup-simplify]: Simplify (- 0) into 0
2.444 * [backup-simplify]: Simplify 0 into 0
2.445 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.446 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
2.447 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
2.447 * [backup-simplify]: Simplify (- 1) into -1
2.447 * [backup-simplify]: Simplify -1 into -1
2.450 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
2.452 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
2.454 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/6 1)) (* -1 (/ 1/2 1)) (* 1/2 (/ 1 1)))) into -1/6
2.454 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
2.455 * [backup-simplify]: Simplify (- 0) into 0
2.455 * [backup-simplify]: Simplify 0 into 0
2.459 * [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
2.463 * [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
2.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/24 1)) (* -1 (/ 1/6 1)) (* 1/2 (/ 1/2 1)) (* -1/6 (/ 1 1)))) into 1/24
2.466 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
2.466 * [backup-simplify]: Simplify (- 1/12) into -1/12
2.467 * [backup-simplify]: Simplify -1/12 into -1/12
2.467 * [backup-simplify]: Simplify (+ (* -1/12 (pow x 4)) (+ (* -1 (pow x 2)) -2)) into (- (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)))
2.468 * [backup-simplify]: Simplify (- (/ -1 (exp (/ 1 x))) (exp (/ 1 x))) into (- (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))
2.468 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) in (x) around 0
2.468 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) in x
2.468 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) in x
2.468 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.468 * [taylor]: Taking taylor expansion of x in x
2.468 * [backup-simplify]: Simplify 0 into 0
2.468 * [backup-simplify]: Simplify 1 into 1
2.468 * [backup-simplify]: Simplify (/ 1 1) into 1
2.468 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.468 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
2.469 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.469 * [taylor]: Taking taylor expansion of x in x
2.469 * [backup-simplify]: Simplify 0 into 0
2.469 * [backup-simplify]: Simplify 1 into 1
2.469 * [backup-simplify]: Simplify (/ 1 1) into 1
2.469 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.469 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
2.469 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) in x
2.469 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) in x
2.469 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.469 * [taylor]: Taking taylor expansion of x in x
2.469 * [backup-simplify]: Simplify 0 into 0
2.469 * [backup-simplify]: Simplify 1 into 1
2.470 * [backup-simplify]: Simplify (/ 1 1) into 1
2.470 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.470 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
2.470 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.470 * [taylor]: Taking taylor expansion of x in x
2.470 * [backup-simplify]: Simplify 0 into 0
2.470 * [backup-simplify]: Simplify 1 into 1
2.470 * [backup-simplify]: Simplify (/ 1 1) into 1
2.471 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.471 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
2.471 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) into (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))
2.471 * [backup-simplify]: Simplify (- (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) into (- (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))
2.471 * [backup-simplify]: Simplify (- (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) into (- (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))
2.472 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
2.472 * [backup-simplify]: Simplify (+ 0 0) into 0
2.472 * [backup-simplify]: Simplify (- 0) into 0
2.472 * [backup-simplify]: Simplify 0 into 0
2.473 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
2.473 * [backup-simplify]: Simplify (+ 0 0) into 0
2.474 * [backup-simplify]: Simplify (- 0) into 0
2.474 * [backup-simplify]: Simplify 0 into 0
2.474 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
2.474 * [backup-simplify]: Simplify (+ 0 0) into 0
2.475 * [backup-simplify]: Simplify (- 0) into 0
2.475 * [backup-simplify]: Simplify 0 into 0
2.475 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
2.476 * [backup-simplify]: Simplify (+ 0 0) into 0
2.476 * [backup-simplify]: Simplify (- 0) into 0
2.476 * [backup-simplify]: Simplify 0 into 0
2.477 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
2.477 * [backup-simplify]: Simplify (+ 0 0) into 0
2.477 * [backup-simplify]: Simplify (- 0) into 0
2.477 * [backup-simplify]: Simplify 0 into 0
2.478 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
2.479 * [backup-simplify]: Simplify (+ 0 0) into 0
2.479 * [backup-simplify]: Simplify (- 0) into 0
2.479 * [backup-simplify]: Simplify 0 into 0
2.479 * [backup-simplify]: Simplify (- (+ (exp (/ 1 (/ 1 x))) (/ 1 (exp (/ 1 (/ 1 x)))))) into (- (+ (exp x) (/ 1 (exp x))))
2.480 * [backup-simplify]: Simplify (- (/ -1 (exp (/ 1 (- x)))) (exp (/ 1 (- x)))) into (- (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))
2.480 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) in (x) around 0
2.480 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) in x
2.480 * [taylor]: Taking taylor expansion of (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) in x
2.480 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
2.480 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.480 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.480 * [taylor]: Taking taylor expansion of -1 in x
2.480 * [backup-simplify]: Simplify -1 into -1
2.480 * [taylor]: Taking taylor expansion of x in x
2.480 * [backup-simplify]: Simplify 0 into 0
2.480 * [backup-simplify]: Simplify 1 into 1
2.480 * [backup-simplify]: Simplify (/ -1 1) into -1
2.480 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.481 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
2.481 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.481 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.481 * [taylor]: Taking taylor expansion of -1 in x
2.481 * [backup-simplify]: Simplify -1 into -1
2.481 * [taylor]: Taking taylor expansion of x in x
2.481 * [backup-simplify]: Simplify 0 into 0
2.481 * [backup-simplify]: Simplify 1 into 1
2.481 * [backup-simplify]: Simplify (/ -1 1) into -1
2.481 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.481 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) in x
2.481 * [taylor]: Taking taylor expansion of (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) in x
2.481 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
2.481 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.481 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.481 * [taylor]: Taking taylor expansion of -1 in x
2.482 * [backup-simplify]: Simplify -1 into -1
2.482 * [taylor]: Taking taylor expansion of x in x
2.482 * [backup-simplify]: Simplify 0 into 0
2.482 * [backup-simplify]: Simplify 1 into 1
2.482 * [backup-simplify]: Simplify (/ -1 1) into -1
2.482 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.482 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
2.482 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.482 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.482 * [taylor]: Taking taylor expansion of -1 in x
2.482 * [backup-simplify]: Simplify -1 into -1
2.482 * [taylor]: Taking taylor expansion of x in x
2.482 * [backup-simplify]: Simplify 0 into 0
2.482 * [backup-simplify]: Simplify 1 into 1
2.483 * [backup-simplify]: Simplify (/ -1 1) into -1
2.483 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.483 * [backup-simplify]: Simplify (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) into (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))
2.483 * [backup-simplify]: Simplify (- (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) into (- (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))
2.484 * [backup-simplify]: Simplify (- (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) into (- (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))
2.484 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
2.484 * [backup-simplify]: Simplify (+ 0 0) into 0
2.485 * [backup-simplify]: Simplify (- 0) into 0
2.485 * [backup-simplify]: Simplify 0 into 0
2.485 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
2.485 * [backup-simplify]: Simplify (+ 0 0) into 0
2.486 * [backup-simplify]: Simplify (- 0) into 0
2.486 * [backup-simplify]: Simplify 0 into 0
2.486 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
2.487 * [backup-simplify]: Simplify (+ 0 0) into 0
2.487 * [backup-simplify]: Simplify (- 0) into 0
2.487 * [backup-simplify]: Simplify 0 into 0
2.488 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
2.488 * [backup-simplify]: Simplify (+ 0 0) into 0
2.488 * [backup-simplify]: Simplify (- 0) into 0
2.489 * [backup-simplify]: Simplify 0 into 0
2.489 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
2.490 * [backup-simplify]: Simplify (+ 0 0) into 0
2.490 * [backup-simplify]: Simplify (- 0) into 0
2.490 * [backup-simplify]: Simplify 0 into 0
2.491 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
2.491 * [backup-simplify]: Simplify (+ 0 0) into 0
2.491 * [backup-simplify]: Simplify (- 0) into 0
2.491 * [backup-simplify]: Simplify 0 into 0
2.492 * [backup-simplify]: Simplify (- (+ (/ 1 (exp (/ -1 (/ 1 (- x))))) (exp (/ -1 (/ 1 (- x)))))) into (- (+ (exp x) (/ 1 (exp x))))
2.492 * * * [progress]: simplifying candidates
2.498 * [simplify]: Simplifying:
  (expm1 (/ -1 (exp x)))
  (log1p (/ -1 (exp x)))
  (- (log -1) x)
  (log (/ -1 (exp x)))
  (exp (/ -1 (exp x)))
  (/ (* (* -1 -1) -1) (* (* (exp x) (exp x)) (exp x)))
  (* (cbrt (/ -1 (exp x))) (cbrt (/ -1 (exp x))))
  (cbrt (/ -1 (exp x)))
  (* (* (/ -1 (exp x)) (/ -1 (exp x))) (/ -1 (exp x)))
  (sqrt (/ -1 (exp x)))
  (sqrt (/ -1 (exp x)))
  (- -1)
  (- (exp x))
  (/ (* (cbrt -1) (cbrt -1)) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cbrt -1) (cbrt (exp x)))
  (/ (* (cbrt -1) (cbrt -1)) (sqrt (exp x)))
  (/ (cbrt -1) (sqrt (exp x)))
  (/ (* (cbrt -1) (cbrt -1)) 1)
  (/ (cbrt -1) (exp x))
  (/ (sqrt -1) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (sqrt -1) (cbrt (exp x)))
  (/ (sqrt -1) (sqrt (exp x)))
  (/ (sqrt -1) (sqrt (exp x)))
  (/ (sqrt -1) 1)
  (/ (sqrt -1) (exp x))
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ -1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ -1 (sqrt (exp x)))
  (/ 1 1)
  (/ -1 (exp x))
  (/ 1 (exp x))
  (/ (exp x) -1)
  (/ -1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ -1 (sqrt (exp x)))
  (/ -1 1)
  (/ (exp x) (cbrt -1))
  (/ (exp x) (sqrt -1))
  (/ (exp x) -1)
  (expm1 (/ (- 2.0) (- (/ -1 (exp x)) (exp x))))
  (log1p (/ (- 2.0) (- (/ -1 (exp x)) (exp x))))
  (- (log (- 2.0)) (log (- (/ -1 (exp x)) (exp x))))
  (log (/ (- 2.0) (- (/ -1 (exp x)) (exp x))))
  (exp (/ (- 2.0) (- (/ -1 (exp x)) (exp x))))
  (/ (* (* (- 2.0) (- 2.0)) (- 2.0)) (* (* (- (/ -1 (exp x)) (exp x)) (- (/ -1 (exp x)) (exp x))) (- (/ -1 (exp x)) (exp x))))
  (* (cbrt (/ (- 2.0) (- (/ -1 (exp x)) (exp x)))) (cbrt (/ (- 2.0) (- (/ -1 (exp x)) (exp x)))))
  (cbrt (/ (- 2.0) (- (/ -1 (exp x)) (exp x))))
  (* (* (/ (- 2.0) (- (/ -1 (exp x)) (exp x))) (/ (- 2.0) (- (/ -1 (exp x)) (exp x)))) (/ (- 2.0) (- (/ -1 (exp x)) (exp x))))
  (sqrt (/ (- 2.0) (- (/ -1 (exp x)) (exp x))))
  (sqrt (/ (- 2.0) (- (/ -1 (exp x)) (exp x))))
  (- (- 2.0))
  (- (- (/ -1 (exp x)) (exp x)))
  (/ 0 (- (/ -1 (exp x)) (exp x)))
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (/ (* (cbrt (- 2.0)) (cbrt (- 2.0))) (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ (cbrt (- 2.0)) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (* (cbrt (- 2.0)) (cbrt (- 2.0))) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (cbrt (- 2.0)) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (* (cbrt (- 2.0)) (cbrt (- 2.0))) 1)
  (/ (cbrt (- 2.0)) (- (/ -1 (exp x)) (exp x)))
  (/ (* (cbrt (- 2.0)) (cbrt (- 2.0))) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (cbrt (- 2.0)) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (* (cbrt (- 2.0)) (cbrt (- 2.0))) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (cbrt (- 2.0)) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (* (cbrt (- 2.0)) (cbrt (- 2.0))) 1)
  (/ (cbrt (- 2.0)) (- (/ -1 (exp x)) (exp x)))
  (/ (sqrt (- 2.0)) (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ (sqrt (- 2.0)) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt (- 2.0)) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt (- 2.0)) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt (- 2.0)) 1)
  (/ (sqrt (- 2.0)) (- (/ -1 (exp x)) (exp x)))
  (/ (sqrt (- 2.0)) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (sqrt (- 2.0)) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (sqrt (- 2.0)) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (sqrt (- 2.0)) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (sqrt (- 2.0)) 1)
  (/ (sqrt (- 2.0)) (- (/ -1 (exp x)) (exp x)))
  (/ 1 (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ (- 2.0) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ 1 (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (- 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ 1 1)
  (/ (- 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ 1 (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (- 2.0) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 1 (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (- 2.0) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ 1 1)
  (/ (- 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ -1 (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ 2.0 (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ -1 (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ 2.0 (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ -1 1)
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (/ -1 (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 2.0 (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ -1 (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ 2.0 (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ -1 1)
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (/ (- (* (cbrt 2.0) (cbrt 2.0))) (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ (cbrt 2.0) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (- (* (cbrt 2.0) (cbrt 2.0))) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (cbrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (- (* (cbrt 2.0) (cbrt 2.0))) 1)
  (/ (cbrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (- (* (cbrt 2.0) (cbrt 2.0))) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (cbrt 2.0) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (- (* (cbrt 2.0) (cbrt 2.0))) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (cbrt 2.0) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (- (* (cbrt 2.0) (cbrt 2.0))) 1)
  (/ (cbrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (- (sqrt 2.0)) (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ (sqrt 2.0) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (- (sqrt 2.0)) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (- (sqrt 2.0)) 1)
  (/ (sqrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (- (sqrt 2.0)) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (sqrt 2.0) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (- (sqrt 2.0)) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (sqrt 2.0) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (- (sqrt 2.0)) 1)
  (/ (sqrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (- 1) (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ 2.0 (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (- 1) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ 2.0 (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (- 1) 1)
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (/ (- 1) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 2.0 (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (- 1) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ 2.0 (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (- 1) 1)
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ (- (cbrt 2.0)) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (- (cbrt 2.0)) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (- (cbrt 2.0)) (- (/ -1 (exp x)) (exp x)))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (- (cbrt 2.0)) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (- (cbrt 2.0)) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (- (cbrt 2.0)) (- (/ -1 (exp x)) (exp x)))
  (/ (sqrt 2.0) (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ (- (sqrt 2.0)) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (- (sqrt 2.0)) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt 2.0) 1)
  (/ (- (sqrt 2.0)) (- (/ -1 (exp x)) (exp x)))
  (/ (sqrt 2.0) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (- (sqrt 2.0)) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (sqrt 2.0) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (- (sqrt 2.0)) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (sqrt 2.0) 1)
  (/ (- (sqrt 2.0)) (- (/ -1 (exp x)) (exp x)))
  (/ 1 (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ (- 2.0) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ 1 (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (- 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ 1 1)
  (/ (- 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ 1 (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (- 2.0) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 1 (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (- 2.0) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ 1 1)
  (/ (- 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ 1 (- (/ -1 (exp x)) (exp x)))
  (/ (- (/ -1 (exp x)) (exp x)) (- 2.0))
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (/ (- 2.0) (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ (- 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (- 2.0) 1)
  (/ (- 2.0) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (- 2.0) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (- 2.0) 1)
  (/ (- (/ -1 (exp x)) (exp x)) (cbrt (- 2.0)))
  (/ (- (/ -1 (exp x)) (exp x)) (sqrt (- 2.0)))
  (/ (- (/ -1 (exp x)) (exp x)) (- 2.0))
  (/ (- (/ -1 (exp x)) (exp x)) 2.0)
  (/ (- (/ -1 (exp x)) (exp x)) (cbrt 2.0))
  (/ (- (/ -1 (exp x)) (exp x)) (sqrt 2.0))
  (/ (- (/ -1 (exp x)) (exp x)) 2.0)
  (/ (- (/ -1 (exp x)) (exp x)) (- (cbrt 2.0)))
  (/ (- (/ -1 (exp x)) (exp x)) (- (sqrt 2.0)))
  (/ (- (/ -1 (exp x)) (exp x)) (- 2.0))
  (/ (- 2.0) (- (pow (/ -1 (exp x)) 3) (pow (exp x) 3)))
  (/ (- 2.0) (- (* (/ -1 (exp x)) (/ -1 (exp x))) (* (exp x) (exp x))))
  (fma (* (cbrt (/ -1 (exp x))) (cbrt (/ -1 (exp x)))) (cbrt (/ -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 (* (cbrt (/ -1 (exp x))) (cbrt (/ -1 (exp x)))) (cbrt (/ -1 (exp x))) (- (* (sqrt (exp x)) (sqrt (exp x)))))
  (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))
  (fma (* (cbrt (/ -1 (exp x))) (cbrt (/ -1 (exp x)))) (cbrt (/ -1 (exp x))) (- (* (exp x) 1)))
  (fma (- (exp x)) 1 (* (exp x) 1))
  (fma (sqrt (/ -1 (exp x))) (sqrt (/ -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 (sqrt (/ -1 (exp x))) (sqrt (/ -1 (exp x))) (- (* (sqrt (exp x)) (sqrt (exp x)))))
  (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))
  (fma (sqrt (/ -1 (exp x))) (sqrt (/ -1 (exp x))) (- (* (exp x) 1)))
  (fma (- (exp x)) 1 (* (exp x) 1))
  (fma (/ (* (cbrt -1) (cbrt -1)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt -1) (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 -1) (cbrt -1)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt -1) (cbrt (exp x))) (- (* (sqrt (exp x)) (sqrt (exp x)))))
  (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))
  (fma (/ (* (cbrt -1) (cbrt -1)) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (cbrt -1) (cbrt (exp x))) (- (* (exp x) 1)))
  (fma (- (exp x)) 1 (* (exp x) 1))
  (fma (/ (* (cbrt -1) (cbrt -1)) (sqrt (exp x))) (/ (cbrt -1) (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 (/ (* (cbrt -1) (cbrt -1)) (sqrt (exp x))) (/ (cbrt -1) (sqrt (exp x))) (- (* (sqrt (exp x)) (sqrt (exp x)))))
  (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))
  (fma (/ (* (cbrt -1) (cbrt -1)) (sqrt (exp x))) (/ (cbrt -1) (sqrt (exp x))) (- (* (exp x) 1)))
  (fma (- (exp x)) 1 (* (exp x) 1))
  (fma (/ (* (cbrt -1) (cbrt -1)) 1) (/ (cbrt -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 (/ (* (cbrt -1) (cbrt -1)) 1) (/ (cbrt -1) (exp x)) (- (* (sqrt (exp x)) (sqrt (exp x)))))
  (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))
  (fma (/ (* (cbrt -1) (cbrt -1)) 1) (/ (cbrt -1) (exp x)) (- (* (exp x) 1)))
  (fma (- (exp x)) 1 (* (exp x) 1))
  (fma (/ (sqrt -1) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt -1) (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 (/ (sqrt -1) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt -1) (cbrt (exp x))) (- (* (sqrt (exp x)) (sqrt (exp x)))))
  (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))
  (fma (/ (sqrt -1) (* (cbrt (exp x)) (cbrt (exp x)))) (/ (sqrt -1) (cbrt (exp x))) (- (* (exp x) 1)))
  (fma (- (exp x)) 1 (* (exp x) 1))
  (fma (/ (sqrt -1) (sqrt (exp x))) (/ (sqrt -1) (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 -1) (sqrt (exp x))) (/ (sqrt -1) (sqrt (exp x))) (- (* (sqrt (exp x)) (sqrt (exp x)))))
  (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))
  (fma (/ (sqrt -1) (sqrt (exp x))) (/ (sqrt -1) (sqrt (exp x))) (- (* (exp x) 1)))
  (fma (- (exp x)) 1 (* (exp x) 1))
  (fma (/ (sqrt -1) 1) (/ (sqrt -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 (/ (sqrt -1) 1) (/ (sqrt -1) (exp x)) (- (* (sqrt (exp x)) (sqrt (exp x)))))
  (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))
  (fma (/ (sqrt -1) 1) (/ (sqrt -1) (exp x)) (- (* (exp x) 1)))
  (fma (- (exp x)) 1 (* (exp x) 1))
  (fma (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ -1 (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 (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ -1 (cbrt (exp x))) (- (* (sqrt (exp x)) (sqrt (exp x)))))
  (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))
  (fma (/ 1 (* (cbrt (exp x)) (cbrt (exp x)))) (/ -1 (cbrt (exp x))) (- (* (exp x) 1)))
  (fma (- (exp x)) 1 (* (exp x) 1))
  (fma (/ 1 (sqrt (exp x))) (/ -1 (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 (/ 1 (sqrt (exp x))) (/ -1 (sqrt (exp x))) (- (* (sqrt (exp x)) (sqrt (exp x)))))
  (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))
  (fma (/ 1 (sqrt (exp x))) (/ -1 (sqrt (exp x))) (- (* (exp x) 1)))
  (fma (- (exp x)) 1 (* (exp x) 1))
  (fma (/ 1 1) (/ -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 1) (/ -1 (exp x)) (- (* (sqrt (exp x)) (sqrt (exp x)))))
  (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))
  (fma (/ 1 1) (/ -1 (exp x)) (- (* (exp x) 1)))
  (fma (- (exp x)) 1 (* (exp x) 1))
  (fma 1 (/ -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 (/ -1 (exp x)) (- (* (sqrt (exp x)) (sqrt (exp x)))))
  (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))
  (fma 1 (/ -1 (exp x)) (- (* (exp x) 1)))
  (fma (- (exp x)) 1 (* (exp x) 1))
  (fma -1 (/ 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 (/ 1 (exp x)) (- (* (sqrt (exp x)) (sqrt (exp x)))))
  (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))
  (fma -1 (/ 1 (exp x)) (- (* (exp x) 1)))
  (fma (- (exp x)) 1 (* (exp x) 1))
  (expm1 (- (/ -1 (exp x)) (exp x)))
  (log1p (- (/ -1 (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 (/ -1 (exp x))) (exp (exp x)))
  (log (- (/ -1 (exp x)) (exp x)))
  (exp (- (/ -1 (exp x)) (exp x)))
  (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x))))
  (cbrt (- (/ -1 (exp x)) (exp x)))
  (* (* (- (/ -1 (exp x)) (exp x)) (- (/ -1 (exp x)) (exp x))) (- (/ -1 (exp x)) (exp x)))
  (sqrt (- (/ -1 (exp x)) (exp x)))
  (sqrt (- (/ -1 (exp x)) (exp x)))
  (- (pow (/ -1 (exp x)) 3) (pow (exp x) 3))
  (+ (* (/ -1 (exp x)) (/ -1 (exp x))) (+ (* (exp x) (exp x)) (* (/ -1 (exp x)) (exp x))))
  (- (exp x))
  (- (* (/ -1 (exp x)) (/ -1 (exp x))) (* (exp x) (exp x)))
  (+ (/ -1 (exp x)) (exp x))
  (+ (sqrt (/ -1 (exp x))) (sqrt (exp x)))
  (- (sqrt (/ -1 (exp x))) (sqrt (exp x)))
  (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x)))
  (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x)))
  (- (/ -1 (exp x)) (exp x))
  (- (exp x))
  (- x (+ (* 1/2 (pow x 2)) 1))
  (/ -1 (exp x))
  (/ -1 (exp x))
  (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2)))
  (/ 2.0 (+ (exp x) (/ 1 (exp x))))
  (/ 2.0 (+ (exp x) (/ 1 (exp x))))
  (- (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2)))
  (- (+ (exp x) (/ 1 (exp x))))
  (- (+ (exp x) (/ 1 (exp x))))
2.506 * * [simplify]: iteration 0: 274 enodes
2.588 * * [simplify]: iteration 1: 612 enodes
2.818 * * [simplify]: iteration 2: 2233 enodes
3.537 * * [simplify]: iteration complete: 5000 enodes
3.538 * * [simplify]: Extracting #0: cost 161 inf + 0
3.541 * * [simplify]: Extracting #1: cost 717 inf + 6
3.548 * * [simplify]: Extracting #2: cost 1452 inf + 712
3.557 * * [simplify]: Extracting #3: cost 918 inf + 5720
3.567 * * [simplify]: Extracting #4: cost 145 inf + 12651
3.576 * * [simplify]: Extracting #5: cost 4 inf + 14588
3.586 * * [simplify]: Extracting #6: cost 0 inf + 14672
3.600 * [simplify]: Simplified to:
  (expm1 (/ -1 (exp x)))
  (log1p (/ -1 (exp x)))
  (- (log -1) x)
  (- (log -1) x)
  (exp (/ -1 (exp x)))
  (/ -1 (pow (exp x) 3))
  (* (cbrt (/ -1 (exp x))) (cbrt (/ -1 (exp x))))
  (cbrt (/ -1 (exp x)))
  (/ -1 (pow (exp x) 3))
  (sqrt (/ -1 (exp x)))
  (sqrt (/ -1 (exp x)))
  1
  (- (exp x))
  (* (/ (cbrt -1) (cbrt (exp x))) (/ (cbrt -1) (cbrt (exp x))))
  (/ (cbrt -1) (cbrt (exp x)))
  (* (/ (cbrt -1) (sqrt (exp x))) (cbrt -1))
  (/ (cbrt -1) (sqrt (exp x)))
  (* (cbrt -1) (cbrt -1))
  (/ (cbrt -1) (exp x))
  (/ (/ (sqrt -1) (cbrt (exp x))) (cbrt (exp x)))
  (/ (sqrt -1) (cbrt (exp x)))
  (/ (sqrt -1) (sqrt (exp x)))
  (/ (sqrt -1) (sqrt (exp x)))
  (sqrt -1)
  (/ (sqrt -1) (exp x))
  (/ (/ 1 (cbrt (exp x))) (cbrt (exp x)))
  (/ -1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ -1 (sqrt (exp x)))
  1
  (/ -1 (exp x))
  (exp (- x))
  (/ (exp x) -1)
  (/ (/ -1 (cbrt (exp x))) (cbrt (exp x)))
  (/ -1 (sqrt (exp x)))
  -1
  (/ (exp x) (cbrt -1))
  (/ (exp x) (sqrt -1))
  (/ (exp x) -1)
  (expm1 (- (/ 2.0 (- (/ -1 (exp x)) (exp x)))))
  (log1p (- (/ 2.0 (- (/ -1 (exp x)) (exp x)))))
  (log (- (/ 2.0 (- (/ -1 (exp x)) (exp x)))))
  (log (- (/ 2.0 (- (/ -1 (exp x)) (exp x)))))
  (exp (- (/ 2.0 (- (/ -1 (exp x)) (exp x)))))
  (pow (- (/ 2.0 (- (/ -1 (exp x)) (exp x)))) 3)
  (* (cbrt (- (/ 2.0 (- (/ -1 (exp x)) (exp x))))) (cbrt (- (/ 2.0 (- (/ -1 (exp x)) (exp x))))))
  (cbrt (- (/ 2.0 (- (/ -1 (exp x)) (exp x)))))
  (pow (- (/ 2.0 (- (/ -1 (exp x)) (exp x)))) 3)
  (sqrt (- (/ 2.0 (- (/ -1 (exp x)) (exp x)))))
  (sqrt (- (/ 2.0 (- (/ -1 (exp x)) (exp x)))))
  2.0
  (- (- (/ -1 (exp x)) (exp x)))
  0
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (/ (/ (* (cbrt (- 2.0)) (cbrt (- 2.0))) (cbrt (- (/ -1 (exp x)) (exp x)))) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (cbrt (- 2.0)) (cbrt (- (/ -1 (exp x)) (exp x))))
  (* (/ (cbrt (- 2.0)) (sqrt (- (/ -1 (exp x)) (exp x)))) (cbrt (- 2.0)))
  (/ (cbrt (- 2.0)) (sqrt (- (/ -1 (exp x)) (exp x))))
  (* (cbrt (- 2.0)) (cbrt (- 2.0)))
  (/ (cbrt (- 2.0)) (- (/ -1 (exp x)) (exp x)))
  (/ (* (cbrt (- 2.0)) (cbrt (- 2.0))) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (cbrt (- 2.0)) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (* (cbrt (- 2.0)) (cbrt (- 2.0))) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (cbrt (- 2.0)) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (* (cbrt (- 2.0)) (cbrt (- 2.0)))
  (/ (cbrt (- 2.0)) (- (/ -1 (exp x)) (exp x)))
  (/ (/ (sqrt (- 2.0)) (cbrt (- (/ -1 (exp x)) (exp x)))) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt (- 2.0)) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt (- 2.0)) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt (- 2.0)) (sqrt (- (/ -1 (exp x)) (exp x))))
  (sqrt (- 2.0))
  (/ (sqrt (- 2.0)) (- (/ -1 (exp x)) (exp x)))
  (/ (sqrt (- 2.0)) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (sqrt (- 2.0)) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (sqrt (- 2.0)) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (sqrt (- 2.0)) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (sqrt (- 2.0))
  (/ (sqrt (- 2.0)) (- (/ -1 (exp x)) (exp x)))
  (/ 1 (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ (- 2.0) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ 1 (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (- 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  1
  (- (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (/ 1 (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (- 2.0) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 1 (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (- (/ 2.0 (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x)))))
  1
  (- (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (/ (/ -1 (cbrt (- (/ -1 (exp x)) (exp x)))) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ 2.0 (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ -1 (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ 2.0 (sqrt (- (/ -1 (exp x)) (exp x))))
  -1
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (/ -1 (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 2.0 (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ -1 (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ 2.0 (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  -1
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (- (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (cbrt (- (/ -1 (exp x)) (exp x)))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ (cbrt 2.0) (cbrt (- (/ -1 (exp x)) (exp x))))
  (- (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (- (/ -1 (exp x)) (exp x)))))
  (/ (cbrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (- (* (cbrt 2.0) (cbrt 2.0)))
  (/ (cbrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (- (/ (* (cbrt 2.0) (cbrt 2.0)) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x)))))
  (/ (cbrt 2.0) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (- (/ (* (cbrt 2.0) (cbrt 2.0)) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x)))))
  (/ (cbrt 2.0) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (- (* (cbrt 2.0) (cbrt 2.0)))
  (/ (cbrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (/ (- (sqrt 2.0)) (cbrt (- (/ -1 (exp x)) (exp x)))) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt 2.0) (cbrt (- (/ -1 (exp x)) (exp x))))
  (- (/ (sqrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x)))))
  (/ (sqrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (- (sqrt 2.0))
  (/ (sqrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (- (/ (sqrt 2.0) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x)))))
  (/ (sqrt 2.0) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (- (/ (sqrt 2.0) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x)))))
  (/ (sqrt 2.0) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (- (sqrt 2.0))
  (/ (sqrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (/ -1 (cbrt (- (/ -1 (exp x)) (exp x)))) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ 2.0 (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ -1 (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ 2.0 (sqrt (- (/ -1 (exp x)) (exp x))))
  -1
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (/ -1 (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 2.0 (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ -1 (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ 2.0 (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  -1
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (/ (/ (* (cbrt 2.0) (cbrt 2.0)) (cbrt (- (/ -1 (exp x)) (exp x)))) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (- (cbrt 2.0)) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (- (cbrt 2.0)) (sqrt (- (/ -1 (exp x)) (exp x))))
  (* (cbrt 2.0) (cbrt 2.0))
  (- (/ (cbrt 2.0) (- (/ -1 (exp x)) (exp x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (- (cbrt 2.0)) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (cbrt 2.0) (/ (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))) (cbrt 2.0)))
  (- (/ (cbrt 2.0) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x)))))
  (* (cbrt 2.0) (cbrt 2.0))
  (- (/ (cbrt 2.0) (- (/ -1 (exp x)) (exp x))))
  (/ (/ (sqrt 2.0) (cbrt (- (/ -1 (exp x)) (exp x)))) (cbrt (- (/ -1 (exp x)) (exp x))))
  (- (/ (sqrt 2.0) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ (sqrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (- (/ (sqrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x)))))
  (sqrt 2.0)
  (/ (- (sqrt 2.0)) (- (/ -1 (exp x)) (exp x)))
  (/ (sqrt 2.0) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (- (sqrt 2.0)) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (sqrt 2.0) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (- (sqrt 2.0)) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (sqrt 2.0)
  (/ (- (sqrt 2.0)) (- (/ -1 (exp x)) (exp x)))
  (/ 1 (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ (- 2.0) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ 1 (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (- 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  1
  (- (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (/ 1 (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (- 2.0) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 1 (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (- (/ 2.0 (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x)))))
  1
  (- (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (/ 1 (- (/ -1 (exp x)) (exp x)))
  (/ (- (/ -1 (exp x)) (exp x)) (- 2.0))
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (/ (/ (- 2.0) (cbrt (- (/ -1 (exp x)) (exp x)))) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (- 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (- 2.0)
  (/ (- 2.0) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (- 2.0) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (- 2.0)
  (/ (- (/ -1 (exp x)) (exp x)) (cbrt (- 2.0)))
  (/ (- (/ -1 (exp x)) (exp x)) (sqrt (- 2.0)))
  (/ (- (/ -1 (exp x)) (exp x)) (- 2.0))
  (/ (- (/ -1 (exp x)) (exp x)) 2.0)
  (/ (- (/ -1 (exp x)) (exp x)) (cbrt 2.0))
  (/ (- (/ -1 (exp x)) (exp x)) (sqrt 2.0))
  (/ (- (/ -1 (exp x)) (exp x)) 2.0)
  (/ (- (/ -1 (exp x)) (exp x)) (- (cbrt 2.0)))
  (/ (- (/ -1 (exp x)) (exp x)) (- (sqrt 2.0)))
  (/ (- (/ -1 (exp x)) (exp x)) (- 2.0))
  (/ (- 2.0) (- (/ -1 (pow (exp x) 3)) (pow (exp x) 3)))
  (/ (- 2.0) (- (exp (- (- x) x)) (exp (+ x x))))
  (- (pow (cbrt (/ -1 (exp x))) 3) (exp x))
  (* (exp x) 0)
  (- (pow (cbrt (/ -1 (exp x))) 3) (exp x))
  (* (exp x) 0)
  (- (pow (cbrt (/ -1 (exp x))) 3) (exp x))
  (* (exp x) 0)
  (- (/ -1 (exp x)) (exp x))
  (* (exp x) 0)
  (- (/ -1 (exp x)) (exp x))
  (* (exp x) 0)
  (- (/ -1 (exp x)) (exp x))
  (* (exp x) 0)
  (- (pow (/ (cbrt -1) (cbrt (exp x))) 3) (exp x))
  (* (exp x) 0)
  (- (pow (/ (cbrt -1) (cbrt (exp x))) 3) (exp x))
  (* (exp x) 0)
  (- (pow (/ (cbrt -1) (cbrt (exp x))) 3) (exp x))
  (* (exp x) 0)
  (- (pow (/ (cbrt -1) (cbrt (exp x))) 3) (exp x))
  (* (exp x) 0)
  (- (pow (/ (cbrt -1) (cbrt (exp x))) 3) (exp x))
  (* (exp x) 0)
  (- (pow (/ (cbrt -1) (cbrt (exp x))) 3) (exp x))
  (* (exp x) 0)
  (- (pow (/ (cbrt -1) (cbrt (exp x))) 3) (exp x))
  (* (exp x) 0)
  (- (pow (/ (cbrt -1) (cbrt (exp x))) 3) (exp x))
  (* (exp x) 0)
  (- (pow (/ (cbrt -1) (cbrt (exp x))) 3) (exp x))
  (* (exp x) 0)
  (fma (/ (/ (sqrt -1) (cbrt (exp x))) (cbrt (exp x))) (/ (sqrt -1) (cbrt (exp x))) (- (exp x)))
  (* (exp x) 0)
  (fma (/ (/ (sqrt -1) (cbrt (exp x))) (cbrt (exp x))) (/ (sqrt -1) (cbrt (exp x))) (- (exp x)))
  (* (exp x) 0)
  (fma (/ (/ (sqrt -1) (cbrt (exp x))) (cbrt (exp x))) (/ (sqrt -1) (cbrt (exp x))) (- (exp x)))
  (* (exp x) 0)
  (- (* (/ (sqrt -1) (sqrt (exp x))) (/ (sqrt -1) (sqrt (exp x)))) (exp x))
  (* (exp x) 0)
  (- (* (/ (sqrt -1) (sqrt (exp x))) (/ (sqrt -1) (sqrt (exp x)))) (exp x))
  (* (exp x) 0)
  (- (* (/ (sqrt -1) (sqrt (exp x))) (/ (sqrt -1) (sqrt (exp x)))) (exp x))
  (* (exp x) 0)
  (- (/ -1 (exp x)) (exp x))
  (* (exp x) 0)
  (- (/ -1 (exp x)) (exp x))
  (* (exp x) 0)
  (- (/ -1 (exp x)) (exp x))
  (* (exp x) 0)
  (fma (/ -1 (cbrt (exp x))) (/ (/ 1 (cbrt (exp x))) (cbrt (exp x))) (- (exp x)))
  (* (exp x) 0)
  (fma (/ -1 (cbrt (exp x))) (/ (/ 1 (cbrt (exp x))) (cbrt (exp x))) (- (exp x)))
  (* (exp x) 0)
  (fma (/ -1 (cbrt (exp x))) (/ (/ 1 (cbrt (exp x))) (cbrt (exp x))) (- (exp x)))
  (* (exp x) 0)
  (fma (/ 1 (sqrt (exp x))) (/ -1 (sqrt (exp x))) (- (exp x)))
  (* (exp x) 0)
  (fma (/ 1 (sqrt (exp x))) (/ -1 (sqrt (exp x))) (- (exp x)))
  (* (exp x) 0)
  (fma (/ 1 (sqrt (exp x))) (/ -1 (sqrt (exp x))) (- (exp x)))
  (* (exp x) 0)
  (- (/ -1 (exp x)) (exp x))
  (* (exp x) 0)
  (- (/ -1 (exp x)) (exp x))
  (* (exp x) 0)
  (- (/ -1 (exp x)) (exp x))
  (* (exp x) 0)
  (- (/ -1 (exp x)) (exp x))
  (* (exp x) 0)
  (- (/ -1 (exp x)) (exp x))
  (* (exp x) 0)
  (- (/ -1 (exp x)) (exp x))
  (* (exp x) 0)
  (- (/ -1 (exp x)) (exp x))
  (* (exp x) 0)
  (- (/ -1 (exp x)) (exp x))
  (* (exp x) 0)
  (- (/ -1 (exp x)) (exp x))
  (* (exp x) 0)
  (expm1 (- (/ -1 (exp x)) (exp x)))
  (log1p (- (/ -1 (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 (- (/ -1 (exp x)) (exp x)))
  (log (- (/ -1 (exp x)) (exp x)))
  (exp (- (/ -1 (exp x)) (exp x)))
  (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x))))
  (cbrt (- (/ -1 (exp x)) (exp x)))
  (pow (- (/ -1 (exp x)) (exp x)) 3)
  (sqrt (- (/ -1 (exp x)) (exp x)))
  (sqrt (- (/ -1 (exp x)) (exp x)))
  (- (/ -1 (pow (exp x) 3)) (pow (exp x) 3))
  (fma (exp x) (+ (/ -1 (exp x)) (exp x)) (exp (- (- x) x)))
  (- (exp x))
  (- (exp (- (- x) x)) (exp (+ x x)))
  (+ (/ -1 (exp x)) (exp x))
  (+ (sqrt (/ -1 (exp x))) (sqrt (exp x)))
  (- (sqrt (/ -1 (exp x))) (sqrt (exp x)))
  (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x)))
  (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x)))
  (- (/ -1 (exp x)) (exp x))
  (- (exp x))
  (- x (fma 1/2 (* x x) 1))
  (/ -1 (exp x))
  (/ -1 (exp x))
  (fma (pow x 4) 0.20833333333333334 (- 1.0 (* 0.5 (* x x))))
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 2.0 (+ (exp x) (exp (- x))))
  (- (fma x x (fma (pow x 4) 1/12 2)))
  (- (/ -1 (exp x)) (exp x))
  (- (/ -1 (exp x)) (exp x))
3.603 * * * [progress]: adding candidates to table
4.223 * * [progress]: iteration 3 / 4
4.223 * * * [progress]: picking best candidate
4.228 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (- (/ 2.0 (- (/ -1 (exp x)) (exp x))))) (sqrt (- (/ 2.0 (- (/ -1 (exp x)) (exp x)))))))>
4.229 * * * [progress]: localizing error
4.254 * * * [progress]: generating rewritten candidates
4.254 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2 1)
4.267 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
4.275 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
4.314 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
4.367 * * * [progress]: generating series expansions
4.367 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2 1)
4.367 * [backup-simplify]: Simplify (/ -1 (exp x)) into (/ -1 (exp x))
4.367 * [approximate]: Taking taylor expansion of (/ -1 (exp x)) in (x) around 0
4.367 * [taylor]: Taking taylor expansion of (/ -1 (exp x)) in x
4.367 * [taylor]: Taking taylor expansion of -1 in x
4.367 * [backup-simplify]: Simplify -1 into -1
4.367 * [taylor]: Taking taylor expansion of (exp x) in x
4.367 * [taylor]: Taking taylor expansion of x in x
4.367 * [backup-simplify]: Simplify 0 into 0
4.367 * [backup-simplify]: Simplify 1 into 1
4.367 * [backup-simplify]: Simplify (exp 0) into 1
4.368 * [backup-simplify]: Simplify (/ -1 1) into -1
4.368 * [taylor]: Taking taylor expansion of (/ -1 (exp x)) in x
4.368 * [taylor]: Taking taylor expansion of -1 in x
4.368 * [backup-simplify]: Simplify -1 into -1
4.368 * [taylor]: Taking taylor expansion of (exp x) in x
4.368 * [taylor]: Taking taylor expansion of x in x
4.368 * [backup-simplify]: Simplify 0 into 0
4.368 * [backup-simplify]: Simplify 1 into 1
4.368 * [backup-simplify]: Simplify (exp 0) into 1
4.369 * [backup-simplify]: Simplify (/ -1 1) into -1
4.369 * [backup-simplify]: Simplify -1 into -1
4.370 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.371 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)))) into 1
4.371 * [backup-simplify]: Simplify 1 into 1
4.372 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.373 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 1/2 1)) (* 1 (/ 1 1)))) into -1/2
4.373 * [backup-simplify]: Simplify -1/2 into -1/2
4.374 * [backup-simplify]: Simplify (+ (* -1/2 (pow x 2)) (+ (* 1 x) -1)) into (- x (+ (* 1/2 (pow x 2)) 1))
4.374 * [backup-simplify]: Simplify (/ -1 (exp (/ 1 x))) into (/ -1 (exp (/ 1 x)))
4.374 * [approximate]: Taking taylor expansion of (/ -1 (exp (/ 1 x))) in (x) around 0
4.374 * [taylor]: Taking taylor expansion of (/ -1 (exp (/ 1 x))) in x
4.374 * [taylor]: Taking taylor expansion of -1 in x
4.374 * [backup-simplify]: Simplify -1 into -1
4.374 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.374 * [taylor]: Taking taylor expansion of x in x
4.374 * [backup-simplify]: Simplify 0 into 0
4.374 * [backup-simplify]: Simplify 1 into 1
4.374 * [backup-simplify]: Simplify (/ 1 1) into 1
4.375 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.375 * [backup-simplify]: Simplify (/ -1 (exp (/ 1 x))) into (/ -1 (exp (/ 1 x)))
4.375 * [taylor]: Taking taylor expansion of (/ -1 (exp (/ 1 x))) in x
4.375 * [taylor]: Taking taylor expansion of -1 in x
4.375 * [backup-simplify]: Simplify -1 into -1
4.375 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.375 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.375 * [taylor]: Taking taylor expansion of x in x
4.375 * [backup-simplify]: Simplify 0 into 0
4.375 * [backup-simplify]: Simplify 1 into 1
4.375 * [backup-simplify]: Simplify (/ 1 1) into 1
4.375 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.375 * [backup-simplify]: Simplify (/ -1 (exp (/ 1 x))) into (/ -1 (exp (/ 1 x)))
4.376 * [backup-simplify]: Simplify (/ -1 (exp (/ 1 x))) into (/ -1 (exp (/ 1 x)))
4.376 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
4.376 * [backup-simplify]: Simplify 0 into 0
4.376 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.376 * [backup-simplify]: Simplify 0 into 0
4.377 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.377 * [backup-simplify]: Simplify 0 into 0
4.377 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.377 * [backup-simplify]: Simplify 0 into 0
4.378 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.378 * [backup-simplify]: Simplify 0 into 0
4.379 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.379 * [backup-simplify]: Simplify 0 into 0
4.379 * [backup-simplify]: Simplify (/ -1 (exp (/ 1 (/ 1 x)))) into (/ -1 (exp x))
4.379 * [backup-simplify]: Simplify (/ -1 (exp (/ 1 (- x)))) into (/ -1 (exp (/ -1 x)))
4.379 * [approximate]: Taking taylor expansion of (/ -1 (exp (/ -1 x))) in (x) around 0
4.379 * [taylor]: Taking taylor expansion of (/ -1 (exp (/ -1 x))) in x
4.379 * [taylor]: Taking taylor expansion of -1 in x
4.379 * [backup-simplify]: Simplify -1 into -1
4.379 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.379 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.379 * [taylor]: Taking taylor expansion of -1 in x
4.379 * [backup-simplify]: Simplify -1 into -1
4.379 * [taylor]: Taking taylor expansion of x in x
4.379 * [backup-simplify]: Simplify 0 into 0
4.379 * [backup-simplify]: Simplify 1 into 1
4.380 * [backup-simplify]: Simplify (/ -1 1) into -1
4.380 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.380 * [backup-simplify]: Simplify (/ -1 (exp (/ -1 x))) into (/ -1 (exp (/ -1 x)))
4.380 * [taylor]: Taking taylor expansion of (/ -1 (exp (/ -1 x))) in x
4.380 * [taylor]: Taking taylor expansion of -1 in x
4.380 * [backup-simplify]: Simplify -1 into -1
4.380 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.380 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.380 * [taylor]: Taking taylor expansion of -1 in x
4.380 * [backup-simplify]: Simplify -1 into -1
4.380 * [taylor]: Taking taylor expansion of x in x
4.380 * [backup-simplify]: Simplify 0 into 0
4.380 * [backup-simplify]: Simplify 1 into 1
4.381 * [backup-simplify]: Simplify (/ -1 1) into -1
4.381 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.381 * [backup-simplify]: Simplify (/ -1 (exp (/ -1 x))) into (/ -1 (exp (/ -1 x)))
4.381 * [backup-simplify]: Simplify (/ -1 (exp (/ -1 x))) into (/ -1 (exp (/ -1 x)))
4.381 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
4.381 * [backup-simplify]: Simplify 0 into 0
4.382 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.382 * [backup-simplify]: Simplify 0 into 0
4.382 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.382 * [backup-simplify]: Simplify 0 into 0
4.383 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.383 * [backup-simplify]: Simplify 0 into 0
4.383 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.383 * [backup-simplify]: Simplify 0 into 0
4.384 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.384 * [backup-simplify]: Simplify 0 into 0
4.384 * [backup-simplify]: Simplify (/ -1 (exp (/ -1 (/ 1 (- x))))) into (/ -1 (exp x))
4.384 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1)
4.384 * [backup-simplify]: Simplify (/ -1 (exp x)) into (/ -1 (exp x))
4.384 * [approximate]: Taking taylor expansion of (/ -1 (exp x)) in (x) around 0
4.384 * [taylor]: Taking taylor expansion of (/ -1 (exp x)) in x
4.384 * [taylor]: Taking taylor expansion of -1 in x
4.384 * [backup-simplify]: Simplify -1 into -1
4.384 * [taylor]: Taking taylor expansion of (exp x) in x
4.384 * [taylor]: Taking taylor expansion of x in x
4.384 * [backup-simplify]: Simplify 0 into 0
4.384 * [backup-simplify]: Simplify 1 into 1
4.384 * [backup-simplify]: Simplify (exp 0) into 1
4.385 * [backup-simplify]: Simplify (/ -1 1) into -1
4.385 * [taylor]: Taking taylor expansion of (/ -1 (exp x)) in x
4.385 * [taylor]: Taking taylor expansion of -1 in x
4.385 * [backup-simplify]: Simplify -1 into -1
4.385 * [taylor]: Taking taylor expansion of (exp x) in x
4.385 * [taylor]: Taking taylor expansion of x in x
4.385 * [backup-simplify]: Simplify 0 into 0
4.385 * [backup-simplify]: Simplify 1 into 1
4.385 * [backup-simplify]: Simplify (exp 0) into 1
4.386 * [backup-simplify]: Simplify (/ -1 1) into -1
4.386 * [backup-simplify]: Simplify -1 into -1
4.387 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.387 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)))) into 1
4.387 * [backup-simplify]: Simplify 1 into 1
4.389 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.390 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 1/2 1)) (* 1 (/ 1 1)))) into -1/2
4.390 * [backup-simplify]: Simplify -1/2 into -1/2
4.390 * [backup-simplify]: Simplify (+ (* -1/2 (pow x 2)) (+ (* 1 x) -1)) into (- x (+ (* 1/2 (pow x 2)) 1))
4.391 * [backup-simplify]: Simplify (/ -1 (exp (/ 1 x))) into (/ -1 (exp (/ 1 x)))
4.391 * [approximate]: Taking taylor expansion of (/ -1 (exp (/ 1 x))) in (x) around 0
4.391 * [taylor]: Taking taylor expansion of (/ -1 (exp (/ 1 x))) in x
4.391 * [taylor]: Taking taylor expansion of -1 in x
4.391 * [backup-simplify]: Simplify -1 into -1
4.391 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.391 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.391 * [taylor]: Taking taylor expansion of x in x
4.391 * [backup-simplify]: Simplify 0 into 0
4.391 * [backup-simplify]: Simplify 1 into 1
4.391 * [backup-simplify]: Simplify (/ 1 1) into 1
4.391 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.391 * [backup-simplify]: Simplify (/ -1 (exp (/ 1 x))) into (/ -1 (exp (/ 1 x)))
4.391 * [taylor]: Taking taylor expansion of (/ -1 (exp (/ 1 x))) in x
4.391 * [taylor]: Taking taylor expansion of -1 in x
4.391 * [backup-simplify]: Simplify -1 into -1
4.391 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.392 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.392 * [taylor]: Taking taylor expansion of x in x
4.392 * [backup-simplify]: Simplify 0 into 0
4.392 * [backup-simplify]: Simplify 1 into 1
4.392 * [backup-simplify]: Simplify (/ 1 1) into 1
4.392 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.392 * [backup-simplify]: Simplify (/ -1 (exp (/ 1 x))) into (/ -1 (exp (/ 1 x)))
4.392 * [backup-simplify]: Simplify (/ -1 (exp (/ 1 x))) into (/ -1 (exp (/ 1 x)))
4.393 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
4.393 * [backup-simplify]: Simplify 0 into 0
4.393 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.393 * [backup-simplify]: Simplify 0 into 0
4.394 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.394 * [backup-simplify]: Simplify 0 into 0
4.394 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.394 * [backup-simplify]: Simplify 0 into 0
4.395 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.395 * [backup-simplify]: Simplify 0 into 0
4.395 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 x))) (+ (* (/ -1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.395 * [backup-simplify]: Simplify 0 into 0
4.396 * [backup-simplify]: Simplify (/ -1 (exp (/ 1 (/ 1 x)))) into (/ -1 (exp x))
4.396 * [backup-simplify]: Simplify (/ -1 (exp (/ 1 (- x)))) into (/ -1 (exp (/ -1 x)))
4.396 * [approximate]: Taking taylor expansion of (/ -1 (exp (/ -1 x))) in (x) around 0
4.396 * [taylor]: Taking taylor expansion of (/ -1 (exp (/ -1 x))) in x
4.396 * [taylor]: Taking taylor expansion of -1 in x
4.396 * [backup-simplify]: Simplify -1 into -1
4.396 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.396 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.396 * [taylor]: Taking taylor expansion of -1 in x
4.396 * [backup-simplify]: Simplify -1 into -1
4.396 * [taylor]: Taking taylor expansion of x in x
4.396 * [backup-simplify]: Simplify 0 into 0
4.396 * [backup-simplify]: Simplify 1 into 1
4.396 * [backup-simplify]: Simplify (/ -1 1) into -1
4.397 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.397 * [backup-simplify]: Simplify (/ -1 (exp (/ -1 x))) into (/ -1 (exp (/ -1 x)))
4.397 * [taylor]: Taking taylor expansion of (/ -1 (exp (/ -1 x))) in x
4.397 * [taylor]: Taking taylor expansion of -1 in x
4.397 * [backup-simplify]: Simplify -1 into -1
4.397 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.397 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.397 * [taylor]: Taking taylor expansion of -1 in x
4.397 * [backup-simplify]: Simplify -1 into -1
4.397 * [taylor]: Taking taylor expansion of x in x
4.397 * [backup-simplify]: Simplify 0 into 0
4.397 * [backup-simplify]: Simplify 1 into 1
4.397 * [backup-simplify]: Simplify (/ -1 1) into -1
4.397 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.397 * [backup-simplify]: Simplify (/ -1 (exp (/ -1 x))) into (/ -1 (exp (/ -1 x)))
4.398 * [backup-simplify]: Simplify (/ -1 (exp (/ -1 x))) into (/ -1 (exp (/ -1 x)))
4.398 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
4.398 * [backup-simplify]: Simplify 0 into 0
4.399 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.399 * [backup-simplify]: Simplify 0 into 0
4.399 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.399 * [backup-simplify]: Simplify 0 into 0
4.400 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.400 * [backup-simplify]: Simplify 0 into 0
4.400 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.400 * [backup-simplify]: Simplify 0 into 0
4.401 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 x))) (+ (* (/ -1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.401 * [backup-simplify]: Simplify 0 into 0
4.401 * [backup-simplify]: Simplify (/ -1 (exp (/ -1 (/ 1 (- x))))) into (/ -1 (exp x))
4.401 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
4.401 * [backup-simplify]: Simplify (/ 2.0 (- (/ -1 (exp x)) (exp x))) into (/ -2.0 (+ (exp x) (/ 1 (exp x))))
4.401 * [approximate]: Taking taylor expansion of (/ -2.0 (+ (exp x) (/ 1 (exp x)))) in (x) around 0
4.401 * [taylor]: Taking taylor expansion of (/ -2.0 (+ (exp x) (/ 1 (exp x)))) in x
4.401 * [taylor]: Taking taylor expansion of -2.0 in x
4.401 * [backup-simplify]: Simplify -2.0 into -2.0
4.401 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x
4.402 * [taylor]: Taking taylor expansion of (exp x) in x
4.402 * [taylor]: Taking taylor expansion of x in x
4.402 * [backup-simplify]: Simplify 0 into 0
4.402 * [backup-simplify]: Simplify 1 into 1
4.402 * [backup-simplify]: Simplify (exp 0) into 1
4.402 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
4.402 * [taylor]: Taking taylor expansion of (exp x) in x
4.402 * [taylor]: Taking taylor expansion of x in x
4.402 * [backup-simplify]: Simplify 0 into 0
4.402 * [backup-simplify]: Simplify 1 into 1
4.402 * [backup-simplify]: Simplify (exp 0) into 1
4.402 * [backup-simplify]: Simplify (/ 1 1) into 1
4.403 * [backup-simplify]: Simplify (+ 1 1) into 2
4.403 * [backup-simplify]: Simplify (/ -2.0 2) into -1.0
4.403 * [taylor]: Taking taylor expansion of (/ -2.0 (+ (exp x) (/ 1 (exp x)))) in x
4.403 * [taylor]: Taking taylor expansion of -2.0 in x
4.403 * [backup-simplify]: Simplify -2.0 into -2.0
4.403 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x
4.403 * [taylor]: Taking taylor expansion of (exp x) in x
4.403 * [taylor]: Taking taylor expansion of x in x
4.403 * [backup-simplify]: Simplify 0 into 0
4.403 * [backup-simplify]: Simplify 1 into 1
4.403 * [backup-simplify]: Simplify (exp 0) into 1
4.403 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
4.403 * [taylor]: Taking taylor expansion of (exp x) in x
4.403 * [taylor]: Taking taylor expansion of x in x
4.403 * [backup-simplify]: Simplify 0 into 0
4.403 * [backup-simplify]: Simplify 1 into 1
4.403 * [backup-simplify]: Simplify (exp 0) into 1
4.404 * [backup-simplify]: Simplify (/ 1 1) into 1
4.404 * [backup-simplify]: Simplify (+ 1 1) into 2
4.404 * [backup-simplify]: Simplify (/ -2.0 2) into -1.0
4.405 * [backup-simplify]: Simplify -1.0 into -1.0
4.405 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.406 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
4.407 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.408 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* -1.0 (/ 0 2)))) into 0
4.408 * [backup-simplify]: Simplify 0 into 0
4.410 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.411 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
4.412 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
4.416 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* -1.0 (/ 1 2)) (* 0 (/ 0 2)))) into 0.5
4.416 * [backup-simplify]: Simplify 0.5 into 0.5
4.418 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
4.420 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
4.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/6 1)) (* -1 (/ 1/2 1)) (* 1/2 (/ 1 1)))) into -1/6
4.421 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
4.422 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* -1.0 (/ 0 2)) (* 0 (/ 1 2)) (* 0.5 (/ 0 2)))) into 0
4.423 * [backup-simplify]: Simplify 0 into 0
4.426 * [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
4.429 * [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
4.431 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/24 1)) (* -1 (/ 1/6 1)) (* 1/2 (/ 1/2 1)) (* -1/6 (/ 1 1)))) into 1/24
4.432 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
4.437 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* -1.0 (/ 1/12 2)) (* 0 (/ 0 2)) (* 0.5 (/ 1 2)) (* 0 (/ 0 2)))) into (- 0.20833333333333334)
4.438 * [backup-simplify]: Simplify (- 0.20833333333333334) into (- 0.20833333333333334)
4.439 * [backup-simplify]: Simplify (+ (* (- 0.20833333333333334) (pow x 4)) (+ (* 0.5 (pow x 2)) -1.0)) into (- (* 0.5 (pow x 2)) (+ (* 0.20833333333333334 (pow x 4)) 1.0))
4.439 * [backup-simplify]: Simplify (/ 2.0 (- (/ -1 (exp (/ 1 x))) (exp (/ 1 x)))) into (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))
4.439 * [approximate]: Taking taylor expansion of (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) in (x) around 0
4.439 * [taylor]: Taking taylor expansion of (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) in x
4.439 * [taylor]: Taking taylor expansion of -2.0 in x
4.439 * [backup-simplify]: Simplify -2.0 into -2.0
4.439 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) in x
4.439 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.439 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.439 * [taylor]: Taking taylor expansion of x in x
4.439 * [backup-simplify]: Simplify 0 into 0
4.439 * [backup-simplify]: Simplify 1 into 1
4.439 * [backup-simplify]: Simplify (/ 1 1) into 1
4.440 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.440 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
4.440 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.440 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.440 * [taylor]: Taking taylor expansion of x in x
4.440 * [backup-simplify]: Simplify 0 into 0
4.440 * [backup-simplify]: Simplify 1 into 1
4.440 * [backup-simplify]: Simplify (/ 1 1) into 1
4.440 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.440 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
4.440 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) into (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))
4.441 * [backup-simplify]: Simplify (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) into (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))
4.441 * [taylor]: Taking taylor expansion of (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) in x
4.441 * [taylor]: Taking taylor expansion of -2.0 in x
4.441 * [backup-simplify]: Simplify -2.0 into -2.0
4.441 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) in x
4.441 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.441 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.441 * [taylor]: Taking taylor expansion of x in x
4.441 * [backup-simplify]: Simplify 0 into 0
4.441 * [backup-simplify]: Simplify 1 into 1
4.441 * [backup-simplify]: Simplify (/ 1 1) into 1
4.441 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.441 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
4.441 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.441 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.441 * [taylor]: Taking taylor expansion of x in x
4.441 * [backup-simplify]: Simplify 0 into 0
4.441 * [backup-simplify]: Simplify 1 into 1
4.442 * [backup-simplify]: Simplify (/ 1 1) into 1
4.442 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.442 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
4.442 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) into (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))
4.442 * [backup-simplify]: Simplify (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) into (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))
4.442 * [backup-simplify]: Simplify (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) into (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))
4.443 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
4.443 * [backup-simplify]: Simplify (+ 0 0) into 0
4.444 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (+ (* (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))) into 0
4.444 * [backup-simplify]: Simplify 0 into 0
4.444 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.444 * [backup-simplify]: Simplify (+ 0 0) into 0
4.445 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (+ (* (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))) into 0
4.445 * [backup-simplify]: Simplify 0 into 0
4.446 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.446 * [backup-simplify]: Simplify (+ 0 0) into 0
4.447 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (+ (* (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))) into 0
4.447 * [backup-simplify]: Simplify 0 into 0
4.448 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.448 * [backup-simplify]: Simplify (+ 0 0) into 0
4.449 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (+ (* (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))) into 0
4.449 * [backup-simplify]: Simplify 0 into 0
4.450 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.450 * [backup-simplify]: Simplify (+ 0 0) into 0
4.452 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (+ (* (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))) into 0
4.452 * [backup-simplify]: Simplify 0 into 0
4.452 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.453 * [backup-simplify]: Simplify (+ 0 0) into 0
4.454 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (+ (* (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))) into 0
4.454 * [backup-simplify]: Simplify 0 into 0
4.454 * [backup-simplify]: Simplify (/ -2.0 (+ (exp (/ 1 (/ 1 x))) (/ 1 (exp (/ 1 (/ 1 x)))))) into (/ -2.0 (+ (exp x) (/ 1 (exp x))))
4.454 * [backup-simplify]: Simplify (/ 2.0 (- (/ -1 (exp (/ 1 (- x)))) (exp (/ 1 (- x))))) into (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))
4.454 * [approximate]: Taking taylor expansion of (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) in (x) around 0
4.454 * [taylor]: Taking taylor expansion of (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) in x
4.454 * [taylor]: Taking taylor expansion of -2.0 in x
4.455 * [backup-simplify]: Simplify -2.0 into -2.0
4.455 * [taylor]: Taking taylor expansion of (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) in x
4.455 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
4.455 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.455 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.455 * [taylor]: Taking taylor expansion of -1 in x
4.455 * [backup-simplify]: Simplify -1 into -1
4.455 * [taylor]: Taking taylor expansion of x in x
4.455 * [backup-simplify]: Simplify 0 into 0
4.455 * [backup-simplify]: Simplify 1 into 1
4.455 * [backup-simplify]: Simplify (/ -1 1) into -1
4.455 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.455 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
4.455 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.455 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.455 * [taylor]: Taking taylor expansion of -1 in x
4.455 * [backup-simplify]: Simplify -1 into -1
4.455 * [taylor]: Taking taylor expansion of x in x
4.455 * [backup-simplify]: Simplify 0 into 0
4.456 * [backup-simplify]: Simplify 1 into 1
4.456 * [backup-simplify]: Simplify (/ -1 1) into -1
4.456 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.456 * [backup-simplify]: Simplify (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) into (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))
4.456 * [backup-simplify]: Simplify (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) into (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))
4.456 * [taylor]: Taking taylor expansion of (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) in x
4.456 * [taylor]: Taking taylor expansion of -2.0 in x
4.456 * [backup-simplify]: Simplify -2.0 into -2.0
4.456 * [taylor]: Taking taylor expansion of (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) in x
4.456 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
4.456 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.457 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.457 * [taylor]: Taking taylor expansion of -1 in x
4.457 * [backup-simplify]: Simplify -1 into -1
4.457 * [taylor]: Taking taylor expansion of x in x
4.457 * [backup-simplify]: Simplify 0 into 0
4.457 * [backup-simplify]: Simplify 1 into 1
4.457 * [backup-simplify]: Simplify (/ -1 1) into -1
4.457 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.457 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
4.457 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.457 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.457 * [taylor]: Taking taylor expansion of -1 in x
4.457 * [backup-simplify]: Simplify -1 into -1
4.457 * [taylor]: Taking taylor expansion of x in x
4.457 * [backup-simplify]: Simplify 0 into 0
4.457 * [backup-simplify]: Simplify 1 into 1
4.458 * [backup-simplify]: Simplify (/ -1 1) into -1
4.458 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.458 * [backup-simplify]: Simplify (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) into (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))
4.458 * [backup-simplify]: Simplify (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) into (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))
4.458 * [backup-simplify]: Simplify (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) into (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))
4.459 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
4.459 * [backup-simplify]: Simplify (+ 0 0) into 0
4.459 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (+ (* (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))) into 0
4.459 * [backup-simplify]: Simplify 0 into 0
4.459 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.460 * [backup-simplify]: Simplify (+ 0 0) into 0
4.460 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (+ (* (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))) into 0
4.460 * [backup-simplify]: Simplify 0 into 0
4.460 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.460 * [backup-simplify]: Simplify (+ 0 0) into 0
4.461 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (+ (* (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))) into 0
4.461 * [backup-simplify]: Simplify 0 into 0
4.461 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.462 * [backup-simplify]: Simplify (+ 0 0) into 0
4.462 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (+ (* (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))) into 0
4.462 * [backup-simplify]: Simplify 0 into 0
4.462 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.463 * [backup-simplify]: Simplify (+ 0 0) into 0
4.463 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (+ (* (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))) into 0
4.464 * [backup-simplify]: Simplify 0 into 0
4.464 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.464 * [backup-simplify]: Simplify (+ 0 0) into 0
4.466 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (+ (* (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))) into 0
4.466 * [backup-simplify]: Simplify 0 into 0
4.466 * [backup-simplify]: Simplify (/ -2.0 (+ (/ 1 (exp (/ -1 (/ 1 (- x))))) (exp (/ -1 (/ 1 (- x)))))) into (/ -2.0 (+ (exp x) (/ 1 (exp x))))
4.466 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
4.466 * [backup-simplify]: Simplify (/ 2.0 (- (/ -1 (exp x)) (exp x))) into (/ -2.0 (+ (exp x) (/ 1 (exp x))))
4.466 * [approximate]: Taking taylor expansion of (/ -2.0 (+ (exp x) (/ 1 (exp x)))) in (x) around 0
4.466 * [taylor]: Taking taylor expansion of (/ -2.0 (+ (exp x) (/ 1 (exp x)))) in x
4.466 * [taylor]: Taking taylor expansion of -2.0 in x
4.466 * [backup-simplify]: Simplify -2.0 into -2.0
4.466 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x
4.466 * [taylor]: Taking taylor expansion of (exp x) in x
4.466 * [taylor]: Taking taylor expansion of x in x
4.466 * [backup-simplify]: Simplify 0 into 0
4.466 * [backup-simplify]: Simplify 1 into 1
4.466 * [backup-simplify]: Simplify (exp 0) into 1
4.467 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
4.467 * [taylor]: Taking taylor expansion of (exp x) in x
4.467 * [taylor]: Taking taylor expansion of x in x
4.467 * [backup-simplify]: Simplify 0 into 0
4.467 * [backup-simplify]: Simplify 1 into 1
4.467 * [backup-simplify]: Simplify (exp 0) into 1
4.467 * [backup-simplify]: Simplify (/ 1 1) into 1
4.467 * [backup-simplify]: Simplify (+ 1 1) into 2
4.468 * [backup-simplify]: Simplify (/ -2.0 2) into -1.0
4.468 * [taylor]: Taking taylor expansion of (/ -2.0 (+ (exp x) (/ 1 (exp x)))) in x
4.468 * [taylor]: Taking taylor expansion of -2.0 in x
4.468 * [backup-simplify]: Simplify -2.0 into -2.0
4.468 * [taylor]: Taking taylor expansion of (+ (exp x) (/ 1 (exp x))) in x
4.468 * [taylor]: Taking taylor expansion of (exp x) in x
4.468 * [taylor]: Taking taylor expansion of x in x
4.468 * [backup-simplify]: Simplify 0 into 0
4.468 * [backup-simplify]: Simplify 1 into 1
4.468 * [backup-simplify]: Simplify (exp 0) into 1
4.468 * [taylor]: Taking taylor expansion of (/ 1 (exp x)) in x
4.468 * [taylor]: Taking taylor expansion of (exp x) in x
4.468 * [taylor]: Taking taylor expansion of x in x
4.468 * [backup-simplify]: Simplify 0 into 0
4.468 * [backup-simplify]: Simplify 1 into 1
4.468 * [backup-simplify]: Simplify (exp 0) into 1
4.468 * [backup-simplify]: Simplify (/ 1 1) into 1
4.469 * [backup-simplify]: Simplify (+ 1 1) into 2
4.469 * [backup-simplify]: Simplify (/ -2.0 2) into -1.0
4.469 * [backup-simplify]: Simplify -1.0 into -1.0
4.470 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.471 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.472 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
4.472 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.473 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* -1.0 (/ 0 2)))) into 0
4.473 * [backup-simplify]: Simplify 0 into 0
4.474 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.476 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.477 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
4.477 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
4.481 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* -1.0 (/ 1 2)) (* 0 (/ 0 2)))) into 0.5
4.481 * [backup-simplify]: Simplify 0.5 into 0.5
4.483 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
4.485 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
4.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/6 1)) (* -1 (/ 1/2 1)) (* 1/2 (/ 1 1)))) into -1/6
4.486 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
4.488 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* -1.0 (/ 0 2)) (* 0 (/ 1 2)) (* 0.5 (/ 0 2)))) into 0
4.488 * [backup-simplify]: Simplify 0 into 0
4.491 * [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
4.499 * [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
4.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/24 1)) (* -1 (/ 1/6 1)) (* 1/2 (/ 1/2 1)) (* -1/6 (/ 1 1)))) into 1/24
4.502 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
4.508 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* -1.0 (/ 1/12 2)) (* 0 (/ 0 2)) (* 0.5 (/ 1 2)) (* 0 (/ 0 2)))) into (- 0.20833333333333334)
4.508 * [backup-simplify]: Simplify (- 0.20833333333333334) into (- 0.20833333333333334)
4.509 * [backup-simplify]: Simplify (+ (* (- 0.20833333333333334) (pow x 4)) (+ (* 0.5 (pow x 2)) -1.0)) into (- (* 0.5 (pow x 2)) (+ (* 0.20833333333333334 (pow x 4)) 1.0))
4.509 * [backup-simplify]: Simplify (/ 2.0 (- (/ -1 (exp (/ 1 x))) (exp (/ 1 x)))) into (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))
4.509 * [approximate]: Taking taylor expansion of (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) in (x) around 0
4.509 * [taylor]: Taking taylor expansion of (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) in x
4.509 * [taylor]: Taking taylor expansion of -2.0 in x
4.509 * [backup-simplify]: Simplify -2.0 into -2.0
4.509 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) in x
4.510 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.510 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.510 * [taylor]: Taking taylor expansion of x in x
4.510 * [backup-simplify]: Simplify 0 into 0
4.510 * [backup-simplify]: Simplify 1 into 1
4.510 * [backup-simplify]: Simplify (/ 1 1) into 1
4.510 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.510 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
4.510 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.510 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.510 * [taylor]: Taking taylor expansion of x in x
4.510 * [backup-simplify]: Simplify 0 into 0
4.510 * [backup-simplify]: Simplify 1 into 1
4.511 * [backup-simplify]: Simplify (/ 1 1) into 1
4.511 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.511 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
4.511 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) into (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))
4.511 * [backup-simplify]: Simplify (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) into (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))
4.511 * [taylor]: Taking taylor expansion of (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) in x
4.511 * [taylor]: Taking taylor expansion of -2.0 in x
4.511 * [backup-simplify]: Simplify -2.0 into -2.0
4.511 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) in x
4.511 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.511 * [taylor]: Taking taylor expansion of x in x
4.511 * [backup-simplify]: Simplify 0 into 0
4.511 * [backup-simplify]: Simplify 1 into 1
4.512 * [backup-simplify]: Simplify (/ 1 1) into 1
4.512 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.512 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 x))) in x
4.512 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.512 * [taylor]: Taking taylor expansion of x in x
4.512 * [backup-simplify]: Simplify 0 into 0
4.512 * [backup-simplify]: Simplify 1 into 1
4.512 * [backup-simplify]: Simplify (/ 1 1) into 1
4.512 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.512 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 x))) into (/ 1 (exp (/ 1 x)))
4.513 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))) into (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))
4.513 * [backup-simplify]: Simplify (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) into (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))
4.513 * [backup-simplify]: Simplify (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) into (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))
4.513 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))))) into 0
4.514 * [backup-simplify]: Simplify (+ 0 0) into 0
4.514 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (+ (* (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))) into 0
4.514 * [backup-simplify]: Simplify 0 into 0
4.515 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.515 * [backup-simplify]: Simplify (+ 0 0) into 0
4.516 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (+ (* (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))) into 0
4.516 * [backup-simplify]: Simplify 0 into 0
4.516 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.516 * [backup-simplify]: Simplify (+ 0 0) into 0
4.517 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (+ (* (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))) into 0
4.517 * [backup-simplify]: Simplify 0 into 0
4.518 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.518 * [backup-simplify]: Simplify (+ 0 0) into 0
4.519 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (+ (* (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))) into 0
4.519 * [backup-simplify]: Simplify 0 into 0
4.520 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.520 * [backup-simplify]: Simplify (+ 0 0) into 0
4.521 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (+ (* (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))) into 0
4.521 * [backup-simplify]: Simplify 0 into 0
4.522 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 x))) (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))) (* 0 (/ 0 (exp (/ 1 x)))))) into 0
4.522 * [backup-simplify]: Simplify (+ 0 0) into 0
4.524 * [backup-simplify]: Simplify (- (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (+ (* (/ -2.0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (/ 1 (exp (/ 1 x)))))))) into 0
4.524 * [backup-simplify]: Simplify 0 into 0
4.524 * [backup-simplify]: Simplify (/ -2.0 (+ (exp (/ 1 (/ 1 x))) (/ 1 (exp (/ 1 (/ 1 x)))))) into (/ -2.0 (+ (exp x) (/ 1 (exp x))))
4.524 * [backup-simplify]: Simplify (/ 2.0 (- (/ -1 (exp (/ 1 (- x)))) (exp (/ 1 (- x))))) into (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))
4.524 * [approximate]: Taking taylor expansion of (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) in (x) around 0
4.524 * [taylor]: Taking taylor expansion of (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) in x
4.524 * [taylor]: Taking taylor expansion of -2.0 in x
4.524 * [backup-simplify]: Simplify -2.0 into -2.0
4.524 * [taylor]: Taking taylor expansion of (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) in x
4.525 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
4.525 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.525 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.525 * [taylor]: Taking taylor expansion of -1 in x
4.525 * [backup-simplify]: Simplify -1 into -1
4.525 * [taylor]: Taking taylor expansion of x in x
4.525 * [backup-simplify]: Simplify 0 into 0
4.525 * [backup-simplify]: Simplify 1 into 1
4.525 * [backup-simplify]: Simplify (/ -1 1) into -1
4.525 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.525 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
4.525 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.525 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.525 * [taylor]: Taking taylor expansion of -1 in x
4.525 * [backup-simplify]: Simplify -1 into -1
4.525 * [taylor]: Taking taylor expansion of x in x
4.525 * [backup-simplify]: Simplify 0 into 0
4.525 * [backup-simplify]: Simplify 1 into 1
4.526 * [backup-simplify]: Simplify (/ -1 1) into -1
4.526 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.526 * [backup-simplify]: Simplify (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) into (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))
4.526 * [backup-simplify]: Simplify (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) into (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))
4.526 * [taylor]: Taking taylor expansion of (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) in x
4.526 * [taylor]: Taking taylor expansion of -2.0 in x
4.526 * [backup-simplify]: Simplify -2.0 into -2.0
4.526 * [taylor]: Taking taylor expansion of (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) in x
4.526 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 x))) in x
4.527 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.527 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.527 * [taylor]: Taking taylor expansion of -1 in x
4.527 * [backup-simplify]: Simplify -1 into -1
4.527 * [taylor]: Taking taylor expansion of x in x
4.527 * [backup-simplify]: Simplify 0 into 0
4.527 * [backup-simplify]: Simplify 1 into 1
4.527 * [backup-simplify]: Simplify (/ -1 1) into -1
4.527 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.527 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 x))) into (/ 1 (exp (/ -1 x)))
4.527 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.527 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.527 * [taylor]: Taking taylor expansion of -1 in x
4.527 * [backup-simplify]: Simplify -1 into -1
4.527 * [taylor]: Taking taylor expansion of x in x
4.527 * [backup-simplify]: Simplify 0 into 0
4.527 * [backup-simplify]: Simplify 1 into 1
4.528 * [backup-simplify]: Simplify (/ -1 1) into -1
4.528 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.528 * [backup-simplify]: Simplify (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))) into (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))
4.528 * [backup-simplify]: Simplify (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) into (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))
4.529 * [backup-simplify]: Simplify (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) into (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))
4.529 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))))) into 0
4.529 * [backup-simplify]: Simplify (+ 0 0) into 0
4.530 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (+ (* (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))) into 0
4.530 * [backup-simplify]: Simplify 0 into 0
4.530 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.530 * [backup-simplify]: Simplify (+ 0 0) into 0
4.531 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (+ (* (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))) into 0
4.531 * [backup-simplify]: Simplify 0 into 0
4.531 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.532 * [backup-simplify]: Simplify (+ 0 0) into 0
4.533 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (+ (* (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))) into 0
4.533 * [backup-simplify]: Simplify 0 into 0
4.533 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.534 * [backup-simplify]: Simplify (+ 0 0) into 0
4.535 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (+ (* (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))) into 0
4.535 * [backup-simplify]: Simplify 0 into 0
4.535 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.536 * [backup-simplify]: Simplify (+ 0 0) into 0
4.537 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (+ (* (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))) into 0
4.537 * [backup-simplify]: Simplify 0 into 0
4.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 x))) (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))) (* 0 (/ 0 (exp (/ -1 x)))))) into 0
4.538 * [backup-simplify]: Simplify (+ 0 0) into 0
4.540 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (+ (* (/ -2.0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x)))) (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))) (* 0 (/ 0 (+ (/ 1 (exp (/ -1 x))) (exp (/ -1 x))))))) into 0
4.540 * [backup-simplify]: Simplify 0 into 0
4.540 * [backup-simplify]: Simplify (/ -2.0 (+ (/ 1 (exp (/ -1 (/ 1 (- x))))) (exp (/ -1 (/ 1 (- x)))))) into (/ -2.0 (+ (exp x) (/ 1 (exp x))))
4.540 * * * [progress]: simplifying candidates
4.543 * [simplify]: Simplifying:
  (expm1 (/ -1 (exp x)))
  (log1p (/ -1 (exp x)))
  (- (log -1) x)
  (log (/ -1 (exp x)))
  (exp (/ -1 (exp x)))
  (/ (* (* -1 -1) -1) (* (* (exp x) (exp x)) (exp x)))
  (* (cbrt (/ -1 (exp x))) (cbrt (/ -1 (exp x))))
  (cbrt (/ -1 (exp x)))
  (* (* (/ -1 (exp x)) (/ -1 (exp x))) (/ -1 (exp x)))
  (sqrt (/ -1 (exp x)))
  (sqrt (/ -1 (exp x)))
  (- -1)
  (- (exp x))
  (/ (* (cbrt -1) (cbrt -1)) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cbrt -1) (cbrt (exp x)))
  (/ (* (cbrt -1) (cbrt -1)) (sqrt (exp x)))
  (/ (cbrt -1) (sqrt (exp x)))
  (/ (* (cbrt -1) (cbrt -1)) 1)
  (/ (cbrt -1) (exp x))
  (/ (sqrt -1) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (sqrt -1) (cbrt (exp x)))
  (/ (sqrt -1) (sqrt (exp x)))
  (/ (sqrt -1) (sqrt (exp x)))
  (/ (sqrt -1) 1)
  (/ (sqrt -1) (exp x))
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ -1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ -1 (sqrt (exp x)))
  (/ 1 1)
  (/ -1 (exp x))
  (/ 1 (exp x))
  (/ (exp x) -1)
  (/ -1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ -1 (sqrt (exp x)))
  (/ -1 1)
  (/ (exp x) (cbrt -1))
  (/ (exp x) (sqrt -1))
  (/ (exp x) -1)
  (expm1 (/ -1 (exp x)))
  (log1p (/ -1 (exp x)))
  (- (log -1) x)
  (log (/ -1 (exp x)))
  (exp (/ -1 (exp x)))
  (/ (* (* -1 -1) -1) (* (* (exp x) (exp x)) (exp x)))
  (* (cbrt (/ -1 (exp x))) (cbrt (/ -1 (exp x))))
  (cbrt (/ -1 (exp x)))
  (* (* (/ -1 (exp x)) (/ -1 (exp x))) (/ -1 (exp x)))
  (sqrt (/ -1 (exp x)))
  (sqrt (/ -1 (exp x)))
  (- -1)
  (- (exp x))
  (/ (* (cbrt -1) (cbrt -1)) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cbrt -1) (cbrt (exp x)))
  (/ (* (cbrt -1) (cbrt -1)) (sqrt (exp x)))
  (/ (cbrt -1) (sqrt (exp x)))
  (/ (* (cbrt -1) (cbrt -1)) 1)
  (/ (cbrt -1) (exp x))
  (/ (sqrt -1) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (sqrt -1) (cbrt (exp x)))
  (/ (sqrt -1) (sqrt (exp x)))
  (/ (sqrt -1) (sqrt (exp x)))
  (/ (sqrt -1) 1)
  (/ (sqrt -1) (exp x))
  (/ 1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ -1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ -1 (sqrt (exp x)))
  (/ 1 1)
  (/ -1 (exp x))
  (/ 1 (exp x))
  (/ (exp x) -1)
  (/ -1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ -1 (sqrt (exp x)))
  (/ -1 1)
  (/ (exp x) (cbrt -1))
  (/ (exp x) (sqrt -1))
  (/ (exp x) -1)
  (expm1 (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (log1p (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (- (log 2.0) (log (- (/ -1 (exp x)) (exp x))))
  (log (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (exp (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (/ (* (* 2.0 2.0) 2.0) (* (* (- (/ -1 (exp x)) (exp x)) (- (/ -1 (exp x)) (exp x))) (- (/ -1 (exp x)) (exp x))))
  (* (cbrt (/ 2.0 (- (/ -1 (exp x)) (exp x)))) (cbrt (/ 2.0 (- (/ -1 (exp x)) (exp x)))))
  (cbrt (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (* (* (/ 2.0 (- (/ -1 (exp x)) (exp x))) (/ 2.0 (- (/ -1 (exp x)) (exp x)))) (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (sqrt (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (sqrt (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (- 2.0)
  (- (- (/ -1 (exp x)) (exp x)))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ (cbrt 2.0) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (cbrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (cbrt 2.0) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (cbrt 2.0) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (sqrt 2.0) (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ (sqrt 2.0) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (sqrt 2.0) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (sqrt 2.0) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (sqrt 2.0) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (sqrt 2.0) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ 1 (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ 2.0 (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ 1 (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ 2.0 (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ 1 1)
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (/ 1 (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 2.0 (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 1 (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ 2.0 (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ 1 1)
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (/ 1 (- (/ -1 (exp x)) (exp x)))
  (/ (- (/ -1 (exp x)) (exp x)) 2.0)
  (/ 2.0 (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ 2.0 (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ 2.0 1)
  (/ 2.0 (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 2.0 (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ 2.0 1)
  (/ (- (/ -1 (exp x)) (exp x)) (cbrt 2.0))
  (/ (- (/ -1 (exp x)) (exp x)) (sqrt 2.0))
  (/ (- (/ -1 (exp x)) (exp x)) 2.0)
  (/ 2.0 (- (pow (/ -1 (exp x)) 3) (pow (exp x) 3)))
  (/ 2.0 (- (* (/ -1 (exp x)) (/ -1 (exp x))) (* (exp x) (exp x))))
  (expm1 (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (log1p (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (- (log 2.0) (log (- (/ -1 (exp x)) (exp x))))
  (log (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (exp (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (/ (* (* 2.0 2.0) 2.0) (* (* (- (/ -1 (exp x)) (exp x)) (- (/ -1 (exp x)) (exp x))) (- (/ -1 (exp x)) (exp x))))
  (* (cbrt (/ 2.0 (- (/ -1 (exp x)) (exp x)))) (cbrt (/ 2.0 (- (/ -1 (exp x)) (exp x)))))
  (cbrt (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (* (* (/ 2.0 (- (/ -1 (exp x)) (exp x))) (/ 2.0 (- (/ -1 (exp x)) (exp x)))) (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (sqrt (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (sqrt (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (- 2.0)
  (- (- (/ -1 (exp x)) (exp x)))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ (cbrt 2.0) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (cbrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (cbrt 2.0) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (cbrt 2.0) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (sqrt 2.0) (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ (sqrt 2.0) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (sqrt 2.0) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (sqrt 2.0) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (sqrt 2.0) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (sqrt 2.0) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ 1 (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ 2.0 (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ 1 (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ 2.0 (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ 1 1)
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (/ 1 (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 2.0 (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 1 (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ 2.0 (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ 1 1)
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (/ 1 (- (/ -1 (exp x)) (exp x)))
  (/ (- (/ -1 (exp x)) (exp x)) 2.0)
  (/ 2.0 (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ 2.0 (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ 2.0 1)
  (/ 2.0 (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 2.0 (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ 2.0 1)
  (/ (- (/ -1 (exp x)) (exp x)) (cbrt 2.0))
  (/ (- (/ -1 (exp x)) (exp x)) (sqrt 2.0))
  (/ (- (/ -1 (exp x)) (exp x)) 2.0)
  (/ 2.0 (- (pow (/ -1 (exp x)) 3) (pow (exp x) 3)))
  (/ 2.0 (- (* (/ -1 (exp x)) (/ -1 (exp x))) (* (exp x) (exp x))))
  (- x (+ (* 1/2 (pow x 2)) 1))
  (/ -1 (exp x))
  (/ -1 (exp x))
  (- x (+ (* 1/2 (pow x 2)) 1))
  (/ -1 (exp x))
  (/ -1 (exp x))
  (- (* 0.5 (pow x 2)) (+ (* 0.20833333333333334 (pow x 4)) 1.0))
  (/ -2.0 (+ (exp x) (/ 1 (exp x))))
  (/ -2.0 (+ (exp x) (/ 1 (exp x))))
  (- (* 0.5 (pow x 2)) (+ (* 0.20833333333333334 (pow x 4)) 1.0))
  (/ -2.0 (+ (exp x) (/ 1 (exp x))))
  (/ -2.0 (+ (exp x) (/ 1 (exp x))))
4.545 * * [simplify]: iteration 0: 143 enodes
4.594 * * [simplify]: iteration 1: 279 enodes
4.684 * * [simplify]: iteration 2: 727 enodes
5.030 * * [simplify]: iteration 3: 2833 enodes
5.652 * * [simplify]: iteration complete: 5001 enodes
5.652 * * [simplify]: Extracting #0: cost 83 inf + 0
5.655 * * [simplify]: Extracting #1: cost 778 inf + 3
5.662 * * [simplify]: Extracting #2: cost 1666 inf + 213
5.671 * * [simplify]: Extracting #3: cost 1263 inf + 2424
5.681 * * [simplify]: Extracting #4: cost 304 inf + 12064
5.690 * * [simplify]: Extracting #5: cost 12 inf + 15887
5.705 * * [simplify]: Extracting #6: cost 0 inf + 16041
5.715 * [simplify]: Simplified to:
  (expm1 (/ -1 (exp x)))
  (log1p (/ -1 (exp x)))
  (- (log -1) x)
  (- (log -1) x)
  (exp (/ -1 (exp x)))
  (/ -1 (pow (exp x) 3))
  (* (cbrt (/ -1 (exp x))) (cbrt (/ -1 (exp x))))
  (cbrt (/ -1 (exp x)))
  (/ -1 (pow (exp x) 3))
  (sqrt (/ -1 (exp x)))
  (sqrt (/ -1 (exp x)))
  1
  (- (exp x))
  (/ (* (cbrt -1) (cbrt -1)) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cbrt -1) (cbrt (exp x)))
  (/ (cbrt -1) (/ (sqrt (exp x)) (cbrt -1)))
  (/ (cbrt -1) (sqrt (exp x)))
  (* (cbrt -1) (cbrt -1))
  (/ (cbrt -1) (exp x))
  (/ (/ (sqrt -1) (cbrt (exp x))) (cbrt (exp x)))
  (/ (sqrt -1) (cbrt (exp x)))
  (/ (sqrt -1) (sqrt (exp x)))
  (/ (sqrt -1) (sqrt (exp x)))
  (sqrt -1)
  (/ (sqrt -1) (exp x))
  (/ (/ 1 (cbrt (exp x))) (cbrt (exp x)))
  (/ -1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ -1 (sqrt (exp x)))
  1
  (/ -1 (exp x))
  (exp (- x))
  (/ (exp x) -1)
  (/ -1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ -1 (sqrt (exp x)))
  -1
  (/ (exp x) (cbrt -1))
  (/ (exp x) (sqrt -1))
  (/ (exp x) -1)
  (expm1 (/ -1 (exp x)))
  (log1p (/ -1 (exp x)))
  (- (log -1) x)
  (- (log -1) x)
  (exp (/ -1 (exp x)))
  (/ -1 (pow (exp x) 3))
  (* (cbrt (/ -1 (exp x))) (cbrt (/ -1 (exp x))))
  (cbrt (/ -1 (exp x)))
  (/ -1 (pow (exp x) 3))
  (sqrt (/ -1 (exp x)))
  (sqrt (/ -1 (exp x)))
  1
  (- (exp x))
  (/ (* (cbrt -1) (cbrt -1)) (* (cbrt (exp x)) (cbrt (exp x))))
  (/ (cbrt -1) (cbrt (exp x)))
  (/ (cbrt -1) (/ (sqrt (exp x)) (cbrt -1)))
  (/ (cbrt -1) (sqrt (exp x)))
  (* (cbrt -1) (cbrt -1))
  (/ (cbrt -1) (exp x))
  (/ (/ (sqrt -1) (cbrt (exp x))) (cbrt (exp x)))
  (/ (sqrt -1) (cbrt (exp x)))
  (/ (sqrt -1) (sqrt (exp x)))
  (/ (sqrt -1) (sqrt (exp x)))
  (sqrt -1)
  (/ (sqrt -1) (exp x))
  (/ (/ 1 (cbrt (exp x))) (cbrt (exp x)))
  (/ -1 (cbrt (exp x)))
  (/ 1 (sqrt (exp x)))
  (/ -1 (sqrt (exp x)))
  1
  (/ -1 (exp x))
  (exp (- x))
  (/ (exp x) -1)
  (/ -1 (* (cbrt (exp x)) (cbrt (exp x))))
  (/ -1 (sqrt (exp x)))
  -1
  (/ (exp x) (cbrt -1))
  (/ (exp x) (sqrt -1))
  (/ (exp x) -1)
  (expm1 (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (log1p (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (log (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (log (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (exp (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (pow (/ 2.0 (- (/ -1 (exp x)) (exp x))) 3)
  (* (cbrt (/ 2.0 (- (/ -1 (exp x)) (exp x)))) (cbrt (/ 2.0 (- (/ -1 (exp x)) (exp x)))))
  (cbrt (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (pow (/ 2.0 (- (/ -1 (exp x)) (exp x))) 3)
  (sqrt (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (sqrt (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (- 2.0)
  (+ (exp x) (exp (- x)))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ (cbrt 2.0) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (cbrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (* (cbrt 2.0) (cbrt 2.0))
  (/ (cbrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (cbrt 2.0) (/ (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))) (cbrt 2.0)))
  (/ (cbrt 2.0) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (* (cbrt 2.0) (/ (cbrt 2.0) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x)))))
  (/ (cbrt 2.0) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (* (cbrt 2.0) (cbrt 2.0))
  (/ (cbrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (/ (sqrt 2.0) (cbrt (- (/ -1 (exp x)) (exp x)))) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt 2.0) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (sqrt 2.0)
  (/ (sqrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (sqrt 2.0) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (sqrt 2.0) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (sqrt 2.0) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (sqrt 2.0) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (sqrt 2.0)
  (/ (sqrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (/ 1 (cbrt (- (/ -1 (exp x)) (exp x)))) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ 2.0 (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ 1 (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ 2.0 (sqrt (- (/ -1 (exp x)) (exp x))))
  1
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (/ 1 (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 2.0 (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 1 (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ 2.0 (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  1
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (/ 1 (- (/ -1 (exp x)) (exp x)))
  (/ (- (/ -1 (exp x)) (exp x)) 2.0)
  (/ (/ 2.0 (cbrt (- (/ -1 (exp x)) (exp x)))) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ 2.0 (sqrt (- (/ -1 (exp x)) (exp x))))
  2.0
  (/ 2.0 (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 2.0 (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  2.0
  (/ (- (/ -1 (exp x)) (exp x)) (cbrt 2.0))
  (/ (- (/ -1 (exp x)) (exp x)) (sqrt 2.0))
  (/ (- (/ -1 (exp x)) (exp x)) 2.0)
  (/ 2.0 (- (/ -1 (pow (exp x) 3)) (pow (exp x) 3)))
  (/ 2.0 (- (pow (exp -2) x) (exp (+ x x))))
  (expm1 (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (log1p (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (log (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (log (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (exp (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (pow (/ 2.0 (- (/ -1 (exp x)) (exp x))) 3)
  (* (cbrt (/ 2.0 (- (/ -1 (exp x)) (exp x)))) (cbrt (/ 2.0 (- (/ -1 (exp x)) (exp x)))))
  (cbrt (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (pow (/ 2.0 (- (/ -1 (exp x)) (exp x))) 3)
  (sqrt (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (sqrt (/ 2.0 (- (/ -1 (exp x)) (exp x))))
  (- 2.0)
  (+ (exp x) (exp (- x)))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (- (/ -1 (exp x)) (exp x))) (cbrt (- (/ -1 (exp x)) (exp x)))))
  (/ (cbrt 2.0) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (cbrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (* (cbrt 2.0) (cbrt 2.0))
  (/ (cbrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (cbrt 2.0) (/ (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))) (cbrt 2.0)))
  (/ (cbrt 2.0) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (* (cbrt 2.0) (/ (cbrt 2.0) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x)))))
  (/ (cbrt 2.0) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (* (cbrt 2.0) (cbrt 2.0))
  (/ (cbrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (/ (sqrt 2.0) (cbrt (- (/ -1 (exp x)) (exp x)))) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt 2.0) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ (sqrt 2.0) (sqrt (- (/ -1 (exp x)) (exp x))))
  (sqrt 2.0)
  (/ (sqrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (sqrt 2.0) (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (sqrt 2.0) (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ (sqrt 2.0) (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ (sqrt 2.0) (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (sqrt 2.0)
  (/ (sqrt 2.0) (- (/ -1 (exp x)) (exp x)))
  (/ (/ 1 (cbrt (- (/ -1 (exp x)) (exp x)))) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ 2.0 (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ 1 (sqrt (- (/ -1 (exp x)) (exp x))))
  (/ 2.0 (sqrt (- (/ -1 (exp x)) (exp x))))
  1
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (/ 1 (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 2.0 (- (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 1 (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  (/ 2.0 (- (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  1
  (/ 2.0 (- (/ -1 (exp x)) (exp x)))
  (/ 1 (- (/ -1 (exp x)) (exp x)))
  (/ (- (/ -1 (exp x)) (exp x)) 2.0)
  (/ (/ 2.0 (cbrt (- (/ -1 (exp x)) (exp x)))) (cbrt (- (/ -1 (exp x)) (exp x))))
  (/ 2.0 (sqrt (- (/ -1 (exp x)) (exp x))))
  2.0
  (/ 2.0 (+ (sqrt (/ -1 (exp x))) (sqrt (exp x))))
  (/ 2.0 (+ (/ (sqrt -1) (sqrt (exp x))) (sqrt (exp x))))
  2.0
  (/ (- (/ -1 (exp x)) (exp x)) (cbrt 2.0))
  (/ (- (/ -1 (exp x)) (exp x)) (sqrt 2.0))
  (/ (- (/ -1 (exp x)) (exp x)) 2.0)
  (/ 2.0 (- (/ -1 (pow (exp x) 3)) (pow (exp x) 3)))
  (/ 2.0 (- (pow (exp -2) x) (exp (+ x x))))
  (- x (fma x (* 1/2 x) 1))
  (/ -1 (exp x))
  (/ -1 (exp x))
  (- x (fma x (* 1/2 x) 1))
  (/ -1 (exp x))
  (/ -1 (exp x))
  (- (* 0.5 (* x x)) (fma (pow x 4) 0.20833333333333334 1.0))
  (/ -2.0 (+ (exp x) (exp (- x))))
  (/ -2.0 (+ (exp x) (exp (- x))))
  (- (* 0.5 (* x x)) (fma (pow x 4) 0.20833333333333334 1.0))
  (/ -2.0 (+ (exp x) (exp (- x))))
  (/ -2.0 (+ (exp x) (exp (- x))))
5.717 * * * [progress]: adding candidates to table
6.470 * [progress]: [Phase 3 of 3] Extracting.
6.476 * [simplify]: Simplifying:
  (* (sqrt (- (/ 2.0 (- (/ -1 (exp x)) (exp x))))) (sqrt (- (/ 2.0 (- (/ -1 (exp x)) (exp x))))))
6.477 * * [simplify]: iteration 0: 10 enodes
6.478 * * [simplify]: iteration 1: 12 enodes
6.479 * * [simplify]: iteration complete: 12 enodes
6.479 * * [simplify]: Extracting #0: cost 1 inf + 0
6.479 * * [simplify]: Extracting #1: cost 2 inf + 0
6.479 * * [simplify]: Extracting #2: cost 3 inf + 0
6.479 * * [simplify]: Extracting #3: cost 6 inf + 0
6.479 * * [simplify]: Extracting #4: cost 9 inf + 0
6.479 * * [simplify]: Extracting #5: cost 10 inf + 1
6.479 * * [simplify]: Extracting #6: cost 0 inf + 71
6.479 * [simplify]: Simplified to:
  (* (sqrt (- (/ 2.0 (- (/ -1 (exp x)) (exp x))))) (sqrt (- (/ 2.0 (- (/ -1 (exp x)) (exp x))))))
7.627 * [regime-testing]: Baseline error score: 0.011650140643842505
7.642 * [regime-testing]: Oracle error score: 0.011650140643842505
7.642 * [regime-testing]: End program error score: 0.011650140643842505