0.501 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.426 * * * [progress]: [2/2] Setting up program. 0.432 * [progress]: [Phase 2 of 3] Improving. 0.437 * [simplify]: Simplifying: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 0.438 * * [simplify]: Extracting # 0 : cost 0 0.438 * * [simplify]: Extracting # 1 : cost 0 0.438 * * [simplify]: Extracting # 2 : cost 0 0.439 * * [simplify]: Extracting # 3 : cost 0 0.439 * * [simplify]: Extracting # 4 : cost 0 0.439 * * [simplify]: Extracting # 5 : cost 0 0.439 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.447 * * [simplify]: Extracting # 0 : cost 0 0.447 * * [simplify]: Extracting # 1 : cost 0 0.447 * * [simplify]: Extracting # 2 : cost 0 0.447 * * [simplify]: Extracting # 3 : cost 0 0.447 * * [simplify]: Extracting # 4 : cost 0 0.447 * * [simplify]: Extracting # 5 : cost 0 0.447 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 0.454 * * [simplify]: Extracting # 0 : cost 0 0.454 * * [simplify]: Extracting # 1 : cost 0 0.454 * * [simplify]: Extracting # 2 : cost 0 0.455 * * [simplify]: Extracting # 3 : cost 0 0.455 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 0.469 * * [simplify]: Extracting # 0 : cost 0 0.470 * * [simplify]: Extracting # 1 : cost 0 0.470 * * [simplify]: Extracting # 2 : cost 0 0.470 * * [simplify]: Extracting # 3 : cost 0 0.470 * * [simplify]: Extracting # 4 : cost 0 0.470 * * [simplify]: iteration 3 : 69 enodes (cost 8 ) 0.531 * * [simplify]: Extracting # 0 : cost 0 0.531 * * [simplify]: Extracting # 1 : cost 0 0.532 * * [simplify]: Extracting # 2 : cost 0 0.532 * * [simplify]: Extracting # 3 : cost 0 0.532 * * [simplify]: Extracting # 4 : cost 0 0.532 * * [simplify]: iteration 4 : 147 enodes (cost 8 ) 0.641 * * [simplify]: Extracting # 0 : cost 0 0.642 * * [simplify]: Extracting # 1 : cost 0 0.643 * * [simplify]: Extracting # 2 : cost 0 0.643 * * [simplify]: Extracting # 3 : cost 0 0.644 * * [simplify]: Extracting # 4 : cost 0 0.645 * * [simplify]: iteration 5 : 347 enodes (cost 8 ) 1.137 * * [simplify]: Extracting # 0 : cost 0 1.139 * * [simplify]: Extracting # 1 : cost 0 1.140 * * [simplify]: Extracting # 2 : cost 0 1.141 * * [simplify]: Extracting # 3 : cost 0 1.142 * * [simplify]: Extracting # 4 : cost 0 1.143 * * [simplify]: iteration 6 : 1152 enodes (cost 8 ) 4.535 * * [simplify]: Extracting # 0 : cost 0 4.544 * * [simplify]: Extracting # 1 : cost 0 4.549 * * [simplify]: Extracting # 2 : cost 0 4.553 * * [simplify]: Extracting # 3 : cost 0 4.556 * * [simplify]: Extracting # 4 : cost 0 4.560 * * [simplify]: Extracting # 5 : cost 0 4.563 * * [simplify]: iteration 7 : 4414 enodes (cost 8 ) 8.126 * * [simplify]: Extracting # 0 : cost 0 8.133 * * [simplify]: Extracting # 1 : cost 0 8.140 * * [simplify]: Extracting # 2 : cost 0 8.147 * * [simplify]: Extracting # 3 : cost 0 8.154 * * [simplify]: iteration done: 5000 enodes (cost 8 ) 8.154 * [simplify]: Simplified to: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 8.156 * * [progress]: iteration 1 / 4 8.157 * * * [progress]: picking best candidate 8.161 * * * * [pick]: Picked # 8.161 * * * [progress]: localizing error 8.178 * * * [progress]: generating rewritten candidates 8.178 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 8.182 * * * [progress]: generating series expansions 8.182 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 8.185 * [backup-simplify]: Simplify (sinh c) into (sinh c) 8.185 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 8.185 * [taylor]: Taking taylor expansion of (sinh c) in c 8.187 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 8.188 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 8.188 * [taylor]: Taking taylor expansion of (exp c) in c 8.188 * [taylor]: Taking taylor expansion of c in c 8.188 * [backup-simplify]: Simplify 0 into 0 8.188 * [backup-simplify]: Simplify 1 into 1 8.188 * [backup-simplify]: Simplify (exp 0) into 1 8.188 * [taylor]: Taking taylor expansion of (exp (- c)) in c 8.188 * [taylor]: Taking taylor expansion of (- c) in c 8.188 * [taylor]: Taking taylor expansion of c in c 8.188 * [backup-simplify]: Simplify 0 into 0 8.188 * [backup-simplify]: Simplify 1 into 1 8.188 * [backup-simplify]: Simplify (- 0) into 0 8.188 * [backup-simplify]: Simplify (- 1) into -1 8.188 * [backup-simplify]: Simplify (exp 0) into 1 8.189 * [taylor]: Taking taylor expansion of 2 in c 8.189 * [backup-simplify]: Simplify 2 into 2 8.189 * [backup-simplify]: Simplify (- 1) into -1 8.190 * [backup-simplify]: Simplify (+ 1 -1) into 0 8.191 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.191 * [backup-simplify]: Simplify (- 1) into -1 8.192 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 8.192 * [backup-simplify]: Simplify (- -1) into 1 8.192 * [backup-simplify]: Simplify (+ 1 1) into 2 8.192 * [backup-simplify]: Simplify (/ 2 2) into 1 8.192 * [taylor]: Taking taylor expansion of (sinh c) in c 8.193 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 8.193 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 8.193 * [taylor]: Taking taylor expansion of (exp c) in c 8.193 * [taylor]: Taking taylor expansion of c in c 8.193 * [backup-simplify]: Simplify 0 into 0 8.193 * [backup-simplify]: Simplify 1 into 1 8.193 * [backup-simplify]: Simplify (exp 0) into 1 8.193 * [taylor]: Taking taylor expansion of (exp (- c)) in c 8.193 * [taylor]: Taking taylor expansion of (- c) in c 8.193 * [taylor]: Taking taylor expansion of c in c 8.193 * [backup-simplify]: Simplify 0 into 0 8.193 * [backup-simplify]: Simplify 1 into 1 8.193 * [backup-simplify]: Simplify (- 0) into 0 8.193 * [backup-simplify]: Simplify (- 1) into -1 8.193 * [backup-simplify]: Simplify (exp 0) into 1 8.193 * [taylor]: Taking taylor expansion of 2 in c 8.193 * [backup-simplify]: Simplify 2 into 2 8.194 * [backup-simplify]: Simplify (- 1) into -1 8.194 * [backup-simplify]: Simplify (+ 1 -1) into 0 8.194 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.195 * [backup-simplify]: Simplify (- 1) into -1 8.195 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 8.196 * [backup-simplify]: Simplify (- -1) into 1 8.196 * [backup-simplify]: Simplify (+ 1 1) into 2 8.196 * [backup-simplify]: Simplify (/ 2 2) into 1 8.196 * [backup-simplify]: Simplify 1 into 1 8.198 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.198 * [backup-simplify]: Simplify (- 1) into -1 8.198 * [backup-simplify]: Simplify (- 0) into 0 8.199 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.200 * [backup-simplify]: Simplify (- 1/2) into -1/2 8.200 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 8.200 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 8.200 * [backup-simplify]: Simplify 0 into 0 8.202 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 8.202 * [backup-simplify]: Simplify (- 1) into -1 8.202 * [backup-simplify]: Simplify (- 1) into -1 8.203 * [backup-simplify]: Simplify (- 0) into 0 8.203 * [backup-simplify]: Simplify (- 0) into 0 8.204 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 8.204 * [backup-simplify]: Simplify (- -1/6) into 1/6 8.205 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 8.205 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 8.205 * [backup-simplify]: Simplify 1/6 into 1/6 8.219 * [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 8.220 * [backup-simplify]: Simplify (- 1) into -1 8.221 * [backup-simplify]: Simplify (- 1) into -1 8.221 * [backup-simplify]: Simplify (- 0) into 0 8.222 * [backup-simplify]: Simplify (- 1) into -1 8.222 * [backup-simplify]: Simplify (- 0) into 0 8.222 * [backup-simplify]: Simplify (- 0) into 0 8.223 * [backup-simplify]: Simplify (- 0) into 0 8.227 * [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 8.228 * [backup-simplify]: Simplify (- 1/24) into -1/24 8.228 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 8.229 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 8.229 * [backup-simplify]: Simplify 0 into 0 8.232 * [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 8.232 * [backup-simplify]: Simplify (- 1) into -1 8.232 * [backup-simplify]: Simplify (- 1) into -1 8.233 * [backup-simplify]: Simplify (- 0) into 0 8.233 * [backup-simplify]: Simplify (- 1) into -1 8.233 * [backup-simplify]: Simplify (- 0) into 0 8.233 * [backup-simplify]: Simplify (- 1) into -1 8.234 * [backup-simplify]: Simplify (- 0) into 0 8.234 * [backup-simplify]: Simplify (- 1) into -1 8.234 * [backup-simplify]: Simplify (- 0) into 0 8.234 * [backup-simplify]: Simplify (- 0) into 0 8.234 * [backup-simplify]: Simplify (- 0) into 0 8.235 * [backup-simplify]: Simplify (- 0) into 0 8.238 * [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 8.238 * [backup-simplify]: Simplify (- -1/120) into 1/120 8.239 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 8.239 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 8.239 * [backup-simplify]: Simplify 1/120 into 1/120 8.243 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 8.243 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 8.243 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 8.243 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 8.243 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 8.243 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 8.243 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 8.243 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.243 * [taylor]: Taking taylor expansion of c in c 8.243 * [backup-simplify]: Simplify 0 into 0 8.243 * [backup-simplify]: Simplify 1 into 1 8.244 * [backup-simplify]: Simplify (/ 1 1) into 1 8.244 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 8.244 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 8.244 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 8.244 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.244 * [taylor]: Taking taylor expansion of c in c 8.244 * [backup-simplify]: Simplify 0 into 0 8.244 * [backup-simplify]: Simplify 1 into 1 8.244 * [backup-simplify]: Simplify (/ 1 1) into 1 8.244 * [backup-simplify]: Simplify (- 1) into -1 8.245 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 8.245 * [taylor]: Taking taylor expansion of 2 in c 8.245 * [backup-simplify]: Simplify 2 into 2 8.245 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 8.245 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 8.245 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 8.245 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 8.245 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 8.245 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 8.245 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 8.245 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.245 * [taylor]: Taking taylor expansion of c in c 8.245 * [backup-simplify]: Simplify 0 into 0 8.245 * [backup-simplify]: Simplify 1 into 1 8.246 * [backup-simplify]: Simplify (/ 1 1) into 1 8.246 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 8.246 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 8.246 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 8.246 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.246 * [taylor]: Taking taylor expansion of c in c 8.246 * [backup-simplify]: Simplify 0 into 0 8.246 * [backup-simplify]: Simplify 1 into 1 8.246 * [backup-simplify]: Simplify (/ 1 1) into 1 8.246 * [backup-simplify]: Simplify (- 1) into -1 8.246 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 8.246 * [taylor]: Taking taylor expansion of 2 in c 8.246 * [backup-simplify]: Simplify 2 into 2 8.246 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 8.246 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 8.247 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 8.247 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 8.247 * [backup-simplify]: Simplify (- 0) into 0 8.247 * [backup-simplify]: Simplify (+ 0 0) into 0 8.248 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 8.248 * [backup-simplify]: Simplify 0 into 0 8.248 * [backup-simplify]: Simplify (- 0) into 0 8.248 * [backup-simplify]: Simplify (+ 0 0) into 0 8.249 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.249 * [backup-simplify]: Simplify 0 into 0 8.250 * [backup-simplify]: Simplify (- 0) into 0 8.250 * [backup-simplify]: Simplify (+ 0 0) into 0 8.251 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.251 * [backup-simplify]: Simplify 0 into 0 8.251 * [backup-simplify]: Simplify (- 0) into 0 8.252 * [backup-simplify]: Simplify (+ 0 0) into 0 8.253 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.253 * [backup-simplify]: Simplify 0 into 0 8.254 * [backup-simplify]: Simplify (- 0) into 0 8.254 * [backup-simplify]: Simplify (+ 0 0) into 0 8.256 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.256 * [backup-simplify]: Simplify 0 into 0 8.256 * [backup-simplify]: Simplify (- 0) into 0 8.256 * [backup-simplify]: Simplify (+ 0 0) into 0 8.260 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.260 * [backup-simplify]: Simplify 0 into 0 8.260 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 8.260 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 8.260 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 8.260 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 8.261 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 8.261 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 8.261 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 8.261 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.261 * [taylor]: Taking taylor expansion of -1 in c 8.261 * [backup-simplify]: Simplify -1 into -1 8.261 * [taylor]: Taking taylor expansion of c in c 8.261 * [backup-simplify]: Simplify 0 into 0 8.261 * [backup-simplify]: Simplify 1 into 1 8.262 * [backup-simplify]: Simplify (/ -1 1) into -1 8.262 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 8.262 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 8.262 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 8.262 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.262 * [taylor]: Taking taylor expansion of -1 in c 8.262 * [backup-simplify]: Simplify -1 into -1 8.262 * [taylor]: Taking taylor expansion of c in c 8.262 * [backup-simplify]: Simplify 0 into 0 8.262 * [backup-simplify]: Simplify 1 into 1 8.262 * [backup-simplify]: Simplify (/ -1 1) into -1 8.263 * [backup-simplify]: Simplify (- -1) into 1 8.263 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 8.263 * [taylor]: Taking taylor expansion of 2 in c 8.263 * [backup-simplify]: Simplify 2 into 2 8.263 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 8.263 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 8.263 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 8.264 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 8.264 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 8.264 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 8.264 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 8.264 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.264 * [taylor]: Taking taylor expansion of -1 in c 8.264 * [backup-simplify]: Simplify -1 into -1 8.264 * [taylor]: Taking taylor expansion of c in c 8.264 * [backup-simplify]: Simplify 0 into 0 8.264 * [backup-simplify]: Simplify 1 into 1 8.264 * [backup-simplify]: Simplify (/ -1 1) into -1 8.264 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 8.264 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 8.265 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 8.265 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.265 * [taylor]: Taking taylor expansion of -1 in c 8.265 * [backup-simplify]: Simplify -1 into -1 8.265 * [taylor]: Taking taylor expansion of c in c 8.265 * [backup-simplify]: Simplify 0 into 0 8.265 * [backup-simplify]: Simplify 1 into 1 8.265 * [backup-simplify]: Simplify (/ -1 1) into -1 8.266 * [backup-simplify]: Simplify (- -1) into 1 8.266 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 8.266 * [taylor]: Taking taylor expansion of 2 in c 8.266 * [backup-simplify]: Simplify 2 into 2 8.266 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 8.266 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 8.266 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 8.267 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 8.267 * [backup-simplify]: Simplify (- 0) into 0 8.267 * [backup-simplify]: Simplify (+ 0 0) into 0 8.268 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 8.268 * [backup-simplify]: Simplify 0 into 0 8.269 * [backup-simplify]: Simplify (- 0) into 0 8.269 * [backup-simplify]: Simplify (+ 0 0) into 0 8.271 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.271 * [backup-simplify]: Simplify 0 into 0 8.271 * [backup-simplify]: Simplify (- 0) into 0 8.271 * [backup-simplify]: Simplify (+ 0 0) into 0 8.273 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.273 * [backup-simplify]: Simplify 0 into 0 8.274 * [backup-simplify]: Simplify (- 0) into 0 8.274 * [backup-simplify]: Simplify (+ 0 0) into 0 8.277 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.277 * [backup-simplify]: Simplify 0 into 0 8.277 * [backup-simplify]: Simplify (- 0) into 0 8.278 * [backup-simplify]: Simplify (+ 0 0) into 0 8.281 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.281 * [backup-simplify]: Simplify 0 into 0 8.281 * [backup-simplify]: Simplify (- 0) into 0 8.281 * [backup-simplify]: Simplify (+ 0 0) into 0 8.285 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.285 * [backup-simplify]: Simplify 0 into 0 8.286 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 8.286 * * * [progress]: simplifying candidates 8.287 * [simplify]: Simplifying: (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) 8.287 * * [simplify]: Extracting # 0 : cost 0 8.287 * * [simplify]: Extracting # 1 : cost 0 8.287 * * [simplify]: Extracting # 2 : cost 0 8.287 * * [simplify]: Extracting # 3 : cost 0 8.287 * * [simplify]: Extracting # 4 : cost 0 8.287 * * [simplify]: Extracting # 5 : cost 0 8.288 * * [simplify]: Extracting # 6 : cost 0 8.288 * * [simplify]: Extracting # 7 : cost 0 8.288 * * [simplify]: Extracting # 8 : cost 0 8.288 * * [simplify]: iteration 0 : 30 enodes (cost 66 ) 8.300 * * [simplify]: Extracting # 0 : cost 0 8.300 * * [simplify]: Extracting # 1 : cost 0 8.300 * * [simplify]: Extracting # 2 : cost 0 8.300 * * [simplify]: Extracting # 3 : cost 0 8.301 * * [simplify]: Extracting # 4 : cost 0 8.301 * * [simplify]: iteration 1 : 58 enodes (cost 65 ) 8.325 * * [simplify]: Extracting # 0 : cost 0 8.326 * * [simplify]: Extracting # 1 : cost 0 8.326 * * [simplify]: Extracting # 2 : cost 0 8.326 * * [simplify]: Extracting # 3 : cost 0 8.326 * * [simplify]: Extracting # 4 : cost 0 8.327 * * [simplify]: iteration 2 : 125 enodes (cost 61 ) 8.373 * * [simplify]: Extracting # 0 : cost 0 8.374 * * [simplify]: Extracting # 1 : cost 0 8.374 * * [simplify]: Extracting # 2 : cost 0 8.374 * * [simplify]: Extracting # 3 : cost 0 8.374 * * [simplify]: Extracting # 4 : cost 0 8.374 * * [simplify]: iteration 3 : 252 enodes (cost 61 ) 8.460 * * [simplify]: Extracting # 0 : cost 0 8.461 * * [simplify]: Extracting # 1 : cost 0 8.461 * * [simplify]: Extracting # 2 : cost 0 8.462 * * [simplify]: Extracting # 3 : cost 0 8.463 * * [simplify]: Extracting # 4 : cost 0 8.463 * * [simplify]: iteration 4 : 613 enodes (cost 61 ) 8.931 * * [simplify]: Extracting # 0 : cost 0 8.934 * * [simplify]: Extracting # 1 : cost 0 8.937 * * [simplify]: Extracting # 2 : cost 0 8.940 * * [simplify]: Extracting # 3 : cost 0 8.942 * * [simplify]: Extracting # 4 : cost 0 8.945 * * [simplify]: iteration 5 : 2545 enodes (cost 61 ) 10.384 * * [simplify]: Extracting # 0 : cost 0 10.395 * * [simplify]: Extracting # 1 : cost 0 10.406 * * [simplify]: Extracting # 2 : cost 0 10.416 * * [simplify]: Extracting # 3 : cost 0 10.426 * * [simplify]: Extracting # 4 : cost 0 10.436 * * [simplify]: iteration done: 5000 enodes (cost 61 ) 10.437 * [simplify]: Simplified to: (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (- c)))) 10.437 * * * [progress]: adding candidates to table 10.502 * * [progress]: iteration 2 / 4 10.502 * * * [progress]: picking best candidate 10.512 * * * * [pick]: Picked # 10.512 * * * [progress]: localizing error 10.546 * * * [progress]: generating rewritten candidates 10.546 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 10.573 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1) 10.597 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 10.656 * * * [progress]: generating series expansions 10.656 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 10.656 * [backup-simplify]: Simplify (* 1/6 (pow c 3)) into (* 1/6 (pow c 3)) 10.656 * [approximate]: Taking taylor expansion of (* 1/6 (pow c 3)) in (c) around 0 10.656 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 10.656 * [taylor]: Taking taylor expansion of 1/6 in c 10.656 * [backup-simplify]: Simplify 1/6 into 1/6 10.656 * [taylor]: Taking taylor expansion of (pow c 3) in c 10.656 * [taylor]: Taking taylor expansion of c in c 10.656 * [backup-simplify]: Simplify 0 into 0 10.656 * [backup-simplify]: Simplify 1 into 1 10.656 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 10.656 * [taylor]: Taking taylor expansion of 1/6 in c 10.656 * [backup-simplify]: Simplify 1/6 into 1/6 10.656 * [taylor]: Taking taylor expansion of (pow c 3) in c 10.657 * [taylor]: Taking taylor expansion of c in c 10.657 * [backup-simplify]: Simplify 0 into 0 10.657 * [backup-simplify]: Simplify 1 into 1 10.657 * [backup-simplify]: Simplify (* 1 1) into 1 10.658 * [backup-simplify]: Simplify (* 1 1) into 1 10.658 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 10.658 * [backup-simplify]: Simplify 1/6 into 1/6 10.658 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.659 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.659 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 10.659 * [backup-simplify]: Simplify 0 into 0 10.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.661 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 10.661 * [backup-simplify]: Simplify 0 into 0 10.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.663 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.663 * [backup-simplify]: Simplify 0 into 0 10.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.665 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.665 * [backup-simplify]: Simplify 0 into 0 10.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.667 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.667 * [backup-simplify]: Simplify 0 into 0 10.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.670 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.670 * [backup-simplify]: Simplify 0 into 0 10.670 * [backup-simplify]: Simplify (* 1/6 (pow c 3)) into (* 1/6 (pow c 3)) 10.670 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 c) 3)) into (/ 1/6 (pow c 3)) 10.670 * [approximate]: Taking taylor expansion of (/ 1/6 (pow c 3)) in (c) around 0 10.670 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c 10.670 * [taylor]: Taking taylor expansion of 1/6 in c 10.670 * [backup-simplify]: Simplify 1/6 into 1/6 10.670 * [taylor]: Taking taylor expansion of (pow c 3) in c 10.670 * [taylor]: Taking taylor expansion of c in c 10.670 * [backup-simplify]: Simplify 0 into 0 10.670 * [backup-simplify]: Simplify 1 into 1 10.670 * [backup-simplify]: Simplify (* 1 1) into 1 10.671 * [backup-simplify]: Simplify (* 1 1) into 1 10.671 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 10.671 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c 10.671 * [taylor]: Taking taylor expansion of 1/6 in c 10.671 * [backup-simplify]: Simplify 1/6 into 1/6 10.671 * [taylor]: Taking taylor expansion of (pow c 3) in c 10.671 * [taylor]: Taking taylor expansion of c in c 10.671 * [backup-simplify]: Simplify 0 into 0 10.671 * [backup-simplify]: Simplify 1 into 1 10.671 * [backup-simplify]: Simplify (* 1 1) into 1 10.672 * [backup-simplify]: Simplify (* 1 1) into 1 10.672 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 10.672 * [backup-simplify]: Simplify 1/6 into 1/6 10.672 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.673 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.673 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 10.673 * [backup-simplify]: Simplify 0 into 0 10.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.675 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.675 * [backup-simplify]: Simplify 0 into 0 10.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.677 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.677 * [backup-simplify]: Simplify 0 into 0 10.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.679 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.679 * [backup-simplify]: Simplify 0 into 0 10.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.681 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.681 * [backup-simplify]: Simplify 0 into 0 10.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.683 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.683 * [backup-simplify]: Simplify 0 into 0 10.683 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (/ 1 c)) 3)) into (* 1/6 (pow c 3)) 10.683 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (- c)) 3)) into (/ -1/6 (pow c 3)) 10.683 * [approximate]: Taking taylor expansion of (/ -1/6 (pow c 3)) in (c) around 0 10.683 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c 10.683 * [taylor]: Taking taylor expansion of -1/6 in c 10.683 * [backup-simplify]: Simplify -1/6 into -1/6 10.683 * [taylor]: Taking taylor expansion of (pow c 3) in c 10.683 * [taylor]: Taking taylor expansion of c in c 10.683 * [backup-simplify]: Simplify 0 into 0 10.683 * [backup-simplify]: Simplify 1 into 1 10.684 * [backup-simplify]: Simplify (* 1 1) into 1 10.684 * [backup-simplify]: Simplify (* 1 1) into 1 10.684 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 10.684 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c 10.684 * [taylor]: Taking taylor expansion of -1/6 in c 10.684 * [backup-simplify]: Simplify -1/6 into -1/6 10.684 * [taylor]: Taking taylor expansion of (pow c 3) in c 10.684 * [taylor]: Taking taylor expansion of c in c 10.684 * [backup-simplify]: Simplify 0 into 0 10.684 * [backup-simplify]: Simplify 1 into 1 10.685 * [backup-simplify]: Simplify (* 1 1) into 1 10.685 * [backup-simplify]: Simplify (* 1 1) into 1 10.685 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 10.685 * [backup-simplify]: Simplify -1/6 into -1/6 10.686 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.686 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.687 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 10.687 * [backup-simplify]: Simplify 0 into 0 10.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.688 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.688 * [backup-simplify]: Simplify 0 into 0 10.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.690 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.690 * [backup-simplify]: Simplify 0 into 0 10.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.692 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.692 * [backup-simplify]: Simplify 0 into 0 10.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.694 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.694 * [backup-simplify]: Simplify 0 into 0 10.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.696 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.696 * [backup-simplify]: Simplify 0 into 0 10.697 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 (/ 1 (- c))) 3)) into (* 1/6 (pow c 3)) 10.697 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1) 10.697 * [backup-simplify]: Simplify (* 1/120 (pow c 5)) into (* 1/120 (pow c 5)) 10.697 * [approximate]: Taking taylor expansion of (* 1/120 (pow c 5)) in (c) around 0 10.697 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 10.697 * [taylor]: Taking taylor expansion of 1/120 in c 10.697 * [backup-simplify]: Simplify 1/120 into 1/120 10.697 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.697 * [taylor]: Taking taylor expansion of c in c 10.697 * [backup-simplify]: Simplify 0 into 0 10.697 * [backup-simplify]: Simplify 1 into 1 10.697 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 10.697 * [taylor]: Taking taylor expansion of 1/120 in c 10.697 * [backup-simplify]: Simplify 1/120 into 1/120 10.697 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.697 * [taylor]: Taking taylor expansion of c in c 10.697 * [backup-simplify]: Simplify 0 into 0 10.697 * [backup-simplify]: Simplify 1 into 1 10.697 * [backup-simplify]: Simplify (* 1 1) into 1 10.698 * [backup-simplify]: Simplify (* 1 1) into 1 10.698 * [backup-simplify]: Simplify (* 1 1) into 1 10.698 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 10.698 * [backup-simplify]: Simplify 1/120 into 1/120 10.698 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.699 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.699 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.700 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 10.700 * [backup-simplify]: Simplify 0 into 0 10.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.702 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 10.702 * [backup-simplify]: Simplify 0 into 0 10.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.704 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.704 * [backup-simplify]: Simplify 0 into 0 10.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.707 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.707 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.707 * [backup-simplify]: Simplify 0 into 0 10.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.710 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.710 * [backup-simplify]: Simplify 0 into 0 10.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.714 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.714 * [backup-simplify]: Simplify 0 into 0 10.714 * [backup-simplify]: Simplify (* 1/120 (pow c 5)) into (* 1/120 (pow c 5)) 10.714 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 c) 5)) into (/ 1/120 (pow c 5)) 10.714 * [approximate]: Taking taylor expansion of (/ 1/120 (pow c 5)) in (c) around 0 10.714 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c 10.714 * [taylor]: Taking taylor expansion of 1/120 in c 10.714 * [backup-simplify]: Simplify 1/120 into 1/120 10.714 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.714 * [taylor]: Taking taylor expansion of c in c 10.714 * [backup-simplify]: Simplify 0 into 0 10.714 * [backup-simplify]: Simplify 1 into 1 10.715 * [backup-simplify]: Simplify (* 1 1) into 1 10.715 * [backup-simplify]: Simplify (* 1 1) into 1 10.715 * [backup-simplify]: Simplify (* 1 1) into 1 10.715 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120 10.715 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c 10.715 * [taylor]: Taking taylor expansion of 1/120 in c 10.715 * [backup-simplify]: Simplify 1/120 into 1/120 10.715 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.715 * [taylor]: Taking taylor expansion of c in c 10.716 * [backup-simplify]: Simplify 0 into 0 10.716 * [backup-simplify]: Simplify 1 into 1 10.716 * [backup-simplify]: Simplify (* 1 1) into 1 10.716 * [backup-simplify]: Simplify (* 1 1) into 1 10.716 * [backup-simplify]: Simplify (* 1 1) into 1 10.717 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120 10.717 * [backup-simplify]: Simplify 1/120 into 1/120 10.717 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.717 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.718 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.718 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)))) into 0 10.718 * [backup-simplify]: Simplify 0 into 0 10.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.721 * [backup-simplify]: Simplify 0 into 0 10.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.727 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.727 * [backup-simplify]: Simplify 0 into 0 10.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.730 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.730 * [backup-simplify]: Simplify 0 into 0 10.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.732 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.733 * [backup-simplify]: Simplify 0 into 0 10.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.736 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.736 * [backup-simplify]: Simplify 0 into 0 10.736 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 (/ 1 c)) 5)) into (* 1/120 (pow c 5)) 10.736 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 (- c)) 5)) into (/ -1/120 (pow c 5)) 10.736 * [approximate]: Taking taylor expansion of (/ -1/120 (pow c 5)) in (c) around 0 10.736 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c 10.736 * [taylor]: Taking taylor expansion of -1/120 in c 10.736 * [backup-simplify]: Simplify -1/120 into -1/120 10.736 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.736 * [taylor]: Taking taylor expansion of c in c 10.736 * [backup-simplify]: Simplify 0 into 0 10.736 * [backup-simplify]: Simplify 1 into 1 10.737 * [backup-simplify]: Simplify (* 1 1) into 1 10.737 * [backup-simplify]: Simplify (* 1 1) into 1 10.737 * [backup-simplify]: Simplify (* 1 1) into 1 10.737 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120 10.737 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c 10.737 * [taylor]: Taking taylor expansion of -1/120 in c 10.737 * [backup-simplify]: Simplify -1/120 into -1/120 10.737 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.737 * [taylor]: Taking taylor expansion of c in c 10.737 * [backup-simplify]: Simplify 0 into 0 10.737 * [backup-simplify]: Simplify 1 into 1 10.738 * [backup-simplify]: Simplify (* 1 1) into 1 10.738 * [backup-simplify]: Simplify (* 1 1) into 1 10.738 * [backup-simplify]: Simplify (* 1 1) into 1 10.738 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120 10.738 * [backup-simplify]: Simplify -1/120 into -1/120 10.739 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.739 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.740 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.740 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)))) into 0 10.740 * [backup-simplify]: Simplify 0 into 0 10.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.742 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.742 * [backup-simplify]: Simplify 0 into 0 10.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.745 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.745 * [backup-simplify]: Simplify 0 into 0 10.745 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.747 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.747 * [backup-simplify]: Simplify 0 into 0 10.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.750 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.750 * [backup-simplify]: Simplify 0 into 0 10.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.753 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.753 * [backup-simplify]: Simplify 0 into 0 10.754 * [backup-simplify]: Simplify (* -1/120 (pow (/ 1 (/ 1 (- c))) 5)) into (* 1/120 (pow c 5)) 10.754 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 10.754 * [backup-simplify]: Simplify (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 10.754 * [approximate]: Taking taylor expansion of (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) in (c) around 0 10.754 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) in c 10.754 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 10.754 * [taylor]: Taking taylor expansion of 1/6 in c 10.754 * [backup-simplify]: Simplify 1/6 into 1/6 10.754 * [taylor]: Taking taylor expansion of (pow c 3) in c 10.754 * [taylor]: Taking taylor expansion of c in c 10.754 * [backup-simplify]: Simplify 0 into 0 10.754 * [backup-simplify]: Simplify 1 into 1 10.754 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c 10.754 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 10.754 * [taylor]: Taking taylor expansion of 1/120 in c 10.754 * [backup-simplify]: Simplify 1/120 into 1/120 10.754 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.754 * [taylor]: Taking taylor expansion of c in c 10.754 * [backup-simplify]: Simplify 0 into 0 10.754 * [backup-simplify]: Simplify 1 into 1 10.754 * [taylor]: Taking taylor expansion of c in c 10.754 * [backup-simplify]: Simplify 0 into 0 10.754 * [backup-simplify]: Simplify 1 into 1 10.754 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) in c 10.754 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 10.754 * [taylor]: Taking taylor expansion of 1/6 in c 10.754 * [backup-simplify]: Simplify 1/6 into 1/6 10.755 * [taylor]: Taking taylor expansion of (pow c 3) in c 10.755 * [taylor]: Taking taylor expansion of c in c 10.755 * [backup-simplify]: Simplify 0 into 0 10.755 * [backup-simplify]: Simplify 1 into 1 10.755 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c 10.755 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 10.755 * [taylor]: Taking taylor expansion of 1/120 in c 10.755 * [backup-simplify]: Simplify 1/120 into 1/120 10.755 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.755 * [taylor]: Taking taylor expansion of c in c 10.755 * [backup-simplify]: Simplify 0 into 0 10.755 * [backup-simplify]: Simplify 1 into 1 10.755 * [taylor]: Taking taylor expansion of c in c 10.755 * [backup-simplify]: Simplify 0 into 0 10.755 * [backup-simplify]: Simplify 1 into 1 10.755 * [backup-simplify]: Simplify (+ 0 0) into 0 10.755 * [backup-simplify]: Simplify (+ 0 0) into 0 10.756 * [backup-simplify]: Simplify 0 into 0 10.756 * [backup-simplify]: Simplify (+ 0 1) into 1 10.756 * [backup-simplify]: Simplify (+ 0 1) into 1 10.757 * [backup-simplify]: Simplify 1 into 1 10.757 * [backup-simplify]: Simplify (+ 0 0) into 0 10.757 * [backup-simplify]: Simplify (+ 0 0) into 0 10.757 * [backup-simplify]: Simplify 0 into 0 10.758 * [backup-simplify]: Simplify (* 1 1) into 1 10.758 * [backup-simplify]: Simplify (* 1 1) into 1 10.758 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 10.759 * [backup-simplify]: Simplify (+ 0 0) into 0 10.759 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 10.759 * [backup-simplify]: Simplify 1/6 into 1/6 10.760 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.760 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.761 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 10.761 * [backup-simplify]: Simplify (+ 0 0) into 0 10.761 * [backup-simplify]: Simplify (+ 0 0) into 0 10.761 * [backup-simplify]: Simplify 0 into 0 10.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.763 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 10.763 * [backup-simplify]: Simplify (* 1 1) into 1 10.763 * [backup-simplify]: Simplify (* 1 1) into 1 10.763 * [backup-simplify]: Simplify (* 1 1) into 1 10.764 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 10.764 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 10.764 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 10.764 * [backup-simplify]: Simplify 1/120 into 1/120 10.765 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 10.765 * [backup-simplify]: Simplify (+ (* 1/6 (pow (/ 1 c) 3)) (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c))) into (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) 10.765 * [approximate]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in (c) around 0 10.765 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in c 10.765 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 10.765 * [taylor]: Taking taylor expansion of 1/120 in c 10.765 * [backup-simplify]: Simplify 1/120 into 1/120 10.765 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 10.765 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.765 * [taylor]: Taking taylor expansion of c in c 10.765 * [backup-simplify]: Simplify 0 into 0 10.765 * [backup-simplify]: Simplify 1 into 1 10.765 * [backup-simplify]: Simplify (* 1 1) into 1 10.766 * [backup-simplify]: Simplify (* 1 1) into 1 10.766 * [backup-simplify]: Simplify (* 1 1) into 1 10.766 * [backup-simplify]: Simplify (/ 1 1) into 1 10.766 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)) in c 10.766 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c 10.766 * [taylor]: Taking taylor expansion of 1/6 in c 10.766 * [backup-simplify]: Simplify 1/6 into 1/6 10.766 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c 10.766 * [taylor]: Taking taylor expansion of (pow c 3) in c 10.766 * [taylor]: Taking taylor expansion of c in c 10.766 * [backup-simplify]: Simplify 0 into 0 10.766 * [backup-simplify]: Simplify 1 into 1 10.767 * [backup-simplify]: Simplify (* 1 1) into 1 10.767 * [backup-simplify]: Simplify (* 1 1) into 1 10.767 * [backup-simplify]: Simplify (/ 1 1) into 1 10.767 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.767 * [taylor]: Taking taylor expansion of c in c 10.767 * [backup-simplify]: Simplify 0 into 0 10.767 * [backup-simplify]: Simplify 1 into 1 10.767 * [backup-simplify]: Simplify (/ 1 1) into 1 10.767 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in c 10.767 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 10.767 * [taylor]: Taking taylor expansion of 1/120 in c 10.767 * [backup-simplify]: Simplify 1/120 into 1/120 10.767 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 10.767 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.767 * [taylor]: Taking taylor expansion of c in c 10.767 * [backup-simplify]: Simplify 0 into 0 10.768 * [backup-simplify]: Simplify 1 into 1 10.768 * [backup-simplify]: Simplify (* 1 1) into 1 10.768 * [backup-simplify]: Simplify (* 1 1) into 1 10.768 * [backup-simplify]: Simplify (* 1 1) into 1 10.768 * [backup-simplify]: Simplify (/ 1 1) into 1 10.768 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)) in c 10.768 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c 10.769 * [taylor]: Taking taylor expansion of 1/6 in c 10.769 * [backup-simplify]: Simplify 1/6 into 1/6 10.769 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c 10.769 * [taylor]: Taking taylor expansion of (pow c 3) in c 10.769 * [taylor]: Taking taylor expansion of c in c 10.769 * [backup-simplify]: Simplify 0 into 0 10.769 * [backup-simplify]: Simplify 1 into 1 10.769 * [backup-simplify]: Simplify (* 1 1) into 1 10.769 * [backup-simplify]: Simplify (* 1 1) into 1 10.769 * [backup-simplify]: Simplify (/ 1 1) into 1 10.769 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.769 * [taylor]: Taking taylor expansion of c in c 10.769 * [backup-simplify]: Simplify 0 into 0 10.769 * [backup-simplify]: Simplify 1 into 1 10.770 * [backup-simplify]: Simplify (/ 1 1) into 1 10.770 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 10.770 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 10.770 * [backup-simplify]: Simplify 1/120 into 1/120 10.771 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.771 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.772 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.772 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.772 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 10.773 * [backup-simplify]: Simplify (+ 0 0) into 0 10.773 * [backup-simplify]: Simplify 0 into 0 10.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.775 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 10.776 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 10.776 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 10.776 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6 10.776 * [backup-simplify]: Simplify 1/6 into 1/6 10.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.779 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.779 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.780 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.781 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 10.781 * [backup-simplify]: Simplify (+ 0 0) into 0 10.781 * [backup-simplify]: Simplify (+ 0 0) into 0 10.781 * [backup-simplify]: Simplify 0 into 0 10.782 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.782 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.784 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.785 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.785 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.786 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 10.787 * [backup-simplify]: Simplify (+ 0 1) into 1 10.787 * [backup-simplify]: Simplify (+ 0 1) into 1 10.787 * [backup-simplify]: Simplify 1 into 1 10.787 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 c))) (+ (* 1/6 (pow (/ 1 (/ 1 c)) 3)) (* 1/120 (pow (/ 1 (/ 1 c)) 5)))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 10.788 * [backup-simplify]: Simplify (+ (* 1/6 (pow (/ 1 (- c)) 3)) (+ (* 1/120 (pow (/ 1 (- c)) 5)) (/ 1 (- c)))) into (- (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)))) 10.788 * [approximate]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)))) in (c) around 0 10.788 * [taylor]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)))) in c 10.788 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in c 10.788 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 10.788 * [taylor]: Taking taylor expansion of 1/120 in c 10.788 * [backup-simplify]: Simplify 1/120 into 1/120 10.788 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 10.788 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.788 * [taylor]: Taking taylor expansion of c in c 10.788 * [backup-simplify]: Simplify 0 into 0 10.788 * [backup-simplify]: Simplify 1 into 1 10.788 * [backup-simplify]: Simplify (* 1 1) into 1 10.789 * [backup-simplify]: Simplify (* 1 1) into 1 10.789 * [backup-simplify]: Simplify (* 1 1) into 1 10.789 * [backup-simplify]: Simplify (/ 1 1) into 1 10.789 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)) in c 10.789 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c 10.789 * [taylor]: Taking taylor expansion of 1/6 in c 10.789 * [backup-simplify]: Simplify 1/6 into 1/6 10.789 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c 10.789 * [taylor]: Taking taylor expansion of (pow c 3) in c 10.789 * [taylor]: Taking taylor expansion of c in c 10.789 * [backup-simplify]: Simplify 0 into 0 10.789 * [backup-simplify]: Simplify 1 into 1 10.789 * [backup-simplify]: Simplify (* 1 1) into 1 10.790 * [backup-simplify]: Simplify (* 1 1) into 1 10.790 * [backup-simplify]: Simplify (/ 1 1) into 1 10.790 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.790 * [taylor]: Taking taylor expansion of c in c 10.790 * [backup-simplify]: Simplify 0 into 0 10.790 * [backup-simplify]: Simplify 1 into 1 10.790 * [backup-simplify]: Simplify (/ 1 1) into 1 10.790 * [taylor]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)))) in c 10.790 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c))) in c 10.790 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 10.790 * [taylor]: Taking taylor expansion of 1/120 in c 10.790 * [backup-simplify]: Simplify 1/120 into 1/120 10.790 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 10.790 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.790 * [taylor]: Taking taylor expansion of c in c 10.790 * [backup-simplify]: Simplify 0 into 0 10.790 * [backup-simplify]: Simplify 1 into 1 10.791 * [backup-simplify]: Simplify (* 1 1) into 1 10.791 * [backup-simplify]: Simplify (* 1 1) into 1 10.791 * [backup-simplify]: Simplify (* 1 1) into 1 10.791 * [backup-simplify]: Simplify (/ 1 1) into 1 10.791 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (/ 1 c)) in c 10.791 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c 10.791 * [taylor]: Taking taylor expansion of 1/6 in c 10.791 * [backup-simplify]: Simplify 1/6 into 1/6 10.791 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c 10.791 * [taylor]: Taking taylor expansion of (pow c 3) in c 10.791 * [taylor]: Taking taylor expansion of c in c 10.791 * [backup-simplify]: Simplify 0 into 0 10.791 * [backup-simplify]: Simplify 1 into 1 10.792 * [backup-simplify]: Simplify (* 1 1) into 1 10.792 * [backup-simplify]: Simplify (* 1 1) into 1 10.792 * [backup-simplify]: Simplify (/ 1 1) into 1 10.792 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.792 * [taylor]: Taking taylor expansion of c in c 10.793 * [backup-simplify]: Simplify 0 into 0 10.793 * [backup-simplify]: Simplify 1 into 1 10.793 * [backup-simplify]: Simplify (/ 1 1) into 1 10.794 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 10.794 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 10.794 * [backup-simplify]: Simplify (- 1/120) into -1/120 10.794 * [backup-simplify]: Simplify -1/120 into -1/120 10.795 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.796 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.796 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.797 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.798 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 10.798 * [backup-simplify]: Simplify (+ 0 0) into 0 10.799 * [backup-simplify]: Simplify (- 0) into 0 10.799 * [backup-simplify]: Simplify 0 into 0 10.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.802 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.803 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 10.804 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 10.804 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 10.805 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6 10.805 * [backup-simplify]: Simplify (- 1/6) into -1/6 10.805 * [backup-simplify]: Simplify -1/6 into -1/6 10.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.809 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.811 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.811 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.812 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.813 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 10.814 * [backup-simplify]: Simplify (+ 0 0) into 0 10.814 * [backup-simplify]: Simplify (+ 0 0) into 0 10.815 * [backup-simplify]: Simplify (- 0) into 0 10.815 * [backup-simplify]: Simplify 0 into 0 10.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.817 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.819 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.820 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.828 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 10.829 * [backup-simplify]: Simplify (+ 0 1) into 1 10.829 * [backup-simplify]: Simplify (+ 0 1) into 1 10.830 * [backup-simplify]: Simplify (- 1) into -1 10.830 * [backup-simplify]: Simplify -1 into -1 10.831 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- c)))) (+ (* -1/6 (pow (/ 1 (/ 1 (- c))) 3)) (* -1/120 (pow (/ 1 (/ 1 (- c))) 5)))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 10.831 * * * [progress]: simplifying candidates 10.833 * [simplify]: Simplifying: (+ (log 1/6) (* (log c) 3)) (+ (log 1/6) (* (log c) 3)) (+ (log 1/6) (log (pow c 3))) (log (* 1/6 (pow c 3))) (exp (* 1/6 (pow c 3))) (* (* (* 1/6 1/6) 1/6) (* (* (pow c 3) (pow c 3)) (pow c 3))) (* (cbrt (* 1/6 (pow c 3))) (cbrt (* 1/6 (pow c 3)))) (cbrt (* 1/6 (pow c 3))) (* (* (* 1/6 (pow c 3)) (* 1/6 (pow c 3))) (* 1/6 (pow c 3))) (sqrt (* 1/6 (pow c 3))) (sqrt (* 1/6 (pow c 3))) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (sqrt (pow c 3))) (* (sqrt 1/6) (sqrt (pow c 3))) (* (sqrt 1/6) (pow c (/ 3 2))) (* (sqrt 1/6) (pow c (/ 3 2))) (* 1/6 (pow (* (cbrt c) (cbrt c)) 3)) (* 1/6 (pow (sqrt c) 3)) (* 1/6 (pow 1 3)) (* 1/6 (* c c)) (* 1/6 (* (cbrt (pow c 3)) (cbrt (pow c 3)))) (* 1/6 (pow (* (cbrt c) (cbrt c)) 3)) (* 1/6 (pow (sqrt c) 3)) (* 1/6 (pow 1 3)) (* 1/6 c) (* 1/6 (sqrt (pow c 3))) (* 1/6 1) (* 1/6 (pow c (/ 3 2))) (* (cbrt 1/6) (pow c 3)) (* (sqrt 1/6) (pow c 3)) (* 1/6 (pow c 3)) (+ (log 1/120) (* (log c) 5)) (+ (log 1/120) (* (log c) 5)) (+ (log 1/120) (log (pow c 5))) (log (* 1/120 (pow c 5))) (exp (* 1/120 (pow c 5))) (* (* (* 1/120 1/120) 1/120) (* (* (pow c 5) (pow c 5)) (pow c 5))) (* (cbrt (* 1/120 (pow c 5))) (cbrt (* 1/120 (pow c 5)))) (cbrt (* 1/120 (pow c 5))) (* (* (* 1/120 (pow c 5)) (* 1/120 (pow c 5))) (* 1/120 (pow c 5))) (sqrt (* 1/120 (pow c 5))) (sqrt (* 1/120 (pow c 5))) (* (sqrt 1/120) (pow (sqrt c) 5)) (* (sqrt 1/120) (pow (sqrt c) 5)) (* (sqrt 1/120) (sqrt (pow c 5))) (* (sqrt 1/120) (sqrt (pow c 5))) (* (sqrt 1/120) (pow c (/ 5 2))) (* (sqrt 1/120) (pow c (/ 5 2))) (* 1/120 (pow (* (cbrt c) (cbrt c)) 5)) (* 1/120 (pow (sqrt c) 5)) (* 1/120 (pow 1 5)) (* 1/120 (* (cbrt (pow c 5)) (cbrt (pow c 5)))) (* 1/120 (sqrt (pow c 5))) (* 1/120 1) (* 1/120 (pow c (/ 5 2))) (* (cbrt 1/120) (pow c 5)) (* (sqrt 1/120) (pow c 5)) (* 1/120 (pow c 5)) (* (exp (* 1/6 (pow c 3))) (* (exp (* 1/120 (pow c 5))) (exp c))) (* (exp (* 1/6 (pow c 3))) (exp (+ (* 1/120 (pow c 5)) c))) (log (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (exp (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (* (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))) (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (* (* (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (sqrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (sqrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (+ (pow (* 1/6 (pow c 3)) 3) (pow (+ (* 1/120 (pow c 5)) c) 3)) (+ (* (* 1/6 (pow c 3)) (* 1/6 (pow c 3))) (- (* (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c)) (* (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))) (- (* (* 1/6 (pow c 3)) (* 1/6 (pow c 3))) (* (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c))) (- (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/6 (pow c 3)) (* 1/120 (pow c 5))) (* 1/6 (pow c 3)) (* 1/6 (pow c 3)) (* 1/6 (pow c 3)) (* 1/120 (pow c 5)) (* 1/120 (pow c 5)) (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 10.836 * * [simplify]: Extracting # 0 : cost 0 10.836 * * [simplify]: Extracting # 1 : cost 0 10.837 * * [simplify]: Extracting # 2 : cost 0 10.837 * * [simplify]: Extracting # 3 : cost 0 10.837 * * [simplify]: Extracting # 4 : cost 0 10.838 * * [simplify]: Extracting # 5 : cost 0 10.838 * * [simplify]: Extracting # 6 : cost 0 10.838 * * [simplify]: Extracting # 7 : cost 0 10.839 * * [simplify]: iteration 0 : 120 enodes (cost 803 ) 10.912 * * [simplify]: Extracting # 0 : cost 0 10.913 * * [simplify]: Extracting # 1 : cost 0 10.914 * * [simplify]: Extracting # 2 : cost 0 10.914 * * [simplify]: Extracting # 3 : cost 0 10.915 * * [simplify]: Extracting # 4 : cost 0 10.916 * * [simplify]: iteration 1 : 296 enodes (cost 708 ) 11.073 * * [simplify]: Extracting # 0 : cost 0 11.074 * * [simplify]: Extracting # 1 : cost 0 11.077 * * [simplify]: Extracting # 2 : cost 0 11.079 * * [simplify]: Extracting # 3 : cost 0 11.081 * * [simplify]: Extracting # 4 : cost 0 11.083 * * [simplify]: iteration 2 : 889 enodes (cost 666 ) 12.143 * * [simplify]: Extracting # 0 : cost 0 12.154 * * [simplify]: Extracting # 1 : cost 0 12.165 * * [simplify]: Extracting # 2 : cost 0 12.183 * * [simplify]: Extracting # 3 : cost 0 12.192 * * [simplify]: Extracting # 4 : cost 0 12.198 * * [simplify]: iteration 3 : 4371 enodes (cost 666 ) 15.183 * * [simplify]: Extracting # 0 : cost 0 15.195 * * [simplify]: Extracting # 1 : cost 0 15.216 * * [simplify]: Extracting # 2 : cost 0 15.227 * * [simplify]: iteration done: 5001 enodes (cost 666 ) 15.228 * [simplify]: Simplified to: (log (* 1/6 (pow c 3))) (log (* 1/6 (pow c 3))) (log (* 1/6 (pow c 3))) (log (* 1/6 (pow c 3))) (exp (* 1/6 (pow c 3))) (pow (* 1/6 (pow c 3)) 3) (* (cbrt (* 1/6 (pow c 3))) (cbrt (* 1/6 (pow c 3)))) (cbrt (* 1/6 (pow c 3))) (pow (* 1/6 (pow c 3)) 3) (sqrt (* 1/6 (pow c 3))) (sqrt (* 1/6 (pow c 3))) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (sqrt (pow c 3))) (* (sqrt 1/6) (sqrt (pow c 3))) (* (sqrt 1/6) (pow c 3/2)) (* (sqrt 1/6) (pow c 3/2)) (* 1/6 (* c c)) (* 1/6 (pow (sqrt c) 3)) 1/6 (* 1/6 (* c c)) (* 1/6 (* c c)) (* 1/6 (* c c)) (* 1/6 (pow (sqrt c) 3)) 1/6 (* 1/6 c) (* 1/6 (sqrt (pow c 3))) 1/6 (* 1/6 (pow c 3/2)) (* (cbrt 1/6) (pow c 3)) (* (sqrt 1/6) (pow c 3)) (* 1/6 (pow c 3)) (log (* 1/120 (pow c 5))) (log (* 1/120 (pow c 5))) (log (* 1/120 (pow c 5))) (log (* 1/120 (pow c 5))) (exp (* 1/120 (pow c 5))) (* (pow (pow c 5) 3) 1/1728000) (* (cbrt (* 1/120 (pow c 5))) (cbrt (* 1/120 (pow c 5)))) (cbrt (* 1/120 (pow c 5))) (* (pow (pow c 5) 3) 1/1728000) (sqrt (* 1/120 (pow c 5))) (sqrt (* 1/120 (pow c 5))) (* (sqrt 1/120) (pow (sqrt c) 5)) (* (sqrt 1/120) (pow (sqrt c) 5)) (* (sqrt 1/120) (sqrt (pow c 5))) (* (sqrt 1/120) (sqrt (pow c 5))) (* (sqrt 1/120) (pow c 5/2)) (* (sqrt 1/120) (pow c 5/2)) (* 1/120 (pow (* (cbrt c) (cbrt c)) 5)) (* 1/120 (pow (sqrt c) 5)) 1/120 (* 1/120 (* (cbrt (pow c 5)) (cbrt (pow c 5)))) (* 1/120 (sqrt (pow c 5))) 1/120 (* (pow c 5/2) 1/120) (* (cbrt 1/120) (pow c 5)) (* (sqrt 1/120) (pow c 5)) (* 1/120 (pow c 5)) (exp (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (exp (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (log (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (exp (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (* (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))) (cbrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (pow (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 3) (sqrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (sqrt (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))) (+ (pow (* 1/6 (pow c 3)) 3) (pow (+ (* 1/120 (pow c 5)) c) 3)) (+ (* (+ (* 1/120 (pow c 5)) c) (- (+ (* 1/120 (pow c 5)) c) (* 1/6 (pow c 3)))) (* 1/36 (pow c 6))) (- (* 1/36 (pow c 6)) (* (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c))) (- (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/6 (pow c 3)) (* 1/120 (pow c 5))) (* 1/6 (pow c 3)) (* 1/6 (pow c 3)) (* 1/6 (pow c 3)) (* 1/120 (pow c 5)) (* 1/120 (pow c 5)) (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 15.230 * * * [progress]: adding candidates to table 15.540 * * [progress]: iteration 3 / 4 15.540 * * * [progress]: picking best candidate 15.545 * * * * [pick]: Picked # 15.545 * * * [progress]: localizing error 15.566 * * * [progress]: generating rewritten candidates 15.566 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 15.581 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 1) 15.585 * * * [progress]: generating series expansions 15.585 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 15.586 * [backup-simplify]: Simplify (log (exp (sinh c))) into (sinh c) 15.586 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 15.586 * [taylor]: Taking taylor expansion of (sinh c) in c 15.586 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 15.586 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 15.586 * [taylor]: Taking taylor expansion of (exp c) in c 15.586 * [taylor]: Taking taylor expansion of c in c 15.586 * [backup-simplify]: Simplify 0 into 0 15.586 * [backup-simplify]: Simplify 1 into 1 15.586 * [backup-simplify]: Simplify (exp 0) into 1 15.586 * [taylor]: Taking taylor expansion of (exp (- c)) in c 15.586 * [taylor]: Taking taylor expansion of (- c) in c 15.586 * [taylor]: Taking taylor expansion of c in c 15.586 * [backup-simplify]: Simplify 0 into 0 15.586 * [backup-simplify]: Simplify 1 into 1 15.587 * [backup-simplify]: Simplify (- 0) into 0 15.587 * [backup-simplify]: Simplify (- 1) into -1 15.587 * [backup-simplify]: Simplify (exp 0) into 1 15.587 * [taylor]: Taking taylor expansion of 2 in c 15.587 * [backup-simplify]: Simplify 2 into 2 15.588 * [backup-simplify]: Simplify (- 1) into -1 15.588 * [backup-simplify]: Simplify (+ 1 -1) into 0 15.589 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.589 * [backup-simplify]: Simplify (- 1) into -1 15.590 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 15.591 * [backup-simplify]: Simplify (- -1) into 1 15.591 * [backup-simplify]: Simplify (+ 1 1) into 2 15.592 * [backup-simplify]: Simplify (/ 2 2) into 1 15.592 * [taylor]: Taking taylor expansion of (sinh c) in c 15.592 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 15.592 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 15.592 * [taylor]: Taking taylor expansion of (exp c) in c 15.592 * [taylor]: Taking taylor expansion of c in c 15.592 * [backup-simplify]: Simplify 0 into 0 15.592 * [backup-simplify]: Simplify 1 into 1 15.592 * [backup-simplify]: Simplify (exp 0) into 1 15.592 * [taylor]: Taking taylor expansion of (exp (- c)) in c 15.592 * [taylor]: Taking taylor expansion of (- c) in c 15.592 * [taylor]: Taking taylor expansion of c in c 15.592 * [backup-simplify]: Simplify 0 into 0 15.592 * [backup-simplify]: Simplify 1 into 1 15.592 * [backup-simplify]: Simplify (- 0) into 0 15.593 * [backup-simplify]: Simplify (- 1) into -1 15.593 * [backup-simplify]: Simplify (exp 0) into 1 15.593 * [taylor]: Taking taylor expansion of 2 in c 15.593 * [backup-simplify]: Simplify 2 into 2 15.593 * [backup-simplify]: Simplify (- 1) into -1 15.594 * [backup-simplify]: Simplify (+ 1 -1) into 0 15.595 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.595 * [backup-simplify]: Simplify (- 1) into -1 15.596 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 15.597 * [backup-simplify]: Simplify (- -1) into 1 15.597 * [backup-simplify]: Simplify (+ 1 1) into 2 15.597 * [backup-simplify]: Simplify (/ 2 2) into 1 15.597 * [backup-simplify]: Simplify 1 into 1 15.599 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.599 * [backup-simplify]: Simplify (- 1) into -1 15.600 * [backup-simplify]: Simplify (- 0) into 0 15.601 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.601 * [backup-simplify]: Simplify (- 1/2) into -1/2 15.602 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 15.603 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 15.603 * [backup-simplify]: Simplify 0 into 0 15.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 15.605 * [backup-simplify]: Simplify (- 1) into -1 15.605 * [backup-simplify]: Simplify (- 1) into -1 15.606 * [backup-simplify]: Simplify (- 0) into 0 15.606 * [backup-simplify]: Simplify (- 0) into 0 15.608 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 15.609 * [backup-simplify]: Simplify (- -1/6) into 1/6 15.609 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 15.610 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 15.610 * [backup-simplify]: Simplify 1/6 into 1/6 15.614 * [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 15.614 * [backup-simplify]: Simplify (- 1) into -1 15.615 * [backup-simplify]: Simplify (- 1) into -1 15.615 * [backup-simplify]: Simplify (- 0) into 0 15.615 * [backup-simplify]: Simplify (- 1) into -1 15.616 * [backup-simplify]: Simplify (- 0) into 0 15.616 * [backup-simplify]: Simplify (- 0) into 0 15.616 * [backup-simplify]: Simplify (- 0) into 0 15.620 * [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 15.621 * [backup-simplify]: Simplify (- 1/24) into -1/24 15.621 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 15.622 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 15.622 * [backup-simplify]: Simplify 0 into 0 15.628 * [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 15.628 * [backup-simplify]: Simplify (- 1) into -1 15.629 * [backup-simplify]: Simplify (- 1) into -1 15.629 * [backup-simplify]: Simplify (- 0) into 0 15.629 * [backup-simplify]: Simplify (- 1) into -1 15.630 * [backup-simplify]: Simplify (- 0) into 0 15.630 * [backup-simplify]: Simplify (- 1) into -1 15.630 * [backup-simplify]: Simplify (- 0) into 0 15.631 * [backup-simplify]: Simplify (- 1) into -1 15.631 * [backup-simplify]: Simplify (- 0) into 0 15.631 * [backup-simplify]: Simplify (- 0) into 0 15.632 * [backup-simplify]: Simplify (- 0) into 0 15.632 * [backup-simplify]: Simplify (- 0) into 0 15.638 * [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 15.638 * [backup-simplify]: Simplify (- -1/120) into 1/120 15.638 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 15.640 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 15.640 * [backup-simplify]: Simplify 1/120 into 1/120 15.640 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 15.641 * [backup-simplify]: Simplify (log (exp (sinh (/ 1 c)))) into (sinh (/ 1 c)) 15.641 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 15.641 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 15.641 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 15.641 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 15.641 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 15.641 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.641 * [taylor]: Taking taylor expansion of c in c 15.641 * [backup-simplify]: Simplify 0 into 0 15.641 * [backup-simplify]: Simplify 1 into 1 15.641 * [backup-simplify]: Simplify (/ 1 1) into 1 15.641 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 15.642 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 15.642 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 15.642 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.642 * [taylor]: Taking taylor expansion of c in c 15.642 * [backup-simplify]: Simplify 0 into 0 15.642 * [backup-simplify]: Simplify 1 into 1 15.642 * [backup-simplify]: Simplify (/ 1 1) into 1 15.642 * [backup-simplify]: Simplify (- 1) into -1 15.642 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 15.642 * [taylor]: Taking taylor expansion of 2 in c 15.642 * [backup-simplify]: Simplify 2 into 2 15.643 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 15.643 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 15.643 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.643 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 15.643 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 15.643 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 15.643 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 15.643 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.644 * [taylor]: Taking taylor expansion of c in c 15.644 * [backup-simplify]: Simplify 0 into 0 15.644 * [backup-simplify]: Simplify 1 into 1 15.644 * [backup-simplify]: Simplify (/ 1 1) into 1 15.644 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 15.644 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 15.644 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 15.644 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.644 * [taylor]: Taking taylor expansion of c in c 15.644 * [backup-simplify]: Simplify 0 into 0 15.644 * [backup-simplify]: Simplify 1 into 1 15.645 * [backup-simplify]: Simplify (/ 1 1) into 1 15.645 * [backup-simplify]: Simplify (- 1) into -1 15.645 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 15.645 * [taylor]: Taking taylor expansion of 2 in c 15.645 * [backup-simplify]: Simplify 2 into 2 15.645 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 15.645 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 15.646 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.646 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.646 * [backup-simplify]: Simplify (- 0) into 0 15.647 * [backup-simplify]: Simplify (+ 0 0) into 0 15.648 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 15.648 * [backup-simplify]: Simplify 0 into 0 15.648 * [backup-simplify]: Simplify (- 0) into 0 15.648 * [backup-simplify]: Simplify (+ 0 0) into 0 15.650 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.650 * [backup-simplify]: Simplify 0 into 0 15.650 * [backup-simplify]: Simplify (- 0) into 0 15.651 * [backup-simplify]: Simplify (+ 0 0) into 0 15.653 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.653 * [backup-simplify]: Simplify 0 into 0 15.653 * [backup-simplify]: Simplify (- 0) into 0 15.653 * [backup-simplify]: Simplify (+ 0 0) into 0 15.655 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.656 * [backup-simplify]: Simplify 0 into 0 15.656 * [backup-simplify]: Simplify (- 0) into 0 15.656 * [backup-simplify]: Simplify (+ 0 0) into 0 15.659 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.659 * [backup-simplify]: Simplify 0 into 0 15.659 * [backup-simplify]: Simplify (- 0) into 0 15.660 * [backup-simplify]: Simplify (+ 0 0) into 0 15.663 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.663 * [backup-simplify]: Simplify 0 into 0 15.663 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 15.663 * [backup-simplify]: Simplify (log (exp (sinh (/ 1 (- c))))) into (sinh (/ -1 c)) 15.663 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 15.663 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 15.663 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 15.663 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 15.663 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 15.663 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.663 * [taylor]: Taking taylor expansion of -1 in c 15.663 * [backup-simplify]: Simplify -1 into -1 15.664 * [taylor]: Taking taylor expansion of c in c 15.664 * [backup-simplify]: Simplify 0 into 0 15.664 * [backup-simplify]: Simplify 1 into 1 15.664 * [backup-simplify]: Simplify (/ -1 1) into -1 15.664 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 15.664 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 15.664 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 15.664 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.664 * [taylor]: Taking taylor expansion of -1 in c 15.664 * [backup-simplify]: Simplify -1 into -1 15.664 * [taylor]: Taking taylor expansion of c in c 15.664 * [backup-simplify]: Simplify 0 into 0 15.664 * [backup-simplify]: Simplify 1 into 1 15.665 * [backup-simplify]: Simplify (/ -1 1) into -1 15.665 * [backup-simplify]: Simplify (- -1) into 1 15.665 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 15.665 * [taylor]: Taking taylor expansion of 2 in c 15.665 * [backup-simplify]: Simplify 2 into 2 15.665 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 15.665 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 15.666 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.666 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 15.666 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 15.666 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 15.666 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 15.666 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.666 * [taylor]: Taking taylor expansion of -1 in c 15.666 * [backup-simplify]: Simplify -1 into -1 15.666 * [taylor]: Taking taylor expansion of c in c 15.666 * [backup-simplify]: Simplify 0 into 0 15.666 * [backup-simplify]: Simplify 1 into 1 15.666 * [backup-simplify]: Simplify (/ -1 1) into -1 15.666 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 15.666 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 15.666 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 15.666 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.666 * [taylor]: Taking taylor expansion of -1 in c 15.666 * [backup-simplify]: Simplify -1 into -1 15.666 * [taylor]: Taking taylor expansion of c in c 15.667 * [backup-simplify]: Simplify 0 into 0 15.667 * [backup-simplify]: Simplify 1 into 1 15.667 * [backup-simplify]: Simplify (/ -1 1) into -1 15.667 * [backup-simplify]: Simplify (- -1) into 1 15.667 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 15.667 * [taylor]: Taking taylor expansion of 2 in c 15.667 * [backup-simplify]: Simplify 2 into 2 15.667 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 15.668 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 15.668 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.668 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.668 * [backup-simplify]: Simplify (- 0) into 0 15.669 * [backup-simplify]: Simplify (+ 0 0) into 0 15.670 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 15.670 * [backup-simplify]: Simplify 0 into 0 15.670 * [backup-simplify]: Simplify (- 0) into 0 15.671 * [backup-simplify]: Simplify (+ 0 0) into 0 15.672 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.672 * [backup-simplify]: Simplify 0 into 0 15.672 * [backup-simplify]: Simplify (- 0) into 0 15.673 * [backup-simplify]: Simplify (+ 0 0) into 0 15.674 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.675 * [backup-simplify]: Simplify 0 into 0 15.675 * [backup-simplify]: Simplify (- 0) into 0 15.675 * [backup-simplify]: Simplify (+ 0 0) into 0 15.677 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.677 * [backup-simplify]: Simplify 0 into 0 15.678 * [backup-simplify]: Simplify (- 0) into 0 15.678 * [backup-simplify]: Simplify (+ 0 0) into 0 15.681 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.681 * [backup-simplify]: Simplify 0 into 0 15.681 * [backup-simplify]: Simplify (- 0) into 0 15.682 * [backup-simplify]: Simplify (+ 0 0) into 0 15.685 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.685 * [backup-simplify]: Simplify 0 into 0 15.685 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 15.685 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 1) 15.685 * [backup-simplify]: Simplify (sinh c) into (sinh c) 15.685 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 15.685 * [taylor]: Taking taylor expansion of (sinh c) in c 15.686 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 15.686 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 15.686 * [taylor]: Taking taylor expansion of (exp c) in c 15.686 * [taylor]: Taking taylor expansion of c in c 15.686 * [backup-simplify]: Simplify 0 into 0 15.686 * [backup-simplify]: Simplify 1 into 1 15.686 * [backup-simplify]: Simplify (exp 0) into 1 15.686 * [taylor]: Taking taylor expansion of (exp (- c)) in c 15.686 * [taylor]: Taking taylor expansion of (- c) in c 15.686 * [taylor]: Taking taylor expansion of c in c 15.686 * [backup-simplify]: Simplify 0 into 0 15.686 * [backup-simplify]: Simplify 1 into 1 15.686 * [backup-simplify]: Simplify (- 0) into 0 15.686 * [backup-simplify]: Simplify (- 1) into -1 15.687 * [backup-simplify]: Simplify (exp 0) into 1 15.687 * [taylor]: Taking taylor expansion of 2 in c 15.687 * [backup-simplify]: Simplify 2 into 2 15.687 * [backup-simplify]: Simplify (- 1) into -1 15.687 * [backup-simplify]: Simplify (+ 1 -1) into 0 15.688 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.689 * [backup-simplify]: Simplify (- 1) into -1 15.690 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 15.690 * [backup-simplify]: Simplify (- -1) into 1 15.690 * [backup-simplify]: Simplify (+ 1 1) into 2 15.691 * [backup-simplify]: Simplify (/ 2 2) into 1 15.691 * [taylor]: Taking taylor expansion of (sinh c) in c 15.691 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 15.691 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 15.691 * [taylor]: Taking taylor expansion of (exp c) in c 15.691 * [taylor]: Taking taylor expansion of c in c 15.691 * [backup-simplify]: Simplify 0 into 0 15.691 * [backup-simplify]: Simplify 1 into 1 15.691 * [backup-simplify]: Simplify (exp 0) into 1 15.691 * [taylor]: Taking taylor expansion of (exp (- c)) in c 15.691 * [taylor]: Taking taylor expansion of (- c) in c 15.691 * [taylor]: Taking taylor expansion of c in c 15.691 * [backup-simplify]: Simplify 0 into 0 15.691 * [backup-simplify]: Simplify 1 into 1 15.692 * [backup-simplify]: Simplify (- 0) into 0 15.692 * [backup-simplify]: Simplify (- 1) into -1 15.692 * [backup-simplify]: Simplify (exp 0) into 1 15.692 * [taylor]: Taking taylor expansion of 2 in c 15.692 * [backup-simplify]: Simplify 2 into 2 15.692 * [backup-simplify]: Simplify (- 1) into -1 15.693 * [backup-simplify]: Simplify (+ 1 -1) into 0 15.694 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.694 * [backup-simplify]: Simplify (- 1) into -1 15.695 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 15.696 * [backup-simplify]: Simplify (- -1) into 1 15.696 * [backup-simplify]: Simplify (+ 1 1) into 2 15.696 * [backup-simplify]: Simplify (/ 2 2) into 1 15.696 * [backup-simplify]: Simplify 1 into 1 15.698 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.698 * [backup-simplify]: Simplify (- 1) into -1 15.699 * [backup-simplify]: Simplify (- 0) into 0 15.700 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.701 * [backup-simplify]: Simplify (- 1/2) into -1/2 15.701 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 15.702 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 15.702 * [backup-simplify]: Simplify 0 into 0 15.704 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 15.704 * [backup-simplify]: Simplify (- 1) into -1 15.705 * [backup-simplify]: Simplify (- 1) into -1 15.705 * [backup-simplify]: Simplify (- 0) into 0 15.705 * [backup-simplify]: Simplify (- 0) into 0 15.708 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 15.708 * [backup-simplify]: Simplify (- -1/6) into 1/6 15.709 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 15.710 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 15.710 * [backup-simplify]: Simplify 1/6 into 1/6 15.719 * [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 15.720 * [backup-simplify]: Simplify (- 1) into -1 15.720 * [backup-simplify]: Simplify (- 1) into -1 15.721 * [backup-simplify]: Simplify (- 0) into 0 15.721 * [backup-simplify]: Simplify (- 1) into -1 15.721 * [backup-simplify]: Simplify (- 0) into 0 15.722 * [backup-simplify]: Simplify (- 0) into 0 15.722 * [backup-simplify]: Simplify (- 0) into 0 15.726 * [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 15.727 * [backup-simplify]: Simplify (- 1/24) into -1/24 15.727 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 15.729 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 15.729 * [backup-simplify]: Simplify 0 into 0 15.736 * [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 15.736 * [backup-simplify]: Simplify (- 1) into -1 15.737 * [backup-simplify]: Simplify (- 1) into -1 15.737 * [backup-simplify]: Simplify (- 0) into 0 15.738 * [backup-simplify]: Simplify (- 1) into -1 15.738 * [backup-simplify]: Simplify (- 0) into 0 15.738 * [backup-simplify]: Simplify (- 1) into -1 15.739 * [backup-simplify]: Simplify (- 0) into 0 15.739 * [backup-simplify]: Simplify (- 1) into -1 15.740 * [backup-simplify]: Simplify (- 0) into 0 15.740 * [backup-simplify]: Simplify (- 0) into 0 15.740 * [backup-simplify]: Simplify (- 0) into 0 15.741 * [backup-simplify]: Simplify (- 0) into 0 15.747 * [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 15.748 * [backup-simplify]: Simplify (- -1/120) into 1/120 15.748 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 15.749 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 15.749 * [backup-simplify]: Simplify 1/120 into 1/120 15.750 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 15.750 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 15.750 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 15.750 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 15.750 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 15.750 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 15.750 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 15.750 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.750 * [taylor]: Taking taylor expansion of c in c 15.750 * [backup-simplify]: Simplify 0 into 0 15.750 * [backup-simplify]: Simplify 1 into 1 15.750 * [backup-simplify]: Simplify (/ 1 1) into 1 15.750 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 15.750 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 15.750 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 15.750 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.751 * [taylor]: Taking taylor expansion of c in c 15.751 * [backup-simplify]: Simplify 0 into 0 15.751 * [backup-simplify]: Simplify 1 into 1 15.751 * [backup-simplify]: Simplify (/ 1 1) into 1 15.751 * [backup-simplify]: Simplify (- 1) into -1 15.751 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 15.751 * [taylor]: Taking taylor expansion of 2 in c 15.751 * [backup-simplify]: Simplify 2 into 2 15.751 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 15.751 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 15.752 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.752 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 15.752 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 15.752 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 15.752 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 15.752 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.752 * [taylor]: Taking taylor expansion of c in c 15.752 * [backup-simplify]: Simplify 0 into 0 15.752 * [backup-simplify]: Simplify 1 into 1 15.752 * [backup-simplify]: Simplify (/ 1 1) into 1 15.752 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 15.752 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 15.752 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 15.752 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.752 * [taylor]: Taking taylor expansion of c in c 15.752 * [backup-simplify]: Simplify 0 into 0 15.752 * [backup-simplify]: Simplify 1 into 1 15.752 * [backup-simplify]: Simplify (/ 1 1) into 1 15.753 * [backup-simplify]: Simplify (- 1) into -1 15.753 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 15.753 * [taylor]: Taking taylor expansion of 2 in c 15.753 * [backup-simplify]: Simplify 2 into 2 15.753 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 15.753 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 15.753 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.754 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 15.754 * [backup-simplify]: Simplify (- 0) into 0 15.754 * [backup-simplify]: Simplify (+ 0 0) into 0 15.755 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 15.755 * [backup-simplify]: Simplify 0 into 0 15.755 * [backup-simplify]: Simplify (- 0) into 0 15.755 * [backup-simplify]: Simplify (+ 0 0) into 0 15.756 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.756 * [backup-simplify]: Simplify 0 into 0 15.756 * [backup-simplify]: Simplify (- 0) into 0 15.757 * [backup-simplify]: Simplify (+ 0 0) into 0 15.758 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.758 * [backup-simplify]: Simplify 0 into 0 15.758 * [backup-simplify]: Simplify (- 0) into 0 15.758 * [backup-simplify]: Simplify (+ 0 0) into 0 15.760 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.760 * [backup-simplify]: Simplify 0 into 0 15.760 * [backup-simplify]: Simplify (- 0) into 0 15.760 * [backup-simplify]: Simplify (+ 0 0) into 0 15.762 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.762 * [backup-simplify]: Simplify 0 into 0 15.763 * [backup-simplify]: Simplify (- 0) into 0 15.763 * [backup-simplify]: Simplify (+ 0 0) into 0 15.765 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.765 * [backup-simplify]: Simplify 0 into 0 15.765 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 15.765 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 15.765 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 15.765 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 15.765 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 15.765 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 15.765 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 15.765 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.765 * [taylor]: Taking taylor expansion of -1 in c 15.765 * [backup-simplify]: Simplify -1 into -1 15.765 * [taylor]: Taking taylor expansion of c in c 15.765 * [backup-simplify]: Simplify 0 into 0 15.765 * [backup-simplify]: Simplify 1 into 1 15.766 * [backup-simplify]: Simplify (/ -1 1) into -1 15.766 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 15.766 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 15.766 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 15.766 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.766 * [taylor]: Taking taylor expansion of -1 in c 15.766 * [backup-simplify]: Simplify -1 into -1 15.766 * [taylor]: Taking taylor expansion of c in c 15.766 * [backup-simplify]: Simplify 0 into 0 15.766 * [backup-simplify]: Simplify 1 into 1 15.766 * [backup-simplify]: Simplify (/ -1 1) into -1 15.766 * [backup-simplify]: Simplify (- -1) into 1 15.766 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 15.767 * [taylor]: Taking taylor expansion of 2 in c 15.767 * [backup-simplify]: Simplify 2 into 2 15.767 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 15.767 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 15.767 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.767 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 15.767 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 15.767 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 15.767 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 15.767 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.767 * [taylor]: Taking taylor expansion of -1 in c 15.767 * [backup-simplify]: Simplify -1 into -1 15.767 * [taylor]: Taking taylor expansion of c in c 15.767 * [backup-simplify]: Simplify 0 into 0 15.767 * [backup-simplify]: Simplify 1 into 1 15.767 * [backup-simplify]: Simplify (/ -1 1) into -1 15.767 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 15.767 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 15.767 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 15.767 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.767 * [taylor]: Taking taylor expansion of -1 in c 15.767 * [backup-simplify]: Simplify -1 into -1 15.768 * [taylor]: Taking taylor expansion of c in c 15.768 * [backup-simplify]: Simplify 0 into 0 15.768 * [backup-simplify]: Simplify 1 into 1 15.768 * [backup-simplify]: Simplify (/ -1 1) into -1 15.768 * [backup-simplify]: Simplify (- -1) into 1 15.768 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 15.768 * [taylor]: Taking taylor expansion of 2 in c 15.768 * [backup-simplify]: Simplify 2 into 2 15.768 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 15.768 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 15.768 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.769 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 15.769 * [backup-simplify]: Simplify (- 0) into 0 15.769 * [backup-simplify]: Simplify (+ 0 0) into 0 15.770 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 15.770 * [backup-simplify]: Simplify 0 into 0 15.770 * [backup-simplify]: Simplify (- 0) into 0 15.770 * [backup-simplify]: Simplify (+ 0 0) into 0 15.771 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.771 * [backup-simplify]: Simplify 0 into 0 15.771 * [backup-simplify]: Simplify (- 0) into 0 15.772 * [backup-simplify]: Simplify (+ 0 0) into 0 15.773 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.773 * [backup-simplify]: Simplify 0 into 0 15.773 * [backup-simplify]: Simplify (- 0) into 0 15.773 * [backup-simplify]: Simplify (+ 0 0) into 0 15.775 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.775 * [backup-simplify]: Simplify 0 into 0 15.775 * [backup-simplify]: Simplify (- 0) into 0 15.775 * [backup-simplify]: Simplify (+ 0 0) into 0 15.778 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.778 * [backup-simplify]: Simplify 0 into 0 15.779 * [backup-simplify]: Simplify (- 0) into 0 15.779 * [backup-simplify]: Simplify (+ 0 0) into 0 15.783 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 15.783 * [backup-simplify]: Simplify 0 into 0 15.783 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 15.783 * * * [progress]: simplifying candidates 15.784 * [simplify]: Simplifying: (log (* (cbrt (exp (sinh c))) (cbrt (exp (sinh c))))) (log (cbrt (exp (sinh c)))) (log (sqrt (exp (sinh c)))) (log (sqrt (exp (sinh c)))) (log 1) (log (exp (sinh c))) (log (exp (sinh c))) (log (exp (* (cbrt (sinh c)) (cbrt (sinh c))))) (log (exp (sqrt (sinh c)))) (log (exp 1)) (log (log (exp (sinh c)))) (exp (log (exp (sinh c)))) (* (cbrt (log (exp (sinh c)))) (cbrt (log (exp (sinh c))))) (cbrt (log (exp (sinh c)))) (* (* (log (exp (sinh c))) (log (exp (sinh c)))) (log (exp (sinh c)))) (sqrt (log (exp (sinh c)))) (sqrt (log (exp (sinh c)))) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) 15.785 * * [simplify]: Extracting # 0 : cost 0 15.785 * * [simplify]: Extracting # 1 : cost 0 15.785 * * [simplify]: Extracting # 2 : cost 0 15.785 * * [simplify]: Extracting # 3 : cost 0 15.786 * * [simplify]: Extracting # 4 : cost 0 15.786 * * [simplify]: Extracting # 5 : cost 0 15.786 * * [simplify]: Extracting # 6 : cost 0 15.786 * * [simplify]: Extracting # 7 : cost 0 15.786 * * [simplify]: Extracting # 8 : cost 0 15.786 * * [simplify]: iteration 0 : 52 enodes (cost 198 ) 15.807 * * [simplify]: Extracting # 0 : cost 0 15.807 * * [simplify]: Extracting # 1 : cost 0 15.807 * * [simplify]: Extracting # 2 : cost 0 15.808 * * [simplify]: Extracting # 3 : cost 0 15.808 * * [simplify]: Extracting # 4 : cost 0 15.808 * * [simplify]: iteration 1 : 85 enodes (cost 165 ) 15.822 * * [simplify]: Extracting # 0 : cost 0 15.822 * * [simplify]: Extracting # 1 : cost 0 15.822 * * [simplify]: Extracting # 2 : cost 0 15.823 * * [simplify]: Extracting # 3 : cost 0 15.823 * * [simplify]: Extracting # 4 : cost 0 15.823 * * [simplify]: iteration 2 : 155 enodes (cost 154 ) 15.874 * * [simplify]: Extracting # 0 : cost 0 15.874 * * [simplify]: Extracting # 1 : cost 0 15.875 * * [simplify]: Extracting # 2 : cost 0 15.875 * * [simplify]: Extracting # 3 : cost 0 15.876 * * [simplify]: Extracting # 4 : cost 0 15.876 * * [simplify]: iteration 3 : 292 enodes (cost 154 ) 15.980 * * [simplify]: Extracting # 0 : cost 0 15.982 * * [simplify]: Extracting # 1 : cost 0 15.983 * * [simplify]: Extracting # 2 : cost 0 15.985 * * [simplify]: Extracting # 3 : cost 0 15.986 * * [simplify]: Extracting # 4 : cost 0 15.987 * * [simplify]: iteration 4 : 679 enodes (cost 154 ) 16.564 * * [simplify]: Extracting # 0 : cost 0 16.568 * * [simplify]: Extracting # 1 : cost 0 16.576 * * [simplify]: Extracting # 2 : cost 0 16.582 * * [simplify]: Extracting # 3 : cost 0 16.587 * * [simplify]: Extracting # 4 : cost 0 16.592 * * [simplify]: iteration 5 : 2675 enodes (cost 154 ) 18.157 * * [simplify]: Extracting # 0 : cost 0 18.168 * * [simplify]: Extracting # 1 : cost 0 18.178 * * [simplify]: Extracting # 2 : cost 0 18.188 * * [simplify]: Extracting # 3 : cost 0 18.198 * * [simplify]: Extracting # 4 : cost 0 18.208 * * [simplify]: iteration done: 5001 enodes (cost 154 ) 18.208 * [simplify]: Simplified to: (* 2 (log (cbrt (exp (sinh c))))) (log (cbrt (exp (sinh c)))) (log (sqrt (exp (sinh c)))) (log (sqrt (exp (sinh c)))) 0 (sinh c) (sinh c) (* (cbrt (sinh c)) (cbrt (sinh c))) (sqrt (sinh c)) 1 (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (- c)))) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (- c)))) 18.208 * * * [progress]: adding candidates to table 18.297 * [progress]: [Phase 3 of 3] Extracting. 18.298 * * [regime]: Finding splitpoints for: (# # #) 18.300 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c) 18.300 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (# # #) 18.358 * * * * [regimes]: Trying to branch on c from (# # #) 18.386 * * * [regime]: Found split indices: #