27.290 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.177 * * * [progress]: [2/2] Setting up program.
0.180 * [progress]: [Phase 2 of 3] Improving.
0.181 * [simplify]: Simplifying:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
0.181 * * [simplify]: Extracting # 0 : cost  0
0.181 * * [simplify]: Extracting # 1 : cost  0
0.181 * * [simplify]: Extracting # 2 : cost  0
0.181 * * [simplify]: Extracting # 3 : cost  0
0.181 * * [simplify]: Extracting # 4 : cost  0
0.181 * * [simplify]: Extracting # 5 : cost  0
0.181 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
0.183 * * [simplify]: Extracting # 0 : cost  0
0.183 * * [simplify]: Extracting # 1 : cost  0
0.183 * * [simplify]: Extracting # 2 : cost  0
0.183 * * [simplify]: Extracting # 3 : cost  0
0.183 * * [simplify]: Extracting # 4 : cost  0
0.183 * * [simplify]: Extracting # 5 : cost  0
0.183 * * [simplify]: iteration  1 :  18  enodes  (cost  8 )
0.186 * * [simplify]: Extracting # 0 : cost  0
0.186 * * [simplify]: Extracting # 1 : cost  0
0.186 * * [simplify]: Extracting # 2 : cost  0
0.186 * * [simplify]: Extracting # 3 : cost  0
0.186 * * [simplify]: iteration  2 :  34  enodes  (cost  8 )
0.193 * * [simplify]: Extracting # 0 : cost  0
0.193 * * [simplify]: Extracting # 1 : cost  0
0.193 * * [simplify]: Extracting # 2 : cost  0
0.193 * * [simplify]: Extracting # 3 : cost  0
0.193 * * [simplify]: Extracting # 4 : cost  0
0.193 * * [simplify]: iteration  3 :  71  enodes  (cost  8 )
0.243 * * [simplify]: Extracting # 0 : cost  0
0.243 * * [simplify]: Extracting # 1 : cost  0
0.243 * * [simplify]: Extracting # 2 : cost  0
0.244 * * [simplify]: Extracting # 3 : cost  0
0.244 * * [simplify]: Extracting # 4 : cost  0
0.244 * * [simplify]: iteration  4 :  154  enodes  (cost  8 )
0.315 * * [simplify]: Extracting # 0 : cost  0
0.321 * * [simplify]: Extracting # 1 : cost  0
0.322 * * [simplify]: Extracting # 2 : cost  0
0.322 * * [simplify]: Extracting # 3 : cost  0
0.323 * * [simplify]: Extracting # 4 : cost  0
0.324 * * [simplify]: iteration  5 :  673  enodes  (cost  8 )
1.294 * * [simplify]: Extracting # 0 : cost  0
1.316 * * [simplify]: Extracting # 1 : cost  0
1.325 * * [simplify]: Extracting # 2 : cost  0
1.330 * * [simplify]: Extracting # 3 : cost  0
1.335 * * [simplify]: Extracting # 4 : cost  0
1.341 * * [simplify]: iteration done:  5000  enodes  (cost  8 )
1.341 * [simplify]: Simplified to:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
1.341 * * [progress]: iteration 1 / 4
1.341 * * * [progress]: picking best candidate
1.344 * * * * [pick]: Picked  #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>
1.344 * * * [progress]: localizing error
1.356 * * * [progress]: generating rewritten candidates
1.356 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
1.360 * * * [progress]: generating series expansions
1.360 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
1.360 * [backup-simplify]: Simplify (sinh c) into (sinh c)
1.360 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
1.360 * [taylor]: Taking taylor expansion of (sinh c) in c
1.361 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
1.361 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
1.361 * [taylor]: Taking taylor expansion of (exp c) in c
1.361 * [taylor]: Taking taylor expansion of c in c
1.361 * [backup-simplify]: Simplify 0 into 0
1.361 * [backup-simplify]: Simplify 1 into 1
1.361 * [backup-simplify]: Simplify (exp 0) into 1
1.361 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.361 * [taylor]: Taking taylor expansion of (- c) in c
1.361 * [taylor]: Taking taylor expansion of c in c
1.361 * [backup-simplify]: Simplify 0 into 0
1.361 * [backup-simplify]: Simplify 1 into 1
1.362 * [backup-simplify]: Simplify (- 0) into 0
1.362 * [backup-simplify]: Simplify (- 1) into -1
1.362 * [backup-simplify]: Simplify (exp 0) into 1
1.362 * [taylor]: Taking taylor expansion of 2 in c
1.362 * [backup-simplify]: Simplify 2 into 2
1.363 * [backup-simplify]: Simplify (- 1) into -1
1.363 * [backup-simplify]: Simplify (+ 1 -1) into 0
1.365 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.365 * [backup-simplify]: Simplify (- 1) into -1
1.367 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1.367 * [backup-simplify]: Simplify (- -1) into 1
1.367 * [backup-simplify]: Simplify (+ 1 1) into 2
1.368 * [backup-simplify]: Simplify (/ 2 2) into 1
1.368 * [taylor]: Taking taylor expansion of (sinh c) in c
1.368 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
1.368 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
1.368 * [taylor]: Taking taylor expansion of (exp c) in c
1.368 * [taylor]: Taking taylor expansion of c in c
1.368 * [backup-simplify]: Simplify 0 into 0
1.368 * [backup-simplify]: Simplify 1 into 1
1.368 * [backup-simplify]: Simplify (exp 0) into 1
1.368 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.368 * [taylor]: Taking taylor expansion of (- c) in c
1.368 * [taylor]: Taking taylor expansion of c in c
1.368 * [backup-simplify]: Simplify 0 into 0
1.368 * [backup-simplify]: Simplify 1 into 1
1.369 * [backup-simplify]: Simplify (- 0) into 0
1.369 * [backup-simplify]: Simplify (- 1) into -1
1.369 * [backup-simplify]: Simplify (exp 0) into 1
1.369 * [taylor]: Taking taylor expansion of 2 in c
1.369 * [backup-simplify]: Simplify 2 into 2
1.370 * [backup-simplify]: Simplify (- 1) into -1
1.370 * [backup-simplify]: Simplify (+ 1 -1) into 0
1.371 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.372 * [backup-simplify]: Simplify (- 1) into -1
1.373 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1.373 * [backup-simplify]: Simplify (- -1) into 1
1.374 * [backup-simplify]: Simplify (+ 1 1) into 2
1.374 * [backup-simplify]: Simplify (/ 2 2) into 1
1.375 * [backup-simplify]: Simplify 1 into 1
1.376 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.377 * [backup-simplify]: Simplify (- 1) into -1
1.377 * [backup-simplify]: Simplify (- 0) into 0
1.379 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.380 * [backup-simplify]: Simplify (- 1/2) into -1/2
1.380 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
1.381 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
1.381 * [backup-simplify]: Simplify 0 into 0
1.384 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1.385 * [backup-simplify]: Simplify (- 1) into -1
1.385 * [backup-simplify]: Simplify (- 1) into -1
1.386 * [backup-simplify]: Simplify (- 0) into 0
1.386 * [backup-simplify]: Simplify (- 0) into 0
1.390 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
1.390 * [backup-simplify]: Simplify (- -1/6) into 1/6
1.391 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
1.392 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
1.392 * [backup-simplify]: Simplify 1/6 into 1/6
1.396 * [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
1.397 * [backup-simplify]: Simplify (- 1) into -1
1.398 * [backup-simplify]: Simplify (- 1) into -1
1.398 * [backup-simplify]: Simplify (- 0) into 0
1.399 * [backup-simplify]: Simplify (- 1) into -1
1.399 * [backup-simplify]: Simplify (- 0) into 0
1.399 * [backup-simplify]: Simplify (- 0) into 0
1.400 * [backup-simplify]: Simplify (- 0) into 0
1.404 * [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
1.404 * [backup-simplify]: Simplify (- 1/24) into -1/24
1.405 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
1.406 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
1.406 * [backup-simplify]: Simplify 0 into 0
1.412 * [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
1.413 * [backup-simplify]: Simplify (- 1) into -1
1.413 * [backup-simplify]: Simplify (- 1) into -1
1.414 * [backup-simplify]: Simplify (- 0) into 0
1.414 * [backup-simplify]: Simplify (- 1) into -1
1.414 * [backup-simplify]: Simplify (- 0) into 0
1.415 * [backup-simplify]: Simplify (- 1) into -1
1.415 * [backup-simplify]: Simplify (- 0) into 0
1.422 * [backup-simplify]: Simplify (- 1) into -1
1.423 * [backup-simplify]: Simplify (- 0) into 0
1.424 * [backup-simplify]: Simplify (- 0) into 0
1.424 * [backup-simplify]: Simplify (- 0) into 0
1.424 * [backup-simplify]: Simplify (- 0) into 0
1.431 * [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
1.431 * [backup-simplify]: Simplify (- -1/120) into 1/120
1.432 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
1.433 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
1.433 * [backup-simplify]: Simplify 1/120 into 1/120
1.435 * [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))
1.435 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c))
1.435 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
1.435 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
1.435 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.435 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.435 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.435 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.435 * [taylor]: Taking taylor expansion of c in c
1.435 * [backup-simplify]: Simplify 0 into 0
1.435 * [backup-simplify]: Simplify 1 into 1
1.436 * [backup-simplify]: Simplify (/ 1 1) into 1
1.436 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1.436 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.436 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.436 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.436 * [taylor]: Taking taylor expansion of c in c
1.436 * [backup-simplify]: Simplify 0 into 0
1.436 * [backup-simplify]: Simplify 1 into 1
1.436 * [backup-simplify]: Simplify (/ 1 1) into 1
1.437 * [backup-simplify]: Simplify (- 1) into -1
1.437 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1.437 * [taylor]: Taking taylor expansion of 2 in c
1.437 * [backup-simplify]: Simplify 2 into 2
1.437 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
1.437 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
1.438 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
1.438 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
1.438 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.438 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.438 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.438 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.438 * [taylor]: Taking taylor expansion of c in c
1.438 * [backup-simplify]: Simplify 0 into 0
1.438 * [backup-simplify]: Simplify 1 into 1
1.438 * [backup-simplify]: Simplify (/ 1 1) into 1
1.438 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1.438 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.438 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.439 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.439 * [taylor]: Taking taylor expansion of c in c
1.439 * [backup-simplify]: Simplify 0 into 0
1.439 * [backup-simplify]: Simplify 1 into 1
1.439 * [backup-simplify]: Simplify (/ 1 1) into 1
1.439 * [backup-simplify]: Simplify (- 1) into -1
1.439 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1.439 * [taylor]: Taking taylor expansion of 2 in c
1.440 * [backup-simplify]: Simplify 2 into 2
1.440 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
1.440 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
1.440 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
1.440 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
1.441 * [backup-simplify]: Simplify (- 0) into 0
1.441 * [backup-simplify]: Simplify (+ 0 0) into 0
1.442 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
1.442 * [backup-simplify]: Simplify 0 into 0
1.443 * [backup-simplify]: Simplify (- 0) into 0
1.443 * [backup-simplify]: Simplify (+ 0 0) into 0
1.444 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
1.445 * [backup-simplify]: Simplify 0 into 0
1.445 * [backup-simplify]: Simplify (- 0) into 0
1.445 * [backup-simplify]: Simplify (+ 0 0) into 0
1.447 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1.447 * [backup-simplify]: Simplify 0 into 0
1.448 * [backup-simplify]: Simplify (- 0) into 0
1.448 * [backup-simplify]: Simplify (+ 0 0) into 0
1.451 * [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
1.451 * [backup-simplify]: Simplify 0 into 0
1.451 * [backup-simplify]: Simplify (- 0) into 0
1.451 * [backup-simplify]: Simplify (+ 0 0) into 0
1.454 * [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
1.455 * [backup-simplify]: Simplify 0 into 0
1.455 * [backup-simplify]: Simplify (- 0) into 0
1.455 * [backup-simplify]: Simplify (+ 0 0) into 0
1.459 * [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
1.459 * [backup-simplify]: Simplify 0 into 0
1.459 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
1.460 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c))
1.460 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
1.460 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
1.460 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.460 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.460 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.460 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.460 * [taylor]: Taking taylor expansion of -1 in c
1.460 * [backup-simplify]: Simplify -1 into -1
1.460 * [taylor]: Taking taylor expansion of c in c
1.460 * [backup-simplify]: Simplify 0 into 0
1.460 * [backup-simplify]: Simplify 1 into 1
1.461 * [backup-simplify]: Simplify (/ -1 1) into -1
1.461 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1.461 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.461 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.461 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.461 * [taylor]: Taking taylor expansion of -1 in c
1.461 * [backup-simplify]: Simplify -1 into -1
1.461 * [taylor]: Taking taylor expansion of c in c
1.461 * [backup-simplify]: Simplify 0 into 0
1.461 * [backup-simplify]: Simplify 1 into 1
1.461 * [backup-simplify]: Simplify (/ -1 1) into -1
1.462 * [backup-simplify]: Simplify (- -1) into 1
1.462 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
1.462 * [taylor]: Taking taylor expansion of 2 in c
1.462 * [backup-simplify]: Simplify 2 into 2
1.462 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
1.462 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
1.463 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
1.463 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
1.463 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.463 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.463 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.463 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.463 * [taylor]: Taking taylor expansion of -1 in c
1.463 * [backup-simplify]: Simplify -1 into -1
1.463 * [taylor]: Taking taylor expansion of c in c
1.463 * [backup-simplify]: Simplify 0 into 0
1.463 * [backup-simplify]: Simplify 1 into 1
1.464 * [backup-simplify]: Simplify (/ -1 1) into -1
1.464 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1.464 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.464 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.464 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.464 * [taylor]: Taking taylor expansion of -1 in c
1.464 * [backup-simplify]: Simplify -1 into -1
1.464 * [taylor]: Taking taylor expansion of c in c
1.464 * [backup-simplify]: Simplify 0 into 0
1.464 * [backup-simplify]: Simplify 1 into 1
1.464 * [backup-simplify]: Simplify (/ -1 1) into -1
1.465 * [backup-simplify]: Simplify (- -1) into 1
1.465 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
1.465 * [taylor]: Taking taylor expansion of 2 in c
1.465 * [backup-simplify]: Simplify 2 into 2
1.465 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
1.465 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
1.465 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
1.466 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
1.466 * [backup-simplify]: Simplify (- 0) into 0
1.466 * [backup-simplify]: Simplify (+ 0 0) into 0
1.467 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
1.467 * [backup-simplify]: Simplify 0 into 0
1.468 * [backup-simplify]: Simplify (- 0) into 0
1.468 * [backup-simplify]: Simplify (+ 0 0) into 0
1.470 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
1.470 * [backup-simplify]: Simplify 0 into 0
1.470 * [backup-simplify]: Simplify (- 0) into 0
1.470 * [backup-simplify]: Simplify (+ 0 0) into 0
1.472 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1.472 * [backup-simplify]: Simplify 0 into 0
1.473 * [backup-simplify]: Simplify (- 0) into 0
1.473 * [backup-simplify]: Simplify (+ 0 0) into 0
1.476 * [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
1.476 * [backup-simplify]: Simplify 0 into 0
1.476 * [backup-simplify]: Simplify (- 0) into 0
1.476 * [backup-simplify]: Simplify (+ 0 0) into 0
1.479 * [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
1.479 * [backup-simplify]: Simplify 0 into 0
1.480 * [backup-simplify]: Simplify (- 0) into 0
1.480 * [backup-simplify]: Simplify (+ 0 0) into 0
1.484 * [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
1.484 * [backup-simplify]: Simplify 0 into 0
1.484 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
1.484 * * * [progress]: simplifying candidates
1.485 * [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))))
1.485 * * [simplify]: Extracting # 0 : cost  0
1.485 * * [simplify]: Extracting # 1 : cost  0
1.485 * * [simplify]: Extracting # 2 : cost  0
1.485 * * [simplify]: Extracting # 3 : cost  0
1.485 * * [simplify]: Extracting # 4 : cost  0
1.485 * * [simplify]: Extracting # 5 : cost  0
1.485 * * [simplify]: Extracting # 6 : cost  0
1.486 * * [simplify]: Extracting # 7 : cost  0
1.486 * * [simplify]: Extracting # 8 : cost  0
1.486 * * [simplify]: iteration  0 :  32  enodes  (cost  72 )
1.492 * * [simplify]: Extracting # 0 : cost  0
1.492 * * [simplify]: Extracting # 1 : cost  0
1.492 * * [simplify]: Extracting # 2 : cost  0
1.492 * * [simplify]: Extracting # 3 : cost  0
1.492 * * [simplify]: Extracting # 4 : cost  0
1.492 * * [simplify]: iteration  1 :  63  enodes  (cost  69 )
1.505 * * [simplify]: Extracting # 0 : cost  0
1.505 * * [simplify]: Extracting # 1 : cost  0
1.505 * * [simplify]: Extracting # 2 : cost  0
1.505 * * [simplify]: Extracting # 3 : cost  0
1.505 * * [simplify]: Extracting # 4 : cost  0
1.506 * * [simplify]: iteration  2 :  139  enodes  (cost  65 )
1.572 * * [simplify]: Extracting # 0 : cost  0
1.573 * * [simplify]: Extracting # 1 : cost  0
1.573 * * [simplify]: Extracting # 2 : cost  0
1.574 * * [simplify]: Extracting # 3 : cost  0
1.574 * * [simplify]: Extracting # 4 : cost  0
1.575 * * [simplify]: iteration  3 :  349  enodes  (cost  65 )
1.709 * * [simplify]: Extracting # 0 : cost  0
1.710 * * [simplify]: Extracting # 1 : cost  0
1.712 * * [simplify]: Extracting # 2 : cost  0
1.713 * * [simplify]: Extracting # 3 : cost  0
1.715 * * [simplify]: Extracting # 4 : cost  0
1.716 * * [simplify]: iteration  4 :  919  enodes  (cost  65 )
2.550 * * [simplify]: Extracting # 0 : cost  0
2.558 * * [simplify]: Extracting # 1 : cost  0
2.564 * * [simplify]: Extracting # 2 : cost  0
2.569 * * [simplify]: Extracting # 3 : cost  0
2.573 * * [simplify]: Extracting # 4 : cost  0
2.576 * * [simplify]: iteration  5 :  3605  enodes  (cost  65 )
4.175 * * [simplify]: Extracting # 0 : cost  0
4.181 * * [simplify]: Extracting # 1 : cost  0
4.186 * * [simplify]: Extracting # 2 : cost  0
4.191 * * [simplify]: Extracting # 3 : cost  0
4.196 * * [simplify]: Extracting # 4 : cost  0
4.200 * * [simplify]: iteration done:  5000  enodes  (cost  65 )
4.200 * [simplify]: Simplified to:
  (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))
  (pow (sinh c) 3)
  (sqrt (sinh c))
  (sqrt (sinh c))
  (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (- c))))
4.200 * * * [progress]: adding candidates to table
4.256 * * [progress]: iteration 2 / 4
4.256 * * * [progress]: picking best candidate
4.266 * * * * [pick]: Picked  #<alt (λ (c) (fmod (log1p (expm1 (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))>
4.266 * * * [progress]: localizing error
4.298 * * * [progress]: generating rewritten candidates
4.298 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
4.299 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1)
4.302 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
4.303 * * * [progress]: generating series expansions
4.303 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
4.304 * [backup-simplify]: Simplify (log1p (expm1 (sinh c))) into (log1p (expm1 (sinh c)))
4.304 * [approximate]: Taking taylor expansion of (log1p (expm1 (sinh c))) in (c) around 0
4.304 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh c))) in c
4.304 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh c))))
4.304 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh c))) in c
4.304 * [taylor]: Taking taylor expansion of 1 in c
4.304 * [backup-simplify]: Simplify 1 into 1
4.304 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c
4.304 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1)
4.304 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c
4.304 * [taylor]: Taking taylor expansion of (sinh c) in c
4.304 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.304 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.304 * [taylor]: Taking taylor expansion of (exp c) in c
4.304 * [taylor]: Taking taylor expansion of c in c
4.304 * [backup-simplify]: Simplify 0 into 0
4.304 * [backup-simplify]: Simplify 1 into 1
4.304 * [backup-simplify]: Simplify (exp 0) into 1
4.304 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.304 * [taylor]: Taking taylor expansion of (- c) in c
4.304 * [taylor]: Taking taylor expansion of c in c
4.304 * [backup-simplify]: Simplify 0 into 0
4.304 * [backup-simplify]: Simplify 1 into 1
4.305 * [backup-simplify]: Simplify (- 0) into 0
4.306 * [backup-simplify]: Simplify (- 1) into -1
4.306 * [backup-simplify]: Simplify (exp 0) into 1
4.306 * [taylor]: Taking taylor expansion of 2 in c
4.306 * [backup-simplify]: Simplify 2 into 2
4.306 * [backup-simplify]: Simplify (- 1) into -1
4.306 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.307 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.308 * [backup-simplify]: Simplify (- 1) into -1
4.309 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
4.309 * [backup-simplify]: Simplify (- -1) into 1
4.310 * [backup-simplify]: Simplify (+ 1 1) into 2
4.310 * [backup-simplify]: Simplify (/ 2 2) into 1
4.310 * [backup-simplify]: Simplify (exp 0) into 1
4.310 * [taylor]: Taking taylor expansion of 1 in c
4.310 * [backup-simplify]: Simplify 1 into 1
4.310 * [backup-simplify]: Simplify (- 1) into -1
4.311 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.311 * [backup-simplify]: Simplify (+ 1 0) into 1
4.311 * [backup-simplify]: Simplify (log 1) into 0
4.311 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh c))) in c
4.311 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh c))))
4.311 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh c))) in c
4.311 * [taylor]: Taking taylor expansion of 1 in c
4.311 * [backup-simplify]: Simplify 1 into 1
4.311 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c
4.311 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1)
4.311 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c
4.311 * [taylor]: Taking taylor expansion of (sinh c) in c
4.312 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.312 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.312 * [taylor]: Taking taylor expansion of (exp c) in c
4.312 * [taylor]: Taking taylor expansion of c in c
4.312 * [backup-simplify]: Simplify 0 into 0
4.312 * [backup-simplify]: Simplify 1 into 1
4.312 * [backup-simplify]: Simplify (exp 0) into 1
4.312 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.312 * [taylor]: Taking taylor expansion of (- c) in c
4.312 * [taylor]: Taking taylor expansion of c in c
4.312 * [backup-simplify]: Simplify 0 into 0
4.312 * [backup-simplify]: Simplify 1 into 1
4.312 * [backup-simplify]: Simplify (- 0) into 0
4.312 * [backup-simplify]: Simplify (- 1) into -1
4.312 * [backup-simplify]: Simplify (exp 0) into 1
4.312 * [taylor]: Taking taylor expansion of 2 in c
4.312 * [backup-simplify]: Simplify 2 into 2
4.313 * [backup-simplify]: Simplify (- 1) into -1
4.313 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.313 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.314 * [backup-simplify]: Simplify (- 1) into -1
4.314 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
4.315 * [backup-simplify]: Simplify (- -1) into 1
4.315 * [backup-simplify]: Simplify (+ 1 1) into 2
4.315 * [backup-simplify]: Simplify (/ 2 2) into 1
4.315 * [backup-simplify]: Simplify (exp 0) into 1
4.315 * [taylor]: Taking taylor expansion of 1 in c
4.315 * [backup-simplify]: Simplify 1 into 1
4.315 * [backup-simplify]: Simplify (- 1) into -1
4.316 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.316 * [backup-simplify]: Simplify (+ 1 0) into 1
4.316 * [backup-simplify]: Simplify (log 1) into 0
4.316 * [backup-simplify]: Simplify 0 into 0
4.317 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.317 * [backup-simplify]: Simplify (- 0) into 0
4.318 * [backup-simplify]: Simplify (+ 1 0) into 1
4.318 * [backup-simplify]: Simplify (+ 0 1) into 1
4.319 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
4.319 * [backup-simplify]: Simplify 1 into 1
4.320 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.320 * [backup-simplify]: Simplify (- 1) into -1
4.320 * [backup-simplify]: Simplify (- 0) into 0
4.321 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.321 * [backup-simplify]: Simplify (- 1/2) into -1/2
4.322 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
4.322 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
4.328 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.329 * [backup-simplify]: Simplify (- 0) into 0
4.329 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
4.329 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
4.331 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0
4.331 * [backup-simplify]: Simplify 0 into 0
4.332 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
4.333 * [backup-simplify]: Simplify (- 1) into -1
4.333 * [backup-simplify]: Simplify (- 1) into -1
4.333 * [backup-simplify]: Simplify (- 0) into 0
4.333 * [backup-simplify]: Simplify (- 0) into 0
4.335 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
4.335 * [backup-simplify]: Simplify (- -1/6) into 1/6
4.335 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
4.336 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
4.338 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/6 1) 1)))) into 1/3
4.338 * [backup-simplify]: Simplify (- 0) into 0
4.338 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3
4.338 * [backup-simplify]: Simplify (+ 0 1/3) into 1/3
4.341 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/3) 1)) (pow 1 1)))) 6) into 1/6
4.341 * [backup-simplify]: Simplify 1/6 into 1/6
4.344 * [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
4.344 * [backup-simplify]: Simplify (- 1) into -1
4.344 * [backup-simplify]: Simplify (- 1) into -1
4.344 * [backup-simplify]: Simplify (- 0) into 0
4.345 * [backup-simplify]: Simplify (- 1) into -1
4.345 * [backup-simplify]: Simplify (- 0) into 0
4.345 * [backup-simplify]: Simplify (- 0) into 0
4.345 * [backup-simplify]: Simplify (- 0) into 0
4.347 * [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
4.348 * [backup-simplify]: Simplify (- 1/24) into -1/24
4.348 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
4.349 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
4.352 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 1/6 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 5/24
4.353 * [backup-simplify]: Simplify (- 0) into 0
4.353 * [backup-simplify]: Simplify (+ 5/24 0) into 5/24
4.354 * [backup-simplify]: Simplify (+ 0 5/24) into 5/24
4.365 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 1/2) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1/2) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 1/3) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 5/24) 1)) (pow 1 1)))) 24) into 0
4.365 * [backup-simplify]: Simplify 0 into 0
4.371 * [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
4.371 * [backup-simplify]: Simplify (- 1) into -1
4.372 * [backup-simplify]: Simplify (- 1) into -1
4.372 * [backup-simplify]: Simplify (- 0) into 0
4.372 * [backup-simplify]: Simplify (- 1) into -1
4.373 * [backup-simplify]: Simplify (- 0) into 0
4.373 * [backup-simplify]: Simplify (- 1) into -1
4.374 * [backup-simplify]: Simplify (- 0) into 0
4.374 * [backup-simplify]: Simplify (- 1) into -1
4.374 * [backup-simplify]: Simplify (- 0) into 0
4.375 * [backup-simplify]: Simplify (- 0) into 0
4.375 * [backup-simplify]: Simplify (- 0) into 0
4.375 * [backup-simplify]: Simplify (- 0) into 0
4.382 * [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
4.382 * [backup-simplify]: Simplify (- -1/120) into 1/120
4.383 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
4.384 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
4.392 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 1/6 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 1/6 1) 1)) (* (/ (pow 1/120 1) 1)))) into 1/10
4.393 * [backup-simplify]: Simplify (- 0) into 0
4.393 * [backup-simplify]: Simplify (+ 1/10 0) into 1/10
4.393 * [backup-simplify]: Simplify (+ 0 1/10) into 1/10
4.412 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 1) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 1) 3) (pow (* 2 1/2) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 1) 2) 1 (pow (* 6 1/3) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 1/2) 1) (pow (* 6 1/3) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 1) 1) 1 1 (pow (* 24 5/24) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 1/10) 1)) (pow 1 1)))) 120) into 1/120
4.412 * [backup-simplify]: Simplify 1/120 into 1/120
4.413 * [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))
4.413 * [backup-simplify]: Simplify (log1p (expm1 (sinh (/ 1 c)))) into (log1p (expm1 (sinh (/ 1 c))))
4.413 * [approximate]: Taking taylor expansion of (log1p (expm1 (sinh (/ 1 c)))) in (c) around 0
4.413 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ 1 c)))) in c
4.413 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ 1 c)))))
4.413 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ 1 c)))) in c
4.413 * [taylor]: Taking taylor expansion of 1 in c
4.413 * [backup-simplify]: Simplify 1 into 1
4.413 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c
4.413 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1)
4.413 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c
4.413 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.413 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.413 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.413 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.413 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.413 * [taylor]: Taking taylor expansion of c in c
4.414 * [backup-simplify]: Simplify 0 into 0
4.414 * [backup-simplify]: Simplify 1 into 1
4.414 * [backup-simplify]: Simplify (/ 1 1) into 1
4.414 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
4.414 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.414 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.414 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.414 * [taylor]: Taking taylor expansion of c in c
4.414 * [backup-simplify]: Simplify 0 into 0
4.414 * [backup-simplify]: Simplify 1 into 1
4.415 * [backup-simplify]: Simplify (/ 1 1) into 1
4.415 * [backup-simplify]: Simplify (- 1) into -1
4.415 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
4.415 * [taylor]: Taking taylor expansion of 2 in c
4.415 * [backup-simplify]: Simplify 2 into 2
4.415 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
4.416 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
4.416 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
4.416 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))
4.416 * [taylor]: Taking taylor expansion of 1 in c
4.416 * [backup-simplify]: Simplify 1 into 1
4.416 * [backup-simplify]: Simplify (- 1) into -1
4.417 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) -1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)
4.417 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))
4.417 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
4.417 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ 1 c)))) in c
4.417 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ 1 c)))))
4.417 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ 1 c)))) in c
4.418 * [taylor]: Taking taylor expansion of 1 in c
4.418 * [backup-simplify]: Simplify 1 into 1
4.418 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c
4.418 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1)
4.418 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c
4.418 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.418 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.418 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.418 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.418 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.418 * [taylor]: Taking taylor expansion of c in c
4.418 * [backup-simplify]: Simplify 0 into 0
4.418 * [backup-simplify]: Simplify 1 into 1
4.418 * [backup-simplify]: Simplify (/ 1 1) into 1
4.418 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
4.419 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.419 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.419 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.419 * [taylor]: Taking taylor expansion of c in c
4.419 * [backup-simplify]: Simplify 0 into 0
4.419 * [backup-simplify]: Simplify 1 into 1
4.419 * [backup-simplify]: Simplify (/ 1 1) into 1
4.419 * [backup-simplify]: Simplify (- 1) into -1
4.420 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
4.420 * [taylor]: Taking taylor expansion of 2 in c
4.420 * [backup-simplify]: Simplify 2 into 2
4.420 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
4.420 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
4.420 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
4.420 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))
4.420 * [taylor]: Taking taylor expansion of 1 in c
4.420 * [backup-simplify]: Simplify 1 into 1
4.421 * [backup-simplify]: Simplify (- 1) into -1
4.421 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) -1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)
4.421 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))
4.422 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
4.422 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
4.422 * [backup-simplify]: Simplify (- 0) into 0
4.423 * [backup-simplify]: Simplify (+ 0 0) into 0
4.424 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
4.425 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 1) 1)))) into 0
4.425 * [backup-simplify]: Simplify (- 0) into 0
4.426 * [backup-simplify]: Simplify (+ 0 0) into 0
4.426 * [backup-simplify]: Simplify (+ 0 0) into 0
4.427 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 1) into 0
4.427 * [backup-simplify]: Simplify 0 into 0
4.428 * [backup-simplify]: Simplify (- 0) into 0
4.428 * [backup-simplify]: Simplify (+ 0 0) into 0
4.430 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
4.431 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.431 * [backup-simplify]: Simplify (- 0) into 0
4.432 * [backup-simplify]: Simplify (+ 0 0) into 0
4.432 * [backup-simplify]: Simplify (+ 0 0) into 0
4.434 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 2) into 0
4.434 * [backup-simplify]: Simplify 0 into 0
4.435 * [backup-simplify]: Simplify (- 0) into 0
4.436 * [backup-simplify]: Simplify (+ 0 0) into 0
4.438 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
4.439 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.440 * [backup-simplify]: Simplify (- 0) into 0
4.440 * [backup-simplify]: Simplify (+ 0 0) into 0
4.440 * [backup-simplify]: Simplify (+ 0 0) into 0
4.444 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 6) into 0
4.444 * [backup-simplify]: Simplify 0 into 0
4.445 * [backup-simplify]: Simplify (- 0) into 0
4.445 * [backup-simplify]: Simplify (+ 0 0) into 0
4.447 * [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
4.450 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.451 * [backup-simplify]: Simplify (- 0) into 0
4.451 * [backup-simplify]: Simplify (+ 0 0) into 0
4.451 * [backup-simplify]: Simplify (+ 0 0) into 0
4.457 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 24) into 0
4.457 * [backup-simplify]: Simplify 0 into 0
4.458 * [backup-simplify]: Simplify (- 0) into 0
4.458 * [backup-simplify]: Simplify (+ 0 0) into 0
4.465 * [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
4.468 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.468 * [backup-simplify]: Simplify (- 0) into 0
4.468 * [backup-simplify]: Simplify (+ 0 0) into 0
4.469 * [backup-simplify]: Simplify (+ 0 0) into 0
4.474 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 120) into 0
4.474 * [backup-simplify]: Simplify 0 into 0
4.475 * [backup-simplify]: Simplify (- 0) into 0
4.475 * [backup-simplify]: Simplify (+ 0 0) into 0
4.477 * [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
4.480 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.481 * [backup-simplify]: Simplify (- 0) into 0
4.481 * [backup-simplify]: Simplify (+ 0 0) into 0
4.481 * [backup-simplify]: Simplify (+ 0 0) into 0
4.491 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 720) into 0
4.491 * [backup-simplify]: Simplify 0 into 0
4.491 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
4.492 * [backup-simplify]: Simplify (log1p (expm1 (sinh (/ 1 (- c))))) into (log1p (expm1 (sinh (/ -1 c))))
4.492 * [approximate]: Taking taylor expansion of (log1p (expm1 (sinh (/ -1 c)))) in (c) around 0
4.492 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ -1 c)))) in c
4.493 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ -1 c)))))
4.493 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ -1 c)))) in c
4.493 * [taylor]: Taking taylor expansion of 1 in c
4.493 * [backup-simplify]: Simplify 1 into 1
4.493 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c
4.493 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1)
4.493 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c
4.493 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.493 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.493 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.493 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.493 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.493 * [taylor]: Taking taylor expansion of -1 in c
4.493 * [backup-simplify]: Simplify -1 into -1
4.493 * [taylor]: Taking taylor expansion of c in c
4.493 * [backup-simplify]: Simplify 0 into 0
4.493 * [backup-simplify]: Simplify 1 into 1
4.494 * [backup-simplify]: Simplify (/ -1 1) into -1
4.494 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
4.494 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.494 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.494 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.494 * [taylor]: Taking taylor expansion of -1 in c
4.494 * [backup-simplify]: Simplify -1 into -1
4.494 * [taylor]: Taking taylor expansion of c in c
4.494 * [backup-simplify]: Simplify 0 into 0
4.494 * [backup-simplify]: Simplify 1 into 1
4.494 * [backup-simplify]: Simplify (/ -1 1) into -1
4.495 * [backup-simplify]: Simplify (- -1) into 1
4.495 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
4.495 * [taylor]: Taking taylor expansion of 2 in c
4.495 * [backup-simplify]: Simplify 2 into 2
4.495 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
4.495 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
4.496 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
4.496 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))
4.496 * [taylor]: Taking taylor expansion of 1 in c
4.496 * [backup-simplify]: Simplify 1 into 1
4.496 * [backup-simplify]: Simplify (- 1) into -1
4.497 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) -1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)
4.497 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))
4.497 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
4.497 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ -1 c)))) in c
4.497 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ -1 c)))))
4.497 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ -1 c)))) in c
4.497 * [taylor]: Taking taylor expansion of 1 in c
4.497 * [backup-simplify]: Simplify 1 into 1
4.497 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c
4.498 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1)
4.498 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c
4.498 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.498 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.498 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.498 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.498 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.498 * [taylor]: Taking taylor expansion of -1 in c
4.498 * [backup-simplify]: Simplify -1 into -1
4.498 * [taylor]: Taking taylor expansion of c in c
4.498 * [backup-simplify]: Simplify 0 into 0
4.498 * [backup-simplify]: Simplify 1 into 1
4.499 * [backup-simplify]: Simplify (/ -1 1) into -1
4.499 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
4.499 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.499 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.499 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.499 * [taylor]: Taking taylor expansion of -1 in c
4.499 * [backup-simplify]: Simplify -1 into -1
4.499 * [taylor]: Taking taylor expansion of c in c
4.499 * [backup-simplify]: Simplify 0 into 0
4.499 * [backup-simplify]: Simplify 1 into 1
4.499 * [backup-simplify]: Simplify (/ -1 1) into -1
4.500 * [backup-simplify]: Simplify (- -1) into 1
4.500 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
4.500 * [taylor]: Taking taylor expansion of 2 in c
4.500 * [backup-simplify]: Simplify 2 into 2
4.500 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
4.500 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
4.500 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
4.501 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))
4.501 * [taylor]: Taking taylor expansion of 1 in c
4.501 * [backup-simplify]: Simplify 1 into 1
4.501 * [backup-simplify]: Simplify (- 1) into -1
4.501 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) -1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)
4.502 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))
4.502 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
4.502 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
4.503 * [backup-simplify]: Simplify (- 0) into 0
4.503 * [backup-simplify]: Simplify (+ 0 0) into 0
4.504 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
4.505 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 1) 1)))) into 0
4.505 * [backup-simplify]: Simplify (- 0) into 0
4.506 * [backup-simplify]: Simplify (+ 0 0) into 0
4.506 * [backup-simplify]: Simplify (+ 0 0) into 0
4.507 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 1) into 0
4.507 * [backup-simplify]: Simplify 0 into 0
4.507 * [backup-simplify]: Simplify (- 0) into 0
4.508 * [backup-simplify]: Simplify (+ 0 0) into 0
4.509 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
4.511 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.511 * [backup-simplify]: Simplify (- 0) into 0
4.512 * [backup-simplify]: Simplify (+ 0 0) into 0
4.512 * [backup-simplify]: Simplify (+ 0 0) into 0
4.514 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 2) into 0
4.514 * [backup-simplify]: Simplify 0 into 0
4.515 * [backup-simplify]: Simplify (- 0) into 0
4.515 * [backup-simplify]: Simplify (+ 0 0) into 0
4.517 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
4.519 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.520 * [backup-simplify]: Simplify (- 0) into 0
4.520 * [backup-simplify]: Simplify (+ 0 0) into 0
4.520 * [backup-simplify]: Simplify (+ 0 0) into 0
4.524 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 6) into 0
4.524 * [backup-simplify]: Simplify 0 into 0
4.524 * [backup-simplify]: Simplify (- 0) into 0
4.525 * [backup-simplify]: Simplify (+ 0 0) into 0
4.527 * [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
4.530 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.531 * [backup-simplify]: Simplify (- 0) into 0
4.531 * [backup-simplify]: Simplify (+ 0 0) into 0
4.531 * [backup-simplify]: Simplify (+ 0 0) into 0
4.538 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 24) into 0
4.538 * [backup-simplify]: Simplify 0 into 0
4.538 * [backup-simplify]: Simplify (- 0) into 0
4.539 * [backup-simplify]: Simplify (+ 0 0) into 0
4.542 * [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
4.545 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.546 * [backup-simplify]: Simplify (- 0) into 0
4.546 * [backup-simplify]: Simplify (+ 0 0) into 0
4.547 * [backup-simplify]: Simplify (+ 0 0) into 0
4.556 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 120) into 0
4.556 * [backup-simplify]: Simplify 0 into 0
4.556 * [backup-simplify]: Simplify (- 0) into 0
4.557 * [backup-simplify]: Simplify (+ 0 0) into 0
4.560 * [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
4.566 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.567 * [backup-simplify]: Simplify (- 0) into 0
4.567 * [backup-simplify]: Simplify (+ 0 0) into 0
4.567 * [backup-simplify]: Simplify (+ 0 0) into 0
4.582 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 720) into 0
4.582 * [backup-simplify]: Simplify 0 into 0
4.583 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
4.583 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1)
4.583 * [backup-simplify]: Simplify (sinh c) into (sinh c)
4.583 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
4.583 * [taylor]: Taking taylor expansion of (sinh c) in c
4.583 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.583 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.583 * [taylor]: Taking taylor expansion of (exp c) in c
4.583 * [taylor]: Taking taylor expansion of c in c
4.583 * [backup-simplify]: Simplify 0 into 0
4.583 * [backup-simplify]: Simplify 1 into 1
4.583 * [backup-simplify]: Simplify (exp 0) into 1
4.583 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.583 * [taylor]: Taking taylor expansion of (- c) in c
4.583 * [taylor]: Taking taylor expansion of c in c
4.583 * [backup-simplify]: Simplify 0 into 0
4.583 * [backup-simplify]: Simplify 1 into 1
4.584 * [backup-simplify]: Simplify (- 0) into 0
4.584 * [backup-simplify]: Simplify (- 1) into -1
4.584 * [backup-simplify]: Simplify (exp 0) into 1
4.584 * [taylor]: Taking taylor expansion of 2 in c
4.584 * [backup-simplify]: Simplify 2 into 2
4.585 * [backup-simplify]: Simplify (- 1) into -1
4.585 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.586 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.587 * [backup-simplify]: Simplify (- 1) into -1
4.588 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
4.588 * [backup-simplify]: Simplify (- -1) into 1
4.589 * [backup-simplify]: Simplify (+ 1 1) into 2
4.589 * [backup-simplify]: Simplify (/ 2 2) into 1
4.589 * [taylor]: Taking taylor expansion of (sinh c) in c
4.589 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.589 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.589 * [taylor]: Taking taylor expansion of (exp c) in c
4.589 * [taylor]: Taking taylor expansion of c in c
4.589 * [backup-simplify]: Simplify 0 into 0
4.589 * [backup-simplify]: Simplify 1 into 1
4.589 * [backup-simplify]: Simplify (exp 0) into 1
4.589 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.589 * [taylor]: Taking taylor expansion of (- c) in c
4.589 * [taylor]: Taking taylor expansion of c in c
4.590 * [backup-simplify]: Simplify 0 into 0
4.590 * [backup-simplify]: Simplify 1 into 1
4.590 * [backup-simplify]: Simplify (- 0) into 0
4.590 * [backup-simplify]: Simplify (- 1) into -1
4.590 * [backup-simplify]: Simplify (exp 0) into 1
4.590 * [taylor]: Taking taylor expansion of 2 in c
4.590 * [backup-simplify]: Simplify 2 into 2
4.591 * [backup-simplify]: Simplify (- 1) into -1
4.591 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.592 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.593 * [backup-simplify]: Simplify (- 1) into -1
4.594 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
4.594 * [backup-simplify]: Simplify (- -1) into 1
4.594 * [backup-simplify]: Simplify (+ 1 1) into 2
4.595 * [backup-simplify]: Simplify (/ 2 2) into 1
4.595 * [backup-simplify]: Simplify 1 into 1
4.597 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.597 * [backup-simplify]: Simplify (- 1) into -1
4.597 * [backup-simplify]: Simplify (- 0) into 0
4.599 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.599 * [backup-simplify]: Simplify (- 1/2) into -1/2
4.600 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
4.604 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
4.604 * [backup-simplify]: Simplify 0 into 0
4.607 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
4.607 * [backup-simplify]: Simplify (- 1) into -1
4.607 * [backup-simplify]: Simplify (- 1) into -1
4.608 * [backup-simplify]: Simplify (- 0) into 0
4.608 * [backup-simplify]: Simplify (- 0) into 0
4.611 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
4.611 * [backup-simplify]: Simplify (- -1/6) into 1/6
4.612 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
4.613 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
4.613 * [backup-simplify]: Simplify 1/6 into 1/6
4.617 * [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
4.617 * [backup-simplify]: Simplify (- 1) into -1
4.618 * [backup-simplify]: Simplify (- 1) into -1
4.618 * [backup-simplify]: Simplify (- 0) into 0
4.619 * [backup-simplify]: Simplify (- 1) into -1
4.619 * [backup-simplify]: Simplify (- 0) into 0
4.619 * [backup-simplify]: Simplify (- 0) into 0
4.620 * [backup-simplify]: Simplify (- 0) into 0
4.624 * [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
4.624 * [backup-simplify]: Simplify (- 1/24) into -1/24
4.625 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
4.626 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
4.626 * [backup-simplify]: Simplify 0 into 0
4.633 * [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
4.633 * [backup-simplify]: Simplify (- 1) into -1
4.634 * [backup-simplify]: Simplify (- 1) into -1
4.634 * [backup-simplify]: Simplify (- 0) into 0
4.634 * [backup-simplify]: Simplify (- 1) into -1
4.635 * [backup-simplify]: Simplify (- 0) into 0
4.635 * [backup-simplify]: Simplify (- 1) into -1
4.636 * [backup-simplify]: Simplify (- 0) into 0
4.636 * [backup-simplify]: Simplify (- 1) into -1
4.637 * [backup-simplify]: Simplify (- 0) into 0
4.637 * [backup-simplify]: Simplify (- 0) into 0
4.638 * [backup-simplify]: Simplify (- 0) into 0
4.638 * [backup-simplify]: Simplify (- 0) into 0
4.644 * [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
4.645 * [backup-simplify]: Simplify (- -1/120) into 1/120
4.645 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
4.647 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
4.647 * [backup-simplify]: Simplify 1/120 into 1/120
4.647 * [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))
4.648 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c))
4.648 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
4.648 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.648 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.648 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.648 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.648 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.648 * [taylor]: Taking taylor expansion of c in c
4.648 * [backup-simplify]: Simplify 0 into 0
4.648 * [backup-simplify]: Simplify 1 into 1
4.648 * [backup-simplify]: Simplify (/ 1 1) into 1
4.648 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
4.649 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.649 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.649 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.649 * [taylor]: Taking taylor expansion of c in c
4.649 * [backup-simplify]: Simplify 0 into 0
4.649 * [backup-simplify]: Simplify 1 into 1
4.649 * [backup-simplify]: Simplify (/ 1 1) into 1
4.649 * [backup-simplify]: Simplify (- 1) into -1
4.650 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
4.650 * [taylor]: Taking taylor expansion of 2 in c
4.650 * [backup-simplify]: Simplify 2 into 2
4.650 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
4.650 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
4.650 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
4.650 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.650 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.650 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.650 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.650 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.651 * [taylor]: Taking taylor expansion of c in c
4.651 * [backup-simplify]: Simplify 0 into 0
4.651 * [backup-simplify]: Simplify 1 into 1
4.651 * [backup-simplify]: Simplify (/ 1 1) into 1
4.651 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
4.651 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.651 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.651 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.651 * [taylor]: Taking taylor expansion of c in c
4.651 * [backup-simplify]: Simplify 0 into 0
4.651 * [backup-simplify]: Simplify 1 into 1
4.652 * [backup-simplify]: Simplify (/ 1 1) into 1
4.652 * [backup-simplify]: Simplify (- 1) into -1
4.652 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
4.652 * [taylor]: Taking taylor expansion of 2 in c
4.652 * [backup-simplify]: Simplify 2 into 2
4.652 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
4.653 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
4.653 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
4.653 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
4.654 * [backup-simplify]: Simplify (- 0) into 0
4.654 * [backup-simplify]: Simplify (+ 0 0) into 0
4.656 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
4.656 * [backup-simplify]: Simplify 0 into 0
4.656 * [backup-simplify]: Simplify (- 0) into 0
4.657 * [backup-simplify]: Simplify (+ 0 0) into 0
4.658 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
4.658 * [backup-simplify]: Simplify 0 into 0
4.659 * [backup-simplify]: Simplify (- 0) into 0
4.659 * [backup-simplify]: Simplify (+ 0 0) into 0
4.661 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
4.661 * [backup-simplify]: Simplify 0 into 0
4.662 * [backup-simplify]: Simplify (- 0) into 0
4.662 * [backup-simplify]: Simplify (+ 0 0) into 0
4.665 * [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
4.665 * [backup-simplify]: Simplify 0 into 0
4.665 * [backup-simplify]: Simplify (- 0) into 0
4.665 * [backup-simplify]: Simplify (+ 0 0) into 0
4.668 * [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
4.668 * [backup-simplify]: Simplify 0 into 0
4.669 * [backup-simplify]: Simplify (- 0) into 0
4.669 * [backup-simplify]: Simplify (+ 0 0) into 0
4.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)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
4.673 * [backup-simplify]: Simplify 0 into 0
4.673 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
4.673 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c))
4.673 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
4.673 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.673 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.673 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.673 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.673 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.673 * [taylor]: Taking taylor expansion of -1 in c
4.673 * [backup-simplify]: Simplify -1 into -1
4.673 * [taylor]: Taking taylor expansion of c in c
4.673 * [backup-simplify]: Simplify 0 into 0
4.673 * [backup-simplify]: Simplify 1 into 1
4.674 * [backup-simplify]: Simplify (/ -1 1) into -1
4.674 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
4.674 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.674 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.674 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.674 * [taylor]: Taking taylor expansion of -1 in c
4.674 * [backup-simplify]: Simplify -1 into -1
4.674 * [taylor]: Taking taylor expansion of c in c
4.674 * [backup-simplify]: Simplify 0 into 0
4.674 * [backup-simplify]: Simplify 1 into 1
4.675 * [backup-simplify]: Simplify (/ -1 1) into -1
4.675 * [backup-simplify]: Simplify (- -1) into 1
4.675 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
4.675 * [taylor]: Taking taylor expansion of 2 in c
4.675 * [backup-simplify]: Simplify 2 into 2
4.675 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
4.675 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
4.676 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
4.676 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.676 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.676 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.676 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.676 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.676 * [taylor]: Taking taylor expansion of -1 in c
4.676 * [backup-simplify]: Simplify -1 into -1
4.676 * [taylor]: Taking taylor expansion of c in c
4.676 * [backup-simplify]: Simplify 0 into 0
4.676 * [backup-simplify]: Simplify 1 into 1
4.676 * [backup-simplify]: Simplify (/ -1 1) into -1
4.676 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
4.676 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.676 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.676 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.676 * [taylor]: Taking taylor expansion of -1 in c
4.676 * [backup-simplify]: Simplify -1 into -1
4.677 * [taylor]: Taking taylor expansion of c in c
4.677 * [backup-simplify]: Simplify 0 into 0
4.677 * [backup-simplify]: Simplify 1 into 1
4.677 * [backup-simplify]: Simplify (/ -1 1) into -1
4.677 * [backup-simplify]: Simplify (- -1) into 1
4.677 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
4.677 * [taylor]: Taking taylor expansion of 2 in c
4.677 * [backup-simplify]: Simplify 2 into 2
4.678 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
4.678 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
4.678 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
4.678 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
4.678 * [backup-simplify]: Simplify (- 0) into 0
4.679 * [backup-simplify]: Simplify (+ 0 0) into 0
4.679 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
4.679 * [backup-simplify]: Simplify 0 into 0
4.680 * [backup-simplify]: Simplify (- 0) into 0
4.680 * [backup-simplify]: Simplify (+ 0 0) into 0
4.681 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
4.681 * [backup-simplify]: Simplify 0 into 0
4.681 * [backup-simplify]: Simplify (- 0) into 0
4.681 * [backup-simplify]: Simplify (+ 0 0) into 0
4.683 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
4.683 * [backup-simplify]: Simplify 0 into 0
4.683 * [backup-simplify]: Simplify (- 0) into 0
4.683 * [backup-simplify]: Simplify (+ 0 0) into 0
4.685 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
4.685 * [backup-simplify]: Simplify 0 into 0
4.685 * [backup-simplify]: Simplify (- 0) into 0
4.685 * [backup-simplify]: Simplify (+ 0 0) into 0
4.687 * [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
4.687 * [backup-simplify]: Simplify 0 into 0
4.687 * [backup-simplify]: Simplify (- 0) into 0
4.688 * [backup-simplify]: Simplify (+ 0 0) into 0
4.690 * [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
4.690 * [backup-simplify]: Simplify 0 into 0
4.690 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
4.690 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
4.690 * [backup-simplify]: Simplify (expm1 (sinh c)) into (expm1 (sinh c))
4.690 * [approximate]: Taking taylor expansion of (expm1 (sinh c)) in (c) around 0
4.690 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c
4.690 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1)
4.690 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c
4.690 * [taylor]: Taking taylor expansion of (sinh c) in c
4.690 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.690 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.690 * [taylor]: Taking taylor expansion of (exp c) in c
4.690 * [taylor]: Taking taylor expansion of c in c
4.690 * [backup-simplify]: Simplify 0 into 0
4.690 * [backup-simplify]: Simplify 1 into 1
4.690 * [backup-simplify]: Simplify (exp 0) into 1
4.690 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.690 * [taylor]: Taking taylor expansion of (- c) in c
4.690 * [taylor]: Taking taylor expansion of c in c
4.690 * [backup-simplify]: Simplify 0 into 0
4.690 * [backup-simplify]: Simplify 1 into 1
4.691 * [backup-simplify]: Simplify (- 0) into 0
4.691 * [backup-simplify]: Simplify (- 1) into -1
4.691 * [backup-simplify]: Simplify (exp 0) into 1
4.691 * [taylor]: Taking taylor expansion of 2 in c
4.691 * [backup-simplify]: Simplify 2 into 2
4.691 * [backup-simplify]: Simplify (- 1) into -1
4.691 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.692 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.692 * [backup-simplify]: Simplify (- 1) into -1
4.693 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
4.693 * [backup-simplify]: Simplify (- -1) into 1
4.693 * [backup-simplify]: Simplify (+ 1 1) into 2
4.693 * [backup-simplify]: Simplify (/ 2 2) into 1
4.693 * [backup-simplify]: Simplify (exp 0) into 1
4.693 * [taylor]: Taking taylor expansion of 1 in c
4.694 * [backup-simplify]: Simplify 1 into 1
4.694 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c
4.694 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1)
4.694 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c
4.694 * [taylor]: Taking taylor expansion of (sinh c) in c
4.694 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
4.694 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
4.694 * [taylor]: Taking taylor expansion of (exp c) in c
4.694 * [taylor]: Taking taylor expansion of c in c
4.694 * [backup-simplify]: Simplify 0 into 0
4.694 * [backup-simplify]: Simplify 1 into 1
4.694 * [backup-simplify]: Simplify (exp 0) into 1
4.694 * [taylor]: Taking taylor expansion of (exp (- c)) in c
4.694 * [taylor]: Taking taylor expansion of (- c) in c
4.694 * [taylor]: Taking taylor expansion of c in c
4.694 * [backup-simplify]: Simplify 0 into 0
4.694 * [backup-simplify]: Simplify 1 into 1
4.694 * [backup-simplify]: Simplify (- 0) into 0
4.694 * [backup-simplify]: Simplify (- 1) into -1
4.694 * [backup-simplify]: Simplify (exp 0) into 1
4.694 * [taylor]: Taking taylor expansion of 2 in c
4.694 * [backup-simplify]: Simplify 2 into 2
4.695 * [backup-simplify]: Simplify (- 1) into -1
4.695 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.695 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.696 * [backup-simplify]: Simplify (- 1) into -1
4.696 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
4.697 * [backup-simplify]: Simplify (- -1) into 1
4.697 * [backup-simplify]: Simplify (+ 1 1) into 2
4.697 * [backup-simplify]: Simplify (/ 2 2) into 1
4.697 * [backup-simplify]: Simplify (exp 0) into 1
4.697 * [taylor]: Taking taylor expansion of 1 in c
4.697 * [backup-simplify]: Simplify 1 into 1
4.698 * [backup-simplify]: Simplify (- 1) into -1
4.698 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.698 * [backup-simplify]: Simplify 0 into 0
4.698 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.699 * [backup-simplify]: Simplify (- 0) into 0
4.699 * [backup-simplify]: Simplify (+ 1 0) into 1
4.699 * [backup-simplify]: Simplify 1 into 1
4.700 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.700 * [backup-simplify]: Simplify (- 1) into -1
4.700 * [backup-simplify]: Simplify (- 0) into 0
4.701 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.701 * [backup-simplify]: Simplify (- 1/2) into -1/2
4.702 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
4.702 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
4.703 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.703 * [backup-simplify]: Simplify (- 0) into 0
4.704 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
4.704 * [backup-simplify]: Simplify 1/2 into 1/2
4.705 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
4.705 * [backup-simplify]: Simplify (- 1) into -1
4.706 * [backup-simplify]: Simplify (- 1) into -1
4.706 * [backup-simplify]: Simplify (- 0) into 0
4.706 * [backup-simplify]: Simplify (- 0) into 0
4.707 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
4.708 * [backup-simplify]: Simplify (- -1/6) into 1/6
4.708 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
4.708 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
4.710 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/6 1) 1)))) into 1/3
4.710 * [backup-simplify]: Simplify (- 0) into 0
4.711 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3
4.711 * [backup-simplify]: Simplify 1/3 into 1/3
4.711 * [backup-simplify]: Simplify (+ (* 1/3 (pow c 3)) (+ (* 1/2 (pow c 2)) (* 1 c))) into (+ (* 1/3 (pow c 3)) (+ (* 1/2 (pow c 2)) c))
4.712 * [backup-simplify]: Simplify (expm1 (sinh (/ 1 c))) into (expm1 (sinh (/ 1 c)))
4.712 * [approximate]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in (c) around 0
4.712 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c
4.712 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1)
4.712 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c
4.712 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.712 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.712 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.712 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.712 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.712 * [taylor]: Taking taylor expansion of c in c
4.712 * [backup-simplify]: Simplify 0 into 0
4.712 * [backup-simplify]: Simplify 1 into 1
4.713 * [backup-simplify]: Simplify (/ 1 1) into 1
4.713 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
4.713 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.713 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.713 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.713 * [taylor]: Taking taylor expansion of c in c
4.713 * [backup-simplify]: Simplify 0 into 0
4.713 * [backup-simplify]: Simplify 1 into 1
4.713 * [backup-simplify]: Simplify (/ 1 1) into 1
4.714 * [backup-simplify]: Simplify (- 1) into -1
4.714 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
4.714 * [taylor]: Taking taylor expansion of 2 in c
4.714 * [backup-simplify]: Simplify 2 into 2
4.714 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
4.714 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
4.715 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
4.715 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))
4.715 * [taylor]: Taking taylor expansion of 1 in c
4.715 * [backup-simplify]: Simplify 1 into 1
4.715 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c
4.715 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1)
4.715 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c
4.715 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
4.715 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
4.715 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
4.715 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
4.715 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.715 * [taylor]: Taking taylor expansion of c in c
4.715 * [backup-simplify]: Simplify 0 into 0
4.715 * [backup-simplify]: Simplify 1 into 1
4.716 * [backup-simplify]: Simplify (/ 1 1) into 1
4.716 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
4.716 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
4.716 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
4.716 * [taylor]: Taking taylor expansion of (/ 1 c) in c
4.716 * [taylor]: Taking taylor expansion of c in c
4.716 * [backup-simplify]: Simplify 0 into 0
4.716 * [backup-simplify]: Simplify 1 into 1
4.716 * [backup-simplify]: Simplify (/ 1 1) into 1
4.717 * [backup-simplify]: Simplify (- 1) into -1
4.717 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
4.717 * [taylor]: Taking taylor expansion of 2 in c
4.717 * [backup-simplify]: Simplify 2 into 2
4.717 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
4.717 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
4.718 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
4.718 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))
4.718 * [taylor]: Taking taylor expansion of 1 in c
4.718 * [backup-simplify]: Simplify 1 into 1
4.718 * [backup-simplify]: Simplify (- 1) into -1
4.719 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) -1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)
4.719 * [backup-simplify]: Simplify (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)
4.719 * [backup-simplify]: Simplify (- 0) into 0
4.720 * [backup-simplify]: Simplify (+ 0 0) into 0
4.721 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
4.722 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 1) 1)))) into 0
4.722 * [backup-simplify]: Simplify (- 0) into 0
4.723 * [backup-simplify]: Simplify (+ 0 0) into 0
4.723 * [backup-simplify]: Simplify 0 into 0
4.723 * [backup-simplify]: Simplify (- 0) into 0
4.723 * [backup-simplify]: Simplify (+ 0 0) into 0
4.725 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
4.727 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.727 * [backup-simplify]: Simplify (- 0) into 0
4.727 * [backup-simplify]: Simplify (+ 0 0) into 0
4.727 * [backup-simplify]: Simplify 0 into 0
4.728 * [backup-simplify]: Simplify (- 0) into 0
4.728 * [backup-simplify]: Simplify (+ 0 0) into 0
4.730 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
4.736 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.736 * [backup-simplify]: Simplify (- 0) into 0
4.737 * [backup-simplify]: Simplify (+ 0 0) into 0
4.737 * [backup-simplify]: Simplify 0 into 0
4.737 * [backup-simplify]: Simplify (- 0) into 0
4.738 * [backup-simplify]: Simplify (+ 0 0) into 0
4.740 * [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
4.743 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.743 * [backup-simplify]: Simplify (- 0) into 0
4.743 * [backup-simplify]: Simplify (+ 0 0) into 0
4.743 * [backup-simplify]: Simplify 0 into 0
4.743 * [backup-simplify]: Simplify (- 0) into 0
4.744 * [backup-simplify]: Simplify (+ 0 0) into 0
4.745 * [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
4.748 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.748 * [backup-simplify]: Simplify (- 0) into 0
4.748 * [backup-simplify]: Simplify (+ 0 0) into 0
4.748 * [backup-simplify]: Simplify 0 into 0
4.749 * [backup-simplify]: Simplify (- 0) into 0
4.749 * [backup-simplify]: Simplify (+ 0 0) into 0
4.751 * [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
4.754 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.754 * [backup-simplify]: Simplify (- 0) into 0
4.755 * [backup-simplify]: Simplify (+ 0 0) into 0
4.755 * [backup-simplify]: Simplify 0 into 0
4.755 * [backup-simplify]: Simplify (- (exp (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c))))))) 1) into (- (exp (* 1/2 (- (exp c) (exp (- c))))) 1)
4.755 * [backup-simplify]: Simplify (expm1 (sinh (/ 1 (- c)))) into (expm1 (sinh (/ -1 c)))
4.755 * [approximate]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in (c) around 0
4.755 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c
4.755 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1)
4.755 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c
4.755 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.755 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.755 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.755 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.755 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.755 * [taylor]: Taking taylor expansion of -1 in c
4.755 * [backup-simplify]: Simplify -1 into -1
4.755 * [taylor]: Taking taylor expansion of c in c
4.755 * [backup-simplify]: Simplify 0 into 0
4.755 * [backup-simplify]: Simplify 1 into 1
4.756 * [backup-simplify]: Simplify (/ -1 1) into -1
4.756 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
4.756 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.756 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.756 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.756 * [taylor]: Taking taylor expansion of -1 in c
4.756 * [backup-simplify]: Simplify -1 into -1
4.756 * [taylor]: Taking taylor expansion of c in c
4.756 * [backup-simplify]: Simplify 0 into 0
4.756 * [backup-simplify]: Simplify 1 into 1
4.756 * [backup-simplify]: Simplify (/ -1 1) into -1
4.756 * [backup-simplify]: Simplify (- -1) into 1
4.756 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
4.756 * [taylor]: Taking taylor expansion of 2 in c
4.756 * [backup-simplify]: Simplify 2 into 2
4.757 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
4.757 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
4.757 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
4.757 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))
4.757 * [taylor]: Taking taylor expansion of 1 in c
4.757 * [backup-simplify]: Simplify 1 into 1
4.757 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c
4.757 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1)
4.757 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c
4.757 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
4.757 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
4.757 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
4.757 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
4.757 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.757 * [taylor]: Taking taylor expansion of -1 in c
4.757 * [backup-simplify]: Simplify -1 into -1
4.757 * [taylor]: Taking taylor expansion of c in c
4.757 * [backup-simplify]: Simplify 0 into 0
4.757 * [backup-simplify]: Simplify 1 into 1
4.758 * [backup-simplify]: Simplify (/ -1 1) into -1
4.758 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
4.758 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
4.758 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
4.758 * [taylor]: Taking taylor expansion of (/ -1 c) in c
4.758 * [taylor]: Taking taylor expansion of -1 in c
4.758 * [backup-simplify]: Simplify -1 into -1
4.758 * [taylor]: Taking taylor expansion of c in c
4.758 * [backup-simplify]: Simplify 0 into 0
4.758 * [backup-simplify]: Simplify 1 into 1
4.758 * [backup-simplify]: Simplify (/ -1 1) into -1
4.758 * [backup-simplify]: Simplify (- -1) into 1
4.758 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
4.758 * [taylor]: Taking taylor expansion of 2 in c
4.758 * [backup-simplify]: Simplify 2 into 2
4.758 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
4.758 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
4.759 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
4.759 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))
4.759 * [taylor]: Taking taylor expansion of 1 in c
4.759 * [backup-simplify]: Simplify 1 into 1
4.759 * [backup-simplify]: Simplify (- 1) into -1
4.759 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) -1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)
4.759 * [backup-simplify]: Simplify (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)
4.760 * [backup-simplify]: Simplify (- 0) into 0
4.760 * [backup-simplify]: Simplify (+ 0 0) into 0
4.760 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
4.761 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 1) 1)))) into 0
4.761 * [backup-simplify]: Simplify (- 0) into 0
4.761 * [backup-simplify]: Simplify (+ 0 0) into 0
4.761 * [backup-simplify]: Simplify 0 into 0
4.762 * [backup-simplify]: Simplify (- 0) into 0
4.762 * [backup-simplify]: Simplify (+ 0 0) into 0
4.763 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
4.764 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.764 * [backup-simplify]: Simplify (- 0) into 0
4.764 * [backup-simplify]: Simplify (+ 0 0) into 0
4.764 * [backup-simplify]: Simplify 0 into 0
4.764 * [backup-simplify]: Simplify (- 0) into 0
4.765 * [backup-simplify]: Simplify (+ 0 0) into 0
4.766 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
4.767 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.767 * [backup-simplify]: Simplify (- 0) into 0
4.767 * [backup-simplify]: Simplify (+ 0 0) into 0
4.767 * [backup-simplify]: Simplify 0 into 0
4.768 * [backup-simplify]: Simplify (- 0) into 0
4.768 * [backup-simplify]: Simplify (+ 0 0) into 0
4.769 * [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
4.772 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.772 * [backup-simplify]: Simplify (- 0) into 0
4.773 * [backup-simplify]: Simplify (+ 0 0) into 0
4.773 * [backup-simplify]: Simplify 0 into 0
4.773 * [backup-simplify]: Simplify (- 0) into 0
4.774 * [backup-simplify]: Simplify (+ 0 0) into 0
4.776 * [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
4.778 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.778 * [backup-simplify]: Simplify (- 0) into 0
4.779 * [backup-simplify]: Simplify (+ 0 0) into 0
4.779 * [backup-simplify]: Simplify 0 into 0
4.779 * [backup-simplify]: Simplify (- 0) into 0
4.779 * [backup-simplify]: Simplify (+ 0 0) into 0
4.781 * [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
4.785 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.785 * [backup-simplify]: Simplify (- 0) into 0
4.785 * [backup-simplify]: Simplify (+ 0 0) into 0
4.785 * [backup-simplify]: Simplify 0 into 0
4.786 * [backup-simplify]: Simplify (- (exp (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c))))))) 1) into (- (exp (* 1/2 (- (exp c) (exp (* -1 c))))) 1)
4.786 * * * [progress]: simplifying candidates
4.786 * [simplify]: Simplifying:
  (+ 1 (expm1 (sinh c)))
  (expm1 (log1p (expm1 (sinh c))))
  (log1p (log1p (expm1 (sinh c))))
  (log (log1p (expm1 (sinh c))))
  (exp (log1p (expm1 (sinh c))))
  (* (cbrt (log1p (expm1 (sinh c)))) (cbrt (log1p (expm1 (sinh c)))))
  (cbrt (log1p (expm1 (sinh c))))
  (* (* (log1p (expm1 (sinh c))) (log1p (expm1 (sinh c)))) (log1p (expm1 (sinh c))))
  (sqrt (log1p (expm1 (sinh c))))
  (sqrt (log1p (expm1 (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))
  (exp (sinh c))
  (expm1 (expm1 (sinh c)))
  (log1p (expm1 (sinh c)))
  (log (expm1 (sinh c)))
  (exp (expm1 (sinh c)))
  (* (cbrt (expm1 (sinh c))) (cbrt (expm1 (sinh c))))
  (cbrt (expm1 (sinh c)))
  (* (* (expm1 (sinh c)) (expm1 (sinh c))) (expm1 (sinh c)))
  (sqrt (expm1 (sinh c)))
  (sqrt (expm1 (sinh c)))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (* -1 c))))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (* -1 c))))
  (+ (* 1/3 (pow c 3)) (+ (* 1/2 (pow c 2)) c))
  (- (exp (* 1/2 (- (exp c) (exp (- c))))) 1)
  (- (exp (* 1/2 (- (exp c) (exp (* -1 c))))) 1)
4.787 * * [simplify]: Extracting # 0 : cost  0
4.787 * * [simplify]: Extracting # 1 : cost  0
4.787 * * [simplify]: Extracting # 2 : cost  0
4.787 * * [simplify]: Extracting # 3 : cost  0
4.787 * * [simplify]: Extracting # 4 : cost  0
4.787 * * [simplify]: Extracting # 5 : cost  0
4.787 * * [simplify]: Extracting # 6 : cost  0
4.787 * * [simplify]: Extracting # 7 : cost  0
4.787 * * [simplify]: Extracting # 8 : cost  0
4.788 * * [simplify]: Extracting # 9 : cost  0
4.788 * * [simplify]: Extracting # 10 : cost  0
4.788 * * [simplify]: iteration  0 :  63  enodes  (cost  254 )
4.800 * * [simplify]: Extracting # 0 : cost  0
4.800 * * [simplify]: Extracting # 1 : cost  0
4.800 * * [simplify]: Extracting # 2 : cost  0
4.800 * * [simplify]: Extracting # 3 : cost  0
4.801 * * [simplify]: Extracting # 4 : cost  0
4.801 * * [simplify]: iteration  1 :  122  enodes  (cost  215 )
4.834 * * [simplify]: Extracting # 0 : cost  0
4.834 * * [simplify]: Extracting # 1 : cost  0
4.835 * * [simplify]: Extracting # 2 : cost  0
4.835 * * [simplify]: Extracting # 3 : cost  0
4.836 * * [simplify]: Extracting # 4 : cost  0
4.836 * * [simplify]: iteration  2 :  312  enodes  (cost  201 )
5.039 * * [simplify]: Extracting # 0 : cost  0
5.040 * * [simplify]: Extracting # 1 : cost  0
5.042 * * [simplify]: Extracting # 2 : cost  0
5.044 * * [simplify]: Extracting # 3 : cost  0
5.045 * * [simplify]: Extracting # 4 : cost  0
5.047 * * [simplify]: iteration  3 :  1027  enodes  (cost  193 )
5.979 * * [simplify]: Extracting # 0 : cost  0
5.984 * * [simplify]: Extracting # 1 : cost  0
5.990 * * [simplify]: Extracting # 2 : cost  0
5.999 * * [simplify]: Extracting # 3 : cost  0
6.005 * * [simplify]: Extracting # 4 : cost  0
6.010 * * [simplify]: Extracting # 5 : cost  0
6.015 * * [simplify]: iteration  4 :  4904  enodes  (cost  187 )
7.772 * * [simplify]: Extracting # 0 : cost  0
7.784 * * [simplify]: Extracting # 1 : cost  0
7.794 * * [simplify]: iteration done:  5000  enodes  (cost  163 )
7.795 * [simplify]: Simplified to:
  (+ 1 (expm1 (sinh c)))
  (expm1 (sinh c))
  (log1p (sinh c))
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (pow (sinh c) 3)
  (sqrt (sinh c))
  (sqrt (sinh c))
  (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))
  (pow (sinh c) 3)
  (sqrt (sinh c))
  (sqrt (sinh c))
  (exp (sinh c))
  (expm1 (expm1 (sinh c)))
  (sinh c)
  (log (expm1 (sinh c)))
  (exp (expm1 (sinh c)))
  (* (cbrt (expm1 (sinh c))) (cbrt (expm1 (sinh c))))
  (cbrt (expm1 (sinh c)))
  (pow (expm1 (sinh c)) 3)
  (sqrt (expm1 (sinh c)))
  (sqrt (expm1 (sinh c)))
  (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))
  (sinh c)
  (sinh c)
  (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))
  (sinh c)
  (sinh c)
  (fma (pow c 2) (fma 1/3 c 1/2) c)
  (expm1 (sinh c))
  (expm1 (sinh c))
7.795 * * * [progress]: adding candidates to table
7.950 * * [progress]: iteration 3 / 4
7.950 * * * [progress]: picking best candidate
7.955 * * * * [pick]: Picked  #<alt (λ (c) (fmod (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (- c (pow -2.9807307601812193e+165 2.0))))>
7.955 * * * [progress]: localizing error
7.985 * * * [progress]: generating rewritten candidates
7.985 * * * [progress]: generating series expansions
7.985 * * * [progress]: simplifying candidates
7.986 * [simplify]: Simplifying:
  
7.986 * * [simplify]: Extracting # 0 : cost  0
7.986 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
7.986 * * [simplify]: Extracting # 0 : cost  0
7.986 * * [simplify]: iteration done:  0  enodes  (cost  0 )
7.986 * [simplify]: Simplified to:
  
7.986 * * * [progress]: adding candidates to table
7.987 * [progress]: [Phase 3 of 3] Extracting.
7.987 * * [regime]: Finding splitpoints for: (#<alt (λ (c) (fmod (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (log1p (expm1 (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))>)
7.988 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c)
7.988 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (#<alt (λ (c) (fmod (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (log1p (expm1 (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))>)
8.036 * * * * [regimes]: Trying to branch on c from (#<alt (λ (c) (fmod (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (log1p (expm1 (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))>)
8.097 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
8.097 * [simplify]: Simplifying:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
8.098 * * [simplify]: Extracting # 0 : cost  0
8.098 * * [simplify]: Extracting # 1 : cost  0
8.098 * * [simplify]: Extracting # 2 : cost  0
8.098 * * [simplify]: Extracting # 3 : cost  0
8.098 * * [simplify]: Extracting # 4 : cost  0
8.098 * * [simplify]: Extracting # 5 : cost  0
8.098 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
8.099 * * [simplify]: Extracting # 0 : cost  0
8.099 * * [simplify]: iteration done:  7  enodes  (cost  8 )
8.099 * [simplify]: Simplified to:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
16.616 * [regime-testing]: Baseline error score: 0.007250906363295412
16.618 * [regime-testing]: Oracle error score: 0.0030003750468808603
16.622 * [regime-testing]: End program error score: 0.007250906363295412