15.157 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [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.031 * * [simplify]: iteration 2: 12 enodes
0.033 * * [simplify]: iteration complete: 12 enodes
0.034 * * [simplify]: Extracting #0: cost 1 inf + 0
0.034 * * [simplify]: Extracting #1: cost 3 inf + 0
0.034 * * [simplify]: Extracting #2: cost 4 inf + 1
0.034 * * [simplify]: Extracting #3: cost 7 inf + 1
0.034 * * [simplify]: Extracting #4: cost 0 inf + 24
0.034 * [simplify]: Simplified to:
  (/ 2.0 (+ (exp x) (exp (- x))))
0.034 * * [progress]: iteration 1 / 4
0.034 * * * [progress]: picking best candidate
0.039 * * * * [pick]: Picked  #<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))>
0.039 * * * [progress]: localizing error
0.058 * * * [progress]: generating rewritten candidates
0.058 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.094 * * * [progress]: generating series expansions
0.094 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.094 * [backup-simplify]: Simplify (/ 2.0 (+ (exp x) (exp (- x)))) into (/ 2.0 (+ (exp x) (exp (- x))))
0.094 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in (x) around 0
0.094 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x
0.094 * [taylor]: Taking taylor expansion of 2.0 in x
0.094 * [backup-simplify]: Simplify 2.0 into 2.0
0.094 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.094 * [taylor]: Taking taylor expansion of (exp x) in x
0.094 * [taylor]: Taking taylor expansion of x in x
0.095 * [backup-simplify]: Simplify 0 into 0
0.095 * [backup-simplify]: Simplify 1 into 1
0.095 * [backup-simplify]: Simplify (exp 0) into 1
0.095 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.095 * [taylor]: Taking taylor expansion of (- x) in x
0.095 * [taylor]: Taking taylor expansion of x in x
0.095 * [backup-simplify]: Simplify 0 into 0
0.095 * [backup-simplify]: Simplify 1 into 1
0.095 * [backup-simplify]: Simplify (- 0) into 0
0.096 * [backup-simplify]: Simplify (- 1) into -1
0.096 * [backup-simplify]: Simplify (exp 0) into 1
0.096 * [backup-simplify]: Simplify (+ 1 1) into 2
0.097 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
0.097 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x
0.097 * [taylor]: Taking taylor expansion of 2.0 in x
0.097 * [backup-simplify]: Simplify 2.0 into 2.0
0.097 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.097 * [taylor]: Taking taylor expansion of (exp x) in x
0.097 * [taylor]: Taking taylor expansion of x in x
0.097 * [backup-simplify]: Simplify 0 into 0
0.097 * [backup-simplify]: Simplify 1 into 1
0.097 * [backup-simplify]: Simplify (exp 0) into 1
0.097 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.097 * [taylor]: Taking taylor expansion of (- x) in x
0.097 * [taylor]: Taking taylor expansion of x in x
0.097 * [backup-simplify]: Simplify 0 into 0
0.097 * [backup-simplify]: Simplify 1 into 1
0.097 * [backup-simplify]: Simplify (- 0) into 0
0.098 * [backup-simplify]: Simplify (- 1) into -1
0.098 * [backup-simplify]: Simplify (exp 0) into 1
0.098 * [backup-simplify]: Simplify (+ 1 1) into 2
0.099 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
0.099 * [backup-simplify]: Simplify 1.0 into 1.0
0.100 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.100 * [backup-simplify]: Simplify (- 1) into -1
0.101 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.102 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.102 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)))) into 0
0.102 * [backup-simplify]: Simplify 0 into 0
0.103 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.103 * [backup-simplify]: Simplify (- 1) into -1
0.103 * [backup-simplify]: Simplify (- 0) into 0
0.104 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.105 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
0.107 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 1 2)) (* 0 (/ 0 2)))) into (- 0.5)
0.107 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.109 * [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.109 * [backup-simplify]: Simplify (- 1) into -1
0.109 * [backup-simplify]: Simplify (- 1) into -1
0.109 * [backup-simplify]: Simplify (- 0) into 0
0.110 * [backup-simplify]: Simplify (- 0) into 0
0.111 * [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.111 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
0.112 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)) (* 0 (/ 1 2)) (* (- 0.5) (/ 0 2)))) into 0
0.112 * [backup-simplify]: Simplify 0 into 0
0.114 * [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.115 * [backup-simplify]: Simplify (- 1) into -1
0.115 * [backup-simplify]: Simplify (- 1) into -1
0.115 * [backup-simplify]: Simplify (- 0) into 0
0.116 * [backup-simplify]: Simplify (- 1) into -1
0.116 * [backup-simplify]: Simplify (- 0) into 0
0.116 * [backup-simplify]: Simplify (- 0) into 0
0.116 * [backup-simplify]: Simplify (- 0) into 0
0.118 * [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.119 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
0.133 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 1/12 2)) (* 0 (/ 0 2)) (* (- 0.5) (/ 1 2)) (* 0 (/ 0 2)))) into 0.20833333333333334
0.133 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
0.134 * [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.134 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.134 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
0.134 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
0.134 * [taylor]: Taking taylor expansion of 2.0 in x
0.134 * [backup-simplify]: Simplify 2.0 into 2.0
0.134 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.134 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.134 * [taylor]: Taking taylor expansion of x in x
0.134 * [backup-simplify]: Simplify 0 into 0
0.134 * [backup-simplify]: Simplify 1 into 1
0.135 * [backup-simplify]: Simplify (/ 1 1) into 1
0.135 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.135 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.135 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.135 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.135 * [taylor]: Taking taylor expansion of x in x
0.135 * [backup-simplify]: Simplify 0 into 0
0.135 * [backup-simplify]: Simplify 1 into 1
0.135 * [backup-simplify]: Simplify (/ 1 1) into 1
0.135 * [backup-simplify]: Simplify (- 1) into -1
0.135 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
0.135 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.135 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.135 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
0.135 * [taylor]: Taking taylor expansion of 2.0 in x
0.136 * [backup-simplify]: Simplify 2.0 into 2.0
0.136 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.136 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.136 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.136 * [taylor]: Taking taylor expansion of x in x
0.136 * [backup-simplify]: Simplify 0 into 0
0.136 * [backup-simplify]: Simplify 1 into 1
0.136 * [backup-simplify]: Simplify (/ 1 1) into 1
0.136 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.136 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.136 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.136 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.136 * [taylor]: Taking taylor expansion of x in x
0.136 * [backup-simplify]: Simplify 0 into 0
0.136 * [backup-simplify]: Simplify 1 into 1
0.136 * [backup-simplify]: Simplify (/ 1 1) into 1
0.137 * [backup-simplify]: Simplify (- 1) into -1
0.137 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
0.137 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.137 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.137 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.137 * [backup-simplify]: Simplify (+ 0 0) into 0
0.138 * [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.138 * [backup-simplify]: Simplify 0 into 0
0.138 * [backup-simplify]: Simplify (+ 0 0) into 0
0.138 * [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.138 * [backup-simplify]: Simplify 0 into 0
0.139 * [backup-simplify]: Simplify (+ 0 0) into 0
0.139 * [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.139 * [backup-simplify]: Simplify 0 into 0
0.139 * [backup-simplify]: Simplify (+ 0 0) into 0
0.140 * [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.140 * [backup-simplify]: Simplify 0 into 0
0.140 * [backup-simplify]: Simplify (+ 0 0) into 0
0.141 * [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.141 * [backup-simplify]: Simplify 0 into 0
0.141 * [backup-simplify]: Simplify (+ 0 0) into 0
0.142 * [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.142 * [backup-simplify]: Simplify 0 into 0
0.142 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ 2.0 (+ (exp x) (exp (- x))))
0.142 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.142 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
0.142 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
0.142 * [taylor]: Taking taylor expansion of 2.0 in x
0.142 * [backup-simplify]: Simplify 2.0 into 2.0
0.142 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.142 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.142 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.142 * [taylor]: Taking taylor expansion of x in x
0.142 * [backup-simplify]: Simplify 0 into 0
0.142 * [backup-simplify]: Simplify 1 into 1
0.143 * [backup-simplify]: Simplify (/ 1 1) into 1
0.143 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.143 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.143 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.143 * [taylor]: Taking taylor expansion of -1 in x
0.143 * [backup-simplify]: Simplify -1 into -1
0.143 * [taylor]: Taking taylor expansion of x in x
0.143 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify 1 into 1
0.143 * [backup-simplify]: Simplify (/ -1 1) into -1
0.143 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.143 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.143 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.143 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
0.143 * [taylor]: Taking taylor expansion of 2.0 in x
0.143 * [backup-simplify]: Simplify 2.0 into 2.0
0.143 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.143 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.143 * [taylor]: Taking taylor expansion of x in x
0.143 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify 1 into 1
0.144 * [backup-simplify]: Simplify (/ 1 1) into 1
0.144 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.144 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.144 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.144 * [taylor]: Taking taylor expansion of -1 in x
0.144 * [backup-simplify]: Simplify -1 into -1
0.144 * [taylor]: Taking taylor expansion of x in x
0.144 * [backup-simplify]: Simplify 0 into 0
0.144 * [backup-simplify]: Simplify 1 into 1
0.144 * [backup-simplify]: Simplify (/ -1 1) into -1
0.144 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.144 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.144 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.145 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.145 * [backup-simplify]: Simplify (+ 0 0) into 0
0.145 * [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.145 * [backup-simplify]: Simplify 0 into 0
0.145 * [backup-simplify]: Simplify (+ 0 0) into 0
0.146 * [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.146 * [backup-simplify]: Simplify 0 into 0
0.146 * [backup-simplify]: Simplify (+ 0 0) into 0
0.146 * [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.146 * [backup-simplify]: Simplify 0 into 0
0.147 * [backup-simplify]: Simplify (+ 0 0) into 0
0.147 * [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.147 * [backup-simplify]: Simplify 0 into 0
0.148 * [backup-simplify]: Simplify (+ 0 0) into 0
0.148 * [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.148 * [backup-simplify]: Simplify 0 into 0
0.148 * [backup-simplify]: Simplify (+ 0 0) into 0
0.149 * [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.149 * [backup-simplify]: Simplify 0 into 0
0.149 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2.0 (+ (exp (* -1 x)) (exp x)))
0.149 * * * [progress]: simplifying candidates
0.150 * [simplify]: Simplifying:
  (- (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)))))
  (- (+ (* 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)))
0.151 * * [simplify]: iteration 0: 78 enodes
0.175 * * [simplify]: iteration 1: 171 enodes
0.223 * * [simplify]: iteration 2: 617 enodes
0.734 * * [simplify]: iteration 3: 3769 enodes
1.909 * * [simplify]: iteration complete: 5000 enodes
1.909 * * [simplify]: Extracting #0: cost 35 inf + 0
1.910 * * [simplify]: Extracting #1: cost 226 inf + 2
1.913 * * [simplify]: Extracting #2: cost 621 inf + 42
1.925 * * [simplify]: Extracting #3: cost 1600 inf + 197
1.935 * * [simplify]: Extracting #4: cost 1607 inf + 1418
1.947 * * [simplify]: Extracting #5: cost 598 inf + 8695
1.959 * * [simplify]: Extracting #6: cost 26 inf + 14606
1.970 * * [simplify]: Extracting #7: cost 0 inf + 15044
1.982 * [simplify]: Simplified to:
  (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)
  (- (- (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))
  (/ (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 (+ (exp (* x -3)) (exp (* 3 x))))
  (/ 2.0 (- (exp (+ x x)) (pow (exp x) -2)))
  (+ 1.0 (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)))
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 2.0 (+ (exp x) (exp (- x))))
1.982 * * * [progress]: adding candidates to table
2.112 * * [progress]: iteration 2 / 4
2.112 * * * [progress]: picking best candidate
2.121 * * * * [pick]: Picked  #<alt (λ (x) (log (exp (/ 2.0 (+ (exp x) (exp (- x)))))))>
2.121 * * * [progress]: localizing error
2.153 * * * [progress]: generating rewritten candidates
2.153 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
2.229 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1)
2.268 * * * [progress]: generating series expansions
2.268 * * * * [progress]: [ 1 / 2 ] generating series at (2)
2.268 * [backup-simplify]: Simplify (log (exp (/ 2.0 (+ (exp x) (exp (- x)))))) into (/ 2.0 (+ (exp x) (exp (- x))))
2.268 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in (x) around 0
2.268 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x
2.268 * [taylor]: Taking taylor expansion of 2.0 in x
2.268 * [backup-simplify]: Simplify 2.0 into 2.0
2.268 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
2.268 * [taylor]: Taking taylor expansion of (exp x) in x
2.268 * [taylor]: Taking taylor expansion of x in x
2.268 * [backup-simplify]: Simplify 0 into 0
2.269 * [backup-simplify]: Simplify 1 into 1
2.269 * [backup-simplify]: Simplify (exp 0) into 1
2.269 * [taylor]: Taking taylor expansion of (exp (- x)) in x
2.269 * [taylor]: Taking taylor expansion of (- x) in x
2.269 * [taylor]: Taking taylor expansion of x in x
2.269 * [backup-simplify]: Simplify 0 into 0
2.269 * [backup-simplify]: Simplify 1 into 1
2.269 * [backup-simplify]: Simplify (- 0) into 0
2.270 * [backup-simplify]: Simplify (- 1) into -1
2.270 * [backup-simplify]: Simplify (exp 0) into 1
2.270 * [backup-simplify]: Simplify (+ 1 1) into 2
2.271 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
2.271 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x
2.271 * [taylor]: Taking taylor expansion of 2.0 in x
2.271 * [backup-simplify]: Simplify 2.0 into 2.0
2.271 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
2.271 * [taylor]: Taking taylor expansion of (exp x) in x
2.271 * [taylor]: Taking taylor expansion of x in x
2.271 * [backup-simplify]: Simplify 0 into 0
2.271 * [backup-simplify]: Simplify 1 into 1
2.271 * [backup-simplify]: Simplify (exp 0) into 1
2.271 * [taylor]: Taking taylor expansion of (exp (- x)) in x
2.271 * [taylor]: Taking taylor expansion of (- x) in x
2.271 * [taylor]: Taking taylor expansion of x in x
2.271 * [backup-simplify]: Simplify 0 into 0
2.271 * [backup-simplify]: Simplify 1 into 1
2.271 * [backup-simplify]: Simplify (- 0) into 0
2.272 * [backup-simplify]: Simplify (- 1) into -1
2.272 * [backup-simplify]: Simplify (exp 0) into 1
2.272 * [backup-simplify]: Simplify (+ 1 1) into 2
2.273 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
2.273 * [backup-simplify]: Simplify 1.0 into 1.0
2.274 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.274 * [backup-simplify]: Simplify (- 1) into -1
2.276 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
2.276 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.277 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)))) into 0
2.277 * [backup-simplify]: Simplify 0 into 0
2.279 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.279 * [backup-simplify]: Simplify (- 1) into -1
2.279 * [backup-simplify]: Simplify (- 0) into 0
2.281 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.281 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
2.286 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 1 2)) (* 0 (/ 0 2)))) into (- 0.5)
2.286 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.289 * [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.289 * [backup-simplify]: Simplify (- 1) into -1
2.290 * [backup-simplify]: Simplify (- 1) into -1
2.290 * [backup-simplify]: Simplify (- 0) into 0
2.290 * [backup-simplify]: Simplify (- 0) into 0
2.293 * [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.293 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
2.295 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)) (* 0 (/ 1 2)) (* (- 0.5) (/ 0 2)))) into 0
2.295 * [backup-simplify]: Simplify 0 into 0
2.299 * [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.300 * [backup-simplify]: Simplify (- 1) into -1
2.300 * [backup-simplify]: Simplify (- 1) into -1
2.300 * [backup-simplify]: Simplify (- 0) into 0
2.301 * [backup-simplify]: Simplify (- 1) into -1
2.301 * [backup-simplify]: Simplify (- 0) into 0
2.301 * [backup-simplify]: Simplify (- 0) into 0
2.302 * [backup-simplify]: Simplify (- 0) into 0
2.306 * [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.307 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
2.314 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 1/12 2)) (* 0 (/ 0 2)) (* (- 0.5) (/ 1 2)) (* 0 (/ 0 2)))) into 0.20833333333333334
2.314 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
2.315 * [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.315 * [backup-simplify]: Simplify (log (exp (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
2.315 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
2.315 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
2.315 * [taylor]: Taking taylor expansion of 2.0 in x
2.316 * [backup-simplify]: Simplify 2.0 into 2.0
2.316 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
2.316 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.316 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.316 * [taylor]: Taking taylor expansion of x in x
2.316 * [backup-simplify]: Simplify 0 into 0
2.316 * [backup-simplify]: Simplify 1 into 1
2.316 * [backup-simplify]: Simplify (/ 1 1) into 1
2.316 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.316 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
2.316 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
2.316 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.316 * [taylor]: Taking taylor expansion of x in x
2.316 * [backup-simplify]: Simplify 0 into 0
2.316 * [backup-simplify]: Simplify 1 into 1
2.317 * [backup-simplify]: Simplify (/ 1 1) into 1
2.317 * [backup-simplify]: Simplify (- 1) into -1
2.317 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
2.317 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
2.318 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
2.318 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
2.318 * [taylor]: Taking taylor expansion of 2.0 in x
2.318 * [backup-simplify]: Simplify 2.0 into 2.0
2.318 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
2.318 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.318 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.318 * [taylor]: Taking taylor expansion of x in x
2.318 * [backup-simplify]: Simplify 0 into 0
2.318 * [backup-simplify]: Simplify 1 into 1
2.318 * [backup-simplify]: Simplify (/ 1 1) into 1
2.318 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.318 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
2.318 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
2.318 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.318 * [taylor]: Taking taylor expansion of x in x
2.318 * [backup-simplify]: Simplify 0 into 0
2.318 * [backup-simplify]: Simplify 1 into 1
2.319 * [backup-simplify]: Simplify (/ 1 1) into 1
2.319 * [backup-simplify]: Simplify (- 1) into -1
2.319 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
2.319 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
2.320 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
2.320 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
2.320 * [backup-simplify]: Simplify (+ 0 0) into 0
2.321 * [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
2.321 * [backup-simplify]: Simplify 0 into 0
2.322 * [backup-simplify]: Simplify (+ 0 0) into 0
2.322 * [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
2.322 * [backup-simplify]: Simplify 0 into 0
2.323 * [backup-simplify]: Simplify (+ 0 0) into 0
2.324 * [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
2.324 * [backup-simplify]: Simplify 0 into 0
2.324 * [backup-simplify]: Simplify (+ 0 0) into 0
2.326 * [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
2.326 * [backup-simplify]: Simplify 0 into 0
2.326 * [backup-simplify]: Simplify (+ 0 0) into 0
2.327 * [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
2.327 * [backup-simplify]: Simplify 0 into 0
2.328 * [backup-simplify]: Simplify (+ 0 0) into 0
2.329 * [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
2.329 * [backup-simplify]: Simplify 0 into 0
2.330 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ 2.0 (+ (exp x) (exp (- x))))
2.330 * [backup-simplify]: Simplify (log (exp (/ 2.0 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
2.330 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
2.330 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
2.330 * [taylor]: Taking taylor expansion of 2.0 in x
2.330 * [backup-simplify]: Simplify 2.0 into 2.0
2.330 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
2.330 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.330 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.330 * [taylor]: Taking taylor expansion of x in x
2.330 * [backup-simplify]: Simplify 0 into 0
2.330 * [backup-simplify]: Simplify 1 into 1
2.331 * [backup-simplify]: Simplify (/ 1 1) into 1
2.331 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.331 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.331 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.331 * [taylor]: Taking taylor expansion of -1 in x
2.331 * [backup-simplify]: Simplify -1 into -1
2.331 * [taylor]: Taking taylor expansion of x in x
2.331 * [backup-simplify]: Simplify 0 into 0
2.331 * [backup-simplify]: Simplify 1 into 1
2.332 * [backup-simplify]: Simplify (/ -1 1) into -1
2.332 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.332 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
2.332 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
2.332 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
2.332 * [taylor]: Taking taylor expansion of 2.0 in x
2.332 * [backup-simplify]: Simplify 2.0 into 2.0
2.332 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
2.332 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.332 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.332 * [taylor]: Taking taylor expansion of x in x
2.332 * [backup-simplify]: Simplify 0 into 0
2.332 * [backup-simplify]: Simplify 1 into 1
2.333 * [backup-simplify]: Simplify (/ 1 1) into 1
2.333 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.333 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.333 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.333 * [taylor]: Taking taylor expansion of -1 in x
2.333 * [backup-simplify]: Simplify -1 into -1
2.333 * [taylor]: Taking taylor expansion of x in x
2.333 * [backup-simplify]: Simplify 0 into 0
2.333 * [backup-simplify]: Simplify 1 into 1
2.333 * [backup-simplify]: Simplify (/ -1 1) into -1
2.333 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.334 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
2.334 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
2.334 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
2.334 * [backup-simplify]: Simplify (+ 0 0) into 0
2.335 * [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
2.335 * [backup-simplify]: Simplify 0 into 0
2.336 * [backup-simplify]: Simplify (+ 0 0) into 0
2.336 * [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
2.337 * [backup-simplify]: Simplify 0 into 0
2.337 * [backup-simplify]: Simplify (+ 0 0) into 0
2.338 * [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
2.338 * [backup-simplify]: Simplify 0 into 0
2.338 * [backup-simplify]: Simplify (+ 0 0) into 0
2.339 * [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
2.339 * [backup-simplify]: Simplify 0 into 0
2.340 * [backup-simplify]: Simplify (+ 0 0) into 0
2.341 * [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
2.341 * [backup-simplify]: Simplify 0 into 0
2.342 * [backup-simplify]: Simplify (+ 0 0) into 0
2.343 * [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
2.343 * [backup-simplify]: Simplify 0 into 0
2.343 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2.0 (+ (exp (* -1 x)) (exp x)))
2.343 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1)
2.344 * [backup-simplify]: Simplify (/ 2.0 (+ (exp x) (exp (- x)))) into (/ 2.0 (+ (exp x) (exp (- x))))
2.344 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in (x) around 0
2.344 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x
2.344 * [taylor]: Taking taylor expansion of 2.0 in x
2.344 * [backup-simplify]: Simplify 2.0 into 2.0
2.344 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
2.344 * [taylor]: Taking taylor expansion of (exp x) in x
2.344 * [taylor]: Taking taylor expansion of x in x
2.344 * [backup-simplify]: Simplify 0 into 0
2.344 * [backup-simplify]: Simplify 1 into 1
2.344 * [backup-simplify]: Simplify (exp 0) into 1
2.344 * [taylor]: Taking taylor expansion of (exp (- x)) in x
2.344 * [taylor]: Taking taylor expansion of (- x) in x
2.344 * [taylor]: Taking taylor expansion of x in x
2.344 * [backup-simplify]: Simplify 0 into 0
2.344 * [backup-simplify]: Simplify 1 into 1
2.344 * [backup-simplify]: Simplify (- 0) into 0
2.345 * [backup-simplify]: Simplify (- 1) into -1
2.345 * [backup-simplify]: Simplify (exp 0) into 1
2.345 * [backup-simplify]: Simplify (+ 1 1) into 2
2.346 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
2.346 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x
2.346 * [taylor]: Taking taylor expansion of 2.0 in x
2.346 * [backup-simplify]: Simplify 2.0 into 2.0
2.346 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
2.346 * [taylor]: Taking taylor expansion of (exp x) in x
2.346 * [taylor]: Taking taylor expansion of x in x
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [backup-simplify]: Simplify 1 into 1
2.346 * [backup-simplify]: Simplify (exp 0) into 1
2.346 * [taylor]: Taking taylor expansion of (exp (- x)) in x
2.346 * [taylor]: Taking taylor expansion of (- x) in x
2.346 * [taylor]: Taking taylor expansion of x in x
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [backup-simplify]: Simplify 1 into 1
2.346 * [backup-simplify]: Simplify (- 0) into 0
2.351 * [backup-simplify]: Simplify (- 1) into -1
2.351 * [backup-simplify]: Simplify (exp 0) into 1
2.351 * [backup-simplify]: Simplify (+ 1 1) into 2
2.352 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
2.352 * [backup-simplify]: Simplify 1.0 into 1.0
2.353 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.353 * [backup-simplify]: Simplify (- 1) into -1
2.355 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
2.355 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.356 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)))) into 0
2.356 * [backup-simplify]: Simplify 0 into 0
2.358 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.358 * [backup-simplify]: Simplify (- 1) into -1
2.358 * [backup-simplify]: Simplify (- 0) into 0
2.360 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.361 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
2.365 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 1 2)) (* 0 (/ 0 2)))) into (- 0.5)
2.365 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.369 * [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.369 * [backup-simplify]: Simplify (- 1) into -1
2.369 * [backup-simplify]: Simplify (- 1) into -1
2.370 * [backup-simplify]: Simplify (- 0) into 0
2.370 * [backup-simplify]: Simplify (- 0) into 0
2.373 * [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.374 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
2.375 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)) (* 0 (/ 1 2)) (* (- 0.5) (/ 0 2)))) into 0
2.375 * [backup-simplify]: Simplify 0 into 0
2.380 * [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.380 * [backup-simplify]: Simplify (- 1) into -1
2.381 * [backup-simplify]: Simplify (- 1) into -1
2.381 * [backup-simplify]: Simplify (- 0) into 0
2.382 * [backup-simplify]: Simplify (- 1) into -1
2.382 * [backup-simplify]: Simplify (- 0) into 0
2.382 * [backup-simplify]: Simplify (- 0) into 0
2.383 * [backup-simplify]: Simplify (- 0) into 0
2.387 * [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.388 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
2.398 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 1/12 2)) (* 0 (/ 0 2)) (* (- 0.5) (/ 1 2)) (* 0 (/ 0 2)))) into 0.20833333333333334
2.398 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
2.399 * [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.399 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
2.399 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
2.399 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
2.399 * [taylor]: Taking taylor expansion of 2.0 in x
2.399 * [backup-simplify]: Simplify 2.0 into 2.0
2.399 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
2.399 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.399 * [taylor]: Taking taylor expansion of x in x
2.400 * [backup-simplify]: Simplify 0 into 0
2.400 * [backup-simplify]: Simplify 1 into 1
2.400 * [backup-simplify]: Simplify (/ 1 1) into 1
2.400 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.400 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
2.400 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
2.400 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.400 * [taylor]: Taking taylor expansion of x in x
2.400 * [backup-simplify]: Simplify 0 into 0
2.400 * [backup-simplify]: Simplify 1 into 1
2.401 * [backup-simplify]: Simplify (/ 1 1) into 1
2.401 * [backup-simplify]: Simplify (- 1) into -1
2.401 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
2.401 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
2.402 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
2.402 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
2.402 * [taylor]: Taking taylor expansion of 2.0 in x
2.402 * [backup-simplify]: Simplify 2.0 into 2.0
2.402 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
2.402 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.402 * [taylor]: Taking taylor expansion of x in x
2.402 * [backup-simplify]: Simplify 0 into 0
2.402 * [backup-simplify]: Simplify 1 into 1
2.402 * [backup-simplify]: Simplify (/ 1 1) into 1
2.402 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.402 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
2.402 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
2.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.403 * [taylor]: Taking taylor expansion of x in x
2.403 * [backup-simplify]: Simplify 0 into 0
2.403 * [backup-simplify]: Simplify 1 into 1
2.403 * [backup-simplify]: Simplify (/ 1 1) into 1
2.403 * [backup-simplify]: Simplify (- 1) into -1
2.403 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
2.404 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
2.404 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
2.404 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
2.405 * [backup-simplify]: Simplify (+ 0 0) into 0
2.405 * [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
2.405 * [backup-simplify]: Simplify 0 into 0
2.406 * [backup-simplify]: Simplify (+ 0 0) into 0
2.406 * [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
2.406 * [backup-simplify]: Simplify 0 into 0
2.407 * [backup-simplify]: Simplify (+ 0 0) into 0
2.408 * [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
2.408 * [backup-simplify]: Simplify 0 into 0
2.408 * [backup-simplify]: Simplify (+ 0 0) into 0
2.409 * [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
2.410 * [backup-simplify]: Simplify 0 into 0
2.410 * [backup-simplify]: Simplify (+ 0 0) into 0
2.411 * [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
2.411 * [backup-simplify]: Simplify 0 into 0
2.412 * [backup-simplify]: Simplify (+ 0 0) into 0
2.413 * [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
2.413 * [backup-simplify]: Simplify 0 into 0
2.413 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ 2.0 (+ (exp x) (exp (- x))))
2.414 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
2.414 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
2.414 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
2.414 * [taylor]: Taking taylor expansion of 2.0 in x
2.414 * [backup-simplify]: Simplify 2.0 into 2.0
2.414 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
2.414 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.414 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.414 * [taylor]: Taking taylor expansion of x in x
2.414 * [backup-simplify]: Simplify 0 into 0
2.414 * [backup-simplify]: Simplify 1 into 1
2.414 * [backup-simplify]: Simplify (/ 1 1) into 1
2.414 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.414 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.414 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.414 * [taylor]: Taking taylor expansion of -1 in x
2.414 * [backup-simplify]: Simplify -1 into -1
2.414 * [taylor]: Taking taylor expansion of x in x
2.414 * [backup-simplify]: Simplify 0 into 0
2.414 * [backup-simplify]: Simplify 1 into 1
2.415 * [backup-simplify]: Simplify (/ -1 1) into -1
2.415 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.415 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
2.415 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
2.415 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
2.415 * [taylor]: Taking taylor expansion of 2.0 in x
2.415 * [backup-simplify]: Simplify 2.0 into 2.0
2.415 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
2.415 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.415 * [taylor]: Taking taylor expansion of x in x
2.415 * [backup-simplify]: Simplify 0 into 0
2.415 * [backup-simplify]: Simplify 1 into 1
2.416 * [backup-simplify]: Simplify (/ 1 1) into 1
2.416 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.416 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.416 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.416 * [taylor]: Taking taylor expansion of -1 in x
2.416 * [backup-simplify]: Simplify -1 into -1
2.416 * [taylor]: Taking taylor expansion of x in x
2.416 * [backup-simplify]: Simplify 0 into 0
2.416 * [backup-simplify]: Simplify 1 into 1
2.416 * [backup-simplify]: Simplify (/ -1 1) into -1
2.417 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.417 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
2.417 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
2.417 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
2.417 * [backup-simplify]: Simplify (+ 0 0) into 0
2.418 * [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
2.418 * [backup-simplify]: Simplify 0 into 0
2.418 * [backup-simplify]: Simplify (+ 0 0) into 0
2.419 * [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
2.419 * [backup-simplify]: Simplify 0 into 0
2.420 * [backup-simplify]: Simplify (+ 0 0) into 0
2.420 * [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
2.420 * [backup-simplify]: Simplify 0 into 0
2.421 * [backup-simplify]: Simplify (+ 0 0) into 0
2.422 * [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
2.422 * [backup-simplify]: Simplify 0 into 0
2.422 * [backup-simplify]: Simplify (+ 0 0) into 0
2.424 * [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
2.424 * [backup-simplify]: Simplify 0 into 0
2.424 * [backup-simplify]: Simplify (+ 0 0) into 0
2.425 * [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
2.425 * [backup-simplify]: Simplify 0 into 0
2.426 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2.0 (+ (exp (* -1 x)) (exp x)))
2.426 * * * [progress]: simplifying candidates
2.428 * [simplify]: Simplifying:
  (log (* (cbrt (exp (/ 2.0 (+ (exp x) (exp (- x)))))) (cbrt (exp (/ 2.0 (+ (exp x) (exp (- x))))))))
  (log (cbrt (exp (/ 2.0 (+ (exp x) (exp (- x)))))))
  (log (sqrt (exp (/ 2.0 (+ (exp x) (exp (- x)))))))
  (log (sqrt (exp (/ 2.0 (+ (exp x) (exp (- x)))))))
  (log 1)
  (log (exp (/ 2.0 (+ (exp x) (exp (- x))))))
  (log (exp (/ 2.0 (+ (exp x) (exp (- x))))))
  (log (exp (* (cbrt (/ 2.0 (+ (exp x) (exp (- x))))) (cbrt (/ 2.0 (+ (exp x) (exp (- x))))))))
  (log (exp (sqrt (/ 2.0 (+ (exp x) (exp (- x)))))))
  (log (exp (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))))
  (log (exp (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ (exp x) (exp (- x)))))))
  (log (exp (/ (* (cbrt 2.0) (cbrt 2.0)) 1)))
  (log (exp (/ (* (cbrt 2.0) (cbrt 2.0)) 1)))
  (log (exp (/ (sqrt 2.0) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))))
  (log (exp (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))))
  (log (exp (/ (sqrt 2.0) 1)))
  (log (exp (/ (sqrt 2.0) 1)))
  (log (exp (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))))
  (log (exp (/ 1 (sqrt (+ (exp x) (exp (- x)))))))
  (log (exp (/ 1 1)))
  (log (exp (/ 1 1)))
  (log (exp 1))
  (log (exp 2.0))
  (log (exp (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))))
  (log (exp (/ 2.0 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))))
  (log (log (exp (/ 2.0 (+ (exp x) (exp (- x)))))))
  (exp (log (exp (/ 2.0 (+ (exp x) (exp (- x)))))))
  (* (cbrt (log (exp (/ 2.0 (+ (exp x) (exp (- x))))))) (cbrt (log (exp (/ 2.0 (+ (exp x) (exp (- x))))))))
  (cbrt (log (exp (/ 2.0 (+ (exp x) (exp (- x)))))))
  (* (* (log (exp (/ 2.0 (+ (exp x) (exp (- x)))))) (log (exp (/ 2.0 (+ (exp x) (exp (- x))))))) (log (exp (/ 2.0 (+ (exp x) (exp (- x)))))))
  (sqrt (log (exp (/ 2.0 (+ (exp x) (exp (- x)))))))
  (sqrt (log (exp (/ 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)))))
  (- (+ (* 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)))
  (- (+ (* 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)))
2.430 * * [simplify]: iteration 0: 123 enodes
2.472 * * [simplify]: iteration 1: 226 enodes
2.545 * * [simplify]: iteration 2: 694 enodes
3.089 * * [simplify]: iteration 3: 4020 enodes
4.226 * * [simplify]: iteration complete: 5000 enodes
4.226 * * [simplify]: Extracting #0: cost 39 inf + 0
4.227 * * [simplify]: Extracting #1: cost 281 inf + 7
4.228 * * [simplify]: Extracting #2: cost 691 inf + 71
4.233 * * [simplify]: Extracting #3: cost 1676 inf + 203
4.240 * * [simplify]: Extracting #4: cost 1368 inf + 3057
4.247 * * [simplify]: Extracting #5: cost 442 inf + 10372
4.262 * * [simplify]: Extracting #6: cost 54 inf + 14948
4.273 * * [simplify]: Extracting #7: cost 4 inf + 15707
4.281 * * [simplify]: Extracting #8: cost 0 inf + 15792
4.287 * [simplify]: Simplified to:
  (* (log (cbrt (exp (/ 2.0 (+ (exp x) (exp (- x))))))) 2)
  (log (cbrt (exp (/ 2.0 (+ (exp x) (exp (- x)))))))
  (log (sqrt (exp (/ 2.0 (+ (exp x) (exp (- x)))))))
  (log (sqrt (exp (/ 2.0 (+ (exp x) (exp (- x)))))))
  0
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 2.0 (+ (exp x) (exp (- x))))
  (* (cbrt (/ 2.0 (+ (exp x) (exp (- x))))) (cbrt (/ 2.0 (+ (exp x) (exp (- x))))))
  (sqrt (/ 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) (/ (sqrt (+ (exp x) (exp (- x)))) (cbrt 2.0)))
  (* (cbrt 2.0) (cbrt 2.0))
  (* (cbrt 2.0) (cbrt 2.0))
  (/ (sqrt 2.0) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))
  (sqrt 2.0)
  (sqrt 2.0)
  (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ 1 (sqrt (+ (exp x) (exp (- x)))))
  1
  1
  1
  2.0
  (/ 2.0 (+ (pow (exp x) 3) (exp (* x -3))))
  (/ 2.0 (- (pow (exp 2) x) (pow (exp x) -2)))
  (log (/ 2.0 (+ (exp x) (exp (- x)))))
  (exp (/ 2.0 (+ (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)))))
  (pow (/ 2.0 (+ (exp x) (exp (- x)))) 3)
  (sqrt (/ 2.0 (+ (exp x) (exp (- x)))))
  (sqrt (/ 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 2.0)) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))))
  (/ (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 (- (pow (exp 2) x) (pow (exp x) -2)))
  (+ (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)) 1.0)
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 2.0 (+ (exp x) (exp (- x))))
  (+ (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)) 1.0)
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 2.0 (+ (exp x) (exp (- x))))
4.288 * * * [progress]: adding candidates to table
4.575 * * [progress]: iteration 3 / 4
4.575 * * * [progress]: picking best candidate
4.580 * * * * [pick]: Picked  #<alt (λ (x) (+ (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)) 1.0))>
4.580 * * * [progress]: localizing error
4.593 * * * [progress]: generating rewritten candidates
4.593 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2 1)
4.605 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
4.694 * * * [progress]: generating series expansions
4.694 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2 1)
4.694 * [backup-simplify]: Simplify (* x (* x 0.20833333333333334)) into (* 0.20833333333333334 (pow x 2))
4.694 * [approximate]: Taking taylor expansion of (* 0.20833333333333334 (pow x 2)) in (x) around 0
4.694 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (pow x 2)) in x
4.694 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
4.694 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
4.694 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.694 * [taylor]: Taking taylor expansion of x in x
4.694 * [backup-simplify]: Simplify 0 into 0
4.694 * [backup-simplify]: Simplify 1 into 1
4.694 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (pow x 2)) in x
4.694 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
4.694 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
4.694 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.694 * [taylor]: Taking taylor expansion of x in x
4.694 * [backup-simplify]: Simplify 0 into 0
4.694 * [backup-simplify]: Simplify 1 into 1
4.695 * [backup-simplify]: Simplify (* 1 1) into 1
4.696 * [backup-simplify]: Simplify (* 0.20833333333333334 1) into 0.20833333333333334
4.696 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
4.696 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.697 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (* 0 1)) into 0
4.697 * [backup-simplify]: Simplify 0 into 0
4.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.699 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (* 0 1))) into 0
4.699 * [backup-simplify]: Simplify 0 into 0
4.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.701 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.701 * [backup-simplify]: Simplify 0 into 0
4.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.704 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.704 * [backup-simplify]: Simplify 0 into 0
4.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.707 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.707 * [backup-simplify]: Simplify 0 into 0
4.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.710 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.711 * [backup-simplify]: Simplify 0 into 0
4.711 * [backup-simplify]: Simplify (* 0.20833333333333334 (pow x 2)) into (* 0.20833333333333334 (pow x 2))
4.711 * [backup-simplify]: Simplify (* (/ 1 x) (* (/ 1 x) 0.20833333333333334)) into (/ 0.20833333333333334 (pow x 2))
4.711 * [approximate]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 2)) in (x) around 0
4.711 * [taylor]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 2)) in x
4.711 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
4.711 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
4.711 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.711 * [taylor]: Taking taylor expansion of x in x
4.711 * [backup-simplify]: Simplify 0 into 0
4.711 * [backup-simplify]: Simplify 1 into 1
4.712 * [backup-simplify]: Simplify (* 1 1) into 1
4.712 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
4.712 * [taylor]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 2)) in x
4.712 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
4.712 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
4.712 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.712 * [taylor]: Taking taylor expansion of x in x
4.712 * [backup-simplify]: Simplify 0 into 0
4.713 * [backup-simplify]: Simplify 1 into 1
4.713 * [backup-simplify]: Simplify (* 1 1) into 1
4.713 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
4.713 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
4.714 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.715 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)))) into 0
4.715 * [backup-simplify]: Simplify 0 into 0
4.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.717 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.717 * [backup-simplify]: Simplify 0 into 0
4.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.719 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.719 * [backup-simplify]: Simplify 0 into 0
4.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.721 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.721 * [backup-simplify]: Simplify 0 into 0
4.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.724 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.724 * [backup-simplify]: Simplify 0 into 0
4.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.726 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.726 * [backup-simplify]: Simplify 0 into 0
4.727 * [backup-simplify]: Simplify (* 0.20833333333333334 (pow (/ 1 (/ 1 x)) 2)) into (* 0.20833333333333334 (pow x 2))
4.727 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (/ 1 (- x)) 0.20833333333333334)) into (/ 0.20833333333333334 (pow x 2))
4.727 * [approximate]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 2)) in (x) around 0
4.727 * [taylor]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 2)) in x
4.727 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
4.727 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
4.727 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.727 * [taylor]: Taking taylor expansion of x in x
4.727 * [backup-simplify]: Simplify 0 into 0
4.727 * [backup-simplify]: Simplify 1 into 1
4.727 * [backup-simplify]: Simplify (* 1 1) into 1
4.728 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
4.728 * [taylor]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 2)) in x
4.728 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
4.728 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
4.728 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.728 * [taylor]: Taking taylor expansion of x in x
4.728 * [backup-simplify]: Simplify 0 into 0
4.728 * [backup-simplify]: Simplify 1 into 1
4.728 * [backup-simplify]: Simplify (* 1 1) into 1
4.729 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
4.729 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
4.729 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.730 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)))) into 0
4.730 * [backup-simplify]: Simplify 0 into 0
4.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.732 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.732 * [backup-simplify]: Simplify 0 into 0
4.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.734 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.734 * [backup-simplify]: Simplify 0 into 0
4.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.736 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.737 * [backup-simplify]: Simplify 0 into 0
4.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.739 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.739 * [backup-simplify]: Simplify 0 into 0
4.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.741 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.741 * [backup-simplify]: Simplify 0 into 0
4.742 * [backup-simplify]: Simplify (* 0.20833333333333334 (pow (/ 1 (/ 1 (- x))) 2)) into (* 0.20833333333333334 (pow x 2))
4.742 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
4.742 * [backup-simplify]: Simplify (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)) into (* (pow x 2) (- (* 0.20833333333333334 (pow x 2)) 0.5))
4.742 * [approximate]: Taking taylor expansion of (* (pow x 2) (- (* 0.20833333333333334 (pow x 2)) 0.5)) in (x) around 0
4.742 * [taylor]: Taking taylor expansion of (* (pow x 2) (- (* 0.20833333333333334 (pow x 2)) 0.5)) in x
4.742 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.742 * [taylor]: Taking taylor expansion of x in x
4.742 * [backup-simplify]: Simplify 0 into 0
4.742 * [backup-simplify]: Simplify 1 into 1
4.742 * [taylor]: Taking taylor expansion of (- (* 0.20833333333333334 (pow x 2)) 0.5) in x
4.742 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (pow x 2)) in x
4.742 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
4.742 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
4.742 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.742 * [taylor]: Taking taylor expansion of x in x
4.742 * [backup-simplify]: Simplify 0 into 0
4.742 * [backup-simplify]: Simplify 1 into 1
4.742 * [taylor]: Taking taylor expansion of 0.5 in x
4.742 * [backup-simplify]: Simplify 0.5 into 0.5
4.742 * [taylor]: Taking taylor expansion of (* (pow x 2) (- (* 0.20833333333333334 (pow x 2)) 0.5)) in x
4.742 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.742 * [taylor]: Taking taylor expansion of x in x
4.742 * [backup-simplify]: Simplify 0 into 0
4.743 * [backup-simplify]: Simplify 1 into 1
4.743 * [taylor]: Taking taylor expansion of (- (* 0.20833333333333334 (pow x 2)) 0.5) in x
4.743 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (pow x 2)) in x
4.743 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
4.743 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
4.743 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.743 * [taylor]: Taking taylor expansion of x in x
4.743 * [backup-simplify]: Simplify 0 into 0
4.743 * [backup-simplify]: Simplify 1 into 1
4.743 * [taylor]: Taking taylor expansion of 0.5 in x
4.743 * [backup-simplify]: Simplify 0.5 into 0.5
4.743 * [backup-simplify]: Simplify (* 1 1) into 1
4.744 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.744 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
4.745 * [backup-simplify]: Simplify (* 1 (- 0.5)) into -0.5
4.745 * [backup-simplify]: Simplify -0.5 into -0.5
4.746 * [backup-simplify]: Simplify (- 0) into 0
4.746 * [backup-simplify]: Simplify (+ 0 0) into 0
4.747 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.747 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- 0.5))) into 0
4.747 * [backup-simplify]: Simplify 0 into 0
4.748 * [backup-simplify]: Simplify (* 1 1) into 1
4.748 * [backup-simplify]: Simplify (* 0.20833333333333334 1) into 0.20833333333333334
4.749 * [backup-simplify]: Simplify (- 0) into 0
4.749 * [backup-simplify]: Simplify (+ 0.20833333333333334 0) into 0.20833333333333334
4.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.752 * [backup-simplify]: Simplify (+ (* 1 0.20833333333333334) (+ (* 0 0) (* 0 (- 0.5)))) into 0.20833333333333334
4.752 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
4.753 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.754 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (* 0 1)) into 0
4.754 * [backup-simplify]: Simplify (- 0) into 0
4.754 * [backup-simplify]: Simplify (+ 0 0) into 0
4.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0.20833333333333334) (+ (* 0 0) (* 0 (- 0.5))))) into 0
4.757 * [backup-simplify]: Simplify 0 into 0
4.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.759 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (* 0 1))) into 0
4.759 * [backup-simplify]: Simplify (- 0) into 0
4.760 * [backup-simplify]: Simplify (+ 0 0) into 0
4.761 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.763 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0.20833333333333334) (+ (* 0 0) (* 0 (- 0.5)))))) into 0
4.763 * [backup-simplify]: Simplify 0 into 0
4.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.765 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.765 * [backup-simplify]: Simplify (- 0) into 0
4.766 * [backup-simplify]: Simplify (+ 0 0) into 0
4.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.20833333333333334) (+ (* 0 0) (* 0 (- 0.5))))))) into 0
4.770 * [backup-simplify]: Simplify 0 into 0
4.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.772 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.772 * [backup-simplify]: Simplify (- 0) into 0
4.773 * [backup-simplify]: Simplify (+ 0 0) into 0
4.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.20833333333333334) (+ (* 0 0) (* 0 (- 0.5)))))))) into 0
4.776 * [backup-simplify]: Simplify 0 into 0
4.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.778 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.779 * [backup-simplify]: Simplify (- 0) into 0
4.779 * [backup-simplify]: Simplify (+ 0 0) into 0
4.781 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.20833333333333334) (+ (* 0 0) (* 0 (- 0.5))))))))) into 0
4.783 * [backup-simplify]: Simplify 0 into 0
4.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.785 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.786 * [backup-simplify]: Simplify (- 0) into 0
4.786 * [backup-simplify]: Simplify (+ 0 0) into 0
4.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
4.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.20833333333333334) (+ (* 0 0) (* 0 (- 0.5)))))))))) into 0
4.790 * [backup-simplify]: Simplify 0 into 0
4.791 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 (pow x 4)) (* -0.5 (pow x 2))) into (- (* 0.20833333333333334 (pow x 4)) (* 0.5 (pow x 2)))
4.791 * [backup-simplify]: Simplify (* (pow (/ 1 x) 2) (- (* (/ 1 x) (* (/ 1 x) 0.20833333333333334)) 0.5)) into (/ (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) (pow x 2))
4.791 * [approximate]: Taking taylor expansion of (/ (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) (pow x 2)) in (x) around 0
4.791 * [taylor]: Taking taylor expansion of (/ (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) (pow x 2)) in x
4.791 * [taylor]: Taking taylor expansion of (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) in x
4.791 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (/ 1 (pow x 2))) in x
4.791 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
4.791 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
4.791 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.791 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.791 * [taylor]: Taking taylor expansion of x in x
4.791 * [backup-simplify]: Simplify 0 into 0
4.791 * [backup-simplify]: Simplify 1 into 1
4.792 * [backup-simplify]: Simplify (* 1 1) into 1
4.792 * [backup-simplify]: Simplify (/ 1 1) into 1
4.792 * [taylor]: Taking taylor expansion of 0.5 in x
4.792 * [backup-simplify]: Simplify 0.5 into 0.5
4.792 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.792 * [taylor]: Taking taylor expansion of x in x
4.792 * [backup-simplify]: Simplify 0 into 0
4.792 * [backup-simplify]: Simplify 1 into 1
4.792 * [backup-simplify]: Simplify (* 0.20833333333333334 1) into 0.20833333333333334
4.793 * [backup-simplify]: Simplify (+ 0.20833333333333334 0) into 0.20833333333333334
4.793 * [backup-simplify]: Simplify (* 1 1) into 1
4.794 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
4.794 * [taylor]: Taking taylor expansion of (/ (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) (pow x 2)) in x
4.794 * [taylor]: Taking taylor expansion of (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) in x
4.794 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (/ 1 (pow x 2))) in x
4.794 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
4.794 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
4.794 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.794 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.794 * [taylor]: Taking taylor expansion of x in x
4.794 * [backup-simplify]: Simplify 0 into 0
4.794 * [backup-simplify]: Simplify 1 into 1
4.794 * [backup-simplify]: Simplify (* 1 1) into 1
4.794 * [backup-simplify]: Simplify (/ 1 1) into 1
4.795 * [taylor]: Taking taylor expansion of 0.5 in x
4.795 * [backup-simplify]: Simplify 0.5 into 0.5
4.795 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.795 * [taylor]: Taking taylor expansion of x in x
4.795 * [backup-simplify]: Simplify 0 into 0
4.795 * [backup-simplify]: Simplify 1 into 1
4.795 * [backup-simplify]: Simplify (* 0.20833333333333334 1) into 0.20833333333333334
4.795 * [backup-simplify]: Simplify (+ 0.20833333333333334 0) into 0.20833333333333334
4.796 * [backup-simplify]: Simplify (* 1 1) into 1
4.796 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
4.796 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
4.797 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.797 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.798 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (* 0 1)) into 0
4.798 * [backup-simplify]: Simplify (+ 0 0) into 0
4.799 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.800 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)))) into 0
4.800 * [backup-simplify]: Simplify 0 into 0
4.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.807 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (* 0 1))) into 0
4.808 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.808 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
4.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.812 * [backup-simplify]: Simplify (- (/ (- 0.5) 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)))) into (- 0.5)
4.812 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.814 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.815 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.815 * [backup-simplify]: Simplify (- 0) into 0
4.816 * [backup-simplify]: Simplify (+ 0 0) into 0
4.817 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.818 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* (- 0.5) (/ 0 1)))) into 0
4.818 * [backup-simplify]: Simplify 0 into 0
4.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.822 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.822 * [backup-simplify]: Simplify (- 0) into 0
4.822 * [backup-simplify]: Simplify (+ 0 0) into 0
4.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.825 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* (- 0.5) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.825 * [backup-simplify]: Simplify 0 into 0
4.826 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.828 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.828 * [backup-simplify]: Simplify (- 0) into 0
4.828 * [backup-simplify]: Simplify (+ 0 0) into 0
4.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.831 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* (- 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.831 * [backup-simplify]: Simplify 0 into 0
4.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.835 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.835 * [backup-simplify]: Simplify (- 0) into 0
4.835 * [backup-simplify]: Simplify (+ 0 0) into 0
4.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* (- 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.838 * [backup-simplify]: Simplify 0 into 0
4.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.840 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.842 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.843 * [backup-simplify]: Simplify (- 0) into 0
4.843 * [backup-simplify]: Simplify (+ 0 0) into 0
4.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.847 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* (- 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.847 * [backup-simplify]: Simplify 0 into 0
4.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
4.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.851 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
4.852 * [backup-simplify]: Simplify (- 0) into 0
4.852 * [backup-simplify]: Simplify (+ 0 0) into 0
4.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
4.856 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* (- 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.856 * [backup-simplify]: Simplify 0 into 0
4.857 * [backup-simplify]: Simplify (+ (* (- 0.5) (pow (/ 1 (/ 1 x)) 2)) (* 0.20833333333333334 (pow (/ 1 (/ 1 x)) 4))) into (- (* 0.20833333333333334 (pow x 4)) (* 0.5 (pow x 2)))
4.857 * [backup-simplify]: Simplify (* (pow (/ 1 (- x)) 2) (- (* (/ 1 (- x)) (* (/ 1 (- x)) 0.20833333333333334)) 0.5)) into (/ (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) (pow x 2))
4.857 * [approximate]: Taking taylor expansion of (/ (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) (pow x 2)) in (x) around 0
4.857 * [taylor]: Taking taylor expansion of (/ (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) (pow x 2)) in x
4.857 * [taylor]: Taking taylor expansion of (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) in x
4.857 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (/ 1 (pow x 2))) in x
4.857 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
4.857 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
4.857 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.857 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.857 * [taylor]: Taking taylor expansion of x in x
4.857 * [backup-simplify]: Simplify 0 into 0
4.857 * [backup-simplify]: Simplify 1 into 1
4.858 * [backup-simplify]: Simplify (* 1 1) into 1
4.858 * [backup-simplify]: Simplify (/ 1 1) into 1
4.858 * [taylor]: Taking taylor expansion of 0.5 in x
4.858 * [backup-simplify]: Simplify 0.5 into 0.5
4.858 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.858 * [taylor]: Taking taylor expansion of x in x
4.858 * [backup-simplify]: Simplify 0 into 0
4.858 * [backup-simplify]: Simplify 1 into 1
4.858 * [backup-simplify]: Simplify (* 0.20833333333333334 1) into 0.20833333333333334
4.859 * [backup-simplify]: Simplify (+ 0.20833333333333334 0) into 0.20833333333333334
4.859 * [backup-simplify]: Simplify (* 1 1) into 1
4.859 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
4.859 * [taylor]: Taking taylor expansion of (/ (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) (pow x 2)) in x
4.859 * [taylor]: Taking taylor expansion of (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) in x
4.859 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (/ 1 (pow x 2))) in x
4.859 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
4.859 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
4.859 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.859 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.859 * [taylor]: Taking taylor expansion of x in x
4.859 * [backup-simplify]: Simplify 0 into 0
4.860 * [backup-simplify]: Simplify 1 into 1
4.860 * [backup-simplify]: Simplify (* 1 1) into 1
4.860 * [backup-simplify]: Simplify (/ 1 1) into 1
4.860 * [taylor]: Taking taylor expansion of 0.5 in x
4.860 * [backup-simplify]: Simplify 0.5 into 0.5
4.860 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.860 * [taylor]: Taking taylor expansion of x in x
4.860 * [backup-simplify]: Simplify 0 into 0
4.860 * [backup-simplify]: Simplify 1 into 1
4.860 * [backup-simplify]: Simplify (* 0.20833333333333334 1) into 0.20833333333333334
4.861 * [backup-simplify]: Simplify (+ 0.20833333333333334 0) into 0.20833333333333334
4.861 * [backup-simplify]: Simplify (* 1 1) into 1
4.861 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
4.861 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
4.862 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.863 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (* 0 1)) into 0
4.863 * [backup-simplify]: Simplify (+ 0 0) into 0
4.863 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.864 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)))) into 0
4.864 * [backup-simplify]: Simplify 0 into 0
4.864 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.865 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.865 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (* 0 1))) into 0
4.866 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.866 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
4.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.869 * [backup-simplify]: Simplify (- (/ (- 0.5) 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)))) into (- 0.5)
4.869 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.871 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.871 * [backup-simplify]: Simplify (- 0) into 0
4.871 * [backup-simplify]: Simplify (+ 0 0) into 0
4.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.873 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* (- 0.5) (/ 0 1)))) into 0
4.873 * [backup-simplify]: Simplify 0 into 0
4.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.875 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.875 * [backup-simplify]: Simplify (- 0) into 0
4.875 * [backup-simplify]: Simplify (+ 0 0) into 0
4.876 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.877 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* (- 0.5) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.877 * [backup-simplify]: Simplify 0 into 0
4.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.879 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.879 * [backup-simplify]: Simplify (- 0) into 0
4.879 * [backup-simplify]: Simplify (+ 0 0) into 0
4.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.881 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* (- 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.881 * [backup-simplify]: Simplify 0 into 0
4.882 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.883 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.884 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.884 * [backup-simplify]: Simplify (- 0) into 0
4.884 * [backup-simplify]: Simplify (+ 0 0) into 0
4.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.886 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* (- 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.886 * [backup-simplify]: Simplify 0 into 0
4.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.889 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.891 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.891 * [backup-simplify]: Simplify (- 0) into 0
4.892 * [backup-simplify]: Simplify (+ 0 0) into 0
4.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.895 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* (- 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.895 * [backup-simplify]: Simplify 0 into 0
4.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
4.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.900 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
4.901 * [backup-simplify]: Simplify (- 0) into 0
4.901 * [backup-simplify]: Simplify (+ 0 0) into 0
4.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
4.905 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* (- 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.905 * [backup-simplify]: Simplify 0 into 0
4.905 * [backup-simplify]: Simplify (+ (* (- 0.5) (pow (/ 1 (/ 1 (- x))) 2)) (* 0.20833333333333334 (pow (/ 1 (/ 1 (- x))) 4))) into (- (* 0.20833333333333334 (pow x 4)) (* 0.5 (pow x 2)))
4.906 * * * [progress]: simplifying candidates
4.907 * [simplify]: Simplifying:
  (* x (* x 0.20833333333333334))
  (* x (* x 0.20833333333333334))
  (+ (log x) (+ (log x) (log 0.20833333333333334)))
  (+ (log x) (log (* x 0.20833333333333334)))
  (log (* x (* x 0.20833333333333334)))
  (exp (* x (* x 0.20833333333333334)))
  (* (* (* x x) x) (* (* (* x x) x) (* (* 0.20833333333333334 0.20833333333333334) 0.20833333333333334)))
  (* (* (* x x) x) (* (* (* x 0.20833333333333334) (* x 0.20833333333333334)) (* x 0.20833333333333334)))
  (* (cbrt (* x (* x 0.20833333333333334))) (cbrt (* x (* x 0.20833333333333334))))
  (cbrt (* x (* x 0.20833333333333334)))
  (* (* (* x (* x 0.20833333333333334)) (* x (* x 0.20833333333333334))) (* x (* x 0.20833333333333334)))
  (sqrt (* x (* x 0.20833333333333334)))
  (sqrt (* x (* x 0.20833333333333334)))
  (* x x)
  (* (cbrt x) (* x 0.20833333333333334))
  (* (sqrt x) (* x 0.20833333333333334))
  (* x (* x 0.20833333333333334))
  (+ (* (log x) 2) (log (- (* x (* x 0.20833333333333334)) 0.5)))
  (+ (* (log x) 2) (log (- (* x (* x 0.20833333333333334)) 0.5)))
  (+ (log (pow x 2)) (log (- (* x (* x 0.20833333333333334)) 0.5)))
  (log (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)))
  (exp (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)))
  (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* (- (* x (* x 0.20833333333333334)) 0.5) (- (* x (* x 0.20833333333333334)) 0.5)) (- (* x (* x 0.20833333333333334)) 0.5)))
  (* (cbrt (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5))) (cbrt (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5))))
  (cbrt (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)))
  (* (* (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)) (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5))) (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)))
  (sqrt (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)))
  (sqrt (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)))
  (* (pow (sqrt x) 2) (sqrt (- (* x (* x 0.20833333333333334)) 0.5)))
  (* (pow (sqrt x) 2) (sqrt (- (* x (* x 0.20833333333333334)) 0.5)))
  (* x (sqrt (- (* x (* x 0.20833333333333334)) 0.5)))
  (* x (sqrt (- (* x (* x 0.20833333333333334)) 0.5)))
  (* (sqrt (pow x 2)) (sqrt (- (* x (* x 0.20833333333333334)) 0.5)))
  (* (sqrt (pow x 2)) (sqrt (- (* x (* x 0.20833333333333334)) 0.5)))
  (* (pow x (/ 2 2)) (sqrt (- (* x (* x 0.20833333333333334)) 0.5)))
  (* (pow x (/ 2 2)) (sqrt (- (* x (* x 0.20833333333333334)) 0.5)))
  (* (pow x 2) (* x (* x 0.20833333333333334)))
  (* (pow x 2) (- 0.5))
  (* (pow x 2) (* x (* x 0.20833333333333334)))
  (* (pow x 2) (- 0.5))
  (* (* x (* x 0.20833333333333334)) (pow x 2))
  (* (- 0.5) (pow x 2))
  (* (* x (* x 0.20833333333333334)) (pow x 2))
  (* (- 0.5) (pow x 2))
  (* (pow x 2) (* (cbrt (- (* x (* x 0.20833333333333334)) 0.5)) (cbrt (- (* x (* x 0.20833333333333334)) 0.5))))
  (* (pow x 2) (sqrt (- (* x (* x 0.20833333333333334)) 0.5)))
  (* (pow x 2) 1)
  (* (pow (cbrt x) 2) (- (* x (* x 0.20833333333333334)) 0.5))
  (* (pow (sqrt x) 2) (- (* x (* x 0.20833333333333334)) 0.5))
  (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5))
  (* x (- (* x (* x 0.20833333333333334)) 0.5))
  (* (cbrt (pow x 2)) (- (* x (* x 0.20833333333333334)) 0.5))
  (* (sqrt (pow x 2)) (- (* x (* x 0.20833333333333334)) 0.5))
  (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5))
  (* (pow x (/ 2 2)) (- (* x (* x 0.20833333333333334)) 0.5))
  (* (pow x 2) (- (pow (* x (* x 0.20833333333333334)) 3) (pow 0.5 3)))
  (* (pow x 2) (- (* (* x (* x 0.20833333333333334)) (* x (* x 0.20833333333333334))) (* 0.5 0.5)))
  (* 0.20833333333333334 (pow x 2))
  (* 0.20833333333333334 (pow x 2))
  (* 0.20833333333333334 (pow x 2))
  (- (* 0.20833333333333334 (pow x 4)) (* 0.5 (pow x 2)))
  (- (* 0.20833333333333334 (pow x 4)) (* 0.5 (pow x 2)))
  (- (* 0.20833333333333334 (pow x 4)) (* 0.5 (pow x 2)))
4.909 * * [simplify]: iteration 0: 94 enodes
4.950 * * [simplify]: iteration 1: 226 enodes
5.074 * * [simplify]: iteration 2: 1109 enodes
5.563 * * [simplify]: iteration complete: 5000 enodes
5.563 * * [simplify]: Extracting #0: cost 29 inf + 0
5.565 * * [simplify]: Extracting #1: cost 873 inf + 0
5.571 * * [simplify]: Extracting #2: cost 2057 inf + 86
5.579 * * [simplify]: Extracting #3: cost 1467 inf + 3709
5.601 * * [simplify]: Extracting #4: cost 449 inf + 12489
5.608 * * [simplify]: Extracting #5: cost 58 inf + 18281
5.615 * * [simplify]: Extracting #6: cost 1 inf + 19157
5.622 * * [simplify]: Extracting #7: cost 0 inf + 19162
5.629 * [simplify]: Simplified to:
  (* x (* x 0.20833333333333334))
  (* x (* x 0.20833333333333334))
  (log (* x (* x 0.20833333333333334)))
  (log (* x (* x 0.20833333333333334)))
  (log (* x (* x 0.20833333333333334)))
  (pow (pow (exp 0.20833333333333334) x) x)
  (pow (* x (* x 0.20833333333333334)) 3)
  (pow (* x (* x 0.20833333333333334)) 3)
  (* (cbrt (* x (* x 0.20833333333333334))) (cbrt (* x (* x 0.20833333333333334))))
  (cbrt (* x (* x 0.20833333333333334)))
  (pow (* x (* x 0.20833333333333334)) 3)
  (sqrt (* x (* x 0.20833333333333334)))
  (sqrt (* x (* x 0.20833333333333334)))
  (pow x 2)
  (* (cbrt x) (* x 0.20833333333333334))
  (* x (* 0.20833333333333334 (sqrt x)))
  (* x (* x 0.20833333333333334))
  (log (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)))
  (log (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)))
  (log (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)))
  (log (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)))
  (pow (pow (exp x) x) (- (* x (* x 0.20833333333333334)) 0.5))
  (pow (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)) 3)
  (* (cbrt (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5))) (cbrt (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5))))
  (cbrt (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)))
  (pow (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)) 3)
  (sqrt (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)))
  (sqrt (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)))
  (* x (sqrt (- (* x (* x 0.20833333333333334)) 0.5)))
  (* x (sqrt (- (* x (* x 0.20833333333333334)) 0.5)))
  (* x (sqrt (- (* x (* x 0.20833333333333334)) 0.5)))
  (* x (sqrt (- (* x (* x 0.20833333333333334)) 0.5)))
  (* (fabs x) (sqrt (- (* x (* x 0.20833333333333334)) 0.5)))
  (* (fabs x) (sqrt (- (* x (* x 0.20833333333333334)) 0.5)))
  (* x (sqrt (- (* x (* x 0.20833333333333334)) 0.5)))
  (* x (sqrt (- (* x (* x 0.20833333333333334)) 0.5)))
  (* (pow x 4) 0.20833333333333334)
  (* (* (- 0.5) x) x)
  (* (pow x 4) 0.20833333333333334)
  (* (* (- 0.5) x) x)
  (* (pow x 4) 0.20833333333333334)
  (* (* (- 0.5) x) x)
  (* (pow x 4) 0.20833333333333334)
  (* (* (- 0.5) x) x)
  (* (* (cbrt (- (* x (* x 0.20833333333333334)) 0.5)) (cbrt (- (* x (* x 0.20833333333333334)) 0.5))) (* x x))
  (* (* (sqrt (- (* x (* x 0.20833333333333334)) 0.5)) x) x)
  (pow x 2)
  (* (pow (cbrt x) 2) (- (* x (* x 0.20833333333333334)) 0.5))
  (* (- (* x (* x 0.20833333333333334)) 0.5) x)
  (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5))
  (* (- (* x (* x 0.20833333333333334)) 0.5) x)
  (* (cbrt (pow x 2)) (- (* x (* x 0.20833333333333334)) 0.5))
  (* (fabs x) (- (* x (* x 0.20833333333333334)) 0.5))
  (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5))
  (* (- (* x (* x 0.20833333333333334)) 0.5) x)
  (* (pow x 2) (- (pow (* x (* x 0.20833333333333334)) 3) (pow 0.5 3)))
  (* (* (- (* (pow x 4) (* 0.20833333333333334 0.20833333333333334)) (* 0.5 0.5)) x) x)
  (* x (* x 0.20833333333333334))
  (* x (* x 0.20833333333333334))
  (* x (* x 0.20833333333333334))
  (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5))
  (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5))
  (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5))
5.629 * * * [progress]: adding candidates to table
5.833 * [progress]: [Phase 3 of 3] Extracting.
5.833 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (log (exp (/ 2.0 (+ (exp x) (exp (- x)))))))> #<alt (λ (x) (+ (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)) 1.0))> #<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))>)
5.833 * * * [regime-changes]: Trying 3 branch expressions: ((+ (exp x) (exp (- x))) (/ 2.0 (+ (exp x) (exp (- x)))) x)
5.833 * * * * [regimes]: Trying to branch on (+ (exp x) (exp (- x))) from (#<alt (λ (x) (log (exp (/ 2.0 (+ (exp x) (exp (- x)))))))> #<alt (λ (x) (+ (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)) 1.0))> #<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))>)
5.871 * * * * [regimes]: Trying to branch on (/ 2.0 (+ (exp x) (exp (- x)))) from (#<alt (λ (x) (log (exp (/ 2.0 (+ (exp x) (exp (- x)))))))> #<alt (λ (x) (+ (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)) 1.0))> #<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))>)
5.900 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (log (exp (/ 2.0 (+ (exp x) (exp (- x)))))))> #<alt (λ (x) (+ (* (pow x 2) (- (* x (* x 0.20833333333333334)) 0.5)) 1.0))> #<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))>)
5.952 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
5.953 * [simplify]: Simplifying:
  (/ 2.0 (+ (exp x) (exp (- x))))
5.953 * * [simplify]: iteration 0: 7 enodes
5.953 * * [simplify]: iteration 1: 8 enodes
5.954 * * [simplify]: iteration complete: 8 enodes
5.954 * * [simplify]: Extracting #0: cost 1 inf + 0
5.954 * * [simplify]: Extracting #1: cost 3 inf + 0
5.954 * * [simplify]: Extracting #2: cost 4 inf + 1
5.954 * * [simplify]: Extracting #3: cost 6 inf + 1
5.954 * * [simplify]: Extracting #4: cost 0 inf + 23
5.954 * [simplify]: Simplified to:
  (/ 2.0 (+ (exp x) (exp (- x))))
7.389 * [regime-testing]: Baseline error score: 0.009501187648456057
7.391 * [regime-testing]: Oracle error score: 0.004250531316414552
7.396 * [regime-testing]: End program error score: 0.009501187648456057