15.964 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.215 * * * [progress]: [2/2] Setting up program. 0.221 * [progress]: [Phase 2 of 3] Improving. 0.221 * [simplify]: Simplifying: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 0.221 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.221 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.221 * * [simplify]: Extracting # 2 : cost 5 inf + 0 0.221 * * [simplify]: Extracting # 3 : cost 6 inf + 1 0.221 * * [simplify]: Extracting # 4 : cost 0 inf + 902 0.221 * * [simplify]: iteration 0 : 7 enodes (cost 378 ) 0.223 * * [simplify]: Extracting # 0 : cost 0 inf + 902 0.223 * * [simplify]: Extracting # 1 : cost 4 inf + 902 0.223 * * [simplify]: Extracting # 2 : cost 5 inf + 1155 0.223 * * [simplify]: Extracting # 3 : cost 4 inf + 1268 0.224 * * [simplify]: Extracting # 4 : cost 1 inf + 1673 0.224 * * [simplify]: Extracting # 5 : cost 0 inf + 1894 0.224 * * [simplify]: iteration 1 : 18 enodes (cost 378 ) 0.227 * * [simplify]: Extracting # 0 : cost 0 inf + 1894 0.227 * * [simplify]: Extracting # 1 : cost 7 inf + 1894 0.227 * * [simplify]: Extracting # 2 : cost 2 inf + 2685 0.228 * * [simplify]: Extracting # 3 : cost 0 inf + 3060 0.228 * * [simplify]: iteration 2 : 34 enodes (cost 378 ) 0.234 * * [simplify]: Extracting # 0 : cost 0 inf + 3060 0.235 * * [simplify]: Extracting # 1 : cost 13 inf + 3060 0.235 * * [simplify]: Extracting # 2 : cost 4 inf + 6115 0.236 * * [simplify]: Extracting # 3 : cost 0 inf + 6789 0.236 * * [simplify]: Extracting # 4 : cost 0 inf + 6680 0.237 * * [simplify]: iteration 3 : 71 enodes (cost 378 ) 0.252 * * [simplify]: Extracting # 0 : cost 0 inf + 6680 0.253 * * [simplify]: Extracting # 1 : cost 20 inf + 6522 0.254 * * [simplify]: Extracting # 2 : cost 4 inf + 13333 0.256 * * [simplify]: Extracting # 3 : cost 1 inf + 13351 0.259 * * [simplify]: Extracting # 4 : cost 0 inf + 13605 0.262 * * [simplify]: iteration 4 : 145 enodes (cost 378 ) 0.323 * * [simplify]: Extracting # 0 : cost 0 inf + 13605 0.328 * * [simplify]: Extracting # 1 : cost 51 inf + 12377 0.336 * * [simplify]: Extracting # 2 : cost 6 inf + 31433 0.347 * * [simplify]: Extracting # 3 : cost 0 inf + 30656 0.358 * * [simplify]: Extracting # 4 : cost 0 inf + 30338 0.369 * * [simplify]: Extracting # 5 : cost 0 inf + 30058 0.379 * * [simplify]: Extracting # 6 : cost 0 inf + 29978 0.389 * * [simplify]: iteration 5 : 330 enodes (cost 378 ) 0.681 * * [simplify]: Extracting # 0 : cost 0 inf + 29978 0.694 * * [simplify]: Extracting # 1 : cost 157 inf + 27947 0.717 * * [simplify]: Extracting # 2 : cost 9 inf + 105933 0.756 * * [simplify]: Extracting # 3 : cost 2 inf + 106509 0.802 * * [simplify]: Extracting # 4 : cost 0 inf + 106853 0.848 * * [simplify]: iteration 6 : 1119 enodes (cost 378 ) 3.253 * * [simplify]: Extracting # 0 : cost 0 inf + 106853 3.406 * * [simplify]: Extracting # 1 : cost 540 inf + 98990 3.618 * * [simplify]: Extracting # 2 : cost 26 inf + 455050 3.854 * * [simplify]: Extracting # 3 : cost 3 inf + 450456 4.064 * * [simplify]: Extracting # 4 : cost 0 inf + 443117 4.287 * * [simplify]: Extracting # 5 : cost 0 inf + 442035 4.504 * * [simplify]: iteration 7 : 4460 enodes (cost 378 ) 6.154 * * [simplify]: Extracting # 0 : cost 0 inf + 442035 6.404 * * [simplify]: Extracting # 1 : cost 222 inf + 436094 6.612 * * [simplify]: Extracting # 2 : cost 0 inf + 464404 6.933 * * [simplify]: Extracting # 3 : cost 0 inf + 454408 7.229 * * [simplify]: Extracting # 4 : cost 0 inf + 446322 7.508 * * [simplify]: Extracting # 5 : cost 0 inf + 443258 7.865 * * [simplify]: Extracting # 6 : cost 0 inf + 442322 8.209 * * [simplify]: iteration complete: 5013 enodes (cost 378 ) 8.209 * [simplify]: Simplified to: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 8.210 * * [progress]: iteration 1 / 4 8.210 * * * [progress]: picking best candidate 8.213 * * * * [pick]: Picked # 8.213 * * * [progress]: localizing error 8.224 * * * [progress]: generating rewritten candidates 8.224 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 8.225 * * * [progress]: generating series expansions 8.225 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 8.225 * [backup-simplify]: Simplify (sinh c) into (sinh c) 8.225 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 8.225 * [taylor]: Taking taylor expansion of (sinh c) in c 8.225 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 8.225 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 8.225 * [taylor]: Taking taylor expansion of (exp c) in c 8.225 * [taylor]: Taking taylor expansion of c in c 8.225 * [backup-simplify]: Simplify 0 into 0 8.225 * [backup-simplify]: Simplify 1 into 1 8.226 * [backup-simplify]: Simplify (exp 0) into 1 8.226 * [taylor]: Taking taylor expansion of (exp (- c)) in c 8.226 * [taylor]: Taking taylor expansion of (- c) in c 8.226 * [taylor]: Taking taylor expansion of c in c 8.226 * [backup-simplify]: Simplify 0 into 0 8.226 * [backup-simplify]: Simplify 1 into 1 8.226 * [backup-simplify]: Simplify (- 0) into 0 8.226 * [backup-simplify]: Simplify (- 1) into -1 8.226 * [backup-simplify]: Simplify (exp 0) into 1 8.226 * [taylor]: Taking taylor expansion of 2 in c 8.226 * [backup-simplify]: Simplify 2 into 2 8.227 * [backup-simplify]: Simplify (- 1) into -1 8.227 * [backup-simplify]: Simplify (+ 1 -1) into 0 8.228 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.228 * [backup-simplify]: Simplify (- 1) into -1 8.229 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 8.229 * [backup-simplify]: Simplify (- -1) into 1 8.230 * [backup-simplify]: Simplify (+ 1 1) into 2 8.230 * [backup-simplify]: Simplify (/ 2 2) into 1 8.230 * [taylor]: Taking taylor expansion of (sinh c) in c 8.230 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 8.230 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 8.230 * [taylor]: Taking taylor expansion of (exp c) in c 8.230 * [taylor]: Taking taylor expansion of c in c 8.230 * [backup-simplify]: Simplify 0 into 0 8.230 * [backup-simplify]: Simplify 1 into 1 8.230 * [backup-simplify]: Simplify (exp 0) into 1 8.230 * [taylor]: Taking taylor expansion of (exp (- c)) in c 8.230 * [taylor]: Taking taylor expansion of (- c) in c 8.230 * [taylor]: Taking taylor expansion of c in c 8.230 * [backup-simplify]: Simplify 0 into 0 8.230 * [backup-simplify]: Simplify 1 into 1 8.230 * [backup-simplify]: Simplify (- 0) into 0 8.231 * [backup-simplify]: Simplify (- 1) into -1 8.231 * [backup-simplify]: Simplify (exp 0) into 1 8.231 * [taylor]: Taking taylor expansion of 2 in c 8.231 * [backup-simplify]: Simplify 2 into 2 8.231 * [backup-simplify]: Simplify (- 1) into -1 8.231 * [backup-simplify]: Simplify (+ 1 -1) into 0 8.232 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.232 * [backup-simplify]: Simplify (- 1) into -1 8.233 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 8.233 * [backup-simplify]: Simplify (- -1) into 1 8.233 * [backup-simplify]: Simplify (+ 1 1) into 2 8.233 * [backup-simplify]: Simplify (/ 2 2) into 1 8.233 * [backup-simplify]: Simplify 1 into 1 8.234 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.235 * [backup-simplify]: Simplify (- 1) into -1 8.235 * [backup-simplify]: Simplify (- 0) into 0 8.236 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.236 * [backup-simplify]: Simplify (- 1/2) into -1/2 8.236 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 8.237 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 8.237 * [backup-simplify]: Simplify 0 into 0 8.238 * [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.239 * [backup-simplify]: Simplify (- 1) into -1 8.239 * [backup-simplify]: Simplify (- 1) into -1 8.239 * [backup-simplify]: Simplify (- 0) into 0 8.239 * [backup-simplify]: Simplify (- 0) into 0 8.241 * [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.241 * [backup-simplify]: Simplify (- -1/6) into 1/6 8.241 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 8.242 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 8.242 * [backup-simplify]: Simplify 1/6 into 1/6 8.245 * [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.246 * [backup-simplify]: Simplify (- 1) into -1 8.246 * [backup-simplify]: Simplify (- 1) into -1 8.247 * [backup-simplify]: Simplify (- 0) into 0 8.247 * [backup-simplify]: Simplify (- 1) into -1 8.248 * [backup-simplify]: Simplify (- 0) into 0 8.248 * [backup-simplify]: Simplify (- 0) into 0 8.248 * [backup-simplify]: Simplify (- 0) into 0 8.253 * [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.253 * [backup-simplify]: Simplify (- 1/24) into -1/24 8.254 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 8.255 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 8.255 * [backup-simplify]: Simplify 0 into 0 8.261 * [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.262 * [backup-simplify]: Simplify (- 1) into -1 8.262 * [backup-simplify]: Simplify (- 1) into -1 8.262 * [backup-simplify]: Simplify (- 0) into 0 8.263 * [backup-simplify]: Simplify (- 1) into -1 8.263 * [backup-simplify]: Simplify (- 0) into 0 8.264 * [backup-simplify]: Simplify (- 1) into -1 8.264 * [backup-simplify]: Simplify (- 0) into 0 8.264 * [backup-simplify]: Simplify (- 1) into -1 8.265 * [backup-simplify]: Simplify (- 0) into 0 8.265 * [backup-simplify]: Simplify (- 0) into 0 8.265 * [backup-simplify]: Simplify (- 0) into 0 8.266 * [backup-simplify]: Simplify (- 0) into 0 8.272 * [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.273 * [backup-simplify]: Simplify (- -1/120) into 1/120 8.273 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 8.281 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 8.281 * [backup-simplify]: Simplify 1/120 into 1/120 8.282 * [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.282 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 8.282 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 8.282 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 8.282 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 8.282 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 8.282 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 8.282 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.282 * [taylor]: Taking taylor expansion of c in c 8.282 * [backup-simplify]: Simplify 0 into 0 8.282 * [backup-simplify]: Simplify 1 into 1 8.283 * [backup-simplify]: Simplify (/ 1 1) into 1 8.283 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 8.283 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 8.283 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 8.283 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.283 * [taylor]: Taking taylor expansion of c in c 8.283 * [backup-simplify]: Simplify 0 into 0 8.283 * [backup-simplify]: Simplify 1 into 1 8.283 * [backup-simplify]: Simplify (/ 1 1) into 1 8.284 * [backup-simplify]: Simplify (- 1) into -1 8.284 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 8.284 * [taylor]: Taking taylor expansion of 2 in c 8.284 * [backup-simplify]: Simplify 2 into 2 8.284 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 8.284 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 8.285 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 8.285 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 8.285 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 8.285 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 8.285 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 8.285 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.285 * [taylor]: Taking taylor expansion of c in c 8.285 * [backup-simplify]: Simplify 0 into 0 8.285 * [backup-simplify]: Simplify 1 into 1 8.285 * [backup-simplify]: Simplify (/ 1 1) into 1 8.286 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 8.286 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 8.286 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 8.286 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.286 * [taylor]: Taking taylor expansion of c in c 8.286 * [backup-simplify]: Simplify 0 into 0 8.286 * [backup-simplify]: Simplify 1 into 1 8.286 * [backup-simplify]: Simplify (/ 1 1) into 1 8.286 * [backup-simplify]: Simplify (- 1) into -1 8.287 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 8.287 * [taylor]: Taking taylor expansion of 2 in c 8.287 * [backup-simplify]: Simplify 2 into 2 8.287 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 8.287 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 8.287 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 8.287 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 8.288 * [backup-simplify]: Simplify (- 0) into 0 8.289 * [backup-simplify]: Simplify (+ 0 0) into 0 8.290 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 8.290 * [backup-simplify]: Simplify 0 into 0 8.290 * [backup-simplify]: Simplify (- 0) into 0 8.290 * [backup-simplify]: Simplify (+ 0 0) into 0 8.292 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.292 * [backup-simplify]: Simplify 0 into 0 8.293 * [backup-simplify]: Simplify (- 0) into 0 8.293 * [backup-simplify]: Simplify (+ 0 0) into 0 8.295 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.295 * [backup-simplify]: Simplify 0 into 0 8.296 * [backup-simplify]: Simplify (- 0) into 0 8.296 * [backup-simplify]: Simplify (+ 0 0) into 0 8.297 * [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.298 * [backup-simplify]: Simplify 0 into 0 8.298 * [backup-simplify]: Simplify (- 0) into 0 8.298 * [backup-simplify]: Simplify (+ 0 0) into 0 8.300 * [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.300 * [backup-simplify]: Simplify 0 into 0 8.300 * [backup-simplify]: Simplify (- 0) into 0 8.301 * [backup-simplify]: Simplify (+ 0 0) into 0 8.303 * [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.303 * [backup-simplify]: Simplify 0 into 0 8.303 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 8.303 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 8.303 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 8.303 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 8.303 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 8.303 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 8.303 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 8.303 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.303 * [taylor]: Taking taylor expansion of -1 in c 8.303 * [backup-simplify]: Simplify -1 into -1 8.303 * [taylor]: Taking taylor expansion of c in c 8.303 * [backup-simplify]: Simplify 0 into 0 8.303 * [backup-simplify]: Simplify 1 into 1 8.303 * [backup-simplify]: Simplify (/ -1 1) into -1 8.303 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 8.304 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 8.304 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 8.304 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.304 * [taylor]: Taking taylor expansion of -1 in c 8.304 * [backup-simplify]: Simplify -1 into -1 8.304 * [taylor]: Taking taylor expansion of c in c 8.304 * [backup-simplify]: Simplify 0 into 0 8.304 * [backup-simplify]: Simplify 1 into 1 8.304 * [backup-simplify]: Simplify (/ -1 1) into -1 8.304 * [backup-simplify]: Simplify (- -1) into 1 8.304 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 8.304 * [taylor]: Taking taylor expansion of 2 in c 8.304 * [backup-simplify]: Simplify 2 into 2 8.304 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 8.304 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 8.304 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 8.305 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 8.305 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 8.305 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 8.305 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 8.305 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.305 * [taylor]: Taking taylor expansion of -1 in c 8.305 * [backup-simplify]: Simplify -1 into -1 8.305 * [taylor]: Taking taylor expansion of c in c 8.305 * [backup-simplify]: Simplify 0 into 0 8.305 * [backup-simplify]: Simplify 1 into 1 8.305 * [backup-simplify]: Simplify (/ -1 1) into -1 8.305 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 8.305 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 8.305 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 8.305 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.305 * [taylor]: Taking taylor expansion of -1 in c 8.305 * [backup-simplify]: Simplify -1 into -1 8.305 * [taylor]: Taking taylor expansion of c in c 8.305 * [backup-simplify]: Simplify 0 into 0 8.305 * [backup-simplify]: Simplify 1 into 1 8.305 * [backup-simplify]: Simplify (/ -1 1) into -1 8.306 * [backup-simplify]: Simplify (- -1) into 1 8.306 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 8.306 * [taylor]: Taking taylor expansion of 2 in c 8.306 * [backup-simplify]: Simplify 2 into 2 8.306 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 8.306 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 8.306 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 8.306 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 8.306 * [backup-simplify]: Simplify (- 0) into 0 8.307 * [backup-simplify]: Simplify (+ 0 0) into 0 8.307 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 8.307 * [backup-simplify]: Simplify 0 into 0 8.308 * [backup-simplify]: Simplify (- 0) into 0 8.308 * [backup-simplify]: Simplify (+ 0 0) into 0 8.309 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.309 * [backup-simplify]: Simplify 0 into 0 8.309 * [backup-simplify]: Simplify (- 0) into 0 8.309 * [backup-simplify]: Simplify (+ 0 0) into 0 8.310 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 8.311 * [backup-simplify]: Simplify 0 into 0 8.311 * [backup-simplify]: Simplify (- 0) into 0 8.311 * [backup-simplify]: Simplify (+ 0 0) into 0 8.312 * [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.313 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify (- 0) into 0 8.313 * [backup-simplify]: Simplify (+ 0 0) into 0 8.315 * [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.315 * [backup-simplify]: Simplify 0 into 0 8.315 * [backup-simplify]: Simplify (- 0) into 0 8.315 * [backup-simplify]: Simplify (+ 0 0) into 0 8.317 * [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.317 * [backup-simplify]: Simplify 0 into 0 8.318 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 8.318 * * * [progress]: simplifying candidates 8.318 * [simplify]: Simplifying: (expm1 (sinh c)) (log1p (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)))) 8.318 * * [simplify]: Extracting # 0 : cost 12 inf + 0 8.318 * * [simplify]: Extracting # 1 : cost 20 inf + 0 8.318 * * [simplify]: Extracting # 2 : cost 25 inf + 1 8.318 * * [simplify]: Extracting # 3 : cost 23 inf + 297 8.318 * * [simplify]: Extracting # 4 : cost 12 inf + 1931 8.319 * * [simplify]: Extracting # 5 : cost 8 inf + 2187 8.319 * * [simplify]: Extracting # 6 : cost 5 inf + 2764 8.319 * * [simplify]: Extracting # 7 : cost 3 inf + 3239 8.319 * * [simplify]: Extracting # 8 : cost 0 inf + 4380 8.320 * * [simplify]: iteration 0 : 32 enodes (cost 2495 ) 8.326 * * [simplify]: Extracting # 0 : cost 0 inf + 4380 8.326 * * [simplify]: Extracting # 1 : cost 8 inf + 4304 8.327 * * [simplify]: Extracting # 2 : cost 4 inf + 4852 8.327 * * [simplify]: Extracting # 3 : cost 1 inf + 4933 8.328 * * [simplify]: Extracting # 4 : cost 0 inf + 5013 8.328 * * [simplify]: iteration 1 : 63 enodes (cost 2313 ) 8.340 * * [simplify]: Extracting # 0 : cost 0 inf + 5013 8.341 * * [simplify]: Extracting # 1 : cost 29 inf + 4988 8.342 * * [simplify]: Extracting # 2 : cost 6 inf + 9021 8.343 * * [simplify]: Extracting # 3 : cost 1 inf + 9216 8.344 * * [simplify]: Extracting # 4 : cost 0 inf + 9428 8.345 * * [simplify]: iteration 2 : 137 enodes (cost 2106 ) 8.377 * * [simplify]: Extracting # 0 : cost 0 inf + 9428 8.378 * * [simplify]: Extracting # 1 : cost 44 inf + 9378 8.381 * * [simplify]: Extracting # 2 : cost 6 inf + 17258 8.383 * * [simplify]: Extracting # 3 : cost 2 inf + 17472 8.386 * * [simplify]: Extracting # 4 : cost 0 inf + 17997 8.389 * * [simplify]: iteration 3 : 295 enodes (cost 2056 ) 8.514 * * [simplify]: Extracting # 0 : cost 0 inf + 17997 8.521 * * [simplify]: Extracting # 1 : cost 202 inf + 17619 8.535 * * [simplify]: Extracting # 2 : cost 59 inf + 56582 8.555 * * [simplify]: Extracting # 3 : cost 3 inf + 66446 8.577 * * [simplify]: Extracting # 4 : cost 0 inf + 67096 8.598 * * [simplify]: Extracting # 5 : cost 0 inf + 67094 8.621 * * [simplify]: iteration 4 : 818 enodes (cost 2056 ) 9.296 * * [simplify]: Extracting # 0 : cost 0 inf + 67094 9.318 * * [simplify]: Extracting # 1 : cost 640 inf + 64622 9.380 * * [simplify]: Extracting # 2 : cost 16 inf + 282498 9.451 * * [simplify]: Extracting # 3 : cost 3 inf + 281236 9.540 * * [simplify]: Extracting # 4 : cost 0 inf + 281422 9.621 * * [simplify]: iteration 5 : 3160 enodes (cost 2056 ) 10.730 * * [simplify]: Extracting # 0 : cost 0 inf + 281422 10.914 * * [simplify]: Extracting # 1 : cost 606 inf + 274914 11.077 * * [simplify]: Extracting # 2 : cost 119 inf + 486019 11.245 * * [simplify]: Extracting # 3 : cost 25 inf + 498337 11.438 * * [simplify]: Extracting # 4 : cost 0 inf + 503686 11.653 * * [simplify]: iteration complete: 5034 enodes (cost 1832 ) 11.654 * [simplify]: Simplified to: (expm1 (sinh c)) (log1p (sinh c)) (+ (/ -1 (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)) (fma 1/6 (* (* c c) c) (fma 1/120 (pow c 5) c)) (sinh c) (sinh c) 11.654 * * * [progress]: adding candidates to table 11.709 * * [progress]: iteration 2 / 4 11.709 * * * [progress]: picking best candidate 11.713 * * * * [pick]: Picked # 11.713 * * * [progress]: localizing error 11.734 * * * [progress]: generating rewritten candidates 11.734 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 11.748 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1) 11.749 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 11.756 * * * [progress]: generating series expansions 11.756 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 11.756 * [backup-simplify]: Simplify (* (sqrt (sinh c)) (sqrt (sinh c))) into (sinh c) 11.756 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 11.756 * [taylor]: Taking taylor expansion of (sinh c) in c 11.756 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 11.756 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 11.756 * [taylor]: Taking taylor expansion of (exp c) in c 11.756 * [taylor]: Taking taylor expansion of c in c 11.756 * [backup-simplify]: Simplify 0 into 0 11.756 * [backup-simplify]: Simplify 1 into 1 11.756 * [backup-simplify]: Simplify (exp 0) into 1 11.756 * [taylor]: Taking taylor expansion of (exp (- c)) in c 11.756 * [taylor]: Taking taylor expansion of (- c) in c 11.756 * [taylor]: Taking taylor expansion of c in c 11.756 * [backup-simplify]: Simplify 0 into 0 11.756 * [backup-simplify]: Simplify 1 into 1 11.757 * [backup-simplify]: Simplify (- 0) into 0 11.757 * [backup-simplify]: Simplify (- 1) into -1 11.757 * [backup-simplify]: Simplify (exp 0) into 1 11.757 * [taylor]: Taking taylor expansion of 2 in c 11.757 * [backup-simplify]: Simplify 2 into 2 11.758 * [backup-simplify]: Simplify (- 1) into -1 11.758 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.759 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 11.759 * [backup-simplify]: Simplify (- 1) into -1 11.760 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 11.760 * [backup-simplify]: Simplify (- -1) into 1 11.760 * [backup-simplify]: Simplify (+ 1 1) into 2 11.761 * [backup-simplify]: Simplify (/ 2 2) into 1 11.761 * [taylor]: Taking taylor expansion of (sinh c) in c 11.761 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 11.761 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 11.761 * [taylor]: Taking taylor expansion of (exp c) in c 11.761 * [taylor]: Taking taylor expansion of c in c 11.761 * [backup-simplify]: Simplify 0 into 0 11.761 * [backup-simplify]: Simplify 1 into 1 11.761 * [backup-simplify]: Simplify (exp 0) into 1 11.761 * [taylor]: Taking taylor expansion of (exp (- c)) in c 11.761 * [taylor]: Taking taylor expansion of (- c) in c 11.761 * [taylor]: Taking taylor expansion of c in c 11.761 * [backup-simplify]: Simplify 0 into 0 11.761 * [backup-simplify]: Simplify 1 into 1 11.761 * [backup-simplify]: Simplify (- 0) into 0 11.761 * [backup-simplify]: Simplify (- 1) into -1 11.761 * [backup-simplify]: Simplify (exp 0) into 1 11.761 * [taylor]: Taking taylor expansion of 2 in c 11.761 * [backup-simplify]: Simplify 2 into 2 11.762 * [backup-simplify]: Simplify (- 1) into -1 11.762 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.763 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 11.763 * [backup-simplify]: Simplify (- 1) into -1 11.763 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 11.764 * [backup-simplify]: Simplify (- -1) into 1 11.764 * [backup-simplify]: Simplify (+ 1 1) into 2 11.765 * [backup-simplify]: Simplify (/ 2 2) into 1 11.765 * [backup-simplify]: Simplify 1 into 1 11.766 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 11.767 * [backup-simplify]: Simplify (- 1) into -1 11.767 * [backup-simplify]: Simplify (- 0) into 0 11.769 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 11.769 * [backup-simplify]: Simplify (- 1/2) into -1/2 11.769 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 11.770 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 11.770 * [backup-simplify]: Simplify 0 into 0 11.773 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 11.773 * [backup-simplify]: Simplify (- 1) into -1 11.773 * [backup-simplify]: Simplify (- 1) into -1 11.774 * [backup-simplify]: Simplify (- 0) into 0 11.774 * [backup-simplify]: Simplify (- 0) into 0 11.777 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 11.777 * [backup-simplify]: Simplify (- -1/6) into 1/6 11.777 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 11.779 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 11.779 * [backup-simplify]: Simplify 1/6 into 1/6 11.783 * [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 11.783 * [backup-simplify]: Simplify (- 1) into -1 11.784 * [backup-simplify]: Simplify (- 1) into -1 11.784 * [backup-simplify]: Simplify (- 0) into 0 11.784 * [backup-simplify]: Simplify (- 1) into -1 11.785 * [backup-simplify]: Simplify (- 0) into 0 11.785 * [backup-simplify]: Simplify (- 0) into 0 11.786 * [backup-simplify]: Simplify (- 0) into 0 11.791 * [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 11.791 * [backup-simplify]: Simplify (- 1/24) into -1/24 11.792 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 11.793 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 11.793 * [backup-simplify]: Simplify 0 into 0 11.798 * [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 11.798 * [backup-simplify]: Simplify (- 1) into -1 11.799 * [backup-simplify]: Simplify (- 1) into -1 11.799 * [backup-simplify]: Simplify (- 0) into 0 11.799 * [backup-simplify]: Simplify (- 1) into -1 11.800 * [backup-simplify]: Simplify (- 0) into 0 11.800 * [backup-simplify]: Simplify (- 1) into -1 11.801 * [backup-simplify]: Simplify (- 0) into 0 11.801 * [backup-simplify]: Simplify (- 1) into -1 11.801 * [backup-simplify]: Simplify (- 0) into 0 11.802 * [backup-simplify]: Simplify (- 0) into 0 11.802 * [backup-simplify]: Simplify (- 0) into 0 11.802 * [backup-simplify]: Simplify (- 0) into 0 11.808 * [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 11.808 * [backup-simplify]: Simplify (- -1/120) into 1/120 11.808 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 11.810 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 11.810 * [backup-simplify]: Simplify 1/120 into 1/120 11.810 * [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)) 11.810 * [backup-simplify]: Simplify (* (sqrt (sinh (/ 1 c))) (sqrt (sinh (/ 1 c)))) into (sinh (/ 1 c)) 11.811 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 11.811 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 11.811 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 11.811 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 11.811 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 11.811 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.811 * [taylor]: Taking taylor expansion of c in c 11.811 * [backup-simplify]: Simplify 0 into 0 11.811 * [backup-simplify]: Simplify 1 into 1 11.811 * [backup-simplify]: Simplify (/ 1 1) into 1 11.811 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 11.811 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 11.811 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 11.811 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.811 * [taylor]: Taking taylor expansion of c in c 11.812 * [backup-simplify]: Simplify 0 into 0 11.812 * [backup-simplify]: Simplify 1 into 1 11.812 * [backup-simplify]: Simplify (/ 1 1) into 1 11.812 * [backup-simplify]: Simplify (- 1) into -1 11.812 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 11.812 * [taylor]: Taking taylor expansion of 2 in c 11.812 * [backup-simplify]: Simplify 2 into 2 11.812 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 11.813 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 11.813 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 11.813 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 11.813 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 11.813 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 11.813 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 11.813 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.813 * [taylor]: Taking taylor expansion of c in c 11.813 * [backup-simplify]: Simplify 0 into 0 11.813 * [backup-simplify]: Simplify 1 into 1 11.813 * [backup-simplify]: Simplify (/ 1 1) into 1 11.813 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 11.814 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 11.814 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 11.814 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.814 * [taylor]: Taking taylor expansion of c in c 11.814 * [backup-simplify]: Simplify 0 into 0 11.814 * [backup-simplify]: Simplify 1 into 1 11.814 * [backup-simplify]: Simplify (/ 1 1) into 1 11.814 * [backup-simplify]: Simplify (- 1) into -1 11.814 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 11.814 * [taylor]: Taking taylor expansion of 2 in c 11.814 * [backup-simplify]: Simplify 2 into 2 11.815 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 11.815 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 11.815 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 11.815 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 11.816 * [backup-simplify]: Simplify (- 0) into 0 11.816 * [backup-simplify]: Simplify (+ 0 0) into 0 11.817 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 11.817 * [backup-simplify]: Simplify 0 into 0 11.817 * [backup-simplify]: Simplify (- 0) into 0 11.817 * [backup-simplify]: Simplify (+ 0 0) into 0 11.819 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.819 * [backup-simplify]: Simplify 0 into 0 11.819 * [backup-simplify]: Simplify (- 0) into 0 11.820 * [backup-simplify]: Simplify (+ 0 0) into 0 11.821 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.821 * [backup-simplify]: Simplify 0 into 0 11.822 * [backup-simplify]: Simplify (- 0) into 0 11.822 * [backup-simplify]: Simplify (+ 0 0) into 0 11.824 * [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 11.824 * [backup-simplify]: Simplify 0 into 0 11.825 * [backup-simplify]: Simplify (- 0) into 0 11.825 * [backup-simplify]: Simplify (+ 0 0) into 0 11.829 * [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 11.829 * [backup-simplify]: Simplify 0 into 0 11.829 * [backup-simplify]: Simplify (- 0) into 0 11.830 * [backup-simplify]: Simplify (+ 0 0) into 0 11.834 * [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 11.834 * [backup-simplify]: Simplify 0 into 0 11.834 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 11.834 * [backup-simplify]: Simplify (* (sqrt (sinh (/ 1 (- c)))) (sqrt (sinh (/ 1 (- c))))) into (sinh (/ -1 c)) 11.834 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 11.834 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 11.834 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 11.835 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 11.835 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 11.835 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.835 * [taylor]: Taking taylor expansion of -1 in c 11.835 * [backup-simplify]: Simplify -1 into -1 11.835 * [taylor]: Taking taylor expansion of c in c 11.835 * [backup-simplify]: Simplify 0 into 0 11.835 * [backup-simplify]: Simplify 1 into 1 11.835 * [backup-simplify]: Simplify (/ -1 1) into -1 11.835 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 11.835 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 11.835 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 11.835 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.835 * [taylor]: Taking taylor expansion of -1 in c 11.835 * [backup-simplify]: Simplify -1 into -1 11.835 * [taylor]: Taking taylor expansion of c in c 11.835 * [backup-simplify]: Simplify 0 into 0 11.835 * [backup-simplify]: Simplify 1 into 1 11.836 * [backup-simplify]: Simplify (/ -1 1) into -1 11.836 * [backup-simplify]: Simplify (- -1) into 1 11.836 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 11.836 * [taylor]: Taking taylor expansion of 2 in c 11.836 * [backup-simplify]: Simplify 2 into 2 11.837 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 11.837 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 11.837 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 11.837 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 11.837 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 11.837 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 11.837 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 11.837 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.837 * [taylor]: Taking taylor expansion of -1 in c 11.837 * [backup-simplify]: Simplify -1 into -1 11.837 * [taylor]: Taking taylor expansion of c in c 11.837 * [backup-simplify]: Simplify 0 into 0 11.837 * [backup-simplify]: Simplify 1 into 1 11.838 * [backup-simplify]: Simplify (/ -1 1) into -1 11.838 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 11.838 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 11.838 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 11.838 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.838 * [taylor]: Taking taylor expansion of -1 in c 11.838 * [backup-simplify]: Simplify -1 into -1 11.838 * [taylor]: Taking taylor expansion of c in c 11.838 * [backup-simplify]: Simplify 0 into 0 11.838 * [backup-simplify]: Simplify 1 into 1 11.838 * [backup-simplify]: Simplify (/ -1 1) into -1 11.839 * [backup-simplify]: Simplify (- -1) into 1 11.839 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 11.839 * [taylor]: Taking taylor expansion of 2 in c 11.839 * [backup-simplify]: Simplify 2 into 2 11.839 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 11.839 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 11.839 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 11.839 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 11.840 * [backup-simplify]: Simplify (- 0) into 0 11.840 * [backup-simplify]: Simplify (+ 0 0) into 0 11.841 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 11.841 * [backup-simplify]: Simplify 0 into 0 11.842 * [backup-simplify]: Simplify (- 0) into 0 11.842 * [backup-simplify]: Simplify (+ 0 0) into 0 11.843 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.843 * [backup-simplify]: Simplify 0 into 0 11.844 * [backup-simplify]: Simplify (- 0) into 0 11.844 * [backup-simplify]: Simplify (+ 0 0) into 0 11.846 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.846 * [backup-simplify]: Simplify 0 into 0 11.847 * [backup-simplify]: Simplify (- 0) into 0 11.847 * [backup-simplify]: Simplify (+ 0 0) into 0 11.850 * [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 11.850 * [backup-simplify]: Simplify 0 into 0 11.850 * [backup-simplify]: Simplify (- 0) into 0 11.851 * [backup-simplify]: Simplify (+ 0 0) into 0 11.854 * [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 11.854 * [backup-simplify]: Simplify 0 into 0 11.854 * [backup-simplify]: Simplify (- 0) into 0 11.854 * [backup-simplify]: Simplify (+ 0 0) into 0 11.858 * [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 11.858 * [backup-simplify]: Simplify 0 into 0 11.858 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 11.858 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1) 11.858 * [backup-simplify]: Simplify (sinh c) into (sinh c) 11.858 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 11.858 * [taylor]: Taking taylor expansion of (sinh c) in c 11.859 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 11.859 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 11.859 * [taylor]: Taking taylor expansion of (exp c) in c 11.859 * [taylor]: Taking taylor expansion of c in c 11.859 * [backup-simplify]: Simplify 0 into 0 11.859 * [backup-simplify]: Simplify 1 into 1 11.859 * [backup-simplify]: Simplify (exp 0) into 1 11.859 * [taylor]: Taking taylor expansion of (exp (- c)) in c 11.859 * [taylor]: Taking taylor expansion of (- c) in c 11.859 * [taylor]: Taking taylor expansion of c in c 11.859 * [backup-simplify]: Simplify 0 into 0 11.859 * [backup-simplify]: Simplify 1 into 1 11.859 * [backup-simplify]: Simplify (- 0) into 0 11.860 * [backup-simplify]: Simplify (- 1) into -1 11.860 * [backup-simplify]: Simplify (exp 0) into 1 11.860 * [taylor]: Taking taylor expansion of 2 in c 11.860 * [backup-simplify]: Simplify 2 into 2 11.860 * [backup-simplify]: Simplify (- 1) into -1 11.860 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.861 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 11.862 * [backup-simplify]: Simplify (- 1) into -1 11.863 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 11.863 * [backup-simplify]: Simplify (- -1) into 1 11.864 * [backup-simplify]: Simplify (+ 1 1) into 2 11.864 * [backup-simplify]: Simplify (/ 2 2) into 1 11.864 * [taylor]: Taking taylor expansion of (sinh c) in c 11.864 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 11.864 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 11.864 * [taylor]: Taking taylor expansion of (exp c) in c 11.864 * [taylor]: Taking taylor expansion of c in c 11.864 * [backup-simplify]: Simplify 0 into 0 11.864 * [backup-simplify]: Simplify 1 into 1 11.864 * [backup-simplify]: Simplify (exp 0) into 1 11.864 * [taylor]: Taking taylor expansion of (exp (- c)) in c 11.864 * [taylor]: Taking taylor expansion of (- c) in c 11.864 * [taylor]: Taking taylor expansion of c in c 11.864 * [backup-simplify]: Simplify 0 into 0 11.864 * [backup-simplify]: Simplify 1 into 1 11.865 * [backup-simplify]: Simplify (- 0) into 0 11.865 * [backup-simplify]: Simplify (- 1) into -1 11.865 * [backup-simplify]: Simplify (exp 0) into 1 11.865 * [taylor]: Taking taylor expansion of 2 in c 11.865 * [backup-simplify]: Simplify 2 into 2 11.866 * [backup-simplify]: Simplify (- 1) into -1 11.866 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.867 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 11.867 * [backup-simplify]: Simplify (- 1) into -1 11.869 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 11.869 * [backup-simplify]: Simplify (- -1) into 1 11.869 * [backup-simplify]: Simplify (+ 1 1) into 2 11.870 * [backup-simplify]: Simplify (/ 2 2) into 1 11.870 * [backup-simplify]: Simplify 1 into 1 11.871 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 11.872 * [backup-simplify]: Simplify (- 1) into -1 11.872 * [backup-simplify]: Simplify (- 0) into 0 11.874 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 11.874 * [backup-simplify]: Simplify (- 1/2) into -1/2 11.874 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 11.875 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 11.875 * [backup-simplify]: Simplify 0 into 0 11.877 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 11.878 * [backup-simplify]: Simplify (- 1) into -1 11.878 * [backup-simplify]: Simplify (- 1) into -1 11.879 * [backup-simplify]: Simplify (- 0) into 0 11.879 * [backup-simplify]: Simplify (- 0) into 0 11.881 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 11.882 * [backup-simplify]: Simplify (- -1/6) into 1/6 11.882 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 11.883 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 11.883 * [backup-simplify]: Simplify 1/6 into 1/6 11.893 * [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 11.894 * [backup-simplify]: Simplify (- 1) into -1 11.894 * [backup-simplify]: Simplify (- 1) into -1 11.894 * [backup-simplify]: Simplify (- 0) into 0 11.895 * [backup-simplify]: Simplify (- 1) into -1 11.895 * [backup-simplify]: Simplify (- 0) into 0 11.895 * [backup-simplify]: Simplify (- 0) into 0 11.896 * [backup-simplify]: Simplify (- 0) into 0 11.898 * [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 11.898 * [backup-simplify]: Simplify (- 1/24) into -1/24 11.899 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 11.899 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 11.899 * [backup-simplify]: Simplify 0 into 0 11.903 * [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 11.903 * [backup-simplify]: Simplify (- 1) into -1 11.903 * [backup-simplify]: Simplify (- 1) into -1 11.903 * [backup-simplify]: Simplify (- 0) into 0 11.904 * [backup-simplify]: Simplify (- 1) into -1 11.904 * [backup-simplify]: Simplify (- 0) into 0 11.904 * [backup-simplify]: Simplify (- 1) into -1 11.904 * [backup-simplify]: Simplify (- 0) into 0 11.904 * [backup-simplify]: Simplify (- 1) into -1 11.905 * [backup-simplify]: Simplify (- 0) into 0 11.905 * [backup-simplify]: Simplify (- 0) into 0 11.905 * [backup-simplify]: Simplify (- 0) into 0 11.905 * [backup-simplify]: Simplify (- 0) into 0 11.909 * [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 11.909 * [backup-simplify]: Simplify (- -1/120) into 1/120 11.909 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 11.910 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 11.910 * [backup-simplify]: Simplify 1/120 into 1/120 11.911 * [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)) 11.911 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 11.911 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 11.911 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 11.911 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 11.911 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 11.911 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 11.911 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.911 * [taylor]: Taking taylor expansion of c in c 11.911 * [backup-simplify]: Simplify 0 into 0 11.911 * [backup-simplify]: Simplify 1 into 1 11.911 * [backup-simplify]: Simplify (/ 1 1) into 1 11.911 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 11.911 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 11.911 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 11.911 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.911 * [taylor]: Taking taylor expansion of c in c 11.911 * [backup-simplify]: Simplify 0 into 0 11.911 * [backup-simplify]: Simplify 1 into 1 11.911 * [backup-simplify]: Simplify (/ 1 1) into 1 11.912 * [backup-simplify]: Simplify (- 1) into -1 11.912 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 11.912 * [taylor]: Taking taylor expansion of 2 in c 11.912 * [backup-simplify]: Simplify 2 into 2 11.912 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 11.912 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 11.912 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 11.912 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 11.912 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 11.912 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 11.912 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 11.912 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.912 * [taylor]: Taking taylor expansion of c in c 11.912 * [backup-simplify]: Simplify 0 into 0 11.912 * [backup-simplify]: Simplify 1 into 1 11.913 * [backup-simplify]: Simplify (/ 1 1) into 1 11.913 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 11.913 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 11.913 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 11.913 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.913 * [taylor]: Taking taylor expansion of c in c 11.913 * [backup-simplify]: Simplify 0 into 0 11.913 * [backup-simplify]: Simplify 1 into 1 11.913 * [backup-simplify]: Simplify (/ 1 1) into 1 11.913 * [backup-simplify]: Simplify (- 1) into -1 11.914 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 11.914 * [taylor]: Taking taylor expansion of 2 in c 11.914 * [backup-simplify]: Simplify 2 into 2 11.914 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 11.914 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 11.914 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 11.914 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 11.914 * [backup-simplify]: Simplify (- 0) into 0 11.915 * [backup-simplify]: Simplify (+ 0 0) into 0 11.915 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 11.915 * [backup-simplify]: Simplify 0 into 0 11.916 * [backup-simplify]: Simplify (- 0) into 0 11.916 * [backup-simplify]: Simplify (+ 0 0) into 0 11.917 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.917 * [backup-simplify]: Simplify 0 into 0 11.917 * [backup-simplify]: Simplify (- 0) into 0 11.917 * [backup-simplify]: Simplify (+ 0 0) into 0 11.918 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.918 * [backup-simplify]: Simplify 0 into 0 11.919 * [backup-simplify]: Simplify (- 0) into 0 11.919 * [backup-simplify]: Simplify (+ 0 0) into 0 11.920 * [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 11.920 * [backup-simplify]: Simplify 0 into 0 11.921 * [backup-simplify]: Simplify (- 0) into 0 11.921 * [backup-simplify]: Simplify (+ 0 0) into 0 11.923 * [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 11.923 * [backup-simplify]: Simplify 0 into 0 11.923 * [backup-simplify]: Simplify (- 0) into 0 11.923 * [backup-simplify]: Simplify (+ 0 0) into 0 11.927 * [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 11.927 * [backup-simplify]: Simplify 0 into 0 11.927 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 11.927 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 11.927 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 11.927 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 11.927 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 11.927 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 11.927 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 11.927 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.927 * [taylor]: Taking taylor expansion of -1 in c 11.927 * [backup-simplify]: Simplify -1 into -1 11.927 * [taylor]: Taking taylor expansion of c in c 11.927 * [backup-simplify]: Simplify 0 into 0 11.927 * [backup-simplify]: Simplify 1 into 1 11.928 * [backup-simplify]: Simplify (/ -1 1) into -1 11.928 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 11.928 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 11.928 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 11.928 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.928 * [taylor]: Taking taylor expansion of -1 in c 11.928 * [backup-simplify]: Simplify -1 into -1 11.928 * [taylor]: Taking taylor expansion of c in c 11.928 * [backup-simplify]: Simplify 0 into 0 11.928 * [backup-simplify]: Simplify 1 into 1 11.929 * [backup-simplify]: Simplify (/ -1 1) into -1 11.929 * [backup-simplify]: Simplify (- -1) into 1 11.929 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 11.929 * [taylor]: Taking taylor expansion of 2 in c 11.929 * [backup-simplify]: Simplify 2 into 2 11.929 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 11.929 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 11.930 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 11.930 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 11.930 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 11.930 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 11.930 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 11.930 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.930 * [taylor]: Taking taylor expansion of -1 in c 11.930 * [backup-simplify]: Simplify -1 into -1 11.930 * [taylor]: Taking taylor expansion of c in c 11.930 * [backup-simplify]: Simplify 0 into 0 11.930 * [backup-simplify]: Simplify 1 into 1 11.930 * [backup-simplify]: Simplify (/ -1 1) into -1 11.931 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 11.931 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 11.931 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 11.931 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.931 * [taylor]: Taking taylor expansion of -1 in c 11.931 * [backup-simplify]: Simplify -1 into -1 11.931 * [taylor]: Taking taylor expansion of c in c 11.931 * [backup-simplify]: Simplify 0 into 0 11.931 * [backup-simplify]: Simplify 1 into 1 11.931 * [backup-simplify]: Simplify (/ -1 1) into -1 11.932 * [backup-simplify]: Simplify (- -1) into 1 11.932 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 11.932 * [taylor]: Taking taylor expansion of 2 in c 11.932 * [backup-simplify]: Simplify 2 into 2 11.932 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 11.932 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 11.932 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 11.932 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 11.933 * [backup-simplify]: Simplify (- 0) into 0 11.933 * [backup-simplify]: Simplify (+ 0 0) into 0 11.934 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 11.934 * [backup-simplify]: Simplify 0 into 0 11.935 * [backup-simplify]: Simplify (- 0) into 0 11.935 * [backup-simplify]: Simplify (+ 0 0) into 0 11.936 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.936 * [backup-simplify]: Simplify 0 into 0 11.936 * [backup-simplify]: Simplify (- 0) into 0 11.937 * [backup-simplify]: Simplify (+ 0 0) into 0 11.938 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.938 * [backup-simplify]: Simplify 0 into 0 11.938 * [backup-simplify]: Simplify (- 0) into 0 11.938 * [backup-simplify]: Simplify (+ 0 0) into 0 11.940 * [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 11.940 * [backup-simplify]: Simplify 0 into 0 11.940 * [backup-simplify]: Simplify (- 0) into 0 11.940 * [backup-simplify]: Simplify (+ 0 0) into 0 11.942 * [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 11.942 * [backup-simplify]: Simplify 0 into 0 11.942 * [backup-simplify]: Simplify (- 0) into 0 11.943 * [backup-simplify]: Simplify (+ 0 0) into 0 11.945 * [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 11.945 * [backup-simplify]: Simplify 0 into 0 11.945 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 11.945 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 11.945 * [backup-simplify]: Simplify (sinh c) into (sinh c) 11.945 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 11.945 * [taylor]: Taking taylor expansion of (sinh c) in c 11.945 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 11.945 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 11.945 * [taylor]: Taking taylor expansion of (exp c) in c 11.945 * [taylor]: Taking taylor expansion of c in c 11.945 * [backup-simplify]: Simplify 0 into 0 11.945 * [backup-simplify]: Simplify 1 into 1 11.945 * [backup-simplify]: Simplify (exp 0) into 1 11.945 * [taylor]: Taking taylor expansion of (exp (- c)) in c 11.945 * [taylor]: Taking taylor expansion of (- c) in c 11.945 * [taylor]: Taking taylor expansion of c in c 11.945 * [backup-simplify]: Simplify 0 into 0 11.945 * [backup-simplify]: Simplify 1 into 1 11.946 * [backup-simplify]: Simplify (- 0) into 0 11.946 * [backup-simplify]: Simplify (- 1) into -1 11.946 * [backup-simplify]: Simplify (exp 0) into 1 11.946 * [taylor]: Taking taylor expansion of 2 in c 11.946 * [backup-simplify]: Simplify 2 into 2 11.946 * [backup-simplify]: Simplify (- 1) into -1 11.946 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.947 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 11.947 * [backup-simplify]: Simplify (- 1) into -1 11.948 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 11.948 * [backup-simplify]: Simplify (- -1) into 1 11.948 * [backup-simplify]: Simplify (+ 1 1) into 2 11.949 * [backup-simplify]: Simplify (/ 2 2) into 1 11.949 * [taylor]: Taking taylor expansion of (sinh c) in c 11.949 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 11.949 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 11.949 * [taylor]: Taking taylor expansion of (exp c) in c 11.949 * [taylor]: Taking taylor expansion of c in c 11.949 * [backup-simplify]: Simplify 0 into 0 11.949 * [backup-simplify]: Simplify 1 into 1 11.949 * [backup-simplify]: Simplify (exp 0) into 1 11.949 * [taylor]: Taking taylor expansion of (exp (- c)) in c 11.949 * [taylor]: Taking taylor expansion of (- c) in c 11.949 * [taylor]: Taking taylor expansion of c in c 11.949 * [backup-simplify]: Simplify 0 into 0 11.949 * [backup-simplify]: Simplify 1 into 1 11.949 * [backup-simplify]: Simplify (- 0) into 0 11.950 * [backup-simplify]: Simplify (- 1) into -1 11.950 * [backup-simplify]: Simplify (exp 0) into 1 11.950 * [taylor]: Taking taylor expansion of 2 in c 11.950 * [backup-simplify]: Simplify 2 into 2 11.950 * [backup-simplify]: Simplify (- 1) into -1 11.950 * [backup-simplify]: Simplify (+ 1 -1) into 0 11.951 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 11.951 * [backup-simplify]: Simplify (- 1) into -1 11.952 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 11.952 * [backup-simplify]: Simplify (- -1) into 1 11.952 * [backup-simplify]: Simplify (+ 1 1) into 2 11.952 * [backup-simplify]: Simplify (/ 2 2) into 1 11.952 * [backup-simplify]: Simplify 1 into 1 11.953 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 11.954 * [backup-simplify]: Simplify (- 1) into -1 11.954 * [backup-simplify]: Simplify (- 0) into 0 11.955 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 11.955 * [backup-simplify]: Simplify (- 1/2) into -1/2 11.955 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 11.956 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 11.956 * [backup-simplify]: Simplify 0 into 0 11.957 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 11.957 * [backup-simplify]: Simplify (- 1) into -1 11.958 * [backup-simplify]: Simplify (- 1) into -1 11.958 * [backup-simplify]: Simplify (- 0) into 0 11.958 * [backup-simplify]: Simplify (- 0) into 0 11.959 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 11.960 * [backup-simplify]: Simplify (- -1/6) into 1/6 11.960 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 11.961 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 11.961 * [backup-simplify]: Simplify 1/6 into 1/6 11.963 * [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 11.963 * [backup-simplify]: Simplify (- 1) into -1 11.964 * [backup-simplify]: Simplify (- 1) into -1 11.964 * [backup-simplify]: Simplify (- 0) into 0 11.964 * [backup-simplify]: Simplify (- 1) into -1 11.964 * [backup-simplify]: Simplify (- 0) into 0 11.965 * [backup-simplify]: Simplify (- 0) into 0 11.965 * [backup-simplify]: Simplify (- 0) into 0 11.967 * [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 11.967 * [backup-simplify]: Simplify (- 1/24) into -1/24 11.968 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 11.968 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 11.968 * [backup-simplify]: Simplify 0 into 0 11.972 * [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 11.972 * [backup-simplify]: Simplify (- 1) into -1 11.972 * [backup-simplify]: Simplify (- 1) into -1 11.972 * [backup-simplify]: Simplify (- 0) into 0 11.973 * [backup-simplify]: Simplify (- 1) into -1 11.973 * [backup-simplify]: Simplify (- 0) into 0 11.973 * [backup-simplify]: Simplify (- 1) into -1 11.973 * [backup-simplify]: Simplify (- 0) into 0 11.973 * [backup-simplify]: Simplify (- 1) into -1 11.974 * [backup-simplify]: Simplify (- 0) into 0 11.974 * [backup-simplify]: Simplify (- 0) into 0 11.974 * [backup-simplify]: Simplify (- 0) into 0 11.974 * [backup-simplify]: Simplify (- 0) into 0 11.977 * [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 11.978 * [backup-simplify]: Simplify (- -1/120) into 1/120 11.978 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 11.979 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 11.979 * [backup-simplify]: Simplify 1/120 into 1/120 11.979 * [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)) 11.979 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 11.979 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 11.979 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 11.979 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 11.979 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 11.979 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 11.979 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.979 * [taylor]: Taking taylor expansion of c in c 11.979 * [backup-simplify]: Simplify 0 into 0 11.980 * [backup-simplify]: Simplify 1 into 1 11.980 * [backup-simplify]: Simplify (/ 1 1) into 1 11.980 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 11.980 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 11.980 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 11.980 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.980 * [taylor]: Taking taylor expansion of c in c 11.980 * [backup-simplify]: Simplify 0 into 0 11.980 * [backup-simplify]: Simplify 1 into 1 11.980 * [backup-simplify]: Simplify (/ 1 1) into 1 11.980 * [backup-simplify]: Simplify (- 1) into -1 11.981 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 11.981 * [taylor]: Taking taylor expansion of 2 in c 11.981 * [backup-simplify]: Simplify 2 into 2 11.981 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 11.981 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 11.981 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 11.981 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 11.981 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 11.981 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 11.981 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 11.981 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.981 * [taylor]: Taking taylor expansion of c in c 11.981 * [backup-simplify]: Simplify 0 into 0 11.981 * [backup-simplify]: Simplify 1 into 1 11.981 * [backup-simplify]: Simplify (/ 1 1) into 1 11.981 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 11.981 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 11.981 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 11.981 * [taylor]: Taking taylor expansion of (/ 1 c) in c 11.981 * [taylor]: Taking taylor expansion of c in c 11.981 * [backup-simplify]: Simplify 0 into 0 11.982 * [backup-simplify]: Simplify 1 into 1 11.982 * [backup-simplify]: Simplify (/ 1 1) into 1 11.982 * [backup-simplify]: Simplify (- 1) into -1 11.982 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 11.982 * [taylor]: Taking taylor expansion of 2 in c 11.982 * [backup-simplify]: Simplify 2 into 2 11.982 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 11.982 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 11.982 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 11.983 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 11.986 * [backup-simplify]: Simplify (- 0) into 0 11.986 * [backup-simplify]: Simplify (+ 0 0) into 0 11.987 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 11.987 * [backup-simplify]: Simplify 0 into 0 11.987 * [backup-simplify]: Simplify (- 0) into 0 11.988 * [backup-simplify]: Simplify (+ 0 0) into 0 11.988 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.989 * [backup-simplify]: Simplify 0 into 0 11.989 * [backup-simplify]: Simplify (- 0) into 0 11.989 * [backup-simplify]: Simplify (+ 0 0) into 0 11.990 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 11.990 * [backup-simplify]: Simplify 0 into 0 11.990 * [backup-simplify]: Simplify (- 0) into 0 11.991 * [backup-simplify]: Simplify (+ 0 0) into 0 11.992 * [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 11.992 * [backup-simplify]: Simplify 0 into 0 11.993 * [backup-simplify]: Simplify (- 0) into 0 11.993 * [backup-simplify]: Simplify (+ 0 0) into 0 11.995 * [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 11.995 * [backup-simplify]: Simplify 0 into 0 11.995 * [backup-simplify]: Simplify (- 0) into 0 11.995 * [backup-simplify]: Simplify (+ 0 0) into 0 11.997 * [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 11.997 * [backup-simplify]: Simplify 0 into 0 11.997 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 11.997 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 11.997 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 11.997 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 11.998 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 11.998 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 11.998 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 11.998 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.998 * [taylor]: Taking taylor expansion of -1 in c 11.998 * [backup-simplify]: Simplify -1 into -1 11.998 * [taylor]: Taking taylor expansion of c in c 11.998 * [backup-simplify]: Simplify 0 into 0 11.998 * [backup-simplify]: Simplify 1 into 1 11.998 * [backup-simplify]: Simplify (/ -1 1) into -1 11.998 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 11.998 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 11.998 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 11.998 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.998 * [taylor]: Taking taylor expansion of -1 in c 11.998 * [backup-simplify]: Simplify -1 into -1 11.998 * [taylor]: Taking taylor expansion of c in c 11.998 * [backup-simplify]: Simplify 0 into 0 11.998 * [backup-simplify]: Simplify 1 into 1 11.998 * [backup-simplify]: Simplify (/ -1 1) into -1 11.999 * [backup-simplify]: Simplify (- -1) into 1 11.999 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 11.999 * [taylor]: Taking taylor expansion of 2 in c 11.999 * [backup-simplify]: Simplify 2 into 2 11.999 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 11.999 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 11.999 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 11.999 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 11.999 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 11.999 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 11.999 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 11.999 * [taylor]: Taking taylor expansion of (/ -1 c) in c 11.999 * [taylor]: Taking taylor expansion of -1 in c 11.999 * [backup-simplify]: Simplify -1 into -1 11.999 * [taylor]: Taking taylor expansion of c in c 12.000 * [backup-simplify]: Simplify 0 into 0 12.000 * [backup-simplify]: Simplify 1 into 1 12.000 * [backup-simplify]: Simplify (/ -1 1) into -1 12.000 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 12.000 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 12.000 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 12.000 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.000 * [taylor]: Taking taylor expansion of -1 in c 12.000 * [backup-simplify]: Simplify -1 into -1 12.000 * [taylor]: Taking taylor expansion of c in c 12.000 * [backup-simplify]: Simplify 0 into 0 12.000 * [backup-simplify]: Simplify 1 into 1 12.001 * [backup-simplify]: Simplify (/ -1 1) into -1 12.001 * [backup-simplify]: Simplify (- -1) into 1 12.001 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 12.001 * [taylor]: Taking taylor expansion of 2 in c 12.001 * [backup-simplify]: Simplify 2 into 2 12.001 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 12.002 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 12.002 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 12.002 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 12.002 * [backup-simplify]: Simplify (- 0) into 0 12.003 * [backup-simplify]: Simplify (+ 0 0) into 0 12.004 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 12.004 * [backup-simplify]: Simplify 0 into 0 12.004 * [backup-simplify]: Simplify (- 0) into 0 12.005 * [backup-simplify]: Simplify (+ 0 0) into 0 12.006 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.006 * [backup-simplify]: Simplify 0 into 0 12.006 * [backup-simplify]: Simplify (- 0) into 0 12.007 * [backup-simplify]: Simplify (+ 0 0) into 0 12.009 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.009 * [backup-simplify]: Simplify 0 into 0 12.009 * [backup-simplify]: Simplify (- 0) into 0 12.010 * [backup-simplify]: Simplify (+ 0 0) into 0 12.012 * [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 12.012 * [backup-simplify]: Simplify 0 into 0 12.013 * [backup-simplify]: Simplify (- 0) into 0 12.013 * [backup-simplify]: Simplify (+ 0 0) into 0 12.016 * [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 12.016 * [backup-simplify]: Simplify 0 into 0 12.017 * [backup-simplify]: Simplify (- 0) into 0 12.017 * [backup-simplify]: Simplify (+ 0 0) into 0 12.021 * [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 12.021 * [backup-simplify]: Simplify 0 into 0 12.021 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 12.021 * * * [progress]: simplifying candidates 12.023 * [simplify]: Simplifying: (expm1 (* (sqrt (sinh c)) (sqrt (sinh c)))) (log1p (* (sqrt (sinh c)) (sqrt (sinh c)))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (sinh c) (sinh c)) (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sinh c) (sinh c)) (+ 1 1) (+ (log (sqrt (sinh c))) (log (sqrt (sinh c)))) (log (* (sqrt (sinh c)) (sqrt (sinh c)))) (exp (* (sqrt (sinh c)) (sqrt (sinh c)))) (* (* (* (sqrt (sinh c)) (sqrt (sinh c))) (sqrt (sinh c))) (* (* (sqrt (sinh c)) (sqrt (sinh c))) (sqrt (sinh c)))) (* (cbrt (* (sqrt (sinh c)) (sqrt (sinh c)))) (cbrt (* (sqrt (sinh c)) (sqrt (sinh c))))) (cbrt (* (sqrt (sinh c)) (sqrt (sinh c)))) (* (* (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sqrt (sinh c)) (sqrt (sinh c)))) (* (sqrt (sinh c)) (sqrt (sinh c)))) (* (sinh c) (sinh c)) (sqrt (* (sqrt (sinh c)) (sqrt (sinh c)))) (sqrt (* (sqrt (sinh c)) (sqrt (sinh c)))) (* (sqrt (- (exp c) (exp (- c)))) (sqrt (- (exp c) (exp (- c))))) (* (sqrt 2) (sqrt 2)) (* (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) (* (sqrt (* (cbrt (sinh c)) (cbrt (sinh c)))) (sqrt (* (cbrt (sinh c)) (cbrt (sinh c))))) (* (sqrt (cbrt (sinh c))) (sqrt (cbrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt 1) (sqrt 1)) (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* 1 1) (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (sinh c)) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))) (* (sqrt (sinh c)) (sqrt (* (cbrt (sinh c)) (cbrt (sinh c))))) (* (sqrt (sinh c)) (sqrt (sqrt (sinh c)))) (* (sqrt (sinh c)) (sqrt 1)) (* (sqrt (sinh c)) (sqrt (sqrt (sinh c)))) (* (sqrt (sinh c)) 1) (* (cbrt (sqrt (sinh c))) (sqrt (sinh c))) (* (sqrt (cbrt (sinh c))) (sqrt (sinh c))) (* (sqrt (sqrt (sinh c))) (sqrt (sinh c))) (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sqrt (sqrt (sinh c))) (sqrt (sinh c))) (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sqrt (sinh c)) (sqrt (- (exp c) (exp (- c))))) (* (sqrt (- (exp c) (exp (- c)))) (sqrt (sinh c))) (expm1 (sinh c)) (log1p (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)) (expm1 (sinh c)) (log1p (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)))) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) 12.025 * * [simplify]: Extracting # 0 : cost 51 inf + 0 12.025 * * [simplify]: Extracting # 1 : cost 71 inf + 0 12.025 * * [simplify]: Extracting # 2 : cost 73 inf + 44 12.026 * * [simplify]: Extracting # 3 : cost 61 inf + 884 12.027 * * [simplify]: Extracting # 4 : cost 33 inf + 5342 12.028 * * [simplify]: Extracting # 5 : cost 6 inf + 11018 12.030 * * [simplify]: Extracting # 6 : cost 1 inf + 12461 12.032 * * [simplify]: Extracting # 7 : cost 0 inf + 12857 12.034 * * [simplify]: iteration 0 : 83 enodes (cost 17009 ) 12.055 * * [simplify]: Extracting # 0 : cost 0 inf + 12857 12.056 * * [simplify]: Extracting # 1 : cost 15 inf + 10489 12.058 * * [simplify]: Extracting # 2 : cost 4 inf + 12924 12.059 * * [simplify]: Extracting # 3 : cost 1 inf + 12614 12.061 * * [simplify]: Extracting # 4 : cost 0 inf + 12826 12.063 * * [simplify]: iteration 1 : 147 enodes (cost 12773 ) 12.105 * * [simplify]: Extracting # 0 : cost 0 inf + 12826 12.107 * * [simplify]: Extracting # 1 : cost 63 inf + 12721 12.111 * * [simplify]: Extracting # 2 : cost 8 inf + 24752 12.116 * * [simplify]: Extracting # 3 : cost 2 inf + 25180 12.120 * * [simplify]: Extracting # 4 : cost 0 inf + 25121 12.124 * * [simplify]: Extracting # 5 : cost 0 inf + 24845 12.128 * * [simplify]: iteration 2 : 337 enodes (cost 12014 ) 12.294 * * [simplify]: Extracting # 0 : cost 0 inf + 24845 12.301 * * [simplify]: Extracting # 1 : cost 161 inf + 23165 12.311 * * [simplify]: Extracting # 2 : cost 48 inf + 47301 12.324 * * [simplify]: Extracting # 3 : cost 1 inf + 56392 12.344 * * [simplify]: Extracting # 4 : cost 0 inf + 56575 12.358 * * [simplify]: iteration 3 : 896 enodes (cost 10762 ) 13.409 * * [simplify]: Extracting # 0 : cost 0 inf + 56575 13.442 * * [simplify]: Extracting # 1 : cost 1460 inf + 54901 13.524 * * [simplify]: Extracting # 2 : cost 33 inf + 394612 13.632 * * [simplify]: Extracting # 3 : cost 8 inf + 398718 13.738 * * [simplify]: Extracting # 4 : cost 0 inf + 401484 13.844 * * [simplify]: iteration complete: 5000 enodes (cost 10762 ) 13.844 * [simplify]: Simplified to: (expm1 (sinh c)) (log1p (sinh c)) 1 1 2 1 1 (* (sinh c) (sinh c)) (sinh c) (* (sinh c) (sinh c)) 2 (log (sinh c)) (log (sinh c)) (exp (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (* (sinh c) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (+ (sinh c) (sinh c)) 2 (* (cbrt (sqrt (sinh c))) (sqrt (sinh c))) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) 1 (sinh c) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) 1 (sinh c) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) 1 2 1 (* (sqrt (sinh c)) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))) (* (sqrt (sinh c)) (fabs (cbrt (sinh c)))) (* (sqrt (sinh c)) (sqrt (sqrt (sinh c)))) (sqrt (sinh c)) (* (sqrt (sinh c)) (sqrt (sqrt (sinh c)))) (sqrt (sinh c)) (* (cbrt (sqrt (sinh c))) (sqrt (sinh c))) (* (sqrt (cbrt (sinh c))) (sqrt (sinh c))) (* (sqrt (sinh c)) (sqrt (sqrt (sinh c)))) (sinh c) (* (sqrt (sinh c)) (sqrt (sqrt (sinh c)))) (sinh c) (* (sqrt (sinh c)) (sqrt (+ (sinh c) (sinh c)))) (* (sqrt (sinh c)) (sqrt (+ (sinh c) (sinh c)))) (expm1 (sinh c)) (log1p (sinh c)) (+ (sinh c) (sinh 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)) (expm1 (sinh c)) (log1p (sinh c)) (+ (sinh c) (sinh 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)) (fma 1/6 (* c (* c c)) (fma 1/120 (pow c 5) c)) (sinh c) (sinh c) (fma 1/6 (* c (* c c)) (fma 1/120 (pow c 5) c)) (sinh c) (sinh c) (fma 1/6 (* c (* c c)) (fma 1/120 (pow c 5) c)) (sinh c) (sinh c) 13.848 * * * [progress]: adding candidates to table 14.069 * [progress]: [Phase 3 of 3] Extracting. 14.070 * * [regime]: Finding splitpoints for: (# #) 14.071 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c) 14.071 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (# #) 14.106 * * * * [regimes]: Trying to branch on c from (# #) 14.127 * * * [regime]: Found split indices: #