0.671 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.430 * * * [progress]: [2/2] Setting up program.
0.433 * [progress]: [Phase 2 of 3] Improving.
0.435 * [simplify]: Simplifying:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
0.436 * [simplify]: Sending expressions to egg_math:
 (fmod (sinh h0) (- h0 (pow h1 h2)))
0.438 * * [simplify]: iteration  0 :  18  enodes  (cost  4 )
0.440 * * [simplify]: iteration  1 :  34  enodes  (cost  4 )
0.442 * * [simplify]: iteration  2 :  69  enodes  (cost  4 )
0.443 * * [simplify]: iteration  3 :  155  enodes  (cost  4 )
0.447 * * [simplify]: iteration  4 :  463  enodes  (cost  4 )
0.457 * * [simplify]: iteration  5 :  2090  enodes  (cost  4 )
0.500 * * [simplify]: iteration  6 :  5001  enodes  (cost  4 )
0.502 * * [progress]: iteration 1 / 4
0.502 * * * [progress]: picking best candidate
0.504 * * * * [pick]: Picked  #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>
0.504 * * * [progress]: localizing error
0.514 * * * [progress]: generating rewritten candidates
0.514 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
0.518 * * * [progress]: generating series expansions
0.518 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
0.521 * [backup-simplify]: Simplify (sinh c) into (sinh c)
0.521 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
0.521 * [taylor]: Taking taylor expansion of (sinh c) in c
0.523 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
0.523 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
0.523 * [taylor]: Taking taylor expansion of (exp c) in c
0.523 * [taylor]: Taking taylor expansion of c in c
0.523 * [backup-simplify]: Simplify 0 into 0
0.523 * [backup-simplify]: Simplify 1 into 1
0.523 * [backup-simplify]: Simplify (exp 0) into 1
0.523 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.523 * [taylor]: Taking taylor expansion of (- c) in c
0.523 * [taylor]: Taking taylor expansion of c in c
0.523 * [backup-simplify]: Simplify 0 into 0
0.523 * [backup-simplify]: Simplify 1 into 1
0.524 * [backup-simplify]: Simplify (- 0) into 0
0.524 * [backup-simplify]: Simplify (- 1) into -1
0.524 * [backup-simplify]: Simplify (exp 0) into 1
0.524 * [taylor]: Taking taylor expansion of 2 in c
0.525 * [backup-simplify]: Simplify 2 into 2
0.525 * [backup-simplify]: Simplify (- 1) into -1
0.525 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.526 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.527 * [backup-simplify]: Simplify (- 1) into -1
0.527 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.528 * [backup-simplify]: Simplify (- -1) into 1
0.528 * [backup-simplify]: Simplify (+ 1 1) into 2
0.528 * [backup-simplify]: Simplify (/ 2 2) into 1
0.528 * [taylor]: Taking taylor expansion of (sinh c) in c
0.528 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
0.528 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
0.528 * [taylor]: Taking taylor expansion of (exp c) in c
0.528 * [taylor]: Taking taylor expansion of c in c
0.528 * [backup-simplify]: Simplify 0 into 0
0.528 * [backup-simplify]: Simplify 1 into 1
0.528 * [backup-simplify]: Simplify (exp 0) into 1
0.528 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.528 * [taylor]: Taking taylor expansion of (- c) in c
0.528 * [taylor]: Taking taylor expansion of c in c
0.528 * [backup-simplify]: Simplify 0 into 0
0.528 * [backup-simplify]: Simplify 1 into 1
0.529 * [backup-simplify]: Simplify (- 0) into 0
0.529 * [backup-simplify]: Simplify (- 1) into -1
0.529 * [backup-simplify]: Simplify (exp 0) into 1
0.529 * [taylor]: Taking taylor expansion of 2 in c
0.529 * [backup-simplify]: Simplify 2 into 2
0.529 * [backup-simplify]: Simplify (- 1) into -1
0.529 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.530 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.530 * [backup-simplify]: Simplify (- 1) into -1
0.531 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.531 * [backup-simplify]: Simplify (- -1) into 1
0.531 * [backup-simplify]: Simplify (+ 1 1) into 2
0.531 * [backup-simplify]: Simplify (/ 2 2) into 1
0.532 * [backup-simplify]: Simplify 1 into 1
0.533 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.533 * [backup-simplify]: Simplify (- 1) into -1
0.533 * [backup-simplify]: Simplify (- 0) into 0
0.534 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.535 * [backup-simplify]: Simplify (- 1/2) into -1/2
0.535 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
0.535 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
0.535 * [backup-simplify]: Simplify 0 into 0
0.537 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
0.537 * [backup-simplify]: Simplify (- 1) into -1
0.537 * [backup-simplify]: Simplify (- 1) into -1
0.537 * [backup-simplify]: Simplify (- 0) into 0
0.538 * [backup-simplify]: Simplify (- 0) into 0
0.539 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
0.539 * [backup-simplify]: Simplify (- -1/6) into 1/6
0.539 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
0.540 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
0.540 * [backup-simplify]: Simplify 1/6 into 1/6
0.542 * [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
0.543 * [backup-simplify]: Simplify (- 1) into -1
0.543 * [backup-simplify]: Simplify (- 1) into -1
0.543 * [backup-simplify]: Simplify (- 0) into 0
0.543 * [backup-simplify]: Simplify (- 1) into -1
0.543 * [backup-simplify]: Simplify (- 0) into 0
0.544 * [backup-simplify]: Simplify (- 0) into 0
0.544 * [backup-simplify]: Simplify (- 0) into 0
0.546 * [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
0.546 * [backup-simplify]: Simplify (- 1/24) into -1/24
0.547 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
0.547 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
0.547 * [backup-simplify]: Simplify 0 into 0
0.551 * [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
0.551 * [backup-simplify]: Simplify (- 1) into -1
0.551 * [backup-simplify]: Simplify (- 1) into -1
0.552 * [backup-simplify]: Simplify (- 0) into 0
0.552 * [backup-simplify]: Simplify (- 1) into -1
0.552 * [backup-simplify]: Simplify (- 0) into 0
0.552 * [backup-simplify]: Simplify (- 1) into -1
0.552 * [backup-simplify]: Simplify (- 0) into 0
0.553 * [backup-simplify]: Simplify (- 1) into -1
0.553 * [backup-simplify]: Simplify (- 0) into 0
0.553 * [backup-simplify]: Simplify (- 0) into 0
0.553 * [backup-simplify]: Simplify (- 0) into 0
0.554 * [backup-simplify]: Simplify (- 0) into 0
0.557 * [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
0.557 * [backup-simplify]: Simplify (- -1/120) into 1/120
0.557 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
0.558 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
0.558 * [backup-simplify]: Simplify 1/120 into 1/120
0.561 * [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))
0.562 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c))
0.562 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
0.562 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
0.562 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.562 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.562 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.562 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.562 * [taylor]: Taking taylor expansion of c in c
0.562 * [backup-simplify]: Simplify 0 into 0
0.562 * [backup-simplify]: Simplify 1 into 1
0.562 * [backup-simplify]: Simplify (/ 1 1) into 1
0.562 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
0.562 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.562 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.562 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.562 * [taylor]: Taking taylor expansion of c in c
0.562 * [backup-simplify]: Simplify 0 into 0
0.562 * [backup-simplify]: Simplify 1 into 1
0.563 * [backup-simplify]: Simplify (/ 1 1) into 1
0.563 * [backup-simplify]: Simplify (- 1) into -1
0.563 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
0.563 * [taylor]: Taking taylor expansion of 2 in c
0.563 * [backup-simplify]: Simplify 2 into 2
0.563 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
0.563 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
0.563 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
0.563 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
0.563 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.563 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.563 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.564 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.564 * [taylor]: Taking taylor expansion of c in c
0.564 * [backup-simplify]: Simplify 0 into 0
0.564 * [backup-simplify]: Simplify 1 into 1
0.564 * [backup-simplify]: Simplify (/ 1 1) into 1
0.564 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
0.564 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.564 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.564 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.564 * [taylor]: Taking taylor expansion of c in c
0.564 * [backup-simplify]: Simplify 0 into 0
0.564 * [backup-simplify]: Simplify 1 into 1
0.564 * [backup-simplify]: Simplify (/ 1 1) into 1
0.564 * [backup-simplify]: Simplify (- 1) into -1
0.564 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
0.565 * [taylor]: Taking taylor expansion of 2 in c
0.565 * [backup-simplify]: Simplify 2 into 2
0.565 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
0.565 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
0.565 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
0.565 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
0.565 * [backup-simplify]: Simplify (- 0) into 0
0.565 * [backup-simplify]: Simplify (+ 0 0) into 0
0.566 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
0.566 * [backup-simplify]: Simplify 0 into 0
0.567 * [backup-simplify]: Simplify (- 0) into 0
0.567 * [backup-simplify]: Simplify (+ 0 0) into 0
0.568 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.568 * [backup-simplify]: Simplify 0 into 0
0.569 * [backup-simplify]: Simplify (- 0) into 0
0.569 * [backup-simplify]: Simplify (+ 0 0) into 0
0.570 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.570 * [backup-simplify]: Simplify 0 into 0
0.570 * [backup-simplify]: Simplify (- 0) into 0
0.571 * [backup-simplify]: Simplify (+ 0 0) into 0
0.572 * [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
0.572 * [backup-simplify]: Simplify 0 into 0
0.572 * [backup-simplify]: Simplify (- 0) into 0
0.573 * [backup-simplify]: Simplify (+ 0 0) into 0
0.575 * [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
0.575 * [backup-simplify]: Simplify 0 into 0
0.575 * [backup-simplify]: Simplify (- 0) into 0
0.575 * [backup-simplify]: Simplify (+ 0 0) into 0
0.577 * [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
0.577 * [backup-simplify]: Simplify 0 into 0
0.578 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
0.578 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c))
0.578 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
0.578 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
0.579 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.579 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.579 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.579 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.579 * [taylor]: Taking taylor expansion of -1 in c
0.579 * [backup-simplify]: Simplify -1 into -1
0.579 * [taylor]: Taking taylor expansion of c in c
0.579 * [backup-simplify]: Simplify 0 into 0
0.579 * [backup-simplify]: Simplify 1 into 1
0.579 * [backup-simplify]: Simplify (/ -1 1) into -1
0.579 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
0.579 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.579 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.579 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.579 * [taylor]: Taking taylor expansion of -1 in c
0.579 * [backup-simplify]: Simplify -1 into -1
0.579 * [taylor]: Taking taylor expansion of c in c
0.579 * [backup-simplify]: Simplify 0 into 0
0.579 * [backup-simplify]: Simplify 1 into 1
0.580 * [backup-simplify]: Simplify (/ -1 1) into -1
0.580 * [backup-simplify]: Simplify (- -1) into 1
0.580 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
0.580 * [taylor]: Taking taylor expansion of 2 in c
0.580 * [backup-simplify]: Simplify 2 into 2
0.580 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
0.580 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
0.580 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
0.580 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
0.580 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.580 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.580 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.580 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.580 * [taylor]: Taking taylor expansion of -1 in c
0.581 * [backup-simplify]: Simplify -1 into -1
0.581 * [taylor]: Taking taylor expansion of c in c
0.587 * [backup-simplify]: Simplify 0 into 0
0.587 * [backup-simplify]: Simplify 1 into 1
0.587 * [backup-simplify]: Simplify (/ -1 1) into -1
0.588 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
0.588 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.588 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.588 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.588 * [taylor]: Taking taylor expansion of -1 in c
0.588 * [backup-simplify]: Simplify -1 into -1
0.588 * [taylor]: Taking taylor expansion of c in c
0.588 * [backup-simplify]: Simplify 0 into 0
0.588 * [backup-simplify]: Simplify 1 into 1
0.588 * [backup-simplify]: Simplify (/ -1 1) into -1
0.588 * [backup-simplify]: Simplify (- -1) into 1
0.588 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
0.588 * [taylor]: Taking taylor expansion of 2 in c
0.588 * [backup-simplify]: Simplify 2 into 2
0.588 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
0.589 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
0.589 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
0.589 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
0.589 * [backup-simplify]: Simplify (- 0) into 0
0.589 * [backup-simplify]: Simplify (+ 0 0) into 0
0.590 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
0.590 * [backup-simplify]: Simplify 0 into 0
0.590 * [backup-simplify]: Simplify (- 0) into 0
0.590 * [backup-simplify]: Simplify (+ 0 0) into 0
0.591 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.591 * [backup-simplify]: Simplify 0 into 0
0.592 * [backup-simplify]: Simplify (- 0) into 0
0.592 * [backup-simplify]: Simplify (+ 0 0) into 0
0.593 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.593 * [backup-simplify]: Simplify 0 into 0
0.593 * [backup-simplify]: Simplify (- 0) into 0
0.593 * [backup-simplify]: Simplify (+ 0 0) into 0
0.595 * [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
0.595 * [backup-simplify]: Simplify 0 into 0
0.595 * [backup-simplify]: Simplify (- 0) into 0
0.595 * [backup-simplify]: Simplify (+ 0 0) into 0
0.597 * [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
0.597 * [backup-simplify]: Simplify 0 into 0
0.597 * [backup-simplify]: Simplify (- 0) into 0
0.598 * [backup-simplify]: Simplify (+ 0 0) into 0
0.599 * [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
0.600 * [backup-simplify]: Simplify 0 into 0
0.600 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
0.600 * * * [progress]: simplifying candidates
0.600 * [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))))
0.600 * [simplify]: Sending expressions to egg_math:
 (expm1 (sinh h0))
 (log1p (sinh h0))
 (- (exp h0) (exp (- h0)))
 (log (sinh h0))
 (exp (sinh h0))
 (* (cbrt (sinh h0)) (cbrt (sinh h0)))
 (cbrt (sinh h0))
 (* (* (sinh h0) (sinh h0)) (sinh h0))
 (sqrt (sinh h0))
 (sqrt (sinh h0))
 (+ (* 1/6 (pow h0 3)) (+ (* 1/120 (pow h0 5)) h0))
 (* 1/2 (- (exp h0) (exp (- h0))))
 (* 1/2 (- (exp h0) (exp (* -1 h0))))
0.603 * * [simplify]: iteration  0 :  63  enodes  (cost  42 )
0.605 * * [simplify]: iteration  1 :  133  enodes  (cost  39 )
0.607 * * [simplify]: iteration  2 :  319  enodes  (cost  39 )
0.613 * * [simplify]: iteration  3 :  809  enodes  (cost  39 )
0.633 * * [simplify]: iteration  4 :  4112  enodes  (cost  39 )
0.717 * * [simplify]: iteration  5 :  5001  enodes  (cost  39 )
0.718 * * * [progress]: adding candidates to table
0.753 * * [progress]: iteration 2 / 4
0.753 * * * [progress]: picking best candidate
0.758 * * * * [pick]: Picked  #<alt (λ (c) (fmod (* (sqrt (sinh c)) (sqrt (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))>
0.758 * * * [progress]: localizing error
0.767 * * * [progress]: generating rewritten candidates
0.767 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.787 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1)
0.788 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
0.792 * * * [progress]: generating series expansions
0.792 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.792 * [backup-simplify]: Simplify (* (sqrt (sinh c)) (sqrt (sinh c))) into (sinh c)
0.792 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
0.792 * [taylor]: Taking taylor expansion of (sinh c) in c
0.792 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
0.792 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
0.792 * [taylor]: Taking taylor expansion of (exp c) in c
0.792 * [taylor]: Taking taylor expansion of c in c
0.792 * [backup-simplify]: Simplify 0 into 0
0.792 * [backup-simplify]: Simplify 1 into 1
0.792 * [backup-simplify]: Simplify (exp 0) into 1
0.792 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.792 * [taylor]: Taking taylor expansion of (- c) in c
0.792 * [taylor]: Taking taylor expansion of c in c
0.792 * [backup-simplify]: Simplify 0 into 0
0.792 * [backup-simplify]: Simplify 1 into 1
0.793 * [backup-simplify]: Simplify (- 0) into 0
0.793 * [backup-simplify]: Simplify (- 1) into -1
0.793 * [backup-simplify]: Simplify (exp 0) into 1
0.793 * [taylor]: Taking taylor expansion of 2 in c
0.793 * [backup-simplify]: Simplify 2 into 2
0.793 * [backup-simplify]: Simplify (- 1) into -1
0.793 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.794 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.794 * [backup-simplify]: Simplify (- 1) into -1
0.795 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.795 * [backup-simplify]: Simplify (- -1) into 1
0.795 * [backup-simplify]: Simplify (+ 1 1) into 2
0.795 * [backup-simplify]: Simplify (/ 2 2) into 1
0.795 * [taylor]: Taking taylor expansion of (sinh c) in c
0.796 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
0.796 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
0.796 * [taylor]: Taking taylor expansion of (exp c) in c
0.796 * [taylor]: Taking taylor expansion of c in c
0.796 * [backup-simplify]: Simplify 0 into 0
0.796 * [backup-simplify]: Simplify 1 into 1
0.796 * [backup-simplify]: Simplify (exp 0) into 1
0.796 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.796 * [taylor]: Taking taylor expansion of (- c) in c
0.796 * [taylor]: Taking taylor expansion of c in c
0.796 * [backup-simplify]: Simplify 0 into 0
0.796 * [backup-simplify]: Simplify 1 into 1
0.796 * [backup-simplify]: Simplify (- 0) into 0
0.796 * [backup-simplify]: Simplify (- 1) into -1
0.796 * [backup-simplify]: Simplify (exp 0) into 1
0.796 * [taylor]: Taking taylor expansion of 2 in c
0.796 * [backup-simplify]: Simplify 2 into 2
0.796 * [backup-simplify]: Simplify (- 1) into -1
0.797 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.797 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.798 * [backup-simplify]: Simplify (- 1) into -1
0.798 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.798 * [backup-simplify]: Simplify (- -1) into 1
0.799 * [backup-simplify]: Simplify (+ 1 1) into 2
0.799 * [backup-simplify]: Simplify (/ 2 2) into 1
0.799 * [backup-simplify]: Simplify 1 into 1
0.800 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.800 * [backup-simplify]: Simplify (- 1) into -1
0.800 * [backup-simplify]: Simplify (- 0) into 0
0.801 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.801 * [backup-simplify]: Simplify (- 1/2) into -1/2
0.802 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
0.802 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
0.802 * [backup-simplify]: Simplify 0 into 0
0.803 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
0.804 * [backup-simplify]: Simplify (- 1) into -1
0.804 * [backup-simplify]: Simplify (- 1) into -1
0.804 * [backup-simplify]: Simplify (- 0) into 0
0.804 * [backup-simplify]: Simplify (- 0) into 0
0.806 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
0.806 * [backup-simplify]: Simplify (- -1/6) into 1/6
0.806 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
0.807 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
0.807 * [backup-simplify]: Simplify 1/6 into 1/6
0.809 * [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
0.809 * [backup-simplify]: Simplify (- 1) into -1
0.809 * [backup-simplify]: Simplify (- 1) into -1
0.809 * [backup-simplify]: Simplify (- 0) into 0
0.810 * [backup-simplify]: Simplify (- 1) into -1
0.810 * [backup-simplify]: Simplify (- 0) into 0
0.810 * [backup-simplify]: Simplify (- 0) into 0
0.810 * [backup-simplify]: Simplify (- 0) into 0
0.812 * [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
0.813 * [backup-simplify]: Simplify (- 1/24) into -1/24
0.813 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
0.814 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
0.814 * [backup-simplify]: Simplify 0 into 0
0.817 * [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
0.817 * [backup-simplify]: Simplify (- 1) into -1
0.817 * [backup-simplify]: Simplify (- 1) into -1
0.817 * [backup-simplify]: Simplify (- 0) into 0
0.818 * [backup-simplify]: Simplify (- 1) into -1
0.818 * [backup-simplify]: Simplify (- 0) into 0
0.818 * [backup-simplify]: Simplify (- 1) into -1
0.818 * [backup-simplify]: Simplify (- 0) into 0
0.818 * [backup-simplify]: Simplify (- 1) into -1
0.819 * [backup-simplify]: Simplify (- 0) into 0
0.819 * [backup-simplify]: Simplify (- 0) into 0
0.819 * [backup-simplify]: Simplify (- 0) into 0
0.819 * [backup-simplify]: Simplify (- 0) into 0
0.822 * [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
0.823 * [backup-simplify]: Simplify (- -1/120) into 1/120
0.823 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
0.824 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
0.824 * [backup-simplify]: Simplify 1/120 into 1/120
0.824 * [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))
0.824 * [backup-simplify]: Simplify (* (sqrt (sinh (/ 1 c))) (sqrt (sinh (/ 1 c)))) into (sinh (/ 1 c))
0.824 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
0.824 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
0.824 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.824 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.824 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.824 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.824 * [taylor]: Taking taylor expansion of c in c
0.824 * [backup-simplify]: Simplify 0 into 0
0.824 * [backup-simplify]: Simplify 1 into 1
0.825 * [backup-simplify]: Simplify (/ 1 1) into 1
0.825 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
0.825 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.825 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.825 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.825 * [taylor]: Taking taylor expansion of c in c
0.825 * [backup-simplify]: Simplify 0 into 0
0.825 * [backup-simplify]: Simplify 1 into 1
0.825 * [backup-simplify]: Simplify (/ 1 1) into 1
0.825 * [backup-simplify]: Simplify (- 1) into -1
0.825 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
0.825 * [taylor]: Taking taylor expansion of 2 in c
0.825 * [backup-simplify]: Simplify 2 into 2
0.825 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
0.825 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
0.826 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
0.826 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
0.826 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.826 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.826 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.826 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.826 * [taylor]: Taking taylor expansion of c in c
0.826 * [backup-simplify]: Simplify 0 into 0
0.826 * [backup-simplify]: Simplify 1 into 1
0.826 * [backup-simplify]: Simplify (/ 1 1) into 1
0.826 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
0.826 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.826 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.826 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.826 * [taylor]: Taking taylor expansion of c in c
0.826 * [backup-simplify]: Simplify 0 into 0
0.826 * [backup-simplify]: Simplify 1 into 1
0.826 * [backup-simplify]: Simplify (/ 1 1) into 1
0.827 * [backup-simplify]: Simplify (- 1) into -1
0.827 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
0.827 * [taylor]: Taking taylor expansion of 2 in c
0.827 * [backup-simplify]: Simplify 2 into 2
0.827 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
0.827 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
0.827 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
0.827 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
0.827 * [backup-simplify]: Simplify (- 0) into 0
0.828 * [backup-simplify]: Simplify (+ 0 0) into 0
0.828 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
0.828 * [backup-simplify]: Simplify 0 into 0
0.829 * [backup-simplify]: Simplify (- 0) into 0
0.829 * [backup-simplify]: Simplify (+ 0 0) into 0
0.830 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.830 * [backup-simplify]: Simplify 0 into 0
0.830 * [backup-simplify]: Simplify (- 0) into 0
0.830 * [backup-simplify]: Simplify (+ 0 0) into 0
0.831 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.831 * [backup-simplify]: Simplify 0 into 0
0.832 * [backup-simplify]: Simplify (- 0) into 0
0.832 * [backup-simplify]: Simplify (+ 0 0) into 0
0.833 * [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
0.833 * [backup-simplify]: Simplify 0 into 0
0.834 * [backup-simplify]: Simplify (- 0) into 0
0.834 * [backup-simplify]: Simplify (+ 0 0) into 0
0.836 * [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
0.836 * [backup-simplify]: Simplify 0 into 0
0.836 * [backup-simplify]: Simplify (- 0) into 0
0.836 * [backup-simplify]: Simplify (+ 0 0) into 0
0.838 * [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
0.838 * [backup-simplify]: Simplify 0 into 0
0.838 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
0.838 * [backup-simplify]: Simplify (* (sqrt (sinh (/ 1 (- c)))) (sqrt (sinh (/ 1 (- c))))) into (sinh (/ -1 c))
0.838 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
0.838 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
0.839 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.839 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.839 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.839 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.839 * [taylor]: Taking taylor expansion of -1 in c
0.839 * [backup-simplify]: Simplify -1 into -1
0.839 * [taylor]: Taking taylor expansion of c in c
0.839 * [backup-simplify]: Simplify 0 into 0
0.839 * [backup-simplify]: Simplify 1 into 1
0.839 * [backup-simplify]: Simplify (/ -1 1) into -1
0.839 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
0.839 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.839 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.839 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.839 * [taylor]: Taking taylor expansion of -1 in c
0.839 * [backup-simplify]: Simplify -1 into -1
0.839 * [taylor]: Taking taylor expansion of c in c
0.839 * [backup-simplify]: Simplify 0 into 0
0.839 * [backup-simplify]: Simplify 1 into 1
0.839 * [backup-simplify]: Simplify (/ -1 1) into -1
0.840 * [backup-simplify]: Simplify (- -1) into 1
0.840 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
0.840 * [taylor]: Taking taylor expansion of 2 in c
0.840 * [backup-simplify]: Simplify 2 into 2
0.840 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
0.840 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
0.840 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
0.840 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
0.840 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.840 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.840 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.840 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.840 * [taylor]: Taking taylor expansion of -1 in c
0.840 * [backup-simplify]: Simplify -1 into -1
0.840 * [taylor]: Taking taylor expansion of c in c
0.840 * [backup-simplify]: Simplify 0 into 0
0.840 * [backup-simplify]: Simplify 1 into 1
0.840 * [backup-simplify]: Simplify (/ -1 1) into -1
0.841 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
0.841 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.841 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.841 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.841 * [taylor]: Taking taylor expansion of -1 in c
0.841 * [backup-simplify]: Simplify -1 into -1
0.841 * [taylor]: Taking taylor expansion of c in c
0.841 * [backup-simplify]: Simplify 0 into 0
0.841 * [backup-simplify]: Simplify 1 into 1
0.841 * [backup-simplify]: Simplify (/ -1 1) into -1
0.841 * [backup-simplify]: Simplify (- -1) into 1
0.841 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
0.841 * [taylor]: Taking taylor expansion of 2 in c
0.841 * [backup-simplify]: Simplify 2 into 2
0.841 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
0.841 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
0.842 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
0.842 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
0.842 * [backup-simplify]: Simplify (- 0) into 0
0.842 * [backup-simplify]: Simplify (+ 0 0) into 0
0.843 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
0.843 * [backup-simplify]: Simplify 0 into 0
0.843 * [backup-simplify]: Simplify (- 0) into 0
0.843 * [backup-simplify]: Simplify (+ 0 0) into 0
0.844 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.844 * [backup-simplify]: Simplify 0 into 0
0.844 * [backup-simplify]: Simplify (- 0) into 0
0.845 * [backup-simplify]: Simplify (+ 0 0) into 0
0.846 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.846 * [backup-simplify]: Simplify 0 into 0
0.846 * [backup-simplify]: Simplify (- 0) into 0
0.846 * [backup-simplify]: Simplify (+ 0 0) into 0
0.848 * [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
0.848 * [backup-simplify]: Simplify 0 into 0
0.848 * [backup-simplify]: Simplify (- 0) into 0
0.851 * [backup-simplify]: Simplify (+ 0 0) into 0
0.853 * [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
0.853 * [backup-simplify]: Simplify 0 into 0
0.853 * [backup-simplify]: Simplify (- 0) into 0
0.853 * [backup-simplify]: Simplify (+ 0 0) into 0
0.855 * [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
0.855 * [backup-simplify]: Simplify 0 into 0
0.855 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
0.855 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1)
0.855 * [backup-simplify]: Simplify (sinh c) into (sinh c)
0.855 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
0.855 * [taylor]: Taking taylor expansion of (sinh c) in c
0.855 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
0.856 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
0.856 * [taylor]: Taking taylor expansion of (exp c) in c
0.856 * [taylor]: Taking taylor expansion of c in c
0.856 * [backup-simplify]: Simplify 0 into 0
0.856 * [backup-simplify]: Simplify 1 into 1
0.856 * [backup-simplify]: Simplify (exp 0) into 1
0.856 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.856 * [taylor]: Taking taylor expansion of (- c) in c
0.856 * [taylor]: Taking taylor expansion of c in c
0.856 * [backup-simplify]: Simplify 0 into 0
0.856 * [backup-simplify]: Simplify 1 into 1
0.856 * [backup-simplify]: Simplify (- 0) into 0
0.856 * [backup-simplify]: Simplify (- 1) into -1
0.856 * [backup-simplify]: Simplify (exp 0) into 1
0.856 * [taylor]: Taking taylor expansion of 2 in c
0.856 * [backup-simplify]: Simplify 2 into 2
0.856 * [backup-simplify]: Simplify (- 1) into -1
0.857 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.857 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.857 * [backup-simplify]: Simplify (- 1) into -1
0.858 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.858 * [backup-simplify]: Simplify (- -1) into 1
0.859 * [backup-simplify]: Simplify (+ 1 1) into 2
0.859 * [backup-simplify]: Simplify (/ 2 2) into 1
0.859 * [taylor]: Taking taylor expansion of (sinh c) in c
0.859 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
0.859 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
0.859 * [taylor]: Taking taylor expansion of (exp c) in c
0.859 * [taylor]: Taking taylor expansion of c in c
0.859 * [backup-simplify]: Simplify 0 into 0
0.859 * [backup-simplify]: Simplify 1 into 1
0.859 * [backup-simplify]: Simplify (exp 0) into 1
0.859 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.859 * [taylor]: Taking taylor expansion of (- c) in c
0.859 * [taylor]: Taking taylor expansion of c in c
0.859 * [backup-simplify]: Simplify 0 into 0
0.859 * [backup-simplify]: Simplify 1 into 1
0.859 * [backup-simplify]: Simplify (- 0) into 0
0.860 * [backup-simplify]: Simplify (- 1) into -1
0.860 * [backup-simplify]: Simplify (exp 0) into 1
0.860 * [taylor]: Taking taylor expansion of 2 in c
0.860 * [backup-simplify]: Simplify 2 into 2
0.860 * [backup-simplify]: Simplify (- 1) into -1
0.860 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.861 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.861 * [backup-simplify]: Simplify (- 1) into -1
0.861 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.862 * [backup-simplify]: Simplify (- -1) into 1
0.862 * [backup-simplify]: Simplify (+ 1 1) into 2
0.862 * [backup-simplify]: Simplify (/ 2 2) into 1
0.862 * [backup-simplify]: Simplify 1 into 1
0.863 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.863 * [backup-simplify]: Simplify (- 1) into -1
0.864 * [backup-simplify]: Simplify (- 0) into 0
0.864 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.865 * [backup-simplify]: Simplify (- 1/2) into -1/2
0.865 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
0.865 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
0.865 * [backup-simplify]: Simplify 0 into 0
0.867 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
0.867 * [backup-simplify]: Simplify (- 1) into -1
0.867 * [backup-simplify]: Simplify (- 1) into -1
0.867 * [backup-simplify]: Simplify (- 0) into 0
0.868 * [backup-simplify]: Simplify (- 0) into 0
0.869 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
0.869 * [backup-simplify]: Simplify (- -1/6) into 1/6
0.869 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
0.870 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
0.870 * [backup-simplify]: Simplify 1/6 into 1/6
0.872 * [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
0.872 * [backup-simplify]: Simplify (- 1) into -1
0.873 * [backup-simplify]: Simplify (- 1) into -1
0.873 * [backup-simplify]: Simplify (- 0) into 0
0.873 * [backup-simplify]: Simplify (- 1) into -1
0.873 * [backup-simplify]: Simplify (- 0) into 0
0.874 * [backup-simplify]: Simplify (- 0) into 0
0.874 * [backup-simplify]: Simplify (- 0) into 0
0.876 * [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
0.876 * [backup-simplify]: Simplify (- 1/24) into -1/24
0.876 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
0.877 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
0.877 * [backup-simplify]: Simplify 0 into 0
0.880 * [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
0.880 * [backup-simplify]: Simplify (- 1) into -1
0.881 * [backup-simplify]: Simplify (- 1) into -1
0.881 * [backup-simplify]: Simplify (- 0) into 0
0.881 * [backup-simplify]: Simplify (- 1) into -1
0.881 * [backup-simplify]: Simplify (- 0) into 0
0.882 * [backup-simplify]: Simplify (- 1) into -1
0.882 * [backup-simplify]: Simplify (- 0) into 0
0.882 * [backup-simplify]: Simplify (- 1) into -1
0.882 * [backup-simplify]: Simplify (- 0) into 0
0.882 * [backup-simplify]: Simplify (- 0) into 0
0.883 * [backup-simplify]: Simplify (- 0) into 0
0.883 * [backup-simplify]: Simplify (- 0) into 0
0.886 * [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
0.886 * [backup-simplify]: Simplify (- -1/120) into 1/120
0.886 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
0.887 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
0.887 * [backup-simplify]: Simplify 1/120 into 1/120
0.887 * [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))
0.888 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c))
0.888 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
0.888 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
0.888 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.888 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.888 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.888 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.888 * [taylor]: Taking taylor expansion of c in c
0.888 * [backup-simplify]: Simplify 0 into 0
0.888 * [backup-simplify]: Simplify 1 into 1
0.888 * [backup-simplify]: Simplify (/ 1 1) into 1
0.888 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
0.888 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.888 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.888 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.888 * [taylor]: Taking taylor expansion of c in c
0.888 * [backup-simplify]: Simplify 0 into 0
0.888 * [backup-simplify]: Simplify 1 into 1
0.888 * [backup-simplify]: Simplify (/ 1 1) into 1
0.889 * [backup-simplify]: Simplify (- 1) into -1
0.889 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
0.889 * [taylor]: Taking taylor expansion of 2 in c
0.889 * [backup-simplify]: Simplify 2 into 2
0.889 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
0.889 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
0.889 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
0.889 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
0.889 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.889 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.889 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.889 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.889 * [taylor]: Taking taylor expansion of c in c
0.889 * [backup-simplify]: Simplify 0 into 0
0.889 * [backup-simplify]: Simplify 1 into 1
0.889 * [backup-simplify]: Simplify (/ 1 1) into 1
0.889 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
0.889 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.890 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.890 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.890 * [taylor]: Taking taylor expansion of c in c
0.890 * [backup-simplify]: Simplify 0 into 0
0.890 * [backup-simplify]: Simplify 1 into 1
0.890 * [backup-simplify]: Simplify (/ 1 1) into 1
0.890 * [backup-simplify]: Simplify (- 1) into -1
0.890 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
0.890 * [taylor]: Taking taylor expansion of 2 in c
0.890 * [backup-simplify]: Simplify 2 into 2
0.890 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
0.890 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
0.890 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
0.891 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
0.891 * [backup-simplify]: Simplify (- 0) into 0
0.891 * [backup-simplify]: Simplify (+ 0 0) into 0
0.892 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
0.892 * [backup-simplify]: Simplify 0 into 0
0.892 * [backup-simplify]: Simplify (- 0) into 0
0.892 * [backup-simplify]: Simplify (+ 0 0) into 0
0.893 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.893 * [backup-simplify]: Simplify 0 into 0
0.893 * [backup-simplify]: Simplify (- 0) into 0
0.893 * [backup-simplify]: Simplify (+ 0 0) into 0
0.895 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.895 * [backup-simplify]: Simplify 0 into 0
0.895 * [backup-simplify]: Simplify (- 0) into 0
0.895 * [backup-simplify]: Simplify (+ 0 0) into 0
0.897 * [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
0.897 * [backup-simplify]: Simplify 0 into 0
0.897 * [backup-simplify]: Simplify (- 0) into 0
0.897 * [backup-simplify]: Simplify (+ 0 0) into 0
0.899 * [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
0.899 * [backup-simplify]: Simplify 0 into 0
0.899 * [backup-simplify]: Simplify (- 0) into 0
0.899 * [backup-simplify]: Simplify (+ 0 0) into 0
0.901 * [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
0.901 * [backup-simplify]: Simplify 0 into 0
0.901 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
0.902 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c))
0.902 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
0.902 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
0.902 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.902 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.902 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.902 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.902 * [taylor]: Taking taylor expansion of -1 in c
0.902 * [backup-simplify]: Simplify -1 into -1
0.902 * [taylor]: Taking taylor expansion of c in c
0.902 * [backup-simplify]: Simplify 0 into 0
0.902 * [backup-simplify]: Simplify 1 into 1
0.902 * [backup-simplify]: Simplify (/ -1 1) into -1
0.902 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
0.902 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.902 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.902 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.902 * [taylor]: Taking taylor expansion of -1 in c
0.902 * [backup-simplify]: Simplify -1 into -1
0.902 * [taylor]: Taking taylor expansion of c in c
0.902 * [backup-simplify]: Simplify 0 into 0
0.902 * [backup-simplify]: Simplify 1 into 1
0.903 * [backup-simplify]: Simplify (/ -1 1) into -1
0.903 * [backup-simplify]: Simplify (- -1) into 1
0.903 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
0.903 * [taylor]: Taking taylor expansion of 2 in c
0.903 * [backup-simplify]: Simplify 2 into 2
0.903 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
0.903 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
0.903 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
0.903 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
0.903 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.903 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.903 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.903 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.903 * [taylor]: Taking taylor expansion of -1 in c
0.903 * [backup-simplify]: Simplify -1 into -1
0.903 * [taylor]: Taking taylor expansion of c in c
0.903 * [backup-simplify]: Simplify 0 into 0
0.903 * [backup-simplify]: Simplify 1 into 1
0.904 * [backup-simplify]: Simplify (/ -1 1) into -1
0.904 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
0.904 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.904 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.904 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.904 * [taylor]: Taking taylor expansion of -1 in c
0.904 * [backup-simplify]: Simplify -1 into -1
0.904 * [taylor]: Taking taylor expansion of c in c
0.904 * [backup-simplify]: Simplify 0 into 0
0.904 * [backup-simplify]: Simplify 1 into 1
0.904 * [backup-simplify]: Simplify (/ -1 1) into -1
0.904 * [backup-simplify]: Simplify (- -1) into 1
0.904 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
0.904 * [taylor]: Taking taylor expansion of 2 in c
0.904 * [backup-simplify]: Simplify 2 into 2
0.904 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
0.905 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
0.905 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
0.905 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
0.905 * [backup-simplify]: Simplify (- 0) into 0
0.905 * [backup-simplify]: Simplify (+ 0 0) into 0
0.906 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
0.906 * [backup-simplify]: Simplify 0 into 0
0.906 * [backup-simplify]: Simplify (- 0) into 0
0.906 * [backup-simplify]: Simplify (+ 0 0) into 0
0.907 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.907 * [backup-simplify]: Simplify 0 into 0
0.907 * [backup-simplify]: Simplify (- 0) into 0
0.908 * [backup-simplify]: Simplify (+ 0 0) into 0
0.909 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.909 * [backup-simplify]: Simplify 0 into 0
0.909 * [backup-simplify]: Simplify (- 0) into 0
0.909 * [backup-simplify]: Simplify (+ 0 0) into 0
0.911 * [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
0.911 * [backup-simplify]: Simplify 0 into 0
0.911 * [backup-simplify]: Simplify (- 0) into 0
0.911 * [backup-simplify]: Simplify (+ 0 0) into 0
0.913 * [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
0.913 * [backup-simplify]: Simplify 0 into 0
0.913 * [backup-simplify]: Simplify (- 0) into 0
0.913 * [backup-simplify]: Simplify (+ 0 0) into 0
0.915 * [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
0.915 * [backup-simplify]: Simplify 0 into 0
0.916 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
0.916 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
0.916 * [backup-simplify]: Simplify (sinh c) into (sinh c)
0.916 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
0.916 * [taylor]: Taking taylor expansion of (sinh c) in c
0.916 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
0.916 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
0.916 * [taylor]: Taking taylor expansion of (exp c) in c
0.916 * [taylor]: Taking taylor expansion of c in c
0.916 * [backup-simplify]: Simplify 0 into 0
0.916 * [backup-simplify]: Simplify 1 into 1
0.916 * [backup-simplify]: Simplify (exp 0) into 1
0.916 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.916 * [taylor]: Taking taylor expansion of (- c) in c
0.916 * [taylor]: Taking taylor expansion of c in c
0.916 * [backup-simplify]: Simplify 0 into 0
0.916 * [backup-simplify]: Simplify 1 into 1
0.916 * [backup-simplify]: Simplify (- 0) into 0
0.917 * [backup-simplify]: Simplify (- 1) into -1
0.917 * [backup-simplify]: Simplify (exp 0) into 1
0.917 * [taylor]: Taking taylor expansion of 2 in c
0.917 * [backup-simplify]: Simplify 2 into 2
0.917 * [backup-simplify]: Simplify (- 1) into -1
0.917 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.918 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.918 * [backup-simplify]: Simplify (- 1) into -1
0.919 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.919 * [backup-simplify]: Simplify (- -1) into 1
0.919 * [backup-simplify]: Simplify (+ 1 1) into 2
0.919 * [backup-simplify]: Simplify (/ 2 2) into 1
0.919 * [taylor]: Taking taylor expansion of (sinh c) in c
0.920 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
0.920 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
0.920 * [taylor]: Taking taylor expansion of (exp c) in c
0.920 * [taylor]: Taking taylor expansion of c in c
0.920 * [backup-simplify]: Simplify 0 into 0
0.920 * [backup-simplify]: Simplify 1 into 1
0.920 * [backup-simplify]: Simplify (exp 0) into 1
0.920 * [taylor]: Taking taylor expansion of (exp (- c)) in c
0.920 * [taylor]: Taking taylor expansion of (- c) in c
0.920 * [taylor]: Taking taylor expansion of c in c
0.920 * [backup-simplify]: Simplify 0 into 0
0.920 * [backup-simplify]: Simplify 1 into 1
0.920 * [backup-simplify]: Simplify (- 0) into 0
0.920 * [backup-simplify]: Simplify (- 1) into -1
0.920 * [backup-simplify]: Simplify (exp 0) into 1
0.920 * [taylor]: Taking taylor expansion of 2 in c
0.920 * [backup-simplify]: Simplify 2 into 2
0.920 * [backup-simplify]: Simplify (- 1) into -1
0.921 * [backup-simplify]: Simplify (+ 1 -1) into 0
0.921 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.921 * [backup-simplify]: Simplify (- 1) into -1
0.922 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
0.922 * [backup-simplify]: Simplify (- -1) into 1
0.923 * [backup-simplify]: Simplify (+ 1 1) into 2
0.923 * [backup-simplify]: Simplify (/ 2 2) into 1
0.923 * [backup-simplify]: Simplify 1 into 1
0.924 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.924 * [backup-simplify]: Simplify (- 1) into -1
0.924 * [backup-simplify]: Simplify (- 0) into 0
0.925 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.925 * [backup-simplify]: Simplify (- 1/2) into -1/2
0.926 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
0.926 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
0.926 * [backup-simplify]: Simplify 0 into 0
0.927 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
0.928 * [backup-simplify]: Simplify (- 1) into -1
0.928 * [backup-simplify]: Simplify (- 1) into -1
0.928 * [backup-simplify]: Simplify (- 0) into 0
0.928 * [backup-simplify]: Simplify (- 0) into 0
0.930 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
0.930 * [backup-simplify]: Simplify (- -1/6) into 1/6
0.930 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
0.931 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
0.931 * [backup-simplify]: Simplify 1/6 into 1/6
0.933 * [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
0.933 * [backup-simplify]: Simplify (- 1) into -1
0.933 * [backup-simplify]: Simplify (- 1) into -1
0.934 * [backup-simplify]: Simplify (- 0) into 0
0.934 * [backup-simplify]: Simplify (- 1) into -1
0.934 * [backup-simplify]: Simplify (- 0) into 0
0.934 * [backup-simplify]: Simplify (- 0) into 0
0.934 * [backup-simplify]: Simplify (- 0) into 0
0.936 * [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
0.937 * [backup-simplify]: Simplify (- 1/24) into -1/24
0.937 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
0.938 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
0.938 * [backup-simplify]: Simplify 0 into 0
0.943 * [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
0.943 * [backup-simplify]: Simplify (- 1) into -1
0.943 * [backup-simplify]: Simplify (- 1) into -1
0.944 * [backup-simplify]: Simplify (- 0) into 0
0.944 * [backup-simplify]: Simplify (- 1) into -1
0.944 * [backup-simplify]: Simplify (- 0) into 0
0.944 * [backup-simplify]: Simplify (- 1) into -1
0.944 * [backup-simplify]: Simplify (- 0) into 0
0.945 * [backup-simplify]: Simplify (- 1) into -1
0.945 * [backup-simplify]: Simplify (- 0) into 0
0.945 * [backup-simplify]: Simplify (- 0) into 0
0.945 * [backup-simplify]: Simplify (- 0) into 0
0.946 * [backup-simplify]: Simplify (- 0) into 0
0.948 * [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
0.949 * [backup-simplify]: Simplify (- -1/120) into 1/120
0.949 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
0.950 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
0.950 * [backup-simplify]: Simplify 1/120 into 1/120
0.950 * [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))
0.950 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c))
0.950 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
0.950 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
0.950 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.950 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.950 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.950 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.950 * [taylor]: Taking taylor expansion of c in c
0.950 * [backup-simplify]: Simplify 0 into 0
0.950 * [backup-simplify]: Simplify 1 into 1
0.951 * [backup-simplify]: Simplify (/ 1 1) into 1
0.951 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
0.951 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.951 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.951 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.951 * [taylor]: Taking taylor expansion of c in c
0.951 * [backup-simplify]: Simplify 0 into 0
0.951 * [backup-simplify]: Simplify 1 into 1
0.951 * [backup-simplify]: Simplify (/ 1 1) into 1
0.951 * [backup-simplify]: Simplify (- 1) into -1
0.951 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
0.951 * [taylor]: Taking taylor expansion of 2 in c
0.951 * [backup-simplify]: Simplify 2 into 2
0.951 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
0.952 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
0.952 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
0.952 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
0.952 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
0.952 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
0.952 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
0.952 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.952 * [taylor]: Taking taylor expansion of c in c
0.952 * [backup-simplify]: Simplify 0 into 0
0.952 * [backup-simplify]: Simplify 1 into 1
0.952 * [backup-simplify]: Simplify (/ 1 1) into 1
0.952 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
0.952 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
0.952 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
0.952 * [taylor]: Taking taylor expansion of (/ 1 c) in c
0.952 * [taylor]: Taking taylor expansion of c in c
0.952 * [backup-simplify]: Simplify 0 into 0
0.952 * [backup-simplify]: Simplify 1 into 1
0.953 * [backup-simplify]: Simplify (/ 1 1) into 1
0.953 * [backup-simplify]: Simplify (- 1) into -1
0.953 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
0.953 * [taylor]: Taking taylor expansion of 2 in c
0.953 * [backup-simplify]: Simplify 2 into 2
0.953 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
0.953 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
0.953 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
0.953 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
0.954 * [backup-simplify]: Simplify (- 0) into 0
0.954 * [backup-simplify]: Simplify (+ 0 0) into 0
0.954 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
0.954 * [backup-simplify]: Simplify 0 into 0
0.955 * [backup-simplify]: Simplify (- 0) into 0
0.955 * [backup-simplify]: Simplify (+ 0 0) into 0
0.956 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.956 * [backup-simplify]: Simplify 0 into 0
0.956 * [backup-simplify]: Simplify (- 0) into 0
0.956 * [backup-simplify]: Simplify (+ 0 0) into 0
0.957 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.957 * [backup-simplify]: Simplify 0 into 0
0.958 * [backup-simplify]: Simplify (- 0) into 0
0.958 * [backup-simplify]: Simplify (+ 0 0) into 0
0.959 * [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
0.959 * [backup-simplify]: Simplify 0 into 0
0.960 * [backup-simplify]: Simplify (- 0) into 0
0.960 * [backup-simplify]: Simplify (+ 0 0) into 0
0.962 * [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
0.962 * [backup-simplify]: Simplify 0 into 0
0.962 * [backup-simplify]: Simplify (- 0) into 0
0.962 * [backup-simplify]: Simplify (+ 0 0) into 0
0.964 * [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
0.964 * [backup-simplify]: Simplify 0 into 0
0.964 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
0.964 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c))
0.964 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
0.964 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
0.964 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.964 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.964 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.965 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.965 * [taylor]: Taking taylor expansion of -1 in c
0.965 * [backup-simplify]: Simplify -1 into -1
0.965 * [taylor]: Taking taylor expansion of c in c
0.965 * [backup-simplify]: Simplify 0 into 0
0.965 * [backup-simplify]: Simplify 1 into 1
0.965 * [backup-simplify]: Simplify (/ -1 1) into -1
0.965 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
0.965 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.965 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.965 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.965 * [taylor]: Taking taylor expansion of -1 in c
0.965 * [backup-simplify]: Simplify -1 into -1
0.965 * [taylor]: Taking taylor expansion of c in c
0.965 * [backup-simplify]: Simplify 0 into 0
0.965 * [backup-simplify]: Simplify 1 into 1
0.965 * [backup-simplify]: Simplify (/ -1 1) into -1
0.966 * [backup-simplify]: Simplify (- -1) into 1
0.966 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
0.966 * [taylor]: Taking taylor expansion of 2 in c
0.966 * [backup-simplify]: Simplify 2 into 2
0.966 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
0.966 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
0.966 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
0.966 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
0.966 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
0.966 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
0.966 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
0.966 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.966 * [taylor]: Taking taylor expansion of -1 in c
0.966 * [backup-simplify]: Simplify -1 into -1
0.966 * [taylor]: Taking taylor expansion of c in c
0.966 * [backup-simplify]: Simplify 0 into 0
0.966 * [backup-simplify]: Simplify 1 into 1
0.967 * [backup-simplify]: Simplify (/ -1 1) into -1
0.967 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
0.967 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
0.967 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
0.967 * [taylor]: Taking taylor expansion of (/ -1 c) in c
0.967 * [taylor]: Taking taylor expansion of -1 in c
0.967 * [backup-simplify]: Simplify -1 into -1
0.967 * [taylor]: Taking taylor expansion of c in c
0.967 * [backup-simplify]: Simplify 0 into 0
0.967 * [backup-simplify]: Simplify 1 into 1
0.967 * [backup-simplify]: Simplify (/ -1 1) into -1
0.967 * [backup-simplify]: Simplify (- -1) into 1
0.967 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
0.967 * [taylor]: Taking taylor expansion of 2 in c
0.967 * [backup-simplify]: Simplify 2 into 2
0.967 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
0.967 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
0.968 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
0.968 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
0.968 * [backup-simplify]: Simplify (- 0) into 0
0.968 * [backup-simplify]: Simplify (+ 0 0) into 0
0.969 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
0.969 * [backup-simplify]: Simplify 0 into 0
0.969 * [backup-simplify]: Simplify (- 0) into 0
0.969 * [backup-simplify]: Simplify (+ 0 0) into 0
0.970 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.970 * [backup-simplify]: Simplify 0 into 0
0.970 * [backup-simplify]: Simplify (- 0) into 0
0.971 * [backup-simplify]: Simplify (+ 0 0) into 0
0.972 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
0.972 * [backup-simplify]: Simplify 0 into 0
0.972 * [backup-simplify]: Simplify (- 0) into 0
0.972 * [backup-simplify]: Simplify (+ 0 0) into 0
0.974 * [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
0.974 * [backup-simplify]: Simplify 0 into 0
0.974 * [backup-simplify]: Simplify (- 0) into 0
0.974 * [backup-simplify]: Simplify (+ 0 0) into 0
0.976 * [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
0.976 * [backup-simplify]: Simplify 0 into 0
0.976 * [backup-simplify]: Simplify (- 0) into 0
0.976 * [backup-simplify]: Simplify (+ 0 0) into 0
0.978 * [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
0.978 * [backup-simplify]: Simplify 0 into 0
0.979 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
0.979 * * * [progress]: simplifying candidates
0.980 * [simplify]: Simplifying:
  (expm1 (* (sqrt (sinh c)) (sqrt (sinh c))))
  (log1p (* (sqrt (sinh c)) (sqrt (sinh c))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (sinh c) (sinh c))
  (* (sqrt (sinh c)) (sqrt (sinh c)))
  (* (sinh c) (sinh c))
  (+ 1 1)
  (+ (log (sqrt (sinh c))) (log (sqrt (sinh c))))
  (log (* (sqrt (sinh c)) (sqrt (sinh c))))
  (exp (* (sqrt (sinh c)) (sqrt (sinh c))))
  (* (* (* (sqrt (sinh c)) (sqrt (sinh c))) (sqrt (sinh c))) (* (* (sqrt (sinh c)) (sqrt (sinh c))) (sqrt (sinh c))))
  (* (cbrt (* (sqrt (sinh c)) (sqrt (sinh c)))) (cbrt (* (sqrt (sinh c)) (sqrt (sinh c)))))
  (cbrt (* (sqrt (sinh c)) (sqrt (sinh c))))
  (* (* (* (sqrt (sinh c)) (sqrt (sinh c))) (* (sqrt (sinh c)) (sqrt (sinh c)))) (* (sqrt (sinh c)) (sqrt (sinh c))))
  (* (sinh c) (sinh c))
  (sqrt (* (sqrt (sinh c)) (sqrt (sinh c))))
  (sqrt (* (sqrt (sinh c)) (sqrt (sinh c))))
  (* (sqrt (- (exp c) (exp (- c)))) (sqrt (- (exp c) (exp (- c)))))
  (* (sqrt 2) (sqrt 2))
  (* (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))))
  (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c))))
  (* (sqrt (* (cbrt (sinh c)) (cbrt (sinh c)))) (sqrt (* (cbrt (sinh c)) (cbrt (sinh c)))))
  (* (sqrt (cbrt (sinh c))) (sqrt (cbrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (sinh c)) (sqrt (sinh c)))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* 1 1)
  (* (sqrt (sinh c)) (sqrt (sinh c)))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* (sqrt (sqrt (sinh c))) (sqrt (sqrt (sinh c))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (sinh c)) (* (cbrt (sqrt (sinh c))) (cbrt (sqrt (sinh c)))))
  (* (sqrt (sinh c)) (sqrt (* (cbrt (sinh c)) (cbrt (sinh c)))))
  (* (sqrt (sinh c)) (sqrt (sqrt (sinh c))))
  (* (sqrt (sinh c)) (sqrt 1))
  (* (sqrt (sinh c)) (sqrt (sqrt (sinh c))))
  (* (sqrt (sinh c)) 1)
  (* (cbrt (sqrt (sinh c))) (sqrt (sinh c)))
  (* (sqrt (cbrt (sinh c))) (sqrt (sinh c)))
  (* (sqrt (sqrt (sinh c))) (sqrt (sinh c)))
  (* (sqrt (sinh c)) (sqrt (sinh c)))
  (* (sqrt (sqrt (sinh c))) (sqrt (sinh c)))
  (* (sqrt (sinh c)) (sqrt (sinh c)))
  (* (sqrt (sinh c)) (sqrt (- (exp c) (exp (- c)))))
  (* (sqrt (- (exp c) (exp (- c)))) (sqrt (sinh c)))
  (expm1 (sinh c))
  (log1p (sinh c))
  (- (exp c) (exp (- c)))
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (* (* (sinh c) (sinh c)) (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (expm1 (sinh c))
  (log1p (sinh c))
  (- (exp c) (exp (- c)))
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (* (* (sinh c) (sinh c)) (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (* -1 c))))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (* -1 c))))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (* -1 c))))
0.980 * [simplify]: Sending expressions to egg_math:
 (expm1 (* (sqrt (sinh h0)) (sqrt (sinh h0))))
 (log1p (* (sqrt (sinh h0)) (sqrt (sinh h0))))
 (+ 1/2 1/2)
 (+ 1/2 (/ 1 2))
 (+ 1 1)
 (+ (/ 1 2) 1/2)
 (+ (/ 1 2) (/ 1 2))
 (* (sinh h0) (sinh h0))
 (* (sqrt (sinh h0)) (sqrt (sinh h0)))
 (* (sinh h0) (sinh h0))
 (+ 1 1)
 (+ (log (sqrt (sinh h0))) (log (sqrt (sinh h0))))
 (log (* (sqrt (sinh h0)) (sqrt (sinh h0))))
 (exp (* (sqrt (sinh h0)) (sqrt (sinh h0))))
 (* (* (* (sqrt (sinh h0)) (sqrt (sinh h0))) (sqrt (sinh h0))) (* (* (sqrt (sinh h0)) (sqrt (sinh h0))) (sqrt (sinh h0))))
 (* (cbrt (* (sqrt (sinh h0)) (sqrt (sinh h0)))) (cbrt (* (sqrt (sinh h0)) (sqrt (sinh h0)))))
 (cbrt (* (sqrt (sinh h0)) (sqrt (sinh h0))))
 (* (* (* (sqrt (sinh h0)) (sqrt (sinh h0))) (* (sqrt (sinh h0)) (sqrt (sinh h0)))) (* (sqrt (sinh h0)) (sqrt (sinh h0))))
 (* (sinh h0) (sinh h0))
 (sqrt (* (sqrt (sinh h0)) (sqrt (sinh h0))))
 (sqrt (* (sqrt (sinh h0)) (sqrt (sinh h0))))
 (* (sqrt (- (exp h0) (exp (- h0)))) (sqrt (- (exp h0) (exp (- h0)))))
 (* (sqrt 2) (sqrt 2))
 (* (* (cbrt (sqrt (sinh h0))) (cbrt (sqrt (sinh h0)))) (* (cbrt (sqrt (sinh h0))) (cbrt (sqrt (sinh h0)))))
 (* (cbrt (sqrt (sinh h0))) (cbrt (sqrt (sinh h0))))
 (* (sqrt (* (cbrt (sinh h0)) (cbrt (sinh h0)))) (sqrt (* (cbrt (sinh h0)) (cbrt (sinh h0)))))
 (* (sqrt (cbrt (sinh h0))) (sqrt (cbrt (sinh h0))))
 (* (sqrt (sqrt (sinh h0))) (sqrt (sqrt (sinh h0))))
 (* (sqrt (sqrt (sinh h0))) (sqrt (sqrt (sinh h0))))
 (* (sqrt (sqrt (sinh h0))) (sqrt (sqrt (sinh h0))))
 (* (sqrt (sqrt (sinh h0))) (sqrt (sqrt (sinh h0))))
 (* (sqrt 1) (sqrt 1))
 (* (sqrt (sinh h0)) (sqrt (sinh h0)))
 (* (sqrt (sqrt (sinh h0))) (sqrt (sqrt (sinh h0))))
 (* (sqrt (sqrt (sinh h0))) (sqrt (sqrt (sinh h0))))
 (* (sqrt (sqrt (sinh h0))) (sqrt (sqrt (sinh h0))))
 (* (sqrt (sqrt (sinh h0))) (sqrt (sqrt (sinh h0))))
 (* 1 1)
 (* (sqrt (sinh h0)) (sqrt (sinh h0)))
 (* (sqrt (sqrt (sinh h0))) (sqrt (sqrt (sinh h0))))
 (* (sqrt (sqrt (sinh h0))) (sqrt (sqrt (sinh h0))))
 (* (sqrt (sqrt (sinh h0))) (sqrt (sqrt (sinh h0))))
 (* (sqrt (sqrt (sinh h0))) (sqrt (sqrt (sinh h0))))
 (* (sqrt (sqrt (sinh h0))) (sqrt (sqrt (sinh h0))))
 (* (sqrt (sqrt (sinh h0))) (sqrt (sqrt (sinh h0))))
 (* (sqrt (sqrt (sinh h0))) (sqrt (sqrt (sinh h0))))
 (* (sqrt (sqrt (sinh h0))) (sqrt (sqrt (sinh h0))))
 (* 2 1/2)
 (* 2 1)
 (* 2 (/ 1 2))
 (* (sqrt (sinh h0)) (* (cbrt (sqrt (sinh h0))) (cbrt (sqrt (sinh h0)))))
 (* (sqrt (sinh h0)) (sqrt (* (cbrt (sinh h0)) (cbrt (sinh h0)))))
 (* (sqrt (sinh h0)) (sqrt (sqrt (sinh h0))))
 (* (sqrt (sinh h0)) (sqrt 1))
 (* (sqrt (sinh h0)) (sqrt (sqrt (sinh h0))))
 (* (sqrt (sinh h0)) 1)
 (* (cbrt (sqrt (sinh h0))) (sqrt (sinh h0)))
 (* (sqrt (cbrt (sinh h0))) (sqrt (sinh h0)))
 (* (sqrt (sqrt (sinh h0))) (sqrt (sinh h0)))
 (* (sqrt (sinh h0)) (sqrt (sinh h0)))
 (* (sqrt (sqrt (sinh h0))) (sqrt (sinh h0)))
 (* (sqrt (sinh h0)) (sqrt (sinh h0)))
 (* (sqrt (sinh h0)) (sqrt (- (exp h0) (exp (- h0)))))
 (* (sqrt (- (exp h0) (exp (- h0)))) (sqrt (sinh h0)))
 (expm1 (sinh h0))
 (log1p (sinh h0))
 (- (exp h0) (exp (- h0)))
 (log (sinh h0))
 (exp (sinh h0))
 (* (cbrt (sinh h0)) (cbrt (sinh h0)))
 (cbrt (sinh h0))
 (* (* (sinh h0) (sinh h0)) (sinh h0))
 (sqrt (sinh h0))
 (sqrt (sinh h0))
 (expm1 (sinh h0))
 (log1p (sinh h0))
 (- (exp h0) (exp (- h0)))
 (log (sinh h0))
 (exp (sinh h0))
 (* (cbrt (sinh h0)) (cbrt (sinh h0)))
 (cbrt (sinh h0))
 (* (* (sinh h0) (sinh h0)) (sinh h0))
 (sqrt (sinh h0))
 (sqrt (sinh h0))
 (+ (* 1/6 (pow h0 3)) (+ (* 1/120 (pow h0 5)) h0))
 (* 1/2 (- (exp h0) (exp (- h0))))
 (* 1/2 (- (exp h0) (exp (* -1 h0))))
 (+ (* 1/6 (pow h0 3)) (+ (* 1/120 (pow h0 5)) h0))
 (* 1/2 (- (exp h0) (exp (- h0))))
 (* 1/2 (- (exp h0) (exp (* -1 h0))))
 (+ (* 1/6 (pow h0 3)) (+ (* 1/120 (pow h0 5)) h0))
 (* 1/2 (- (exp h0) (exp (- h0))))
 (* 1/2 (- (exp h0) (exp (* -1 h0))))
0.984 * * [simplify]: iteration  0 :  150  enodes  (cost  282 )
0.988 * * [simplify]: iteration  1 :  591  enodes  (cost  253 )
1.009 * * [simplify]: iteration  2 :  5001  enodes  (cost  215 )
1.011 * * * [progress]: adding candidates to table
1.164 * * [progress]: iteration 3 / 4
1.164 * * * [progress]: picking best candidate
1.167 * * * * [pick]: Picked  #<alt (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (pow -2.9807307601812193e+165 2.0))))>
1.167 * * * [progress]: localizing error
1.177 * * * [progress]: generating rewritten candidates
1.177 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
1.181 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
1.184 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
1.186 * * * [progress]: generating series expansions
1.186 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
1.187 * [backup-simplify]: Simplify (cbrt (pow (sinh c) 3)) into (sinh c)
1.187 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
1.187 * [taylor]: Taking taylor expansion of (sinh c) in c
1.187 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
1.187 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
1.187 * [taylor]: Taking taylor expansion of (exp c) in c
1.187 * [taylor]: Taking taylor expansion of c in c
1.187 * [backup-simplify]: Simplify 0 into 0
1.187 * [backup-simplify]: Simplify 1 into 1
1.187 * [backup-simplify]: Simplify (exp 0) into 1
1.187 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.187 * [taylor]: Taking taylor expansion of (- c) in c
1.187 * [taylor]: Taking taylor expansion of c in c
1.187 * [backup-simplify]: Simplify 0 into 0
1.187 * [backup-simplify]: Simplify 1 into 1
1.187 * [backup-simplify]: Simplify (- 0) into 0
1.188 * [backup-simplify]: Simplify (- 1) into -1
1.188 * [backup-simplify]: Simplify (exp 0) into 1
1.188 * [taylor]: Taking taylor expansion of 2 in c
1.188 * [backup-simplify]: Simplify 2 into 2
1.188 * [backup-simplify]: Simplify (- 1) into -1
1.188 * [backup-simplify]: Simplify (+ 1 -1) into 0
1.189 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.189 * [backup-simplify]: Simplify (- 1) into -1
1.190 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1.190 * [backup-simplify]: Simplify (- -1) into 1
1.190 * [backup-simplify]: Simplify (+ 1 1) into 2
1.190 * [backup-simplify]: Simplify (/ 2 2) into 1
1.190 * [taylor]: Taking taylor expansion of (sinh c) in c
1.190 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
1.190 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
1.190 * [taylor]: Taking taylor expansion of (exp c) in c
1.190 * [taylor]: Taking taylor expansion of c in c
1.190 * [backup-simplify]: Simplify 0 into 0
1.190 * [backup-simplify]: Simplify 1 into 1
1.191 * [backup-simplify]: Simplify (exp 0) into 1
1.191 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.191 * [taylor]: Taking taylor expansion of (- c) in c
1.191 * [taylor]: Taking taylor expansion of c in c
1.191 * [backup-simplify]: Simplify 0 into 0
1.191 * [backup-simplify]: Simplify 1 into 1
1.191 * [backup-simplify]: Simplify (- 0) into 0
1.191 * [backup-simplify]: Simplify (- 1) into -1
1.191 * [backup-simplify]: Simplify (exp 0) into 1
1.191 * [taylor]: Taking taylor expansion of 2 in c
1.191 * [backup-simplify]: Simplify 2 into 2
1.191 * [backup-simplify]: Simplify (- 1) into -1
1.192 * [backup-simplify]: Simplify (+ 1 -1) into 0
1.192 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.192 * [backup-simplify]: Simplify (- 1) into -1
1.193 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1.193 * [backup-simplify]: Simplify (- -1) into 1
1.193 * [backup-simplify]: Simplify (+ 1 1) into 2
1.194 * [backup-simplify]: Simplify (/ 2 2) into 1
1.194 * [backup-simplify]: Simplify 1 into 1
1.195 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.195 * [backup-simplify]: Simplify (- 1) into -1
1.195 * [backup-simplify]: Simplify (- 0) into 0
1.196 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.196 * [backup-simplify]: Simplify (- 1/2) into -1/2
1.197 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
1.197 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
1.197 * [backup-simplify]: Simplify 0 into 0
1.198 * [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.199 * [backup-simplify]: Simplify (- 1) into -1
1.199 * [backup-simplify]: Simplify (- 1) into -1
1.199 * [backup-simplify]: Simplify (- 0) into 0
1.199 * [backup-simplify]: Simplify (- 0) into 0
1.200 * [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.201 * [backup-simplify]: Simplify (- -1/6) into 1/6
1.201 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
1.202 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
1.202 * [backup-simplify]: Simplify 1/6 into 1/6
1.204 * [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.204 * [backup-simplify]: Simplify (- 1) into -1
1.204 * [backup-simplify]: Simplify (- 1) into -1
1.204 * [backup-simplify]: Simplify (- 0) into 0
1.205 * [backup-simplify]: Simplify (- 1) into -1
1.205 * [backup-simplify]: Simplify (- 0) into 0
1.205 * [backup-simplify]: Simplify (- 0) into 0
1.205 * [backup-simplify]: Simplify (- 0) into 0
1.207 * [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.207 * [backup-simplify]: Simplify (- 1/24) into -1/24
1.208 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
1.208 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
1.208 * [backup-simplify]: Simplify 0 into 0
1.211 * [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.211 * [backup-simplify]: Simplify (- 1) into -1
1.212 * [backup-simplify]: Simplify (- 1) into -1
1.212 * [backup-simplify]: Simplify (- 0) into 0
1.212 * [backup-simplify]: Simplify (- 1) into -1
1.212 * [backup-simplify]: Simplify (- 0) into 0
1.213 * [backup-simplify]: Simplify (- 1) into -1
1.213 * [backup-simplify]: Simplify (- 0) into 0
1.213 * [backup-simplify]: Simplify (- 1) into -1
1.213 * [backup-simplify]: Simplify (- 0) into 0
1.213 * [backup-simplify]: Simplify (- 0) into 0
1.214 * [backup-simplify]: Simplify (- 0) into 0
1.214 * [backup-simplify]: Simplify (- 0) into 0
1.217 * [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.217 * [backup-simplify]: Simplify (- -1/120) into 1/120
1.217 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
1.218 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
1.218 * [backup-simplify]: Simplify 1/120 into 1/120
1.218 * [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.218 * [backup-simplify]: Simplify (cbrt (pow (sinh (/ 1 c)) 3)) into (sinh (/ 1 c))
1.219 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
1.219 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
1.219 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.219 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.219 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.219 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.219 * [taylor]: Taking taylor expansion of c in c
1.219 * [backup-simplify]: Simplify 0 into 0
1.219 * [backup-simplify]: Simplify 1 into 1
1.219 * [backup-simplify]: Simplify (/ 1 1) into 1
1.219 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1.219 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.219 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.219 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.219 * [taylor]: Taking taylor expansion of c in c
1.219 * [backup-simplify]: Simplify 0 into 0
1.219 * [backup-simplify]: Simplify 1 into 1
1.219 * [backup-simplify]: Simplify (/ 1 1) into 1
1.220 * [backup-simplify]: Simplify (- 1) into -1
1.220 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1.220 * [taylor]: Taking taylor expansion of 2 in c
1.220 * [backup-simplify]: Simplify 2 into 2
1.220 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
1.220 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
1.220 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
1.220 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
1.220 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.220 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.220 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.220 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.220 * [taylor]: Taking taylor expansion of c in c
1.220 * [backup-simplify]: Simplify 0 into 0
1.220 * [backup-simplify]: Simplify 1 into 1
1.220 * [backup-simplify]: Simplify (/ 1 1) into 1
1.220 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1.220 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.220 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.221 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.221 * [taylor]: Taking taylor expansion of c in c
1.221 * [backup-simplify]: Simplify 0 into 0
1.221 * [backup-simplify]: Simplify 1 into 1
1.221 * [backup-simplify]: Simplify (/ 1 1) into 1
1.221 * [backup-simplify]: Simplify (- 1) into -1
1.221 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1.221 * [taylor]: Taking taylor expansion of 2 in c
1.221 * [backup-simplify]: Simplify 2 into 2
1.221 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
1.221 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
1.221 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
1.222 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
1.222 * [backup-simplify]: Simplify (- 0) into 0
1.222 * [backup-simplify]: Simplify (+ 0 0) into 0
1.223 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
1.223 * [backup-simplify]: Simplify 0 into 0
1.223 * [backup-simplify]: Simplify (- 0) into 0
1.223 * [backup-simplify]: Simplify (+ 0 0) into 0
1.224 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
1.224 * [backup-simplify]: Simplify 0 into 0
1.224 * [backup-simplify]: Simplify (- 0) into 0
1.224 * [backup-simplify]: Simplify (+ 0 0) into 0
1.226 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1.226 * [backup-simplify]: Simplify 0 into 0
1.226 * [backup-simplify]: Simplify (- 0) into 0
1.226 * [backup-simplify]: Simplify (+ 0 0) into 0
1.228 * [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.228 * [backup-simplify]: Simplify 0 into 0
1.228 * [backup-simplify]: Simplify (- 0) into 0
1.228 * [backup-simplify]: Simplify (+ 0 0) into 0
1.230 * [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.230 * [backup-simplify]: Simplify 0 into 0
1.230 * [backup-simplify]: Simplify (- 0) into 0
1.230 * [backup-simplify]: Simplify (+ 0 0) into 0
1.232 * [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.232 * [backup-simplify]: Simplify 0 into 0
1.233 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
1.233 * [backup-simplify]: Simplify (cbrt (pow (sinh (/ 1 (- c))) 3)) into (sinh (/ -1 c))
1.233 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
1.233 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
1.233 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.233 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.233 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.233 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.233 * [taylor]: Taking taylor expansion of -1 in c
1.233 * [backup-simplify]: Simplify -1 into -1
1.233 * [taylor]: Taking taylor expansion of c in c
1.233 * [backup-simplify]: Simplify 0 into 0
1.233 * [backup-simplify]: Simplify 1 into 1
1.233 * [backup-simplify]: Simplify (/ -1 1) into -1
1.233 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1.233 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.233 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.233 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.233 * [taylor]: Taking taylor expansion of -1 in c
1.233 * [backup-simplify]: Simplify -1 into -1
1.233 * [taylor]: Taking taylor expansion of c in c
1.233 * [backup-simplify]: Simplify 0 into 0
1.233 * [backup-simplify]: Simplify 1 into 1
1.234 * [backup-simplify]: Simplify (/ -1 1) into -1
1.234 * [backup-simplify]: Simplify (- -1) into 1
1.234 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
1.234 * [taylor]: Taking taylor expansion of 2 in c
1.234 * [backup-simplify]: Simplify 2 into 2
1.234 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
1.234 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
1.234 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
1.234 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
1.234 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.234 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.234 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.234 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.235 * [taylor]: Taking taylor expansion of -1 in c
1.235 * [backup-simplify]: Simplify -1 into -1
1.235 * [taylor]: Taking taylor expansion of c in c
1.235 * [backup-simplify]: Simplify 0 into 0
1.235 * [backup-simplify]: Simplify 1 into 1
1.235 * [backup-simplify]: Simplify (/ -1 1) into -1
1.235 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1.235 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.235 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.235 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.235 * [taylor]: Taking taylor expansion of -1 in c
1.235 * [backup-simplify]: Simplify -1 into -1
1.235 * [taylor]: Taking taylor expansion of c in c
1.235 * [backup-simplify]: Simplify 0 into 0
1.235 * [backup-simplify]: Simplify 1 into 1
1.235 * [backup-simplify]: Simplify (/ -1 1) into -1
1.236 * [backup-simplify]: Simplify (- -1) into 1
1.236 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
1.236 * [taylor]: Taking taylor expansion of 2 in c
1.236 * [backup-simplify]: Simplify 2 into 2
1.236 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
1.236 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
1.236 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
1.236 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
1.236 * [backup-simplify]: Simplify (- 0) into 0
1.237 * [backup-simplify]: Simplify (+ 0 0) into 0
1.237 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
1.237 * [backup-simplify]: Simplify 0 into 0
1.237 * [backup-simplify]: Simplify (- 0) into 0
1.238 * [backup-simplify]: Simplify (+ 0 0) into 0
1.239 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
1.239 * [backup-simplify]: Simplify 0 into 0
1.239 * [backup-simplify]: Simplify (- 0) into 0
1.239 * [backup-simplify]: Simplify (+ 0 0) into 0
1.240 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1.240 * [backup-simplify]: Simplify 0 into 0
1.241 * [backup-simplify]: Simplify (- 0) into 0
1.241 * [backup-simplify]: Simplify (+ 0 0) into 0
1.242 * [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.242 * [backup-simplify]: Simplify 0 into 0
1.242 * [backup-simplify]: Simplify (- 0) into 0
1.243 * [backup-simplify]: Simplify (+ 0 0) into 0
1.247 * [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.247 * [backup-simplify]: Simplify 0 into 0
1.248 * [backup-simplify]: Simplify (- 0) into 0
1.248 * [backup-simplify]: Simplify (+ 0 0) into 0
1.250 * [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.250 * [backup-simplify]: Simplify 0 into 0
1.250 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
1.250 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
1.250 * [backup-simplify]: Simplify (pow (sinh c) 3) into (pow (sinh c) 3)
1.250 * [approximate]: Taking taylor expansion of (pow (sinh c) 3) in (c) around 0
1.250 * [taylor]: Taking taylor expansion of (pow (sinh c) 3) in c
1.250 * [taylor]: Taking taylor expansion of (sinh c) in c
1.250 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
1.250 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
1.250 * [taylor]: Taking taylor expansion of (exp c) in c
1.251 * [taylor]: Taking taylor expansion of c in c
1.251 * [backup-simplify]: Simplify 0 into 0
1.251 * [backup-simplify]: Simplify 1 into 1
1.251 * [backup-simplify]: Simplify (exp 0) into 1
1.251 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.251 * [taylor]: Taking taylor expansion of (- c) in c
1.251 * [taylor]: Taking taylor expansion of c in c
1.251 * [backup-simplify]: Simplify 0 into 0
1.251 * [backup-simplify]: Simplify 1 into 1
1.251 * [backup-simplify]: Simplify (- 0) into 0
1.251 * [backup-simplify]: Simplify (- 1) into -1
1.251 * [backup-simplify]: Simplify (exp 0) into 1
1.251 * [taylor]: Taking taylor expansion of 2 in c
1.251 * [backup-simplify]: Simplify 2 into 2
1.251 * [backup-simplify]: Simplify (- 1) into -1
1.252 * [backup-simplify]: Simplify (+ 1 -1) into 0
1.252 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.252 * [backup-simplify]: Simplify (- 1) into -1
1.253 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1.253 * [backup-simplify]: Simplify (- -1) into 1
1.254 * [backup-simplify]: Simplify (+ 1 1) into 2
1.254 * [backup-simplify]: Simplify (/ 2 2) into 1
1.254 * [taylor]: Taking taylor expansion of (pow (sinh c) 3) in c
1.254 * [taylor]: Taking taylor expansion of (sinh c) in c
1.254 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
1.254 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
1.254 * [taylor]: Taking taylor expansion of (exp c) in c
1.254 * [taylor]: Taking taylor expansion of c in c
1.254 * [backup-simplify]: Simplify 0 into 0
1.254 * [backup-simplify]: Simplify 1 into 1
1.254 * [backup-simplify]: Simplify (exp 0) into 1
1.254 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.254 * [taylor]: Taking taylor expansion of (- c) in c
1.254 * [taylor]: Taking taylor expansion of c in c
1.254 * [backup-simplify]: Simplify 0 into 0
1.254 * [backup-simplify]: Simplify 1 into 1
1.255 * [backup-simplify]: Simplify (- 0) into 0
1.255 * [backup-simplify]: Simplify (- 1) into -1
1.255 * [backup-simplify]: Simplify (exp 0) into 1
1.255 * [taylor]: Taking taylor expansion of 2 in c
1.255 * [backup-simplify]: Simplify 2 into 2
1.255 * [backup-simplify]: Simplify (- 1) into -1
1.255 * [backup-simplify]: Simplify (+ 1 -1) into 0
1.256 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.256 * [backup-simplify]: Simplify (- 1) into -1
1.257 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1.257 * [backup-simplify]: Simplify (- -1) into 1
1.257 * [backup-simplify]: Simplify (+ 1 1) into 2
1.257 * [backup-simplify]: Simplify (/ 2 2) into 1
1.258 * [backup-simplify]: Simplify (* 1 1) into 1
1.258 * [backup-simplify]: Simplify (* 1 1) into 1
1.258 * [backup-simplify]: Simplify 1 into 1
1.259 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.259 * [backup-simplify]: Simplify (- 1) into -1
1.259 * [backup-simplify]: Simplify (- 0) into 0
1.260 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.261 * [backup-simplify]: Simplify (- 1/2) into -1/2
1.261 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
1.261 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
1.262 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.262 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.262 * [backup-simplify]: Simplify 0 into 0
1.264 * [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.264 * [backup-simplify]: Simplify (- 1) into -1
1.264 * [backup-simplify]: Simplify (- 1) into -1
1.264 * [backup-simplify]: Simplify (- 0) into 0
1.265 * [backup-simplify]: Simplify (- 0) into 0
1.266 * [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.266 * [backup-simplify]: Simplify (- -1/6) into 1/6
1.266 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
1.267 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
1.267 * [backup-simplify]: Simplify (+ (* 1 1/6) (+ (* 0 0) (* 1/6 1))) into 1/3
1.268 * [backup-simplify]: Simplify (+ (* 1 1/3) (+ (* 0 0) (* 1/6 1))) into 1/2
1.268 * [backup-simplify]: Simplify 1/2 into 1/2
1.270 * [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.270 * [backup-simplify]: Simplify (- 1) into -1
1.270 * [backup-simplify]: Simplify (- 1) into -1
1.271 * [backup-simplify]: Simplify (- 0) into 0
1.271 * [backup-simplify]: Simplify (- 1) into -1
1.271 * [backup-simplify]: Simplify (- 0) into 0
1.271 * [backup-simplify]: Simplify (- 0) into 0
1.272 * [backup-simplify]: Simplify (- 0) into 0
1.274 * [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.274 * [backup-simplify]: Simplify (- 1/24) into -1/24
1.274 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
1.275 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
1.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/6) (+ (* 1/6 0) (* 0 1)))) into 0
1.276 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/3) (+ (* 1/6 0) (* 0 1)))) into 0
1.276 * [backup-simplify]: Simplify 0 into 0
1.279 * [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.280 * [backup-simplify]: Simplify (- 1) into -1
1.280 * [backup-simplify]: Simplify (- 1) into -1
1.280 * [backup-simplify]: Simplify (- 0) into 0
1.280 * [backup-simplify]: Simplify (- 1) into -1
1.280 * [backup-simplify]: Simplify (- 0) into 0
1.281 * [backup-simplify]: Simplify (- 1) into -1
1.281 * [backup-simplify]: Simplify (- 0) into 0
1.281 * [backup-simplify]: Simplify (- 1) into -1
1.282 * [backup-simplify]: Simplify (- 0) into 0
1.282 * [backup-simplify]: Simplify (- 0) into 0
1.282 * [backup-simplify]: Simplify (- 0) into 0
1.282 * [backup-simplify]: Simplify (- 0) into 0
1.285 * [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.285 * [backup-simplify]: Simplify (- -1/120) into 1/120
1.286 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
1.286 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
1.287 * [backup-simplify]: Simplify (+ (* 1 1/120) (+ (* 0 0) (+ (* 1/6 1/6) (+ (* 0 0) (* 1/120 1))))) into 2/45
1.288 * [backup-simplify]: Simplify (+ (* 1 2/45) (+ (* 0 0) (+ (* 1/6 1/3) (+ (* 0 0) (* 1/120 1))))) into 13/120
1.288 * [backup-simplify]: Simplify 13/120 into 13/120
1.289 * [backup-simplify]: Simplify (+ (* 13/120 (pow c 7)) (+ (* 1/2 (pow c 5)) (* 1 (pow c 3)))) into (+ (pow c 3) (+ (* 1/2 (pow c 5)) (* 13/120 (pow c 7))))
1.289 * [backup-simplify]: Simplify (pow (sinh (/ 1 c)) 3) into (pow (sinh (/ 1 c)) 3)
1.289 * [approximate]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in (c) around 0
1.289 * [taylor]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in c
1.289 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
1.289 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.289 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.289 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.289 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.289 * [taylor]: Taking taylor expansion of c in c
1.289 * [backup-simplify]: Simplify 0 into 0
1.289 * [backup-simplify]: Simplify 1 into 1
1.289 * [backup-simplify]: Simplify (/ 1 1) into 1
1.289 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1.289 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.289 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.289 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.289 * [taylor]: Taking taylor expansion of c in c
1.289 * [backup-simplify]: Simplify 0 into 0
1.289 * [backup-simplify]: Simplify 1 into 1
1.290 * [backup-simplify]: Simplify (/ 1 1) into 1
1.290 * [backup-simplify]: Simplify (- 1) into -1
1.290 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1.290 * [taylor]: Taking taylor expansion of 2 in c
1.290 * [backup-simplify]: Simplify 2 into 2
1.290 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
1.290 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
1.290 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
1.290 * [taylor]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in c
1.290 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
1.290 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.290 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.290 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.290 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.290 * [taylor]: Taking taylor expansion of c in c
1.290 * [backup-simplify]: Simplify 0 into 0
1.290 * [backup-simplify]: Simplify 1 into 1
1.291 * [backup-simplify]: Simplify (/ 1 1) into 1
1.291 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1.291 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.291 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.291 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.291 * [taylor]: Taking taylor expansion of c in c
1.291 * [backup-simplify]: Simplify 0 into 0
1.291 * [backup-simplify]: Simplify 1 into 1
1.291 * [backup-simplify]: Simplify (/ 1 1) into 1
1.291 * [backup-simplify]: Simplify (- 1) into -1
1.291 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1.291 * [taylor]: Taking taylor expansion of 2 in c
1.291 * [backup-simplify]: Simplify 2 into 2
1.292 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
1.292 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
1.292 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
1.292 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))
1.292 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))) into (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3))
1.293 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) into (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3))
1.293 * [backup-simplify]: Simplify (- 0) into 0
1.293 * [backup-simplify]: Simplify (+ 0 0) into 0
1.294 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
1.294 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))) into 0
1.294 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))) into 0
1.294 * [backup-simplify]: Simplify 0 into 0
1.295 * [backup-simplify]: Simplify (- 0) into 0
1.295 * [backup-simplify]: Simplify (+ 0 0) into 0
1.296 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
1.296 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))) into 0
1.297 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))) into 0
1.297 * [backup-simplify]: Simplify 0 into 0
1.297 * [backup-simplify]: Simplify (- 0) into 0
1.297 * [backup-simplify]: Simplify (+ 0 0) into 0
1.298 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1.299 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))))) into 0
1.300 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))))) into 0
1.300 * [backup-simplify]: Simplify 0 into 0
1.300 * [backup-simplify]: Simplify (- 0) into 0
1.300 * [backup-simplify]: Simplify (+ 0 0) into 0
1.302 * [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.303 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))))) into 0
1.304 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))))) into 0
1.304 * [backup-simplify]: Simplify 0 into 0
1.304 * [backup-simplify]: Simplify (- 0) into 0
1.304 * [backup-simplify]: Simplify (+ 0 0) into 0
1.306 * [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.307 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))))))) into 0
1.308 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))))))) into 0
1.308 * [backup-simplify]: Simplify 0 into 0
1.308 * [backup-simplify]: Simplify (- 0) into 0
1.309 * [backup-simplify]: Simplify (+ 0 0) into 0
1.311 * [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.312 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))))))) into 0
1.313 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))))))) into 0
1.313 * [backup-simplify]: Simplify 0 into 0
1.314 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c))))) 3)) into (* 1/8 (pow (- (exp c) (exp (- c))) 3))
1.314 * [backup-simplify]: Simplify (pow (sinh (/ 1 (- c))) 3) into (pow (sinh (/ -1 c)) 3)
1.314 * [approximate]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in (c) around 0
1.314 * [taylor]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in c
1.314 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
1.314 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.314 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.314 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.314 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.314 * [taylor]: Taking taylor expansion of -1 in c
1.314 * [backup-simplify]: Simplify -1 into -1
1.314 * [taylor]: Taking taylor expansion of c in c
1.314 * [backup-simplify]: Simplify 0 into 0
1.314 * [backup-simplify]: Simplify 1 into 1
1.314 * [backup-simplify]: Simplify (/ -1 1) into -1
1.314 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1.314 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.314 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.314 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.314 * [taylor]: Taking taylor expansion of -1 in c
1.314 * [backup-simplify]: Simplify -1 into -1
1.314 * [taylor]: Taking taylor expansion of c in c
1.314 * [backup-simplify]: Simplify 0 into 0
1.314 * [backup-simplify]: Simplify 1 into 1
1.315 * [backup-simplify]: Simplify (/ -1 1) into -1
1.315 * [backup-simplify]: Simplify (- -1) into 1
1.315 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
1.315 * [taylor]: Taking taylor expansion of 2 in c
1.315 * [backup-simplify]: Simplify 2 into 2
1.315 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
1.315 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
1.315 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
1.315 * [taylor]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in c
1.315 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
1.315 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.315 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.315 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.315 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.315 * [taylor]: Taking taylor expansion of -1 in c
1.315 * [backup-simplify]: Simplify -1 into -1
1.315 * [taylor]: Taking taylor expansion of c in c
1.315 * [backup-simplify]: Simplify 0 into 0
1.316 * [backup-simplify]: Simplify 1 into 1
1.316 * [backup-simplify]: Simplify (/ -1 1) into -1
1.316 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1.316 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.316 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.316 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.316 * [taylor]: Taking taylor expansion of -1 in c
1.316 * [backup-simplify]: Simplify -1 into -1
1.316 * [taylor]: Taking taylor expansion of c in c
1.316 * [backup-simplify]: Simplify 0 into 0
1.316 * [backup-simplify]: Simplify 1 into 1
1.316 * [backup-simplify]: Simplify (/ -1 1) into -1
1.316 * [backup-simplify]: Simplify (- -1) into 1
1.317 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
1.317 * [taylor]: Taking taylor expansion of 2 in c
1.317 * [backup-simplify]: Simplify 2 into 2
1.317 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
1.317 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
1.317 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
1.317 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))
1.317 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))) into (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3))
1.317 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) into (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3))
1.318 * [backup-simplify]: Simplify (- 0) into 0
1.318 * [backup-simplify]: Simplify (+ 0 0) into 0
1.319 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
1.319 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))) into 0
1.319 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)))) into 0
1.319 * [backup-simplify]: Simplify 0 into 0
1.319 * [backup-simplify]: Simplify (- 0) into 0
1.320 * [backup-simplify]: Simplify (+ 0 0) into 0
1.320 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
1.321 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))) into 0
1.321 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))))) into 0
1.321 * [backup-simplify]: Simplify 0 into 0
1.322 * [backup-simplify]: Simplify (- 0) into 0
1.322 * [backup-simplify]: Simplify (+ 0 0) into 0
1.323 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1.324 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))))) into 0
1.325 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)))))) into 0
1.325 * [backup-simplify]: Simplify 0 into 0
1.325 * [backup-simplify]: Simplify (- 0) into 0
1.325 * [backup-simplify]: Simplify (+ 0 0) into 0
1.326 * [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.327 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))))) into 0
1.328 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))))))) into 0
1.328 * [backup-simplify]: Simplify 0 into 0
1.329 * [backup-simplify]: Simplify (- 0) into 0
1.329 * [backup-simplify]: Simplify (+ 0 0) into 0
1.330 * [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.332 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))))))) into 0
1.333 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)))))))) into 0
1.333 * [backup-simplify]: Simplify 0 into 0
1.333 * [backup-simplify]: Simplify (- 0) into 0
1.333 * [backup-simplify]: Simplify (+ 0 0) into 0
1.335 * [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.339 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))))))) into 0
1.341 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))))))))) into 0
1.341 * [backup-simplify]: Simplify 0 into 0
1.341 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c))))) 3)) into (* 1/8 (pow (- (exp c) (exp (* -1 c))) 3))
1.341 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
1.341 * [backup-simplify]: Simplify (sinh c) into (sinh c)
1.341 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
1.341 * [taylor]: Taking taylor expansion of (sinh c) in c
1.341 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
1.341 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
1.341 * [taylor]: Taking taylor expansion of (exp c) in c
1.341 * [taylor]: Taking taylor expansion of c in c
1.341 * [backup-simplify]: Simplify 0 into 0
1.341 * [backup-simplify]: Simplify 1 into 1
1.341 * [backup-simplify]: Simplify (exp 0) into 1
1.341 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.341 * [taylor]: Taking taylor expansion of (- c) in c
1.341 * [taylor]: Taking taylor expansion of c in c
1.341 * [backup-simplify]: Simplify 0 into 0
1.341 * [backup-simplify]: Simplify 1 into 1
1.341 * [backup-simplify]: Simplify (- 0) into 0
1.342 * [backup-simplify]: Simplify (- 1) into -1
1.342 * [backup-simplify]: Simplify (exp 0) into 1
1.342 * [taylor]: Taking taylor expansion of 2 in c
1.342 * [backup-simplify]: Simplify 2 into 2
1.342 * [backup-simplify]: Simplify (- 1) into -1
1.342 * [backup-simplify]: Simplify (+ 1 -1) into 0
1.343 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.343 * [backup-simplify]: Simplify (- 1) into -1
1.344 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1.344 * [backup-simplify]: Simplify (- -1) into 1
1.344 * [backup-simplify]: Simplify (+ 1 1) into 2
1.344 * [backup-simplify]: Simplify (/ 2 2) into 1
1.344 * [taylor]: Taking taylor expansion of (sinh c) in c
1.344 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
1.344 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
1.344 * [taylor]: Taking taylor expansion of (exp c) in c
1.344 * [taylor]: Taking taylor expansion of c in c
1.344 * [backup-simplify]: Simplify 0 into 0
1.344 * [backup-simplify]: Simplify 1 into 1
1.345 * [backup-simplify]: Simplify (exp 0) into 1
1.345 * [taylor]: Taking taylor expansion of (exp (- c)) in c
1.345 * [taylor]: Taking taylor expansion of (- c) in c
1.345 * [taylor]: Taking taylor expansion of c in c
1.345 * [backup-simplify]: Simplify 0 into 0
1.345 * [backup-simplify]: Simplify 1 into 1
1.345 * [backup-simplify]: Simplify (- 0) into 0
1.345 * [backup-simplify]: Simplify (- 1) into -1
1.345 * [backup-simplify]: Simplify (exp 0) into 1
1.345 * [taylor]: Taking taylor expansion of 2 in c
1.345 * [backup-simplify]: Simplify 2 into 2
1.345 * [backup-simplify]: Simplify (- 1) into -1
1.346 * [backup-simplify]: Simplify (+ 1 -1) into 0
1.346 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.346 * [backup-simplify]: Simplify (- 1) into -1
1.347 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1.347 * [backup-simplify]: Simplify (- -1) into 1
1.347 * [backup-simplify]: Simplify (+ 1 1) into 2
1.348 * [backup-simplify]: Simplify (/ 2 2) into 1
1.348 * [backup-simplify]: Simplify 1 into 1
1.349 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.349 * [backup-simplify]: Simplify (- 1) into -1
1.349 * [backup-simplify]: Simplify (- 0) into 0
1.350 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.350 * [backup-simplify]: Simplify (- 1/2) into -1/2
1.350 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
1.351 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
1.351 * [backup-simplify]: Simplify 0 into 0
1.352 * [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.352 * [backup-simplify]: Simplify (- 1) into -1
1.353 * [backup-simplify]: Simplify (- 1) into -1
1.353 * [backup-simplify]: Simplify (- 0) into 0
1.353 * [backup-simplify]: Simplify (- 0) into 0
1.354 * [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.355 * [backup-simplify]: Simplify (- -1/6) into 1/6
1.355 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
1.355 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
1.355 * [backup-simplify]: Simplify 1/6 into 1/6
1.358 * [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.358 * [backup-simplify]: Simplify (- 1) into -1
1.358 * [backup-simplify]: Simplify (- 1) into -1
1.358 * [backup-simplify]: Simplify (- 0) into 0
1.359 * [backup-simplify]: Simplify (- 1) into -1
1.359 * [backup-simplify]: Simplify (- 0) into 0
1.359 * [backup-simplify]: Simplify (- 0) into 0
1.359 * [backup-simplify]: Simplify (- 0) into 0
1.361 * [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.361 * [backup-simplify]: Simplify (- 1/24) into -1/24
1.362 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
1.362 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
1.362 * [backup-simplify]: Simplify 0 into 0
1.365 * [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.365 * [backup-simplify]: Simplify (- 1) into -1
1.366 * [backup-simplify]: Simplify (- 1) into -1
1.366 * [backup-simplify]: Simplify (- 0) into 0
1.366 * [backup-simplify]: Simplify (- 1) into -1
1.366 * [backup-simplify]: Simplify (- 0) into 0
1.367 * [backup-simplify]: Simplify (- 1) into -1
1.367 * [backup-simplify]: Simplify (- 0) into 0
1.367 * [backup-simplify]: Simplify (- 1) into -1
1.367 * [backup-simplify]: Simplify (- 0) into 0
1.367 * [backup-simplify]: Simplify (- 0) into 0
1.368 * [backup-simplify]: Simplify (- 0) into 0
1.368 * [backup-simplify]: Simplify (- 0) into 0
1.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
1.371 * [backup-simplify]: Simplify (- -1/120) into 1/120
1.371 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
1.372 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
1.372 * [backup-simplify]: Simplify 1/120 into 1/120
1.372 * [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.372 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c))
1.372 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
1.372 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
1.372 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.373 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.373 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.373 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.373 * [taylor]: Taking taylor expansion of c in c
1.373 * [backup-simplify]: Simplify 0 into 0
1.373 * [backup-simplify]: Simplify 1 into 1
1.373 * [backup-simplify]: Simplify (/ 1 1) into 1
1.373 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1.373 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.373 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.373 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.373 * [taylor]: Taking taylor expansion of c in c
1.373 * [backup-simplify]: Simplify 0 into 0
1.373 * [backup-simplify]: Simplify 1 into 1
1.373 * [backup-simplify]: Simplify (/ 1 1) into 1
1.373 * [backup-simplify]: Simplify (- 1) into -1
1.374 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1.374 * [taylor]: Taking taylor expansion of 2 in c
1.374 * [backup-simplify]: Simplify 2 into 2
1.374 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
1.374 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
1.374 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
1.374 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
1.374 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1.374 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1.374 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
1.374 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.374 * [taylor]: Taking taylor expansion of c in c
1.374 * [backup-simplify]: Simplify 0 into 0
1.374 * [backup-simplify]: Simplify 1 into 1
1.374 * [backup-simplify]: Simplify (/ 1 1) into 1
1.374 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1.374 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
1.374 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
1.374 * [taylor]: Taking taylor expansion of (/ 1 c) in c
1.374 * [taylor]: Taking taylor expansion of c in c
1.374 * [backup-simplify]: Simplify 0 into 0
1.374 * [backup-simplify]: Simplify 1 into 1
1.375 * [backup-simplify]: Simplify (/ 1 1) into 1
1.375 * [backup-simplify]: Simplify (- 1) into -1
1.375 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1.375 * [taylor]: Taking taylor expansion of 2 in c
1.375 * [backup-simplify]: Simplify 2 into 2
1.375 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
1.375 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
1.375 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
1.375 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
1.376 * [backup-simplify]: Simplify (- 0) into 0
1.376 * [backup-simplify]: Simplify (+ 0 0) into 0
1.377 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
1.377 * [backup-simplify]: Simplify 0 into 0
1.377 * [backup-simplify]: Simplify (- 0) into 0
1.377 * [backup-simplify]: Simplify (+ 0 0) into 0
1.378 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
1.378 * [backup-simplify]: Simplify 0 into 0
1.378 * [backup-simplify]: Simplify (- 0) into 0
1.378 * [backup-simplify]: Simplify (+ 0 0) into 0
1.379 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1.380 * [backup-simplify]: Simplify 0 into 0
1.380 * [backup-simplify]: Simplify (- 0) into 0
1.380 * [backup-simplify]: Simplify (+ 0 0) into 0
1.382 * [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.382 * [backup-simplify]: Simplify 0 into 0
1.382 * [backup-simplify]: Simplify (- 0) into 0
1.382 * [backup-simplify]: Simplify (+ 0 0) into 0
1.384 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1.384 * [backup-simplify]: Simplify 0 into 0
1.384 * [backup-simplify]: Simplify (- 0) into 0
1.384 * [backup-simplify]: Simplify (+ 0 0) into 0
1.386 * [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.386 * [backup-simplify]: Simplify 0 into 0
1.386 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
1.386 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c))
1.387 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
1.387 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
1.387 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.387 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.387 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.387 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.387 * [taylor]: Taking taylor expansion of -1 in c
1.387 * [backup-simplify]: Simplify -1 into -1
1.387 * [taylor]: Taking taylor expansion of c in c
1.387 * [backup-simplify]: Simplify 0 into 0
1.387 * [backup-simplify]: Simplify 1 into 1
1.387 * [backup-simplify]: Simplify (/ -1 1) into -1
1.387 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1.387 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.387 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.387 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.387 * [taylor]: Taking taylor expansion of -1 in c
1.387 * [backup-simplify]: Simplify -1 into -1
1.387 * [taylor]: Taking taylor expansion of c in c
1.387 * [backup-simplify]: Simplify 0 into 0
1.387 * [backup-simplify]: Simplify 1 into 1
1.387 * [backup-simplify]: Simplify (/ -1 1) into -1
1.388 * [backup-simplify]: Simplify (- -1) into 1
1.388 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
1.388 * [taylor]: Taking taylor expansion of 2 in c
1.388 * [backup-simplify]: Simplify 2 into 2
1.388 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
1.388 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
1.388 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
1.388 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
1.388 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1.388 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1.388 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
1.388 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.388 * [taylor]: Taking taylor expansion of -1 in c
1.388 * [backup-simplify]: Simplify -1 into -1
1.388 * [taylor]: Taking taylor expansion of c in c
1.388 * [backup-simplify]: Simplify 0 into 0
1.388 * [backup-simplify]: Simplify 1 into 1
1.389 * [backup-simplify]: Simplify (/ -1 1) into -1
1.389 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1.389 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
1.389 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
1.389 * [taylor]: Taking taylor expansion of (/ -1 c) in c
1.389 * [taylor]: Taking taylor expansion of -1 in c
1.389 * [backup-simplify]: Simplify -1 into -1
1.389 * [taylor]: Taking taylor expansion of c in c
1.389 * [backup-simplify]: Simplify 0 into 0
1.389 * [backup-simplify]: Simplify 1 into 1
1.389 * [backup-simplify]: Simplify (/ -1 1) into -1
1.389 * [backup-simplify]: Simplify (- -1) into 1
1.389 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
1.389 * [taylor]: Taking taylor expansion of 2 in c
1.389 * [backup-simplify]: Simplify 2 into 2
1.389 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
1.389 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
1.390 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
1.390 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
1.390 * [backup-simplify]: Simplify (- 0) into 0
1.390 * [backup-simplify]: Simplify (+ 0 0) into 0
1.391 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
1.391 * [backup-simplify]: Simplify 0 into 0
1.391 * [backup-simplify]: Simplify (- 0) into 0
1.391 * [backup-simplify]: Simplify (+ 0 0) into 0
1.392 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
1.392 * [backup-simplify]: Simplify 0 into 0
1.392 * [backup-simplify]: Simplify (- 0) into 0
1.393 * [backup-simplify]: Simplify (+ 0 0) into 0
1.394 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1.394 * [backup-simplify]: Simplify 0 into 0
1.394 * [backup-simplify]: Simplify (- 0) into 0
1.394 * [backup-simplify]: Simplify (+ 0 0) into 0
1.396 * [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.396 * [backup-simplify]: Simplify 0 into 0
1.396 * [backup-simplify]: Simplify (- 0) into 0
1.396 * [backup-simplify]: Simplify (+ 0 0) into 0
1.398 * [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.398 * [backup-simplify]: Simplify 0 into 0
1.398 * [backup-simplify]: Simplify (- 0) into 0
1.398 * [backup-simplify]: Simplify (+ 0 0) into 0
1.400 * [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.400 * [backup-simplify]: Simplify 0 into 0
1.400 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
1.400 * * * [progress]: simplifying candidates
1.401 * [simplify]: Simplifying:
  (expm1 (cbrt (pow (sinh c) 3)))
  (log1p (cbrt (pow (sinh c) 3)))
  (log (cbrt (pow (sinh c) 3)))
  (exp (cbrt (pow (sinh c) 3)))
  (cbrt (pow (* (cbrt (sinh c)) (cbrt (sinh c))) 3))
  (cbrt (pow (cbrt (sinh c)) 3))
  (cbrt (pow (sqrt (sinh c)) 3))
  (cbrt (pow (sqrt (sinh c)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (sinh c) 3))
  (cbrt (* (sinh c) (sinh c)))
  (cbrt (sinh c))
  (cbrt (* (cbrt (pow (sinh c) 3)) (cbrt (pow (sinh c) 3))))
  (cbrt (cbrt (pow (sinh c) 3)))
  (cbrt (pow (* (cbrt (sinh c)) (cbrt (sinh c))) 3))
  (cbrt (pow (cbrt (sinh c)) 3))
  (cbrt (pow (sqrt (sinh c)) 3))
  (cbrt (pow (sqrt (sinh c)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (sinh c) 3))
  (cbrt (sinh c))
  (cbrt (* (sinh c) (sinh c)))
  (cbrt (sqrt (pow (sinh c) 3)))
  (cbrt (sqrt (pow (sinh c) 3)))
  (cbrt 1)
  (cbrt (pow (sinh c) 3))
  (cbrt (pow (sinh c) (/ 3 2)))
  (cbrt (pow (sinh c) (/ 3 2)))
  (cbrt (pow (- (exp c) (exp (- c))) 3))
  (cbrt (pow 2 3))
  (* (cbrt (cbrt (pow (sinh c) 3))) (cbrt (cbrt (pow (sinh c) 3))))
  (cbrt (cbrt (pow (sinh c) 3)))
  (* (* (cbrt (pow (sinh c) 3)) (cbrt (pow (sinh c) 3))) (cbrt (pow (sinh c) 3)))
  (sqrt (cbrt (pow (sinh c) 3)))
  (sqrt (cbrt (pow (sinh c) 3)))
  (expm1 (pow (sinh c) 3))
  (log1p (pow (sinh c) 3))
  (* (log (sinh c)) 3)
  (* (log (sinh c)) 3)
  (* 1 3)
  (pow (sinh c) (* (cbrt 3) (cbrt 3)))
  (pow (sinh c) (sqrt 3))
  (pow (sinh c) 1)
  (pow (* (cbrt (sinh c)) (cbrt (sinh c))) 3)
  (pow (cbrt (sinh c)) 3)
  (pow (sqrt (sinh c)) 3)
  (pow (sqrt (sinh c)) 3)
  (pow 1 3)
  (pow (sinh c) 3)
  (* (sinh c) (sinh c))
  (log (pow (sinh c) 3))
  (exp (pow (sinh c) 3))
  (* (cbrt (pow (sinh c) 3)) (cbrt (pow (sinh c) 3)))
  (cbrt (pow (sinh c) 3))
  (* (* (pow (sinh c) 3) (pow (sinh c) 3)) (pow (sinh c) 3))
  (pow (* (cbrt (sinh c)) (cbrt (sinh c))) 3)
  (pow (cbrt (sinh c)) 3)
  (pow (sqrt (sinh c)) 3)
  (pow (sqrt (sinh c)) 3)
  (pow 1 3)
  (pow (sinh c) 3)
  (pow (- (exp c) (exp (- c))) 3)
  (pow 2 3)
  (* (sinh c) (sinh c))
  (sqrt (pow (sinh c) 3))
  (sqrt (pow (sinh c) 3))
  (pow (sinh c) (/ 3 2))
  (pow (sinh c) (/ 3 2))
  (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))))
  (+ (pow c 3) (+ (* 1/2 (pow c 5)) (* 13/120 (pow c 7))))
  (* 1/8 (pow (- (exp c) (exp (- c))) 3))
  (* 1/8 (pow (- (exp c) (exp (* -1 c))) 3))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (* 1/2 (- (exp c) (exp (- c))))
  (* 1/2 (- (exp c) (exp (* -1 c))))
1.402 * [simplify]: Sending expressions to egg_math:
 (expm1 (cbrt (pow (sinh h0) 3)))
 (log1p (cbrt (pow (sinh h0) 3)))
 (log (cbrt (pow (sinh h0) 3)))
 (exp (cbrt (pow (sinh h0) 3)))
 (cbrt (pow (* (cbrt (sinh h0)) (cbrt (sinh h0))) 3))
 (cbrt (pow (cbrt (sinh h0)) 3))
 (cbrt (pow (sqrt (sinh h0)) 3))
 (cbrt (pow (sqrt (sinh h0)) 3))
 (cbrt (pow 1 3))
 (cbrt (pow (sinh h0) 3))
 (cbrt (* (sinh h0) (sinh h0)))
 (cbrt (sinh h0))
 (cbrt (* (cbrt (pow (sinh h0) 3)) (cbrt (pow (sinh h0) 3))))
 (cbrt (cbrt (pow (sinh h0) 3)))
 (cbrt (pow (* (cbrt (sinh h0)) (cbrt (sinh h0))) 3))
 (cbrt (pow (cbrt (sinh h0)) 3))
 (cbrt (pow (sqrt (sinh h0)) 3))
 (cbrt (pow (sqrt (sinh h0)) 3))
 (cbrt (pow 1 3))
 (cbrt (pow (sinh h0) 3))
 (cbrt (sinh h0))
 (cbrt (* (sinh h0) (sinh h0)))
 (cbrt (sqrt (pow (sinh h0) 3)))
 (cbrt (sqrt (pow (sinh h0) 3)))
 (cbrt 1)
 (cbrt (pow (sinh h0) 3))
 (cbrt (pow (sinh h0) (/ 3 2)))
 (cbrt (pow (sinh h0) (/ 3 2)))
 (cbrt (pow (- (exp h0) (exp (- h0))) 3))
 (cbrt (pow 2 3))
 (* (cbrt (cbrt (pow (sinh h0) 3))) (cbrt (cbrt (pow (sinh h0) 3))))
 (cbrt (cbrt (pow (sinh h0) 3)))
 (* (* (cbrt (pow (sinh h0) 3)) (cbrt (pow (sinh h0) 3))) (cbrt (pow (sinh h0) 3)))
 (sqrt (cbrt (pow (sinh h0) 3)))
 (sqrt (cbrt (pow (sinh h0) 3)))
 (expm1 (pow (sinh h0) 3))
 (log1p (pow (sinh h0) 3))
 (* (log (sinh h0)) 3)
 (* (log (sinh h0)) 3)
 (* 1 3)
 (pow (sinh h0) (* (cbrt 3) (cbrt 3)))
 (pow (sinh h0) (sqrt 3))
 (pow (sinh h0) 1)
 (pow (* (cbrt (sinh h0)) (cbrt (sinh h0))) 3)
 (pow (cbrt (sinh h0)) 3)
 (pow (sqrt (sinh h0)) 3)
 (pow (sqrt (sinh h0)) 3)
 (pow 1 3)
 (pow (sinh h0) 3)
 (* (sinh h0) (sinh h0))
 (log (pow (sinh h0) 3))
 (exp (pow (sinh h0) 3))
 (* (cbrt (pow (sinh h0) 3)) (cbrt (pow (sinh h0) 3)))
 (cbrt (pow (sinh h0) 3))
 (* (* (pow (sinh h0) 3) (pow (sinh h0) 3)) (pow (sinh h0) 3))
 (pow (* (cbrt (sinh h0)) (cbrt (sinh h0))) 3)
 (pow (cbrt (sinh h0)) 3)
 (pow (sqrt (sinh h0)) 3)
 (pow (sqrt (sinh h0)) 3)
 (pow 1 3)
 (pow (sinh h0) 3)
 (pow (- (exp h0) (exp (- h0))) 3)
 (pow 2 3)
 (* (sinh h0) (sinh h0))
 (sqrt (pow (sinh h0) 3))
 (sqrt (pow (sinh h0) 3))
 (pow (sinh h0) (/ 3 2))
 (pow (sinh h0) (/ 3 2))
 (expm1 (sinh h0))
 (log1p (sinh h0))
 (- (exp h0) (exp (- h0)))
 (log (sinh h0))
 (exp (sinh h0))
 (* (cbrt (sinh h0)) (cbrt (sinh h0)))
 (cbrt (sinh h0))
 (* (* (sinh h0) (sinh h0)) (sinh h0))
 (sqrt (sinh h0))
 (sqrt (sinh h0))
 (+ (* 1/6 (pow h0 3)) (+ (* 1/120 (pow h0 5)) h0))
 (* 1/2 (- (exp h0) (exp (- h0))))
 (* 1/2 (- (exp h0) (exp (* -1 h0))))
 (+ (pow h0 3) (+ (* 1/2 (pow h0 5)) (* 13/120 (pow h0 7))))
 (* 1/8 (pow (- (exp h0) (exp (- h0))) 3))
 (* 1/8 (pow (- (exp h0) (exp (* -1 h0))) 3))
 (+ (* 1/6 (pow h0 3)) (+ (* 1/120 (pow h0 5)) h0))
 (* 1/2 (- (exp h0) (exp (- h0))))
 (* 1/2 (- (exp h0) (exp (* -1 h0))))
1.405 * * [simplify]: iteration  0 :  188  enodes  (cost  230 )
1.409 * * [simplify]: iteration  1 :  624  enodes  (cost  223 )
1.424 * * [simplify]: iteration  2 :  3765  enodes  (cost  199 )
1.560 * * [simplify]: iteration  3 :  5002  enodes  (cost  199 )
1.562 * * * [progress]: adding candidates to table
1.694 * [progress]: [Phase 3 of 3] Extracting.
1.694 * * [regime]: Finding splitpoints for: (#<alt (λ (c) (fmod (* (sqrt (sinh c)) (sqrt (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>)
1.695 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c)
1.695 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (#<alt (λ (c) (fmod (* (sqrt (sinh c)) (sqrt (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>)
1.723 * * * * [regimes]: Trying to branch on c from (#<alt (λ (c) (fmod (* (sqrt (sinh c)) (sqrt (sinh c))) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (cbrt (pow (sinh c) 3)) (- c (pow -2.9807307601812193e+165 2.0))))> #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))>)
1.737 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
1.737 * [simplify]: Simplifying:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0)))
1.737 * [simplify]: Sending expressions to egg_math:
 (fmod (sinh h0) (- h0 (pow h1 h2)))
1.738 * * [simplify]: iteration  0 :  7  enodes  (cost  4 )
4.938 * [regime-testing]: Baseline error score: 0.006250781347668459
4.938 * [regime-testing]: Oracle error score: 0.0032504063007875983
4.939 * [regime-testing]: End program error score: 0.006250781347668459