56.027 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.029 * [progress]: [Phase 2 of 3] Improving.
0.029 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))>
0.029 * [simplify]: Simplifying:
  (/ 2.0 (+ (exp x) (exp (- x))))
0.030 * * [simplify]: iteration 0: 7 enodes
0.033 * * [simplify]: iteration 1: 10 enodes
0.037 * * [simplify]: iteration 2: 12 enodes
0.042 * * [simplify]: iteration complete: 12 enodes
0.042 * * [simplify]: Extracting #0: cost 1 inf + 0
0.042 * * [simplify]: Extracting #1: cost 3 inf + 0
0.042 * * [simplify]: Extracting #2: cost 4 inf + 1
0.042 * * [simplify]: Extracting #3: cost 7 inf + 1
0.042 * * [simplify]: Extracting #4: cost 0 inf + 709
0.042 * [simplify]: Simplified to:
  (/ 2.0 (+ (exp x) (exp (- x))))
0.043 * * [progress]: iteration 1 / 4
0.043 * * * [progress]: picking best candidate
0.050 * * * * [pick]: Picked  #<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))>
0.050 * * * [progress]: localizing error
0.074 * * * [progress]: generating rewritten candidates
0.074 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.130 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.162 * * * [progress]: generating series expansions
0.162 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.163 * [backup-simplify]: Simplify (/ 2.0 (+ (exp x) (exp (- x)))) into (/ 2.0 (+ (exp x) (exp (- x))))
0.163 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in (x) around 0
0.163 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x
0.163 * [taylor]: Taking taylor expansion of 2.0 in x
0.163 * [backup-simplify]: Simplify 2.0 into 2.0
0.163 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.163 * [taylor]: Taking taylor expansion of (exp x) in x
0.163 * [taylor]: Taking taylor expansion of x in x
0.163 * [backup-simplify]: Simplify 0 into 0
0.163 * [backup-simplify]: Simplify 1 into 1
0.163 * [backup-simplify]: Simplify (exp 0) into 1
0.163 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.163 * [taylor]: Taking taylor expansion of (- x) in x
0.163 * [taylor]: Taking taylor expansion of x in x
0.163 * [backup-simplify]: Simplify 0 into 0
0.163 * [backup-simplify]: Simplify 1 into 1
0.164 * [backup-simplify]: Simplify (- 0) into 0
0.164 * [backup-simplify]: Simplify (- 1) into -1
0.164 * [backup-simplify]: Simplify (exp 0) into 1
0.164 * [backup-simplify]: Simplify (+ 1 1) into 2
0.165 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
0.165 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp x) (exp (- x)))) in x
0.165 * [taylor]: Taking taylor expansion of 2.0 in x
0.165 * [backup-simplify]: Simplify 2.0 into 2.0
0.165 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.165 * [taylor]: Taking taylor expansion of (exp x) in x
0.165 * [taylor]: Taking taylor expansion of x in x
0.165 * [backup-simplify]: Simplify 0 into 0
0.165 * [backup-simplify]: Simplify 1 into 1
0.165 * [backup-simplify]: Simplify (exp 0) into 1
0.165 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.165 * [taylor]: Taking taylor expansion of (- x) in x
0.165 * [taylor]: Taking taylor expansion of x in x
0.165 * [backup-simplify]: Simplify 0 into 0
0.165 * [backup-simplify]: Simplify 1 into 1
0.165 * [backup-simplify]: Simplify (- 0) into 0
0.165 * [backup-simplify]: Simplify (- 1) into -1
0.165 * [backup-simplify]: Simplify (exp 0) into 1
0.166 * [backup-simplify]: Simplify (+ 1 1) into 2
0.166 * [backup-simplify]: Simplify (/ 2.0 2) into 1.0
0.166 * [backup-simplify]: Simplify 1.0 into 1.0
0.167 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.167 * [backup-simplify]: Simplify (- 1) into -1
0.168 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.168 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.169 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)))) into 0
0.169 * [backup-simplify]: Simplify 0 into 0
0.170 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.170 * [backup-simplify]: Simplify (- 1) into -1
0.170 * [backup-simplify]: Simplify (- 0) into 0
0.172 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.172 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
0.175 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 1 2)) (* 0 (/ 0 2)))) into (- 0.5)
0.175 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.176 * [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.177 * [backup-simplify]: Simplify (- 1) into -1
0.177 * [backup-simplify]: Simplify (- 1) into -1
0.177 * [backup-simplify]: Simplify (- 0) into 0
0.177 * [backup-simplify]: Simplify (- 0) into 0
0.179 * [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.179 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
0.180 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 0 2)) (* 0 (/ 1 2)) (* (- 0.5) (/ 0 2)))) into 0
0.180 * [backup-simplify]: Simplify 0 into 0
0.185 * [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.185 * [backup-simplify]: Simplify (- 1) into -1
0.186 * [backup-simplify]: Simplify (- 1) into -1
0.186 * [backup-simplify]: Simplify (- 0) into 0
0.186 * [backup-simplify]: Simplify (- 1) into -1
0.186 * [backup-simplify]: Simplify (- 0) into 0
0.187 * [backup-simplify]: Simplify (- 0) into 0
0.187 * [backup-simplify]: Simplify (- 0) into 0
0.189 * [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.190 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
0.194 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1.0 (/ 1/12 2)) (* 0 (/ 0 2)) (* (- 0.5) (/ 1 2)) (* 0 (/ 0 2)))) into 0.20833333333333334
0.194 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
0.196 * [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.197 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.197 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
0.197 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
0.197 * [taylor]: Taking taylor expansion of 2.0 in x
0.197 * [backup-simplify]: Simplify 2.0 into 2.0
0.197 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.197 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.197 * [taylor]: Taking taylor expansion of x in x
0.197 * [backup-simplify]: Simplify 0 into 0
0.197 * [backup-simplify]: Simplify 1 into 1
0.197 * [backup-simplify]: Simplify (/ 1 1) into 1
0.198 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.198 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.198 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.198 * [taylor]: Taking taylor expansion of x in x
0.198 * [backup-simplify]: Simplify 0 into 0
0.198 * [backup-simplify]: Simplify 1 into 1
0.198 * [backup-simplify]: Simplify (/ 1 1) into 1
0.199 * [backup-simplify]: Simplify (- 1) into -1
0.199 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
0.200 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.200 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.200 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
0.200 * [taylor]: Taking taylor expansion of 2.0 in x
0.201 * [backup-simplify]: Simplify 2.0 into 2.0
0.201 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.201 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.201 * [taylor]: Taking taylor expansion of x in x
0.201 * [backup-simplify]: Simplify 0 into 0
0.201 * [backup-simplify]: Simplify 1 into 1
0.201 * [backup-simplify]: Simplify (/ 1 1) into 1
0.201 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.201 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.201 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.202 * [taylor]: Taking taylor expansion of x in x
0.202 * [backup-simplify]: Simplify 0 into 0
0.202 * [backup-simplify]: Simplify 1 into 1
0.202 * [backup-simplify]: Simplify (/ 1 1) into 1
0.202 * [backup-simplify]: Simplify (- 1) into -1
0.203 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
0.203 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.204 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.205 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
0.205 * [backup-simplify]: Simplify (+ 0 0) into 0
0.208 * [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.208 * [backup-simplify]: Simplify 0 into 0
0.208 * [backup-simplify]: Simplify (+ 0 0) into 0
0.211 * [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.212 * [backup-simplify]: Simplify 0 into 0
0.212 * [backup-simplify]: Simplify (+ 0 0) into 0
0.216 * [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.216 * [backup-simplify]: Simplify 0 into 0
0.217 * [backup-simplify]: Simplify (+ 0 0) into 0
0.222 * [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.222 * [backup-simplify]: Simplify 0 into 0
0.222 * [backup-simplify]: Simplify (+ 0 0) into 0
0.228 * [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.228 * [backup-simplify]: Simplify 0 into 0
0.229 * [backup-simplify]: Simplify (+ 0 0) into 0
0.234 * [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.235 * [backup-simplify]: Simplify 0 into 0
0.235 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ 2.0 (+ (exp x) (exp (- x))))
0.236 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.236 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
0.236 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
0.236 * [taylor]: Taking taylor expansion of 2.0 in x
0.236 * [backup-simplify]: Simplify 2.0 into 2.0
0.236 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.236 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.236 * [taylor]: Taking taylor expansion of x in x
0.236 * [backup-simplify]: Simplify 0 into 0
0.236 * [backup-simplify]: Simplify 1 into 1
0.236 * [backup-simplify]: Simplify (/ 1 1) into 1
0.236 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.236 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.236 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.236 * [taylor]: Taking taylor expansion of -1 in x
0.236 * [backup-simplify]: Simplify -1 into -1
0.236 * [taylor]: Taking taylor expansion of x in x
0.236 * [backup-simplify]: Simplify 0 into 0
0.236 * [backup-simplify]: Simplify 1 into 1
0.237 * [backup-simplify]: Simplify (/ -1 1) into -1
0.237 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.237 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.238 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.238 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
0.238 * [taylor]: Taking taylor expansion of 2.0 in x
0.238 * [backup-simplify]: Simplify 2.0 into 2.0
0.238 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.238 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.238 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.238 * [taylor]: Taking taylor expansion of x in x
0.238 * [backup-simplify]: Simplify 0 into 0
0.238 * [backup-simplify]: Simplify 1 into 1
0.238 * [backup-simplify]: Simplify (/ 1 1) into 1
0.238 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.238 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.238 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.238 * [taylor]: Taking taylor expansion of -1 in x
0.238 * [backup-simplify]: Simplify -1 into -1
0.238 * [taylor]: Taking taylor expansion of x in x
0.238 * [backup-simplify]: Simplify 0 into 0
0.238 * [backup-simplify]: Simplify 1 into 1
0.239 * [backup-simplify]: Simplify (/ -1 1) into -1
0.239 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.239 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.239 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.240 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2.0 (+ (exp (/ 1 x)) (exp (/ -1 x))))
0.240 * [backup-simplify]: Simplify (+ 0 0) into 0
0.241 * [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.241 * [backup-simplify]: Simplify 0 into 0
0.242 * [backup-simplify]: Simplify (+ 0 0) into 0
0.243 * [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.243 * [backup-simplify]: Simplify 0 into 0
0.244 * [backup-simplify]: Simplify (+ 0 0) into 0
0.246 * [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.246 * [backup-simplify]: Simplify 0 into 0
0.246 * [backup-simplify]: Simplify (+ 0 0) into 0
0.249 * [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.249 * [backup-simplify]: Simplify 0 into 0
0.249 * [backup-simplify]: Simplify (+ 0 0) into 0
0.253 * [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.253 * [backup-simplify]: Simplify 0 into 0
0.254 * [backup-simplify]: Simplify (+ 0 0) into 0
0.259 * [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.259 * [backup-simplify]: Simplify 0 into 0
0.259 * [backup-simplify]: Simplify (/ 2.0 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2.0 (+ (exp (* -1 x)) (exp x)))
0.260 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.260 * [backup-simplify]: Simplify (+ (exp x) (exp (- x))) into (+ (exp x) (exp (- x)))
0.260 * [approximate]: Taking taylor expansion of (+ (exp x) (exp (- x))) in (x) around 0
0.260 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.260 * [taylor]: Taking taylor expansion of (exp x) in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.260 * [backup-simplify]: Simplify 0 into 0
0.260 * [backup-simplify]: Simplify 1 into 1
0.260 * [backup-simplify]: Simplify (exp 0) into 1
0.260 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.260 * [taylor]: Taking taylor expansion of (- x) in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.260 * [backup-simplify]: Simplify 0 into 0
0.260 * [backup-simplify]: Simplify 1 into 1
0.260 * [backup-simplify]: Simplify (- 0) into 0
0.261 * [backup-simplify]: Simplify (- 1) into -1
0.261 * [backup-simplify]: Simplify (exp 0) into 1
0.261 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (- x))) in x
0.261 * [taylor]: Taking taylor expansion of (exp x) in x
0.261 * [taylor]: Taking taylor expansion of x in x
0.261 * [backup-simplify]: Simplify 0 into 0
0.261 * [backup-simplify]: Simplify 1 into 1
0.261 * [backup-simplify]: Simplify (exp 0) into 1
0.261 * [taylor]: Taking taylor expansion of (exp (- x)) in x
0.261 * [taylor]: Taking taylor expansion of (- x) in x
0.261 * [taylor]: Taking taylor expansion of x in x
0.261 * [backup-simplify]: Simplify 0 into 0
0.261 * [backup-simplify]: Simplify 1 into 1
0.261 * [backup-simplify]: Simplify (- 0) into 0
0.261 * [backup-simplify]: Simplify (- 1) into -1
0.261 * [backup-simplify]: Simplify (exp 0) into 1
0.262 * [backup-simplify]: Simplify (+ 1 1) into 2
0.262 * [backup-simplify]: Simplify 2 into 2
0.262 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.263 * [backup-simplify]: Simplify (- 1) into -1
0.263 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.264 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.264 * [backup-simplify]: Simplify 0 into 0
0.265 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.265 * [backup-simplify]: Simplify (- 1) into -1
0.265 * [backup-simplify]: Simplify (- 0) into 0
0.266 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.266 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1
0.266 * [backup-simplify]: Simplify 1 into 1
0.268 * [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.268 * [backup-simplify]: Simplify (- 1) into -1
0.268 * [backup-simplify]: Simplify (- 1) into -1
0.269 * [backup-simplify]: Simplify (- 0) into 0
0.269 * [backup-simplify]: Simplify (- 0) into 0
0.270 * [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.271 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0
0.271 * [backup-simplify]: Simplify 0 into 0
0.273 * [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.274 * [backup-simplify]: Simplify (- 1) into -1
0.274 * [backup-simplify]: Simplify (- 1) into -1
0.274 * [backup-simplify]: Simplify (- 0) into 0
0.274 * [backup-simplify]: Simplify (- 1) into -1
0.275 * [backup-simplify]: Simplify (- 0) into 0
0.275 * [backup-simplify]: Simplify (- 0) into 0
0.275 * [backup-simplify]: Simplify (- 0) into 0
0.277 * [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.278 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12
0.278 * [backup-simplify]: Simplify 1/12 into 1/12
0.278 * [backup-simplify]: Simplify (+ (* 1/12 (pow x 4)) (+ (* 1 (pow x 2)) 2)) into (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
0.279 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.279 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0
0.279 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.279 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.279 * [taylor]: Taking taylor expansion of x in x
0.279 * [backup-simplify]: Simplify 0 into 0
0.279 * [backup-simplify]: Simplify 1 into 1
0.279 * [backup-simplify]: Simplify (/ 1 1) into 1
0.279 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.279 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.280 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.280 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.280 * [taylor]: Taking taylor expansion of x in x
0.280 * [backup-simplify]: Simplify 0 into 0
0.280 * [backup-simplify]: Simplify 1 into 1
0.280 * [backup-simplify]: Simplify (/ 1 1) into 1
0.280 * [backup-simplify]: Simplify (- 1) into -1
0.280 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
0.280 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
0.280 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.280 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.280 * [taylor]: Taking taylor expansion of x in x
0.280 * [backup-simplify]: Simplify 0 into 0
0.280 * [backup-simplify]: Simplify 1 into 1
0.281 * [backup-simplify]: Simplify (/ 1 1) into 1
0.281 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.281 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x
0.281 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.281 * [taylor]: Taking taylor expansion of x in x
0.281 * [backup-simplify]: Simplify 0 into 0
0.281 * [backup-simplify]: Simplify 1 into 1
0.281 * [backup-simplify]: Simplify (/ 1 1) into 1
0.281 * [backup-simplify]: Simplify (- 1) into -1
0.282 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
0.282 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.282 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
0.283 * [backup-simplify]: Simplify (+ 0 0) into 0
0.283 * [backup-simplify]: Simplify 0 into 0
0.283 * [backup-simplify]: Simplify (+ 0 0) into 0
0.283 * [backup-simplify]: Simplify 0 into 0
0.283 * [backup-simplify]: Simplify (+ 0 0) into 0
0.283 * [backup-simplify]: Simplify 0 into 0
0.284 * [backup-simplify]: Simplify (+ 0 0) into 0
0.284 * [backup-simplify]: Simplify 0 into 0
0.284 * [backup-simplify]: Simplify (+ 0 0) into 0
0.284 * [backup-simplify]: Simplify 0 into 0
0.285 * [backup-simplify]: Simplify (+ 0 0) into 0
0.285 * [backup-simplify]: Simplify 0 into 0
0.286 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (+ (exp x) (exp (- x)))
0.286 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.286 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in (x) around 0
0.286 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.286 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.286 * [taylor]: Taking taylor expansion of x in x
0.286 * [backup-simplify]: Simplify 0 into 0
0.287 * [backup-simplify]: Simplify 1 into 1
0.287 * [backup-simplify]: Simplify (/ 1 1) into 1
0.287 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.287 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.287 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.287 * [taylor]: Taking taylor expansion of -1 in x
0.287 * [backup-simplify]: Simplify -1 into -1
0.287 * [taylor]: Taking taylor expansion of x in x
0.287 * [backup-simplify]: Simplify 0 into 0
0.287 * [backup-simplify]: Simplify 1 into 1
0.288 * [backup-simplify]: Simplify (/ -1 1) into -1
0.288 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.288 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.288 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.288 * [taylor]: Taking taylor expansion of x in x
0.288 * [backup-simplify]: Simplify 0 into 0
0.288 * [backup-simplify]: Simplify 1 into 1
0.289 * [backup-simplify]: Simplify (/ 1 1) into 1
0.289 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.289 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.289 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.289 * [taylor]: Taking taylor expansion of -1 in x
0.289 * [backup-simplify]: Simplify -1 into -1
0.289 * [taylor]: Taking taylor expansion of x in x
0.289 * [backup-simplify]: Simplify 0 into 0
0.289 * [backup-simplify]: Simplify 1 into 1
0.290 * [backup-simplify]: Simplify (/ -1 1) into -1
0.290 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.290 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.291 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
0.291 * [backup-simplify]: Simplify (+ 0 0) into 0
0.292 * [backup-simplify]: Simplify 0 into 0
0.292 * [backup-simplify]: Simplify (+ 0 0) into 0
0.292 * [backup-simplify]: Simplify 0 into 0
0.292 * [backup-simplify]: Simplify (+ 0 0) into 0
0.292 * [backup-simplify]: Simplify 0 into 0
0.293 * [backup-simplify]: Simplify (+ 0 0) into 0
0.293 * [backup-simplify]: Simplify 0 into 0
0.293 * [backup-simplify]: Simplify (+ 0 0) into 0
0.293 * [backup-simplify]: Simplify 0 into 0
0.294 * [backup-simplify]: Simplify (+ 0 0) into 0
0.294 * [backup-simplify]: Simplify 0 into 0
0.294 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))) into (+ (exp (* -1 x)) (exp x))
0.295 * * * [progress]: simplifying candidates
0.295 * * * * [progress]: [ 1 / 53 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (/ 2.0 (+ (exp x) (exp (- x)))))))>
0.295 * * * * [progress]: [ 2 / 53 ] simplifiying candidate #<alt (λ (x) (pow (/ 2.0 (+ (exp x) (exp (- x)))) 1))>
0.295 * * * * [progress]: [ 3 / 53 ] simplifiying candidate #<alt (λ (x) (exp (- (log 2.0) (log (+ (exp x) (exp (- x)))))))>
0.295 * * * * [progress]: [ 4 / 53 ] simplifiying candidate #<alt (λ (x) (exp (log (/ 2.0 (+ (exp x) (exp (- x)))))))>
0.295 * * * * [progress]: [ 5 / 53 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2.0 (+ (exp x) (exp (- x)))))))>
0.295 * * * * [progress]: [ 6 / 53 ] simplifiying candidate #<alt (λ (x) (cbrt (/ (* (* 2.0 2.0) 2.0) (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))))>
0.295 * * * * [progress]: [ 7 / 53 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (/ 2.0 (+ (exp x) (exp (- x))))) (cbrt (/ 2.0 (+ (exp x) (exp (- x)))))) (cbrt (/ 2.0 (+ (exp x) (exp (- x)))))))>
0.295 * * * * [progress]: [ 8 / 53 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (/ 2.0 (+ (exp x) (exp (- x)))) (/ 2.0 (+ (exp x) (exp (- x))))) (/ 2.0 (+ (exp x) (exp (- x)))))))>
0.295 * * * * [progress]: [ 9 / 53 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ 2.0 (+ (exp x) (exp (- x))))) (sqrt (/ 2.0 (+ (exp x) (exp (- x)))))))>
0.295 * * * * [progress]: [ 10 / 53 ] simplifiying candidate #<alt (λ (x) (/ (- 2.0) (- (+ (exp x) (exp (- x))))))>
0.295 * * * * [progress]: [ 11 / 53 ] simplifiying candidate #<alt (λ (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)))))))>
0.295 * * * * [progress]: [ 12 / 53 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ (exp x) (exp (- x))))) (/ (cbrt 2.0) (sqrt (+ (exp x) (exp (- x)))))))>
0.295 * * * * [progress]: [ 13 / 53 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (/ (cbrt 2.0) (+ (exp x) (exp (- x))))))>
0.295 * * * * [progress]: [ 14 / 53 ] simplifiying candidate #<alt (λ (x) (* (/ (* (cbrt 2.0) (cbrt 2.0)) 1) (/ (cbrt 2.0) (+ (exp x) (exp (- x))))))>
0.296 * * * * [progress]: [ 15 / 53 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt 2.0) (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ (sqrt 2.0) (cbrt (+ (exp x) (exp (- x)))))))>
0.296 * * * * [progress]: [ 16 / 53 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x))))) (/ (sqrt 2.0) (sqrt (+ (exp x) (exp (- x)))))))>
0.296 * * * * [progress]: [ 17 / 53 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt 2.0) 1) (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))>
0.296 * * * * [progress]: [ 18 / 53 ] simplifiying candidate #<alt (λ (x) (* (/ (sqrt 2.0) 1) (/ (sqrt 2.0) (+ (exp x) (exp (- x))))))>
0.296 * * * * [progress]: [ 19 / 53 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (/ 2.0 (cbrt (+ (exp x) (exp (- x)))))))>
0.296 * * * * [progress]: [ 20 / 53 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (sqrt (+ (exp x) (exp (- x))))) (/ 2.0 (sqrt (+ (exp x) (exp (- x)))))))>
0.296 * * * * [progress]: [ 21 / 53 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ 2.0 (+ (exp x) (exp (- x))))))>
0.296 * * * * [progress]: [ 22 / 53 ] simplifiying candidate #<alt (λ (x) (* (/ 1 1) (/ 2.0 (+ (exp x) (exp (- x))))))>
0.296 * * * * [progress]: [ 23 / 53 ] simplifiying candidate #<alt (λ (x) (* 1 (/ 2.0 (+ (exp x) (exp (- x))))))>
0.296 * * * * [progress]: [ 24 / 53 ] simplifiying candidate #<alt (λ (x) (* 2.0 (/ 1 (+ (exp x) (exp (- x))))))>
0.296 * * * * [progress]: [ 25 / 53 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (+ (exp x) (exp (- x))) 2.0)))>
0.296 * * * * [progress]: [ 26 / 53 ] simplifiying candidate #<alt (λ (x) (/ (/ 2.0 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (cbrt (+ (exp x) (exp (- x))))))>
0.296 * * * * [progress]: [ 27 / 53 ] simplifiying candidate #<alt (λ (x) (/ (/ 2.0 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))))>
0.296 * * * * [progress]: [ 28 / 53 ] simplifiying candidate #<alt (λ (x) (/ (/ 2.0 1) (+ (exp x) (exp (- x)))))>
0.296 * * * * [progress]: [ 29 / 53 ] simplifiying candidate #<alt (λ (x) (/ (/ 2.0 1) (+ (exp x) (exp (- x)))))>
0.296 * * * * [progress]: [ 30 / 53 ] simplifiying candidate #<alt (λ (x) (/ (* (cbrt 2.0) (cbrt 2.0)) (/ (+ (exp x) (exp (- x))) (cbrt 2.0))))>
0.297 * * * * [progress]: [ 31 / 53 ] simplifiying candidate #<alt (λ (x) (/ (sqrt 2.0) (/ (+ (exp x) (exp (- x))) (sqrt 2.0))))>
0.297 * * * * [progress]: [ 32 / 53 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (+ (exp x) (exp (- x))) 2.0)))>
0.297 * * * * [progress]: [ 33 / 53 ] simplifiying candidate #<alt (λ (x) (* (/ 2.0 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))))>
0.297 * * * * [progress]: [ 34 / 53 ] simplifiying candidate #<alt (λ (x) (* (/ 2.0 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (- (exp x) (exp (- x)))))>
0.297 * * * * [progress]: [ 35 / 53 ] simplifiying candidate #<alt (λ (x) (/ 2.0 (posit16->real (real->posit16 (+ (exp x) (exp (- x)))))))>
0.297 * * * * [progress]: [ 36 / 53 ] simplifiying candidate #<alt (λ (x) (/ 2.0 (log (* (exp (exp x)) (exp (exp (- x)))))))>
0.297 * * * * [progress]: [ 37 / 53 ] simplifiying candidate #<alt (λ (x) (/ 2.0 (pow (+ (exp x) (exp (- x))) 1)))>
0.297 * * * * [progress]: [ 38 / 53 ] simplifiying candidate #<alt (λ (x) (/ 2.0 (exp (log (+ (exp x) (exp (- x)))))))>
0.297 * * * * [progress]: [ 39 / 53 ] simplifiying candidate #<alt (λ (x) (/ 2.0 (log (exp (+ (exp x) (exp (- x)))))))>
0.297 * * * * [progress]: [ 40 / 53 ] simplifiying candidate #<alt (λ (x) (/ 2.0 (* (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x))))) (cbrt (+ (exp x) (exp (- x)))))))>
0.297 * * * * [progress]: [ 41 / 53 ] simplifiying candidate #<alt (λ (x) (/ 2.0 (cbrt (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x)))))))>
0.297 * * * * [progress]: [ 42 / 53 ] simplifiying candidate #<alt (λ (x) (/ 2.0 (* (sqrt (+ (exp x) (exp (- x)))) (sqrt (+ (exp x) (exp (- x)))))))>
0.297 * * * * [progress]: [ 43 / 53 ] simplifiying candidate #<alt (λ (x) (/ 2.0 (/ (+ (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))))>
0.297 * * * * [progress]: [ 44 / 53 ] simplifiying candidate #<alt (λ (x) (/ 2.0 (* 1 (+ (exp x) (exp (- x))))))>
0.297 * * * * [progress]: [ 45 / 53 ] simplifiying candidate #<alt (λ (x) (/ 2.0 (/ (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (- (exp x) (exp (- x))))))>
0.297 * * * * [progress]: [ 46 / 53 ] simplifiying candidate #<alt (λ (x) (/ 2.0 (* 1 (+ (exp x) (exp (- x))))))>
0.297 * * * * [progress]: [ 47 / 53 ] simplifiying candidate #<alt (λ (x) (/ 2.0 (+ (exp (- x)) (exp x))))>
0.297 * * * * [progress]: [ 48 / 53 ] simplifiying candidate #<alt (λ (x) (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2))))>
0.298 * * * * [progress]: [ 49 / 53 ] simplifiying candidate #<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))>
0.298 * * * * [progress]: [ 50 / 53 ] simplifiying candidate #<alt (λ (x) (/ 2.0 (+ (exp (* -1 x)) (exp x))))>
0.298 * * * * [progress]: [ 51 / 53 ] simplifiying candidate #<alt (λ (x) (/ 2.0 (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))))>
0.298 * * * * [progress]: [ 52 / 53 ] simplifiying candidate #<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))>
0.298 * * * * [progress]: [ 53 / 53 ] simplifiying candidate #<alt (λ (x) (/ 2.0 (+ (exp (* -1 x)) (exp x))))>
0.299 * [simplify]: Simplifying:
  (real->posit16 (/ 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)))))
  (real->posit16 (+ (exp x) (exp (- x))))
  (* (exp (exp x)) (exp (exp (- x))))
  (log (+ (exp x) (exp (- x))))
  (exp (+ (exp x) (exp (- x))))
  (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))
  (cbrt (+ (exp x) (exp (- x))))
  (* (* (+ (exp x) (exp (- x))) (+ (exp x) (exp (- x)))) (+ (exp x) (exp (- x))))
  (sqrt (+ (exp x) (exp (- x))))
  (sqrt (+ (exp x) (exp (- x))))
  (+ (pow (exp x) 3) (pow (exp (- x)) 3))
  (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
  (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))
  (- (exp x) (exp (- x)))
  (+ (exp x) (exp (- x)))
  (- (+ (* 0.20833333333333334 (pow x 4)) 1.0) (* 0.5 (pow x 2)))
  (/ 2.0 (+ (exp x) (exp (- x))))
  (/ 2.0 (+ (exp (* -1 x)) (exp x)))
  (+ (pow x 2) (+ (* 1/12 (pow x 4)) 2))
  (+ (exp x) (exp (- x)))
  (+ (exp (* -1 x)) (exp x))
0.301 * * [simplify]: iteration 0: 92 enodes
0.379 * * [simplify]: iteration 1: 203 enodes
0.543 * * [simplify]: iteration 2: 582 enodes
1.280 * * [simplify]: iteration 3: 1843 enodes
4.162 * * [simplify]: iteration complete: 5007 enodes
4.162 * * [simplify]: Extracting #0: cost 49 inf + 0
4.164 * * [simplify]: Extracting #1: cost 515 inf + 43
4.171 * * [simplify]: Extracting #2: cost 1204 inf + 1323
4.181 * * [simplify]: Extracting #3: cost 1303 inf + 7449
4.212 * * [simplify]: Extracting #4: cost 865 inf + 101805
4.278 * * [simplify]: Extracting #5: cost 212 inf + 282096
4.390 * * [simplify]: Extracting #6: cost 13 inf + 353745
4.485 * * [simplify]: Extracting #7: cost 0 inf + 358304
4.572 * [simplify]: Simplified to:
  (real->posit16 (/ 2.0 (/ (+ (* (exp x) (exp x)) 1) (exp x))))
  (log (/ 2.0 (/ (+ (* (exp x) (exp x)) 1) (exp x))))
  (log (/ 2.0 (/ (+ (* (exp x) (exp x)) 1) (exp x))))
  (exp (/ 2.0 (/ (+ (* (exp x) (exp x)) 1) (exp x))))
  (* (* (/ 2.0 (/ (+ (* (exp x) (exp x)) 1) (exp x))) (/ 2.0 (/ (+ (* (exp x) (exp x)) 1) (exp x)))) (/ 2.0 (/ (+ (* (exp x) (exp x)) 1) (exp x))))
  (* (cbrt (/ 2.0 (/ (+ (* (exp x) (exp x)) 1) (exp x)))) (cbrt (/ 2.0 (/ (+ (* (exp x) (exp x)) 1) (exp x)))))
  (cbrt (/ 2.0 (/ (+ (* (exp x) (exp x)) 1) (exp x))))
  (* (* (/ 2.0 (/ (+ (* (exp x) (exp x)) 1) (exp x))) (/ 2.0 (/ (+ (* (exp x) (exp x)) 1) (exp x)))) (/ 2.0 (/ (+ (* (exp x) (exp x)) 1) (exp x))))
  (sqrt (/ 2.0 (/ (+ (* (exp x) (exp x)) 1) (exp x))))
  (sqrt (/ 2.0 (/ (+ (* (exp x) (exp x)) 1) (exp x))))
  (- 2.0)
  (- (/ -1 (exp x)) (exp x))
  (* (/ (cbrt 2.0) (cbrt (/ (+ (* (exp x) (exp x)) 1) (exp x)))) (/ (cbrt 2.0) (cbrt (/ (+ (* (exp x) (exp x)) 1) (exp x)))))
  (/ (cbrt 2.0) (cbrt (/ (+ (* (exp x) (exp x)) 1) (exp x))))
  (* (cbrt 2.0) (/ (cbrt 2.0) (sqrt (/ (+ (* (exp x) (exp x)) 1) (exp x)))))
  (/ (cbrt 2.0) (sqrt (/ (+ (* (exp x) (exp x)) 1) (exp x))))
  (* (cbrt 2.0) (cbrt 2.0))
  (/ (cbrt 2.0) (/ (+ (* (exp x) (exp x)) 1) (exp x)))
  (* (cbrt 2.0) (cbrt 2.0))
  (/ (cbrt 2.0) (/ (+ (* (exp x) (exp x)) 1) (exp x)))
  (/ (sqrt 2.0) (* (cbrt (/ (+ (* (exp x) (exp x)) 1) (exp x))) (cbrt (/ (+ (* (exp x) (exp x)) 1) (exp x)))))
  (/ (sqrt 2.0) (cbrt (/ (+ (* (exp x) (exp x)) 1) (exp x))))
  (/ (sqrt 2.0) (sqrt (/ (+ (* (exp x) (exp x)) 1) (exp x))))
  (/ (sqrt 2.0) (sqrt (/ (+ (* (exp x) (exp x)) 1) (exp x))))
  (sqrt 2.0)
  (/ (sqrt 2.0) (/ (+ (* (exp x) (exp x)) 1) (exp x)))
  (sqrt 2.0)
  (/ (sqrt 2.0) (/ (+ (* (exp x) (exp x)) 1) (exp x)))
  (/ 1 (* (cbrt (/ (+ (* (exp x) (exp x)) 1) (exp x))) (cbrt (/ (+ (* (exp x) (exp x)) 1) (exp x)))))
  (/ 2.0 (cbrt (/ (+ (* (exp x) (exp x)) 1) (exp x))))
  (/ 1 (sqrt (/ (+ (* (exp x) (exp x)) 1) (exp x))))
  (/ 2.0 (sqrt (/ (+ (* (exp x) (exp x)) 1) (exp x))))
  1
  (/ 2.0 (/ (+ (* (exp x) (exp x)) 1) (exp x)))
  1
  (/ 2.0 (/ (+ (* (exp x) (exp x)) 1) (exp x)))
  (/ 1 (/ (+ (* (exp x) (exp x)) 1) (exp x)))
  (/ (/ (+ (* (exp x) (exp x)) 1) (exp x)) 2.0)
  (/ 2.0 (* (cbrt (/ (+ (* (exp x) (exp x)) 1) (exp x))) (cbrt (/ (+ (* (exp x) (exp x)) 1) (exp x)))))
  (/ 2.0 (sqrt (/ (+ (* (exp x) (exp x)) 1) (exp x))))
  2.0
  2.0
  (/ (/ (+ (* (exp x) (exp x)) 1) (exp x)) (cbrt 2.0))
  (/ (/ (+ (* (exp x) (exp x)) 1) (exp x)) (sqrt 2.0))
  (/ (/ (+ (* (exp x) (exp x)) 1) (exp x)) 2.0)
  (/ 2.0 (+ (* (* (exp x) (exp x)) (exp x)) (exp (- (* -2 x) x))))
  (/ 2.0 (+ (* (exp x) (exp x)) (/ (- 1) (* (exp x) (exp x)))))
  (real->posit16 (/ (+ (* (exp x) (exp x)) 1) (exp x)))
  (exp (/ (+ (* (exp x) (exp x)) 1) (exp x)))
  (log (/ (+ (* (exp x) (exp x)) 1) (exp x)))
  (exp (/ (+ (* (exp x) (exp x)) 1) (exp x)))
  (* (cbrt (/ (+ (* (exp x) (exp x)) 1) (exp x))) (cbrt (/ (+ (* (exp x) (exp x)) 1) (exp x))))
  (cbrt (/ (+ (* (exp x) (exp x)) 1) (exp x)))
  (* (* (/ (+ (* (exp x) (exp x)) 1) (exp x)) (/ (+ (* (exp x) (exp x)) 1) (exp x))) (/ (+ (* (exp x) (exp x)) 1) (exp x)))
  (sqrt (/ (+ (* (exp x) (exp x)) 1) (exp x)))
  (sqrt (/ (+ (* (exp x) (exp x)) 1) (exp x)))
  (+ (* (* (exp x) (exp x)) (exp x)) (exp (- (* -2 x) x)))
  (+ (* (exp x) (exp x)) (- (exp (* -2 x)) 1))
  (+ (* (exp x) (exp x)) (/ (- 1) (* (exp x) (exp x))))
  (+ (/ -1 (exp x)) (exp x))
  (/ (+ (* (exp x) (exp x)) 1) (exp x))
  (+ (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)) 1.0)
  (/ 2.0 (/ (+ (* (exp x) (exp x)) 1) (exp x)))
  (/ 2.0 (/ (+ (* (exp x) (exp x)) 1) (exp x)))
  (+ (* (* 1/12 (* x x)) (* x x)) (+ (* x x) 2))
  (/ (+ (* (exp x) (exp x)) 1) (exp x))
  (/ (+ (* (exp x) (exp x)) 1) (exp x))
4.576 * * * [progress]: adding candidates to table
5.050 * * [progress]: iteration 2 / 4
5.050 * * * [progress]: picking best candidate
5.063 * * * * [pick]: Picked  #<alt (λ (x) (+ (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)) 1.0))>
5.063 * * * [progress]: localizing error
5.098 * * * [progress]: generating rewritten candidates
5.098 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2 1)
5.146 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
5.293 * * * [progress]: generating series expansions
5.293 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2 1)
5.293 * [backup-simplify]: Simplify (* (* x x) 0.20833333333333334) into (* 0.20833333333333334 (pow x 2))
5.293 * [approximate]: Taking taylor expansion of (* 0.20833333333333334 (pow x 2)) in (x) around 0
5.293 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (pow x 2)) in x
5.293 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
5.293 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
5.293 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.293 * [taylor]: Taking taylor expansion of x in x
5.293 * [backup-simplify]: Simplify 0 into 0
5.293 * [backup-simplify]: Simplify 1 into 1
5.293 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (pow x 2)) in x
5.293 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
5.293 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
5.293 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.293 * [taylor]: Taking taylor expansion of x in x
5.293 * [backup-simplify]: Simplify 0 into 0
5.293 * [backup-simplify]: Simplify 1 into 1
5.294 * [backup-simplify]: Simplify (* 1 1) into 1
5.295 * [backup-simplify]: Simplify (* 0.20833333333333334 1) into 0.20833333333333334
5.295 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
5.296 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.297 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (* 0 1)) into 0
5.297 * [backup-simplify]: Simplify 0 into 0
5.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.299 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (* 0 1))) into 0
5.299 * [backup-simplify]: Simplify 0 into 0
5.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.301 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.301 * [backup-simplify]: Simplify 0 into 0
5.303 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.304 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.304 * [backup-simplify]: Simplify 0 into 0
5.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.308 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.308 * [backup-simplify]: Simplify 0 into 0
5.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.311 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.311 * [backup-simplify]: Simplify 0 into 0
5.312 * [backup-simplify]: Simplify (* 0.20833333333333334 (pow x 2)) into (* 0.20833333333333334 (pow x 2))
5.312 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 x)) 0.20833333333333334) into (/ 0.20833333333333334 (pow x 2))
5.312 * [approximate]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 2)) in (x) around 0
5.312 * [taylor]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 2)) in x
5.312 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
5.312 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
5.312 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.312 * [taylor]: Taking taylor expansion of x in x
5.312 * [backup-simplify]: Simplify 0 into 0
5.313 * [backup-simplify]: Simplify 1 into 1
5.313 * [backup-simplify]: Simplify (* 1 1) into 1
5.313 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
5.314 * [taylor]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 2)) in x
5.314 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
5.314 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
5.314 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.314 * [taylor]: Taking taylor expansion of x in x
5.314 * [backup-simplify]: Simplify 0 into 0
5.314 * [backup-simplify]: Simplify 1 into 1
5.314 * [backup-simplify]: Simplify (* 1 1) into 1
5.315 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
5.315 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
5.315 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.316 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)))) into 0
5.316 * [backup-simplify]: Simplify 0 into 0
5.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.319 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.319 * [backup-simplify]: Simplify 0 into 0
5.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.321 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.321 * [backup-simplify]: Simplify 0 into 0
5.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.324 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.324 * [backup-simplify]: Simplify 0 into 0
5.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.327 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.327 * [backup-simplify]: Simplify 0 into 0
5.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.330 * [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
5.330 * [backup-simplify]: Simplify 0 into 0
5.331 * [backup-simplify]: Simplify (* 0.20833333333333334 (pow (/ 1 (/ 1 x)) 2)) into (* 0.20833333333333334 (pow x 2))
5.332 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) 0.20833333333333334) into (/ 0.20833333333333334 (pow x 2))
5.332 * [approximate]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 2)) in (x) around 0
5.332 * [taylor]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 2)) in x
5.332 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
5.332 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
5.332 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.332 * [taylor]: Taking taylor expansion of x in x
5.332 * [backup-simplify]: Simplify 0 into 0
5.332 * [backup-simplify]: Simplify 1 into 1
5.332 * [backup-simplify]: Simplify (* 1 1) into 1
5.333 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
5.333 * [taylor]: Taking taylor expansion of (/ 0.20833333333333334 (pow x 2)) in x
5.333 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
5.333 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
5.333 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.333 * [taylor]: Taking taylor expansion of x in x
5.333 * [backup-simplify]: Simplify 0 into 0
5.333 * [backup-simplify]: Simplify 1 into 1
5.334 * [backup-simplify]: Simplify (* 1 1) into 1
5.334 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
5.334 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
5.335 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.336 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)))) into 0
5.336 * [backup-simplify]: Simplify 0 into 0
5.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.338 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.338 * [backup-simplify]: Simplify 0 into 0
5.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.341 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.341 * [backup-simplify]: Simplify 0 into 0
5.342 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.344 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.344 * [backup-simplify]: Simplify 0 into 0
5.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.347 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.347 * [backup-simplify]: Simplify 0 into 0
5.349 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.350 * [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
5.350 * [backup-simplify]: Simplify 0 into 0
5.351 * [backup-simplify]: Simplify (* 0.20833333333333334 (pow (/ 1 (/ 1 (- x))) 2)) into (* 0.20833333333333334 (pow x 2))
5.351 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
5.352 * [backup-simplify]: Simplify (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)) into (* (pow x 2) (- (* 0.20833333333333334 (pow x 2)) 0.5))
5.352 * [approximate]: Taking taylor expansion of (* (pow x 2) (- (* 0.20833333333333334 (pow x 2)) 0.5)) in (x) around 0
5.352 * [taylor]: Taking taylor expansion of (* (pow x 2) (- (* 0.20833333333333334 (pow x 2)) 0.5)) in x
5.352 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.352 * [taylor]: Taking taylor expansion of x in x
5.352 * [backup-simplify]: Simplify 0 into 0
5.352 * [backup-simplify]: Simplify 1 into 1
5.352 * [taylor]: Taking taylor expansion of (- (* 0.20833333333333334 (pow x 2)) 0.5) in x
5.352 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (pow x 2)) in x
5.352 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
5.352 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
5.352 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.352 * [taylor]: Taking taylor expansion of x in x
5.352 * [backup-simplify]: Simplify 0 into 0
5.352 * [backup-simplify]: Simplify 1 into 1
5.353 * [taylor]: Taking taylor expansion of 0.5 in x
5.353 * [backup-simplify]: Simplify 0.5 into 0.5
5.353 * [taylor]: Taking taylor expansion of (* (pow x 2) (- (* 0.20833333333333334 (pow x 2)) 0.5)) in x
5.353 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.353 * [taylor]: Taking taylor expansion of x in x
5.353 * [backup-simplify]: Simplify 0 into 0
5.353 * [backup-simplify]: Simplify 1 into 1
5.353 * [taylor]: Taking taylor expansion of (- (* 0.20833333333333334 (pow x 2)) 0.5) in x
5.353 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (pow x 2)) in x
5.353 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
5.353 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
5.353 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.353 * [taylor]: Taking taylor expansion of x in x
5.353 * [backup-simplify]: Simplify 0 into 0
5.353 * [backup-simplify]: Simplify 1 into 1
5.353 * [taylor]: Taking taylor expansion of 0.5 in x
5.353 * [backup-simplify]: Simplify 0.5 into 0.5
5.354 * [backup-simplify]: Simplify (* 1 1) into 1
5.354 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
5.355 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
5.356 * [backup-simplify]: Simplify (* 1 (- 0.5)) into -0.5
5.356 * [backup-simplify]: Simplify -0.5 into -0.5
5.356 * [backup-simplify]: Simplify (- 0) into 0
5.356 * [backup-simplify]: Simplify (+ 0 0) into 0
5.357 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.357 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- 0.5))) into 0
5.357 * [backup-simplify]: Simplify 0 into 0
5.358 * [backup-simplify]: Simplify (* 1 1) into 1
5.358 * [backup-simplify]: Simplify (* 0.20833333333333334 1) into 0.20833333333333334
5.358 * [backup-simplify]: Simplify (- 0) into 0
5.359 * [backup-simplify]: Simplify (+ 0.20833333333333334 0) into 0.20833333333333334
5.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.361 * [backup-simplify]: Simplify (+ (* 1 0.20833333333333334) (+ (* 0 0) (* 0 (- 0.5)))) into 0.20833333333333334
5.361 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
5.361 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.362 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (* 0 1)) into 0
5.362 * [backup-simplify]: Simplify (- 0) into 0
5.362 * [backup-simplify]: Simplify (+ 0 0) into 0
5.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0.20833333333333334) (+ (* 0 0) (* 0 (- 0.5))))) into 0
5.365 * [backup-simplify]: Simplify 0 into 0
5.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.366 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (* 0 1))) into 0
5.367 * [backup-simplify]: Simplify (- 0) into 0
5.367 * [backup-simplify]: Simplify (+ 0 0) into 0
5.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0.20833333333333334) (+ (* 0 0) (* 0 (- 0.5)))))) into 0
5.369 * [backup-simplify]: Simplify 0 into 0
5.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.370 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.370 * [backup-simplify]: Simplify (- 0) into 0
5.371 * [backup-simplify]: Simplify (+ 0 0) into 0
5.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.20833333333333334) (+ (* 0 0) (* 0 (- 0.5))))))) into 0
5.373 * [backup-simplify]: Simplify 0 into 0
5.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.374 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.375 * [backup-simplify]: Simplify (- 0) into 0
5.375 * [backup-simplify]: Simplify (+ 0 0) into 0
5.376 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.20833333333333334) (+ (* 0 0) (* 0 (- 0.5)))))))) into 0
5.377 * [backup-simplify]: Simplify 0 into 0
5.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.380 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.380 * [backup-simplify]: Simplify (- 0) into 0
5.380 * [backup-simplify]: Simplify (+ 0 0) into 0
5.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.20833333333333334) (+ (* 0 0) (* 0 (- 0.5))))))))) into 0
5.383 * [backup-simplify]: Simplify 0 into 0
5.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.385 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.385 * [backup-simplify]: Simplify (- 0) into 0
5.386 * [backup-simplify]: Simplify (+ 0 0) into 0
5.387 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
5.389 * [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
5.389 * [backup-simplify]: Simplify 0 into 0
5.389 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 (pow x 4)) (* -0.5 (pow x 2))) into (- (* 0.20833333333333334 (pow x 4)) (* 0.5 (pow x 2)))
5.390 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 x)) (- (* (* (/ 1 x) (/ 1 x)) 0.20833333333333334) 0.5)) into (/ (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) (pow x 2))
5.390 * [approximate]: Taking taylor expansion of (/ (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) (pow x 2)) in (x) around 0
5.390 * [taylor]: Taking taylor expansion of (/ (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) (pow x 2)) in x
5.390 * [taylor]: Taking taylor expansion of (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) in x
5.390 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (/ 1 (pow x 2))) in x
5.390 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
5.390 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
5.390 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.390 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.390 * [taylor]: Taking taylor expansion of x in x
5.390 * [backup-simplify]: Simplify 0 into 0
5.390 * [backup-simplify]: Simplify 1 into 1
5.390 * [backup-simplify]: Simplify (* 1 1) into 1
5.391 * [backup-simplify]: Simplify (/ 1 1) into 1
5.391 * [taylor]: Taking taylor expansion of 0.5 in x
5.391 * [backup-simplify]: Simplify 0.5 into 0.5
5.391 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.391 * [taylor]: Taking taylor expansion of x in x
5.391 * [backup-simplify]: Simplify 0 into 0
5.391 * [backup-simplify]: Simplify 1 into 1
5.391 * [backup-simplify]: Simplify (* 0.20833333333333334 1) into 0.20833333333333334
5.392 * [backup-simplify]: Simplify (+ 0.20833333333333334 0) into 0.20833333333333334
5.392 * [backup-simplify]: Simplify (* 1 1) into 1
5.392 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
5.393 * [taylor]: Taking taylor expansion of (/ (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) (pow x 2)) in x
5.393 * [taylor]: Taking taylor expansion of (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) in x
5.393 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (/ 1 (pow x 2))) in x
5.393 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
5.393 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
5.393 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.393 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.393 * [taylor]: Taking taylor expansion of x in x
5.393 * [backup-simplify]: Simplify 0 into 0
5.393 * [backup-simplify]: Simplify 1 into 1
5.393 * [backup-simplify]: Simplify (* 1 1) into 1
5.394 * [backup-simplify]: Simplify (/ 1 1) into 1
5.394 * [taylor]: Taking taylor expansion of 0.5 in x
5.394 * [backup-simplify]: Simplify 0.5 into 0.5
5.394 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.394 * [taylor]: Taking taylor expansion of x in x
5.394 * [backup-simplify]: Simplify 0 into 0
5.394 * [backup-simplify]: Simplify 1 into 1
5.394 * [backup-simplify]: Simplify (* 0.20833333333333334 1) into 0.20833333333333334
5.395 * [backup-simplify]: Simplify (+ 0.20833333333333334 0) into 0.20833333333333334
5.395 * [backup-simplify]: Simplify (* 1 1) into 1
5.396 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
5.396 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
5.397 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.398 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.399 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (* 0 1)) into 0
5.399 * [backup-simplify]: Simplify (+ 0 0) into 0
5.400 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.401 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)))) into 0
5.401 * [backup-simplify]: Simplify 0 into 0
5.402 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.403 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.404 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (* 0 1))) into 0
5.404 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
5.405 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
5.406 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.410 * [backup-simplify]: Simplify (- (/ (- 0.5) 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)))) into (- 0.5)
5.410 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
5.412 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.413 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.414 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.415 * [backup-simplify]: Simplify (- 0) into 0
5.415 * [backup-simplify]: Simplify (+ 0 0) into 0
5.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.418 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* (- 0.5) (/ 0 1)))) into 0
5.418 * [backup-simplify]: Simplify 0 into 0
5.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.422 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.422 * [backup-simplify]: Simplify (- 0) into 0
5.423 * [backup-simplify]: Simplify (+ 0 0) into 0
5.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.426 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* (- 0.5) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.426 * [backup-simplify]: Simplify 0 into 0
5.427 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.430 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.430 * [backup-simplify]: Simplify (- 0) into 0
5.431 * [backup-simplify]: Simplify (+ 0 0) into 0
5.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.434 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* (- 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.434 * [backup-simplify]: Simplify 0 into 0
5.436 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.437 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.439 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.439 * [backup-simplify]: Simplify (- 0) into 0
5.440 * [backup-simplify]: Simplify (+ 0 0) into 0
5.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.443 * [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
5.443 * [backup-simplify]: Simplify 0 into 0
5.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.447 * [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
5.449 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.449 * [backup-simplify]: Simplify (- 0) into 0
5.449 * [backup-simplify]: Simplify (+ 0 0) into 0
5.451 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.453 * [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
5.453 * [backup-simplify]: Simplify 0 into 0
5.455 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
5.457 * [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
5.459 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
5.460 * [backup-simplify]: Simplify (- 0) into 0
5.461 * [backup-simplify]: Simplify (+ 0 0) into 0
5.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
5.465 * [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
5.465 * [backup-simplify]: Simplify 0 into 0
5.467 * [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)))
5.468 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) (- (* (* (/ 1 (- x)) (/ 1 (- x))) 0.20833333333333334) 0.5)) into (/ (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) (pow x 2))
5.468 * [approximate]: Taking taylor expansion of (/ (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) (pow x 2)) in (x) around 0
5.468 * [taylor]: Taking taylor expansion of (/ (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) (pow x 2)) in x
5.468 * [taylor]: Taking taylor expansion of (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) in x
5.468 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (/ 1 (pow x 2))) in x
5.468 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
5.468 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
5.468 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.468 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.468 * [taylor]: Taking taylor expansion of x in x
5.468 * [backup-simplify]: Simplify 0 into 0
5.468 * [backup-simplify]: Simplify 1 into 1
5.469 * [backup-simplify]: Simplify (* 1 1) into 1
5.469 * [backup-simplify]: Simplify (/ 1 1) into 1
5.469 * [taylor]: Taking taylor expansion of 0.5 in x
5.469 * [backup-simplify]: Simplify 0.5 into 0.5
5.469 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.469 * [taylor]: Taking taylor expansion of x in x
5.469 * [backup-simplify]: Simplify 0 into 0
5.469 * [backup-simplify]: Simplify 1 into 1
5.470 * [backup-simplify]: Simplify (* 0.20833333333333334 1) into 0.20833333333333334
5.470 * [backup-simplify]: Simplify (+ 0.20833333333333334 0) into 0.20833333333333334
5.471 * [backup-simplify]: Simplify (* 1 1) into 1
5.471 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
5.471 * [taylor]: Taking taylor expansion of (/ (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) (pow x 2)) in x
5.471 * [taylor]: Taking taylor expansion of (- (* 0.20833333333333334 (/ 1 (pow x 2))) 0.5) in x
5.471 * [taylor]: Taking taylor expansion of (* 0.20833333333333334 (/ 1 (pow x 2))) in x
5.471 * [taylor]: Taking taylor expansion of 0.20833333333333334 in x
5.471 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
5.471 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.471 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.471 * [taylor]: Taking taylor expansion of x in x
5.471 * [backup-simplify]: Simplify 0 into 0
5.471 * [backup-simplify]: Simplify 1 into 1
5.472 * [backup-simplify]: Simplify (* 1 1) into 1
5.472 * [backup-simplify]: Simplify (/ 1 1) into 1
5.472 * [taylor]: Taking taylor expansion of 0.5 in x
5.472 * [backup-simplify]: Simplify 0.5 into 0.5
5.472 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.472 * [taylor]: Taking taylor expansion of x in x
5.472 * [backup-simplify]: Simplify 0 into 0
5.472 * [backup-simplify]: Simplify 1 into 1
5.473 * [backup-simplify]: Simplify (* 0.20833333333333334 1) into 0.20833333333333334
5.473 * [backup-simplify]: Simplify (+ 0.20833333333333334 0) into 0.20833333333333334
5.474 * [backup-simplify]: Simplify (* 1 1) into 1
5.474 * [backup-simplify]: Simplify (/ 0.20833333333333334 1) into 0.20833333333333334
5.474 * [backup-simplify]: Simplify 0.20833333333333334 into 0.20833333333333334
5.475 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.477 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (* 0 1)) into 0
5.477 * [backup-simplify]: Simplify (+ 0 0) into 0
5.478 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.479 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)))) into 0
5.479 * [backup-simplify]: Simplify 0 into 0
5.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.482 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (* 0 1))) into 0
5.483 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
5.484 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
5.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.488 * [backup-simplify]: Simplify (- (/ (- 0.5) 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)))) into (- 0.5)
5.488 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
5.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.491 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.492 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.492 * [backup-simplify]: Simplify (- 0) into 0
5.493 * [backup-simplify]: Simplify (+ 0 0) into 0
5.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.497 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* (- 0.5) (/ 0 1)))) into 0
5.497 * [backup-simplify]: Simplify 0 into 0
5.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.500 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.501 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.502 * [backup-simplify]: Simplify (- 0) into 0
5.502 * [backup-simplify]: Simplify (+ 0 0) into 0
5.503 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.505 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* (- 0.5) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.505 * [backup-simplify]: Simplify 0 into 0
5.507 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.510 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.510 * [backup-simplify]: Simplify (- 0) into 0
5.510 * [backup-simplify]: Simplify (+ 0 0) into 0
5.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.512 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.20833333333333334 (/ 0 1)) (* 0 (/ 0 1)) (* (- 0.5) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.512 * [backup-simplify]: Simplify 0 into 0
5.513 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.515 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.516 * [backup-simplify]: Simplify (- 0) into 0
5.516 * [backup-simplify]: Simplify (+ 0 0) into 0
5.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.518 * [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
5.518 * [backup-simplify]: Simplify 0 into 0
5.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.520 * [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
5.521 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.521 * [backup-simplify]: Simplify (- 0) into 0
5.522 * [backup-simplify]: Simplify (+ 0 0) into 0
5.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.524 * [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
5.524 * [backup-simplify]: Simplify 0 into 0
5.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
5.526 * [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
5.527 * [backup-simplify]: Simplify (+ (* 0.20833333333333334 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
5.527 * [backup-simplify]: Simplify (- 0) into 0
5.528 * [backup-simplify]: Simplify (+ 0 0) into 0
5.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
5.530 * [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
5.530 * [backup-simplify]: Simplify 0 into 0
5.531 * [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)))
5.531 * * * [progress]: simplifying candidates
5.531 * * * * [progress]: [ 1 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (posit16->real (real->posit16 (* (* x x) 0.20833333333333334))) 0.5)) 1.0))>
5.531 * * * * [progress]: [ 2 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (pow (* (* x x) 0.20833333333333334) 1) 0.5)) 1.0))>
5.531 * * * * [progress]: [ 3 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (pow (* (* x x) 0.20833333333333334) 1) 0.5)) 1.0))>
5.531 * * * * [progress]: [ 4 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (pow (* (* x x) 0.20833333333333334) 1) 0.5)) 1.0))>
5.531 * * * * [progress]: [ 5 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (exp (+ (+ (log x) (log x)) (log 0.20833333333333334))) 0.5)) 1.0))>
5.531 * * * * [progress]: [ 6 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (exp (+ (log (* x x)) (log 0.20833333333333334))) 0.5)) 1.0))>
5.532 * * * * [progress]: [ 7 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (exp (log (* (* x x) 0.20833333333333334))) 0.5)) 1.0))>
5.532 * * * * [progress]: [ 8 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (log (exp (* (* x x) 0.20833333333333334))) 0.5)) 1.0))>
5.532 * * * * [progress]: [ 9 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (cbrt (* (* (* (* x x) x) (* (* x x) x)) (* (* 0.20833333333333334 0.20833333333333334) 0.20833333333333334))) 0.5)) 1.0))>
5.532 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (cbrt (* (* (* (* x x) (* x x)) (* x x)) (* (* 0.20833333333333334 0.20833333333333334) 0.20833333333333334))) 0.5)) 1.0))>
5.532 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (* (* (cbrt (* (* x x) 0.20833333333333334)) (cbrt (* (* x x) 0.20833333333333334))) (cbrt (* (* x x) 0.20833333333333334))) 0.5)) 1.0))>
5.532 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (cbrt (* (* (* (* x x) 0.20833333333333334) (* (* x x) 0.20833333333333334)) (* (* x x) 0.20833333333333334))) 0.5)) 1.0))>
5.532 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (* (sqrt (* (* x x) 0.20833333333333334)) (sqrt (* (* x x) 0.20833333333333334))) 0.5)) 1.0))>
5.532 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (* 1 (* (* x x) 0.20833333333333334)) 0.5)) 1.0))>
5.532 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (* (* x (sqrt 0.20833333333333334)) (* x (sqrt 0.20833333333333334))) 0.5)) 1.0))>
5.532 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (* (* (* x x) (* (cbrt 0.20833333333333334) (cbrt 0.20833333333333334))) (cbrt 0.20833333333333334)) 0.5)) 1.0))>
5.532 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (* (* (* x x) (sqrt 0.20833333333333334)) (sqrt 0.20833333333333334)) 0.5)) 1.0))>
5.532 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (* (* (* x x) 1) 0.20833333333333334) 0.5)) 1.0))>
5.532 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (* x (* x 0.20833333333333334)) 0.5)) 1.0))>
5.532 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (* 0.20833333333333334 (* x x)) 0.5)) 1.0))>
5.532 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (x) (+ (posit16->real (real->posit16 (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)))) 1.0))>
5.532 * * * * [progress]: [ 22 / 52 ] simplifiying candidate #<alt (λ (x) (+ (pow (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)) 1) 1.0))>
5.532 * * * * [progress]: [ 23 / 52 ] simplifiying candidate #<alt (λ (x) (+ (pow (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)) 1) 1.0))>
5.532 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (x) (+ (pow (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)) 1) 1.0))>
5.532 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #<alt (λ (x) (+ (exp (+ (+ (log x) (log x)) (log (- (* (* x x) 0.20833333333333334) 0.5)))) 1.0))>
5.533 * * * * [progress]: [ 26 / 52 ] simplifiying candidate #<alt (λ (x) (+ (exp (+ (log (* x x)) (log (- (* (* x x) 0.20833333333333334) 0.5)))) 1.0))>
5.533 * * * * [progress]: [ 27 / 52 ] simplifiying candidate #<alt (λ (x) (+ (exp (log (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)))) 1.0))>
5.533 * * * * [progress]: [ 28 / 52 ] simplifiying candidate #<alt (λ (x) (+ (log (exp (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)))) 1.0))>
5.533 * * * * [progress]: [ 29 / 52 ] simplifiying candidate #<alt (λ (x) (+ (cbrt (* (* (* (* x x) x) (* (* x x) x)) (* (* (- (* (* x x) 0.20833333333333334) 0.5) (- (* (* x x) 0.20833333333333334) 0.5)) (- (* (* x x) 0.20833333333333334) 0.5)))) 1.0))>
5.533 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #<alt (λ (x) (+ (cbrt (* (* (* (* x x) (* x x)) (* x x)) (* (* (- (* (* x x) 0.20833333333333334) 0.5) (- (* (* x x) 0.20833333333333334) 0.5)) (- (* (* x x) 0.20833333333333334) 0.5)))) 1.0))>
5.533 * * * * [progress]: [ 31 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* (cbrt (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5))) (cbrt (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)))) (cbrt (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)))) 1.0))>
5.533 * * * * [progress]: [ 32 / 52 ] simplifiying candidate #<alt (λ (x) (+ (cbrt (* (* (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)) (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5))) (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)))) 1.0))>
5.533 * * * * [progress]: [ 33 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (sqrt (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5))) (sqrt (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)))) 1.0))>
5.533 * * * * [progress]: [ 34 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* 1 (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5))) 1.0))>
5.533 * * * * [progress]: [ 35 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x (sqrt (- (* (* x x) 0.20833333333333334) 0.5))) (* x (sqrt (- (* (* x x) 0.20833333333333334) 0.5)))) 1.0))>
5.533 * * * * [progress]: [ 36 / 52 ] simplifiying candidate #<alt (λ (x) (+ (+ (* (* x x) (* (* x x) 0.20833333333333334)) (* (* x x) (- 0.5))) 1.0))>
5.533 * * * * [progress]: [ 37 / 52 ] simplifiying candidate #<alt (λ (x) (+ (+ (* (* x x) (* (* x x) 0.20833333333333334)) (* (* x x) (- 0.5))) 1.0))>
5.533 * * * * [progress]: [ 38 / 52 ] simplifiying candidate #<alt (λ (x) (+ (+ (* (* (* x x) 0.20833333333333334) (* x x)) (* (- 0.5) (* x x))) 1.0))>
5.533 * * * * [progress]: [ 39 / 52 ] simplifiying candidate #<alt (λ (x) (+ (+ (* (* (* x x) 0.20833333333333334) (* x x)) (* (- 0.5) (* x x))) 1.0))>
5.533 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* (* x x) (* (cbrt (- (* (* x x) 0.20833333333333334) 0.5)) (cbrt (- (* (* x x) 0.20833333333333334) 0.5)))) (cbrt (- (* (* x x) 0.20833333333333334) 0.5))) 1.0))>
5.533 * * * * [progress]: [ 41 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* (* x x) (sqrt (- (* (* x x) 0.20833333333333334) 0.5))) (sqrt (- (* (* x x) 0.20833333333333334) 0.5))) 1.0))>
5.533 * * * * [progress]: [ 42 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* (* x x) 1) (- (* (* x x) 0.20833333333333334) 0.5)) 1.0))>
5.533 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* x (* x (- (* (* x x) 0.20833333333333334) 0.5))) 1.0))>
5.533 * * * * [progress]: [ 44 / 52 ] simplifiying candidate #<alt (λ (x) (+ (/ (* (* x x) (- (pow (* (* x x) 0.20833333333333334) 3) (pow 0.5 3))) (+ (* (* (* x x) 0.20833333333333334) (* (* x x) 0.20833333333333334)) (+ (* 0.5 0.5) (* (* (* x x) 0.20833333333333334) 0.5)))) 1.0))>
5.533 * * * * [progress]: [ 45 / 52 ] simplifiying candidate #<alt (λ (x) (+ (/ (* (* x x) (- (* (* (* x x) 0.20833333333333334) (* (* x x) 0.20833333333333334)) (* 0.5 0.5))) (+ (* (* x x) 0.20833333333333334) 0.5)) 1.0))>
5.533 * * * * [progress]: [ 46 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x)) 1.0))>
5.533 * * * * [progress]: [ 47 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (* 0.20833333333333334 (pow x 2)) 0.5)) 1.0))>
5.533 * * * * [progress]: [ 48 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (* 0.20833333333333334 (pow x 2)) 0.5)) 1.0))>
5.533 * * * * [progress]: [ 49 / 52 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) (- (* 0.20833333333333334 (pow x 2)) 0.5)) 1.0))>
5.533 * * * * [progress]: [ 50 / 52 ] simplifiying candidate #<alt (λ (x) (+ (- (* 0.20833333333333334 (pow x 4)) (* 0.5 (pow x 2))) 1.0))>
5.534 * * * * [progress]: [ 51 / 52 ] simplifiying candidate #<alt (λ (x) (+ (- (* 0.20833333333333334 (pow x 4)) (* 0.5 (pow x 2))) 1.0))>
5.534 * * * * [progress]: [ 52 / 52 ] simplifiying candidate #<alt (λ (x) (+ (- (* 0.20833333333333334 (pow x 4)) (* 0.5 (pow x 2))) 1.0))>
5.534 * [simplify]: Simplifying:
  (real->posit16 (* (* x x) 0.20833333333333334))
  (* (* x x) 0.20833333333333334)
  (* (* x x) 0.20833333333333334)
  (+ (+ (log x) (log x)) (log 0.20833333333333334))
  (+ (log (* x x)) (log 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)) (* x x)) (* (* 0.20833333333333334 0.20833333333333334) 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 (sqrt 0.20833333333333334))
  (* x (sqrt 0.20833333333333334))
  (* (* x x) (* (cbrt 0.20833333333333334) (cbrt 0.20833333333333334)))
  (* (* x x) (sqrt 0.20833333333333334))
  (* (* x x) 1)
  (* x 0.20833333333333334)
  (real->posit16 (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)))
  (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5))
  (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5))
  (+ (+ (log x) (log x)) (log (- (* (* x x) 0.20833333333333334) 0.5)))
  (+ (log (* x x)) (log (- (* (* x x) 0.20833333333333334) 0.5)))
  (log (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)))
  (exp (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)))
  (* (* (* (* x x) x) (* (* x x) x)) (* (* (- (* (* x x) 0.20833333333333334) 0.5) (- (* (* x x) 0.20833333333333334) 0.5)) (- (* (* x x) 0.20833333333333334) 0.5)))
  (* (* (* (* x x) (* x x)) (* x x)) (* (* (- (* (* x x) 0.20833333333333334) 0.5) (- (* (* x x) 0.20833333333333334) 0.5)) (- (* (* x x) 0.20833333333333334) 0.5)))
  (* (cbrt (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5))) (cbrt (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5))))
  (cbrt (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)))
  (* (* (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)) (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5))) (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)))
  (sqrt (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)))
  (sqrt (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)))
  (* x (sqrt (- (* (* x x) 0.20833333333333334) 0.5)))
  (* x (sqrt (- (* (* x x) 0.20833333333333334) 0.5)))
  (* (* x x) (* (* x x) 0.20833333333333334))
  (* (* x x) (- 0.5))
  (* (* x x) (* (* x x) 0.20833333333333334))
  (* (* x x) (- 0.5))
  (* (* (* x x) 0.20833333333333334) (* x x))
  (* (- 0.5) (* x x))
  (* (* (* x x) 0.20833333333333334) (* x x))
  (* (- 0.5) (* x x))
  (* (* 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) 1)
  (* x (- (* (* x x) 0.20833333333333334) 0.5))
  (* (* x x) (- (pow (* (* x x) 0.20833333333333334) 3) (pow 0.5 3)))
  (* (* x x) (- (* (* (* 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)))
5.535 * * [simplify]: iteration 0: 81 enodes
5.635 * * [simplify]: iteration 1: 228 enodes
5.966 * * [simplify]: iteration 2: 785 enodes
7.645 * * [simplify]: iteration 3: 3367 enodes
12.557 * * [simplify]: iteration complete: 5002 enodes
12.557 * * [simplify]: Extracting #0: cost 29 inf + 0
12.559 * * [simplify]: Extracting #1: cost 410 inf + 0
12.566 * * [simplify]: Extracting #2: cost 1457 inf + 1793
12.597 * * [simplify]: Extracting #3: cost 1172 inf + 92791
12.656 * * [simplify]: Extracting #4: cost 201 inf + 282327
12.744 * * [simplify]: Extracting #5: cost 24 inf + 344191
12.824 * * [simplify]: Extracting #6: cost 14 inf + 348740
12.902 * * [simplify]: Extracting #7: cost 6 inf + 349287
12.987 * * [simplify]: Extracting #8: cost 0 inf + 350805
13.074 * [simplify]: Simplified to:
  (real->posit16 (* (* x x) 0.20833333333333334))
  (* (* x x) 0.20833333333333334)
  (* (* x x) 0.20833333333333334)
  (log (* (* x x) 0.20833333333333334))
  (log (* (* x x) 0.20833333333333334))
  (log (* (* x x) 0.20833333333333334))
  (exp (* (* x x) 0.20833333333333334))
  (* (* (* (* x x) 0.20833333333333334) (* (* x x) 0.20833333333333334)) (* (* x x) 0.20833333333333334))
  (* (* (* (* x x) 0.20833333333333334) (* (* x x) 0.20833333333333334)) (* (* x 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 (sqrt 0.20833333333333334))
  (* x (sqrt 0.20833333333333334))
  (* (* (cbrt 0.20833333333333334) x) (* (cbrt 0.20833333333333334) x))
  (* x (* x (sqrt 0.20833333333333334)))
  (* x x)
  (* x 0.20833333333333334)
  (real->posit16 (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x)))
  (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x))
  (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x))
  (log (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x)))
  (log (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x)))
  (log (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x)))
  (exp (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x)))
  (* (* (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x)) (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x))) (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x)))
  (* (* (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x)) (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x))) (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x)))
  (* (cbrt (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x))) (cbrt (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x))))
  (cbrt (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x)))
  (* (* (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x)) (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x))) (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x)))
  (sqrt (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x)))
  (sqrt (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x)))
  (* (sqrt (- (* (* x x) 0.20833333333333334) 0.5)) x)
  (* (sqrt (- (* (* x x) 0.20833333333333334) 0.5)) x)
  (* (* x x) (* (* x x) 0.20833333333333334))
  (* (- 0.5) (* x x))
  (* (* x x) (* (* x x) 0.20833333333333334))
  (* (- 0.5) (* x x))
  (* (* x x) (* (* x x) 0.20833333333333334))
  (* (- 0.5) (* x x))
  (* (* x x) (* (* x x) 0.20833333333333334))
  (* (- 0.5) (* x x))
  (* (* (* x x) (cbrt (- (* (* x x) 0.20833333333333334) 0.5))) (cbrt (- (* (* x x) 0.20833333333333334) 0.5)))
  (* (sqrt (- (* (* x x) 0.20833333333333334) 0.5)) (* x x))
  (* x x)
  (* (- (* (* x x) 0.20833333333333334) 0.5) x)
  (* (* x x) (- (* (* (* (* x x) 0.20833333333333334) (* (* x x) 0.20833333333333334)) (* (* x x) 0.20833333333333334)) (* 0.5 (* 0.5 0.5))))
  (* (- (* (* x x) 0.20833333333333334) 0.5) (* (+ 0.5 (* (* x x) 0.20833333333333334)) (* x x)))
  (* (* x x) 0.20833333333333334)
  (* (* x x) 0.20833333333333334)
  (* (* x x) 0.20833333333333334)
  (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x))
  (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x))
  (* (- (* (* x x) 0.20833333333333334) 0.5) (* x x))
13.076 * * * [progress]: adding candidates to table
13.390 * [progress]: [Phase 3 of 3] Extracting.
13.390 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))> #<alt (λ (x) (+ (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)) 1.0))>)
13.392 * * * [regime-changes]: Trying 3 branch expressions: ((+ (exp x) (exp (- x))) (/ 2.0 (+ (exp x) (exp (- x)))) x)
13.392 * * * * [regimes]: Trying to branch on (+ (exp x) (exp (- x))) from (#<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))> #<alt (λ (x) (+ (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)) 1.0))>)
13.448 * * * * [regimes]: Trying to branch on (/ 2.0 (+ (exp x) (exp (- x)))) from (#<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))> #<alt (λ (x) (+ (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)) 1.0))>)
13.549 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ 2.0 (+ (exp x) (exp (- x)))))> #<alt (λ (x) (+ (* (* x x) (- (* (* x x) 0.20833333333333334) 0.5)) 1.0))>)
13.635 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
13.637 * [simplify]: Simplifying:
  (/ 2.0 (+ (exp x) (exp (- x))))
13.637 * * [simplify]: iteration 0: 7 enodes
13.639 * * [simplify]: iteration 1: 8 enodes
13.641 * * [simplify]: iteration complete: 8 enodes
13.641 * * [simplify]: Extracting #0: cost 1 inf + 0
13.641 * * [simplify]: Extracting #1: cost 3 inf + 0
13.641 * * [simplify]: Extracting #2: cost 4 inf + 1
13.641 * * [simplify]: Extracting #3: cost 6 inf + 1
13.641 * * [simplify]: Extracting #4: cost 0 inf + 708
13.641 * [simplify]: Simplified to:
  (/ 2.0 (+ (exp x) (exp (- x))))
15.411 * [regime-testing]: Baseline error score: 0.007824098324880754
15.433 * [regime-testing]: Oracle error score: 0.003375421927740968
15.491 * [regime-testing]: End program error score: 0.007824098324880754