1.019 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.722 * * * [progress]: [2/2] Setting up program.
0.729 * [progress]: [Phase 2 of 3] Improving.
0.731 * [simplify]: Simplifying:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
0.732 * * [simplify]: iteration 0: 7 enodes
0.738 * * [simplify]: iteration 1: 18 enodes
0.742 * * [simplify]: iteration 2: 34 enodes
0.750 * * [simplify]: iteration 3: 71 enodes
0.774 * * [simplify]: iteration 4: 145 enodes
0.828 * * [simplify]: iteration 5: 330 enodes
1.041 * * [simplify]: iteration 6: 1119 enodes
3.660 * * [simplify]: iteration 7: 4460 enodes
5.404 * * [simplify]: iteration complete: 5013 enodes
5.404 * * [simplify]: Extracting #0: cost 1 inf + 0
5.405 * * [simplify]: Extracting #1: cost 3 inf + 0
5.405 * * [simplify]: Extracting #2: cost 13 inf + 0
5.407 * * [simplify]: Extracting #3: cost 193 inf + 2
5.419 * * [simplify]: Extracting #4: cost 520 inf + 1975
5.428 * * [simplify]: Extracting #5: cost 703 inf + 7242
5.448 * * [simplify]: Extracting #6: cost 421 inf + 88101
5.507 * * [simplify]: Extracting #7: cost 80 inf + 344486
5.601 * * [simplify]: Extracting #8: cost 2 inf + 395168
5.720 * * [simplify]: Extracting #9: cost 0 inf + 373402
5.846 * * [simplify]: Extracting #10: cost 0 inf + 365622
5.985 * * [simplify]: Extracting #11: cost 0 inf + 364363
6.138 * * [simplify]: Extracting #12: cost 0 inf + 364181
6.251 * [simplify]: Simplified to:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
6.254 * * [progress]: iteration 1 / 4
6.254 * * * [progress]: picking best candidate
6.262 * * * * [pick]: Picked  #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>
6.262 * * * [progress]: localizing error
6.288 * * * [progress]: generating rewritten candidates
6.288 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
6.295 * * * [progress]: generating series expansions
6.295 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
6.299 * [backup-simplify]: Simplify (sinh c) into (sinh c)
6.299 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
6.301 * [taylor]: Taking taylor expansion of (sinh c) in c
6.304 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
6.304 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
6.304 * [taylor]: Taking taylor expansion of (exp c) in c
6.304 * [taylor]: Taking taylor expansion of c in c
6.304 * [backup-simplify]: Simplify 0 into 0
6.304 * [backup-simplify]: Simplify 1 into 1
6.304 * [backup-simplify]: Simplify (exp 0) into 1
6.304 * [taylor]: Taking taylor expansion of (exp (- c)) in c
6.304 * [taylor]: Taking taylor expansion of (- c) in c
6.304 * [taylor]: Taking taylor expansion of c in c
6.304 * [backup-simplify]: Simplify 0 into 0
6.304 * [backup-simplify]: Simplify 1 into 1
6.305 * [backup-simplify]: Simplify (- 0) into 0
6.305 * [backup-simplify]: Simplify (- 1) into -1
6.305 * [backup-simplify]: Simplify (exp 0) into 1
6.306 * [taylor]: Taking taylor expansion of 2 in c
6.306 * [backup-simplify]: Simplify 2 into 2
6.307 * [backup-simplify]: Simplify (- 1) into -1
6.307 * [backup-simplify]: Simplify (+ 1 -1) into 0
6.309 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.310 * [backup-simplify]: Simplify (- 1) into -1
6.311 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
6.311 * [backup-simplify]: Simplify (- -1) into 1
6.311 * [backup-simplify]: Simplify (+ 1 1) into 2
6.312 * [backup-simplify]: Simplify (/ 2 2) into 1
6.312 * [taylor]: Taking taylor expansion of (sinh c) in c
6.312 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
6.312 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
6.312 * [taylor]: Taking taylor expansion of (exp c) in c
6.312 * [taylor]: Taking taylor expansion of c in c
6.312 * [backup-simplify]: Simplify 0 into 0
6.312 * [backup-simplify]: Simplify 1 into 1
6.312 * [backup-simplify]: Simplify (exp 0) into 1
6.312 * [taylor]: Taking taylor expansion of (exp (- c)) in c
6.312 * [taylor]: Taking taylor expansion of (- c) in c
6.312 * [taylor]: Taking taylor expansion of c in c
6.312 * [backup-simplify]: Simplify 0 into 0
6.312 * [backup-simplify]: Simplify 1 into 1
6.313 * [backup-simplify]: Simplify (- 0) into 0
6.313 * [backup-simplify]: Simplify (- 1) into -1
6.313 * [backup-simplify]: Simplify (exp 0) into 1
6.313 * [taylor]: Taking taylor expansion of 2 in c
6.313 * [backup-simplify]: Simplify 2 into 2
6.314 * [backup-simplify]: Simplify (- 1) into -1
6.314 * [backup-simplify]: Simplify (+ 1 -1) into 0
6.315 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.315 * [backup-simplify]: Simplify (- 1) into -1
6.317 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
6.317 * [backup-simplify]: Simplify (- -1) into 1
6.317 * [backup-simplify]: Simplify (+ 1 1) into 2
6.318 * [backup-simplify]: Simplify (/ 2 2) into 1
6.318 * [backup-simplify]: Simplify 1 into 1
6.320 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
6.321 * [backup-simplify]: Simplify (- 1) into -1
6.321 * [backup-simplify]: Simplify (- 0) into 0
6.322 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
6.323 * [backup-simplify]: Simplify (- 1/2) into -1/2
6.323 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
6.323 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
6.323 * [backup-simplify]: Simplify 0 into 0
6.325 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
6.325 * [backup-simplify]: Simplify (- 1) into -1
6.325 * [backup-simplify]: Simplify (- 1) into -1
6.325 * [backup-simplify]: Simplify (- 0) into 0
6.326 * [backup-simplify]: Simplify (- 0) into 0
6.327 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
6.327 * [backup-simplify]: Simplify (- -1/6) into 1/6
6.327 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
6.328 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
6.328 * [backup-simplify]: Simplify 1/6 into 1/6
6.330 * [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
6.331 * [backup-simplify]: Simplify (- 1) into -1
6.331 * [backup-simplify]: Simplify (- 1) into -1
6.331 * [backup-simplify]: Simplify (- 0) into 0
6.331 * [backup-simplify]: Simplify (- 1) into -1
6.332 * [backup-simplify]: Simplify (- 0) into 0
6.332 * [backup-simplify]: Simplify (- 0) into 0
6.332 * [backup-simplify]: Simplify (- 0) into 0
6.334 * [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
6.334 * [backup-simplify]: Simplify (- 1/24) into -1/24
6.335 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
6.335 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
6.335 * [backup-simplify]: Simplify 0 into 0
6.338 * [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
6.339 * [backup-simplify]: Simplify (- 1) into -1
6.339 * [backup-simplify]: Simplify (- 1) into -1
6.339 * [backup-simplify]: Simplify (- 0) into 0
6.340 * [backup-simplify]: Simplify (- 1) into -1
6.340 * [backup-simplify]: Simplify (- 0) into 0
6.340 * [backup-simplify]: Simplify (- 1) into -1
6.340 * [backup-simplify]: Simplify (- 0) into 0
6.340 * [backup-simplify]: Simplify (- 1) into -1
6.341 * [backup-simplify]: Simplify (- 0) into 0
6.341 * [backup-simplify]: Simplify (- 0) into 0
6.341 * [backup-simplify]: Simplify (- 0) into 0
6.342 * [backup-simplify]: Simplify (- 0) into 0
6.345 * [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
6.345 * [backup-simplify]: Simplify (- -1/120) into 1/120
6.345 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
6.346 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
6.346 * [backup-simplify]: Simplify 1/120 into 1/120
6.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))
6.362 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c))
6.362 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
6.362 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
6.362 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
6.362 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
6.362 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
6.362 * [taylor]: Taking taylor expansion of (/ 1 c) in c
6.362 * [taylor]: Taking taylor expansion of c in c
6.362 * [backup-simplify]: Simplify 0 into 0
6.362 * [backup-simplify]: Simplify 1 into 1
6.363 * [backup-simplify]: Simplify (/ 1 1) into 1
6.363 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
6.363 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
6.363 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
6.363 * [taylor]: Taking taylor expansion of (/ 1 c) in c
6.363 * [taylor]: Taking taylor expansion of c in c
6.363 * [backup-simplify]: Simplify 0 into 0
6.363 * [backup-simplify]: Simplify 1 into 1
6.364 * [backup-simplify]: Simplify (/ 1 1) into 1
6.364 * [backup-simplify]: Simplify (- 1) into -1
6.364 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
6.365 * [taylor]: Taking taylor expansion of 2 in c
6.365 * [backup-simplify]: Simplify 2 into 2
6.365 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
6.365 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
6.365 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
6.365 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
6.365 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
6.365 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
6.365 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
6.365 * [taylor]: Taking taylor expansion of (/ 1 c) in c
6.365 * [taylor]: Taking taylor expansion of c in c
6.365 * [backup-simplify]: Simplify 0 into 0
6.365 * [backup-simplify]: Simplify 1 into 1
6.366 * [backup-simplify]: Simplify (/ 1 1) into 1
6.366 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
6.366 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
6.366 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
6.366 * [taylor]: Taking taylor expansion of (/ 1 c) in c
6.366 * [taylor]: Taking taylor expansion of c in c
6.366 * [backup-simplify]: Simplify 0 into 0
6.366 * [backup-simplify]: Simplify 1 into 1
6.367 * [backup-simplify]: Simplify (/ 1 1) into 1
6.367 * [backup-simplify]: Simplify (- 1) into -1
6.367 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
6.367 * [taylor]: Taking taylor expansion of 2 in c
6.367 * [backup-simplify]: Simplify 2 into 2
6.367 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
6.367 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
6.368 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
6.368 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
6.368 * [backup-simplify]: Simplify (- 0) into 0
6.369 * [backup-simplify]: Simplify (+ 0 0) into 0
6.370 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
6.370 * [backup-simplify]: Simplify 0 into 0
6.370 * [backup-simplify]: Simplify (- 0) into 0
6.371 * [backup-simplify]: Simplify (+ 0 0) into 0
6.372 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
6.372 * [backup-simplify]: Simplify 0 into 0
6.373 * [backup-simplify]: Simplify (- 0) into 0
6.373 * [backup-simplify]: Simplify (+ 0 0) into 0
6.376 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
6.376 * [backup-simplify]: Simplify 0 into 0
6.376 * [backup-simplify]: Simplify (- 0) into 0
6.376 * [backup-simplify]: Simplify (+ 0 0) into 0
6.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)))) into 0
6.379 * [backup-simplify]: Simplify 0 into 0
6.380 * [backup-simplify]: Simplify (- 0) into 0
6.380 * [backup-simplify]: Simplify (+ 0 0) into 0
6.384 * [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
6.384 * [backup-simplify]: Simplify 0 into 0
6.384 * [backup-simplify]: Simplify (- 0) into 0
6.385 * [backup-simplify]: Simplify (+ 0 0) into 0
6.388 * [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
6.388 * [backup-simplify]: Simplify 0 into 0
6.389 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
6.389 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c))
6.389 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
6.389 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
6.389 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
6.389 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
6.389 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
6.389 * [taylor]: Taking taylor expansion of (/ -1 c) in c
6.389 * [taylor]: Taking taylor expansion of -1 in c
6.389 * [backup-simplify]: Simplify -1 into -1
6.389 * [taylor]: Taking taylor expansion of c in c
6.389 * [backup-simplify]: Simplify 0 into 0
6.389 * [backup-simplify]: Simplify 1 into 1
6.390 * [backup-simplify]: Simplify (/ -1 1) into -1
6.390 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
6.390 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
6.390 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
6.390 * [taylor]: Taking taylor expansion of (/ -1 c) in c
6.390 * [taylor]: Taking taylor expansion of -1 in c
6.390 * [backup-simplify]: Simplify -1 into -1
6.390 * [taylor]: Taking taylor expansion of c in c
6.390 * [backup-simplify]: Simplify 0 into 0
6.390 * [backup-simplify]: Simplify 1 into 1
6.390 * [backup-simplify]: Simplify (/ -1 1) into -1
6.391 * [backup-simplify]: Simplify (- -1) into 1
6.391 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
6.391 * [taylor]: Taking taylor expansion of 2 in c
6.391 * [backup-simplify]: Simplify 2 into 2
6.391 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
6.392 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
6.392 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
6.392 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
6.392 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
6.392 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
6.392 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
6.392 * [taylor]: Taking taylor expansion of (/ -1 c) in c
6.392 * [taylor]: Taking taylor expansion of -1 in c
6.392 * [backup-simplify]: Simplify -1 into -1
6.392 * [taylor]: Taking taylor expansion of c in c
6.392 * [backup-simplify]: Simplify 0 into 0
6.392 * [backup-simplify]: Simplify 1 into 1
6.393 * [backup-simplify]: Simplify (/ -1 1) into -1
6.393 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
6.393 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
6.393 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
6.393 * [taylor]: Taking taylor expansion of (/ -1 c) in c
6.393 * [taylor]: Taking taylor expansion of -1 in c
6.393 * [backup-simplify]: Simplify -1 into -1
6.393 * [taylor]: Taking taylor expansion of c in c
6.393 * [backup-simplify]: Simplify 0 into 0
6.393 * [backup-simplify]: Simplify 1 into 1
6.394 * [backup-simplify]: Simplify (/ -1 1) into -1
6.394 * [backup-simplify]: Simplify (- -1) into 1
6.394 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
6.394 * [taylor]: Taking taylor expansion of 2 in c
6.394 * [backup-simplify]: Simplify 2 into 2
6.394 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
6.394 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
6.395 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
6.395 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
6.395 * [backup-simplify]: Simplify (- 0) into 0
6.396 * [backup-simplify]: Simplify (+ 0 0) into 0
6.397 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
6.397 * [backup-simplify]: Simplify 0 into 0
6.397 * [backup-simplify]: Simplify (- 0) into 0
6.398 * [backup-simplify]: Simplify (+ 0 0) into 0
6.399 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
6.399 * [backup-simplify]: Simplify 0 into 0
6.400 * [backup-simplify]: Simplify (- 0) into 0
6.400 * [backup-simplify]: Simplify (+ 0 0) into 0
6.402 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
6.402 * [backup-simplify]: Simplify 0 into 0
6.402 * [backup-simplify]: Simplify (- 0) into 0
6.403 * [backup-simplify]: Simplify (+ 0 0) into 0
6.404 * [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
6.404 * [backup-simplify]: Simplify 0 into 0
6.404 * [backup-simplify]: Simplify (- 0) into 0
6.404 * [backup-simplify]: Simplify (+ 0 0) into 0
6.406 * [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
6.406 * [backup-simplify]: Simplify 0 into 0
6.406 * [backup-simplify]: Simplify (- 0) into 0
6.407 * [backup-simplify]: Simplify (+ 0 0) into 0
6.409 * [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
6.409 * [backup-simplify]: Simplify 0 into 0
6.409 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
6.409 * * * [progress]: simplifying candidates
6.410 * [simplify]: Simplifying:
  (expm1 (sinh c))
  (log1p (sinh c))
  (- (exp c) (exp (- c)))
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (* (* (sinh c) (sinh c)) (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (* -1 c))))
6.410 * * [simplify]: iteration 0: 32 enodes
6.417 * * [simplify]: iteration 1: 63 enodes
6.430 * * [simplify]: iteration 2: 137 enodes
6.475 * * [simplify]: iteration 3: 295 enodes
6.608 * * [simplify]: iteration 4: 818 enodes
7.319 * * [simplify]: iteration 5: 3160 enodes
8.678 * * [simplify]: iteration complete: 5034 enodes
8.678 * * [simplify]: Extracting #0: cost 11 inf + 0
8.679 * * [simplify]: Extracting #1: cost 189 inf + 0
8.684 * * [simplify]: Extracting #2: cost 670 inf + 1176
8.695 * * [simplify]: Extracting #3: cost 1099 inf + 15351
8.726 * * [simplify]: Extracting #4: cost 686 inf + 187306
8.796 * * [simplify]: Extracting #5: cost 202 inf + 385396
8.880 * * [simplify]: Extracting #6: cost 42 inf + 431571
8.976 * * [simplify]: Extracting #7: cost 0 inf + 442120
9.077 * [simplify]: Simplified to:
  (expm1 (sinh c))
  (log1p (sinh c))
  (+ (exp c) (/ -1 (exp c)))
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (* (* (sinh c) (sinh c)) (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (fma (* c 1/6) (* c c) (fma (pow c 5) 1/120 c))
  (sinh c)
  (sinh c)
9.078 * * * [progress]: adding candidates to table
9.180 * * [progress]: iteration 2 / 4
9.180 * * * [progress]: picking best candidate
9.185 * * * * [pick]: Picked  #<alt (λ (c) (fmod (exp (log (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))>
9.185 * * * [progress]: localizing error
9.202 * * * [progress]: generating rewritten candidates
9.202 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
9.206 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 1)
9.207 * * * [progress]: generating series expansions
9.207 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
9.208 * [backup-simplify]: Simplify (exp (log (sinh c))) into (sinh c)
9.208 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
9.208 * [taylor]: Taking taylor expansion of (sinh c) in c
9.208 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
9.208 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
9.208 * [taylor]: Taking taylor expansion of (exp c) in c
9.208 * [taylor]: Taking taylor expansion of c in c
9.208 * [backup-simplify]: Simplify 0 into 0
9.208 * [backup-simplify]: Simplify 1 into 1
9.208 * [backup-simplify]: Simplify (exp 0) into 1
9.208 * [taylor]: Taking taylor expansion of (exp (- c)) in c
9.208 * [taylor]: Taking taylor expansion of (- c) in c
9.208 * [taylor]: Taking taylor expansion of c in c
9.208 * [backup-simplify]: Simplify 0 into 0
9.208 * [backup-simplify]: Simplify 1 into 1
9.208 * [backup-simplify]: Simplify (- 0) into 0
9.209 * [backup-simplify]: Simplify (- 1) into -1
9.209 * [backup-simplify]: Simplify (exp 0) into 1
9.209 * [taylor]: Taking taylor expansion of 2 in c
9.209 * [backup-simplify]: Simplify 2 into 2
9.209 * [backup-simplify]: Simplify (- 1) into -1
9.209 * [backup-simplify]: Simplify (+ 1 -1) into 0
9.210 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
9.210 * [backup-simplify]: Simplify (- 1) into -1
9.211 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
9.211 * [backup-simplify]: Simplify (- -1) into 1
9.211 * [backup-simplify]: Simplify (+ 1 1) into 2
9.212 * [backup-simplify]: Simplify (/ 2 2) into 1
9.212 * [taylor]: Taking taylor expansion of (sinh c) in c
9.212 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
9.212 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
9.212 * [taylor]: Taking taylor expansion of (exp c) in c
9.212 * [taylor]: Taking taylor expansion of c in c
9.212 * [backup-simplify]: Simplify 0 into 0
9.212 * [backup-simplify]: Simplify 1 into 1
9.212 * [backup-simplify]: Simplify (exp 0) into 1
9.212 * [taylor]: Taking taylor expansion of (exp (- c)) in c
9.212 * [taylor]: Taking taylor expansion of (- c) in c
9.212 * [taylor]: Taking taylor expansion of c in c
9.212 * [backup-simplify]: Simplify 0 into 0
9.212 * [backup-simplify]: Simplify 1 into 1
9.212 * [backup-simplify]: Simplify (- 0) into 0
9.212 * [backup-simplify]: Simplify (- 1) into -1
9.212 * [backup-simplify]: Simplify (exp 0) into 1
9.213 * [taylor]: Taking taylor expansion of 2 in c
9.213 * [backup-simplify]: Simplify 2 into 2
9.213 * [backup-simplify]: Simplify (- 1) into -1
9.213 * [backup-simplify]: Simplify (+ 1 -1) into 0
9.214 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
9.214 * [backup-simplify]: Simplify (- 1) into -1
9.214 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
9.215 * [backup-simplify]: Simplify (- -1) into 1
9.215 * [backup-simplify]: Simplify (+ 1 1) into 2
9.215 * [backup-simplify]: Simplify (/ 2 2) into 1
9.215 * [backup-simplify]: Simplify 1 into 1
9.216 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
9.216 * [backup-simplify]: Simplify (- 1) into -1
9.217 * [backup-simplify]: Simplify (- 0) into 0
9.217 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
9.218 * [backup-simplify]: Simplify (- 1/2) into -1/2
9.218 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
9.218 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
9.218 * [backup-simplify]: Simplify 0 into 0
9.220 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
9.220 * [backup-simplify]: Simplify (- 1) into -1
9.220 * [backup-simplify]: Simplify (- 1) into -1
9.220 * [backup-simplify]: Simplify (- 0) into 0
9.221 * [backup-simplify]: Simplify (- 0) into 0
9.222 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
9.222 * [backup-simplify]: Simplify (- -1/6) into 1/6
9.222 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
9.223 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
9.223 * [backup-simplify]: Simplify 1/6 into 1/6
9.225 * [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
9.226 * [backup-simplify]: Simplify (- 1) into -1
9.226 * [backup-simplify]: Simplify (- 1) into -1
9.226 * [backup-simplify]: Simplify (- 0) into 0
9.226 * [backup-simplify]: Simplify (- 1) into -1
9.227 * [backup-simplify]: Simplify (- 0) into 0
9.227 * [backup-simplify]: Simplify (- 0) into 0
9.227 * [backup-simplify]: Simplify (- 0) into 0
9.229 * [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
9.229 * [backup-simplify]: Simplify (- 1/24) into -1/24
9.230 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
9.230 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
9.230 * [backup-simplify]: Simplify 0 into 0
9.233 * [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
9.234 * [backup-simplify]: Simplify (- 1) into -1
9.234 * [backup-simplify]: Simplify (- 1) into -1
9.235 * [backup-simplify]: Simplify (- 0) into 0
9.235 * [backup-simplify]: Simplify (- 1) into -1
9.236 * [backup-simplify]: Simplify (- 0) into 0
9.236 * [backup-simplify]: Simplify (- 1) into -1
9.236 * [backup-simplify]: Simplify (- 0) into 0
9.237 * [backup-simplify]: Simplify (- 1) into -1
9.237 * [backup-simplify]: Simplify (- 0) into 0
9.237 * [backup-simplify]: Simplify (- 0) into 0
9.238 * [backup-simplify]: Simplify (- 0) into 0
9.238 * [backup-simplify]: Simplify (- 0) into 0
9.245 * [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
9.246 * [backup-simplify]: Simplify (- -1/120) into 1/120
9.246 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
9.248 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
9.248 * [backup-simplify]: Simplify 1/120 into 1/120
9.249 * [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))
9.249 * [backup-simplify]: Simplify (exp (log (sinh (/ 1 c)))) into (sinh (/ 1 c))
9.249 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
9.249 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
9.249 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
9.249 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
9.249 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
9.249 * [taylor]: Taking taylor expansion of (/ 1 c) in c
9.250 * [taylor]: Taking taylor expansion of c in c
9.250 * [backup-simplify]: Simplify 0 into 0
9.250 * [backup-simplify]: Simplify 1 into 1
9.250 * [backup-simplify]: Simplify (/ 1 1) into 1
9.250 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
9.250 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
9.250 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
9.250 * [taylor]: Taking taylor expansion of (/ 1 c) in c
9.250 * [taylor]: Taking taylor expansion of c in c
9.250 * [backup-simplify]: Simplify 0 into 0
9.250 * [backup-simplify]: Simplify 1 into 1
9.250 * [backup-simplify]: Simplify (/ 1 1) into 1
9.251 * [backup-simplify]: Simplify (- 1) into -1
9.251 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
9.251 * [taylor]: Taking taylor expansion of 2 in c
9.251 * [backup-simplify]: Simplify 2 into 2
9.251 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
9.251 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
9.251 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
9.251 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
9.251 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
9.251 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
9.251 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
9.251 * [taylor]: Taking taylor expansion of (/ 1 c) in c
9.251 * [taylor]: Taking taylor expansion of c in c
9.251 * [backup-simplify]: Simplify 0 into 0
9.251 * [backup-simplify]: Simplify 1 into 1
9.251 * [backup-simplify]: Simplify (/ 1 1) into 1
9.252 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
9.252 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
9.252 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
9.252 * [taylor]: Taking taylor expansion of (/ 1 c) in c
9.252 * [taylor]: Taking taylor expansion of c in c
9.252 * [backup-simplify]: Simplify 0 into 0
9.252 * [backup-simplify]: Simplify 1 into 1
9.252 * [backup-simplify]: Simplify (/ 1 1) into 1
9.252 * [backup-simplify]: Simplify (- 1) into -1
9.252 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
9.252 * [taylor]: Taking taylor expansion of 2 in c
9.252 * [backup-simplify]: Simplify 2 into 2
9.252 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
9.252 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
9.253 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
9.253 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
9.253 * [backup-simplify]: Simplify (- 0) into 0
9.253 * [backup-simplify]: Simplify (+ 0 0) into 0
9.254 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
9.254 * [backup-simplify]: Simplify 0 into 0
9.254 * [backup-simplify]: Simplify (- 0) into 0
9.254 * [backup-simplify]: Simplify (+ 0 0) into 0
9.255 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
9.255 * [backup-simplify]: Simplify 0 into 0
9.256 * [backup-simplify]: Simplify (- 0) into 0
9.256 * [backup-simplify]: Simplify (+ 0 0) into 0
9.257 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
9.257 * [backup-simplify]: Simplify 0 into 0
9.257 * [backup-simplify]: Simplify (- 0) into 0
9.258 * [backup-simplify]: Simplify (+ 0 0) into 0
9.259 * [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
9.259 * [backup-simplify]: Simplify 0 into 0
9.260 * [backup-simplify]: Simplify (- 0) into 0
9.260 * [backup-simplify]: Simplify (+ 0 0) into 0
9.262 * [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
9.262 * [backup-simplify]: Simplify 0 into 0
9.262 * [backup-simplify]: Simplify (- 0) into 0
9.262 * [backup-simplify]: Simplify (+ 0 0) into 0
9.264 * [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
9.264 * [backup-simplify]: Simplify 0 into 0
9.264 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
9.265 * [backup-simplify]: Simplify (exp (log (sinh (/ 1 (- c))))) into (sinh (/ -1 c))
9.265 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
9.265 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
9.265 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
9.265 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
9.265 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
9.265 * [taylor]: Taking taylor expansion of (/ -1 c) in c
9.265 * [taylor]: Taking taylor expansion of -1 in c
9.265 * [backup-simplify]: Simplify -1 into -1
9.265 * [taylor]: Taking taylor expansion of c in c
9.265 * [backup-simplify]: Simplify 0 into 0
9.265 * [backup-simplify]: Simplify 1 into 1
9.265 * [backup-simplify]: Simplify (/ -1 1) into -1
9.265 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
9.265 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
9.265 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
9.265 * [taylor]: Taking taylor expansion of (/ -1 c) in c
9.265 * [taylor]: Taking taylor expansion of -1 in c
9.265 * [backup-simplify]: Simplify -1 into -1
9.265 * [taylor]: Taking taylor expansion of c in c
9.265 * [backup-simplify]: Simplify 0 into 0
9.265 * [backup-simplify]: Simplify 1 into 1
9.266 * [backup-simplify]: Simplify (/ -1 1) into -1
9.266 * [backup-simplify]: Simplify (- -1) into 1
9.266 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
9.266 * [taylor]: Taking taylor expansion of 2 in c
9.266 * [backup-simplify]: Simplify 2 into 2
9.266 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
9.266 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
9.266 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
9.266 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
9.266 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
9.266 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
9.266 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
9.266 * [taylor]: Taking taylor expansion of (/ -1 c) in c
9.266 * [taylor]: Taking taylor expansion of -1 in c
9.266 * [backup-simplify]: Simplify -1 into -1
9.266 * [taylor]: Taking taylor expansion of c in c
9.266 * [backup-simplify]: Simplify 0 into 0
9.266 * [backup-simplify]: Simplify 1 into 1
9.267 * [backup-simplify]: Simplify (/ -1 1) into -1
9.267 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
9.267 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
9.267 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
9.267 * [taylor]: Taking taylor expansion of (/ -1 c) in c
9.267 * [taylor]: Taking taylor expansion of -1 in c
9.267 * [backup-simplify]: Simplify -1 into -1
9.267 * [taylor]: Taking taylor expansion of c in c
9.267 * [backup-simplify]: Simplify 0 into 0
9.267 * [backup-simplify]: Simplify 1 into 1
9.267 * [backup-simplify]: Simplify (/ -1 1) into -1
9.267 * [backup-simplify]: Simplify (- -1) into 1
9.268 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
9.268 * [taylor]: Taking taylor expansion of 2 in c
9.268 * [backup-simplify]: Simplify 2 into 2
9.268 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
9.268 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
9.268 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
9.268 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
9.268 * [backup-simplify]: Simplify (- 0) into 0
9.268 * [backup-simplify]: Simplify (+ 0 0) into 0
9.273 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
9.273 * [backup-simplify]: Simplify 0 into 0
9.274 * [backup-simplify]: Simplify (- 0) into 0
9.274 * [backup-simplify]: Simplify (+ 0 0) into 0
9.275 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
9.275 * [backup-simplify]: Simplify 0 into 0
9.275 * [backup-simplify]: Simplify (- 0) into 0
9.276 * [backup-simplify]: Simplify (+ 0 0) into 0
9.277 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
9.277 * [backup-simplify]: Simplify 0 into 0
9.277 * [backup-simplify]: Simplify (- 0) into 0
9.277 * [backup-simplify]: Simplify (+ 0 0) into 0
9.279 * [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
9.279 * [backup-simplify]: Simplify 0 into 0
9.279 * [backup-simplify]: Simplify (- 0) into 0
9.279 * [backup-simplify]: Simplify (+ 0 0) into 0
9.281 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
9.281 * [backup-simplify]: Simplify 0 into 0
9.282 * [backup-simplify]: Simplify (- 0) into 0
9.282 * [backup-simplify]: Simplify (+ 0 0) into 0
9.284 * [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
9.284 * [backup-simplify]: Simplify 0 into 0
9.284 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
9.284 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 1)
9.284 * [backup-simplify]: Simplify (sinh c) into (sinh c)
9.284 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
9.284 * [taylor]: Taking taylor expansion of (sinh c) in c
9.285 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
9.285 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
9.285 * [taylor]: Taking taylor expansion of (exp c) in c
9.285 * [taylor]: Taking taylor expansion of c in c
9.285 * [backup-simplify]: Simplify 0 into 0
9.285 * [backup-simplify]: Simplify 1 into 1
9.285 * [backup-simplify]: Simplify (exp 0) into 1
9.285 * [taylor]: Taking taylor expansion of (exp (- c)) in c
9.285 * [taylor]: Taking taylor expansion of (- c) in c
9.285 * [taylor]: Taking taylor expansion of c in c
9.285 * [backup-simplify]: Simplify 0 into 0
9.285 * [backup-simplify]: Simplify 1 into 1
9.285 * [backup-simplify]: Simplify (- 0) into 0
9.285 * [backup-simplify]: Simplify (- 1) into -1
9.285 * [backup-simplify]: Simplify (exp 0) into 1
9.285 * [taylor]: Taking taylor expansion of 2 in c
9.285 * [backup-simplify]: Simplify 2 into 2
9.286 * [backup-simplify]: Simplify (- 1) into -1
9.286 * [backup-simplify]: Simplify (+ 1 -1) into 0
9.287 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
9.287 * [backup-simplify]: Simplify (- 1) into -1
9.287 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
9.288 * [backup-simplify]: Simplify (- -1) into 1
9.288 * [backup-simplify]: Simplify (+ 1 1) into 2
9.288 * [backup-simplify]: Simplify (/ 2 2) into 1
9.288 * [taylor]: Taking taylor expansion of (sinh c) in c
9.288 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
9.288 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
9.288 * [taylor]: Taking taylor expansion of (exp c) in c
9.288 * [taylor]: Taking taylor expansion of c in c
9.288 * [backup-simplify]: Simplify 0 into 0
9.288 * [backup-simplify]: Simplify 1 into 1
9.288 * [backup-simplify]: Simplify (exp 0) into 1
9.288 * [taylor]: Taking taylor expansion of (exp (- c)) in c
9.288 * [taylor]: Taking taylor expansion of (- c) in c
9.288 * [taylor]: Taking taylor expansion of c in c
9.288 * [backup-simplify]: Simplify 0 into 0
9.288 * [backup-simplify]: Simplify 1 into 1
9.289 * [backup-simplify]: Simplify (- 0) into 0
9.289 * [backup-simplify]: Simplify (- 1) into -1
9.289 * [backup-simplify]: Simplify (exp 0) into 1
9.289 * [taylor]: Taking taylor expansion of 2 in c
9.289 * [backup-simplify]: Simplify 2 into 2
9.289 * [backup-simplify]: Simplify (- 1) into -1
9.289 * [backup-simplify]: Simplify (+ 1 -1) into 0
9.290 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
9.291 * [backup-simplify]: Simplify (- 1) into -1
9.292 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
9.292 * [backup-simplify]: Simplify (- -1) into 1
9.293 * [backup-simplify]: Simplify (+ 1 1) into 2
9.293 * [backup-simplify]: Simplify (/ 2 2) into 1
9.293 * [backup-simplify]: Simplify 1 into 1
9.295 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
9.295 * [backup-simplify]: Simplify (- 1) into -1
9.296 * [backup-simplify]: Simplify (- 0) into 0
9.298 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
9.298 * [backup-simplify]: Simplify (- 1/2) into -1/2
9.299 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
9.299 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
9.300 * [backup-simplify]: Simplify 0 into 0
9.302 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
9.302 * [backup-simplify]: Simplify (- 1) into -1
9.303 * [backup-simplify]: Simplify (- 1) into -1
9.303 * [backup-simplify]: Simplify (- 0) into 0
9.304 * [backup-simplify]: Simplify (- 0) into 0
9.306 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
9.306 * [backup-simplify]: Simplify (- -1/6) into 1/6
9.307 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
9.307 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
9.307 * [backup-simplify]: Simplify 1/6 into 1/6
9.309 * [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
9.310 * [backup-simplify]: Simplify (- 1) into -1
9.310 * [backup-simplify]: Simplify (- 1) into -1
9.311 * [backup-simplify]: Simplify (- 0) into 0
9.311 * [backup-simplify]: Simplify (- 1) into -1
9.311 * [backup-simplify]: Simplify (- 0) into 0
9.311 * [backup-simplify]: Simplify (- 0) into 0
9.312 * [backup-simplify]: Simplify (- 0) into 0
9.314 * [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
9.314 * [backup-simplify]: Simplify (- 1/24) into -1/24
9.314 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
9.315 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
9.315 * [backup-simplify]: Simplify 0 into 0
9.318 * [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
9.318 * [backup-simplify]: Simplify (- 1) into -1
9.319 * [backup-simplify]: Simplify (- 1) into -1
9.319 * [backup-simplify]: Simplify (- 0) into 0
9.319 * [backup-simplify]: Simplify (- 1) into -1
9.320 * [backup-simplify]: Simplify (- 0) into 0
9.320 * [backup-simplify]: Simplify (- 1) into -1
9.320 * [backup-simplify]: Simplify (- 0) into 0
9.320 * [backup-simplify]: Simplify (- 1) into -1
9.320 * [backup-simplify]: Simplify (- 0) into 0
9.321 * [backup-simplify]: Simplify (- 0) into 0
9.321 * [backup-simplify]: Simplify (- 0) into 0
9.321 * [backup-simplify]: Simplify (- 0) into 0
9.324 * [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
9.325 * [backup-simplify]: Simplify (- -1/120) into 1/120
9.325 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
9.326 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
9.326 * [backup-simplify]: Simplify 1/120 into 1/120
9.326 * [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))
9.326 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c))
9.326 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
9.326 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
9.326 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
9.326 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
9.326 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
9.326 * [taylor]: Taking taylor expansion of (/ 1 c) in c
9.326 * [taylor]: Taking taylor expansion of c in c
9.326 * [backup-simplify]: Simplify 0 into 0
9.326 * [backup-simplify]: Simplify 1 into 1
9.327 * [backup-simplify]: Simplify (/ 1 1) into 1
9.327 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
9.327 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
9.327 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
9.327 * [taylor]: Taking taylor expansion of (/ 1 c) in c
9.327 * [taylor]: Taking taylor expansion of c in c
9.327 * [backup-simplify]: Simplify 0 into 0
9.327 * [backup-simplify]: Simplify 1 into 1
9.327 * [backup-simplify]: Simplify (/ 1 1) into 1
9.327 * [backup-simplify]: Simplify (- 1) into -1
9.327 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
9.327 * [taylor]: Taking taylor expansion of 2 in c
9.328 * [backup-simplify]: Simplify 2 into 2
9.328 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
9.328 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
9.328 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
9.328 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
9.328 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
9.328 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
9.328 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
9.328 * [taylor]: Taking taylor expansion of (/ 1 c) in c
9.328 * [taylor]: Taking taylor expansion of c in c
9.328 * [backup-simplify]: Simplify 0 into 0
9.328 * [backup-simplify]: Simplify 1 into 1
9.328 * [backup-simplify]: Simplify (/ 1 1) into 1
9.328 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
9.328 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
9.328 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
9.328 * [taylor]: Taking taylor expansion of (/ 1 c) in c
9.328 * [taylor]: Taking taylor expansion of c in c
9.328 * [backup-simplify]: Simplify 0 into 0
9.328 * [backup-simplify]: Simplify 1 into 1
9.329 * [backup-simplify]: Simplify (/ 1 1) into 1
9.329 * [backup-simplify]: Simplify (- 1) into -1
9.329 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
9.329 * [taylor]: Taking taylor expansion of 2 in c
9.329 * [backup-simplify]: Simplify 2 into 2
9.329 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
9.329 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
9.329 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
9.329 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
9.330 * [backup-simplify]: Simplify (- 0) into 0
9.330 * [backup-simplify]: Simplify (+ 0 0) into 0
9.331 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
9.331 * [backup-simplify]: Simplify 0 into 0
9.331 * [backup-simplify]: Simplify (- 0) into 0
9.331 * [backup-simplify]: Simplify (+ 0 0) into 0
9.332 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
9.332 * [backup-simplify]: Simplify 0 into 0
9.332 * [backup-simplify]: Simplify (- 0) into 0
9.332 * [backup-simplify]: Simplify (+ 0 0) into 0
9.334 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
9.334 * [backup-simplify]: Simplify 0 into 0
9.334 * [backup-simplify]: Simplify (- 0) into 0
9.334 * [backup-simplify]: Simplify (+ 0 0) into 0
9.336 * [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
9.336 * [backup-simplify]: Simplify 0 into 0
9.336 * [backup-simplify]: Simplify (- 0) into 0
9.336 * [backup-simplify]: Simplify (+ 0 0) into 0
9.338 * [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
9.338 * [backup-simplify]: Simplify 0 into 0
9.338 * [backup-simplify]: Simplify (- 0) into 0
9.338 * [backup-simplify]: Simplify (+ 0 0) into 0
9.341 * [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
9.341 * [backup-simplify]: Simplify 0 into 0
9.341 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
9.341 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c))
9.341 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
9.341 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
9.341 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
9.341 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
9.341 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
9.341 * [taylor]: Taking taylor expansion of (/ -1 c) in c
9.341 * [taylor]: Taking taylor expansion of -1 in c
9.341 * [backup-simplify]: Simplify -1 into -1
9.341 * [taylor]: Taking taylor expansion of c in c
9.341 * [backup-simplify]: Simplify 0 into 0
9.341 * [backup-simplify]: Simplify 1 into 1
9.341 * [backup-simplify]: Simplify (/ -1 1) into -1
9.341 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
9.341 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
9.341 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
9.341 * [taylor]: Taking taylor expansion of (/ -1 c) in c
9.341 * [taylor]: Taking taylor expansion of -1 in c
9.342 * [backup-simplify]: Simplify -1 into -1
9.342 * [taylor]: Taking taylor expansion of c in c
9.342 * [backup-simplify]: Simplify 0 into 0
9.342 * [backup-simplify]: Simplify 1 into 1
9.342 * [backup-simplify]: Simplify (/ -1 1) into -1
9.342 * [backup-simplify]: Simplify (- -1) into 1
9.342 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
9.342 * [taylor]: Taking taylor expansion of 2 in c
9.343 * [backup-simplify]: Simplify 2 into 2
9.343 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
9.343 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
9.343 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
9.343 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
9.343 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
9.343 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
9.343 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
9.343 * [taylor]: Taking taylor expansion of (/ -1 c) in c
9.343 * [taylor]: Taking taylor expansion of -1 in c
9.343 * [backup-simplify]: Simplify -1 into -1
9.343 * [taylor]: Taking taylor expansion of c in c
9.343 * [backup-simplify]: Simplify 0 into 0
9.343 * [backup-simplify]: Simplify 1 into 1
9.344 * [backup-simplify]: Simplify (/ -1 1) into -1
9.344 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
9.344 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
9.344 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
9.344 * [taylor]: Taking taylor expansion of (/ -1 c) in c
9.344 * [taylor]: Taking taylor expansion of -1 in c
9.344 * [backup-simplify]: Simplify -1 into -1
9.344 * [taylor]: Taking taylor expansion of c in c
9.344 * [backup-simplify]: Simplify 0 into 0
9.344 * [backup-simplify]: Simplify 1 into 1
9.345 * [backup-simplify]: Simplify (/ -1 1) into -1
9.345 * [backup-simplify]: Simplify (- -1) into 1
9.345 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
9.345 * [taylor]: Taking taylor expansion of 2 in c
9.345 * [backup-simplify]: Simplify 2 into 2
9.346 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
9.346 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
9.346 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
9.346 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
9.347 * [backup-simplify]: Simplify (- 0) into 0
9.347 * [backup-simplify]: Simplify (+ 0 0) into 0
9.348 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
9.348 * [backup-simplify]: Simplify 0 into 0
9.349 * [backup-simplify]: Simplify (- 0) into 0
9.349 * [backup-simplify]: Simplify (+ 0 0) into 0
9.351 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
9.351 * [backup-simplify]: Simplify 0 into 0
9.351 * [backup-simplify]: Simplify (- 0) into 0
9.351 * [backup-simplify]: Simplify (+ 0 0) into 0
9.353 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
9.353 * [backup-simplify]: Simplify 0 into 0
9.354 * [backup-simplify]: Simplify (- 0) into 0
9.354 * [backup-simplify]: Simplify (+ 0 0) into 0
9.357 * [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
9.357 * [backup-simplify]: Simplify 0 into 0
9.357 * [backup-simplify]: Simplify (- 0) into 0
9.358 * [backup-simplify]: Simplify (+ 0 0) into 0
9.361 * [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
9.361 * [backup-simplify]: Simplify 0 into 0
9.362 * [backup-simplify]: Simplify (- 0) into 0
9.362 * [backup-simplify]: Simplify (+ 0 0) into 0
9.366 * [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
9.366 * [backup-simplify]: Simplify 0 into 0
9.366 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
9.367 * * * [progress]: simplifying candidates
9.368 * [simplify]: Simplifying:
  (expm1 (exp (log (sinh c))))
  (log1p (exp (log (sinh c))))
  (exp 1)
  (exp (* (cbrt (log (sinh c))) (cbrt (log (sinh c)))))
  (exp (sqrt (log (sinh c))))
  (exp 1)
  (exp (log (* (cbrt (sinh c)) (cbrt (sinh c)))))
  (exp (log (cbrt (sinh c))))
  (exp (log (sqrt (sinh c))))
  (exp (log (sqrt (sinh c))))
  (exp (log 1))
  (exp (log (sinh c)))
  (exp (log (- (exp c) (exp (- c)))))
  (exp (log 2))
  (log (exp (log (sinh c))))
  (exp (exp (log (sinh c))))
  (* (cbrt (exp (log (sinh c)))) (cbrt (exp (log (sinh c)))))
  (cbrt (exp (log (sinh c))))
  (* (* (exp (log (sinh c))) (exp (log (sinh c)))) (exp (log (sinh c))))
  (sqrt (exp (log (sinh c))))
  (sqrt (exp (log (sinh c))))
  (expm1 (sinh c))
  (log1p (sinh c))
  (- (exp c) (exp (- c)))
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (* (* (sinh c) (sinh c)) (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (* -1 c))))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (* -1 c))))
9.368 * * [simplify]: iteration 0: 62 enodes
9.395 * * [simplify]: iteration 1: 103 enodes
9.427 * * [simplify]: iteration 2: 170 enodes
9.490 * * [simplify]: iteration 3: 309 enodes
9.588 * * [simplify]: iteration 4: 726 enodes
10.031 * * [simplify]: iteration 5: 2255 enodes
10.904 * * [simplify]: iteration complete: 5000 enodes
10.904 * * [simplify]: Extracting #0: cost 16 inf + 0
10.905 * * [simplify]: Extracting #1: cost 240 inf + 3
10.910 * * [simplify]: Extracting #2: cost 757 inf + 1852
10.922 * * [simplify]: Extracting #3: cost 1177 inf + 17763
10.966 * * [simplify]: Extracting #4: cost 933 inf + 151354
11.050 * * [simplify]: Extracting #5: cost 270 inf + 396234
11.139 * * [simplify]: Extracting #6: cost 21 inf + 472395
11.234 * * [simplify]: Extracting #7: cost 0 inf + 477507
11.302 * [simplify]: Simplified to:
  (expm1 (sinh c))
  (log1p (sinh c))
  E
  (exp (* (cbrt (log (sinh c))) (cbrt (log (sinh c)))))
  (exp (sqrt (log (sinh c))))
  E
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  1
  (sinh c)
  (+ (exp c) (/ -1 (exp c)))
  2
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (* (* (sinh c) (sinh c)) (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (expm1 (sinh c))
  (log1p (sinh c))
  (+ (exp c) (/ -1 (exp c)))
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (* (* (sinh c) (sinh c)) (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (fma (* 1/6 c) (* c c) (fma (pow c 5) 1/120 c))
  (sinh c)
  (sinh c)
  (fma (* 1/6 c) (* c c) (fma (pow c 5) 1/120 c))
  (sinh c)
  (sinh c)
11.305 * * * [progress]: adding candidates to table
11.500 * * [progress]: iteration 3 / 4
11.500 * * * [progress]: picking best candidate
11.509 * * * * [pick]: Picked  #<alt (λ (c) (fmod (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c))))) (- c (pow -2.9807307601812193e+165 2.0))))>
11.509 * * * [progress]: localizing error
11.566 * * * [progress]: generating rewritten candidates
11.566 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
11.576 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
11.581 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
11.630 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1)
11.637 * * * [progress]: generating series expansions
11.637 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
11.637 * [backup-simplify]: Simplify (exp (log (sqrt (sinh c)))) into (sqrt (sinh c))
11.637 * [approximate]: Taking taylor expansion of (sqrt (sinh c)) in (c) around 0
11.637 * [taylor]: Taking taylor expansion of (sqrt (sinh c)) in c
11.637 * [taylor]: Taking taylor expansion of (sinh c) in c
11.637 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
11.637 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
11.637 * [taylor]: Taking taylor expansion of (exp c) in c
11.637 * [taylor]: Taking taylor expansion of c in c
11.637 * [backup-simplify]: Simplify 0 into 0
11.637 * [backup-simplify]: Simplify 1 into 1
11.637 * [backup-simplify]: Simplify (exp 0) into 1
11.637 * [taylor]: Taking taylor expansion of (exp (- c)) in c
11.637 * [taylor]: Taking taylor expansion of (- c) in c
11.637 * [taylor]: Taking taylor expansion of c in c
11.637 * [backup-simplify]: Simplify 0 into 0
11.637 * [backup-simplify]: Simplify 1 into 1
11.638 * [backup-simplify]: Simplify (- 0) into 0
11.638 * [backup-simplify]: Simplify (- 1) into -1
11.638 * [backup-simplify]: Simplify (exp 0) into 1
11.638 * [taylor]: Taking taylor expansion of 2 in c
11.638 * [backup-simplify]: Simplify 2 into 2
11.638 * [backup-simplify]: Simplify (- 1) into -1
11.638 * [backup-simplify]: Simplify (+ 1 -1) into 0
11.639 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
11.639 * [backup-simplify]: Simplify (- 1) into -1
11.640 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
11.640 * [backup-simplify]: Simplify (- -1) into 1
11.640 * [backup-simplify]: Simplify (+ 1 1) into 2
11.641 * [backup-simplify]: Simplify (/ 2 2) into 1
11.641 * [backup-simplify]: Simplify (sqrt 0) into 0
11.642 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
11.642 * [taylor]: Taking taylor expansion of (sqrt (sinh c)) in c
11.642 * [taylor]: Taking taylor expansion of (sinh c) in c
11.642 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
11.642 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
11.642 * [taylor]: Taking taylor expansion of (exp c) in c
11.642 * [taylor]: Taking taylor expansion of c in c
11.642 * [backup-simplify]: Simplify 0 into 0
11.642 * [backup-simplify]: Simplify 1 into 1
11.642 * [backup-simplify]: Simplify (exp 0) into 1
11.642 * [taylor]: Taking taylor expansion of (exp (- c)) in c
11.642 * [taylor]: Taking taylor expansion of (- c) in c
11.642 * [taylor]: Taking taylor expansion of c in c
11.642 * [backup-simplify]: Simplify 0 into 0
11.642 * [backup-simplify]: Simplify 1 into 1
11.643 * [backup-simplify]: Simplify (- 0) into 0
11.643 * [backup-simplify]: Simplify (- 1) into -1
11.643 * [backup-simplify]: Simplify (exp 0) into 1
11.643 * [taylor]: Taking taylor expansion of 2 in c
11.643 * [backup-simplify]: Simplify 2 into 2
11.643 * [backup-simplify]: Simplify (- 1) into -1
11.643 * [backup-simplify]: Simplify (+ 1 -1) into 0
11.644 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
11.644 * [backup-simplify]: Simplify (- 1) into -1
11.645 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
11.645 * [backup-simplify]: Simplify (- -1) into 1
11.645 * [backup-simplify]: Simplify (+ 1 1) into 2
11.646 * [backup-simplify]: Simplify (/ 2 2) into 1
11.646 * [backup-simplify]: Simplify (sqrt 0) into 0
11.647 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
11.647 * [backup-simplify]: Simplify 0 into 0
11.647 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.648 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
11.648 * [backup-simplify]: Simplify (- 1) into -1
11.649 * [backup-simplify]: Simplify (- 0) into 0
11.649 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
11.650 * [backup-simplify]: Simplify (- 1/2) into -1/2
11.650 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
11.650 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
11.652 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
11.652 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.654 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
11.654 * [backup-simplify]: Simplify (- 1) into -1
11.654 * [backup-simplify]: Simplify (- 1) into -1
11.654 * [backup-simplify]: Simplify (- 0) into 0
11.655 * [backup-simplify]: Simplify (- 0) into 0
11.656 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
11.656 * [backup-simplify]: Simplify (- -1/6) into 1/6
11.656 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
11.657 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
11.659 * [backup-simplify]: Simplify (/ (- 1/6 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
11.659 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.660 * [backup-simplify]: Simplify (+ (* +nan.0 (pow c 3)) (+ (* +nan.0 (pow c 2)) (* +nan.0 c))) into (- (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow c 3)) (- (* +nan.0 c))))))
11.660 * [backup-simplify]: Simplify (exp (log (sqrt (sinh (/ 1 c))))) into (sqrt (sinh (/ 1 c)))
11.660 * [approximate]: Taking taylor expansion of (sqrt (sinh (/ 1 c))) in (c) around 0
11.660 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ 1 c))) in c
11.660 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
11.660 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
11.660 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
11.660 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
11.660 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.660 * [taylor]: Taking taylor expansion of c in c
11.660 * [backup-simplify]: Simplify 0 into 0
11.660 * [backup-simplify]: Simplify 1 into 1
11.661 * [backup-simplify]: Simplify (/ 1 1) into 1
11.661 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
11.661 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
11.661 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
11.661 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.661 * [taylor]: Taking taylor expansion of c in c
11.661 * [backup-simplify]: Simplify 0 into 0
11.661 * [backup-simplify]: Simplify 1 into 1
11.661 * [backup-simplify]: Simplify (/ 1 1) into 1
11.661 * [backup-simplify]: Simplify (- 1) into -1
11.661 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
11.661 * [taylor]: Taking taylor expansion of 2 in c
11.661 * [backup-simplify]: Simplify 2 into 2
11.661 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
11.661 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
11.662 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
11.662 * [backup-simplify]: Simplify (sqrt (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (* (sqrt (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (sqrt 1/2))
11.662 * [backup-simplify]: Simplify (- 0) into 0
11.662 * [backup-simplify]: Simplify (+ 0 0) into 0
11.663 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
11.663 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))) into 0
11.663 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ 1 c))) in c
11.663 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
11.663 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
11.663 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
11.663 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
11.663 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.663 * [taylor]: Taking taylor expansion of c in c
11.663 * [backup-simplify]: Simplify 0 into 0
11.663 * [backup-simplify]: Simplify 1 into 1
11.663 * [backup-simplify]: Simplify (/ 1 1) into 1
11.664 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
11.664 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
11.664 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
11.664 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.664 * [taylor]: Taking taylor expansion of c in c
11.664 * [backup-simplify]: Simplify 0 into 0
11.664 * [backup-simplify]: Simplify 1 into 1
11.664 * [backup-simplify]: Simplify (/ 1 1) into 1
11.664 * [backup-simplify]: Simplify (- 1) into -1
11.664 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
11.664 * [taylor]: Taking taylor expansion of 2 in c
11.664 * [backup-simplify]: Simplify 2 into 2
11.664 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
11.664 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
11.664 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
11.665 * [backup-simplify]: Simplify (sqrt (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (* (sqrt (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (sqrt 1/2))
11.665 * [backup-simplify]: Simplify (- 0) into 0
11.665 * [backup-simplify]: Simplify (+ 0 0) into 0
11.666 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
11.666 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))) into 0
11.666 * [backup-simplify]: Simplify (* (sqrt (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (sqrt 1/2)) into (* (sqrt (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (sqrt 1/2))
11.666 * [backup-simplify]: Simplify 0 into 0
11.667 * [backup-simplify]: Simplify (- 0) into 0
11.667 * [backup-simplify]: Simplify (+ 0 0) into 0
11.668 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.668 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (* (sqrt (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (sqrt 1/2)))) into 0
11.668 * [backup-simplify]: Simplify 0 into 0
11.669 * [backup-simplify]: Simplify (- 0) into 0
11.669 * [backup-simplify]: Simplify (+ 0 0) into 0
11.670 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.671 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (* (sqrt (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (sqrt 1/2)))) into 0
11.671 * [backup-simplify]: Simplify 0 into 0
11.671 * [backup-simplify]: Simplify (- 0) into 0
11.671 * [backup-simplify]: Simplify (+ 0 0) into 0
11.673 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.674 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (* (sqrt (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (sqrt 1/2)))) into 0
11.674 * [backup-simplify]: Simplify 0 into 0
11.674 * [backup-simplify]: Simplify (- 0) into 0
11.674 * [backup-simplify]: Simplify (+ 0 0) into 0
11.676 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.677 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (* (sqrt (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (sqrt 1/2)))) into 0
11.677 * [backup-simplify]: Simplify 0 into 0
11.677 * [backup-simplify]: Simplify (- 0) into 0
11.677 * [backup-simplify]: Simplify (+ 0 0) into 0
11.679 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.680 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (* (sqrt (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (sqrt 1/2)))) into 0
11.680 * [backup-simplify]: Simplify 0 into 0
11.684 * [backup-simplify]: Simplify (* (sqrt (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) (sqrt 1/2)) into (* (sqrt (- (exp c) (exp (- c)))) (sqrt 1/2))
11.685 * [backup-simplify]: Simplify (exp (log (sqrt (sinh (/ 1 (- c)))))) into (sqrt (sinh (/ -1 c)))
11.685 * [approximate]: Taking taylor expansion of (sqrt (sinh (/ -1 c))) in (c) around 0
11.685 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ -1 c))) in c
11.685 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
11.685 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
11.685 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
11.685 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
11.685 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.685 * [taylor]: Taking taylor expansion of -1 in c
11.685 * [backup-simplify]: Simplify -1 into -1
11.685 * [taylor]: Taking taylor expansion of c in c
11.685 * [backup-simplify]: Simplify 0 into 0
11.685 * [backup-simplify]: Simplify 1 into 1
11.686 * [backup-simplify]: Simplify (/ -1 1) into -1
11.686 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
11.686 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
11.686 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
11.686 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.686 * [taylor]: Taking taylor expansion of -1 in c
11.686 * [backup-simplify]: Simplify -1 into -1
11.686 * [taylor]: Taking taylor expansion of c in c
11.686 * [backup-simplify]: Simplify 0 into 0
11.686 * [backup-simplify]: Simplify 1 into 1
11.687 * [backup-simplify]: Simplify (/ -1 1) into -1
11.687 * [backup-simplify]: Simplify (- -1) into 1
11.687 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
11.687 * [taylor]: Taking taylor expansion of 2 in c
11.687 * [backup-simplify]: Simplify 2 into 2
11.687 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
11.687 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
11.688 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
11.688 * [backup-simplify]: Simplify (sqrt (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (* (sqrt (- (exp (/ -1 c)) (exp (/ 1 c)))) (sqrt 1/2))
11.688 * [backup-simplify]: Simplify (- 0) into 0
11.689 * [backup-simplify]: Simplify (+ 0 0) into 0
11.690 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
11.690 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))) into 0
11.690 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ -1 c))) in c
11.690 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
11.690 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
11.690 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
11.690 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
11.690 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.690 * [taylor]: Taking taylor expansion of -1 in c
11.690 * [backup-simplify]: Simplify -1 into -1
11.690 * [taylor]: Taking taylor expansion of c in c
11.690 * [backup-simplify]: Simplify 0 into 0
11.690 * [backup-simplify]: Simplify 1 into 1
11.691 * [backup-simplify]: Simplify (/ -1 1) into -1
11.691 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
11.691 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
11.691 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
11.691 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.691 * [taylor]: Taking taylor expansion of -1 in c
11.691 * [backup-simplify]: Simplify -1 into -1
11.691 * [taylor]: Taking taylor expansion of c in c
11.691 * [backup-simplify]: Simplify 0 into 0
11.691 * [backup-simplify]: Simplify 1 into 1
11.691 * [backup-simplify]: Simplify (/ -1 1) into -1
11.692 * [backup-simplify]: Simplify (- -1) into 1
11.692 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
11.692 * [taylor]: Taking taylor expansion of 2 in c
11.692 * [backup-simplify]: Simplify 2 into 2
11.692 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
11.692 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
11.692 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
11.693 * [backup-simplify]: Simplify (sqrt (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (* (sqrt (- (exp (/ -1 c)) (exp (/ 1 c)))) (sqrt 1/2))
11.693 * [backup-simplify]: Simplify (- 0) into 0
11.693 * [backup-simplify]: Simplify (+ 0 0) into 0
11.695 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
11.695 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))) into 0
11.696 * [backup-simplify]: Simplify (* (sqrt (- (exp (/ -1 c)) (exp (/ 1 c)))) (sqrt 1/2)) into (* (sqrt (- (exp (/ -1 c)) (exp (/ 1 c)))) (sqrt 1/2))
11.696 * [backup-simplify]: Simplify 0 into 0
11.696 * [backup-simplify]: Simplify (- 0) into 0
11.696 * [backup-simplify]: Simplify (+ 0 0) into 0
11.698 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.699 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (* (sqrt (- (exp (/ -1 c)) (exp (/ 1 c)))) (sqrt 1/2)))) into 0
11.699 * [backup-simplify]: Simplify 0 into 0
11.699 * [backup-simplify]: Simplify (- 0) into 0
11.700 * [backup-simplify]: Simplify (+ 0 0) into 0
11.702 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.703 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (* (sqrt (- (exp (/ -1 c)) (exp (/ 1 c)))) (sqrt 1/2)))) into 0
11.703 * [backup-simplify]: Simplify 0 into 0
11.704 * [backup-simplify]: Simplify (- 0) into 0
11.704 * [backup-simplify]: Simplify (+ 0 0) into 0
11.706 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.708 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (* (sqrt (- (exp (/ -1 c)) (exp (/ 1 c)))) (sqrt 1/2)))) into 0
11.708 * [backup-simplify]: Simplify 0 into 0
11.708 * [backup-simplify]: Simplify (- 0) into 0
11.709 * [backup-simplify]: Simplify (+ 0 0) into 0
11.712 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.713 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (* (sqrt (- (exp (/ -1 c)) (exp (/ 1 c)))) (sqrt 1/2)))) into 0
11.713 * [backup-simplify]: Simplify 0 into 0
11.713 * [backup-simplify]: Simplify (- 0) into 0
11.714 * [backup-simplify]: Simplify (+ 0 0) into 0
11.717 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.719 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (* (sqrt (- (exp (/ -1 c)) (exp (/ 1 c)))) (sqrt 1/2)))) into 0
11.719 * [backup-simplify]: Simplify 0 into 0
11.720 * [backup-simplify]: Simplify (* (sqrt (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) (sqrt 1/2)) into (* (sqrt 1/2) (sqrt (- (exp c) (exp (* -1 c)))))
11.720 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
11.720 * [backup-simplify]: Simplify (exp (log (sqrt (sinh c)))) into (sqrt (sinh c))
11.720 * [approximate]: Taking taylor expansion of (sqrt (sinh c)) in (c) around 0
11.720 * [taylor]: Taking taylor expansion of (sqrt (sinh c)) in c
11.721 * [taylor]: Taking taylor expansion of (sinh c) in c
11.721 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
11.721 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
11.721 * [taylor]: Taking taylor expansion of (exp c) in c
11.721 * [taylor]: Taking taylor expansion of c in c
11.721 * [backup-simplify]: Simplify 0 into 0
11.721 * [backup-simplify]: Simplify 1 into 1
11.721 * [backup-simplify]: Simplify (exp 0) into 1
11.721 * [taylor]: Taking taylor expansion of (exp (- c)) in c
11.721 * [taylor]: Taking taylor expansion of (- c) in c
11.721 * [taylor]: Taking taylor expansion of c in c
11.721 * [backup-simplify]: Simplify 0 into 0
11.721 * [backup-simplify]: Simplify 1 into 1
11.721 * [backup-simplify]: Simplify (- 0) into 0
11.722 * [backup-simplify]: Simplify (- 1) into -1
11.722 * [backup-simplify]: Simplify (exp 0) into 1
11.722 * [taylor]: Taking taylor expansion of 2 in c
11.722 * [backup-simplify]: Simplify 2 into 2
11.722 * [backup-simplify]: Simplify (- 1) into -1
11.723 * [backup-simplify]: Simplify (+ 1 -1) into 0
11.724 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
11.724 * [backup-simplify]: Simplify (- 1) into -1
11.725 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
11.725 * [backup-simplify]: Simplify (- -1) into 1
11.726 * [backup-simplify]: Simplify (+ 1 1) into 2
11.726 * [backup-simplify]: Simplify (/ 2 2) into 1
11.727 * [backup-simplify]: Simplify (sqrt 0) into 0
11.728 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
11.728 * [taylor]: Taking taylor expansion of (sqrt (sinh c)) in c
11.728 * [taylor]: Taking taylor expansion of (sinh c) in c
11.728 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
11.728 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
11.728 * [taylor]: Taking taylor expansion of (exp c) in c
11.728 * [taylor]: Taking taylor expansion of c in c
11.728 * [backup-simplify]: Simplify 0 into 0
11.728 * [backup-simplify]: Simplify 1 into 1
11.728 * [backup-simplify]: Simplify (exp 0) into 1
11.728 * [taylor]: Taking taylor expansion of (exp (- c)) in c
11.728 * [taylor]: Taking taylor expansion of (- c) in c
11.728 * [taylor]: Taking taylor expansion of c in c
11.729 * [backup-simplify]: Simplify 0 into 0
11.729 * [backup-simplify]: Simplify 1 into 1
11.729 * [backup-simplify]: Simplify (- 0) into 0
11.729 * [backup-simplify]: Simplify (- 1) into -1
11.729 * [backup-simplify]: Simplify (exp 0) into 1
11.729 * [taylor]: Taking taylor expansion of 2 in c
11.729 * [backup-simplify]: Simplify 2 into 2
11.730 * [backup-simplify]: Simplify (- 1) into -1
11.730 * [backup-simplify]: Simplify (+ 1 -1) into 0
11.731 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
11.731 * [backup-simplify]: Simplify (- 1) into -1
11.733 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
11.733 * [backup-simplify]: Simplify (- -1) into 1
11.733 * [backup-simplify]: Simplify (+ 1 1) into 2
11.734 * [backup-simplify]: Simplify (/ 2 2) into 1
11.734 * [backup-simplify]: Simplify (sqrt 0) into 0
11.735 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
11.735 * [backup-simplify]: Simplify 0 into 0
11.735 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.737 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
11.738 * [backup-simplify]: Simplify (- 1) into -1
11.738 * [backup-simplify]: Simplify (- 0) into 0
11.740 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
11.740 * [backup-simplify]: Simplify (- 1/2) into -1/2
11.741 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
11.741 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
11.745 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
11.745 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.748 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
11.748 * [backup-simplify]: Simplify (- 1) into -1
11.749 * [backup-simplify]: Simplify (- 1) into -1
11.749 * [backup-simplify]: Simplify (- 0) into 0
11.750 * [backup-simplify]: Simplify (- 0) into 0
11.752 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
11.753 * [backup-simplify]: Simplify (- -1/6) into 1/6
11.753 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
11.754 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
11.759 * [backup-simplify]: Simplify (/ (- 1/6 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
11.759 * [backup-simplify]: Simplify +nan.0 into +nan.0
11.760 * [backup-simplify]: Simplify (+ (* +nan.0 (pow c 3)) (+ (* +nan.0 (pow c 2)) (* +nan.0 c))) into (- (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow c 3)) (- (* +nan.0 c))))))
11.760 * [backup-simplify]: Simplify (exp (log (sqrt (sinh (/ 1 c))))) into (sqrt (sinh (/ 1 c)))
11.760 * [approximate]: Taking taylor expansion of (sqrt (sinh (/ 1 c))) in (c) around 0
11.760 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ 1 c))) in c
11.760 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
11.760 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
11.760 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
11.760 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
11.760 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.760 * [taylor]: Taking taylor expansion of c in c
11.760 * [backup-simplify]: Simplify 0 into 0
11.760 * [backup-simplify]: Simplify 1 into 1
11.761 * [backup-simplify]: Simplify (/ 1 1) into 1
11.761 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
11.761 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
11.761 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
11.761 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.761 * [taylor]: Taking taylor expansion of c in c
11.761 * [backup-simplify]: Simplify 0 into 0
11.761 * [backup-simplify]: Simplify 1 into 1
11.762 * [backup-simplify]: Simplify (/ 1 1) into 1
11.762 * [backup-simplify]: Simplify (- 1) into -1
11.762 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
11.762 * [taylor]: Taking taylor expansion of 2 in c
11.762 * [backup-simplify]: Simplify 2 into 2
11.763 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
11.763 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
11.763 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
11.763 * [backup-simplify]: Simplify (sqrt (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (* (sqrt (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (sqrt 1/2))
11.764 * [backup-simplify]: Simplify (- 0) into 0
11.764 * [backup-simplify]: Simplify (+ 0 0) into 0
11.765 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
11.766 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))) into 0
11.766 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ 1 c))) in c
11.766 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
11.766 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
11.766 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
11.766 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
11.766 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.766 * [taylor]: Taking taylor expansion of c in c
11.766 * [backup-simplify]: Simplify 0 into 0
11.766 * [backup-simplify]: Simplify 1 into 1
11.767 * [backup-simplify]: Simplify (/ 1 1) into 1
11.767 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
11.767 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
11.767 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
11.767 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.767 * [taylor]: Taking taylor expansion of c in c
11.767 * [backup-simplify]: Simplify 0 into 0
11.767 * [backup-simplify]: Simplify 1 into 1
11.767 * [backup-simplify]: Simplify (/ 1 1) into 1
11.768 * [backup-simplify]: Simplify (- 1) into -1
11.768 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
11.768 * [taylor]: Taking taylor expansion of 2 in c
11.768 * [backup-simplify]: Simplify 2 into 2
11.768 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
11.768 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
11.769 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
11.769 * [backup-simplify]: Simplify (sqrt (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (* (sqrt (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (sqrt 1/2))
11.769 * [backup-simplify]: Simplify (- 0) into 0
11.770 * [backup-simplify]: Simplify (+ 0 0) into 0
11.771 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
11.771 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))) into 0
11.772 * [backup-simplify]: Simplify (* (sqrt (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (sqrt 1/2)) into (* (sqrt (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (sqrt 1/2))
11.772 * [backup-simplify]: Simplify 0 into 0
11.773 * [backup-simplify]: Simplify (- 0) into 0
11.773 * [backup-simplify]: Simplify (+ 0 0) into 0
11.775 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.776 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (* (sqrt (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (sqrt 1/2)))) into 0
11.777 * [backup-simplify]: Simplify 0 into 0
11.777 * [backup-simplify]: Simplify (- 0) into 0
11.777 * [backup-simplify]: Simplify (+ 0 0) into 0
11.780 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.782 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (* (sqrt (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (sqrt 1/2)))) into 0
11.782 * [backup-simplify]: Simplify 0 into 0
11.783 * [backup-simplify]: Simplify (- 0) into 0
11.783 * [backup-simplify]: Simplify (+ 0 0) into 0
11.786 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.788 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (* (sqrt (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (sqrt 1/2)))) into 0
11.788 * [backup-simplify]: Simplify 0 into 0
11.789 * [backup-simplify]: Simplify (- 0) into 0
11.789 * [backup-simplify]: Simplify (+ 0 0) into 0
11.792 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.794 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (* (sqrt (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (sqrt 1/2)))) into 0
11.794 * [backup-simplify]: Simplify 0 into 0
11.794 * [backup-simplify]: Simplify (- 0) into 0
11.795 * [backup-simplify]: Simplify (+ 0 0) into 0
11.799 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.800 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (* (sqrt (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (sqrt 1/2)))) into 0
11.800 * [backup-simplify]: Simplify 0 into 0
11.801 * [backup-simplify]: Simplify (* (sqrt (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) (sqrt 1/2)) into (* (sqrt (- (exp c) (exp (- c)))) (sqrt 1/2))
11.801 * [backup-simplify]: Simplify (exp (log (sqrt (sinh (/ 1 (- c)))))) into (sqrt (sinh (/ -1 c)))
11.801 * [approximate]: Taking taylor expansion of (sqrt (sinh (/ -1 c))) in (c) around 0
11.801 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ -1 c))) in c
11.801 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
11.802 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
11.802 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
11.802 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
11.802 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.802 * [taylor]: Taking taylor expansion of -1 in c
11.802 * [backup-simplify]: Simplify -1 into -1
11.802 * [taylor]: Taking taylor expansion of c in c
11.802 * [backup-simplify]: Simplify 0 into 0
11.802 * [backup-simplify]: Simplify 1 into 1
11.802 * [backup-simplify]: Simplify (/ -1 1) into -1
11.802 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
11.802 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
11.802 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
11.802 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.802 * [taylor]: Taking taylor expansion of -1 in c
11.802 * [backup-simplify]: Simplify -1 into -1
11.803 * [taylor]: Taking taylor expansion of c in c
11.803 * [backup-simplify]: Simplify 0 into 0
11.803 * [backup-simplify]: Simplify 1 into 1
11.803 * [backup-simplify]: Simplify (/ -1 1) into -1
11.803 * [backup-simplify]: Simplify (- -1) into 1
11.804 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
11.804 * [taylor]: Taking taylor expansion of 2 in c
11.804 * [backup-simplify]: Simplify 2 into 2
11.804 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
11.804 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
11.804 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
11.804 * [backup-simplify]: Simplify (sqrt (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (* (sqrt (- (exp (/ -1 c)) (exp (/ 1 c)))) (sqrt 1/2))
11.805 * [backup-simplify]: Simplify (- 0) into 0
11.805 * [backup-simplify]: Simplify (+ 0 0) into 0
11.806 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
11.806 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))) into 0
11.807 * [taylor]: Taking taylor expansion of (sqrt (sinh (/ -1 c))) in c
11.807 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
11.807 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
11.807 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
11.807 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
11.807 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.807 * [taylor]: Taking taylor expansion of -1 in c
11.807 * [backup-simplify]: Simplify -1 into -1
11.807 * [taylor]: Taking taylor expansion of c in c
11.807 * [backup-simplify]: Simplify 0 into 0
11.807 * [backup-simplify]: Simplify 1 into 1
11.807 * [backup-simplify]: Simplify (/ -1 1) into -1
11.807 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
11.808 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
11.808 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
11.808 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.808 * [taylor]: Taking taylor expansion of -1 in c
11.808 * [backup-simplify]: Simplify -1 into -1
11.808 * [taylor]: Taking taylor expansion of c in c
11.808 * [backup-simplify]: Simplify 0 into 0
11.808 * [backup-simplify]: Simplify 1 into 1
11.808 * [backup-simplify]: Simplify (/ -1 1) into -1
11.808 * [backup-simplify]: Simplify (- -1) into 1
11.809 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
11.809 * [taylor]: Taking taylor expansion of 2 in c
11.809 * [backup-simplify]: Simplify 2 into 2
11.809 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
11.809 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
11.809 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
11.809 * [backup-simplify]: Simplify (sqrt (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (* (sqrt (- (exp (/ -1 c)) (exp (/ 1 c)))) (sqrt 1/2))
11.810 * [backup-simplify]: Simplify (- 0) into 0
11.810 * [backup-simplify]: Simplify (+ 0 0) into 0
11.811 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
11.812 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))) into 0
11.812 * [backup-simplify]: Simplify (* (sqrt (- (exp (/ -1 c)) (exp (/ 1 c)))) (sqrt 1/2)) into (* (sqrt (- (exp (/ -1 c)) (exp (/ 1 c)))) (sqrt 1/2))
11.812 * [backup-simplify]: Simplify 0 into 0
11.813 * [backup-simplify]: Simplify (- 0) into 0
11.813 * [backup-simplify]: Simplify (+ 0 0) into 0
11.815 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.816 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (* (sqrt (- (exp (/ -1 c)) (exp (/ 1 c)))) (sqrt 1/2)))) into 0
11.816 * [backup-simplify]: Simplify 0 into 0
11.816 * [backup-simplify]: Simplify (- 0) into 0
11.817 * [backup-simplify]: Simplify (+ 0 0) into 0
11.819 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.820 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (* (sqrt (- (exp (/ -1 c)) (exp (/ 1 c)))) (sqrt 1/2)))) into 0
11.820 * [backup-simplify]: Simplify 0 into 0
11.821 * [backup-simplify]: Simplify (- 0) into 0
11.821 * [backup-simplify]: Simplify (+ 0 0) into 0
11.824 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.825 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (* (sqrt (- (exp (/ -1 c)) (exp (/ 1 c)))) (sqrt 1/2)))) into 0
11.826 * [backup-simplify]: Simplify 0 into 0
11.826 * [backup-simplify]: Simplify (- 0) into 0
11.826 * [backup-simplify]: Simplify (+ 0 0) into 0
11.829 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.831 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (* (sqrt (- (exp (/ -1 c)) (exp (/ 1 c)))) (sqrt 1/2)))) into 0
11.831 * [backup-simplify]: Simplify 0 into 0
11.831 * [backup-simplify]: Simplify (- 0) into 0
11.832 * [backup-simplify]: Simplify (+ 0 0) into 0
11.835 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.837 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (* (sqrt (- (exp (/ -1 c)) (exp (/ 1 c)))) (sqrt 1/2)))) into 0
11.837 * [backup-simplify]: Simplify 0 into 0
11.838 * [backup-simplify]: Simplify (* (sqrt (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) (sqrt 1/2)) into (* (sqrt 1/2) (sqrt (- (exp c) (exp (* -1 c)))))
11.838 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
11.838 * [backup-simplify]: Simplify (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c))))) into (sinh c)
11.838 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
11.838 * [taylor]: Taking taylor expansion of (sinh c) in c
11.838 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
11.838 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
11.838 * [taylor]: Taking taylor expansion of (exp c) in c
11.838 * [taylor]: Taking taylor expansion of c in c
11.838 * [backup-simplify]: Simplify 0 into 0
11.839 * [backup-simplify]: Simplify 1 into 1
11.839 * [backup-simplify]: Simplify (exp 0) into 1
11.839 * [taylor]: Taking taylor expansion of (exp (- c)) in c
11.839 * [taylor]: Taking taylor expansion of (- c) in c
11.839 * [taylor]: Taking taylor expansion of c in c
11.839 * [backup-simplify]: Simplify 0 into 0
11.839 * [backup-simplify]: Simplify 1 into 1
11.841 * [backup-simplify]: Simplify (- 0) into 0
11.842 * [backup-simplify]: Simplify (- 1) into -1
11.842 * [backup-simplify]: Simplify (exp 0) into 1
11.842 * [taylor]: Taking taylor expansion of 2 in c
11.842 * [backup-simplify]: Simplify 2 into 2
11.842 * [backup-simplify]: Simplify (- 1) into -1
11.843 * [backup-simplify]: Simplify (+ 1 -1) into 0
11.844 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
11.844 * [backup-simplify]: Simplify (- 1) into -1
11.845 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
11.846 * [backup-simplify]: Simplify (- -1) into 1
11.846 * [backup-simplify]: Simplify (+ 1 1) into 2
11.846 * [backup-simplify]: Simplify (/ 2 2) into 1
11.846 * [taylor]: Taking taylor expansion of (sinh c) in c
11.847 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
11.847 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
11.847 * [taylor]: Taking taylor expansion of (exp c) in c
11.847 * [taylor]: Taking taylor expansion of c in c
11.847 * [backup-simplify]: Simplify 0 into 0
11.847 * [backup-simplify]: Simplify 1 into 1
11.847 * [backup-simplify]: Simplify (exp 0) into 1
11.847 * [taylor]: Taking taylor expansion of (exp (- c)) in c
11.847 * [taylor]: Taking taylor expansion of (- c) in c
11.847 * [taylor]: Taking taylor expansion of c in c
11.847 * [backup-simplify]: Simplify 0 into 0
11.847 * [backup-simplify]: Simplify 1 into 1
11.847 * [backup-simplify]: Simplify (- 0) into 0
11.848 * [backup-simplify]: Simplify (- 1) into -1
11.848 * [backup-simplify]: Simplify (exp 0) into 1
11.848 * [taylor]: Taking taylor expansion of 2 in c
11.848 * [backup-simplify]: Simplify 2 into 2
11.848 * [backup-simplify]: Simplify (- 1) into -1
11.849 * [backup-simplify]: Simplify (+ 1 -1) into 0
11.850 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
11.850 * [backup-simplify]: Simplify (- 1) into -1
11.851 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
11.852 * [backup-simplify]: Simplify (- -1) into 1
11.852 * [backup-simplify]: Simplify (+ 1 1) into 2
11.852 * [backup-simplify]: Simplify (/ 2 2) into 1
11.852 * [backup-simplify]: Simplify 1 into 1
11.854 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
11.854 * [backup-simplify]: Simplify (- 1) into -1
11.854 * [backup-simplify]: Simplify (- 0) into 0
11.856 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
11.856 * [backup-simplify]: Simplify (- 1/2) into -1/2
11.856 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
11.857 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
11.857 * [backup-simplify]: Simplify 0 into 0
11.858 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
11.859 * [backup-simplify]: Simplify (- 1) into -1
11.859 * [backup-simplify]: Simplify (- 1) into -1
11.859 * [backup-simplify]: Simplify (- 0) into 0
11.859 * [backup-simplify]: Simplify (- 0) into 0
11.861 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
11.861 * [backup-simplify]: Simplify (- -1/6) into 1/6
11.861 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
11.862 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
11.862 * [backup-simplify]: Simplify 1/6 into 1/6
11.864 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
11.864 * [backup-simplify]: Simplify (- 1) into -1
11.864 * [backup-simplify]: Simplify (- 1) into -1
11.865 * [backup-simplify]: Simplify (- 0) into 0
11.865 * [backup-simplify]: Simplify (- 1) into -1
11.865 * [backup-simplify]: Simplify (- 0) into 0
11.865 * [backup-simplify]: Simplify (- 0) into 0
11.865 * [backup-simplify]: Simplify (- 0) into 0
11.868 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
11.868 * [backup-simplify]: Simplify (- 1/24) into -1/24
11.868 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
11.869 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
11.869 * [backup-simplify]: Simplify 0 into 0
11.872 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120
11.872 * [backup-simplify]: Simplify (- 1) into -1
11.872 * [backup-simplify]: Simplify (- 1) into -1
11.873 * [backup-simplify]: Simplify (- 0) into 0
11.873 * [backup-simplify]: Simplify (- 1) into -1
11.873 * [backup-simplify]: Simplify (- 0) into 0
11.873 * [backup-simplify]: Simplify (- 1) into -1
11.874 * [backup-simplify]: Simplify (- 0) into 0
11.874 * [backup-simplify]: Simplify (- 1) into -1
11.874 * [backup-simplify]: Simplify (- 0) into 0
11.874 * [backup-simplify]: Simplify (- 0) into 0
11.875 * [backup-simplify]: Simplify (- 0) into 0
11.875 * [backup-simplify]: Simplify (- 0) into 0
11.878 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120
11.878 * [backup-simplify]: Simplify (- -1/120) into 1/120
11.878 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
11.879 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
11.879 * [backup-simplify]: Simplify 1/120 into 1/120
11.880 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
11.880 * [backup-simplify]: Simplify (* (exp (log (sqrt (sinh (/ 1 c))))) (exp (log (sqrt (sinh (/ 1 c)))))) into (sinh (/ 1 c))
11.880 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
11.880 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
11.880 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
11.880 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
11.880 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
11.880 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.880 * [taylor]: Taking taylor expansion of c in c
11.880 * [backup-simplify]: Simplify 0 into 0
11.880 * [backup-simplify]: Simplify 1 into 1
11.880 * [backup-simplify]: Simplify (/ 1 1) into 1
11.880 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
11.880 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
11.880 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
11.880 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.881 * [taylor]: Taking taylor expansion of c in c
11.881 * [backup-simplify]: Simplify 0 into 0
11.881 * [backup-simplify]: Simplify 1 into 1
11.881 * [backup-simplify]: Simplify (/ 1 1) into 1
11.881 * [backup-simplify]: Simplify (- 1) into -1
11.881 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
11.881 * [taylor]: Taking taylor expansion of 2 in c
11.881 * [backup-simplify]: Simplify 2 into 2
11.881 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
11.881 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
11.881 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
11.882 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
11.882 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
11.882 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
11.882 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
11.882 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.882 * [taylor]: Taking taylor expansion of c in c
11.882 * [backup-simplify]: Simplify 0 into 0
11.882 * [backup-simplify]: Simplify 1 into 1
11.882 * [backup-simplify]: Simplify (/ 1 1) into 1
11.882 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
11.882 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
11.882 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
11.882 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.882 * [taylor]: Taking taylor expansion of c in c
11.882 * [backup-simplify]: Simplify 0 into 0
11.882 * [backup-simplify]: Simplify 1 into 1
11.882 * [backup-simplify]: Simplify (/ 1 1) into 1
11.883 * [backup-simplify]: Simplify (- 1) into -1
11.883 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
11.883 * [taylor]: Taking taylor expansion of 2 in c
11.883 * [backup-simplify]: Simplify 2 into 2
11.883 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
11.883 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
11.883 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
11.883 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
11.883 * [backup-simplify]: Simplify (- 0) into 0
11.884 * [backup-simplify]: Simplify (+ 0 0) into 0
11.884 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
11.884 * [backup-simplify]: Simplify 0 into 0
11.885 * [backup-simplify]: Simplify (- 0) into 0
11.885 * [backup-simplify]: Simplify (+ 0 0) into 0
11.886 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.886 * [backup-simplify]: Simplify 0 into 0
11.886 * [backup-simplify]: Simplify (- 0) into 0
11.886 * [backup-simplify]: Simplify (+ 0 0) into 0
11.887 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.888 * [backup-simplify]: Simplify 0 into 0
11.888 * [backup-simplify]: Simplify (- 0) into 0
11.888 * [backup-simplify]: Simplify (+ 0 0) into 0
11.889 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.889 * [backup-simplify]: Simplify 0 into 0
11.890 * [backup-simplify]: Simplify (- 0) into 0
11.890 * [backup-simplify]: Simplify (+ 0 0) into 0
11.892 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.892 * [backup-simplify]: Simplify 0 into 0
11.892 * [backup-simplify]: Simplify (- 0) into 0
11.892 * [backup-simplify]: Simplify (+ 0 0) into 0
11.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)) (* 0 (/ 0 2)))) into 0
11.895 * [backup-simplify]: Simplify 0 into 0
11.895 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
11.895 * [backup-simplify]: Simplify (* (exp (log (sqrt (sinh (/ 1 (- c)))))) (exp (log (sqrt (sinh (/ 1 (- c))))))) into (sinh (/ -1 c))
11.895 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
11.895 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
11.895 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
11.895 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
11.895 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
11.895 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.895 * [taylor]: Taking taylor expansion of -1 in c
11.895 * [backup-simplify]: Simplify -1 into -1
11.895 * [taylor]: Taking taylor expansion of c in c
11.895 * [backup-simplify]: Simplify 0 into 0
11.896 * [backup-simplify]: Simplify 1 into 1
11.896 * [backup-simplify]: Simplify (/ -1 1) into -1
11.896 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
11.896 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
11.896 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
11.896 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.896 * [taylor]: Taking taylor expansion of -1 in c
11.896 * [backup-simplify]: Simplify -1 into -1
11.896 * [taylor]: Taking taylor expansion of c in c
11.896 * [backup-simplify]: Simplify 0 into 0
11.896 * [backup-simplify]: Simplify 1 into 1
11.896 * [backup-simplify]: Simplify (/ -1 1) into -1
11.896 * [backup-simplify]: Simplify (- -1) into 1
11.897 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
11.897 * [taylor]: Taking taylor expansion of 2 in c
11.897 * [backup-simplify]: Simplify 2 into 2
11.897 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
11.897 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
11.897 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
11.897 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
11.897 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
11.897 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
11.897 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
11.897 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.897 * [taylor]: Taking taylor expansion of -1 in c
11.897 * [backup-simplify]: Simplify -1 into -1
11.897 * [taylor]: Taking taylor expansion of c in c
11.897 * [backup-simplify]: Simplify 0 into 0
11.897 * [backup-simplify]: Simplify 1 into 1
11.897 * [backup-simplify]: Simplify (/ -1 1) into -1
11.897 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
11.897 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
11.897 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
11.897 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.897 * [taylor]: Taking taylor expansion of -1 in c
11.897 * [backup-simplify]: Simplify -1 into -1
11.897 * [taylor]: Taking taylor expansion of c in c
11.898 * [backup-simplify]: Simplify 0 into 0
11.898 * [backup-simplify]: Simplify 1 into 1
11.898 * [backup-simplify]: Simplify (/ -1 1) into -1
11.898 * [backup-simplify]: Simplify (- -1) into 1
11.898 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
11.898 * [taylor]: Taking taylor expansion of 2 in c
11.898 * [backup-simplify]: Simplify 2 into 2
11.898 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
11.898 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
11.898 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
11.899 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
11.899 * [backup-simplify]: Simplify (- 0) into 0
11.899 * [backup-simplify]: Simplify (+ 0 0) into 0
11.900 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
11.900 * [backup-simplify]: Simplify 0 into 0
11.900 * [backup-simplify]: Simplify (- 0) into 0
11.900 * [backup-simplify]: Simplify (+ 0 0) into 0
11.901 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.901 * [backup-simplify]: Simplify 0 into 0
11.901 * [backup-simplify]: Simplify (- 0) into 0
11.902 * [backup-simplify]: Simplify (+ 0 0) into 0
11.903 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.903 * [backup-simplify]: Simplify 0 into 0
11.903 * [backup-simplify]: Simplify (- 0) into 0
11.903 * [backup-simplify]: Simplify (+ 0 0) into 0
11.905 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.905 * [backup-simplify]: Simplify 0 into 0
11.905 * [backup-simplify]: Simplify (- 0) into 0
11.906 * [backup-simplify]: Simplify (+ 0 0) into 0
11.907 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.907 * [backup-simplify]: Simplify 0 into 0
11.908 * [backup-simplify]: Simplify (- 0) into 0
11.908 * [backup-simplify]: Simplify (+ 0 0) into 0
11.910 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.910 * [backup-simplify]: Simplify 0 into 0
11.910 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
11.910 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1)
11.910 * [backup-simplify]: Simplify (sinh c) into (sinh c)
11.910 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
11.910 * [taylor]: Taking taylor expansion of (sinh c) in c
11.910 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
11.910 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
11.910 * [taylor]: Taking taylor expansion of (exp c) in c
11.910 * [taylor]: Taking taylor expansion of c in c
11.910 * [backup-simplify]: Simplify 0 into 0
11.910 * [backup-simplify]: Simplify 1 into 1
11.910 * [backup-simplify]: Simplify (exp 0) into 1
11.910 * [taylor]: Taking taylor expansion of (exp (- c)) in c
11.911 * [taylor]: Taking taylor expansion of (- c) in c
11.911 * [taylor]: Taking taylor expansion of c in c
11.911 * [backup-simplify]: Simplify 0 into 0
11.911 * [backup-simplify]: Simplify 1 into 1
11.911 * [backup-simplify]: Simplify (- 0) into 0
11.911 * [backup-simplify]: Simplify (- 1) into -1
11.911 * [backup-simplify]: Simplify (exp 0) into 1
11.911 * [taylor]: Taking taylor expansion of 2 in c
11.911 * [backup-simplify]: Simplify 2 into 2
11.911 * [backup-simplify]: Simplify (- 1) into -1
11.912 * [backup-simplify]: Simplify (+ 1 -1) into 0
11.912 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
11.912 * [backup-simplify]: Simplify (- 1) into -1
11.913 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
11.913 * [backup-simplify]: Simplify (- -1) into 1
11.914 * [backup-simplify]: Simplify (+ 1 1) into 2
11.914 * [backup-simplify]: Simplify (/ 2 2) into 1
11.914 * [taylor]: Taking taylor expansion of (sinh c) in c
11.914 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
11.914 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
11.914 * [taylor]: Taking taylor expansion of (exp c) in c
11.914 * [taylor]: Taking taylor expansion of c in c
11.914 * [backup-simplify]: Simplify 0 into 0
11.914 * [backup-simplify]: Simplify 1 into 1
11.914 * [backup-simplify]: Simplify (exp 0) into 1
11.914 * [taylor]: Taking taylor expansion of (exp (- c)) in c
11.914 * [taylor]: Taking taylor expansion of (- c) in c
11.914 * [taylor]: Taking taylor expansion of c in c
11.914 * [backup-simplify]: Simplify 0 into 0
11.914 * [backup-simplify]: Simplify 1 into 1
11.914 * [backup-simplify]: Simplify (- 0) into 0
11.915 * [backup-simplify]: Simplify (- 1) into -1
11.915 * [backup-simplify]: Simplify (exp 0) into 1
11.915 * [taylor]: Taking taylor expansion of 2 in c
11.915 * [backup-simplify]: Simplify 2 into 2
11.915 * [backup-simplify]: Simplify (- 1) into -1
11.915 * [backup-simplify]: Simplify (+ 1 -1) into 0
11.916 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
11.916 * [backup-simplify]: Simplify (- 1) into -1
11.916 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
11.917 * [backup-simplify]: Simplify (- -1) into 1
11.917 * [backup-simplify]: Simplify (+ 1 1) into 2
11.917 * [backup-simplify]: Simplify (/ 2 2) into 1
11.917 * [backup-simplify]: Simplify 1 into 1
11.919 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
11.919 * [backup-simplify]: Simplify (- 1) into -1
11.920 * [backup-simplify]: Simplify (- 0) into 0
11.921 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
11.922 * [backup-simplify]: Simplify (- 1/2) into -1/2
11.922 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
11.923 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
11.923 * [backup-simplify]: Simplify 0 into 0
11.926 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
11.926 * [backup-simplify]: Simplify (- 1) into -1
11.927 * [backup-simplify]: Simplify (- 1) into -1
11.927 * [backup-simplify]: Simplify (- 0) into 0
11.928 * [backup-simplify]: Simplify (- 0) into 0
11.931 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
11.931 * [backup-simplify]: Simplify (- -1/6) into 1/6
11.932 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
11.933 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
11.933 * [backup-simplify]: Simplify 1/6 into 1/6
11.938 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
11.938 * [backup-simplify]: Simplify (- 1) into -1
11.939 * [backup-simplify]: Simplify (- 1) into -1
11.939 * [backup-simplify]: Simplify (- 0) into 0
11.940 * [backup-simplify]: Simplify (- 1) into -1
11.940 * [backup-simplify]: Simplify (- 0) into 0
11.940 * [backup-simplify]: Simplify (- 0) into 0
11.941 * [backup-simplify]: Simplify (- 0) into 0
11.948 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
11.948 * [backup-simplify]: Simplify (- 1/24) into -1/24
11.949 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
11.951 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
11.951 * [backup-simplify]: Simplify 0 into 0
11.959 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120
11.960 * [backup-simplify]: Simplify (- 1) into -1
11.960 * [backup-simplify]: Simplify (- 1) into -1
11.961 * [backup-simplify]: Simplify (- 0) into 0
11.961 * [backup-simplify]: Simplify (- 1) into -1
11.961 * [backup-simplify]: Simplify (- 0) into 0
11.962 * [backup-simplify]: Simplify (- 1) into -1
11.962 * [backup-simplify]: Simplify (- 0) into 0
11.963 * [backup-simplify]: Simplify (- 1) into -1
11.963 * [backup-simplify]: Simplify (- 0) into 0
11.963 * [backup-simplify]: Simplify (- 0) into 0
11.964 * [backup-simplify]: Simplify (- 0) into 0
11.964 * [backup-simplify]: Simplify (- 0) into 0
11.970 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120
11.971 * [backup-simplify]: Simplify (- -1/120) into 1/120
11.971 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
11.973 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
11.973 * [backup-simplify]: Simplify 1/120 into 1/120
11.973 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
11.974 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c))
11.974 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
11.974 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
11.974 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
11.974 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
11.974 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
11.974 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.974 * [taylor]: Taking taylor expansion of c in c
11.974 * [backup-simplify]: Simplify 0 into 0
11.974 * [backup-simplify]: Simplify 1 into 1
11.974 * [backup-simplify]: Simplify (/ 1 1) into 1
11.975 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
11.975 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
11.975 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
11.975 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.975 * [taylor]: Taking taylor expansion of c in c
11.975 * [backup-simplify]: Simplify 0 into 0
11.975 * [backup-simplify]: Simplify 1 into 1
11.975 * [backup-simplify]: Simplify (/ 1 1) into 1
11.975 * [backup-simplify]: Simplify (- 1) into -1
11.976 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
11.976 * [taylor]: Taking taylor expansion of 2 in c
11.976 * [backup-simplify]: Simplify 2 into 2
11.976 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
11.976 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
11.976 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
11.976 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
11.976 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
11.976 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
11.976 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
11.976 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.976 * [taylor]: Taking taylor expansion of c in c
11.976 * [backup-simplify]: Simplify 0 into 0
11.976 * [backup-simplify]: Simplify 1 into 1
11.977 * [backup-simplify]: Simplify (/ 1 1) into 1
11.977 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
11.977 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
11.977 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
11.977 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.977 * [taylor]: Taking taylor expansion of c in c
11.977 * [backup-simplify]: Simplify 0 into 0
11.977 * [backup-simplify]: Simplify 1 into 1
11.978 * [backup-simplify]: Simplify (/ 1 1) into 1
11.978 * [backup-simplify]: Simplify (- 1) into -1
11.978 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
11.978 * [taylor]: Taking taylor expansion of 2 in c
11.978 * [backup-simplify]: Simplify 2 into 2
11.978 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
11.978 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
11.979 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
11.979 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
11.979 * [backup-simplify]: Simplify (- 0) into 0
11.980 * [backup-simplify]: Simplify (+ 0 0) into 0
11.981 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
11.981 * [backup-simplify]: Simplify 0 into 0
11.981 * [backup-simplify]: Simplify (- 0) into 0
11.981 * [backup-simplify]: Simplify (+ 0 0) into 0
11.983 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.983 * [backup-simplify]: Simplify 0 into 0
11.984 * [backup-simplify]: Simplify (- 0) into 0
11.984 * [backup-simplify]: Simplify (+ 0 0) into 0
11.986 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.986 * [backup-simplify]: Simplify 0 into 0
11.986 * [backup-simplify]: Simplify (- 0) into 0
11.987 * [backup-simplify]: Simplify (+ 0 0) into 0
11.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
11.989 * [backup-simplify]: Simplify 0 into 0
11.990 * [backup-simplify]: Simplify (- 0) into 0
11.990 * [backup-simplify]: Simplify (+ 0 0) into 0
11.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
11.993 * [backup-simplify]: Simplify 0 into 0
11.994 * [backup-simplify]: Simplify (- 0) into 0
11.994 * [backup-simplify]: Simplify (+ 0 0) into 0
11.998 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.998 * [backup-simplify]: Simplify 0 into 0
11.998 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
11.998 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c))
11.998 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
11.998 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
11.998 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
11.998 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
11.998 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
11.998 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.998 * [taylor]: Taking taylor expansion of -1 in c
11.998 * [backup-simplify]: Simplify -1 into -1
11.998 * [taylor]: Taking taylor expansion of c in c
11.998 * [backup-simplify]: Simplify 0 into 0
11.998 * [backup-simplify]: Simplify 1 into 1
11.999 * [backup-simplify]: Simplify (/ -1 1) into -1
11.999 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
11.999 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
11.999 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
11.999 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.999 * [taylor]: Taking taylor expansion of -1 in c
11.999 * [backup-simplify]: Simplify -1 into -1
11.999 * [taylor]: Taking taylor expansion of c in c
11.999 * [backup-simplify]: Simplify 0 into 0
11.999 * [backup-simplify]: Simplify 1 into 1
12.000 * [backup-simplify]: Simplify (/ -1 1) into -1
12.000 * [backup-simplify]: Simplify (- -1) into 1
12.000 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
12.000 * [taylor]: Taking taylor expansion of 2 in c
12.000 * [backup-simplify]: Simplify 2 into 2
12.000 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
12.000 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
12.001 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
12.001 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
12.001 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
12.001 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
12.001 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
12.001 * [taylor]: Taking taylor expansion of (/ -1 c) in c
12.001 * [taylor]: Taking taylor expansion of -1 in c
12.001 * [backup-simplify]: Simplify -1 into -1
12.001 * [taylor]: Taking taylor expansion of c in c
12.001 * [backup-simplify]: Simplify 0 into 0
12.001 * [backup-simplify]: Simplify 1 into 1
12.002 * [backup-simplify]: Simplify (/ -1 1) into -1
12.002 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
12.002 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
12.002 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
12.002 * [taylor]: Taking taylor expansion of (/ -1 c) in c
12.002 * [taylor]: Taking taylor expansion of -1 in c
12.002 * [backup-simplify]: Simplify -1 into -1
12.002 * [taylor]: Taking taylor expansion of c in c
12.002 * [backup-simplify]: Simplify 0 into 0
12.002 * [backup-simplify]: Simplify 1 into 1
12.002 * [backup-simplify]: Simplify (/ -1 1) into -1
12.002 * [backup-simplify]: Simplify (- -1) into 1
12.002 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
12.002 * [taylor]: Taking taylor expansion of 2 in c
12.002 * [backup-simplify]: Simplify 2 into 2
12.002 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
12.002 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
12.003 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
12.003 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
12.003 * [backup-simplify]: Simplify (- 0) into 0
12.003 * [backup-simplify]: Simplify (+ 0 0) into 0
12.004 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
12.004 * [backup-simplify]: Simplify 0 into 0
12.004 * [backup-simplify]: Simplify (- 0) into 0
12.004 * [backup-simplify]: Simplify (+ 0 0) into 0
12.005 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
12.005 * [backup-simplify]: Simplify 0 into 0
12.006 * [backup-simplify]: Simplify (- 0) into 0
12.006 * [backup-simplify]: Simplify (+ 0 0) into 0
12.007 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
12.007 * [backup-simplify]: Simplify 0 into 0
12.007 * [backup-simplify]: Simplify (- 0) into 0
12.007 * [backup-simplify]: Simplify (+ 0 0) into 0
12.009 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
12.009 * [backup-simplify]: Simplify 0 into 0
12.009 * [backup-simplify]: Simplify (- 0) into 0
12.009 * [backup-simplify]: Simplify (+ 0 0) into 0
12.011 * [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.011 * [backup-simplify]: Simplify 0 into 0
12.011 * [backup-simplify]: Simplify (- 0) into 0
12.012 * [backup-simplify]: Simplify (+ 0 0) into 0
12.014 * [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.014 * [backup-simplify]: Simplify 0 into 0
12.014 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
12.014 * * * [progress]: simplifying candidates
12.016 * [simplify]: Simplifying:
  (expm1 (exp (log (sqrt (sinh c)))))
  (log1p (exp (log (sqrt (sinh c)))))
  (exp 1/2)
  (exp 1)
  (exp (/ 1 2))
  (exp (* (cbrt (log (sqrt (sinh c)))) (cbrt (log (sqrt (sinh c))))))
  (exp (sqrt (log (sqrt (sinh c)))))
  (exp 1)
  (exp (log (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))))
  (exp (log (cbrt (sqrt (sinh c)))))
  (exp (log (sqrt (* (cbrt (sinh c)) (cbrt (sinh c))))))
  (exp (log (sqrt (cbrt (sinh c)))))
  (exp (log (sqrt (sqrt (sinh c)))))
  (exp (log (sqrt (sqrt (sinh c)))))
  (exp (log (sqrt 1)))
  (exp (log (sqrt (sinh c))))
  (exp (log (sqrt (sqrt (sinh c)))))
  (exp (log (sqrt (sqrt (sinh c)))))
  (exp (log 1))
  (exp (log (sqrt (sinh c))))
  (exp (log (sqrt (- (exp c) (exp (- c))))))
  (exp (log (sqrt 2)))
  (log (exp (log (sqrt (sinh c)))))
  (exp (exp (log (sqrt (sinh c)))))
  (* (cbrt (exp (log (sqrt (sinh c))))) (cbrt (exp (log (sqrt (sinh c))))))
  (cbrt (exp (log (sqrt (sinh c)))))
  (* (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c))))) (exp (log (sqrt (sinh c)))))
  (sqrt (exp (log (sqrt (sinh c)))))
  (sqrt (exp (log (sqrt (sinh c)))))
  (expm1 (exp (log (sqrt (sinh c)))))
  (log1p (exp (log (sqrt (sinh c)))))
  (exp 1/2)
  (exp 1)
  (exp (/ 1 2))
  (exp (* (cbrt (log (sqrt (sinh c)))) (cbrt (log (sqrt (sinh c))))))
  (exp (sqrt (log (sqrt (sinh c)))))
  (exp 1)
  (exp (log (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))))
  (exp (log (cbrt (sqrt (sinh c)))))
  (exp (log (sqrt (* (cbrt (sinh c)) (cbrt (sinh c))))))
  (exp (log (sqrt (cbrt (sinh c)))))
  (exp (log (sqrt (sqrt (sinh c)))))
  (exp (log (sqrt (sqrt (sinh c)))))
  (exp (log (sqrt 1)))
  (exp (log (sqrt (sinh c))))
  (exp (log (sqrt (sqrt (sinh c)))))
  (exp (log (sqrt (sqrt (sinh c)))))
  (exp (log 1))
  (exp (log (sqrt (sinh c))))
  (exp (log (sqrt (- (exp c) (exp (- c))))))
  (exp (log (sqrt 2)))
  (log (exp (log (sqrt (sinh c)))))
  (exp (exp (log (sqrt (sinh c)))))
  (* (cbrt (exp (log (sqrt (sinh c))))) (cbrt (exp (log (sqrt (sinh c))))))
  (cbrt (exp (log (sqrt (sinh c)))))
  (* (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c))))) (exp (log (sqrt (sinh c)))))
  (sqrt (exp (log (sqrt (sinh c)))))
  (sqrt (exp (log (sqrt (sinh c)))))
  (expm1 (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c))))))
  (log1p (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c))))))
  (+ 1 1)
  (+ (log (sinh c)) (log (sinh c)))
  (+ (log (sqrt (sinh c))) (log (sqrt (sinh c))))
  (+ (log (sqrt (sinh c))) (log (sqrt (sinh c))))
  (+ (log (sinh c)) (log (sinh c)))
  (+ (cbrt (log (sqrt (sinh c)))) (cbrt (log (sqrt (sinh c)))))
  (+ (sqrt (log (sqrt (sinh c)))) (sqrt (log (sqrt (sinh c)))))
  (+ (log (sqrt (sinh c))) (log (sqrt (sinh c))))
  (+ (log (sqrt (sinh c))) (log (sqrt (sinh c))))
  (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c)))))
  (* (exp 1/2) (exp 1/2))
  (* (exp 1/2) (exp (/ 1 2)))
  (* (exp 1) (exp 1))
  (* (exp 1) (exp 1))
  (* (exp (/ 1 2)) (exp 1/2))
  (* (exp (/ 1 2)) (exp (/ 1 2)))
  (* (exp (* (cbrt (log (sqrt (sinh c)))) (cbrt (log (sqrt (sinh c)))))) (exp (* (cbrt (log (sqrt (sinh c)))) (cbrt (log (sqrt (sinh c)))))))
  (* (exp (sqrt (log (sqrt (sinh c))))) (exp (sqrt (log (sqrt (sinh c))))))
  (* (exp 1) (exp 1))
  (* (exp 1) (exp 1))
  (+ 1 1)
  (+ (log (sqrt (sinh c))) (log (sqrt (sinh c))))
  (log (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c))))))
  (exp (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c))))))
  (* (* (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c))))) (exp (log (sqrt (sinh c))))) (* (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c))))) (exp (log (sqrt (sinh c))))))
  (* (cbrt (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c)))))) (cbrt (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c)))))))
  (cbrt (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c))))))
  (* (* (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c))))) (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c)))))) (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c))))))
  (sqrt (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c))))))
  (sqrt (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c))))))
  (* (exp (log (sqrt (- (exp c) (exp (- c)))))) (exp (log (sqrt (- (exp c) (exp (- c)))))))
  (* (exp (log (sqrt 2))) (exp (log (sqrt 2))))
  (* (exp (log (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))))) (exp (log (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))))))
  (* (exp (log (cbrt (sqrt (sinh c))))) (exp (log (cbrt (sqrt (sinh c))))))
  (* (exp (log (sqrt (* (cbrt (sinh c)) (cbrt (sinh c)))))) (exp (log (sqrt (* (cbrt (sinh c)) (cbrt (sinh c)))))))
  (* (exp (log (sqrt (cbrt (sinh c))))) (exp (log (sqrt (cbrt (sinh c))))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (exp (log (sqrt 1))) (exp (log (sqrt 1))))
  (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c)))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (exp (log 1)) (exp (log 1)))
  (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c)))))
  (* (* (cbrt (exp (log (sqrt (sinh c))))) (cbrt (exp (log (sqrt (sinh c)))))) (* (cbrt (exp (log (sqrt (sinh c))))) (cbrt (exp (log (sqrt (sinh c)))))))
  (* (cbrt (exp (log (sqrt (sinh c))))) (cbrt (exp (log (sqrt (sinh c))))))
  (* (sqrt (exp (log (sqrt (sinh c))))) (sqrt (exp (log (sqrt (sinh c))))))
  (* (sqrt (exp (log (sqrt (sinh c))))) (sqrt (exp (log (sqrt (sinh c))))))
  (* 1 1)
  (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c)))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (sqrt (exp (log (sqrt (sinh c))))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (sqrt (exp (log (sqrt (sinh c))))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (sqrt (exp (log (sqrt (sinh c))))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (sqrt (exp (log (sqrt (sinh c))))))
  (* (sqrt (exp (log (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (sqrt (exp (log (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (sqrt (exp (log (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (sqrt (exp (log (sqrt (sinh c))))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (sqrt (exp (log (sqrt (sinh c))))) (sqrt (exp (log (sqrt (sinh c))))))
  (* (sqrt (exp (log (sqrt (sinh c))))) (sqrt (exp (log (sqrt (sinh c))))))
  (* 2 1)
  (* 2 (log (sinh c)))
  (* 2 (log (sqrt (sinh c))))
  (* 2 (log (sqrt (sinh c))))
  (* 2 (log (sinh c)))
  (* 2 (cbrt (log (sqrt (sinh c)))))
  (* 2 (sqrt (log (sqrt (sinh c)))))
  (* 2 (log (sqrt (sinh c))))
  (* 2 (log (sqrt (sinh c))))
  (* (exp (log (sqrt (sinh c)))) (exp (log (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))))))
  (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (* (cbrt (sinh c)) (cbrt (sinh c)))))))
  (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt 1))))
  (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sqrt (sinh c))))))
  (* (exp (log (sqrt (sinh c)))) (exp (log 1)))
  (* (exp (log (sqrt (sinh c)))) (* (cbrt (exp (log (sqrt (sinh c))))) (cbrt (exp (log (sqrt (sinh c)))))))
  (* (exp (log (sqrt (sinh c)))) (sqrt (exp (log (sqrt (sinh c))))))
  (* (exp (log (sqrt (sinh c)))) 1)
  (* (exp (log (cbrt (sqrt (sinh c))))) (exp (log (sqrt (sinh c)))))
  (* (exp (log (sqrt (cbrt (sinh c))))) (exp (log (sqrt (sinh c)))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (exp (log (sqrt (sinh c)))))
  (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c)))))
  (* (exp (log (sqrt (sqrt (sinh c))))) (exp (log (sqrt (sinh c)))))
  (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c)))))
  (* (cbrt (exp (log (sqrt (sinh c))))) (exp (log (sqrt (sinh c)))))
  (* (sqrt (exp (log (sqrt (sinh c))))) (exp (log (sqrt (sinh c)))))
  (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c)))))
  (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (- (exp c) (exp (- c)))))))
  (* (exp (log (sqrt (- (exp c) (exp (- c)))))) (exp (log (sqrt (sinh c)))))
  (expm1 (sinh c))
  (log1p (sinh c))
  (- (exp c) (exp (- c)))
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (* (* (sinh c) (sinh c)) (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (- (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow c 3)) (- (* +nan.0 c))))))
  (* (sqrt (- (exp c) (exp (- c)))) (sqrt 1/2))
  (* (sqrt 1/2) (sqrt (- (exp c) (exp (* -1 c)))))
  (- (+ (* +nan.0 (pow c 2)) (- (+ (* +nan.0 (pow c 3)) (- (* +nan.0 c))))))
  (* (sqrt (- (exp c) (exp (- c)))) (sqrt 1/2))
  (* (sqrt 1/2) (sqrt (- (exp c) (exp (* -1 c)))))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (* -1 c))))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (* -1 c))))
12.018 * * [simplify]: iteration 0: 150 enodes
12.084 * * [simplify]: iteration 1: 316 enodes
12.199 * * [simplify]: iteration 2: 648 enodes
12.464 * * [simplify]: iteration 3: 1660 enodes
13.698 * * [simplify]: iteration 4: 4299 enodes
14.649 * * [simplify]: iteration complete: 5000 enodes
14.649 * * [simplify]: Extracting #0: cost 44 inf + 0
14.651 * * [simplify]: Extracting #1: cost 424 inf + 126
14.659 * * [simplify]: Extracting #2: cost 754 inf + 3302
14.687 * * [simplify]: Extracting #3: cost 547 inf + 33854
14.713 * * [simplify]: Extracting #4: cost 211 inf + 125305
14.780 * * [simplify]: Extracting #5: cost 14 inf + 192592
14.853 * * [simplify]: Extracting #6: cost 1 inf + 199792
14.905 * * [simplify]: Extracting #7: cost 0 inf + 200448
14.983 * [simplify]: Simplified to:
  (expm1 (sqrt (sinh c)))
  (log1p (sqrt (sinh c)))
  (sqrt E)
  E
  (sqrt E)
  (exp (* (cbrt (log (sqrt (sinh c)))) (cbrt (log (sqrt (sinh c))))))
  (exp (sqrt (log (sqrt (sinh c)))))
  E
  (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))
  (cbrt (sqrt (sinh c)))
  (fabs (cbrt (sinh c)))
  (sqrt (cbrt (sinh c)))
  (sqrt (sqrt (sinh c)))
  (sqrt (sqrt (sinh c)))
  1
  (sqrt (sinh c))
  (sqrt (sqrt (sinh c)))
  (sqrt (sqrt (sinh c)))
  1
  (sqrt (sinh c))
  (sqrt (+ (sinh c) (sinh c)))
  (sqrt 2)
  (log (sqrt (sinh c)))
  (exp (sqrt (sinh c)))
  (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))
  (cbrt (sqrt (sinh c)))
  (* (sinh c) (sqrt (sinh c)))
  (sqrt (sqrt (sinh c)))
  (sqrt (sqrt (sinh c)))
  (expm1 (sqrt (sinh c)))
  (log1p (sqrt (sinh c)))
  (sqrt E)
  E
  (sqrt E)
  (exp (* (cbrt (log (sqrt (sinh c)))) (cbrt (log (sqrt (sinh c))))))
  (exp (sqrt (log (sqrt (sinh c)))))
  E
  (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))
  (cbrt (sqrt (sinh c)))
  (fabs (cbrt (sinh c)))
  (sqrt (cbrt (sinh c)))
  (sqrt (sqrt (sinh c)))
  (sqrt (sqrt (sinh c)))
  1
  (sqrt (sinh c))
  (sqrt (sqrt (sinh c)))
  (sqrt (sqrt (sinh c)))
  1
  (sqrt (sinh c))
  (sqrt (+ (sinh c) (sinh c)))
  (sqrt 2)
  (log (sqrt (sinh c)))
  (exp (sqrt (sinh c)))
  (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))
  (cbrt (sqrt (sinh c)))
  (* (sinh c) (sqrt (sinh c)))
  (sqrt (sqrt (sinh c)))
  (sqrt (sqrt (sinh c)))
  (expm1 (sinh c))
  (log1p (sinh c))
  2
  (+ (log (sinh c)) (log (sinh c)))
  (log (sinh c))
  (log (sinh c))
  (+ (log (sinh c)) (log (sinh c)))
  (+ (cbrt (log (sqrt (sinh c)))) (cbrt (log (sqrt (sinh c)))))
  (+ (sqrt (log (sqrt (sinh c)))) (sqrt (log (sqrt (sinh c)))))
  (log (sinh c))
  (log (sinh c))
  (sinh c)
  E
  E
  (* E E)
  (* E E)
  E
  E
  (exp (* (cbrt (log (sqrt (sinh c)))) (+ (cbrt (log (sqrt (sinh c)))) (cbrt (log (sqrt (sinh c)))))))
  (exp (+ (sqrt (log (sqrt (sinh c)))) (sqrt (log (sqrt (sinh c))))))
  (* E E)
  (* E E)
  2
  (log (sinh c))
  (log (sinh c))
  (exp (sinh c))
  (* (* (sinh c) (sinh c)) (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (* (* (sinh c) (sinh c)) (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (+ (sinh c) (sinh c))
  2
  (* (cbrt (sqrt (sinh c))) (sqrt (sinh c)))
  (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  1
  (sinh c)
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  1
  (sinh c)
  (* (cbrt (sqrt (sinh c))) (sqrt (sinh c)))
  (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))
  (sqrt (sinh c))
  (sqrt (sinh c))
  1
  (sinh c)
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  2
  (+ (log (sinh c)) (log (sinh c)))
  (log (sinh c))
  (log (sinh c))
  (+ (log (sinh c)) (log (sinh c)))
  (+ (cbrt (log (sqrt (sinh c)))) (cbrt (log (sqrt (sinh c)))))
  (+ (sqrt (log (sqrt (sinh c)))) (sqrt (log (sqrt (sinh c)))))
  (log (sinh c))
  (log (sinh c))
  (* (sqrt (sinh c)) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))))
  (* (fabs (cbrt (sinh c))) (sqrt (sinh c)))
  (* (sqrt (sinh c)) (sqrt (sqrt (sinh c))))
  (sqrt (sinh c))
  (* (sqrt (sinh c)) (sqrt (sqrt (sinh c))))
  (sqrt (sinh c))
  (* (sqrt (sinh c)) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))))
  (* (sqrt (sinh c)) (sqrt (sqrt (sinh c))))
  (sqrt (sinh c))
  (* (cbrt (sqrt (sinh c))) (sqrt (sinh c)))
  (* (sqrt (sinh c)) (sqrt (cbrt (sinh c))))
  (* (sqrt (sinh c)) (sqrt (sqrt (sinh c))))
  (sinh c)
  (* (sqrt (sinh c)) (sqrt (sqrt (sinh c))))
  (sinh c)
  (* (cbrt (sqrt (sinh c))) (sqrt (sinh c)))
  (* (sqrt (sinh c)) (sqrt (sqrt (sinh c))))
  (sinh c)
  (* (sqrt (sinh c)) (sqrt (+ (sinh c) (sinh c))))
  (* (sqrt (sinh c)) (sqrt (+ (sinh c) (sinh c))))
  (expm1 (sinh c))
  (log1p (sinh c))
  (+ (sinh c) (sinh c))
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (* (* (sinh c) (sinh c)) (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (- (fma c (* c (- +nan.0 (* c +nan.0))) (* c +nan.0)))
  (* (sqrt (+ (sinh c) (sinh c))) (sqrt 1/2))
  (* (sqrt 1/2) (sqrt (+ (sinh c) (sinh c))))
  (- (fma c (* c (- +nan.0 (* c +nan.0))) (* c +nan.0)))
  (* (sqrt (+ (sinh c) (sinh c))) (sqrt 1/2))
  (* (sqrt 1/2) (sqrt (+ (sinh c) (sinh c))))
  (fma (* c 1/6) (* c c) (fma 1/120 (pow c 5) c))
  (sinh c)
  (sinh c)
  (fma (* c 1/6) (* c c) (fma 1/120 (pow c 5) c))
  (sinh c)
  (sinh c)
14.993 * * * [progress]: adding candidates to table
15.758 * [progress]: [Phase 3 of 3] Extracting.
15.758 * * [regime]: Finding splitpoints for: (#<alt (λ (c) (fmod (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c))))) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>)
15.759 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c)
15.760 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (#<alt (λ (c) (fmod (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c))))) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>)
15.805 * * * * [regimes]: Trying to branch on c from (#<alt (λ (c) (fmod (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c))))) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>)
15.846 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
15.847 * [simplify]: Simplifying:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
15.847 * * [simplify]: iteration 0: 7 enodes
15.848 * * [simplify]: iteration complete: 7 enodes
15.848 * * [simplify]: Extracting #0: cost 1 inf + 0
15.848 * * [simplify]: Extracting #1: cost 3 inf + 0
15.849 * * [simplify]: Extracting #2: cost 5 inf + 0
15.849 * * [simplify]: Extracting #3: cost 6 inf + 1
15.849 * * [simplify]: Extracting #4: cost 0 inf + 902
15.849 * [simplify]: Simplified to:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
23.964 * [regime-testing]: Baseline error score: 0.008251031378922365
23.982 * [regime-testing]: Oracle error score: 0.007250906363295412
24.000 * [regime-testing]: End program error score: 0.008251031378922365