34.387 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.106 * * * [progress]: [2/2] Setting up program. 0.109 * [progress]: [Phase 2 of 3] Improving. 0.109 * [simplify]: Simplifying: (/ (- (exp x) (exp (- x))) 2.0) 0.109 * * [simplify]: Extracting # 0 : cost 0 0.109 * * [simplify]: Extracting # 1 : cost 0 0.109 * * [simplify]: Extracting # 2 : cost 0 0.109 * * [simplify]: Extracting # 3 : cost 0 0.109 * * [simplify]: Extracting # 4 : cost 0 0.109 * * [simplify]: Extracting # 5 : cost 0 0.109 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.111 * * [simplify]: Extracting # 0 : cost 0 0.111 * * [simplify]: Extracting # 1 : cost 0 0.111 * * [simplify]: Extracting # 2 : cost 0 0.111 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.115 * * [simplify]: Extracting # 0 : cost 0 0.115 * * [simplify]: Extracting # 1 : cost 0 0.115 * * [simplify]: Extracting # 2 : cost 0 0.115 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 0.139 * * [simplify]: Extracting # 0 : cost 0 0.139 * * [simplify]: Extracting # 1 : cost 0 0.139 * * [simplify]: Extracting # 2 : cost 0 0.139 * * [simplify]: iteration 3 : 30 enodes (cost 8 ) 0.146 * * [simplify]: Extracting # 0 : cost 0 0.146 * * [simplify]: Extracting # 1 : cost 0 0.146 * * [simplify]: Extracting # 2 : cost 0 0.146 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 0.155 * * [simplify]: Extracting # 0 : cost 0 0.155 * * [simplify]: Extracting # 1 : cost 0 0.155 * * [simplify]: iteration done: 34 enodes (cost 8 ) 0.155 * [simplify]: Simplified to: (/ (- (exp x) (exp (- x))) 2.0) 0.155 * * [progress]: iteration 1 / 4 0.155 * * * [progress]: picking best candidate 0.158 * * * * [pick]: Picked # 0.158 * * * [progress]: localizing error 0.168 * * * [progress]: generating rewritten candidates 0.168 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.195 * * * [progress]: generating series expansions 0.195 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.195 * [backup-simplify]: Simplify (- (exp x) (exp (- x))) into (- (exp x) (exp (- x))) 0.195 * [approximate]: Taking taylor expansion of (- (exp x) (exp (- x))) in (x) around 0 0.195 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.195 * [taylor]: Taking taylor expansion of (exp x) in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.195 * [backup-simplify]: Simplify 0 into 0 0.195 * [backup-simplify]: Simplify 1 into 1 0.195 * [backup-simplify]: Simplify (exp 0) into 1 0.195 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.195 * [taylor]: Taking taylor expansion of (- x) in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.195 * [backup-simplify]: Simplify 0 into 0 0.195 * [backup-simplify]: Simplify 1 into 1 0.196 * [backup-simplify]: Simplify (- 0) into 0 0.196 * [backup-simplify]: Simplify (- 1) into -1 0.196 * [backup-simplify]: Simplify (exp 0) into 1 0.196 * [taylor]: Taking taylor expansion of (- (exp x) (exp (- x))) in x 0.196 * [taylor]: Taking taylor expansion of (exp x) in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.196 * [backup-simplify]: Simplify 0 into 0 0.196 * [backup-simplify]: Simplify 1 into 1 0.196 * [backup-simplify]: Simplify (exp 0) into 1 0.196 * [taylor]: Taking taylor expansion of (exp (- x)) in x 0.196 * [taylor]: Taking taylor expansion of (- x) in x 0.196 * [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 (- 0) into 0 0.197 * [backup-simplify]: Simplify (- 1) into -1 0.197 * [backup-simplify]: Simplify (exp 0) into 1 0.198 * [backup-simplify]: Simplify (- 1) into -1 0.198 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.198 * [backup-simplify]: Simplify 0 into 0 0.199 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.200 * [backup-simplify]: Simplify (- 1) into -1 0.200 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 0.201 * [backup-simplify]: Simplify (- -1) into 1 0.201 * [backup-simplify]: Simplify (+ 1 1) into 2 0.201 * [backup-simplify]: Simplify 2 into 2 0.202 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.203 * [backup-simplify]: Simplify (- 1) into -1 0.203 * [backup-simplify]: Simplify (- 0) into 0 0.204 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.205 * [backup-simplify]: Simplify (- 1/2) into -1/2 0.205 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 0.205 * [backup-simplify]: Simplify 0 into 0 0.207 * [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.207 * [backup-simplify]: Simplify (- 1) into -1 0.208 * [backup-simplify]: Simplify (- 1) into -1 0.208 * [backup-simplify]: Simplify (- 0) into 0 0.208 * [backup-simplify]: Simplify (- 0) into 0 0.210 * [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.211 * [backup-simplify]: Simplify (- -1/6) into 1/6 0.211 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 0.211 * [backup-simplify]: Simplify 1/3 into 1/3 0.214 * [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.215 * [backup-simplify]: Simplify (- 1) into -1 0.215 * [backup-simplify]: Simplify (- 1) into -1 0.215 * [backup-simplify]: Simplify (- 0) into 0 0.216 * [backup-simplify]: Simplify (- 1) into -1 0.216 * [backup-simplify]: Simplify (- 0) into 0 0.216 * [backup-simplify]: Simplify (- 0) into 0 0.216 * [backup-simplify]: Simplify (- 0) into 0 0.220 * [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.220 * [backup-simplify]: Simplify (- 1/24) into -1/24 0.221 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 0.221 * [backup-simplify]: Simplify 0 into 0 0.225 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 0.226 * [backup-simplify]: Simplify (- 1) into -1 0.226 * [backup-simplify]: Simplify (- 1) into -1 0.226 * [backup-simplify]: Simplify (- 0) into 0 0.226 * [backup-simplify]: Simplify (- 1) into -1 0.227 * [backup-simplify]: Simplify (- 0) into 0 0.227 * [backup-simplify]: Simplify (- 1) into -1 0.227 * [backup-simplify]: Simplify (- 0) into 0 0.228 * [backup-simplify]: Simplify (- 1) into -1 0.228 * [backup-simplify]: Simplify (- 0) into 0 0.228 * [backup-simplify]: Simplify (- 0) into 0 0.229 * [backup-simplify]: Simplify (- 0) into 0 0.229 * [backup-simplify]: Simplify (- 0) into 0 0.234 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 0.234 * [backup-simplify]: Simplify (- -1/120) into 1/120 0.234 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 0.234 * [backup-simplify]: Simplify 1/60 into 1/60 0.235 * [backup-simplify]: Simplify (+ (* 1/60 (pow x 5)) (+ (* 1/3 (pow x 3)) (* 2 x))) into (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 0.235 * [backup-simplify]: Simplify (- (exp (/ 1 x)) (exp (- (/ 1 x)))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 0.235 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in (x) around 0 0.235 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (- (/ 1 x)))) in x 0.235 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.235 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.235 * [taylor]: Taking taylor expansion of x in x 0.235 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify 1 into 1 0.235 * [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 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 (- 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)) (exp (- (/ 1 x)))) in x 0.236 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.237 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.237 * [taylor]: Taking taylor expansion of x in x 0.237 * [backup-simplify]: Simplify 0 into 0 0.237 * [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 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 0.237 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.237 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.237 * [taylor]: Taking taylor expansion of x in x 0.237 * [backup-simplify]: Simplify 0 into 0 0.237 * [backup-simplify]: Simplify 1 into 1 0.237 * [backup-simplify]: Simplify (/ 1 1) into 1 0.238 * [backup-simplify]: Simplify (- 1) into -1 0.238 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 0.238 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x)))) 0.238 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 0.238 * [backup-simplify]: Simplify (- (exp (/ 1 x)) (exp (- (/ 1 x)))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 0.239 * [backup-simplify]: Simplify (- 0) into 0 0.239 * [backup-simplify]: Simplify (+ 0 0) into 0 0.239 * [backup-simplify]: Simplify 0 into 0 0.239 * [backup-simplify]: Simplify (- 0) into 0 0.240 * [backup-simplify]: Simplify (+ 0 0) into 0 0.240 * [backup-simplify]: Simplify 0 into 0 0.240 * [backup-simplify]: Simplify (- 0) into 0 0.240 * [backup-simplify]: Simplify (+ 0 0) into 0 0.240 * [backup-simplify]: Simplify 0 into 0 0.241 * [backup-simplify]: Simplify (- 0) into 0 0.241 * [backup-simplify]: Simplify (+ 0 0) into 0 0.241 * [backup-simplify]: Simplify 0 into 0 0.241 * [backup-simplify]: Simplify (- 0) into 0 0.242 * [backup-simplify]: Simplify (+ 0 0) into 0 0.242 * [backup-simplify]: Simplify 0 into 0 0.242 * [backup-simplify]: Simplify (- 0) into 0 0.242 * [backup-simplify]: Simplify (+ 0 0) into 0 0.242 * [backup-simplify]: Simplify 0 into 0 0.242 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (- (exp x) (exp (- x))) 0.243 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 0.243 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0 0.243 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.243 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.243 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.243 * [taylor]: Taking taylor expansion of -1 in x 0.243 * [backup-simplify]: Simplify -1 into -1 0.243 * [taylor]: Taking taylor expansion of x in x 0.243 * [backup-simplify]: Simplify 0 into 0 0.243 * [backup-simplify]: Simplify 1 into 1 0.243 * [backup-simplify]: Simplify (/ -1 1) into -1 0.243 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.243 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.243 * [backup-simplify]: Simplify 0 into 0 0.243 * [backup-simplify]: Simplify 1 into 1 0.244 * [backup-simplify]: Simplify (/ 1 1) into 1 0.244 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.244 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x 0.244 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.244 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.244 * [taylor]: Taking taylor expansion of -1 in x 0.244 * [backup-simplify]: Simplify -1 into -1 0.244 * [taylor]: Taking taylor expansion of x in x 0.244 * [backup-simplify]: Simplify 0 into 0 0.244 * [backup-simplify]: Simplify 1 into 1 0.244 * [backup-simplify]: Simplify (/ -1 1) into -1 0.245 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.245 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.245 * [taylor]: Taking taylor expansion of x in x 0.245 * [backup-simplify]: Simplify 0 into 0 0.245 * [backup-simplify]: Simplify 1 into 1 0.245 * [backup-simplify]: Simplify (/ 1 1) into 1 0.245 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.245 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 0.245 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 0.245 * [backup-simplify]: Simplify (- (exp (/ -1 x)) (exp (/ 1 x))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 0.246 * [backup-simplify]: Simplify (- 0) into 0 0.246 * [backup-simplify]: Simplify (+ 0 0) into 0 0.246 * [backup-simplify]: Simplify 0 into 0 0.246 * [backup-simplify]: Simplify (- 0) into 0 0.247 * [backup-simplify]: Simplify (+ 0 0) into 0 0.247 * [backup-simplify]: Simplify 0 into 0 0.247 * [backup-simplify]: Simplify (- 0) into 0 0.247 * [backup-simplify]: Simplify (+ 0 0) into 0 0.247 * [backup-simplify]: Simplify 0 into 0 0.248 * [backup-simplify]: Simplify (- 0) into 0 0.248 * [backup-simplify]: Simplify (+ 0 0) into 0 0.248 * [backup-simplify]: Simplify 0 into 0 0.248 * [backup-simplify]: Simplify (- 0) into 0 0.249 * [backup-simplify]: Simplify (+ 0 0) into 0 0.249 * [backup-simplify]: Simplify 0 into 0 0.249 * [backup-simplify]: Simplify (- 0) into 0 0.249 * [backup-simplify]: Simplify (+ 0 0) into 0 0.249 * [backup-simplify]: Simplify 0 into 0 0.249 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) (exp (/ 1 (/ 1 (- x))))) into (- (exp x) (exp (* -1 x))) 0.249 * * * [progress]: simplifying candidates 0.250 * [simplify]: Simplifying: (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (fma 1 (exp x) (- (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x))))))) (fma (- (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))) (* (cbrt (exp (- x))) (* (cbrt (exp (- x))) (cbrt (exp (- x)))))) (fma 1 (exp x) (- (* (sqrt (exp (- x))) (sqrt (exp (- x)))))) (fma (- (sqrt (exp (- x)))) (sqrt (exp (- x))) (* (sqrt (exp (- x))) (sqrt (exp (- x))))) (fma 1 (exp x) (- (* (exp (- x)) 1))) (fma (- (exp (- x))) 1 (* (exp (- x)) 1)) (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (/ (exp (exp x)) (exp (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (* (* (- (exp x) (exp (- x))) (- (exp x) (exp (- x)))) (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (* (exp x) (exp x)) (+ (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (- (exp (- x))) (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (* -1 x))) 0.251 * * [simplify]: Extracting # 0 : cost 0 0.251 * * [simplify]: Extracting # 1 : cost 0 0.251 * * [simplify]: Extracting # 2 : cost 0 0.251 * * [simplify]: Extracting # 3 : cost 0 0.251 * * [simplify]: Extracting # 4 : cost 0 0.251 * * [simplify]: Extracting # 5 : cost 0 0.251 * * [simplify]: Extracting # 6 : cost 0 0.256 * * [simplify]: Extracting # 7 : cost 0 0.256 * * [simplify]: iteration 0 : 73 enodes (cost 547 ) 0.277 * * [simplify]: Extracting # 0 : cost 0 0.277 * * [simplify]: Extracting # 1 : cost 0 0.277 * * [simplify]: Extracting # 2 : cost 0 0.278 * * [simplify]: Extracting # 3 : cost 0 0.278 * * [simplify]: Extracting # 4 : cost 0 0.278 * * [simplify]: iteration 1 : 170 enodes (cost 404 ) 0.375 * * [simplify]: Extracting # 0 : cost 0 0.376 * * [simplify]: Extracting # 1 : cost 0 0.377 * * [simplify]: Extracting # 2 : cost 0 0.378 * * [simplify]: Extracting # 3 : cost 0 0.379 * * [simplify]: Extracting # 4 : cost 0 0.380 * * [simplify]: iteration 2 : 671 enodes (cost 308 ) 0.962 * * [simplify]: Extracting # 0 : cost 0 0.980 * * [simplify]: Extracting # 1 : cost 0 0.989 * * [simplify]: Extracting # 2 : cost 0 0.995 * * [simplify]: Extracting # 3 : cost 0 1.000 * * [simplify]: Extracting # 4 : cost 0 1.005 * * [simplify]: iteration done: 5000 enodes (cost 254 ) 1.005 * [simplify]: Simplified to: (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (pow (cbrt (exp x)) 3) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (- (exp x) (exp (- x))) 0 (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (- (exp (- x))) (- (exp (- x))) (- (exp (- x))) (exp (- (exp x) (exp (- x)))) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (pow (- (exp x) (exp (- x))) 3) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (- (pow (exp x) 3) (pow (exp (- x)) 3)) (+ (+ (exp (+ x x)) 1) (exp (* x -2))) (- (exp (- x))) (- (exp (+ x x)) (exp (* x -2))) (+ (exp x) (exp (- x))) (+ (sqrt (exp x)) (sqrt (exp (- x)))) (- (sqrt (exp x)) (sqrt (exp (- x)))) (- (exp x) (exp (- x))) (- (exp (- x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (- x))) 1.006 * * * [progress]: adding candidates to table 1.069 * * [progress]: iteration 2 / 4 1.069 * * * [progress]: picking best candidate 1.078 * * * * [pick]: Picked # 1.078 * * * [progress]: localizing error 1.090 * * * [progress]: generating rewritten candidates 1.090 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 1.090 * * * [progress]: generating series expansions 1.091 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 1.091 * [backup-simplify]: Simplify (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) into (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 1.091 * [approximate]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in (x) around 0 1.091 * [taylor]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in x 1.091 * [taylor]: Rewrote expression to (+ (* 1/3 (pow x 3)) (fma 1/60 (pow x 5) (* 2 x))) 1.091 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.091 * [taylor]: Taking taylor expansion of 1/3 in x 1.091 * [backup-simplify]: Simplify 1/3 into 1/3 1.091 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.091 * [taylor]: Taking taylor expansion of x in x 1.091 * [backup-simplify]: Simplify 0 into 0 1.091 * [backup-simplify]: Simplify 1 into 1 1.091 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 1.091 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 1.091 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 1.091 * [taylor]: Taking taylor expansion of 1/60 in x 1.091 * [backup-simplify]: Simplify 1/60 into 1/60 1.091 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.091 * [taylor]: Taking taylor expansion of x in x 1.091 * [backup-simplify]: Simplify 0 into 0 1.091 * [backup-simplify]: Simplify 1 into 1 1.091 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.091 * [taylor]: Taking taylor expansion of 2 in x 1.091 * [backup-simplify]: Simplify 2 into 2 1.091 * [taylor]: Taking taylor expansion of x in x 1.091 * [backup-simplify]: Simplify 0 into 0 1.091 * [backup-simplify]: Simplify 1 into 1 1.091 * [taylor]: Taking taylor expansion of (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) in x 1.091 * [taylor]: Rewrote expression to (+ (* 1/3 (pow x 3)) (fma 1/60 (pow x 5) (* 2 x))) 1.092 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x 1.092 * [taylor]: Taking taylor expansion of 1/3 in x 1.092 * [backup-simplify]: Simplify 1/3 into 1/3 1.092 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.092 * [taylor]: Taking taylor expansion of x in x 1.092 * [backup-simplify]: Simplify 0 into 0 1.092 * [backup-simplify]: Simplify 1 into 1 1.092 * [taylor]: Taking taylor expansion of (fma 1/60 (pow x 5) (* 2 x)) in x 1.092 * [taylor]: Rewrote expression to (+ (* 1/60 (pow x 5)) (* 2 x)) 1.092 * [taylor]: Taking taylor expansion of (* 1/60 (pow x 5)) in x 1.092 * [taylor]: Taking taylor expansion of 1/60 in x 1.092 * [backup-simplify]: Simplify 1/60 into 1/60 1.092 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.092 * [taylor]: Taking taylor expansion of x in x 1.092 * [backup-simplify]: Simplify 0 into 0 1.092 * [backup-simplify]: Simplify 1 into 1 1.092 * [taylor]: Taking taylor expansion of (* 2 x) in x 1.092 * [taylor]: Taking taylor expansion of 2 in x 1.092 * [backup-simplify]: Simplify 2 into 2 1.092 * [taylor]: Taking taylor expansion of x in x 1.092 * [backup-simplify]: Simplify 0 into 0 1.092 * [backup-simplify]: Simplify 1 into 1 1.092 * [backup-simplify]: Simplify (* 2 0) into 0 1.093 * [backup-simplify]: Simplify (+ 0 0) into 0 1.093 * [backup-simplify]: Simplify (+ 0 0) into 0 1.093 * [backup-simplify]: Simplify 0 into 0 1.093 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 1.094 * [backup-simplify]: Simplify (+ 0 2) into 2 1.094 * [backup-simplify]: Simplify (+ 0 2) into 2 1.094 * [backup-simplify]: Simplify 2 into 2 1.095 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 1.095 * [backup-simplify]: Simplify (+ 0 0) into 0 1.095 * [backup-simplify]: Simplify (+ 0 0) into 0 1.095 * [backup-simplify]: Simplify 0 into 0 1.095 * [backup-simplify]: Simplify (* 1 1) into 1 1.095 * [backup-simplify]: Simplify (* 1 1) into 1 1.096 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 1.096 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.097 * [backup-simplify]: Simplify (+ 0 0) into 0 1.097 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1.097 * [backup-simplify]: Simplify 1/3 into 1/3 1.097 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.098 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.098 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0 1.099 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1.099 * [backup-simplify]: Simplify (+ 0 0) into 0 1.099 * [backup-simplify]: Simplify (+ 0 0) into 0 1.099 * [backup-simplify]: Simplify 0 into 0 1.100 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.100 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.101 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0 1.101 * [backup-simplify]: Simplify (* 1 1) into 1 1.101 * [backup-simplify]: Simplify (* 1 1) into 1 1.101 * [backup-simplify]: Simplify (* 1 1) into 1 1.102 * [backup-simplify]: Simplify (* 1/60 1) into 1/60 1.103 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1.103 * [backup-simplify]: Simplify (+ 1/60 0) into 1/60 1.103 * [backup-simplify]: Simplify (+ 0 1/60) into 1/60 1.103 * [backup-simplify]: Simplify 1/60 into 1/60 1.103 * [backup-simplify]: Simplify (+ (* 1/60 (pow x 5)) (+ (* 1/3 (pow x 3)) (* 2 x))) into (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 1.104 * [backup-simplify]: Simplify (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (* 2 (/ 1 x)))) into (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 1.104 * [approximate]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in (x) around 0 1.104 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in x 1.104 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 x) 3)) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 1.104 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 x) 3)) in x 1.104 * [taylor]: Taking taylor expansion of 1/3 in x 1.104 * [backup-simplify]: Simplify 1/3 into 1/3 1.104 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 1.104 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.104 * [taylor]: Taking taylor expansion of x in x 1.104 * [backup-simplify]: Simplify 0 into 0 1.104 * [backup-simplify]: Simplify 1 into 1 1.104 * [backup-simplify]: Simplify (/ 1 1) into 1 1.104 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 1.104 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 1.104 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 1.104 * [taylor]: Taking taylor expansion of 1/60 in x 1.104 * [backup-simplify]: Simplify 1/60 into 1/60 1.104 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 1.104 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.104 * [taylor]: Taking taylor expansion of x in x 1.104 * [backup-simplify]: Simplify 0 into 0 1.104 * [backup-simplify]: Simplify 1 into 1 1.105 * [backup-simplify]: Simplify (/ 1 1) into 1 1.105 * [taylor]: Taking taylor expansion of (/ 2 x) in x 1.105 * [taylor]: Taking taylor expansion of 2 in x 1.105 * [backup-simplify]: Simplify 2 into 2 1.105 * [taylor]: Taking taylor expansion of x in x 1.105 * [backup-simplify]: Simplify 0 into 0 1.105 * [backup-simplify]: Simplify 1 into 1 1.105 * [backup-simplify]: Simplify (/ 2 1) into 2 1.105 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 x) 3) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) in x 1.105 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 x) 3)) (fma 1/60 (pow (/ 1 x) 5) (/ 2 x))) 1.105 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 x) 3)) in x 1.105 * [taylor]: Taking taylor expansion of 1/3 in x 1.105 * [backup-simplify]: Simplify 1/3 into 1/3 1.105 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 3) in x 1.105 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.105 * [taylor]: Taking taylor expansion of x in x 1.105 * [backup-simplify]: Simplify 0 into 0 1.105 * [backup-simplify]: Simplify 1 into 1 1.106 * [backup-simplify]: Simplify (/ 1 1) into 1 1.106 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 x) 5) (/ 2 x)) in x 1.106 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 x) 5)) (/ 2 x)) 1.106 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 x) 5)) in x 1.106 * [taylor]: Taking taylor expansion of 1/60 in x 1.106 * [backup-simplify]: Simplify 1/60 into 1/60 1.106 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 5) in x 1.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.106 * [taylor]: Taking taylor expansion of x in x 1.106 * [backup-simplify]: Simplify 0 into 0 1.106 * [backup-simplify]: Simplify 1 into 1 1.106 * [backup-simplify]: Simplify (/ 1 1) into 1 1.106 * [taylor]: Taking taylor expansion of (/ 2 x) in x 1.106 * [taylor]: Taking taylor expansion of 2 in x 1.106 * [backup-simplify]: Simplify 2 into 2 1.106 * [taylor]: Taking taylor expansion of x in x 1.106 * [backup-simplify]: Simplify 0 into 0 1.106 * [backup-simplify]: Simplify 1 into 1 1.106 * [backup-simplify]: Simplify (/ 2 1) into 2 1.107 * [backup-simplify]: Simplify (* 1 1) into 1 1.107 * [backup-simplify]: Simplify (* 1 1) into 1 1.107 * [backup-simplify]: Simplify (* 1 1) into 1 1.107 * [backup-simplify]: Simplify (* 1/60 1) into 1/60 1.108 * [backup-simplify]: Simplify (+ 1/60 0) into 1/60 1.108 * [backup-simplify]: Simplify (+ 0 1/60) into 1/60 1.108 * [backup-simplify]: Simplify 1/60 into 1/60 1.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.109 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.109 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.110 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.110 * [backup-simplify]: Simplify (+ (* 1/60 0) (* 0 1)) into 0 1.110 * [backup-simplify]: Simplify (+ 0 0) into 0 1.111 * [backup-simplify]: Simplify (+ 0 0) into 0 1.111 * [backup-simplify]: Simplify 0 into 0 1.111 * [backup-simplify]: Simplify (* 1 1) into 1 1.111 * [backup-simplify]: Simplify (* 1 1) into 1 1.111 * [backup-simplify]: Simplify (* 1/3 1) into 1/3 1.112 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.114 * [backup-simplify]: Simplify (+ (* 1/60 0) (+ (* 0 0) (* 0 1))) into 0 1.114 * [backup-simplify]: Simplify (+ 0 0) into 0 1.114 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 1.114 * [backup-simplify]: Simplify 1/3 into 1/3 1.115 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.115 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.116 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.116 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 1)) into 0 1.116 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.119 * [backup-simplify]: Simplify (+ (* 1/60 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.119 * [backup-simplify]: Simplify (+ 0 0) into 0 1.119 * [backup-simplify]: Simplify (+ 0 0) into 0 1.119 * [backup-simplify]: Simplify 0 into 0 1.120 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.121 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.122 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 1))) into 0 1.122 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.123 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.123 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.125 * [backup-simplify]: Simplify (+ (* 1/60 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.125 * [backup-simplify]: Simplify (+ 0 2) into 2 1.125 * [backup-simplify]: Simplify (+ 0 2) into 2 1.125 * [backup-simplify]: Simplify 2 into 2 1.126 * [backup-simplify]: Simplify (+ (* 2 (/ 1 (/ 1 x))) (+ (* 1/3 (pow (/ 1 (/ 1 x)) 3)) (* 1/60 (pow (/ 1 (/ 1 x)) 5)))) into (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) 1.126 * [backup-simplify]: Simplify (fma 1/3 (pow (/ 1 (- x)) 3) (fma 1/60 (pow (/ 1 (- x)) 5) (* 2 (/ 1 (- x))))) into (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 1.126 * [approximate]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in (x) around 0 1.126 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in x 1.126 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 x) 3)) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 1.126 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 x) 3)) in x 1.126 * [taylor]: Taking taylor expansion of 1/3 in x 1.126 * [backup-simplify]: Simplify 1/3 into 1/3 1.126 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 1.126 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.126 * [taylor]: Taking taylor expansion of -1 in x 1.126 * [backup-simplify]: Simplify -1 into -1 1.126 * [taylor]: Taking taylor expansion of x in x 1.126 * [backup-simplify]: Simplify 0 into 0 1.126 * [backup-simplify]: Simplify 1 into 1 1.127 * [backup-simplify]: Simplify (/ -1 1) into -1 1.127 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 1.127 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 1.127 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 1.127 * [taylor]: Taking taylor expansion of 1/60 in x 1.127 * [backup-simplify]: Simplify 1/60 into 1/60 1.127 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 1.127 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.127 * [taylor]: Taking taylor expansion of -1 in x 1.127 * [backup-simplify]: Simplify -1 into -1 1.127 * [taylor]: Taking taylor expansion of x in x 1.127 * [backup-simplify]: Simplify 0 into 0 1.127 * [backup-simplify]: Simplify 1 into 1 1.127 * [backup-simplify]: Simplify (/ -1 1) into -1 1.127 * [taylor]: Taking taylor expansion of (/ -2 x) in x 1.127 * [taylor]: Taking taylor expansion of -2 in x 1.127 * [backup-simplify]: Simplify -2 into -2 1.127 * [taylor]: Taking taylor expansion of x in x 1.127 * [backup-simplify]: Simplify 0 into 0 1.127 * [backup-simplify]: Simplify 1 into 1 1.128 * [backup-simplify]: Simplify (/ -2 1) into -2 1.128 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 x) 3) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) in x 1.128 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 x) 3)) (fma 1/60 (pow (/ -1 x) 5) (/ -2 x))) 1.128 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 x) 3)) in x 1.128 * [taylor]: Taking taylor expansion of 1/3 in x 1.128 * [backup-simplify]: Simplify 1/3 into 1/3 1.128 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 3) in x 1.128 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.128 * [taylor]: Taking taylor expansion of -1 in x 1.128 * [backup-simplify]: Simplify -1 into -1 1.128 * [taylor]: Taking taylor expansion of x in x 1.128 * [backup-simplify]: Simplify 0 into 0 1.128 * [backup-simplify]: Simplify 1 into 1 1.128 * [backup-simplify]: Simplify (/ -1 1) into -1 1.128 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 x) 5) (/ -2 x)) in x 1.128 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 x) 5)) (/ -2 x)) 1.128 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 x) 5)) in x 1.128 * [taylor]: Taking taylor expansion of 1/60 in x 1.128 * [backup-simplify]: Simplify 1/60 into 1/60 1.128 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 5) in x 1.128 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.128 * [taylor]: Taking taylor expansion of -1 in x 1.128 * [backup-simplify]: Simplify -1 into -1 1.128 * [taylor]: Taking taylor expansion of x in x 1.128 * [backup-simplify]: Simplify 0 into 0 1.128 * [backup-simplify]: Simplify 1 into 1 1.129 * [backup-simplify]: Simplify (/ -1 1) into -1 1.129 * [taylor]: Taking taylor expansion of (/ -2 x) in x 1.129 * [taylor]: Taking taylor expansion of -2 in x 1.129 * [backup-simplify]: Simplify -2 into -2 1.129 * [taylor]: Taking taylor expansion of x in x 1.129 * [backup-simplify]: Simplify 0 into 0 1.129 * [backup-simplify]: Simplify 1 into 1 1.129 * [backup-simplify]: Simplify (/ -2 1) into -2 1.129 * [backup-simplify]: Simplify (* -1 -1) into 1 1.130 * [backup-simplify]: Simplify (* 1 1) into 1 1.130 * [backup-simplify]: Simplify (* -1 1) into -1 1.130 * [backup-simplify]: Simplify (* 1/60 -1) into -1/60 1.130 * [backup-simplify]: Simplify (+ -1/60 0) into -1/60 1.131 * [backup-simplify]: Simplify (+ 0 -1/60) into -1/60 1.131 * [backup-simplify]: Simplify -1/60 into -1/60 1.131 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1.132 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 1.132 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1.132 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 1.133 * [backup-simplify]: Simplify (+ (* 1/60 0) (* 0 -1)) into 0 1.133 * [backup-simplify]: Simplify (+ 0 0) into 0 1.133 * [backup-simplify]: Simplify (+ 0 0) into 0 1.133 * [backup-simplify]: Simplify 0 into 0 1.134 * [backup-simplify]: Simplify (* -1 -1) into 1 1.134 * [backup-simplify]: Simplify (* -1 1) into -1 1.134 * [backup-simplify]: Simplify (* 1/3 -1) into -1/3 1.135 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.135 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 1.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1.136 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0 1.137 * [backup-simplify]: Simplify (+ (* 1/60 0) (+ (* 0 0) (* 0 -1))) into 0 1.137 * [backup-simplify]: Simplify (+ 0 0) into 0 1.137 * [backup-simplify]: Simplify (+ -1/3 0) into -1/3 1.137 * [backup-simplify]: Simplify -1/3 into -1/3 1.138 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1.138 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 1.139 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1)) into 0 1.139 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 -1)) into 0 1.139 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.140 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 1.141 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.141 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.146 * [backup-simplify]: Simplify (+ (* 1/60 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 1.146 * [backup-simplify]: Simplify (+ 0 0) into 0 1.146 * [backup-simplify]: Simplify (+ 0 0) into 0 1.146 * [backup-simplify]: Simplify 0 into 0 1.147 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.147 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 1.148 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1))) into 0 1.148 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 -1))) into 0 1.149 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.150 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 1.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.151 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.152 * [backup-simplify]: Simplify (+ (* 1/60 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 1.152 * [backup-simplify]: Simplify (+ 0 -2) into -2 1.152 * [backup-simplify]: Simplify (+ 0 -2) into -2 1.152 * [backup-simplify]: Simplify -2 into -2 1.153 * [backup-simplify]: Simplify (+ (* -2 (/ 1 (/ 1 (- x)))) (+ (* -1/3 (pow (/ 1 (/ 1 (- x))) 3)) (* -1/60 (pow (/ 1 (/ 1 (- x))) 5)))) into (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) 1.153 * * * [progress]: simplifying candidates 1.153 * [simplify]: Simplifying: (expm1 (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (log1p (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* 1/3 (pow x 3)) (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (exp (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (* (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) (+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5)))) 1.154 * * [simplify]: Extracting # 0 : cost 0 1.154 * * [simplify]: Extracting # 1 : cost 0 1.154 * * [simplify]: Extracting # 2 : cost 0 1.154 * * [simplify]: Extracting # 3 : cost 0 1.154 * * [simplify]: Extracting # 4 : cost 0 1.154 * * [simplify]: Extracting # 5 : cost 0 1.154 * * [simplify]: Extracting # 6 : cost 0 1.154 * * [simplify]: Extracting # 7 : cost 0 1.154 * * [simplify]: Extracting # 8 : cost 0 1.154 * * [simplify]: iteration 0 : 26 enodes (cost 218 ) 1.159 * * [simplify]: Extracting # 0 : cost 0 1.159 * * [simplify]: Extracting # 1 : cost 0 1.159 * * [simplify]: Extracting # 2 : cost 0 1.159 * * [simplify]: Extracting # 3 : cost 0 1.159 * * [simplify]: iteration 1 : 54 enodes (cost 212 ) 1.172 * * [simplify]: Extracting # 0 : cost 0 1.173 * * [simplify]: Extracting # 1 : cost 0 1.173 * * [simplify]: Extracting # 2 : cost 0 1.173 * * [simplify]: Extracting # 3 : cost 0 1.173 * * [simplify]: iteration 2 : 211 enodes (cost 186 ) 1.321 * * [simplify]: Extracting # 0 : cost 0 1.323 * * [simplify]: Extracting # 1 : cost 0 1.324 * * [simplify]: Extracting # 2 : cost 0 1.326 * * [simplify]: Extracting # 3 : cost 0 1.331 * * [simplify]: Extracting # 4 : cost 0 1.332 * * [simplify]: iteration 3 : 1462 enodes (cost 186 ) 2.427 * * [simplify]: Extracting # 0 : cost 0 2.444 * * [simplify]: Extracting # 1 : cost 0 2.454 * * [simplify]: Extracting # 2 : cost 0 2.459 * * [simplify]: Extracting # 3 : cost 0 2.465 * * [simplify]: Extracting # 4 : cost 0 2.472 * * [simplify]: iteration done: 5000 enodes (cost 186 ) 2.472 * [simplify]: Simplified to: (expm1 (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (log1p (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* 1/3 (pow x 3)) (log (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (exp (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (* (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))))) (cbrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (pow (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 3) (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (sqrt (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x)))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) 2.473 * * * [progress]: adding candidates to table 2.524 * * [progress]: iteration 3 / 4 2.524 * * * [progress]: picking best candidate 2.535 * * * * [pick]: Picked # 2.535 * * * [progress]: localizing error 2.545 * * * [progress]: generating rewritten candidates 2.545 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 2.545 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 2.549 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 2.553 * * * [progress]: generating series expansions 2.553 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 2.553 * [backup-simplify]: Simplify (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)))) into (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)))) 2.553 * [approximate]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)))) in (x) around 0 2.553 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)))) in x 2.553 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (exp (- x)))) 2.553 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 2.553 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 2.553 * [taylor]: Taking taylor expansion of (exp x) in x 2.553 * [taylor]: Taking taylor expansion of x in x 2.553 * [backup-simplify]: Simplify 0 into 0 2.553 * [backup-simplify]: Simplify 1 into 1 2.553 * [backup-simplify]: Simplify (exp 0) into 1 2.554 * [backup-simplify]: Simplify (sqrt 1) into 1 2.554 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.555 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 2.555 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 2.555 * [taylor]: Taking taylor expansion of (exp x) in x 2.555 * [taylor]: Taking taylor expansion of x in x 2.555 * [backup-simplify]: Simplify 0 into 0 2.555 * [backup-simplify]: Simplify 1 into 1 2.555 * [backup-simplify]: Simplify (exp 0) into 1 2.555 * [backup-simplify]: Simplify (sqrt 1) into 1 2.556 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.556 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 2.556 * [taylor]: Taking taylor expansion of (- (exp (- x))) in x 2.556 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.556 * [taylor]: Taking taylor expansion of (- x) in x 2.556 * [taylor]: Taking taylor expansion of x in x 2.556 * [backup-simplify]: Simplify 0 into 0 2.556 * [backup-simplify]: Simplify 1 into 1 2.556 * [backup-simplify]: Simplify (- 0) into 0 2.557 * [backup-simplify]: Simplify (- 1) into -1 2.557 * [backup-simplify]: Simplify (exp 0) into 1 2.557 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)))) in x 2.557 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) (- (exp (- x)))) 2.557 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 2.557 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 2.557 * [taylor]: Taking taylor expansion of (exp x) in x 2.557 * [taylor]: Taking taylor expansion of x in x 2.557 * [backup-simplify]: Simplify 0 into 0 2.557 * [backup-simplify]: Simplify 1 into 1 2.557 * [backup-simplify]: Simplify (exp 0) into 1 2.557 * [backup-simplify]: Simplify (sqrt 1) into 1 2.558 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.558 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 2.558 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 2.558 * [taylor]: Taking taylor expansion of (exp x) in x 2.558 * [taylor]: Taking taylor expansion of x in x 2.558 * [backup-simplify]: Simplify 0 into 0 2.558 * [backup-simplify]: Simplify 1 into 1 2.558 * [backup-simplify]: Simplify (exp 0) into 1 2.558 * [backup-simplify]: Simplify (sqrt 1) into 1 2.559 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.559 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 2.559 * [taylor]: Taking taylor expansion of (- (exp (- x))) in x 2.560 * [taylor]: Taking taylor expansion of (exp (- x)) in x 2.560 * [taylor]: Taking taylor expansion of (- x) in x 2.560 * [taylor]: Taking taylor expansion of x in x 2.560 * [backup-simplify]: Simplify 0 into 0 2.560 * [backup-simplify]: Simplify 1 into 1 2.560 * [backup-simplify]: Simplify (- 0) into 0 2.560 * [backup-simplify]: Simplify (- 1) into -1 2.560 * [backup-simplify]: Simplify (exp 0) into 1 2.560 * [backup-simplify]: Simplify (* 1 1) into 1 2.561 * [backup-simplify]: Simplify (- 1) into -1 2.561 * [backup-simplify]: Simplify (+ 1 -1) into 0 2.561 * [backup-simplify]: Simplify 0 into 0 2.561 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 1/2 1)) into 1 2.562 * [backup-simplify]: Simplify (- 1) into -1 2.562 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 2.562 * [backup-simplify]: Simplify (- -1) into 1 2.563 * [backup-simplify]: Simplify (+ 1 1) into 2 2.563 * [backup-simplify]: Simplify 2 into 2 2.564 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 2.564 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 2.565 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 2.566 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 2.566 * [backup-simplify]: Simplify (+ (* 1 1/8) (+ (* 1/2 1/2) (* 1/8 1))) into 1/2 2.566 * [backup-simplify]: Simplify (- 1) into -1 2.567 * [backup-simplify]: Simplify (- 0) into 0 2.568 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 2.568 * [backup-simplify]: Simplify (- 1/2) into -1/2 2.568 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 2.568 * [backup-simplify]: Simplify 0 into 0 2.569 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 2.570 * [backup-simplify]: Simplify (/ (- 1/6 (+ (* 2 (* 1/2 1/8)))) (* 2 1)) into 1/48 2.572 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 2.572 * [backup-simplify]: Simplify (/ (- 1/6 (+ (* 2 (* 1/2 1/8)))) (* 2 1)) into 1/48 2.573 * [backup-simplify]: Simplify (+ (* 1 1/48) (+ (* 1/2 1/8) (+ (* 1/8 1/2) (* 1/48 1)))) into 1/6 2.574 * [backup-simplify]: Simplify (- 1) into -1 2.574 * [backup-simplify]: Simplify (- 1) into -1 2.574 * [backup-simplify]: Simplify (- 0) into 0 2.574 * [backup-simplify]: Simplify (- 0) into 0 2.576 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 2.576 * [backup-simplify]: Simplify (- -1/6) into 1/6 2.576 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 2.576 * [backup-simplify]: Simplify 1/3 into 1/3 2.578 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 2.579 * [backup-simplify]: Simplify (/ (- 1/24 (pow 1/8 2) (+ (* 2 (* 1/2 1/48)))) (* 2 1)) into 1/384 2.582 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 2.583 * [backup-simplify]: Simplify (/ (- 1/24 (pow 1/8 2) (+ (* 2 (* 1/2 1/48)))) (* 2 1)) into 1/384 2.584 * [backup-simplify]: Simplify (+ (* 1 1/384) (+ (* 1/2 1/48) (+ (* 1/8 1/8) (+ (* 1/48 1/2) (* 1/384 1))))) into 1/24 2.584 * [backup-simplify]: Simplify (- 1) into -1 2.584 * [backup-simplify]: Simplify (- 1) into -1 2.584 * [backup-simplify]: Simplify (- 0) into 0 2.585 * [backup-simplify]: Simplify (- 1) into -1 2.585 * [backup-simplify]: Simplify (- 0) into 0 2.585 * [backup-simplify]: Simplify (- 0) into 0 2.585 * [backup-simplify]: Simplify (- 0) into 0 2.588 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 2.588 * [backup-simplify]: Simplify (- 1/24) into -1/24 2.588 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 2.588 * [backup-simplify]: Simplify 0 into 0 2.591 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 2.592 * [backup-simplify]: Simplify (/ (- 1/120 (+ (* 2 (* 1/2 1/384)) (* 2 (* 1/8 1/48)))) (* 2 1)) into 1/3840 2.596 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 2.597 * [backup-simplify]: Simplify (/ (- 1/120 (+ (* 2 (* 1/2 1/384)) (* 2 (* 1/8 1/48)))) (* 2 1)) into 1/3840 2.598 * [backup-simplify]: Simplify (+ (* 1 1/3840) (+ (* 1/2 1/384) (+ (* 1/8 1/48) (+ (* 1/48 1/8) (+ (* 1/384 1/2) (* 1/3840 1)))))) into 1/120 2.598 * [backup-simplify]: Simplify (- 1) into -1 2.598 * [backup-simplify]: Simplify (- 1) into -1 2.603 * [backup-simplify]: Simplify (- 0) into 0 2.604 * [backup-simplify]: Simplify (- 1) into -1 2.604 * [backup-simplify]: Simplify (- 0) into 0 2.604 * [backup-simplify]: Simplify (- 1) into -1 2.604 * [backup-simplify]: Simplify (- 0) into 0 2.605 * [backup-simplify]: Simplify (- 1) into -1 2.605 * [backup-simplify]: Simplify (- 0) into 0 2.605 * [backup-simplify]: Simplify (- 0) into 0 2.605 * [backup-simplify]: Simplify (- 0) into 0 2.605 * [backup-simplify]: Simplify (- 0) into 0 2.609 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 2.609 * [backup-simplify]: Simplify (- -1/120) into 1/120 2.609 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 2.609 * [backup-simplify]: Simplify 1/60 into 1/60 2.610 * [backup-simplify]: Simplify (+ (* 1/60 (pow x 5)) (+ (* 1/3 (pow x 3)) (* 2 x))) into (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 2.610 * [backup-simplify]: Simplify (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- (exp (- (/ 1 x))))) into (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- (exp (- (/ 1 x))))) 2.610 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- (exp (- (/ 1 x))))) in (x) around 0 2.610 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- (exp (- (/ 1 x))))) in x 2.610 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (- (exp (- (/ 1 x))))) 2.610 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 2.610 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 2.610 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.610 * [taylor]: Taking taylor expansion of x in x 2.611 * [backup-simplify]: Simplify 0 into 0 2.611 * [backup-simplify]: Simplify 1 into 1 2.611 * [backup-simplify]: Simplify (/ 1 1) into 1 2.611 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.611 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 2.611 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 2.611 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 2.611 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.611 * [taylor]: Taking taylor expansion of x in x 2.611 * [backup-simplify]: Simplify 0 into 0 2.611 * [backup-simplify]: Simplify 1 into 1 2.612 * [backup-simplify]: Simplify (/ 1 1) into 1 2.612 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.612 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 2.612 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 2.612 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 x)))) in x 2.612 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.612 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.612 * [taylor]: Taking taylor expansion of x in x 2.612 * [backup-simplify]: Simplify 0 into 0 2.612 * [backup-simplify]: Simplify 1 into 1 2.613 * [backup-simplify]: Simplify (/ 1 1) into 1 2.613 * [backup-simplify]: Simplify (- 1) into -1 2.613 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 2.613 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) (- (exp (- (/ 1 x))))) in x 2.613 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) (- (exp (- (/ 1 x))))) 2.614 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 2.614 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 2.614 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.614 * [taylor]: Taking taylor expansion of x in x 2.614 * [backup-simplify]: Simplify 0 into 0 2.614 * [backup-simplify]: Simplify 1 into 1 2.614 * [backup-simplify]: Simplify (/ 1 1) into 1 2.614 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.614 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 2.614 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 2.614 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 2.614 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.614 * [taylor]: Taking taylor expansion of x in x 2.614 * [backup-simplify]: Simplify 0 into 0 2.614 * [backup-simplify]: Simplify 1 into 1 2.615 * [backup-simplify]: Simplify (/ 1 1) into 1 2.615 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.615 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 2.615 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 2.615 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 x)))) in x 2.615 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 2.615 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.615 * [taylor]: Taking taylor expansion of x in x 2.615 * [backup-simplify]: Simplify 0 into 0 2.615 * [backup-simplify]: Simplify 1 into 1 2.616 * [backup-simplify]: Simplify (/ 1 1) into 1 2.616 * [backup-simplify]: Simplify (- 1) into -1 2.616 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 2.616 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) into (exp (/ 1 x)) 2.616 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x)))) 2.616 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- (exp (- (/ 1 x))))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.617 * [backup-simplify]: Simplify (- (exp (/ 1 x)) (exp (- (/ 1 x)))) into (- (exp (/ 1 x)) (exp (- (/ 1 x)))) 2.617 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (* 0 (sqrt (exp (/ 1 x))))) into 0 2.617 * [backup-simplify]: Simplify (- 0) into 0 2.617 * [backup-simplify]: Simplify (+ 0 0) into 0 2.618 * [backup-simplify]: Simplify 0 into 0 2.618 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.619 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.619 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))) into 0 2.620 * [backup-simplify]: Simplify (- 0) into 0 2.620 * [backup-simplify]: Simplify (+ 0 0) into 0 2.620 * [backup-simplify]: Simplify 0 into 0 2.621 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.621 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.622 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))) into 0 2.623 * [backup-simplify]: Simplify (- 0) into 0 2.623 * [backup-simplify]: Simplify (+ 0 0) into 0 2.623 * [backup-simplify]: Simplify 0 into 0 2.624 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.625 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.626 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))))) into 0 2.626 * [backup-simplify]: Simplify (- 0) into 0 2.626 * [backup-simplify]: Simplify (+ 0 0) into 0 2.627 * [backup-simplify]: Simplify 0 into 0 2.627 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.628 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.629 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))))) into 0 2.630 * [backup-simplify]: Simplify (- 0) into 0 2.630 * [backup-simplify]: Simplify (+ 0 0) into 0 2.630 * [backup-simplify]: Simplify 0 into 0 2.631 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.632 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.633 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))))))) into 0 2.634 * [backup-simplify]: Simplify (- 0) into 0 2.634 * [backup-simplify]: Simplify (+ 0 0) into 0 2.634 * [backup-simplify]: Simplify 0 into 0 2.634 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))) into (- (exp x) (exp (- x))) 2.634 * [backup-simplify]: Simplify (fma (sqrt (exp (/ 1 (- x)))) (sqrt (exp (/ 1 (- x)))) (- (exp (- (/ 1 (- x)))))) into (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- (exp (/ 1 x)))) 2.634 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- (exp (/ 1 x)))) in (x) around 0 2.634 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- (exp (/ 1 x)))) in x 2.635 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (- (exp (/ 1 x)))) 2.635 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 2.635 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 2.635 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.635 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.635 * [taylor]: Taking taylor expansion of -1 in x 2.635 * [backup-simplify]: Simplify -1 into -1 2.635 * [taylor]: Taking taylor expansion of x in x 2.635 * [backup-simplify]: Simplify 0 into 0 2.635 * [backup-simplify]: Simplify 1 into 1 2.635 * [backup-simplify]: Simplify (/ -1 1) into -1 2.635 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.635 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 2.636 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 2.636 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 2.636 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.636 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.636 * [taylor]: Taking taylor expansion of -1 in x 2.636 * [backup-simplify]: Simplify -1 into -1 2.636 * [taylor]: Taking taylor expansion of x in x 2.636 * [backup-simplify]: Simplify 0 into 0 2.636 * [backup-simplify]: Simplify 1 into 1 2.636 * [backup-simplify]: Simplify (/ -1 1) into -1 2.636 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.636 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 2.636 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 2.636 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x))) in x 2.636 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.636 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.637 * [taylor]: Taking taylor expansion of x in x 2.637 * [backup-simplify]: Simplify 0 into 0 2.637 * [backup-simplify]: Simplify 1 into 1 2.637 * [backup-simplify]: Simplify (/ 1 1) into 1 2.637 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.637 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) (- (exp (/ 1 x)))) in x 2.637 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) (- (exp (/ 1 x)))) 2.637 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 2.637 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 2.637 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.637 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.637 * [taylor]: Taking taylor expansion of -1 in x 2.637 * [backup-simplify]: Simplify -1 into -1 2.637 * [taylor]: Taking taylor expansion of x in x 2.637 * [backup-simplify]: Simplify 0 into 0 2.637 * [backup-simplify]: Simplify 1 into 1 2.638 * [backup-simplify]: Simplify (/ -1 1) into -1 2.638 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.638 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 2.638 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 2.638 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 2.638 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.638 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.638 * [taylor]: Taking taylor expansion of -1 in x 2.638 * [backup-simplify]: Simplify -1 into -1 2.638 * [taylor]: Taking taylor expansion of x in x 2.638 * [backup-simplify]: Simplify 0 into 0 2.638 * [backup-simplify]: Simplify 1 into 1 2.639 * [backup-simplify]: Simplify (/ -1 1) into -1 2.639 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.639 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 2.639 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 2.639 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x))) in x 2.639 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.639 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.639 * [taylor]: Taking taylor expansion of x in x 2.639 * [backup-simplify]: Simplify 0 into 0 2.639 * [backup-simplify]: Simplify 1 into 1 2.639 * [backup-simplify]: Simplify (/ 1 1) into 1 2.639 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.640 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) into (exp (/ -1 x)) 2.640 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 2.640 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- (exp (/ 1 x)))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 2.640 * [backup-simplify]: Simplify (- (exp (/ -1 x)) (exp (/ 1 x))) into (- (exp (/ -1 x)) (exp (/ 1 x))) 2.640 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (* 0 (sqrt (exp (/ -1 x))))) into 0 2.640 * [backup-simplify]: Simplify (- 0) into 0 2.641 * [backup-simplify]: Simplify (+ 0 0) into 0 2.641 * [backup-simplify]: Simplify 0 into 0 2.641 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.642 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.643 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))) into 0 2.643 * [backup-simplify]: Simplify (- 0) into 0 2.643 * [backup-simplify]: Simplify (+ 0 0) into 0 2.643 * [backup-simplify]: Simplify 0 into 0 2.644 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.645 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.646 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))) into 0 2.646 * [backup-simplify]: Simplify (- 0) into 0 2.646 * [backup-simplify]: Simplify (+ 0 0) into 0 2.646 * [backup-simplify]: Simplify 0 into 0 2.647 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.648 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.649 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))))) into 0 2.649 * [backup-simplify]: Simplify (- 0) into 0 2.650 * [backup-simplify]: Simplify (+ 0 0) into 0 2.650 * [backup-simplify]: Simplify 0 into 0 2.650 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.651 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.652 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))))) into 0 2.653 * [backup-simplify]: Simplify (- 0) into 0 2.653 * [backup-simplify]: Simplify (+ 0 0) into 0 2.653 * [backup-simplify]: Simplify 0 into 0 2.654 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.655 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.656 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))))))) into 0 2.657 * [backup-simplify]: Simplify (- 0) into 0 2.657 * [backup-simplify]: Simplify (+ 0 0) into 0 2.657 * [backup-simplify]: Simplify 0 into 0 2.657 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) (exp (/ 1 (/ 1 (- x))))) into (- (exp x) (exp (* -1 x))) 2.657 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 2.657 * [backup-simplify]: Simplify (sqrt (exp x)) into (sqrt (exp x)) 2.657 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 2.658 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 2.658 * [taylor]: Taking taylor expansion of (exp x) in x 2.658 * [taylor]: Taking taylor expansion of x in x 2.658 * [backup-simplify]: Simplify 0 into 0 2.658 * [backup-simplify]: Simplify 1 into 1 2.658 * [backup-simplify]: Simplify (exp 0) into 1 2.658 * [backup-simplify]: Simplify (sqrt 1) into 1 2.659 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.659 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 2.659 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 2.659 * [taylor]: Taking taylor expansion of (exp x) in x 2.659 * [taylor]: Taking taylor expansion of x in x 2.660 * [backup-simplify]: Simplify 0 into 0 2.660 * [backup-simplify]: Simplify 1 into 1 2.660 * [backup-simplify]: Simplify (exp 0) into 1 2.660 * [backup-simplify]: Simplify (sqrt 1) into 1 2.661 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.661 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 2.661 * [backup-simplify]: Simplify 1 into 1 2.661 * [backup-simplify]: Simplify 1/2 into 1/2 2.663 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 2.664 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 2.664 * [backup-simplify]: Simplify 1/8 into 1/8 2.664 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) 2.664 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 2.664 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 2.664 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 2.664 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.664 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.664 * [taylor]: Taking taylor expansion of x in x 2.664 * [backup-simplify]: Simplify 0 into 0 2.664 * [backup-simplify]: Simplify 1 into 1 2.664 * [backup-simplify]: Simplify (/ 1 1) into 1 2.665 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.665 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 2.665 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 2.665 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 2.665 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.665 * [taylor]: Taking taylor expansion of x in x 2.665 * [backup-simplify]: Simplify 0 into 0 2.665 * [backup-simplify]: Simplify 1 into 1 2.665 * [backup-simplify]: Simplify (/ 1 1) into 1 2.665 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.665 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 2.666 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 2.666 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 2.666 * [backup-simplify]: Simplify 0 into 0 2.666 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.666 * [backup-simplify]: Simplify 0 into 0 2.667 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.667 * [backup-simplify]: Simplify 0 into 0 2.668 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.668 * [backup-simplify]: Simplify 0 into 0 2.669 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.669 * [backup-simplify]: Simplify 0 into 0 2.670 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.670 * [backup-simplify]: Simplify 0 into 0 2.670 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 x)))) into (sqrt (exp x)) 2.670 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- x)))) into (sqrt (exp (/ -1 x))) 2.670 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 2.670 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 2.670 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.670 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.670 * [taylor]: Taking taylor expansion of -1 in x 2.670 * [backup-simplify]: Simplify -1 into -1 2.670 * [taylor]: Taking taylor expansion of x in x 2.670 * [backup-simplify]: Simplify 0 into 0 2.670 * [backup-simplify]: Simplify 1 into 1 2.671 * [backup-simplify]: Simplify (/ -1 1) into -1 2.671 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.671 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 2.671 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 2.671 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 2.671 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.671 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.671 * [taylor]: Taking taylor expansion of -1 in x 2.671 * [backup-simplify]: Simplify -1 into -1 2.671 * [taylor]: Taking taylor expansion of x in x 2.671 * [backup-simplify]: Simplify 0 into 0 2.671 * [backup-simplify]: Simplify 1 into 1 2.671 * [backup-simplify]: Simplify (/ -1 1) into -1 2.671 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.672 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 2.672 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 2.672 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 2.672 * [backup-simplify]: Simplify 0 into 0 2.672 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.673 * [backup-simplify]: Simplify 0 into 0 2.673 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.673 * [backup-simplify]: Simplify 0 into 0 2.674 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.674 * [backup-simplify]: Simplify 0 into 0 2.675 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.675 * [backup-simplify]: Simplify 0 into 0 2.676 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.676 * [backup-simplify]: Simplify 0 into 0 2.676 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- x))))) into (sqrt (exp x)) 2.676 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 2.676 * [backup-simplify]: Simplify (sqrt (exp x)) into (sqrt (exp x)) 2.676 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 2.676 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 2.676 * [taylor]: Taking taylor expansion of (exp x) in x 2.676 * [taylor]: Taking taylor expansion of x in x 2.676 * [backup-simplify]: Simplify 0 into 0 2.676 * [backup-simplify]: Simplify 1 into 1 2.677 * [backup-simplify]: Simplify (exp 0) into 1 2.677 * [backup-simplify]: Simplify (sqrt 1) into 1 2.678 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.678 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 2.678 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 2.678 * [taylor]: Taking taylor expansion of (exp x) in x 2.678 * [taylor]: Taking taylor expansion of x in x 2.678 * [backup-simplify]: Simplify 0 into 0 2.678 * [backup-simplify]: Simplify 1 into 1 2.678 * [backup-simplify]: Simplify (exp 0) into 1 2.679 * [backup-simplify]: Simplify (sqrt 1) into 1 2.680 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.680 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 2.680 * [backup-simplify]: Simplify 1 into 1 2.680 * [backup-simplify]: Simplify 1/2 into 1/2 2.682 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 2.682 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 2.682 * [backup-simplify]: Simplify 1/8 into 1/8 2.683 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) 2.683 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 2.683 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 2.683 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 2.683 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.683 * [taylor]: Taking taylor expansion of x in x 2.683 * [backup-simplify]: Simplify 0 into 0 2.683 * [backup-simplify]: Simplify 1 into 1 2.683 * [backup-simplify]: Simplify (/ 1 1) into 1 2.683 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.683 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 2.684 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 2.684 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 2.684 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.684 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.684 * [taylor]: Taking taylor expansion of x in x 2.684 * [backup-simplify]: Simplify 0 into 0 2.684 * [backup-simplify]: Simplify 1 into 1 2.684 * [backup-simplify]: Simplify (/ 1 1) into 1 2.684 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.684 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 2.684 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 2.684 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 2.685 * [backup-simplify]: Simplify 0 into 0 2.685 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.685 * [backup-simplify]: Simplify 0 into 0 2.686 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.686 * [backup-simplify]: Simplify 0 into 0 2.687 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.687 * [backup-simplify]: Simplify 0 into 0 2.688 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.688 * [backup-simplify]: Simplify 0 into 0 2.688 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 2.688 * [backup-simplify]: Simplify 0 into 0 2.689 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 x)))) into (sqrt (exp x)) 2.689 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- x)))) into (sqrt (exp (/ -1 x))) 2.689 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 2.689 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 2.689 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.689 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.689 * [taylor]: Taking taylor expansion of -1 in x 2.689 * [backup-simplify]: Simplify -1 into -1 2.689 * [taylor]: Taking taylor expansion of x in x 2.689 * [backup-simplify]: Simplify 0 into 0 2.689 * [backup-simplify]: Simplify 1 into 1 2.689 * [backup-simplify]: Simplify (/ -1 1) into -1 2.689 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.689 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 2.690 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 2.690 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 2.690 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.690 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.690 * [taylor]: Taking taylor expansion of -1 in x 2.690 * [backup-simplify]: Simplify -1 into -1 2.690 * [taylor]: Taking taylor expansion of x in x 2.690 * [backup-simplify]: Simplify 0 into 0 2.690 * [backup-simplify]: Simplify 1 into 1 2.690 * [backup-simplify]: Simplify (/ -1 1) into -1 2.690 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.690 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 2.690 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 2.691 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 2.691 * [backup-simplify]: Simplify 0 into 0 2.691 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.691 * [backup-simplify]: Simplify 0 into 0 2.692 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.692 * [backup-simplify]: Simplify 0 into 0 2.693 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.693 * [backup-simplify]: Simplify 0 into 0 2.694 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.694 * [backup-simplify]: Simplify 0 into 0 2.695 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 2.695 * [backup-simplify]: Simplify 0 into 0 2.695 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- x))))) into (sqrt (exp x)) 2.695 * * * [progress]: simplifying candidates 2.696 * [simplify]: Simplifying: (expm1 (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x))))) (log1p (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x))))) (* (sqrt (exp x)) (sqrt (exp x))) (log (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x))))) (exp (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x))))) (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x))))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)))))) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x))))) (* (* (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x))))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x))))) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x))))) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x))))) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (sqrt 1) (sqrt (exp x)) (/ 1 2) (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (sqrt 1) (sqrt (exp x)) (/ 1 2) (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (* -1 x))) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt (exp x)) (sqrt (exp x)) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt (exp x)) (sqrt (exp x)) 2.697 * * [simplify]: Extracting # 0 : cost 0 2.697 * * [simplify]: Extracting # 1 : cost 0 2.697 * * [simplify]: Extracting # 2 : cost 0 2.697 * * [simplify]: Extracting # 3 : cost 0 2.697 * * [simplify]: Extracting # 4 : cost 0 2.697 * * [simplify]: Extracting # 5 : cost 0 2.698 * * [simplify]: Extracting # 6 : cost 0 2.698 * * [simplify]: Extracting # 7 : cost 0 2.698 * * [simplify]: Extracting # 8 : cost 0 2.698 * * [simplify]: iteration 0 : 61 enodes (cost 387 ) 2.715 * * [simplify]: Extracting # 0 : cost 0 2.715 * * [simplify]: Extracting # 1 : cost 0 2.715 * * [simplify]: Extracting # 2 : cost 0 2.716 * * [simplify]: Extracting # 3 : cost 0 2.716 * * [simplify]: Extracting # 4 : cost 0 2.716 * * [simplify]: iteration 1 : 105 enodes (cost 303 ) 2.754 * * [simplify]: Extracting # 0 : cost 0 2.755 * * [simplify]: Extracting # 1 : cost 0 2.755 * * [simplify]: Extracting # 2 : cost 0 2.755 * * [simplify]: Extracting # 3 : cost 0 2.755 * * [simplify]: Extracting # 4 : cost 0 2.755 * * [simplify]: iteration 2 : 264 enodes (cost 277 ) 2.852 * * [simplify]: Extracting # 0 : cost 0 2.853 * * [simplify]: Extracting # 1 : cost 0 2.854 * * [simplify]: Extracting # 2 : cost 0 2.855 * * [simplify]: Extracting # 3 : cost 0 2.856 * * [simplify]: Extracting # 4 : cost 0 2.858 * * [simplify]: iteration 3 : 1000 enodes (cost 277 ) 3.307 * * [simplify]: Extracting # 0 : cost 0 3.321 * * [simplify]: Extracting # 1 : cost 0 3.328 * * [simplify]: Extracting # 2 : cost 0 3.335 * * [simplify]: Extracting # 3 : cost 0 3.341 * * [simplify]: Extracting # 4 : cost 0 3.350 * * [simplify]: iteration done: 5001 enodes (cost 273 ) 3.351 * [simplify]: Simplified to: (expm1 (- (exp x) (exp (- x)))) (log1p (- (exp x) (exp (- x)))) (exp x) (log (- (exp x) (exp (- x)))) (exp (- (exp x) (exp (- x)))) (* (cbrt (- (exp x) (exp (- x)))) (cbrt (- (exp x) (exp (- x))))) (cbrt (- (exp x) (exp (- x)))) (pow (- (exp x) (exp (- x))) 3) (sqrt (- (exp x) (exp (- x)))) (sqrt (- (exp x) (exp (- x)))) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (pow (sqrt (exp x)) 3) (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) 1 (sqrt (exp x)) 1/2 (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (pow (sqrt (exp x)) 3) (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) 1 (sqrt (exp x)) 1/2 (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (- (exp x) (exp (- x))) (- (exp x) (exp (- x))) (fma x (fma x 1/8 1/2) 1) (sqrt (exp x)) (sqrt (exp x)) (fma x (fma x 1/8 1/2) 1) (sqrt (exp x)) (sqrt (exp x)) 3.351 * * * [progress]: adding candidates to table 3.513 * * [progress]: iteration 4 / 4 3.513 * * * [progress]: picking best candidate 3.519 * * * * [pick]: Picked # 3.519 * * * [progress]: localizing error 3.540 * * * [progress]: generating rewritten candidates 3.541 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 3.541 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 3.551 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 3.558 * * * [progress]: generating series expansions 3.558 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 3.558 * [backup-simplify]: Simplify (fma (pow (exp 1) (/ x 2)) (sqrt (exp x)) (- (exp (- x)))) into (fma (pow E (* 1/2 x)) (sqrt (exp x)) (- (exp (- x)))) 3.558 * [approximate]: Taking taylor expansion of (fma (pow E (* 1/2 x)) (sqrt (exp x)) (- (exp (- x)))) in (x) around 0 3.558 * [taylor]: Taking taylor expansion of (fma (pow E (* 1/2 x)) (sqrt (exp x)) (- (exp (- x)))) in x 3.558 * [taylor]: Rewrote expression to (+ (* (pow E (* 1/2 x)) (sqrt (exp x))) (- (exp (- x)))) 3.558 * [taylor]: Taking taylor expansion of (* (pow E (* 1/2 x)) (sqrt (exp x))) in x 3.558 * [taylor]: Taking taylor expansion of (pow E (* 1/2 x)) in x 3.558 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 x) (log E))) in x 3.558 * [taylor]: Taking taylor expansion of (* (* 1/2 x) (log E)) in x 3.558 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 3.558 * [taylor]: Taking taylor expansion of 1/2 in x 3.558 * [backup-simplify]: Simplify 1/2 into 1/2 3.558 * [taylor]: Taking taylor expansion of x in x 3.558 * [backup-simplify]: Simplify 0 into 0 3.558 * [backup-simplify]: Simplify 1 into 1 3.558 * [taylor]: Taking taylor expansion of (log E) in x 3.558 * [taylor]: Taking taylor expansion of E in x 3.559 * [backup-simplify]: Simplify E into E 3.559 * [backup-simplify]: Simplify (log E) into 1 3.559 * [backup-simplify]: Simplify (* 1/2 0) into 0 3.560 * [backup-simplify]: Simplify (* 0 1) into 0 3.561 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 3.562 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 3.562 * [backup-simplify]: Simplify (+ (* 0 0) (* 1/2 1)) into 1/2 3.562 * [backup-simplify]: Simplify (exp 0) into 1 3.562 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 3.562 * [taylor]: Taking taylor expansion of (exp x) in x 3.562 * [taylor]: Taking taylor expansion of x in x 3.562 * [backup-simplify]: Simplify 0 into 0 3.562 * [backup-simplify]: Simplify 1 into 1 3.563 * [backup-simplify]: Simplify (exp 0) into 1 3.563 * [backup-simplify]: Simplify (sqrt 1) into 1 3.564 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 3.564 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 3.564 * [taylor]: Taking taylor expansion of (- (exp (- x))) in x 3.564 * [taylor]: Taking taylor expansion of (exp (- x)) in x 3.564 * [taylor]: Taking taylor expansion of (- x) in x 3.564 * [taylor]: Taking taylor expansion of x in x 3.564 * [backup-simplify]: Simplify 0 into 0 3.564 * [backup-simplify]: Simplify 1 into 1 3.565 * [backup-simplify]: Simplify (- 0) into 0 3.565 * [backup-simplify]: Simplify (- 1) into -1 3.565 * [backup-simplify]: Simplify (exp 0) into 1 3.565 * [taylor]: Taking taylor expansion of (fma (pow E (* 1/2 x)) (sqrt (exp x)) (- (exp (- x)))) in x 3.565 * [taylor]: Rewrote expression to (+ (* (pow E (* 1/2 x)) (sqrt (exp x))) (- (exp (- x)))) 3.565 * [taylor]: Taking taylor expansion of (* (pow E (* 1/2 x)) (sqrt (exp x))) in x 3.565 * [taylor]: Taking taylor expansion of (pow E (* 1/2 x)) in x 3.565 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 x) (log E))) in x 3.565 * [taylor]: Taking taylor expansion of (* (* 1/2 x) (log E)) in x 3.566 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 3.566 * [taylor]: Taking taylor expansion of 1/2 in x 3.566 * [backup-simplify]: Simplify 1/2 into 1/2 3.566 * [taylor]: Taking taylor expansion of x in x 3.566 * [backup-simplify]: Simplify 0 into 0 3.566 * [backup-simplify]: Simplify 1 into 1 3.566 * [taylor]: Taking taylor expansion of (log E) in x 3.566 * [taylor]: Taking taylor expansion of E in x 3.566 * [backup-simplify]: Simplify E into E 3.566 * [backup-simplify]: Simplify (log E) into 1 3.566 * [backup-simplify]: Simplify (* 1/2 0) into 0 3.566 * [backup-simplify]: Simplify (* 0 1) into 0 3.568 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 3.568 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 3.569 * [backup-simplify]: Simplify (+ (* 0 0) (* 1/2 1)) into 1/2 3.569 * [backup-simplify]: Simplify (exp 0) into 1 3.569 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 3.569 * [taylor]: Taking taylor expansion of (exp x) in x 3.569 * [taylor]: Taking taylor expansion of x in x 3.569 * [backup-simplify]: Simplify 0 into 0 3.569 * [backup-simplify]: Simplify 1 into 1 3.569 * [backup-simplify]: Simplify (exp 0) into 1 3.569 * [backup-simplify]: Simplify (sqrt 1) into 1 3.570 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 3.571 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 3.571 * [taylor]: Taking taylor expansion of (- (exp (- x))) in x 3.571 * [taylor]: Taking taylor expansion of (exp (- x)) in x 3.571 * [taylor]: Taking taylor expansion of (- x) in x 3.571 * [taylor]: Taking taylor expansion of x in x 3.571 * [backup-simplify]: Simplify 0 into 0 3.571 * [backup-simplify]: Simplify 1 into 1 3.571 * [backup-simplify]: Simplify (- 0) into 0 3.572 * [backup-simplify]: Simplify (- 1) into -1 3.572 * [backup-simplify]: Simplify (exp 0) into 1 3.572 * [backup-simplify]: Simplify (* 1 1) into 1 3.572 * [backup-simplify]: Simplify (- 1) into -1 3.573 * [backup-simplify]: Simplify (+ 1 -1) into 0 3.573 * [backup-simplify]: Simplify 0 into 0 3.574 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/2 1) 1)))) into 1/2 3.575 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 1/2 1)) into 1 3.575 * [backup-simplify]: Simplify (- 1) into -1 3.576 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 3.576 * [backup-simplify]: Simplify (- -1) into 1 3.577 * [backup-simplify]: Simplify (+ 1 1) into 2 3.577 * [backup-simplify]: Simplify 2 into 2 3.578 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 3.579 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 3.582 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 3.583 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 3.584 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1/2 0) (* 0 1))) into 0 3.585 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow 0 1) 1)))) into 1/8 3.586 * [backup-simplify]: Simplify (+ (* 1 1/8) (+ (* 1/2 1/2) (* 1/8 1))) into 1/2 3.586 * [backup-simplify]: Simplify (- 1) into -1 3.587 * [backup-simplify]: Simplify (- 0) into 0 3.588 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 3.588 * [backup-simplify]: Simplify (- 1/2) into -1/2 3.589 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 3.589 * [backup-simplify]: Simplify 0 into 0 3.590 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 3.592 * [backup-simplify]: Simplify (/ (- 1/6 (+ (* 2 (* 1/2 1/8)))) (* 2 1)) into 1/48 3.596 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 3.597 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.598 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1/2 0) (+ (* 0 0) (* 0 1)))) into 0 3.600 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/2 3) 6)) (* (/ (pow 1/2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/48 3.601 * [backup-simplify]: Simplify (+ (* 1 1/48) (+ (* 1/2 1/8) (+ (* 1/8 1/2) (* 1/48 1)))) into 1/6 3.602 * [backup-simplify]: Simplify (- 1) into -1 3.602 * [backup-simplify]: Simplify (- 1) into -1 3.602 * [backup-simplify]: Simplify (- 0) into 0 3.603 * [backup-simplify]: Simplify (- 0) into 0 3.605 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 3.605 * [backup-simplify]: Simplify (- -1/6) into 1/6 3.605 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 3.605 * [backup-simplify]: Simplify 1/3 into 1/3 3.608 * [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 3.610 * [backup-simplify]: Simplify (/ (- 1/24 (pow 1/8 2) (+ (* 2 (* 1/2 1/48)))) (* 2 1)) into 1/384 3.619 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow E 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow E 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow E 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow E 1)))) 24) into 0 3.620 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.621 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.631 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/2 4) 24)) (* (/ (pow 1/2 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1/2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/384 3.633 * [backup-simplify]: Simplify (+ (* 1 1/384) (+ (* 1/2 1/48) (+ (* 1/8 1/8) (+ (* 1/48 1/2) (* 1/384 1))))) into 1/24 3.633 * [backup-simplify]: Simplify (- 1) into -1 3.633 * [backup-simplify]: Simplify (- 1) into -1 3.634 * [backup-simplify]: Simplify (- 0) into 0 3.634 * [backup-simplify]: Simplify (- 1) into -1 3.634 * [backup-simplify]: Simplify (- 0) into 0 3.634 * [backup-simplify]: Simplify (- 0) into 0 3.635 * [backup-simplify]: Simplify (- 0) into 0 3.637 * [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 3.637 * [backup-simplify]: Simplify (- 1/24) into -1/24 3.637 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 3.637 * [backup-simplify]: Simplify 0 into 0 3.641 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 3.642 * [backup-simplify]: Simplify (/ (- 1/120 (+ (* 2 (* 1/2 1/384)) (* 2 (* 1/8 1/48)))) (* 2 1)) into 1/3840 3.653 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow E 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow E 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow E 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow E 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow E 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow E 1)))) 120) into 0 3.654 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 3.654 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 3.658 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/2 5) 120)) (* (/ (pow 1/2 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1/2 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1/2 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1/2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/3840 3.659 * [backup-simplify]: Simplify (+ (* 1 1/3840) (+ (* 1/2 1/384) (+ (* 1/8 1/48) (+ (* 1/48 1/8) (+ (* 1/384 1/2) (* 1/3840 1)))))) into 1/120 3.659 * [backup-simplify]: Simplify (- 1) into -1 3.660 * [backup-simplify]: Simplify (- 1) into -1 3.660 * [backup-simplify]: Simplify (- 0) into 0 3.660 * [backup-simplify]: Simplify (- 1) into -1 3.660 * [backup-simplify]: Simplify (- 0) into 0 3.661 * [backup-simplify]: Simplify (- 1) into -1 3.661 * [backup-simplify]: Simplify (- 0) into 0 3.661 * [backup-simplify]: Simplify (- 1) into -1 3.661 * [backup-simplify]: Simplify (- 0) into 0 3.661 * [backup-simplify]: Simplify (- 0) into 0 3.662 * [backup-simplify]: Simplify (- 0) into 0 3.662 * [backup-simplify]: Simplify (- 0) into 0 3.665 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 3.665 * [backup-simplify]: Simplify (- -1/120) into 1/120 3.666 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 3.666 * [backup-simplify]: Simplify 1/60 into 1/60 3.666 * [backup-simplify]: Simplify (+ (* 1/60 (pow x 5)) (+ (* 1/3 (pow x 3)) (* 2 x))) into (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) 3.667 * [backup-simplify]: Simplify (fma (pow (exp 1) (/ (/ 1 x) 2)) (sqrt (exp (/ 1 x))) (- (exp (- (/ 1 x))))) into (fma (pow E (/ 1/2 x)) (sqrt (exp (/ 1 x))) (- (exp (- (/ 1 x))))) 3.667 * [approximate]: Taking taylor expansion of (fma (pow E (/ 1/2 x)) (sqrt (exp (/ 1 x))) (- (exp (- (/ 1 x))))) in (x) around 0 3.667 * [taylor]: Taking taylor expansion of (fma (pow E (/ 1/2 x)) (sqrt (exp (/ 1 x))) (- (exp (- (/ 1 x))))) in x 3.667 * [taylor]: Rewrote expression to (+ (* (pow E (/ 1/2 x)) (sqrt (exp (/ 1 x)))) (- (exp (- (/ 1 x))))) 3.667 * [taylor]: Taking taylor expansion of (* (pow E (/ 1/2 x)) (sqrt (exp (/ 1 x)))) in x 3.667 * [taylor]: Taking taylor expansion of (pow E (/ 1/2 x)) in x 3.667 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 x) (log E))) in x 3.667 * [taylor]: Taking taylor expansion of (* (/ 1/2 x) (log E)) in x 3.667 * [taylor]: Taking taylor expansion of (/ 1/2 x) in x 3.667 * [taylor]: Taking taylor expansion of 1/2 in x 3.667 * [backup-simplify]: Simplify 1/2 into 1/2 3.667 * [taylor]: Taking taylor expansion of x in x 3.667 * [backup-simplify]: Simplify 0 into 0 3.667 * [backup-simplify]: Simplify 1 into 1 3.668 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 3.668 * [taylor]: Taking taylor expansion of (log E) in x 3.668 * [taylor]: Taking taylor expansion of E in x 3.668 * [backup-simplify]: Simplify E into E 3.668 * [backup-simplify]: Simplify (log E) into 1 3.668 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 3.668 * [backup-simplify]: Simplify (exp (* (/ 1/2 x) (log E))) into (exp (/ 1/2 x)) 3.668 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 3.668 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.668 * [taylor]: Taking taylor expansion of x in x 3.668 * [backup-simplify]: Simplify 0 into 0 3.668 * [backup-simplify]: Simplify 1 into 1 3.669 * [backup-simplify]: Simplify (/ 1 1) into 1 3.669 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 3.669 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 3.669 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 3.669 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 x)))) in x 3.669 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 3.669 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.669 * [taylor]: Taking taylor expansion of x in x 3.669 * [backup-simplify]: Simplify 0 into 0 3.669 * [backup-simplify]: Simplify 1 into 1 3.669 * [backup-simplify]: Simplify (/ 1 1) into 1 3.670 * [backup-simplify]: Simplify (- 1) into -1 3.670 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 3.670 * [taylor]: Taking taylor expansion of (fma (pow E (/ 1/2 x)) (sqrt (exp (/ 1 x))) (- (exp (- (/ 1 x))))) in x 3.670 * [taylor]: Rewrote expression to (+ (* (pow E (/ 1/2 x)) (sqrt (exp (/ 1 x)))) (- (exp (- (/ 1 x))))) 3.670 * [taylor]: Taking taylor expansion of (* (pow E (/ 1/2 x)) (sqrt (exp (/ 1 x)))) in x 3.670 * [taylor]: Taking taylor expansion of (pow E (/ 1/2 x)) in x 3.670 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 x) (log E))) in x 3.670 * [taylor]: Taking taylor expansion of (* (/ 1/2 x) (log E)) in x 3.670 * [taylor]: Taking taylor expansion of (/ 1/2 x) in x 3.670 * [taylor]: Taking taylor expansion of 1/2 in x 3.670 * [backup-simplify]: Simplify 1/2 into 1/2 3.670 * [taylor]: Taking taylor expansion of x in x 3.670 * [backup-simplify]: Simplify 0 into 0 3.670 * [backup-simplify]: Simplify 1 into 1 3.671 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 3.671 * [taylor]: Taking taylor expansion of (log E) in x 3.671 * [taylor]: Taking taylor expansion of E in x 3.671 * [backup-simplify]: Simplify E into E 3.671 * [backup-simplify]: Simplify (log E) into 1 3.671 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 3.671 * [backup-simplify]: Simplify (exp (* (/ 1/2 x) (log E))) into (exp (/ 1/2 x)) 3.671 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 3.671 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.671 * [taylor]: Taking taylor expansion of x in x 3.671 * [backup-simplify]: Simplify 0 into 0 3.671 * [backup-simplify]: Simplify 1 into 1 3.672 * [backup-simplify]: Simplify (/ 1 1) into 1 3.672 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 3.672 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 3.672 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 3.672 * [taylor]: Taking taylor expansion of (- (exp (- (/ 1 x)))) in x 3.672 * [taylor]: Taking taylor expansion of (exp (- (/ 1 x))) in x 3.672 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.672 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.672 * [taylor]: Taking taylor expansion of x in x 3.672 * [backup-simplify]: Simplify 0 into 0 3.672 * [backup-simplify]: Simplify 1 into 1 3.672 * [backup-simplify]: Simplify (/ 1 1) into 1 3.673 * [backup-simplify]: Simplify (- 1) into -1 3.673 * [backup-simplify]: Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x))) 3.673 * [backup-simplify]: Simplify (* (exp (/ 1/2 x)) (sqrt (exp (/ 1 x)))) into (* (exp (/ 1/2 x)) (sqrt (exp (/ 1 x)))) 3.673 * [backup-simplify]: Simplify (- (exp (- (/ 1 x)))) into (- (exp (- (/ 1 x)))) 3.674 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 x)) (sqrt (exp (/ 1 x)))) (- (exp (- (/ 1 x))))) into (- (* (exp (/ 1/2 x)) (sqrt (exp (/ 1 x)))) (exp (- (/ 1 x)))) 3.674 * [backup-simplify]: Simplify (- (* (exp (/ 1/2 x)) (sqrt (exp (/ 1 x)))) (exp (- (/ 1 x)))) into (- (* (exp (/ 1/2 x)) (sqrt (exp (/ 1 x)))) (exp (- (/ 1 x)))) 3.674 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 x)) 0) (* 0 (sqrt (exp (/ 1 x))))) into 0 3.674 * [backup-simplify]: Simplify (- 0) into 0 3.675 * [backup-simplify]: Simplify (+ 0 0) into 0 3.675 * [backup-simplify]: Simplify 0 into 0 3.675 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.676 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 x)) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))) into 0 3.676 * [backup-simplify]: Simplify (- 0) into 0 3.676 * [backup-simplify]: Simplify (+ 0 0) into 0 3.676 * [backup-simplify]: Simplify 0 into 0 3.677 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.677 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))) into 0 3.677 * [backup-simplify]: Simplify (- 0) into 0 3.678 * [backup-simplify]: Simplify (+ 0 0) into 0 3.678 * [backup-simplify]: Simplify 0 into 0 3.678 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.679 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))))) into 0 3.679 * [backup-simplify]: Simplify (- 0) into 0 3.679 * [backup-simplify]: Simplify (+ 0 0) into 0 3.679 * [backup-simplify]: Simplify 0 into 0 3.680 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.681 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))))) into 0 3.681 * [backup-simplify]: Simplify (- 0) into 0 3.681 * [backup-simplify]: Simplify (+ 0 0) into 0 3.681 * [backup-simplify]: Simplify 0 into 0 3.682 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.683 * [backup-simplify]: Simplify (+ (* (exp (/ 1/2 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))))))) into 0 3.684 * [backup-simplify]: Simplify (- 0) into 0 3.684 * [backup-simplify]: Simplify (+ 0 0) into 0 3.684 * [backup-simplify]: Simplify 0 into 0 3.684 * [backup-simplify]: Simplify (- (* (exp (/ 1/2 (/ 1 x))) (sqrt (exp (/ 1 (/ 1 x))))) (exp (- (/ 1 (/ 1 x))))) into (- (* (exp (* 1/2 x)) (sqrt (exp x))) (exp (- x))) 3.684 * [backup-simplify]: Simplify (fma (pow (exp 1) (/ (/ 1 (- x)) 2)) (sqrt (exp (/ 1 (- x)))) (- (exp (- (/ 1 (- x)))))) into (fma (pow E (/ -1/2 x)) (sqrt (exp (/ -1 x))) (- (exp (/ 1 x)))) 3.684 * [approximate]: Taking taylor expansion of (fma (pow E (/ -1/2 x)) (sqrt (exp (/ -1 x))) (- (exp (/ 1 x)))) in (x) around 0 3.684 * [taylor]: Taking taylor expansion of (fma (pow E (/ -1/2 x)) (sqrt (exp (/ -1 x))) (- (exp (/ 1 x)))) in x 3.684 * [taylor]: Rewrote expression to (+ (* (pow E (/ -1/2 x)) (sqrt (exp (/ -1 x)))) (- (exp (/ 1 x)))) 3.684 * [taylor]: Taking taylor expansion of (* (pow E (/ -1/2 x)) (sqrt (exp (/ -1 x)))) in x 3.684 * [taylor]: Taking taylor expansion of (pow E (/ -1/2 x)) in x 3.684 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 x) (log E))) in x 3.684 * [taylor]: Taking taylor expansion of (* (/ -1/2 x) (log E)) in x 3.685 * [taylor]: Taking taylor expansion of (/ -1/2 x) in x 3.685 * [taylor]: Taking taylor expansion of -1/2 in x 3.685 * [backup-simplify]: Simplify -1/2 into -1/2 3.685 * [taylor]: Taking taylor expansion of x in x 3.685 * [backup-simplify]: Simplify 0 into 0 3.685 * [backup-simplify]: Simplify 1 into 1 3.685 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 3.685 * [taylor]: Taking taylor expansion of (log E) in x 3.685 * [taylor]: Taking taylor expansion of E in x 3.685 * [backup-simplify]: Simplify E into E 3.685 * [backup-simplify]: Simplify (log E) into 1 3.685 * [backup-simplify]: Simplify (* -1/2 1) into -1/2 3.685 * [backup-simplify]: Simplify (exp (* (/ -1/2 x) (log E))) into (exp (/ -1/2 x)) 3.685 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 3.685 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.685 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.685 * [taylor]: Taking taylor expansion of -1 in x 3.686 * [backup-simplify]: Simplify -1 into -1 3.686 * [taylor]: Taking taylor expansion of x in x 3.686 * [backup-simplify]: Simplify 0 into 0 3.686 * [backup-simplify]: Simplify 1 into 1 3.686 * [backup-simplify]: Simplify (/ -1 1) into -1 3.686 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 3.686 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 3.686 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 3.686 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x))) in x 3.686 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.686 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.686 * [taylor]: Taking taylor expansion of x in x 3.686 * [backup-simplify]: Simplify 0 into 0 3.686 * [backup-simplify]: Simplify 1 into 1 3.687 * [backup-simplify]: Simplify (/ 1 1) into 1 3.687 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 3.687 * [taylor]: Taking taylor expansion of (fma (pow E (/ -1/2 x)) (sqrt (exp (/ -1 x))) (- (exp (/ 1 x)))) in x 3.687 * [taylor]: Rewrote expression to (+ (* (pow E (/ -1/2 x)) (sqrt (exp (/ -1 x)))) (- (exp (/ 1 x)))) 3.687 * [taylor]: Taking taylor expansion of (* (pow E (/ -1/2 x)) (sqrt (exp (/ -1 x)))) in x 3.687 * [taylor]: Taking taylor expansion of (pow E (/ -1/2 x)) in x 3.687 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 x) (log E))) in x 3.687 * [taylor]: Taking taylor expansion of (* (/ -1/2 x) (log E)) in x 3.687 * [taylor]: Taking taylor expansion of (/ -1/2 x) in x 3.687 * [taylor]: Taking taylor expansion of -1/2 in x 3.687 * [backup-simplify]: Simplify -1/2 into -1/2 3.687 * [taylor]: Taking taylor expansion of x in x 3.687 * [backup-simplify]: Simplify 0 into 0 3.687 * [backup-simplify]: Simplify 1 into 1 3.688 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 3.688 * [taylor]: Taking taylor expansion of (log E) in x 3.688 * [taylor]: Taking taylor expansion of E in x 3.688 * [backup-simplify]: Simplify E into E 3.688 * [backup-simplify]: Simplify (log E) into 1 3.688 * [backup-simplify]: Simplify (* -1/2 1) into -1/2 3.688 * [backup-simplify]: Simplify (exp (* (/ -1/2 x) (log E))) into (exp (/ -1/2 x)) 3.688 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 3.688 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.688 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.688 * [taylor]: Taking taylor expansion of -1 in x 3.688 * [backup-simplify]: Simplify -1 into -1 3.688 * [taylor]: Taking taylor expansion of x in x 3.688 * [backup-simplify]: Simplify 0 into 0 3.688 * [backup-simplify]: Simplify 1 into 1 3.689 * [backup-simplify]: Simplify (/ -1 1) into -1 3.689 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 3.689 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 3.689 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 3.689 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x))) in x 3.689 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.689 * [taylor]: Taking taylor expansion of x in x 3.689 * [backup-simplify]: Simplify 0 into 0 3.689 * [backup-simplify]: Simplify 1 into 1 3.690 * [backup-simplify]: Simplify (/ 1 1) into 1 3.690 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 3.690 * [backup-simplify]: Simplify (* (exp (/ -1/2 x)) (sqrt (exp (/ -1 x)))) into (* (exp (/ -1/2 x)) (sqrt (exp (/ -1 x)))) 3.690 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 3.690 * [backup-simplify]: Simplify (+ (* (exp (/ -1/2 x)) (sqrt (exp (/ -1 x)))) (- (exp (/ 1 x)))) into (- (* (exp (/ -1/2 x)) (sqrt (exp (/ -1 x)))) (exp (/ 1 x))) 3.690 * [backup-simplify]: Simplify (- (* (exp (/ -1/2 x)) (sqrt (exp (/ -1 x)))) (exp (/ 1 x))) into (- (* (exp (/ -1/2 x)) (sqrt (exp (/ -1 x)))) (exp (/ 1 x))) 3.691 * [backup-simplify]: Simplify (+ (* (exp (/ -1/2 x)) 0) (* 0 (sqrt (exp (/ -1 x))))) into 0 3.691 * [backup-simplify]: Simplify (- 0) into 0 3.691 * [backup-simplify]: Simplify (+ 0 0) into 0 3.691 * [backup-simplify]: Simplify 0 into 0 3.692 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.692 * [backup-simplify]: Simplify (+ (* (exp (/ -1/2 x)) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))) into 0 3.693 * [backup-simplify]: Simplify (- 0) into 0 3.693 * [backup-simplify]: Simplify (+ 0 0) into 0 3.693 * [backup-simplify]: Simplify 0 into 0 3.694 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.695 * [backup-simplify]: Simplify (+ (* (exp (/ -1/2 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))) into 0 3.695 * [backup-simplify]: Simplify (- 0) into 0 3.695 * [backup-simplify]: Simplify (+ 0 0) into 0 3.695 * [backup-simplify]: Simplify 0 into 0 3.696 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.697 * [backup-simplify]: Simplify (+ (* (exp (/ -1/2 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))))) into 0 3.697 * [backup-simplify]: Simplify (- 0) into 0 3.698 * [backup-simplify]: Simplify (+ 0 0) into 0 3.698 * [backup-simplify]: Simplify 0 into 0 3.699 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.700 * [backup-simplify]: Simplify (+ (* (exp (/ -1/2 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))))) into 0 3.701 * [backup-simplify]: Simplify (- 0) into 0 3.701 * [backup-simplify]: Simplify (+ 0 0) into 0 3.701 * [backup-simplify]: Simplify 0 into 0 3.702 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.703 * [backup-simplify]: Simplify (+ (* (exp (/ -1/2 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))))))) into 0 3.704 * [backup-simplify]: Simplify (- 0) into 0 3.704 * [backup-simplify]: Simplify (+ 0 0) into 0 3.704 * [backup-simplify]: Simplify 0 into 0 3.704 * [backup-simplify]: Simplify (- (* (exp (/ -1/2 (/ 1 (- x)))) (sqrt (exp (/ -1 (/ 1 (- x)))))) (exp (/ 1 (/ 1 (- x))))) into (- (* (exp (* 1/2 x)) (sqrt (exp x))) (exp (* -1 x))) 3.704 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 3.705 * [backup-simplify]: Simplify (pow (exp 1) (/ x 2)) into (pow E (* 1/2 x)) 3.705 * [approximate]: Taking taylor expansion of (pow E (* 1/2 x)) in (x) around 0 3.705 * [taylor]: Taking taylor expansion of (pow E (* 1/2 x)) in x 3.705 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 x) (log E))) in x 3.705 * [taylor]: Taking taylor expansion of (* (* 1/2 x) (log E)) in x 3.705 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 3.705 * [taylor]: Taking taylor expansion of 1/2 in x 3.705 * [backup-simplify]: Simplify 1/2 into 1/2 3.705 * [taylor]: Taking taylor expansion of x in x 3.705 * [backup-simplify]: Simplify 0 into 0 3.705 * [backup-simplify]: Simplify 1 into 1 3.705 * [taylor]: Taking taylor expansion of (log E) in x 3.705 * [taylor]: Taking taylor expansion of E in x 3.705 * [backup-simplify]: Simplify E into E 3.705 * [backup-simplify]: Simplify (log E) into 1 3.705 * [backup-simplify]: Simplify (* 1/2 0) into 0 3.706 * [backup-simplify]: Simplify (* 0 1) into 0 3.707 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 3.708 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 3.708 * [backup-simplify]: Simplify (+ (* 0 0) (* 1/2 1)) into 1/2 3.708 * [backup-simplify]: Simplify (exp 0) into 1 3.708 * [taylor]: Taking taylor expansion of (pow E (* 1/2 x)) in x 3.708 * [taylor]: Taking taylor expansion of (exp (* (* 1/2 x) (log E))) in x 3.708 * [taylor]: Taking taylor expansion of (* (* 1/2 x) (log E)) in x 3.708 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 3.708 * [taylor]: Taking taylor expansion of 1/2 in x 3.708 * [backup-simplify]: Simplify 1/2 into 1/2 3.708 * [taylor]: Taking taylor expansion of x in x 3.708 * [backup-simplify]: Simplify 0 into 0 3.708 * [backup-simplify]: Simplify 1 into 1 3.708 * [taylor]: Taking taylor expansion of (log E) in x 3.708 * [taylor]: Taking taylor expansion of E in x 3.708 * [backup-simplify]: Simplify E into E 3.709 * [backup-simplify]: Simplify (log E) into 1 3.709 * [backup-simplify]: Simplify (* 1/2 0) into 0 3.709 * [backup-simplify]: Simplify (* 0 1) into 0 3.710 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 3.711 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 0)) into 1/2 3.712 * [backup-simplify]: Simplify (+ (* 0 0) (* 1/2 1)) into 1/2 3.712 * [backup-simplify]: Simplify (exp 0) into 1 3.712 * [backup-simplify]: Simplify 1 into 1 3.713 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/2 1) 1)))) into 1/2 3.713 * [backup-simplify]: Simplify 1/2 into 1/2 3.715 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 3.716 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 1) (* 0 0))) into 0 3.717 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1/2 0) (* 0 1))) into 0 3.718 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow 0 1) 1)))) into 1/8 3.718 * [backup-simplify]: Simplify 1/8 into 1/8 3.718 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) 3.718 * [backup-simplify]: Simplify (pow (exp 1) (/ (/ 1 x) 2)) into (pow E (/ 1/2 x)) 3.718 * [approximate]: Taking taylor expansion of (pow E (/ 1/2 x)) in (x) around 0 3.718 * [taylor]: Taking taylor expansion of (pow E (/ 1/2 x)) in x 3.718 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 x) (log E))) in x 3.719 * [taylor]: Taking taylor expansion of (* (/ 1/2 x) (log E)) in x 3.719 * [taylor]: Taking taylor expansion of (/ 1/2 x) in x 3.719 * [taylor]: Taking taylor expansion of 1/2 in x 3.719 * [backup-simplify]: Simplify 1/2 into 1/2 3.719 * [taylor]: Taking taylor expansion of x in x 3.719 * [backup-simplify]: Simplify 0 into 0 3.719 * [backup-simplify]: Simplify 1 into 1 3.719 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 3.719 * [taylor]: Taking taylor expansion of (log E) in x 3.719 * [taylor]: Taking taylor expansion of E in x 3.719 * [backup-simplify]: Simplify E into E 3.719 * [backup-simplify]: Simplify (log E) into 1 3.720 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 3.720 * [backup-simplify]: Simplify (exp (* (/ 1/2 x) (log E))) into (exp (/ 1/2 x)) 3.720 * [taylor]: Taking taylor expansion of (pow E (/ 1/2 x)) in x 3.720 * [taylor]: Taking taylor expansion of (exp (* (/ 1/2 x) (log E))) in x 3.720 * [taylor]: Taking taylor expansion of (* (/ 1/2 x) (log E)) in x 3.720 * [taylor]: Taking taylor expansion of (/ 1/2 x) in x 3.720 * [taylor]: Taking taylor expansion of 1/2 in x 3.720 * [backup-simplify]: Simplify 1/2 into 1/2 3.720 * [taylor]: Taking taylor expansion of x in x 3.720 * [backup-simplify]: Simplify 0 into 0 3.720 * [backup-simplify]: Simplify 1 into 1 3.720 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2 3.720 * [taylor]: Taking taylor expansion of (log E) in x 3.720 * [taylor]: Taking taylor expansion of E in x 3.720 * [backup-simplify]: Simplify E into E 3.720 * [backup-simplify]: Simplify (log E) into 1 3.721 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 3.721 * [backup-simplify]: Simplify (exp (* (/ 1/2 x) (log E))) into (exp (/ 1/2 x)) 3.721 * [backup-simplify]: Simplify (exp (/ 1/2 x)) into (exp (/ 1/2 x)) 3.721 * [backup-simplify]: Simplify 0 into 0 3.721 * [backup-simplify]: Simplify 0 into 0 3.721 * [backup-simplify]: Simplify 0 into 0 3.721 * [backup-simplify]: Simplify 0 into 0 3.721 * [backup-simplify]: Simplify 0 into 0 3.721 * [backup-simplify]: Simplify 0 into 0 3.721 * [backup-simplify]: Simplify (exp (/ 1/2 (/ 1 x))) into (exp (* 1/2 x)) 3.721 * [backup-simplify]: Simplify (pow (exp 1) (/ (/ 1 (- x)) 2)) into (pow E (/ -1/2 x)) 3.721 * [approximate]: Taking taylor expansion of (pow E (/ -1/2 x)) in (x) around 0 3.721 * [taylor]: Taking taylor expansion of (pow E (/ -1/2 x)) in x 3.722 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 x) (log E))) in x 3.722 * [taylor]: Taking taylor expansion of (* (/ -1/2 x) (log E)) in x 3.722 * [taylor]: Taking taylor expansion of (/ -1/2 x) in x 3.722 * [taylor]: Taking taylor expansion of -1/2 in x 3.722 * [backup-simplify]: Simplify -1/2 into -1/2 3.722 * [taylor]: Taking taylor expansion of x in x 3.722 * [backup-simplify]: Simplify 0 into 0 3.722 * [backup-simplify]: Simplify 1 into 1 3.722 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 3.722 * [taylor]: Taking taylor expansion of (log E) in x 3.722 * [taylor]: Taking taylor expansion of E in x 3.722 * [backup-simplify]: Simplify E into E 3.722 * [backup-simplify]: Simplify (log E) into 1 3.723 * [backup-simplify]: Simplify (* -1/2 1) into -1/2 3.723 * [backup-simplify]: Simplify (exp (* (/ -1/2 x) (log E))) into (exp (/ -1/2 x)) 3.723 * [taylor]: Taking taylor expansion of (pow E (/ -1/2 x)) in x 3.723 * [taylor]: Taking taylor expansion of (exp (* (/ -1/2 x) (log E))) in x 3.723 * [taylor]: Taking taylor expansion of (* (/ -1/2 x) (log E)) in x 3.723 * [taylor]: Taking taylor expansion of (/ -1/2 x) in x 3.723 * [taylor]: Taking taylor expansion of -1/2 in x 3.723 * [backup-simplify]: Simplify -1/2 into -1/2 3.723 * [taylor]: Taking taylor expansion of x in x 3.723 * [backup-simplify]: Simplify 0 into 0 3.723 * [backup-simplify]: Simplify 1 into 1 3.723 * [backup-simplify]: Simplify (/ -1/2 1) into -1/2 3.723 * [taylor]: Taking taylor expansion of (log E) in x 3.723 * [taylor]: Taking taylor expansion of E in x 3.723 * [backup-simplify]: Simplify E into E 3.723 * [backup-simplify]: Simplify (log E) into 1 3.724 * [backup-simplify]: Simplify (* -1/2 1) into -1/2 3.724 * [backup-simplify]: Simplify (exp (* (/ -1/2 x) (log E))) into (exp (/ -1/2 x)) 3.724 * [backup-simplify]: Simplify (exp (/ -1/2 x)) into (exp (/ -1/2 x)) 3.724 * [backup-simplify]: Simplify 0 into 0 3.724 * [backup-simplify]: Simplify 0 into 0 3.724 * [backup-simplify]: Simplify 0 into 0 3.724 * [backup-simplify]: Simplify 0 into 0 3.724 * [backup-simplify]: Simplify 0 into 0 3.724 * [backup-simplify]: Simplify 0 into 0 3.724 * [backup-simplify]: Simplify (exp (/ -1/2 (/ 1 (- x)))) into (exp (* 1/2 x)) 3.724 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 3.724 * [backup-simplify]: Simplify (sqrt (exp x)) into (sqrt (exp x)) 3.724 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 3.724 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 3.724 * [taylor]: Taking taylor expansion of (exp x) in x 3.724 * [taylor]: Taking taylor expansion of x in x 3.724 * [backup-simplify]: Simplify 0 into 0 3.724 * [backup-simplify]: Simplify 1 into 1 3.725 * [backup-simplify]: Simplify (exp 0) into 1 3.725 * [backup-simplify]: Simplify (sqrt 1) into 1 3.726 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 3.726 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 3.726 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 3.726 * [taylor]: Taking taylor expansion of (exp x) in x 3.726 * [taylor]: Taking taylor expansion of x in x 3.726 * [backup-simplify]: Simplify 0 into 0 3.726 * [backup-simplify]: Simplify 1 into 1 3.726 * [backup-simplify]: Simplify (exp 0) into 1 3.727 * [backup-simplify]: Simplify (sqrt 1) into 1 3.728 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 3.728 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 3.728 * [backup-simplify]: Simplify 1 into 1 3.728 * [backup-simplify]: Simplify 1/2 into 1/2 3.730 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 3.731 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 3.731 * [backup-simplify]: Simplify 1/8 into 1/8 3.731 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) 3.731 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 3.731 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 3.731 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 3.731 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.731 * [taylor]: Taking taylor expansion of x in x 3.731 * [backup-simplify]: Simplify 0 into 0 3.731 * [backup-simplify]: Simplify 1 into 1 3.732 * [backup-simplify]: Simplify (/ 1 1) into 1 3.732 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 3.732 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 3.732 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 3.732 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 3.732 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 3.732 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.732 * [taylor]: Taking taylor expansion of x in x 3.732 * [backup-simplify]: Simplify 0 into 0 3.732 * [backup-simplify]: Simplify 1 into 1 3.732 * [backup-simplify]: Simplify (/ 1 1) into 1 3.732 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 3.733 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 3.733 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 3.733 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 3.733 * [backup-simplify]: Simplify 0 into 0 3.734 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.734 * [backup-simplify]: Simplify 0 into 0 3.734 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.734 * [backup-simplify]: Simplify 0 into 0 3.735 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.735 * [backup-simplify]: Simplify 0 into 0 3.735 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.735 * [backup-simplify]: Simplify 0 into 0 3.742 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 3.742 * [backup-simplify]: Simplify 0 into 0 3.742 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 x)))) into (sqrt (exp x)) 3.743 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- x)))) into (sqrt (exp (/ -1 x))) 3.743 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 3.743 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 3.743 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.743 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.743 * [taylor]: Taking taylor expansion of -1 in x 3.743 * [backup-simplify]: Simplify -1 into -1 3.743 * [taylor]: Taking taylor expansion of x in x 3.743 * [backup-simplify]: Simplify 0 into 0 3.743 * [backup-simplify]: Simplify 1 into 1 3.743 * [backup-simplify]: Simplify (/ -1 1) into -1 3.743 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 3.743 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 3.744 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 3.744 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 3.744 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 3.744 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.744 * [taylor]: Taking taylor expansion of -1 in x 3.744 * [backup-simplify]: Simplify -1 into -1 3.744 * [taylor]: Taking taylor expansion of x in x 3.744 * [backup-simplify]: Simplify 0 into 0 3.744 * [backup-simplify]: Simplify 1 into 1 3.744 * [backup-simplify]: Simplify (/ -1 1) into -1 3.744 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 3.744 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 3.744 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 3.745 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 3.745 * [backup-simplify]: Simplify 0 into 0 3.745 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.745 * [backup-simplify]: Simplify 0 into 0 3.746 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.746 * [backup-simplify]: Simplify 0 into 0 3.747 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.747 * [backup-simplify]: Simplify 0 into 0 3.748 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.748 * [backup-simplify]: Simplify 0 into 0 3.748 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 3.749 * [backup-simplify]: Simplify 0 into 0 3.749 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- x))))) into (sqrt (exp x)) 3.749 * * * [progress]: simplifying candidates 3.750 * [simplify]: Simplifying: (expm1 (fma (pow (exp 1) (/ x 2)) (sqrt (exp x)) (- (exp (- x))))) (log1p (fma (pow (exp 1) (/ x 2)) (sqrt (exp x)) (- (exp (- x))))) (* (pow (exp 1) (/ x 2)) (sqrt (exp x))) (log (fma (pow (exp 1) (/ x 2)) (sqrt (exp x)) (- (exp (- x))))) (exp (fma (pow (exp 1) (/ x 2)) (sqrt (exp x)) (- (exp (- x))))) (* (cbrt (fma (pow (exp 1) (/ x 2)) (sqrt (exp x)) (- (exp (- x))))) (cbrt (fma (pow (exp 1) (/ x 2)) (sqrt (exp x)) (- (exp (- x)))))) (cbrt (fma (pow (exp 1) (/ x 2)) (sqrt (exp x)) (- (exp (- x))))) (* (* (fma (pow (exp 1) (/ x 2)) (sqrt (exp x)) (- (exp (- x)))) (fma (pow (exp 1) (/ x 2)) (sqrt (exp x)) (- (exp (- x))))) (fma (pow (exp 1) (/ x 2)) (sqrt (exp x)) (- (exp (- x))))) (sqrt (fma (pow (exp 1) (/ x 2)) (sqrt (exp x)) (- (exp (- x))))) (sqrt (fma (pow (exp 1) (/ x 2)) (sqrt (exp x)) (- (exp (- x))))) (expm1 (pow (exp 1) (/ x 2))) (log1p (pow (exp 1) (/ x 2))) (* 1 (/ x 2)) (* (log (exp 1)) (/ x 2)) (* 1 (/ x 2)) (* (cbrt 1) (/ x 2)) (* (sqrt 1) (/ x 2)) (* 1 (/ x 2)) (pow (exp 1) (* (cbrt (/ x 2)) (cbrt (/ x 2)))) (pow (exp 1) (sqrt (/ x 2))) (pow (exp 1) (/ (* (cbrt x) (cbrt x)) (* (cbrt 2) (cbrt 2)))) (pow (exp 1) (/ (* (cbrt x) (cbrt x)) (sqrt 2))) (pow (exp 1) (/ (* (cbrt x) (cbrt x)) 1)) (pow (exp 1) (/ (sqrt x) (* (cbrt 2) (cbrt 2)))) (pow (exp 1) (/ (sqrt x) (sqrt 2))) (pow (exp 1) (/ (sqrt x) 1)) (pow (exp 1) (/ 1 (* (cbrt 2) (cbrt 2)))) (pow (exp 1) (/ 1 (sqrt 2))) (pow (exp 1) (/ 1 1)) (pow (exp 1) 1) (pow (exp 1) x) (pow (* (cbrt (exp 1)) (cbrt (exp 1))) (/ x 2)) (pow (cbrt (exp 1)) (/ x 2)) (pow (sqrt (exp 1)) (/ x 2)) (pow (sqrt (exp 1)) (/ x 2)) (pow 1 (/ x 2)) (pow (exp 1) (/ x 2)) (log (pow (exp 1) (/ x 2))) (exp (pow (exp 1) (/ x 2))) (* (cbrt (pow (exp 1) (/ x 2))) (cbrt (pow (exp 1) (/ x 2)))) (cbrt (pow (exp 1) (/ x 2))) (* (* (pow (exp 1) (/ x 2)) (pow (exp 1) (/ x 2))) (pow (exp 1) (/ x 2))) (sqrt (pow (exp 1) (/ x 2))) (sqrt (pow (exp 1) (/ x 2))) (pow (exp 1) (/ (/ x 2) 2)) (pow (exp 1) (/ (/ x 2) 2)) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (* (* (sqrt (exp x)) (sqrt (exp x))) (sqrt (exp x))) (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (sqrt 1) (sqrt (exp x)) (/ 1 2) (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (- (* (exp (* 1/2 x)) (sqrt (exp x))) (exp (- x))) (- (* (exp (* 1/2 x)) (sqrt (exp x))) (exp (* -1 x))) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (exp (* 1/2 x)) (exp (* 1/2 x)) (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) (sqrt (exp x)) (sqrt (exp x)) 3.752 * * [simplify]: Extracting # 0 : cost 0 3.752 * * [simplify]: Extracting # 1 : cost 0 3.752 * * [simplify]: Extracting # 2 : cost 0 3.752 * * [simplify]: Extracting # 3 : cost 0 3.753 * * [simplify]: Extracting # 4 : cost 0 3.753 * * [simplify]: Extracting # 5 : cost 0 3.753 * * [simplify]: Extracting # 6 : cost 0 3.753 * * [simplify]: Extracting # 7 : cost 0 3.754 * * [simplify]: Extracting # 8 : cost 0 3.754 * * [simplify]: iteration 0 : 119 enodes (cost 641 ) 3.800 * * [simplify]: Extracting # 0 : cost 0 3.801 * * [simplify]: Extracting # 1 : cost 0 3.801 * * [simplify]: Extracting # 2 : cost 0 3.801 * * [simplify]: Extracting # 3 : cost 0 3.802 * * [simplify]: Extracting # 4 : cost 0 3.802 * * [simplify]: iteration 1 : 284 enodes (cost 537 ) 3.923 * * [simplify]: Extracting # 0 : cost 0 3.924 * * [simplify]: Extracting # 1 : cost 0 3.925 * * [simplify]: Extracting # 2 : cost 0 3.926 * * [simplify]: Extracting # 3 : cost 0 3.927 * * [simplify]: Extracting # 4 : cost 0 3.928 * * [simplify]: Extracting # 5 : cost 0 3.929 * * [simplify]: iteration 2 : 908 enodes (cost 502 ) 5.239 * * [simplify]: Extracting # 0 : cost 0 5.243 * * [simplify]: Extracting # 1 : cost 0 5.249 * * [simplify]: Extracting # 2 : cost 0 5.256 * * [simplify]: Extracting # 3 : cost 0 5.262 * * [simplify]: Extracting # 4 : cost 0 5.268 * * [simplify]: iteration 3 : 4640 enodes (cost 498 ) 6.227 * * [simplify]: Extracting # 0 : cost 0 6.235 * * [simplify]: Extracting # 1 : cost 0 6.242 * * [simplify]: Extracting # 2 : cost 0 6.249 * * [simplify]: iteration done: 5000 enodes (cost 496 ) 6.249 * [simplify]: Simplified to: (expm1 (fma (pow E (/ x 2)) (sqrt (exp x)) (- (exp (- x))))) (log1p (fma (pow E (/ x 2)) (sqrt (exp x)) (- (exp (- x))))) (* (sqrt (exp x)) (pow E (/ x 2))) (log (fma (pow E (/ x 2)) (sqrt (exp x)) (- (exp (- x))))) (exp (fma (pow E (/ x 2)) (sqrt (exp x)) (- (exp (- x))))) (* (cbrt (fma (pow E (/ x 2)) (sqrt (exp x)) (- (exp (- x))))) (cbrt (fma (pow E (/ x 2)) (sqrt (exp x)) (- (exp (- x)))))) (cbrt (fma (pow E (/ x 2)) (sqrt (exp x)) (- (exp (- x))))) (pow (fma (pow E (/ x 2)) (sqrt (exp x)) (- (exp (- x)))) 3) (sqrt (fma (pow E (/ x 2)) (sqrt (exp x)) (- (exp (- x))))) (sqrt (fma (pow E (/ x 2)) (sqrt (exp x)) (- (exp (- x))))) (expm1 (pow E (/ x 2))) (log1p (pow E (/ x 2))) (/ x 2) (/ x 2) (/ x 2) (/ x 2) (/ x 2) (/ x 2) (pow E (* (cbrt (/ x 2)) (cbrt (/ x 2)))) (pow E (sqrt (/ x 2))) (pow E (/ (* (cbrt x) (cbrt x)) (* (cbrt 2) (cbrt 2)))) (pow E (/ (* (cbrt x) (cbrt x)) (sqrt 2))) (pow E (* (cbrt x) (cbrt x))) (pow E (/ (sqrt x) (* (cbrt 2) (cbrt 2)))) (pow E (/ (sqrt x) (sqrt 2))) (pow E (sqrt x)) (pow E (/ 1 (* (cbrt 2) (cbrt 2)))) (pow E (/ 1 (sqrt 2))) E E (pow E x) (pow (* (cbrt E) (cbrt E)) (/ x 2)) (pow (cbrt E) (/ x 2)) (pow (sqrt E) (/ x 2)) (pow (sqrt E) (/ x 2)) 1 (pow E (/ x 2)) (/ x 2) (exp (pow E (/ x 2))) (* (cbrt (pow E (/ x 2))) (cbrt (pow E (/ x 2)))) (cbrt (pow E (/ x 2))) (pow (pow E (/ x 2)) 3) (sqrt (pow E (/ x 2))) (sqrt (pow E (/ x 2))) (pow E (/ x 4)) (pow E (/ x 4)) (expm1 (sqrt (exp x))) (log1p (sqrt (exp x))) (log (sqrt (exp x))) (exp (sqrt (exp x))) (* (cbrt (sqrt (exp x))) (cbrt (sqrt (exp x)))) (cbrt (sqrt (exp x))) (pow (sqrt (exp x)) 3) (fabs (cbrt (exp x))) (sqrt (cbrt (exp x))) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) 1 (sqrt (exp x)) 1/2 (/ (cbrt x) 2) (/ (sqrt x) 2) (/ x 2) (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x))) (fma 1/3 (pow x 3) (fma 1/60 (pow x 5) (* 2 x))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)))) (fma (sqrt (exp x)) (sqrt (exp x)) (- (exp (- x)))) (+ (* x (fma 1/8 x 1/2)) 1) (sqrt (exp x)) (sqrt (exp x)) (+ (* x (fma 1/8 x 1/2)) 1) (sqrt (exp x)) (sqrt (exp x)) 6.250 * * * [progress]: adding candidates to table 6.570 * [progress]: [Phase 3 of 3] Extracting. 6.570 * * [regime]: Finding splitpoints for: (# #) 6.570 * * * [regime-changes]: Trying 1 branch expressions: (x) 6.570 * * * * [regimes]: Trying to branch on x from (# #) 6.586 * * * [regime]: Found split indices: #