0.659 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.258 * * * [progress]: [2/2] Setting up program. 0.262 * [progress]: [Phase 2 of 3] Improving. 0.264 * [simplify]: Simplifying: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 0.265 * * [simplify]: Extracting # 0 : cost 0 0.265 * * [simplify]: Extracting # 1 : cost 0 0.265 * * [simplify]: Extracting # 2 : cost 0 0.266 * * [simplify]: Extracting # 3 : cost 0 0.266 * * [simplify]: Extracting # 4 : cost 0 0.266 * * [simplify]: Extracting # 5 : cost 0 0.266 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.270 * * [simplify]: Extracting # 0 : cost 0 0.270 * * [simplify]: Extracting # 1 : cost 0 0.270 * * [simplify]: Extracting # 2 : cost 0 0.270 * * [simplify]: Extracting # 3 : cost 0 0.270 * * [simplify]: Extracting # 4 : cost 0 0.270 * * [simplify]: Extracting # 5 : cost 0 0.270 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 0.274 * * [simplify]: Extracting # 0 : cost 0 0.274 * * [simplify]: Extracting # 1 : cost 0 0.274 * * [simplify]: Extracting # 2 : cost 0 0.274 * * [simplify]: Extracting # 3 : cost 0 0.274 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 0.283 * * [simplify]: Extracting # 0 : cost 0 0.283 * * [simplify]: Extracting # 1 : cost 0 0.283 * * [simplify]: Extracting # 2 : cost 0 0.283 * * [simplify]: Extracting # 3 : cost 0 0.284 * * [simplify]: Extracting # 4 : cost 0 0.284 * * [simplify]: iteration 3 : 69 enodes (cost 8 ) 0.346 * * [simplify]: Extracting # 0 : cost 0 0.346 * * [simplify]: Extracting # 1 : cost 0 0.346 * * [simplify]: Extracting # 2 : cost 0 0.347 * * [simplify]: Extracting # 3 : cost 0 0.347 * * [simplify]: Extracting # 4 : cost 0 0.347 * * [simplify]: iteration 4 : 147 enodes (cost 8 ) 0.449 * * [simplify]: Extracting # 0 : cost 0 0.450 * * [simplify]: Extracting # 1 : cost 0 0.451 * * [simplify]: Extracting # 2 : cost 0 0.452 * * [simplify]: Extracting # 3 : cost 0 0.453 * * [simplify]: Extracting # 4 : cost 0 0.454 * * [simplify]: iteration 5 : 347 enodes (cost 8 ) 0.917 * * [simplify]: Extracting # 0 : cost 0 0.919 * * [simplify]: Extracting # 1 : cost 0 0.920 * * [simplify]: Extracting # 2 : cost 0 0.922 * * [simplify]: Extracting # 3 : cost 0 0.923 * * [simplify]: Extracting # 4 : cost 0 0.925 * * [simplify]: iteration 6 : 1152 enodes (cost 8 ) 4.471 * * [simplify]: Extracting # 0 : cost 0 4.480 * * [simplify]: Extracting # 1 : cost 0 4.487 * * [simplify]: Extracting # 2 : cost 0 4.492 * * [simplify]: Extracting # 3 : cost 0 4.498 * * [simplify]: Extracting # 4 : cost 0 4.504 * * [simplify]: Extracting # 5 : cost 0 4.510 * * [simplify]: iteration 7 : 4414 enodes (cost 8 ) 7.221 * * [simplify]: Extracting # 0 : cost 0 7.229 * * [simplify]: Extracting # 1 : cost 0 7.237 * * [simplify]: Extracting # 2 : cost 0 7.244 * * [simplify]: Extracting # 3 : cost 0 7.251 * * [simplify]: iteration done: 5000 enodes (cost 8 ) 7.252 * [simplify]: Simplified to: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 7.254 * * [progress]: iteration 1 / 4 7.255 * * * [progress]: picking best candidate 7.259 * * * * [pick]: Picked # 7.259 * * * [progress]: localizing error 7.281 * * * [progress]: generating rewritten candidates 7.282 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 7.288 * * * [progress]: generating series expansions 7.288 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 7.291 * [backup-simplify]: Simplify (sinh c) into (sinh c) 7.291 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 7.291 * [taylor]: Taking taylor expansion of (sinh c) in c 7.293 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 7.293 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 7.293 * [taylor]: Taking taylor expansion of (exp c) in c 7.294 * [taylor]: Taking taylor expansion of c in c 7.294 * [backup-simplify]: Simplify 0 into 0 7.294 * [backup-simplify]: Simplify 1 into 1 7.294 * [backup-simplify]: Simplify (exp 0) into 1 7.294 * [taylor]: Taking taylor expansion of (exp (- c)) in c 7.294 * [taylor]: Taking taylor expansion of (- c) in c 7.294 * [taylor]: Taking taylor expansion of c in c 7.294 * [backup-simplify]: Simplify 0 into 0 7.294 * [backup-simplify]: Simplify 1 into 1 7.294 * [backup-simplify]: Simplify (- 0) into 0 7.294 * [backup-simplify]: Simplify (- 1) into -1 7.294 * [backup-simplify]: Simplify (exp 0) into 1 7.295 * [taylor]: Taking taylor expansion of 2 in c 7.295 * [backup-simplify]: Simplify 2 into 2 7.295 * [backup-simplify]: Simplify (- 1) into -1 7.296 * [backup-simplify]: Simplify (+ 1 -1) into 0 7.297 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 7.297 * [backup-simplify]: Simplify (- 1) into -1 7.298 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 7.298 * [backup-simplify]: Simplify (- -1) into 1 7.298 * [backup-simplify]: Simplify (+ 1 1) into 2 7.298 * [backup-simplify]: Simplify (/ 2 2) into 1 7.298 * [taylor]: Taking taylor expansion of (sinh c) in c 7.298 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 7.299 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 7.299 * [taylor]: Taking taylor expansion of (exp c) in c 7.299 * [taylor]: Taking taylor expansion of c in c 7.299 * [backup-simplify]: Simplify 0 into 0 7.299 * [backup-simplify]: Simplify 1 into 1 7.299 * [backup-simplify]: Simplify (exp 0) into 1 7.299 * [taylor]: Taking taylor expansion of (exp (- c)) in c 7.299 * [taylor]: Taking taylor expansion of (- c) in c 7.299 * [taylor]: Taking taylor expansion of c in c 7.299 * [backup-simplify]: Simplify 0 into 0 7.299 * [backup-simplify]: Simplify 1 into 1 7.299 * [backup-simplify]: Simplify (- 0) into 0 7.299 * [backup-simplify]: Simplify (- 1) into -1 7.299 * [backup-simplify]: Simplify (exp 0) into 1 7.299 * [taylor]: Taking taylor expansion of 2 in c 7.299 * [backup-simplify]: Simplify 2 into 2 7.299 * [backup-simplify]: Simplify (- 1) into -1 7.300 * [backup-simplify]: Simplify (+ 1 -1) into 0 7.300 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 7.301 * [backup-simplify]: Simplify (- 1) into -1 7.301 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 7.301 * [backup-simplify]: Simplify (- -1) into 1 7.302 * [backup-simplify]: Simplify (+ 1 1) into 2 7.302 * [backup-simplify]: Simplify (/ 2 2) into 1 7.302 * [backup-simplify]: Simplify 1 into 1 7.304 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 7.304 * [backup-simplify]: Simplify (- 1) into -1 7.304 * [backup-simplify]: Simplify (- 0) into 0 7.305 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 7.305 * [backup-simplify]: Simplify (- 1/2) into -1/2 7.306 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 7.306 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 7.306 * [backup-simplify]: Simplify 0 into 0 7.308 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 7.308 * [backup-simplify]: Simplify (- 1) into -1 7.308 * [backup-simplify]: Simplify (- 1) into -1 7.308 * [backup-simplify]: Simplify (- 0) into 0 7.309 * [backup-simplify]: Simplify (- 0) into 0 7.310 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 7.310 * [backup-simplify]: Simplify (- -1/6) into 1/6 7.310 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 7.322 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 7.323 * [backup-simplify]: Simplify 1/6 into 1/6 7.328 * [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 7.328 * [backup-simplify]: Simplify (- 1) into -1 7.328 * [backup-simplify]: Simplify (- 1) into -1 7.329 * [backup-simplify]: Simplify (- 0) into 0 7.329 * [backup-simplify]: Simplify (- 1) into -1 7.330 * [backup-simplify]: Simplify (- 0) into 0 7.330 * [backup-simplify]: Simplify (- 0) into 0 7.330 * [backup-simplify]: Simplify (- 0) into 0 7.335 * [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 7.336 * [backup-simplify]: Simplify (- 1/24) into -1/24 7.336 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 7.337 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 7.338 * [backup-simplify]: Simplify 0 into 0 7.344 * [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 7.344 * [backup-simplify]: Simplify (- 1) into -1 7.345 * [backup-simplify]: Simplify (- 1) into -1 7.345 * [backup-simplify]: Simplify (- 0) into 0 7.346 * [backup-simplify]: Simplify (- 1) into -1 7.346 * [backup-simplify]: Simplify (- 0) into 0 7.346 * [backup-simplify]: Simplify (- 1) into -1 7.347 * [backup-simplify]: Simplify (- 0) into 0 7.347 * [backup-simplify]: Simplify (- 1) into -1 7.348 * [backup-simplify]: Simplify (- 0) into 0 7.348 * [backup-simplify]: Simplify (- 0) into 0 7.348 * [backup-simplify]: Simplify (- 0) into 0 7.349 * [backup-simplify]: Simplify (- 0) into 0 7.355 * [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 7.355 * [backup-simplify]: Simplify (- -1/120) into 1/120 7.356 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 7.357 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 7.357 * [backup-simplify]: Simplify 1/120 into 1/120 7.362 * [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)) 7.362 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 7.362 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 7.362 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 7.363 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 7.363 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 7.363 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 7.363 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.363 * [taylor]: Taking taylor expansion of c in c 7.363 * [backup-simplify]: Simplify 0 into 0 7.363 * [backup-simplify]: Simplify 1 into 1 7.364 * [backup-simplify]: Simplify (/ 1 1) into 1 7.364 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 7.364 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 7.364 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 7.364 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.364 * [taylor]: Taking taylor expansion of c in c 7.364 * [backup-simplify]: Simplify 0 into 0 7.364 * [backup-simplify]: Simplify 1 into 1 7.364 * [backup-simplify]: Simplify (/ 1 1) into 1 7.365 * [backup-simplify]: Simplify (- 1) into -1 7.365 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 7.365 * [taylor]: Taking taylor expansion of 2 in c 7.365 * [backup-simplify]: Simplify 2 into 2 7.365 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 7.366 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 7.366 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 7.366 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 7.366 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 7.366 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 7.366 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 7.366 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.366 * [taylor]: Taking taylor expansion of c in c 7.366 * [backup-simplify]: Simplify 0 into 0 7.366 * [backup-simplify]: Simplify 1 into 1 7.367 * [backup-simplify]: Simplify (/ 1 1) into 1 7.367 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 7.367 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 7.367 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 7.367 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.367 * [taylor]: Taking taylor expansion of c in c 7.367 * [backup-simplify]: Simplify 0 into 0 7.367 * [backup-simplify]: Simplify 1 into 1 7.367 * [backup-simplify]: Simplify (/ 1 1) into 1 7.368 * [backup-simplify]: Simplify (- 1) into -1 7.368 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 7.368 * [taylor]: Taking taylor expansion of 2 in c 7.368 * [backup-simplify]: Simplify 2 into 2 7.368 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 7.368 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 7.368 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 7.369 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 7.369 * [backup-simplify]: Simplify (- 0) into 0 7.370 * [backup-simplify]: Simplify (+ 0 0) into 0 7.371 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 7.371 * [backup-simplify]: Simplify 0 into 0 7.371 * [backup-simplify]: Simplify (- 0) into 0 7.372 * [backup-simplify]: Simplify (+ 0 0) into 0 7.373 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.373 * [backup-simplify]: Simplify 0 into 0 7.373 * [backup-simplify]: Simplify (- 0) into 0 7.373 * [backup-simplify]: Simplify (+ 0 0) into 0 7.374 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.374 * [backup-simplify]: Simplify 0 into 0 7.375 * [backup-simplify]: Simplify (- 0) into 0 7.375 * [backup-simplify]: Simplify (+ 0 0) into 0 7.376 * [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 7.376 * [backup-simplify]: Simplify 0 into 0 7.377 * [backup-simplify]: Simplify (- 0) into 0 7.377 * [backup-simplify]: Simplify (+ 0 0) into 0 7.379 * [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 7.379 * [backup-simplify]: Simplify 0 into 0 7.379 * [backup-simplify]: Simplify (- 0) into 0 7.379 * [backup-simplify]: Simplify (+ 0 0) into 0 7.381 * [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 7.381 * [backup-simplify]: Simplify 0 into 0 7.381 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 7.381 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 7.381 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 7.381 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 7.381 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 7.382 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 7.382 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 7.382 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.382 * [taylor]: Taking taylor expansion of -1 in c 7.382 * [backup-simplify]: Simplify -1 into -1 7.382 * [taylor]: Taking taylor expansion of c in c 7.382 * [backup-simplify]: Simplify 0 into 0 7.382 * [backup-simplify]: Simplify 1 into 1 7.382 * [backup-simplify]: Simplify (/ -1 1) into -1 7.382 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 7.382 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 7.382 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 7.382 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.382 * [taylor]: Taking taylor expansion of -1 in c 7.382 * [backup-simplify]: Simplify -1 into -1 7.382 * [taylor]: Taking taylor expansion of c in c 7.382 * [backup-simplify]: Simplify 0 into 0 7.382 * [backup-simplify]: Simplify 1 into 1 7.382 * [backup-simplify]: Simplify (/ -1 1) into -1 7.383 * [backup-simplify]: Simplify (- -1) into 1 7.383 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 7.383 * [taylor]: Taking taylor expansion of 2 in c 7.383 * [backup-simplify]: Simplify 2 into 2 7.383 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 7.383 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 7.383 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 7.383 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 7.383 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 7.383 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 7.383 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 7.383 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.383 * [taylor]: Taking taylor expansion of -1 in c 7.383 * [backup-simplify]: Simplify -1 into -1 7.383 * [taylor]: Taking taylor expansion of c in c 7.383 * [backup-simplify]: Simplify 0 into 0 7.383 * [backup-simplify]: Simplify 1 into 1 7.383 * [backup-simplify]: Simplify (/ -1 1) into -1 7.384 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 7.384 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 7.384 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 7.384 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.384 * [taylor]: Taking taylor expansion of -1 in c 7.384 * [backup-simplify]: Simplify -1 into -1 7.384 * [taylor]: Taking taylor expansion of c in c 7.384 * [backup-simplify]: Simplify 0 into 0 7.384 * [backup-simplify]: Simplify 1 into 1 7.384 * [backup-simplify]: Simplify (/ -1 1) into -1 7.384 * [backup-simplify]: Simplify (- -1) into 1 7.384 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 7.384 * [taylor]: Taking taylor expansion of 2 in c 7.384 * [backup-simplify]: Simplify 2 into 2 7.384 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 7.384 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 7.385 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 7.385 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 7.385 * [backup-simplify]: Simplify (- 0) into 0 7.385 * [backup-simplify]: Simplify (+ 0 0) into 0 7.386 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 7.386 * [backup-simplify]: Simplify 0 into 0 7.386 * [backup-simplify]: Simplify (- 0) into 0 7.386 * [backup-simplify]: Simplify (+ 0 0) into 0 7.387 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.387 * [backup-simplify]: Simplify 0 into 0 7.387 * [backup-simplify]: Simplify (- 0) into 0 7.388 * [backup-simplify]: Simplify (+ 0 0) into 0 7.389 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.389 * [backup-simplify]: Simplify 0 into 0 7.389 * [backup-simplify]: Simplify (- 0) into 0 7.389 * [backup-simplify]: Simplify (+ 0 0) into 0 7.391 * [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 7.391 * [backup-simplify]: Simplify 0 into 0 7.391 * [backup-simplify]: Simplify (- 0) into 0 7.391 * [backup-simplify]: Simplify (+ 0 0) into 0 7.393 * [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 7.393 * [backup-simplify]: Simplify 0 into 0 7.393 * [backup-simplify]: Simplify (- 0) into 0 7.393 * [backup-simplify]: Simplify (+ 0 0) into 0 7.395 * [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 7.395 * [backup-simplify]: Simplify 0 into 0 7.396 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 7.396 * * * [progress]: simplifying candidates 7.396 * [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)))) 7.396 * * [simplify]: Extracting # 0 : cost 0 7.397 * * [simplify]: Extracting # 1 : cost 0 7.397 * * [simplify]: Extracting # 2 : cost 0 7.397 * * [simplify]: Extracting # 3 : cost 0 7.397 * * [simplify]: Extracting # 4 : cost 0 7.397 * * [simplify]: Extracting # 5 : cost 0 7.397 * * [simplify]: Extracting # 6 : cost 0 7.397 * * [simplify]: Extracting # 7 : cost 0 7.397 * * [simplify]: Extracting # 8 : cost 0 7.397 * * [simplify]: iteration 0 : 30 enodes (cost 66 ) 7.405 * * [simplify]: Extracting # 0 : cost 0 7.405 * * [simplify]: Extracting # 1 : cost 0 7.405 * * [simplify]: Extracting # 2 : cost 0 7.405 * * [simplify]: Extracting # 3 : cost 0 7.405 * * [simplify]: Extracting # 4 : cost 0 7.405 * * [simplify]: iteration 1 : 58 enodes (cost 65 ) 7.428 * * [simplify]: Extracting # 0 : cost 0 7.428 * * [simplify]: Extracting # 1 : cost 0 7.429 * * [simplify]: Extracting # 2 : cost 0 7.429 * * [simplify]: Extracting # 3 : cost 0 7.429 * * [simplify]: Extracting # 4 : cost 0 7.429 * * [simplify]: iteration 2 : 125 enodes (cost 61 ) 7.458 * * [simplify]: Extracting # 0 : cost 0 7.459 * * [simplify]: Extracting # 1 : cost 0 7.459 * * [simplify]: Extracting # 2 : cost 0 7.459 * * [simplify]: Extracting # 3 : cost 0 7.459 * * [simplify]: Extracting # 4 : cost 0 7.460 * * [simplify]: iteration 3 : 252 enodes (cost 61 ) 7.566 * * [simplify]: Extracting # 0 : cost 0 7.567 * * [simplify]: Extracting # 1 : cost 0 7.568 * * [simplify]: Extracting # 2 : cost 0 7.569 * * [simplify]: Extracting # 3 : cost 0 7.571 * * [simplify]: Extracting # 4 : cost 0 7.572 * * [simplify]: iteration 4 : 613 enodes (cost 61 ) 8.159 * * [simplify]: Extracting # 0 : cost 0 8.163 * * [simplify]: Extracting # 1 : cost 0 8.165 * * [simplify]: Extracting # 2 : cost 0 8.168 * * [simplify]: Extracting # 3 : cost 0 8.171 * * [simplify]: Extracting # 4 : cost 0 8.173 * * [simplify]: iteration 5 : 2545 enodes (cost 61 ) 9.511 * * [simplify]: Extracting # 0 : cost 0 9.522 * * [simplify]: Extracting # 1 : cost 0 9.533 * * [simplify]: Extracting # 2 : cost 0 9.544 * * [simplify]: Extracting # 3 : cost 0 9.555 * * [simplify]: Extracting # 4 : cost 0 9.565 * * [simplify]: iteration done: 5000 enodes (cost 61 ) 9.566 * [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)))) 9.566 * * * [progress]: adding candidates to table 9.619 * * [progress]: iteration 2 / 4 9.620 * * * [progress]: picking best candidate 9.625 * * * * [pick]: Picked # 9.625 * * * [progress]: localizing error 9.642 * * * [progress]: generating rewritten candidates 9.642 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 9.660 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1) 9.682 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 9.694 * * * [progress]: generating series expansions 9.694 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 9.694 * [backup-simplify]: Simplify (* 1/6 (pow c 3)) into (* 1/6 (pow c 3)) 9.700 * [approximate]: Taking taylor expansion of (* 1/6 (pow c 3)) in (c) around 0 9.700 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 9.700 * [taylor]: Taking taylor expansion of 1/6 in c 9.700 * [backup-simplify]: Simplify 1/6 into 1/6 9.700 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.700 * [taylor]: Taking taylor expansion of c in c 9.701 * [backup-simplify]: Simplify 0 into 0 9.701 * [backup-simplify]: Simplify 1 into 1 9.701 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 9.701 * [taylor]: Taking taylor expansion of 1/6 in c 9.701 * [backup-simplify]: Simplify 1/6 into 1/6 9.701 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.701 * [taylor]: Taking taylor expansion of c in c 9.701 * [backup-simplify]: Simplify 0 into 0 9.701 * [backup-simplify]: Simplify 1 into 1 9.702 * [backup-simplify]: Simplify (* 1 1) into 1 9.702 * [backup-simplify]: Simplify (* 1 1) into 1 9.702 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 9.702 * [backup-simplify]: Simplify 1/6 into 1/6 9.703 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.703 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.703 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 9.703 * [backup-simplify]: Simplify 0 into 0 9.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.705 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 9.705 * [backup-simplify]: Simplify 0 into 0 9.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.707 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.707 * [backup-simplify]: Simplify 0 into 0 9.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.709 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.709 * [backup-simplify]: Simplify 0 into 0 9.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.712 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.712 * [backup-simplify]: Simplify 0 into 0 9.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.716 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.716 * [backup-simplify]: Simplify 0 into 0 9.716 * [backup-simplify]: Simplify (* 1/6 (pow c 3)) into (* 1/6 (pow c 3)) 9.717 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 c) 3)) into (/ 1/6 (pow c 3)) 9.717 * [approximate]: Taking taylor expansion of (/ 1/6 (pow c 3)) in (c) around 0 9.717 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c 9.717 * [taylor]: Taking taylor expansion of 1/6 in c 9.717 * [backup-simplify]: Simplify 1/6 into 1/6 9.717 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.717 * [taylor]: Taking taylor expansion of c in c 9.717 * [backup-simplify]: Simplify 0 into 0 9.717 * [backup-simplify]: Simplify 1 into 1 9.717 * [backup-simplify]: Simplify (* 1 1) into 1 9.718 * [backup-simplify]: Simplify (* 1 1) into 1 9.718 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 9.718 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c 9.718 * [taylor]: Taking taylor expansion of 1/6 in c 9.718 * [backup-simplify]: Simplify 1/6 into 1/6 9.718 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.718 * [taylor]: Taking taylor expansion of c in c 9.719 * [backup-simplify]: Simplify 0 into 0 9.719 * [backup-simplify]: Simplify 1 into 1 9.719 * [backup-simplify]: Simplify (* 1 1) into 1 9.719 * [backup-simplify]: Simplify (* 1 1) into 1 9.720 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 9.720 * [backup-simplify]: Simplify 1/6 into 1/6 9.720 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.721 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.722 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 9.722 * [backup-simplify]: Simplify 0 into 0 9.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.724 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.725 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.725 * [backup-simplify]: Simplify 0 into 0 9.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.728 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.728 * [backup-simplify]: Simplify 0 into 0 9.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.731 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.731 * [backup-simplify]: Simplify 0 into 0 9.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.735 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.735 * [backup-simplify]: Simplify 0 into 0 9.737 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.739 * [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 9.739 * [backup-simplify]: Simplify 0 into 0 9.740 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (/ 1 c)) 3)) into (* 1/6 (pow c 3)) 9.740 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (- c)) 3)) into (/ -1/6 (pow c 3)) 9.740 * [approximate]: Taking taylor expansion of (/ -1/6 (pow c 3)) in (c) around 0 9.740 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c 9.740 * [taylor]: Taking taylor expansion of -1/6 in c 9.740 * [backup-simplify]: Simplify -1/6 into -1/6 9.740 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.740 * [taylor]: Taking taylor expansion of c in c 9.740 * [backup-simplify]: Simplify 0 into 0 9.740 * [backup-simplify]: Simplify 1 into 1 9.741 * [backup-simplify]: Simplify (* 1 1) into 1 9.741 * [backup-simplify]: Simplify (* 1 1) into 1 9.741 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 9.742 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c 9.742 * [taylor]: Taking taylor expansion of -1/6 in c 9.742 * [backup-simplify]: Simplify -1/6 into -1/6 9.742 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.742 * [taylor]: Taking taylor expansion of c in c 9.742 * [backup-simplify]: Simplify 0 into 0 9.742 * [backup-simplify]: Simplify 1 into 1 9.742 * [backup-simplify]: Simplify (* 1 1) into 1 9.742 * [backup-simplify]: Simplify (* 1 1) into 1 9.743 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 9.743 * [backup-simplify]: Simplify -1/6 into -1/6 9.744 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.744 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.745 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 9.745 * [backup-simplify]: Simplify 0 into 0 9.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.748 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.748 * [backup-simplify]: Simplify 0 into 0 9.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.752 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.752 * [backup-simplify]: Simplify 0 into 0 9.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.756 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.756 * [backup-simplify]: Simplify 0 into 0 9.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.760 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.760 * [backup-simplify]: Simplify 0 into 0 9.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.763 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.764 * [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 9.764 * [backup-simplify]: Simplify 0 into 0 9.765 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 (/ 1 (- c))) 3)) into (* 1/6 (pow c 3)) 9.765 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1) 9.765 * [backup-simplify]: Simplify (* 1/120 (pow c 5)) into (* 1/120 (pow c 5)) 9.765 * [approximate]: Taking taylor expansion of (* 1/120 (pow c 5)) in (c) around 0 9.765 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 9.765 * [taylor]: Taking taylor expansion of 1/120 in c 9.765 * [backup-simplify]: Simplify 1/120 into 1/120 9.765 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.765 * [taylor]: Taking taylor expansion of c in c 9.765 * [backup-simplify]: Simplify 0 into 0 9.765 * [backup-simplify]: Simplify 1 into 1 9.765 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 9.765 * [taylor]: Taking taylor expansion of 1/120 in c 9.765 * [backup-simplify]: Simplify 1/120 into 1/120 9.765 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.765 * [taylor]: Taking taylor expansion of c in c 9.765 * [backup-simplify]: Simplify 0 into 0 9.765 * [backup-simplify]: Simplify 1 into 1 9.766 * [backup-simplify]: Simplify (* 1 1) into 1 9.766 * [backup-simplify]: Simplify (* 1 1) into 1 9.767 * [backup-simplify]: Simplify (* 1 1) into 1 9.767 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 9.767 * [backup-simplify]: Simplify 1/120 into 1/120 9.768 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.768 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.769 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.770 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 9.770 * [backup-simplify]: Simplify 0 into 0 9.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.774 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 9.774 * [backup-simplify]: Simplify 0 into 0 9.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.778 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.778 * [backup-simplify]: Simplify 0 into 0 9.780 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.781 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.782 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.783 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.783 * [backup-simplify]: Simplify 0 into 0 9.785 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.789 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.789 * [backup-simplify]: Simplify 0 into 0 9.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.795 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.795 * [backup-simplify]: Simplify 0 into 0 9.795 * [backup-simplify]: Simplify (* 1/120 (pow c 5)) into (* 1/120 (pow c 5)) 9.796 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 c) 5)) into (/ 1/120 (pow c 5)) 9.796 * [approximate]: Taking taylor expansion of (/ 1/120 (pow c 5)) in (c) around 0 9.796 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c 9.796 * [taylor]: Taking taylor expansion of 1/120 in c 9.796 * [backup-simplify]: Simplify 1/120 into 1/120 9.796 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.796 * [taylor]: Taking taylor expansion of c in c 9.796 * [backup-simplify]: Simplify 0 into 0 9.796 * [backup-simplify]: Simplify 1 into 1 9.796 * [backup-simplify]: Simplify (* 1 1) into 1 9.797 * [backup-simplify]: Simplify (* 1 1) into 1 9.797 * [backup-simplify]: Simplify (* 1 1) into 1 9.797 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120 9.797 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c 9.798 * [taylor]: Taking taylor expansion of 1/120 in c 9.798 * [backup-simplify]: Simplify 1/120 into 1/120 9.798 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.798 * [taylor]: Taking taylor expansion of c in c 9.798 * [backup-simplify]: Simplify 0 into 0 9.798 * [backup-simplify]: Simplify 1 into 1 9.798 * [backup-simplify]: Simplify (* 1 1) into 1 9.798 * [backup-simplify]: Simplify (* 1 1) into 1 9.799 * [backup-simplify]: Simplify (* 1 1) into 1 9.799 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120 9.799 * [backup-simplify]: Simplify 1/120 into 1/120 9.800 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.800 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.801 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.802 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)))) into 0 9.802 * [backup-simplify]: Simplify 0 into 0 9.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.805 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.805 * [backup-simplify]: Simplify 0 into 0 9.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.810 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.810 * [backup-simplify]: Simplify 0 into 0 9.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.814 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.814 * [backup-simplify]: Simplify 0 into 0 9.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.817 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.819 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.819 * [backup-simplify]: Simplify 0 into 0 9.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.824 * [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 9.824 * [backup-simplify]: Simplify 0 into 0 9.825 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 (/ 1 c)) 5)) into (* 1/120 (pow c 5)) 9.825 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 (- c)) 5)) into (/ -1/120 (pow c 5)) 9.825 * [approximate]: Taking taylor expansion of (/ -1/120 (pow c 5)) in (c) around 0 9.825 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c 9.825 * [taylor]: Taking taylor expansion of -1/120 in c 9.825 * [backup-simplify]: Simplify -1/120 into -1/120 9.825 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.825 * [taylor]: Taking taylor expansion of c in c 9.825 * [backup-simplify]: Simplify 0 into 0 9.825 * [backup-simplify]: Simplify 1 into 1 9.825 * [backup-simplify]: Simplify (* 1 1) into 1 9.825 * [backup-simplify]: Simplify (* 1 1) into 1 9.826 * [backup-simplify]: Simplify (* 1 1) into 1 9.826 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120 9.826 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c 9.826 * [taylor]: Taking taylor expansion of -1/120 in c 9.826 * [backup-simplify]: Simplify -1/120 into -1/120 9.826 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.826 * [taylor]: Taking taylor expansion of c in c 9.826 * [backup-simplify]: Simplify 0 into 0 9.826 * [backup-simplify]: Simplify 1 into 1 9.826 * [backup-simplify]: Simplify (* 1 1) into 1 9.826 * [backup-simplify]: Simplify (* 1 1) into 1 9.827 * [backup-simplify]: Simplify (* 1 1) into 1 9.827 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120 9.827 * [backup-simplify]: Simplify -1/120 into -1/120 9.827 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.828 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.828 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.829 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)))) into 0 9.829 * [backup-simplify]: Simplify 0 into 0 9.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.831 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.831 * [backup-simplify]: Simplify 0 into 0 9.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.839 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.839 * [backup-simplify]: Simplify 0 into 0 9.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.842 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.842 * [backup-simplify]: Simplify 0 into 0 9.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.844 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.847 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.847 * [backup-simplify]: Simplify 0 into 0 9.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.850 * [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 9.850 * [backup-simplify]: Simplify 0 into 0 9.851 * [backup-simplify]: Simplify (* -1/120 (pow (/ 1 (/ 1 (- c))) 5)) into (* 1/120 (pow c 5)) 9.851 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 9.851 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) c) into (+ (* 1/120 (pow c 5)) c) 9.851 * [approximate]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in (c) around 0 9.851 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c 9.851 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 9.851 * [taylor]: Taking taylor expansion of 1/120 in c 9.851 * [backup-simplify]: Simplify 1/120 into 1/120 9.851 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.851 * [taylor]: Taking taylor expansion of c in c 9.851 * [backup-simplify]: Simplify 0 into 0 9.851 * [backup-simplify]: Simplify 1 into 1 9.851 * [taylor]: Taking taylor expansion of c in c 9.851 * [backup-simplify]: Simplify 0 into 0 9.851 * [backup-simplify]: Simplify 1 into 1 9.851 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c 9.851 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 9.851 * [taylor]: Taking taylor expansion of 1/120 in c 9.851 * [backup-simplify]: Simplify 1/120 into 1/120 9.851 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.851 * [taylor]: Taking taylor expansion of c in c 9.851 * [backup-simplify]: Simplify 0 into 0 9.851 * [backup-simplify]: Simplify 1 into 1 9.851 * [taylor]: Taking taylor expansion of c in c 9.851 * [backup-simplify]: Simplify 0 into 0 9.851 * [backup-simplify]: Simplify 1 into 1 9.852 * [backup-simplify]: Simplify (+ 0 0) into 0 9.852 * [backup-simplify]: Simplify 0 into 0 9.852 * [backup-simplify]: Simplify (+ 0 1) into 1 9.852 * [backup-simplify]: Simplify 1 into 1 9.852 * [backup-simplify]: Simplify (+ 0 0) into 0 9.852 * [backup-simplify]: Simplify 0 into 0 9.853 * [backup-simplify]: Simplify (+ 0 0) into 0 9.853 * [backup-simplify]: Simplify 0 into 0 9.853 * [backup-simplify]: Simplify (+ 0 0) into 0 9.853 * [backup-simplify]: Simplify 0 into 0 9.853 * [backup-simplify]: Simplify (* 1 1) into 1 9.854 * [backup-simplify]: Simplify (* 1 1) into 1 9.854 * [backup-simplify]: Simplify (* 1 1) into 1 9.854 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 9.854 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 9.855 * [backup-simplify]: Simplify 1/120 into 1/120 9.855 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.855 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.856 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.856 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 9.856 * [backup-simplify]: Simplify (+ 0 0) into 0 9.856 * [backup-simplify]: Simplify 0 into 0 9.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.858 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 9.859 * [backup-simplify]: Simplify (+ 0 0) into 0 9.859 * [backup-simplify]: Simplify 0 into 0 9.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.861 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.861 * [backup-simplify]: Simplify (+ 0 0) into 0 9.861 * [backup-simplify]: Simplify 0 into 0 9.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.864 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.864 * [backup-simplify]: Simplify (+ 0 0) into 0 9.864 * [backup-simplify]: Simplify 0 into 0 9.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.868 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.868 * [backup-simplify]: Simplify (+ 0 0) into 0 9.868 * [backup-simplify]: Simplify 0 into 0 9.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.870 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.871 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.872 * [backup-simplify]: Simplify (+ 0 0) into 0 9.872 * [backup-simplify]: Simplify 0 into 0 9.872 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (* 1 c)) into (+ (* 1/120 (pow c 5)) c) 9.872 * [backup-simplify]: Simplify (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) into (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) 9.872 * [approximate]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in (c) around 0 9.872 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in c 9.872 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 9.872 * [taylor]: Taking taylor expansion of 1/120 in c 9.872 * [backup-simplify]: Simplify 1/120 into 1/120 9.872 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 9.872 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.872 * [taylor]: Taking taylor expansion of c in c 9.872 * [backup-simplify]: Simplify 0 into 0 9.872 * [backup-simplify]: Simplify 1 into 1 9.873 * [backup-simplify]: Simplify (* 1 1) into 1 9.873 * [backup-simplify]: Simplify (* 1 1) into 1 9.873 * [backup-simplify]: Simplify (* 1 1) into 1 9.874 * [backup-simplify]: Simplify (/ 1 1) into 1 9.874 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.874 * [taylor]: Taking taylor expansion of c in c 9.874 * [backup-simplify]: Simplify 0 into 0 9.874 * [backup-simplify]: Simplify 1 into 1 9.874 * [backup-simplify]: Simplify (/ 1 1) into 1 9.874 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in c 9.874 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 9.874 * [taylor]: Taking taylor expansion of 1/120 in c 9.874 * [backup-simplify]: Simplify 1/120 into 1/120 9.874 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 9.874 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.874 * [taylor]: Taking taylor expansion of c in c 9.874 * [backup-simplify]: Simplify 0 into 0 9.874 * [backup-simplify]: Simplify 1 into 1 9.874 * [backup-simplify]: Simplify (* 1 1) into 1 9.874 * [backup-simplify]: Simplify (* 1 1) into 1 9.875 * [backup-simplify]: Simplify (* 1 1) into 1 9.875 * [backup-simplify]: Simplify (/ 1 1) into 1 9.875 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.875 * [taylor]: Taking taylor expansion of c in c 9.875 * [backup-simplify]: Simplify 0 into 0 9.875 * [backup-simplify]: Simplify 1 into 1 9.875 * [backup-simplify]: Simplify (/ 1 1) into 1 9.876 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 9.876 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 9.876 * [backup-simplify]: Simplify 1/120 into 1/120 9.876 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.877 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.877 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.878 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 9.878 * [backup-simplify]: Simplify (+ 0 0) into 0 9.878 * [backup-simplify]: Simplify 0 into 0 9.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.883 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 9.883 * [backup-simplify]: Simplify (+ 0 0) into 0 9.883 * [backup-simplify]: Simplify 0 into 0 9.884 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.887 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.888 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.889 * [backup-simplify]: Simplify (+ 0 0) into 0 9.889 * [backup-simplify]: Simplify 0 into 0 9.890 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.891 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.895 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.896 * [backup-simplify]: Simplify (+ 0 1) into 1 9.896 * [backup-simplify]: Simplify 1 into 1 9.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.898 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.900 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.901 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.902 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.903 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.904 * [backup-simplify]: Simplify (+ 0 0) into 0 9.904 * [backup-simplify]: Simplify 0 into 0 9.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.911 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.912 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.912 * [backup-simplify]: Simplify (+ 0 0) into 0 9.912 * [backup-simplify]: Simplify 0 into 0 9.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 9.916 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 9.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 9.919 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.921 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 9.922 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.922 * [backup-simplify]: Simplify (+ 0 0) into 0 9.922 * [backup-simplify]: Simplify 0 into 0 9.924 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 9.926 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 9.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 9.930 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.932 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 9.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.933 * [backup-simplify]: Simplify (+ 0 0) into 0 9.933 * [backup-simplify]: Simplify 0 into 0 9.935 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 9.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 9.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 9.941 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.943 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 9.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.945 * [backup-simplify]: Simplify (+ 0 0) into 0 9.945 * [backup-simplify]: Simplify 0 into 0 9.947 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 9.950 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 9.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 9.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.956 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 9.957 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.957 * [backup-simplify]: Simplify (+ 0 0) into 0 9.957 * [backup-simplify]: Simplify 0 into 0 9.958 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 c))) (* 1/120 (pow (/ 1 (/ 1 c)) 5))) into (+ (* 1/120 (pow c 5)) c) 9.958 * [backup-simplify]: Simplify (+ (* 1/120 (pow (/ 1 (- c)) 5)) (/ 1 (- c))) into (- (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c))) 9.958 * [approximate]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c))) in (c) around 0 9.958 * [taylor]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c))) in c 9.958 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in c 9.958 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 9.958 * [taylor]: Taking taylor expansion of 1/120 in c 9.958 * [backup-simplify]: Simplify 1/120 into 1/120 9.958 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 9.958 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.959 * [taylor]: Taking taylor expansion of c in c 9.959 * [backup-simplify]: Simplify 0 into 0 9.959 * [backup-simplify]: Simplify 1 into 1 9.959 * [backup-simplify]: Simplify (* 1 1) into 1 9.959 * [backup-simplify]: Simplify (* 1 1) into 1 9.960 * [backup-simplify]: Simplify (* 1 1) into 1 9.960 * [backup-simplify]: Simplify (/ 1 1) into 1 9.960 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.960 * [taylor]: Taking taylor expansion of c in c 9.960 * [backup-simplify]: Simplify 0 into 0 9.960 * [backup-simplify]: Simplify 1 into 1 9.961 * [backup-simplify]: Simplify (/ 1 1) into 1 9.961 * [taylor]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c))) in c 9.961 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in c 9.961 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 9.961 * [taylor]: Taking taylor expansion of 1/120 in c 9.961 * [backup-simplify]: Simplify 1/120 into 1/120 9.961 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 9.961 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.961 * [taylor]: Taking taylor expansion of c in c 9.961 * [backup-simplify]: Simplify 0 into 0 9.961 * [backup-simplify]: Simplify 1 into 1 9.961 * [backup-simplify]: Simplify (* 1 1) into 1 9.962 * [backup-simplify]: Simplify (* 1 1) into 1 9.962 * [backup-simplify]: Simplify (* 1 1) into 1 9.963 * [backup-simplify]: Simplify (/ 1 1) into 1 9.963 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.963 * [taylor]: Taking taylor expansion of c in c 9.963 * [backup-simplify]: Simplify 0 into 0 9.963 * [backup-simplify]: Simplify 1 into 1 9.963 * [backup-simplify]: Simplify (/ 1 1) into 1 9.964 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 9.964 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 9.965 * [backup-simplify]: Simplify (- 1/120) into -1/120 9.965 * [backup-simplify]: Simplify -1/120 into -1/120 9.965 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.966 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.976 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.977 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.978 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 9.978 * [backup-simplify]: Simplify (+ 0 0) into 0 9.978 * [backup-simplify]: Simplify (- 0) into 0 9.978 * [backup-simplify]: Simplify 0 into 0 9.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.981 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.983 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.984 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 9.984 * [backup-simplify]: Simplify (+ 0 0) into 0 9.984 * [backup-simplify]: Simplify (- 0) into 0 9.984 * [backup-simplify]: Simplify 0 into 0 9.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.987 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.987 * [backup-simplify]: Simplify (+ 0 0) into 0 9.988 * [backup-simplify]: Simplify (- 0) into 0 9.988 * [backup-simplify]: Simplify 0 into 0 9.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.990 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.991 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.991 * [backup-simplify]: Simplify (+ 0 1) into 1 9.991 * [backup-simplify]: Simplify (- 1) into -1 9.991 * [backup-simplify]: Simplify -1 into -1 9.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.994 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.995 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.996 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.996 * [backup-simplify]: Simplify (+ 0 0) into 0 9.996 * [backup-simplify]: Simplify (- 0) into 0 9.996 * [backup-simplify]: Simplify 0 into 0 9.997 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.998 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.999 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.999 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.000 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.001 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.001 * [backup-simplify]: Simplify (+ 0 0) into 0 10.001 * [backup-simplify]: Simplify (- 0) into 0 10.001 * [backup-simplify]: Simplify 0 into 0 10.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.005 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.006 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.006 * [backup-simplify]: Simplify (+ 0 0) into 0 10.006 * [backup-simplify]: Simplify (- 0) into 0 10.006 * [backup-simplify]: Simplify 0 into 0 10.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 10.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 10.010 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 10.010 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.011 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 10.012 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.012 * [backup-simplify]: Simplify (+ 0 0) into 0 10.013 * [backup-simplify]: Simplify (- 0) into 0 10.013 * [backup-simplify]: Simplify 0 into 0 10.015 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 10.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 10.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 10.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.022 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 10.023 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.024 * [backup-simplify]: Simplify (+ 0 0) into 0 10.024 * [backup-simplify]: Simplify (- 0) into 0 10.024 * [backup-simplify]: Simplify 0 into 0 10.026 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 10.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 10.031 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 10.032 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.034 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 10.035 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.036 * [backup-simplify]: Simplify (+ 0 0) into 0 10.036 * [backup-simplify]: Simplify (- 0) into 0 10.036 * [backup-simplify]: Simplify 0 into 0 10.037 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- c)))) (* -1/120 (pow (/ 1 (/ 1 (- c))) 5))) into (+ (* 1/120 (pow c 5)) c) 10.037 * * * [progress]: simplifying candidates 10.039 * [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/120 (pow c 5))) (exp c)) (log (+ (* 1/120 (pow c 5)) c)) (exp (+ (* 1/120 (pow c 5)) c)) (* (cbrt (+ (* 1/120 (pow c 5)) c)) (cbrt (+ (* 1/120 (pow c 5)) c))) (cbrt (+ (* 1/120 (pow c 5)) c)) (* (* (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/120 (pow c 5)) c)) (sqrt (+ (* 1/120 (pow c 5)) c)) (sqrt (+ (* 1/120 (pow c 5)) c)) (+ (pow (* 1/120 (pow c 5)) 3) (pow c 3)) (+ (* (* 1/120 (pow c 5)) (* 1/120 (pow c 5))) (- (* c c) (* (* 1/120 (pow c 5)) c))) (- (* (* 1/120 (pow c 5)) (* 1/120 (pow c 5))) (* c c)) (- (* 1/120 (pow c 5)) c) (* 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/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c) 10.042 * * [simplify]: Extracting # 0 : cost 0 10.042 * * [simplify]: Extracting # 1 : cost 0 10.042 * * [simplify]: Extracting # 2 : cost 0 10.042 * * [simplify]: Extracting # 3 : cost 0 10.043 * * [simplify]: Extracting # 4 : cost 0 10.043 * * [simplify]: Extracting # 5 : cost 0 10.043 * * [simplify]: Extracting # 6 : cost 0 10.044 * * [simplify]: iteration 0 : 113 enodes (cost 650 ) 10.120 * * [simplify]: Extracting # 0 : cost 0 10.120 * * [simplify]: Extracting # 1 : cost 0 10.121 * * [simplify]: Extracting # 2 : cost 0 10.121 * * [simplify]: Extracting # 3 : cost 0 10.122 * * [simplify]: Extracting # 4 : cost 0 10.123 * * [simplify]: Extracting # 5 : cost 0 10.123 * * [simplify]: iteration 1 : 266 enodes (cost 563 ) 10.263 * * [simplify]: Extracting # 0 : cost 0 10.264 * * [simplify]: Extracting # 1 : cost 0 10.265 * * [simplify]: Extracting # 2 : cost 0 10.266 * * [simplify]: Extracting # 3 : cost 0 10.266 * * [simplify]: Extracting # 4 : cost 0 10.267 * * [simplify]: iteration 2 : 694 enodes (cost 533 ) 10.817 * * [simplify]: Extracting # 0 : cost 0 10.820 * * [simplify]: Extracting # 1 : cost 0 10.824 * * [simplify]: Extracting # 2 : cost 0 10.829 * * [simplify]: Extracting # 3 : cost 0 10.835 * * [simplify]: Extracting # 4 : cost 0 10.841 * * [simplify]: Extracting # 5 : cost 0 10.854 * * [simplify]: iteration 3 : 2759 enodes (cost 533 ) 12.288 * * [simplify]: Extracting # 0 : cost 0 12.299 * * [simplify]: Extracting # 1 : cost 0 12.320 * * [simplify]: Extracting # 2 : cost 0 12.331 * * [simplify]: Extracting # 3 : cost 0 12.343 * * [simplify]: Extracting # 4 : cost 0 12.355 * * [simplify]: iteration done: 5001 enodes (cost 533 ) 12.356 * [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 (pow c 3) 3) 1/216) (* (cbrt (* 1/6 (pow c 3))) (cbrt (* 1/6 (pow c 3)))) (cbrt (* 1/6 (pow c 3))) (* (pow (pow c 3) 3) 1/216) (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 (* 1/120 (pow c 5)) 3) (* (cbrt (* 1/120 (pow c 5))) (cbrt (* 1/120 (pow c 5)))) (cbrt (* 1/120 (pow c 5))) (pow (* 1/120 (pow c 5)) 3) (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/120 (pow c 5)) c)) (log (+ (* 1/120 (pow c 5)) c)) (exp (+ (* 1/120 (pow c 5)) c)) (* (cbrt (+ (* 1/120 (pow c 5)) c)) (cbrt (+ (* 1/120 (pow c 5)) c))) (cbrt (+ (* 1/120 (pow c 5)) c)) (pow (+ (* 1/120 (pow c 5)) c) 3) (sqrt (+ (* 1/120 (pow c 5)) c)) (sqrt (+ (* 1/120 (pow c 5)) c)) (+ (pow (* 1/120 (pow c 5)) 3) (pow c 3)) (+ (* 1/14400 (pow c 10)) (* c (- c (* 1/120 (pow c 5))))) (- (* 1/14400 (pow c 10)) (* c c)) (- (* 1/120 (pow c 5)) c) (* 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/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c) 12.357 * * * [progress]: adding candidates to table 12.677 * * [progress]: iteration 3 / 4 12.677 * * * [progress]: picking best candidate 12.684 * * * * [pick]: Picked # 12.684 * * * [progress]: localizing error 12.698 * * * [progress]: generating rewritten candidates 12.698 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 12.701 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 12.705 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 12.708 * * * [progress]: generating series expansions 12.708 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 12.708 * [backup-simplify]: Simplify (cbrt (pow (sinh c) 3)) into (sinh c) 12.708 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 12.708 * [taylor]: Taking taylor expansion of (sinh c) in c 12.708 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 12.708 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 12.708 * [taylor]: Taking taylor expansion of (exp c) in c 12.708 * [taylor]: Taking taylor expansion of c in c 12.708 * [backup-simplify]: Simplify 0 into 0 12.708 * [backup-simplify]: Simplify 1 into 1 12.708 * [backup-simplify]: Simplify (exp 0) into 1 12.708 * [taylor]: Taking taylor expansion of (exp (- c)) in c 12.708 * [taylor]: Taking taylor expansion of (- c) in c 12.708 * [taylor]: Taking taylor expansion of c in c 12.708 * [backup-simplify]: Simplify 0 into 0 12.708 * [backup-simplify]: Simplify 1 into 1 12.709 * [backup-simplify]: Simplify (- 0) into 0 12.710 * [backup-simplify]: Simplify (- 1) into -1 12.710 * [backup-simplify]: Simplify (exp 0) into 1 12.710 * [taylor]: Taking taylor expansion of 2 in c 12.710 * [backup-simplify]: Simplify 2 into 2 12.710 * [backup-simplify]: Simplify (- 1) into -1 12.711 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.712 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.712 * [backup-simplify]: Simplify (- 1) into -1 12.713 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.714 * [backup-simplify]: Simplify (- -1) into 1 12.714 * [backup-simplify]: Simplify (+ 1 1) into 2 12.715 * [backup-simplify]: Simplify (/ 2 2) into 1 12.715 * [taylor]: Taking taylor expansion of (sinh c) in c 12.715 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 12.715 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 12.715 * [taylor]: Taking taylor expansion of (exp c) in c 12.715 * [taylor]: Taking taylor expansion of c in c 12.715 * [backup-simplify]: Simplify 0 into 0 12.715 * [backup-simplify]: Simplify 1 into 1 12.715 * [backup-simplify]: Simplify (exp 0) into 1 12.715 * [taylor]: Taking taylor expansion of (exp (- c)) in c 12.715 * [taylor]: Taking taylor expansion of (- c) in c 12.715 * [taylor]: Taking taylor expansion of c in c 12.715 * [backup-simplify]: Simplify 0 into 0 12.715 * [backup-simplify]: Simplify 1 into 1 12.716 * [backup-simplify]: Simplify (- 0) into 0 12.716 * [backup-simplify]: Simplify (- 1) into -1 12.716 * [backup-simplify]: Simplify (exp 0) into 1 12.716 * [taylor]: Taking taylor expansion of 2 in c 12.716 * [backup-simplify]: Simplify 2 into 2 12.717 * [backup-simplify]: Simplify (- 1) into -1 12.717 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.718 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.719 * [backup-simplify]: Simplify (- 1) into -1 12.720 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.720 * [backup-simplify]: Simplify (- -1) into 1 12.721 * [backup-simplify]: Simplify (+ 1 1) into 2 12.721 * [backup-simplify]: Simplify (/ 2 2) into 1 12.721 * [backup-simplify]: Simplify 1 into 1 12.723 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.723 * [backup-simplify]: Simplify (- 1) into -1 12.724 * [backup-simplify]: Simplify (- 0) into 0 12.726 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.726 * [backup-simplify]: Simplify (- 1/2) into -1/2 12.726 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 12.727 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 12.727 * [backup-simplify]: Simplify 0 into 0 12.730 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 12.731 * [backup-simplify]: Simplify (- 1) into -1 12.731 * [backup-simplify]: Simplify (- 1) into -1 12.731 * [backup-simplify]: Simplify (- 0) into 0 12.732 * [backup-simplify]: Simplify (- 0) into 0 12.734 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 12.735 * [backup-simplify]: Simplify (- -1/6) into 1/6 12.735 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 12.736 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 12.736 * [backup-simplify]: Simplify 1/6 into 1/6 12.741 * [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 12.741 * [backup-simplify]: Simplify (- 1) into -1 12.742 * [backup-simplify]: Simplify (- 1) into -1 12.742 * [backup-simplify]: Simplify (- 0) into 0 12.743 * [backup-simplify]: Simplify (- 1) into -1 12.743 * [backup-simplify]: Simplify (- 0) into 0 12.743 * [backup-simplify]: Simplify (- 0) into 0 12.744 * [backup-simplify]: Simplify (- 0) into 0 12.748 * [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 12.749 * [backup-simplify]: Simplify (- 1/24) into -1/24 12.749 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 12.751 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 12.751 * [backup-simplify]: Simplify 0 into 0 12.757 * [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 12.757 * [backup-simplify]: Simplify (- 1) into -1 12.758 * [backup-simplify]: Simplify (- 1) into -1 12.758 * [backup-simplify]: Simplify (- 0) into 0 12.759 * [backup-simplify]: Simplify (- 1) into -1 12.759 * [backup-simplify]: Simplify (- 0) into 0 12.760 * [backup-simplify]: Simplify (- 1) into -1 12.760 * [backup-simplify]: Simplify (- 0) into 0 12.760 * [backup-simplify]: Simplify (- 1) into -1 12.761 * [backup-simplify]: Simplify (- 0) into 0 12.761 * [backup-simplify]: Simplify (- 0) into 0 12.761 * [backup-simplify]: Simplify (- 0) into 0 12.762 * [backup-simplify]: Simplify (- 0) into 0 12.768 * [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 12.768 * [backup-simplify]: Simplify (- -1/120) into 1/120 12.769 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 12.770 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 12.770 * [backup-simplify]: Simplify 1/120 into 1/120 12.771 * [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)) 12.771 * [backup-simplify]: Simplify (cbrt (pow (sinh (/ 1 c)) 3)) into (sinh (/ 1 c)) 12.771 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 12.771 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 12.771 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 12.772 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 12.772 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 12.772 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.772 * [taylor]: Taking taylor expansion of c in c 12.772 * [backup-simplify]: Simplify 0 into 0 12.772 * [backup-simplify]: Simplify 1 into 1 12.772 * [backup-simplify]: Simplify (/ 1 1) into 1 12.772 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 12.772 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 12.772 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 12.772 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.772 * [taylor]: Taking taylor expansion of c in c 12.772 * [backup-simplify]: Simplify 0 into 0 12.772 * [backup-simplify]: Simplify 1 into 1 12.773 * [backup-simplify]: Simplify (/ 1 1) into 1 12.773 * [backup-simplify]: Simplify (- 1) into -1 12.773 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 12.773 * [taylor]: Taking taylor expansion of 2 in c 12.773 * [backup-simplify]: Simplify 2 into 2 12.773 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 12.774 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 12.774 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 12.774 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 12.774 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 12.774 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 12.774 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 12.774 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.774 * [taylor]: Taking taylor expansion of c in c 12.774 * [backup-simplify]: Simplify 0 into 0 12.774 * [backup-simplify]: Simplify 1 into 1 12.775 * [backup-simplify]: Simplify (/ 1 1) into 1 12.775 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 12.775 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 12.775 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 12.775 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.775 * [taylor]: Taking taylor expansion of c in c 12.775 * [backup-simplify]: Simplify 0 into 0 12.775 * [backup-simplify]: Simplify 1 into 1 12.775 * [backup-simplify]: Simplify (/ 1 1) into 1 12.776 * [backup-simplify]: Simplify (- 1) into -1 12.776 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 12.776 * [taylor]: Taking taylor expansion of 2 in c 12.776 * [backup-simplify]: Simplify 2 into 2 12.776 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 12.776 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 12.776 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 12.777 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 12.777 * [backup-simplify]: Simplify (- 0) into 0 12.777 * [backup-simplify]: Simplify (+ 0 0) into 0 12.778 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 12.779 * [backup-simplify]: Simplify 0 into 0 12.779 * [backup-simplify]: Simplify (- 0) into 0 12.779 * [backup-simplify]: Simplify (+ 0 0) into 0 12.781 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.781 * [backup-simplify]: Simplify 0 into 0 12.781 * [backup-simplify]: Simplify (- 0) into 0 12.782 * [backup-simplify]: Simplify (+ 0 0) into 0 12.784 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.784 * [backup-simplify]: Simplify 0 into 0 12.784 * [backup-simplify]: Simplify (- 0) into 0 12.785 * [backup-simplify]: Simplify (+ 0 0) into 0 12.787 * [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.787 * [backup-simplify]: Simplify 0 into 0 12.787 * [backup-simplify]: Simplify (- 0) into 0 12.788 * [backup-simplify]: Simplify (+ 0 0) into 0 12.791 * [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.791 * [backup-simplify]: Simplify 0 into 0 12.791 * [backup-simplify]: Simplify (- 0) into 0 12.792 * [backup-simplify]: Simplify (+ 0 0) into 0 12.795 * [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.795 * [backup-simplify]: Simplify 0 into 0 12.795 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 12.796 * [backup-simplify]: Simplify (cbrt (pow (sinh (/ 1 (- c))) 3)) into (sinh (/ -1 c)) 12.796 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 12.796 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 12.796 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 12.796 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 12.796 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 12.796 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.796 * [taylor]: Taking taylor expansion of -1 in c 12.796 * [backup-simplify]: Simplify -1 into -1 12.796 * [taylor]: Taking taylor expansion of c in c 12.796 * [backup-simplify]: Simplify 0 into 0 12.796 * [backup-simplify]: Simplify 1 into 1 12.797 * [backup-simplify]: Simplify (/ -1 1) into -1 12.797 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 12.797 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 12.797 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 12.797 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.797 * [taylor]: Taking taylor expansion of -1 in c 12.797 * [backup-simplify]: Simplify -1 into -1 12.797 * [taylor]: Taking taylor expansion of c in c 12.797 * [backup-simplify]: Simplify 0 into 0 12.797 * [backup-simplify]: Simplify 1 into 1 12.797 * [backup-simplify]: Simplify (/ -1 1) into -1 12.798 * [backup-simplify]: Simplify (- -1) into 1 12.798 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 12.798 * [taylor]: Taking taylor expansion of 2 in c 12.798 * [backup-simplify]: Simplify 2 into 2 12.798 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 12.798 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 12.798 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 12.798 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 12.798 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 12.799 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 12.799 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 12.799 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.799 * [taylor]: Taking taylor expansion of -1 in c 12.799 * [backup-simplify]: Simplify -1 into -1 12.799 * [taylor]: Taking taylor expansion of c in c 12.799 * [backup-simplify]: Simplify 0 into 0 12.799 * [backup-simplify]: Simplify 1 into 1 12.799 * [backup-simplify]: Simplify (/ -1 1) into -1 12.799 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 12.799 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 12.799 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 12.799 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.799 * [taylor]: Taking taylor expansion of -1 in c 12.799 * [backup-simplify]: Simplify -1 into -1 12.799 * [taylor]: Taking taylor expansion of c in c 12.799 * [backup-simplify]: Simplify 0 into 0 12.799 * [backup-simplify]: Simplify 1 into 1 12.800 * [backup-simplify]: Simplify (/ -1 1) into -1 12.800 * [backup-simplify]: Simplify (- -1) into 1 12.800 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 12.800 * [taylor]: Taking taylor expansion of 2 in c 12.801 * [backup-simplify]: Simplify 2 into 2 12.801 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 12.801 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 12.801 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 12.801 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 12.802 * [backup-simplify]: Simplify (- 0) into 0 12.802 * [backup-simplify]: Simplify (+ 0 0) into 0 12.803 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 12.803 * [backup-simplify]: Simplify 0 into 0 12.804 * [backup-simplify]: Simplify (- 0) into 0 12.804 * [backup-simplify]: Simplify (+ 0 0) into 0 12.806 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.806 * [backup-simplify]: Simplify 0 into 0 12.807 * [backup-simplify]: Simplify (- 0) into 0 12.807 * [backup-simplify]: Simplify (+ 0 0) into 0 12.809 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.810 * [backup-simplify]: Simplify 0 into 0 12.810 * [backup-simplify]: Simplify (- 0) into 0 12.810 * [backup-simplify]: Simplify (+ 0 0) into 0 12.823 * [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.823 * [backup-simplify]: Simplify 0 into 0 12.824 * [backup-simplify]: Simplify (- 0) into 0 12.824 * [backup-simplify]: Simplify (+ 0 0) into 0 12.826 * [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.826 * [backup-simplify]: Simplify 0 into 0 12.826 * [backup-simplify]: Simplify (- 0) into 0 12.826 * [backup-simplify]: Simplify (+ 0 0) into 0 12.828 * [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.828 * [backup-simplify]: Simplify 0 into 0 12.829 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 12.829 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 12.829 * [backup-simplify]: Simplify (pow (sinh c) 3) into (pow (sinh c) 3) 12.829 * [approximate]: Taking taylor expansion of (pow (sinh c) 3) in (c) around 0 12.829 * [taylor]: Taking taylor expansion of (pow (sinh c) 3) in c 12.829 * [taylor]: Taking taylor expansion of (sinh c) in c 12.829 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 12.829 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 12.829 * [taylor]: Taking taylor expansion of (exp c) in c 12.829 * [taylor]: Taking taylor expansion of c in c 12.829 * [backup-simplify]: Simplify 0 into 0 12.829 * [backup-simplify]: Simplify 1 into 1 12.829 * [backup-simplify]: Simplify (exp 0) into 1 12.829 * [taylor]: Taking taylor expansion of (exp (- c)) in c 12.829 * [taylor]: Taking taylor expansion of (- c) in c 12.829 * [taylor]: Taking taylor expansion of c in c 12.829 * [backup-simplify]: Simplify 0 into 0 12.829 * [backup-simplify]: Simplify 1 into 1 12.829 * [backup-simplify]: Simplify (- 0) into 0 12.830 * [backup-simplify]: Simplify (- 1) into -1 12.830 * [backup-simplify]: Simplify (exp 0) into 1 12.830 * [taylor]: Taking taylor expansion of 2 in c 12.830 * [backup-simplify]: Simplify 2 into 2 12.830 * [backup-simplify]: Simplify (- 1) into -1 12.830 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.831 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.831 * [backup-simplify]: Simplify (- 1) into -1 12.832 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.832 * [backup-simplify]: Simplify (- -1) into 1 12.832 * [backup-simplify]: Simplify (+ 1 1) into 2 12.833 * [backup-simplify]: Simplify (/ 2 2) into 1 12.833 * [taylor]: Taking taylor expansion of (pow (sinh c) 3) in c 12.833 * [taylor]: Taking taylor expansion of (sinh c) in c 12.833 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 12.833 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 12.833 * [taylor]: Taking taylor expansion of (exp c) in c 12.833 * [taylor]: Taking taylor expansion of c in c 12.833 * [backup-simplify]: Simplify 0 into 0 12.833 * [backup-simplify]: Simplify 1 into 1 12.833 * [backup-simplify]: Simplify (exp 0) into 1 12.833 * [taylor]: Taking taylor expansion of (exp (- c)) in c 12.833 * [taylor]: Taking taylor expansion of (- c) in c 12.833 * [taylor]: Taking taylor expansion of c in c 12.833 * [backup-simplify]: Simplify 0 into 0 12.833 * [backup-simplify]: Simplify 1 into 1 12.833 * [backup-simplify]: Simplify (- 0) into 0 12.834 * [backup-simplify]: Simplify (- 1) into -1 12.834 * [backup-simplify]: Simplify (exp 0) into 1 12.834 * [taylor]: Taking taylor expansion of 2 in c 12.834 * [backup-simplify]: Simplify 2 into 2 12.834 * [backup-simplify]: Simplify (- 1) into -1 12.834 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.835 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.835 * [backup-simplify]: Simplify (- 1) into -1 12.836 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.836 * [backup-simplify]: Simplify (- -1) into 1 12.836 * [backup-simplify]: Simplify (+ 1 1) into 2 12.836 * [backup-simplify]: Simplify (/ 2 2) into 1 12.837 * [backup-simplify]: Simplify (* 1 1) into 1 12.837 * [backup-simplify]: Simplify (* 1 1) into 1 12.837 * [backup-simplify]: Simplify 1 into 1 12.838 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.838 * [backup-simplify]: Simplify (- 1) into -1 12.838 * [backup-simplify]: Simplify (- 0) into 0 12.839 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.839 * [backup-simplify]: Simplify (- 1/2) into -1/2 12.840 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 12.840 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 12.840 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.841 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.841 * [backup-simplify]: Simplify 0 into 0 12.842 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 12.842 * [backup-simplify]: Simplify (- 1) into -1 12.843 * [backup-simplify]: Simplify (- 1) into -1 12.843 * [backup-simplify]: Simplify (- 0) into 0 12.843 * [backup-simplify]: Simplify (- 0) into 0 12.844 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 12.845 * [backup-simplify]: Simplify (- -1/6) into 1/6 12.845 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 12.846 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 12.846 * [backup-simplify]: Simplify (+ (* 1 1/6) (+ (* 0 0) (* 1/6 1))) into 1/3 12.847 * [backup-simplify]: Simplify (+ (* 1 1/3) (+ (* 0 0) (* 1/6 1))) into 1/2 12.847 * [backup-simplify]: Simplify 1/2 into 1/2 12.849 * [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 12.849 * [backup-simplify]: Simplify (- 1) into -1 12.849 * [backup-simplify]: Simplify (- 1) into -1 12.850 * [backup-simplify]: Simplify (- 0) into 0 12.850 * [backup-simplify]: Simplify (- 1) into -1 12.850 * [backup-simplify]: Simplify (- 0) into 0 12.850 * [backup-simplify]: Simplify (- 0) into 0 12.851 * [backup-simplify]: Simplify (- 0) into 0 12.853 * [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 12.853 * [backup-simplify]: Simplify (- 1/24) into -1/24 12.853 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 12.854 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 12.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/6) (+ (* 1/6 0) (* 0 1)))) into 0 12.856 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/3) (+ (* 1/6 0) (* 0 1)))) into 0 12.856 * [backup-simplify]: Simplify 0 into 0 12.859 * [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 12.859 * [backup-simplify]: Simplify (- 1) into -1 12.859 * [backup-simplify]: Simplify (- 1) into -1 12.860 * [backup-simplify]: Simplify (- 0) into 0 12.860 * [backup-simplify]: Simplify (- 1) into -1 12.860 * [backup-simplify]: Simplify (- 0) into 0 12.860 * [backup-simplify]: Simplify (- 1) into -1 12.860 * [backup-simplify]: Simplify (- 0) into 0 12.861 * [backup-simplify]: Simplify (- 1) into -1 12.861 * [backup-simplify]: Simplify (- 0) into 0 12.861 * [backup-simplify]: Simplify (- 0) into 0 12.861 * [backup-simplify]: Simplify (- 0) into 0 12.862 * [backup-simplify]: Simplify (- 0) into 0 12.865 * [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 12.865 * [backup-simplify]: Simplify (- -1/120) into 1/120 12.865 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 12.866 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 12.867 * [backup-simplify]: Simplify (+ (* 1 1/120) (+ (* 0 0) (+ (* 1/6 1/6) (+ (* 0 0) (* 1/120 1))))) into 2/45 12.868 * [backup-simplify]: Simplify (+ (* 1 2/45) (+ (* 0 0) (+ (* 1/6 1/3) (+ (* 0 0) (* 1/120 1))))) into 13/120 12.868 * [backup-simplify]: Simplify 13/120 into 13/120 12.869 * [backup-simplify]: Simplify (+ (* 13/120 (pow c 7)) (+ (* 1/2 (pow c 5)) (* 1 (pow c 3)))) into (+ (pow c 3) (+ (* 1/2 (pow c 5)) (* 13/120 (pow c 7)))) 12.869 * [backup-simplify]: Simplify (pow (sinh (/ 1 c)) 3) into (pow (sinh (/ 1 c)) 3) 12.869 * [approximate]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in (c) around 0 12.869 * [taylor]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in c 12.869 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 12.869 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 12.869 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 12.869 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 12.869 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.869 * [taylor]: Taking taylor expansion of c in c 12.869 * [backup-simplify]: Simplify 0 into 0 12.869 * [backup-simplify]: Simplify 1 into 1 12.869 * [backup-simplify]: Simplify (/ 1 1) into 1 12.869 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 12.869 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 12.869 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 12.869 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.869 * [taylor]: Taking taylor expansion of c in c 12.869 * [backup-simplify]: Simplify 0 into 0 12.869 * [backup-simplify]: Simplify 1 into 1 12.870 * [backup-simplify]: Simplify (/ 1 1) into 1 12.870 * [backup-simplify]: Simplify (- 1) into -1 12.870 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 12.870 * [taylor]: Taking taylor expansion of 2 in c 12.870 * [backup-simplify]: Simplify 2 into 2 12.870 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 12.870 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 12.870 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 12.870 * [taylor]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in c 12.870 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 12.870 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 12.870 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 12.870 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 12.870 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.870 * [taylor]: Taking taylor expansion of c in c 12.870 * [backup-simplify]: Simplify 0 into 0 12.870 * [backup-simplify]: Simplify 1 into 1 12.871 * [backup-simplify]: Simplify (/ 1 1) into 1 12.871 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 12.871 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 12.871 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 12.871 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.871 * [taylor]: Taking taylor expansion of c in c 12.871 * [backup-simplify]: Simplify 0 into 0 12.871 * [backup-simplify]: Simplify 1 into 1 12.871 * [backup-simplify]: Simplify (/ 1 1) into 1 12.871 * [backup-simplify]: Simplify (- 1) into -1 12.871 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 12.871 * [taylor]: Taking taylor expansion of 2 in c 12.871 * [backup-simplify]: Simplify 2 into 2 12.872 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 12.872 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 12.872 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 12.872 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)) 12.873 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))) into (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) 12.873 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) into (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) 12.873 * [backup-simplify]: Simplify (- 0) into 0 12.874 * [backup-simplify]: Simplify (+ 0 0) into 0 12.875 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 12.875 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))) into 0 12.876 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))) into 0 12.876 * [backup-simplify]: Simplify 0 into 0 12.876 * [backup-simplify]: Simplify (- 0) into 0 12.877 * [backup-simplify]: Simplify (+ 0 0) into 0 12.878 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.879 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))) into 0 12.880 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))) into 0 12.880 * [backup-simplify]: Simplify 0 into 0 12.880 * [backup-simplify]: Simplify (- 0) into 0 12.881 * [backup-simplify]: Simplify (+ 0 0) into 0 12.883 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.884 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))))) into 0 12.885 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))))) into 0 12.885 * [backup-simplify]: Simplify 0 into 0 12.886 * [backup-simplify]: Simplify (- 0) into 0 12.886 * [backup-simplify]: Simplify (+ 0 0) into 0 12.888 * [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.890 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))))) into 0 12.891 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))))) into 0 12.891 * [backup-simplify]: Simplify 0 into 0 12.892 * [backup-simplify]: Simplify (- 0) into 0 12.892 * [backup-simplify]: Simplify (+ 0 0) into 0 12.895 * [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.897 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))))))) into 0 12.899 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))))))) into 0 12.899 * [backup-simplify]: Simplify 0 into 0 12.899 * [backup-simplify]: Simplify (- 0) into 0 12.900 * [backup-simplify]: Simplify (+ 0 0) into 0 12.903 * [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.905 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))))))) into 0 12.907 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))))))) into 0 12.907 * [backup-simplify]: Simplify 0 into 0 12.908 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c))))) 3)) into (* 1/8 (pow (- (exp c) (exp (- c))) 3)) 12.908 * [backup-simplify]: Simplify (pow (sinh (/ 1 (- c))) 3) into (pow (sinh (/ -1 c)) 3) 12.908 * [approximate]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in (c) around 0 12.908 * [taylor]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in c 12.908 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 12.908 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 12.908 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 12.908 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 12.908 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.908 * [taylor]: Taking taylor expansion of -1 in c 12.908 * [backup-simplify]: Simplify -1 into -1 12.908 * [taylor]: Taking taylor expansion of c in c 12.908 * [backup-simplify]: Simplify 0 into 0 12.908 * [backup-simplify]: Simplify 1 into 1 12.909 * [backup-simplify]: Simplify (/ -1 1) into -1 12.909 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 12.909 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 12.909 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 12.909 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.909 * [taylor]: Taking taylor expansion of -1 in c 12.909 * [backup-simplify]: Simplify -1 into -1 12.909 * [taylor]: Taking taylor expansion of c in c 12.909 * [backup-simplify]: Simplify 0 into 0 12.909 * [backup-simplify]: Simplify 1 into 1 12.910 * [backup-simplify]: Simplify (/ -1 1) into -1 12.910 * [backup-simplify]: Simplify (- -1) into 1 12.910 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 12.910 * [taylor]: Taking taylor expansion of 2 in c 12.910 * [backup-simplify]: Simplify 2 into 2 12.910 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 12.910 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 12.911 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 12.911 * [taylor]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in c 12.911 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 12.911 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 12.911 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 12.911 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 12.911 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.911 * [taylor]: Taking taylor expansion of -1 in c 12.911 * [backup-simplify]: Simplify -1 into -1 12.911 * [taylor]: Taking taylor expansion of c in c 12.911 * [backup-simplify]: Simplify 0 into 0 12.911 * [backup-simplify]: Simplify 1 into 1 12.911 * [backup-simplify]: Simplify (/ -1 1) into -1 12.912 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 12.912 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 12.912 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 12.912 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.912 * [taylor]: Taking taylor expansion of -1 in c 12.912 * [backup-simplify]: Simplify -1 into -1 12.912 * [taylor]: Taking taylor expansion of c in c 12.912 * [backup-simplify]: Simplify 0 into 0 12.912 * [backup-simplify]: Simplify 1 into 1 12.912 * [backup-simplify]: Simplify (/ -1 1) into -1 12.913 * [backup-simplify]: Simplify (- -1) into 1 12.913 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 12.913 * [taylor]: Taking taylor expansion of 2 in c 12.913 * [backup-simplify]: Simplify 2 into 2 12.913 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 12.913 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 12.913 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 12.914 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)) 12.914 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))) into (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) 12.914 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) into (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) 12.915 * [backup-simplify]: Simplify (- 0) into 0 12.915 * [backup-simplify]: Simplify (+ 0 0) into 0 12.917 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 12.917 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))) into 0 12.917 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)))) into 0 12.917 * [backup-simplify]: Simplify 0 into 0 12.918 * [backup-simplify]: Simplify (- 0) into 0 12.918 * [backup-simplify]: Simplify (+ 0 0) into 0 12.920 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.920 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))) into 0 12.921 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))))) into 0 12.921 * [backup-simplify]: Simplify 0 into 0 12.921 * [backup-simplify]: Simplify (- 0) into 0 12.921 * [backup-simplify]: Simplify (+ 0 0) into 0 12.922 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.923 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))))) into 0 12.924 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)))))) into 0 12.924 * [backup-simplify]: Simplify 0 into 0 12.924 * [backup-simplify]: Simplify (- 0) into 0 12.924 * [backup-simplify]: Simplify (+ 0 0) into 0 12.926 * [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.932 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))))) into 0 12.933 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))))))) into 0 12.933 * [backup-simplify]: Simplify 0 into 0 12.933 * [backup-simplify]: Simplify (- 0) into 0 12.933 * [backup-simplify]: Simplify (+ 0 0) into 0 12.935 * [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.936 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))))))) into 0 12.937 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)))))))) into 0 12.938 * [backup-simplify]: Simplify 0 into 0 12.938 * [backup-simplify]: Simplify (- 0) into 0 12.938 * [backup-simplify]: Simplify (+ 0 0) into 0 12.941 * [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.942 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))))))) into 0 12.943 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))))))))) into 0 12.943 * [backup-simplify]: Simplify 0 into 0 12.944 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c))))) 3)) into (* 1/8 (pow (- (exp c) (exp (* -1 c))) 3)) 12.944 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 12.944 * [backup-simplify]: Simplify (sinh c) into (sinh c) 12.944 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 12.944 * [taylor]: Taking taylor expansion of (sinh c) in c 12.944 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 12.944 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 12.944 * [taylor]: Taking taylor expansion of (exp c) in c 12.944 * [taylor]: Taking taylor expansion of c in c 12.944 * [backup-simplify]: Simplify 0 into 0 12.944 * [backup-simplify]: Simplify 1 into 1 12.944 * [backup-simplify]: Simplify (exp 0) into 1 12.944 * [taylor]: Taking taylor expansion of (exp (- c)) in c 12.944 * [taylor]: Taking taylor expansion of (- c) in c 12.944 * [taylor]: Taking taylor expansion of c in c 12.944 * [backup-simplify]: Simplify 0 into 0 12.944 * [backup-simplify]: Simplify 1 into 1 12.944 * [backup-simplify]: Simplify (- 0) into 0 12.945 * [backup-simplify]: Simplify (- 1) into -1 12.945 * [backup-simplify]: Simplify (exp 0) into 1 12.945 * [taylor]: Taking taylor expansion of 2 in c 12.945 * [backup-simplify]: Simplify 2 into 2 12.945 * [backup-simplify]: Simplify (- 1) into -1 12.945 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.946 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.946 * [backup-simplify]: Simplify (- 1) into -1 12.947 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.947 * [backup-simplify]: Simplify (- -1) into 1 12.947 * [backup-simplify]: Simplify (+ 1 1) into 2 12.947 * [backup-simplify]: Simplify (/ 2 2) into 1 12.947 * [taylor]: Taking taylor expansion of (sinh c) in c 12.948 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 12.948 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 12.948 * [taylor]: Taking taylor expansion of (exp c) in c 12.948 * [taylor]: Taking taylor expansion of c in c 12.948 * [backup-simplify]: Simplify 0 into 0 12.948 * [backup-simplify]: Simplify 1 into 1 12.948 * [backup-simplify]: Simplify (exp 0) into 1 12.948 * [taylor]: Taking taylor expansion of (exp (- c)) in c 12.948 * [taylor]: Taking taylor expansion of (- c) in c 12.948 * [taylor]: Taking taylor expansion of c in c 12.948 * [backup-simplify]: Simplify 0 into 0 12.948 * [backup-simplify]: Simplify 1 into 1 12.948 * [backup-simplify]: Simplify (- 0) into 0 12.948 * [backup-simplify]: Simplify (- 1) into -1 12.948 * [backup-simplify]: Simplify (exp 0) into 1 12.948 * [taylor]: Taking taylor expansion of 2 in c 12.948 * [backup-simplify]: Simplify 2 into 2 12.949 * [backup-simplify]: Simplify (- 1) into -1 12.949 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.950 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.950 * [backup-simplify]: Simplify (- 1) into -1 12.950 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.951 * [backup-simplify]: Simplify (- -1) into 1 12.951 * [backup-simplify]: Simplify (+ 1 1) into 2 12.951 * [backup-simplify]: Simplify (/ 2 2) into 1 12.951 * [backup-simplify]: Simplify 1 into 1 12.952 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.952 * [backup-simplify]: Simplify (- 1) into -1 12.953 * [backup-simplify]: Simplify (- 0) into 0 12.954 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.954 * [backup-simplify]: Simplify (- 1/2) into -1/2 12.954 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 12.955 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 12.955 * [backup-simplify]: Simplify 0 into 0 12.956 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 12.956 * [backup-simplify]: Simplify (- 1) into -1 12.956 * [backup-simplify]: Simplify (- 1) into -1 12.957 * [backup-simplify]: Simplify (- 0) into 0 12.957 * [backup-simplify]: Simplify (- 0) into 0 12.958 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 12.959 * [backup-simplify]: Simplify (- -1/6) into 1/6 12.959 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 12.959 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 12.960 * [backup-simplify]: Simplify 1/6 into 1/6 12.962 * [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 12.962 * [backup-simplify]: Simplify (- 1) into -1 12.962 * [backup-simplify]: Simplify (- 1) into -1 12.963 * [backup-simplify]: Simplify (- 0) into 0 12.963 * [backup-simplify]: Simplify (- 1) into -1 12.963 * [backup-simplify]: Simplify (- 0) into 0 12.963 * [backup-simplify]: Simplify (- 0) into 0 12.964 * [backup-simplify]: Simplify (- 0) into 0 12.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 12.967 * [backup-simplify]: Simplify (- 1/24) into -1/24 12.967 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 12.968 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 12.968 * [backup-simplify]: Simplify 0 into 0 12.971 * [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 12.972 * [backup-simplify]: Simplify (- 1) into -1 12.972 * [backup-simplify]: Simplify (- 1) into -1 12.972 * [backup-simplify]: Simplify (- 0) into 0 12.972 * [backup-simplify]: Simplify (- 1) into -1 12.973 * [backup-simplify]: Simplify (- 0) into 0 12.973 * [backup-simplify]: Simplify (- 1) into -1 12.973 * [backup-simplify]: Simplify (- 0) into 0 12.973 * [backup-simplify]: Simplify (- 1) into -1 12.973 * [backup-simplify]: Simplify (- 0) into 0 12.974 * [backup-simplify]: Simplify (- 0) into 0 12.974 * [backup-simplify]: Simplify (- 0) into 0 12.974 * [backup-simplify]: Simplify (- 0) into 0 12.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 12.978 * [backup-simplify]: Simplify (- -1/120) into 1/120 12.978 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 12.979 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 12.979 * [backup-simplify]: Simplify 1/120 into 1/120 12.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)) 12.979 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 12.979 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 12.979 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 12.979 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 12.979 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 12.979 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 12.979 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.979 * [taylor]: Taking taylor expansion of c in c 12.979 * [backup-simplify]: Simplify 0 into 0 12.979 * [backup-simplify]: Simplify 1 into 1 12.980 * [backup-simplify]: Simplify (/ 1 1) into 1 12.980 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 12.980 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 12.980 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 12.980 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.980 * [taylor]: Taking taylor expansion of c in c 12.980 * [backup-simplify]: Simplify 0 into 0 12.980 * [backup-simplify]: Simplify 1 into 1 12.980 * [backup-simplify]: Simplify (/ 1 1) into 1 12.980 * [backup-simplify]: Simplify (- 1) into -1 12.980 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 12.980 * [taylor]: Taking taylor expansion of 2 in c 12.980 * [backup-simplify]: Simplify 2 into 2 12.981 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 12.981 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 12.981 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 12.981 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 12.981 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 12.981 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 12.981 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 12.981 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.981 * [taylor]: Taking taylor expansion of c in c 12.981 * [backup-simplify]: Simplify 0 into 0 12.981 * [backup-simplify]: Simplify 1 into 1 12.981 * [backup-simplify]: Simplify (/ 1 1) into 1 12.981 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 12.981 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 12.981 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 12.981 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.981 * [taylor]: Taking taylor expansion of c in c 12.981 * [backup-simplify]: Simplify 0 into 0 12.981 * [backup-simplify]: Simplify 1 into 1 12.982 * [backup-simplify]: Simplify (/ 1 1) into 1 12.982 * [backup-simplify]: Simplify (- 1) into -1 12.982 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 12.982 * [taylor]: Taking taylor expansion of 2 in c 12.982 * [backup-simplify]: Simplify 2 into 2 12.982 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 12.982 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 12.982 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 12.982 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 12.983 * [backup-simplify]: Simplify (- 0) into 0 12.983 * [backup-simplify]: Simplify (+ 0 0) into 0 12.983 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 12.984 * [backup-simplify]: Simplify 0 into 0 12.984 * [backup-simplify]: Simplify (- 0) into 0 12.984 * [backup-simplify]: Simplify (+ 0 0) into 0 12.985 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.985 * [backup-simplify]: Simplify 0 into 0 12.985 * [backup-simplify]: Simplify (- 0) into 0 12.985 * [backup-simplify]: Simplify (+ 0 0) into 0 12.987 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.987 * [backup-simplify]: Simplify 0 into 0 12.987 * [backup-simplify]: Simplify (- 0) into 0 12.987 * [backup-simplify]: Simplify (+ 0 0) into 0 12.989 * [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.989 * [backup-simplify]: Simplify 0 into 0 12.990 * [backup-simplify]: Simplify (- 0) into 0 12.990 * [backup-simplify]: Simplify (+ 0 0) into 0 12.993 * [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.993 * [backup-simplify]: Simplify 0 into 0 12.993 * [backup-simplify]: Simplify (- 0) into 0 12.994 * [backup-simplify]: Simplify (+ 0 0) into 0 12.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 12.997 * [backup-simplify]: Simplify 0 into 0 12.997 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 12.997 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 12.997 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 12.997 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 12.998 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 12.998 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 12.998 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 12.998 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.998 * [taylor]: Taking taylor expansion of -1 in c 12.998 * [backup-simplify]: Simplify -1 into -1 12.998 * [taylor]: Taking taylor expansion of c in c 12.998 * [backup-simplify]: Simplify 0 into 0 12.998 * [backup-simplify]: Simplify 1 into 1 12.998 * [backup-simplify]: Simplify (/ -1 1) into -1 12.998 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 12.998 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 12.998 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 12.998 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.998 * [taylor]: Taking taylor expansion of -1 in c 12.998 * [backup-simplify]: Simplify -1 into -1 12.998 * [taylor]: Taking taylor expansion of c in c 12.999 * [backup-simplify]: Simplify 0 into 0 12.999 * [backup-simplify]: Simplify 1 into 1 12.999 * [backup-simplify]: Simplify (/ -1 1) into -1 12.999 * [backup-simplify]: Simplify (- -1) into 1 12.999 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 12.999 * [taylor]: Taking taylor expansion of 2 in c 12.999 * [backup-simplify]: Simplify 2 into 2 13.000 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 13.000 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 13.000 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 13.000 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 13.000 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 13.000 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 13.000 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 13.000 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.000 * [taylor]: Taking taylor expansion of -1 in c 13.000 * [backup-simplify]: Simplify -1 into -1 13.000 * [taylor]: Taking taylor expansion of c in c 13.000 * [backup-simplify]: Simplify 0 into 0 13.000 * [backup-simplify]: Simplify 1 into 1 13.001 * [backup-simplify]: Simplify (/ -1 1) into -1 13.001 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 13.001 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 13.001 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 13.001 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.001 * [taylor]: Taking taylor expansion of -1 in c 13.001 * [backup-simplify]: Simplify -1 into -1 13.001 * [taylor]: Taking taylor expansion of c in c 13.001 * [backup-simplify]: Simplify 0 into 0 13.001 * [backup-simplify]: Simplify 1 into 1 13.001 * [backup-simplify]: Simplify (/ -1 1) into -1 13.002 * [backup-simplify]: Simplify (- -1) into 1 13.002 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 13.002 * [taylor]: Taking taylor expansion of 2 in c 13.002 * [backup-simplify]: Simplify 2 into 2 13.002 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 13.002 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 13.002 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 13.003 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 13.003 * [backup-simplify]: Simplify (- 0) into 0 13.003 * [backup-simplify]: Simplify (+ 0 0) into 0 13.004 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 13.004 * [backup-simplify]: Simplify 0 into 0 13.005 * [backup-simplify]: Simplify (- 0) into 0 13.005 * [backup-simplify]: Simplify (+ 0 0) into 0 13.006 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.007 * [backup-simplify]: Simplify 0 into 0 13.007 * [backup-simplify]: Simplify (- 0) into 0 13.007 * [backup-simplify]: Simplify (+ 0 0) into 0 13.009 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.009 * [backup-simplify]: Simplify 0 into 0 13.010 * [backup-simplify]: Simplify (- 0) into 0 13.010 * [backup-simplify]: Simplify (+ 0 0) into 0 13.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 13.012 * [backup-simplify]: Simplify 0 into 0 13.013 * [backup-simplify]: Simplify (- 0) into 0 13.013 * [backup-simplify]: Simplify (+ 0 0) into 0 13.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 13.016 * [backup-simplify]: Simplify 0 into 0 13.016 * [backup-simplify]: Simplify (- 0) into 0 13.017 * [backup-simplify]: Simplify (+ 0 0) into 0 13.020 * [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 13.020 * [backup-simplify]: Simplify 0 into 0 13.021 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 13.021 * * * [progress]: simplifying candidates 13.022 * [simplify]: Simplifying: (log (cbrt (pow (sinh c) 3))) (exp (cbrt (pow (sinh c) 3))) (cbrt (pow (* (cbrt (sinh c)) (cbrt (sinh c))) 3)) (cbrt (pow (cbrt (sinh c)) 3)) (cbrt (pow (sqrt (sinh c)) 3)) (cbrt (pow (sqrt (sinh c)) 3)) (cbrt (pow 1 3)) (cbrt (pow (sinh c) 3)) (cbrt (* (sinh c) (sinh c))) (cbrt (sinh c)) (cbrt (* (cbrt (pow (sinh c) 3)) (cbrt (pow (sinh c) 3)))) (cbrt (cbrt (pow (sinh c) 3))) (cbrt (pow (* (cbrt (sinh c)) (cbrt (sinh c))) 3)) (cbrt (pow (cbrt (sinh c)) 3)) (cbrt (pow (sqrt (sinh c)) 3)) (cbrt (pow (sqrt (sinh c)) 3)) (cbrt (pow 1 3)) (cbrt (pow (sinh c) 3)) (cbrt (sinh c)) (cbrt (* (sinh c) (sinh c))) (cbrt (sqrt (pow (sinh c) 3))) (cbrt (sqrt (pow (sinh c) 3))) (cbrt 1) (cbrt (pow (sinh c) 3)) (cbrt (pow (sinh c) (/ 3 2))) (cbrt (pow (sinh c) (/ 3 2))) (cbrt (pow (- (exp c) (exp (- c))) 3)) (cbrt (pow 2 3)) (* (cbrt (cbrt (pow (sinh c) 3))) (cbrt (cbrt (pow (sinh c) 3)))) (cbrt (cbrt (pow (sinh c) 3))) (* (* (cbrt (pow (sinh c) 3)) (cbrt (pow (sinh c) 3))) (cbrt (pow (sinh c) 3))) (sqrt (cbrt (pow (sinh c) 3))) (sqrt (cbrt (pow (sinh c) 3))) (* (log (sinh c)) 3) (* (log (sinh c)) 3) (* 1 3) (pow (sinh c) (* (cbrt 3) (cbrt 3))) (pow (sinh c) (sqrt 3)) (pow (sinh c) 1) (pow (* (cbrt (sinh c)) (cbrt (sinh c))) 3) (pow (cbrt (sinh c)) 3) (pow (sqrt (sinh c)) 3) (pow (sqrt (sinh c)) 3) (pow 1 3) (pow (sinh c) 3) (* (sinh c) (sinh c)) (log (pow (sinh c) 3)) (exp (pow (sinh c) 3)) (* (cbrt (pow (sinh c) 3)) (cbrt (pow (sinh c) 3))) (cbrt (pow (sinh c) 3)) (* (* (pow (sinh c) 3) (pow (sinh c) 3)) (pow (sinh c) 3)) (pow (* (cbrt (sinh c)) (cbrt (sinh c))) 3) (pow (cbrt (sinh c)) 3) (pow (sqrt (sinh c)) 3) (pow (sqrt (sinh c)) 3) (pow 1 3) (pow (sinh c) 3) (pow (- (exp c) (exp (- c))) 3) (pow 2 3) (* (sinh c) (sinh c)) (sqrt (pow (sinh c) 3)) (sqrt (pow (sinh c) 3)) (pow (sinh c) (/ 3 2)) (pow (sinh c) (/ 3 2)) (- (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)))) (+ (pow c 3) (+ (* 1/2 (pow c 5)) (* 13/120 (pow c 7)))) (* 1/8 (pow (- (exp c) (exp (- c))) 3)) (* 1/8 (pow (- (exp c) (exp (* -1 c))) 3)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) 13.024 * * [simplify]: Extracting # 0 : cost 0 13.024 * * [simplify]: Extracting # 1 : cost 0 13.024 * * [simplify]: Extracting # 2 : cost 0 13.025 * * [simplify]: Extracting # 3 : cost 0 13.025 * * [simplify]: Extracting # 4 : cost 0 13.025 * * [simplify]: Extracting # 5 : cost 0 13.025 * * [simplify]: Extracting # 6 : cost 0 13.025 * * [simplify]: Extracting # 7 : cost 0 13.026 * * [simplify]: Extracting # 8 : cost 0 13.026 * * [simplify]: iteration 0 : 84 enodes (cost 523 ) 13.065 * * [simplify]: Extracting # 0 : cost 0 13.065 * * [simplify]: Extracting # 1 : cost 0 13.065 * * [simplify]: Extracting # 2 : cost 0 13.065 * * [simplify]: Extracting # 3 : cost 0 13.065 * * [simplify]: Extracting # 4 : cost 0 13.065 * * [simplify]: iteration 1 : 177 enodes (cost 377 ) 13.134 * * [simplify]: Extracting # 0 : cost 0 13.135 * * [simplify]: Extracting # 1 : cost 0 13.135 * * [simplify]: Extracting # 2 : cost 0 13.136 * * [simplify]: Extracting # 3 : cost 0 13.136 * * [simplify]: Extracting # 4 : cost 0 13.137 * * [simplify]: iteration 2 : 453 enodes (cost 362 ) 13.914 * * [simplify]: Extracting # 0 : cost 0 13.919 * * [simplify]: Extracting # 1 : cost 0 13.925 * * [simplify]: Extracting # 2 : cost 0 13.930 * * [simplify]: Extracting # 3 : cost 0 13.935 * * [simplify]: Extracting # 4 : cost 0 13.939 * * [simplify]: Extracting # 5 : cost 0 13.944 * * [simplify]: iteration 3 : 2640 enodes (cost 354 ) 16.120 * * [simplify]: Extracting # 0 : cost 0 16.138 * * [simplify]: Extracting # 1 : cost 0 16.150 * * [simplify]: Extracting # 2 : cost 0 16.159 * * [simplify]: Extracting # 3 : cost 0 16.164 * * [simplify]: Extracting # 4 : cost 0 16.170 * * [simplify]: iteration done: 5001 enodes (cost 354 ) 16.171 * [simplify]: Simplified to: (log (sinh c)) (exp (sinh c)) (cbrt (pow (sinh c) 2)) (cbrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) 1 (sinh c) (cbrt (pow (sinh c) 2)) (cbrt (sinh c)) (cbrt (pow (sinh c) 2)) (cbrt (sinh c)) (cbrt (pow (sinh c) 2)) (cbrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) 1 (sinh c) (cbrt (sinh c)) (cbrt (pow (sinh c) 2)) (cbrt (sqrt (pow (sinh c) 3))) (cbrt (sqrt (pow (sinh c) 3))) 1 (sinh c) (sqrt (sinh c)) (sqrt (sinh c)) (- (exp c) (exp (- c))) 2 (cbrt (pow (sinh c) 2)) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (* (log (sinh c)) 3) (* (log (sinh c)) 3) 3 (pow (sinh c) (* (cbrt 3) (cbrt 3))) (pow (sinh c) (sqrt 3)) (sinh c) (pow (sinh c) 2) (sinh c) (pow (sinh c) 3/2) (pow (sinh c) 3/2) 1 (pow (sinh c) 3) (pow (sinh c) 2) (* (log (sinh c)) 3) (exp (pow (sinh c) 3)) (pow (sinh c) 2) (sinh c) (pow (pow (sinh c) 3) 3) (pow (sinh c) 2) (sinh c) (pow (sinh c) 3/2) (pow (sinh c) 3/2) 1 (pow (sinh c) 3) (pow (- (exp c) (exp (- c))) 3) 8 (pow (sinh c) 2) (sqrt (pow (sinh c) 3)) (sqrt (pow (sinh c) 3)) (pow (sinh c) 3/2) (pow (sinh c) 3/2) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (cbrt (pow (sinh c) 2)) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* (- (exp c) (exp (- c))) 1/2) (* (- (exp c) (exp (- c))) 1/2) (+ (pow c 3) (+ (* 1/2 (pow c 5)) (* 13/120 (pow c 7)))) (* (pow (- (exp c) (exp (- c))) 3) 1/8) (* (pow (- (exp c) (exp (- c))) 3) 1/8) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* (- (exp c) (exp (- c))) 1/2) (* (- (exp c) (exp (- c))) 1/2) 16.171 * * * [progress]: adding candidates to table 16.403 * [progress]: [Phase 3 of 3] Extracting. 16.403 * * [regime]: Finding splitpoints for: (# # #) 16.405 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c) 16.406 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (# # #) 16.452 * * * * [regimes]: Trying to branch on c from (# # #) 16.885 * * * [regime]: Found split indices: #