0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.502 * * * [progress]: [2/2] Setting up program.
0.512 * [progress]: [Phase 2 of 3] Improving.
0.512 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (c) (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))))>
0.514 * [simplify]: Simplifying:
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2)))
0.516 * * [simplify]: iteration 1: (7 enodes)
0.527 * * [simplify]: iteration 2: (32 enodes)
0.541 * * [simplify]: iteration 3: (65 enodes)
0.593 * * [simplify]: iteration 4: (98 enodes)
0.626 * * [simplify]: iteration 5: (131 enodes)
0.660 * * [simplify]: iteration 6: (172 enodes)
0.709 * * [simplify]: iteration 7: (245 enodes)
0.774 * * [simplify]: iteration 8: (502 enodes)
1.099 * * [simplify]: iteration 9: (1180 enodes)
3.400 * * [simplify]: Extracting #0: cost 1 inf + 0
3.400 * * [simplify]: Extracting #1: cost 4 inf + 0
3.401 * * [simplify]: Extracting #2: cost 14 inf + 0
3.401 * * [simplify]: Extracting #3: cost 95 inf + 2
3.402 * * [simplify]: Extracting #4: cost 350 inf + 987
3.407 * * [simplify]: Extracting #5: cost 377 inf + 16655
3.419 * * [simplify]: Extracting #6: cost 294 inf + 35658
3.436 * * [simplify]: Extracting #7: cost 89 inf + 108878
3.467 * * [simplify]: Extracting #8: cost 0 inf + 145956
3.495 * [simplify]: Simplified to:
  (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))
3.505 * * [progress]: iteration 1 / 4
3.505 * * * [progress]: picking best candidate
3.511 * * * * [pick]: Picked  #<alt (λ (c) (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
3.511 * * * [progress]: localizing error
3.544 * * * [progress]: generating rewritten candidates
3.544 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
3.552 * * * [progress]: generating series expansions
3.552 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
3.557 * [backup-simplify]: Simplify (sinh c) into (sinh c)
3.557 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
3.558 * [taylor]: Taking taylor expansion of (sinh c) in c
3.561 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
3.561 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
3.561 * [taylor]: Taking taylor expansion of (exp c) in c
3.561 * [taylor]: Taking taylor expansion of c in c
3.561 * [backup-simplify]: Simplify 0 into 0
3.561 * [backup-simplify]: Simplify 1 into 1
3.561 * [backup-simplify]: Simplify (exp 0) into 1
3.561 * [taylor]: Taking taylor expansion of (exp (- c)) in c
3.562 * [taylor]: Taking taylor expansion of (- c) in c
3.562 * [taylor]: Taking taylor expansion of c in c
3.562 * [backup-simplify]: Simplify 0 into 0
3.562 * [backup-simplify]: Simplify 1 into 1
3.562 * [backup-simplify]: Simplify (- 0) into 0
3.563 * [backup-simplify]: Simplify (- 1) into -1
3.563 * [backup-simplify]: Simplify (exp 0) into 1
3.563 * [taylor]: Taking taylor expansion of 2 in c
3.563 * [backup-simplify]: Simplify 2 into 2
3.564 * [backup-simplify]: Simplify (- 1) into -1
3.565 * [backup-simplify]: Simplify (+ 1 -1) into 0
3.566 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.567 * [backup-simplify]: Simplify (- 1) into -1
3.568 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
3.568 * [backup-simplify]: Simplify (- -1) into 1
3.569 * [backup-simplify]: Simplify (+ 1 1) into 2
3.569 * [backup-simplify]: Simplify (/ 2 2) into 1
3.569 * [taylor]: Taking taylor expansion of (sinh c) in c
3.569 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
3.570 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
3.570 * [taylor]: Taking taylor expansion of (exp c) in c
3.570 * [taylor]: Taking taylor expansion of c in c
3.570 * [backup-simplify]: Simplify 0 into 0
3.570 * [backup-simplify]: Simplify 1 into 1
3.570 * [backup-simplify]: Simplify (exp 0) into 1
3.570 * [taylor]: Taking taylor expansion of (exp (- c)) in c
3.570 * [taylor]: Taking taylor expansion of (- c) in c
3.570 * [taylor]: Taking taylor expansion of c in c
3.570 * [backup-simplify]: Simplify 0 into 0
3.570 * [backup-simplify]: Simplify 1 into 1
3.570 * [backup-simplify]: Simplify (- 0) into 0
3.571 * [backup-simplify]: Simplify (- 1) into -1
3.571 * [backup-simplify]: Simplify (exp 0) into 1
3.571 * [taylor]: Taking taylor expansion of 2 in c
3.571 * [backup-simplify]: Simplify 2 into 2
3.571 * [backup-simplify]: Simplify (- 1) into -1
3.572 * [backup-simplify]: Simplify (+ 1 -1) into 0
3.573 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.573 * [backup-simplify]: Simplify (- 1) into -1
3.574 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
3.574 * [backup-simplify]: Simplify (- -1) into 1
3.575 * [backup-simplify]: Simplify (+ 1 1) into 2
3.575 * [backup-simplify]: Simplify (/ 2 2) into 1
3.577 * [backup-simplify]: Simplify 1 into 1
3.579 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.580 * [backup-simplify]: Simplify (- 1) into -1
3.580 * [backup-simplify]: Simplify (- 0) into 0
3.582 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.583 * [backup-simplify]: Simplify (- 1/2) into -1/2
3.583 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
3.593 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
3.594 * [backup-simplify]: Simplify 0 into 0
3.597 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
3.597 * [backup-simplify]: Simplify (- 1) into -1
3.598 * [backup-simplify]: Simplify (- 1) into -1
3.598 * [backup-simplify]: Simplify (- 0) into 0
3.599 * [backup-simplify]: Simplify (- 0) into 0
3.601 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
3.602 * [backup-simplify]: Simplify (- -1/6) into 1/6
3.602 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
3.604 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
3.604 * [backup-simplify]: Simplify 1/6 into 1/6
3.608 * [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
3.609 * [backup-simplify]: Simplify (- 1) into -1
3.609 * [backup-simplify]: Simplify (- 1) into -1
3.610 * [backup-simplify]: Simplify (- 0) into 0
3.610 * [backup-simplify]: Simplify (- 1) into -1
3.611 * [backup-simplify]: Simplify (- 0) into 0
3.611 * [backup-simplify]: Simplify (- 0) into 0
3.612 * [backup-simplify]: Simplify (- 0) into 0
3.616 * [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
3.616 * [backup-simplify]: Simplify (- 1/24) into -1/24
3.617 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
3.618 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
3.618 * [backup-simplify]: Simplify 0 into 0
3.624 * [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
3.625 * [backup-simplify]: Simplify (- 1) into -1
3.625 * [backup-simplify]: Simplify (- 1) into -1
3.625 * [backup-simplify]: Simplify (- 0) into 0
3.626 * [backup-simplify]: Simplify (- 1) into -1
3.626 * [backup-simplify]: Simplify (- 0) into 0
3.627 * [backup-simplify]: Simplify (- 1) into -1
3.627 * [backup-simplify]: Simplify (- 0) into 0
3.628 * [backup-simplify]: Simplify (- 1) into -1
3.628 * [backup-simplify]: Simplify (- 0) into 0
3.628 * [backup-simplify]: Simplify (- 0) into 0
3.629 * [backup-simplify]: Simplify (- 0) into 0
3.629 * [backup-simplify]: Simplify (- 0) into 0
3.635 * [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
3.636 * [backup-simplify]: Simplify (- -1/120) into 1/120
3.636 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
3.638 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
3.638 * [backup-simplify]: Simplify 1/120 into 1/120
3.643 * [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))
3.643 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c))
3.643 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
3.643 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
3.643 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
3.643 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
3.643 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
3.643 * [taylor]: Taking taylor expansion of (/ 1 c) in c
3.644 * [taylor]: Taking taylor expansion of c in c
3.644 * [backup-simplify]: Simplify 0 into 0
3.644 * [backup-simplify]: Simplify 1 into 1
3.644 * [backup-simplify]: Simplify (/ 1 1) into 1
3.644 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
3.645 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
3.645 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
3.645 * [taylor]: Taking taylor expansion of (/ 1 c) in c
3.645 * [taylor]: Taking taylor expansion of c in c
3.645 * [backup-simplify]: Simplify 0 into 0
3.645 * [backup-simplify]: Simplify 1 into 1
3.645 * [backup-simplify]: Simplify (/ 1 1) into 1
3.646 * [backup-simplify]: Simplify (- 1) into -1
3.646 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
3.646 * [taylor]: Taking taylor expansion of 2 in c
3.646 * [backup-simplify]: Simplify 2 into 2
3.646 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
3.647 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
3.647 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
3.647 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
3.647 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
3.647 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
3.647 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
3.647 * [taylor]: Taking taylor expansion of (/ 1 c) in c
3.647 * [taylor]: Taking taylor expansion of c in c
3.647 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify 1 into 1
3.648 * [backup-simplify]: Simplify (/ 1 1) into 1
3.648 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
3.648 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
3.648 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
3.648 * [taylor]: Taking taylor expansion of (/ 1 c) in c
3.648 * [taylor]: Taking taylor expansion of c in c
3.648 * [backup-simplify]: Simplify 0 into 0
3.648 * [backup-simplify]: Simplify 1 into 1
3.648 * [backup-simplify]: Simplify (/ 1 1) into 1
3.649 * [backup-simplify]: Simplify (- 1) into -1
3.649 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
3.649 * [taylor]: Taking taylor expansion of 2 in c
3.649 * [backup-simplify]: Simplify 2 into 2
3.649 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
3.649 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
3.649 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
3.650 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
3.650 * [backup-simplify]: Simplify (- 0) into 0
3.650 * [backup-simplify]: Simplify (+ 0 0) into 0
3.652 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
3.652 * [backup-simplify]: Simplify 0 into 0
3.652 * [backup-simplify]: Simplify (- 0) into 0
3.652 * [backup-simplify]: Simplify (+ 0 0) into 0
3.654 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
3.654 * [backup-simplify]: Simplify 0 into 0
3.655 * [backup-simplify]: Simplify (- 0) into 0
3.655 * [backup-simplify]: Simplify (+ 0 0) into 0
3.657 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
3.658 * [backup-simplify]: Simplify 0 into 0
3.658 * [backup-simplify]: Simplify (- 0) into 0
3.658 * [backup-simplify]: Simplify (+ 0 0) into 0
3.661 * [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
3.661 * [backup-simplify]: Simplify 0 into 0
3.662 * [backup-simplify]: Simplify (- 0) into 0
3.662 * [backup-simplify]: Simplify (+ 0 0) into 0
3.665 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
3.665 * [backup-simplify]: Simplify 0 into 0
3.666 * [backup-simplify]: Simplify (- 0) into 0
3.666 * [backup-simplify]: Simplify (+ 0 0) into 0
3.670 * [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
3.670 * [backup-simplify]: Simplify 0 into 0
3.670 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
3.670 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c))
3.670 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
3.670 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
3.671 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
3.671 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
3.671 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
3.671 * [taylor]: Taking taylor expansion of (/ -1 c) in c
3.671 * [taylor]: Taking taylor expansion of -1 in c
3.671 * [backup-simplify]: Simplify -1 into -1
3.671 * [taylor]: Taking taylor expansion of c in c
3.671 * [backup-simplify]: Simplify 0 into 0
3.671 * [backup-simplify]: Simplify 1 into 1
3.671 * [backup-simplify]: Simplify (/ -1 1) into -1
3.671 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
3.671 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
3.671 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
3.671 * [taylor]: Taking taylor expansion of (/ -1 c) in c
3.671 * [taylor]: Taking taylor expansion of -1 in c
3.671 * [backup-simplify]: Simplify -1 into -1
3.671 * [taylor]: Taking taylor expansion of c in c
3.671 * [backup-simplify]: Simplify 0 into 0
3.671 * [backup-simplify]: Simplify 1 into 1
3.672 * [backup-simplify]: Simplify (/ -1 1) into -1
3.672 * [backup-simplify]: Simplify (- -1) into 1
3.672 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
3.672 * [taylor]: Taking taylor expansion of 2 in c
3.673 * [backup-simplify]: Simplify 2 into 2
3.673 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
3.673 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
3.673 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
3.673 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
3.673 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
3.673 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
3.673 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
3.673 * [taylor]: Taking taylor expansion of (/ -1 c) in c
3.673 * [taylor]: Taking taylor expansion of -1 in c
3.673 * [backup-simplify]: Simplify -1 into -1
3.673 * [taylor]: Taking taylor expansion of c in c
3.673 * [backup-simplify]: Simplify 0 into 0
3.673 * [backup-simplify]: Simplify 1 into 1
3.674 * [backup-simplify]: Simplify (/ -1 1) into -1
3.674 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
3.674 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
3.674 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
3.674 * [taylor]: Taking taylor expansion of (/ -1 c) in c
3.674 * [taylor]: Taking taylor expansion of -1 in c
3.674 * [backup-simplify]: Simplify -1 into -1
3.674 * [taylor]: Taking taylor expansion of c in c
3.674 * [backup-simplify]: Simplify 0 into 0
3.674 * [backup-simplify]: Simplify 1 into 1
3.674 * [backup-simplify]: Simplify (/ -1 1) into -1
3.675 * [backup-simplify]: Simplify (- -1) into 1
3.675 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
3.675 * [taylor]: Taking taylor expansion of 2 in c
3.675 * [backup-simplify]: Simplify 2 into 2
3.675 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
3.675 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
3.675 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
3.675 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
3.676 * [backup-simplify]: Simplify (- 0) into 0
3.676 * [backup-simplify]: Simplify (+ 0 0) into 0
3.677 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
3.677 * [backup-simplify]: Simplify 0 into 0
3.678 * [backup-simplify]: Simplify (- 0) into 0
3.678 * [backup-simplify]: Simplify (+ 0 0) into 0
3.680 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
3.680 * [backup-simplify]: Simplify 0 into 0
3.680 * [backup-simplify]: Simplify (- 0) into 0
3.680 * [backup-simplify]: Simplify (+ 0 0) into 0
3.682 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
3.682 * [backup-simplify]: Simplify 0 into 0
3.683 * [backup-simplify]: Simplify (- 0) into 0
3.683 * [backup-simplify]: Simplify (+ 0 0) into 0
3.686 * [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
3.686 * [backup-simplify]: Simplify 0 into 0
3.686 * [backup-simplify]: Simplify (- 0) into 0
3.687 * [backup-simplify]: Simplify (+ 0 0) into 0
3.690 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
3.690 * [backup-simplify]: Simplify 0 into 0
3.691 * [backup-simplify]: Simplify (- 0) into 0
3.691 * [backup-simplify]: Simplify (+ 0 0) into 0
3.695 * [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
3.695 * [backup-simplify]: Simplify 0 into 0
3.696 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
3.696 * * * [progress]: simplifying candidates
3.696 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #<alt (λ (c) (fmod (/ (- (exp c) (exp (- c))) 2) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
3.696 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (c) (fmod (pow (sinh c) 1) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
3.696 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
3.696 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (c) (fmod (log (exp (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
3.696 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (c) (fmod (* (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
3.697 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #<alt (λ (c) (fmod (cbrt (* (* (sinh c) (sinh c)) (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
3.697 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (c) (fmod (* (sqrt (sinh c)) (sqrt (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
3.697 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (c) (fmod (* 1 (sinh c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
3.697 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #<alt (λ (c) (fmod (posit16->real (real->posit16 (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
3.697 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #<alt (λ (c) (fmod (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
3.697 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #<alt (λ (c) (fmod (* 1/2 (- (exp c) (exp (- c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
3.697 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (c) (fmod (* 1/2 (- (exp c) (exp (* -1 c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
3.698 * [simplify]: Simplifying:
  (- (exp c) (exp (- c)))
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (* (* (sinh c) (sinh c)) (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (real->posit16 (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))))
3.698 * * [simplify]: iteration 1: (31 enodes)
3.715 * * [simplify]: iteration 2: (109 enodes)
3.737 * * [simplify]: iteration 3: (180 enodes)
3.768 * * [simplify]: iteration 4: (326 enodes)
3.832 * * [simplify]: iteration 5: (679 enodes)
4.013 * * [simplify]: iteration 6: (1843 enodes)
6.090 * * [simplify]: Extracting #0: cost 10 inf + 0
6.090 * * [simplify]: Extracting #1: cost 111 inf + 0
6.094 * * [simplify]: Extracting #2: cost 707 inf + 914
6.109 * * [simplify]: Extracting #3: cost 1674 inf + 16018
6.164 * * [simplify]: Extracting #4: cost 1336 inf + 149923
6.259 * * [simplify]: Extracting #5: cost 707 inf + 456152
6.431 * * [simplify]: Extracting #6: cost 126 inf + 862153
6.616 * * [simplify]: Extracting #7: cost 2 inf + 957335
6.807 * * [simplify]: Extracting #8: cost 0 inf + 954207
7.074 * * [simplify]: Extracting #9: cost 0 inf + 953617
7.301 * [simplify]: Simplified to:
  (- (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))
  (real->posit16 (sinh c))
  (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c)
  (- (* (exp c) 1/2) (/ 1/2 (exp c)))
  (- (* (exp c) 1/2) (/ 1/2 (exp c)))
7.302 * * * [progress]: adding candidates to table
7.430 * * [progress]: iteration 2 / 4
7.430 * * * [progress]: picking best candidate
7.443 * * * * [pick]: Picked  #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
7.443 * * * [progress]: localizing error
7.506 * * * [progress]: generating rewritten candidates
7.506 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
7.557 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2)
7.570 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
7.581 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
7.794 * * * [progress]: generating series expansions
7.794 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
7.794 * [backup-simplify]: Simplify (* 1/6 (* c (* c c))) into (* 1/6 (pow c 3))
7.794 * [approximate]: Taking taylor expansion of (* 1/6 (pow c 3)) in (c) around 0
7.795 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c
7.795 * [taylor]: Taking taylor expansion of 1/6 in c
7.795 * [backup-simplify]: Simplify 1/6 into 1/6
7.795 * [taylor]: Taking taylor expansion of (pow c 3) in c
7.795 * [taylor]: Taking taylor expansion of c in c
7.795 * [backup-simplify]: Simplify 0 into 0
7.795 * [backup-simplify]: Simplify 1 into 1
7.795 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c
7.795 * [taylor]: Taking taylor expansion of 1/6 in c
7.795 * [backup-simplify]: Simplify 1/6 into 1/6
7.795 * [taylor]: Taking taylor expansion of (pow c 3) in c
7.795 * [taylor]: Taking taylor expansion of c in c
7.795 * [backup-simplify]: Simplify 0 into 0
7.795 * [backup-simplify]: Simplify 1 into 1
7.796 * [backup-simplify]: Simplify (* 1 1) into 1
7.796 * [backup-simplify]: Simplify (* 1 1) into 1
7.796 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
7.797 * [backup-simplify]: Simplify 1/6 into 1/6
7.797 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.797 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.798 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
7.798 * [backup-simplify]: Simplify 0 into 0
7.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.800 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
7.800 * [backup-simplify]: Simplify 0 into 0
7.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.802 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.802 * [backup-simplify]: Simplify 0 into 0
7.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.804 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.804 * [backup-simplify]: Simplify 0 into 0
7.805 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.807 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.807 * [backup-simplify]: Simplify 0 into 0
7.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.810 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.810 * [backup-simplify]: Simplify 0 into 0
7.810 * [backup-simplify]: Simplify (* 1/6 (pow c 3)) into (* 1/6 (pow c 3))
7.810 * [backup-simplify]: Simplify (* 1/6 (* (/ 1 c) (* (/ 1 c) (/ 1 c)))) into (/ 1/6 (pow c 3))
7.810 * [approximate]: Taking taylor expansion of (/ 1/6 (pow c 3)) in (c) around 0
7.810 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c
7.810 * [taylor]: Taking taylor expansion of 1/6 in c
7.810 * [backup-simplify]: Simplify 1/6 into 1/6
7.810 * [taylor]: Taking taylor expansion of (pow c 3) in c
7.810 * [taylor]: Taking taylor expansion of c in c
7.810 * [backup-simplify]: Simplify 0 into 0
7.810 * [backup-simplify]: Simplify 1 into 1
7.810 * [backup-simplify]: Simplify (* 1 1) into 1
7.811 * [backup-simplify]: Simplify (* 1 1) into 1
7.811 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6
7.811 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c
7.811 * [taylor]: Taking taylor expansion of 1/6 in c
7.811 * [backup-simplify]: Simplify 1/6 into 1/6
7.811 * [taylor]: Taking taylor expansion of (pow c 3) in c
7.811 * [taylor]: Taking taylor expansion of c in c
7.811 * [backup-simplify]: Simplify 0 into 0
7.811 * [backup-simplify]: Simplify 1 into 1
7.811 * [backup-simplify]: Simplify (* 1 1) into 1
7.811 * [backup-simplify]: Simplify (* 1 1) into 1
7.812 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6
7.812 * [backup-simplify]: Simplify 1/6 into 1/6
7.812 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.813 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.813 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0
7.813 * [backup-simplify]: Simplify 0 into 0
7.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.815 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.815 * [backup-simplify]: Simplify 0 into 0
7.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.817 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.817 * [backup-simplify]: Simplify 0 into 0
7.817 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.819 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.819 * [backup-simplify]: Simplify 0 into 0
7.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.821 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.821 * [backup-simplify]: Simplify 0 into 0
7.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.824 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.824 * [backup-simplify]: Simplify 0 into 0
7.824 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (/ 1 c)) 3)) into (* 1/6 (pow c 3))
7.824 * [backup-simplify]: Simplify (* 1/6 (* (/ 1 (- c)) (* (/ 1 (- c)) (/ 1 (- c))))) into (/ -1/6 (pow c 3))
7.824 * [approximate]: Taking taylor expansion of (/ -1/6 (pow c 3)) in (c) around 0
7.824 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c
7.824 * [taylor]: Taking taylor expansion of -1/6 in c
7.824 * [backup-simplify]: Simplify -1/6 into -1/6
7.824 * [taylor]: Taking taylor expansion of (pow c 3) in c
7.824 * [taylor]: Taking taylor expansion of c in c
7.824 * [backup-simplify]: Simplify 0 into 0
7.824 * [backup-simplify]: Simplify 1 into 1
7.825 * [backup-simplify]: Simplify (* 1 1) into 1
7.825 * [backup-simplify]: Simplify (* 1 1) into 1
7.825 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6
7.825 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c
7.825 * [taylor]: Taking taylor expansion of -1/6 in c
7.825 * [backup-simplify]: Simplify -1/6 into -1/6
7.825 * [taylor]: Taking taylor expansion of (pow c 3) in c
7.825 * [taylor]: Taking taylor expansion of c in c
7.825 * [backup-simplify]: Simplify 0 into 0
7.825 * [backup-simplify]: Simplify 1 into 1
7.825 * [backup-simplify]: Simplify (* 1 1) into 1
7.826 * [backup-simplify]: Simplify (* 1 1) into 1
7.826 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6
7.826 * [backup-simplify]: Simplify -1/6 into -1/6
7.826 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.827 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.827 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0
7.827 * [backup-simplify]: Simplify 0 into 0
7.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.829 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.829 * [backup-simplify]: Simplify 0 into 0
7.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.830 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.831 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.831 * [backup-simplify]: Simplify 0 into 0
7.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.833 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.833 * [backup-simplify]: Simplify 0 into 0
7.834 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.835 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.835 * [backup-simplify]: Simplify 0 into 0
7.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.838 * [backup-simplify]: Simplify 0 into 0
7.838 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 (/ 1 (- c))) 3)) into (* 1/6 (pow c 3))
7.838 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2)
7.838 * [backup-simplify]: Simplify (* c (* c c)) into (pow c 3)
7.838 * [approximate]: Taking taylor expansion of (pow c 3) in (c) around 0
7.838 * [taylor]: Taking taylor expansion of (pow c 3) in c
7.838 * [taylor]: Taking taylor expansion of c in c
7.838 * [backup-simplify]: Simplify 0 into 0
7.838 * [backup-simplify]: Simplify 1 into 1
7.838 * [taylor]: Taking taylor expansion of (pow c 3) in c
7.838 * [taylor]: Taking taylor expansion of c in c
7.838 * [backup-simplify]: Simplify 0 into 0
7.838 * [backup-simplify]: Simplify 1 into 1
7.839 * [backup-simplify]: Simplify (* 1 1) into 1
7.839 * [backup-simplify]: Simplify (* 1 1) into 1
7.839 * [backup-simplify]: Simplify 1 into 1
7.839 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.840 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.840 * [backup-simplify]: Simplify 0 into 0
7.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.841 * [backup-simplify]: Simplify 0 into 0
7.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.842 * [backup-simplify]: Simplify 0 into 0
7.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.844 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.844 * [backup-simplify]: Simplify 0 into 0
7.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.845 * [backup-simplify]: Simplify 0 into 0
7.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.847 * [backup-simplify]: Simplify 0 into 0
7.847 * [backup-simplify]: Simplify (* 1 (pow c 3)) into (pow c 3)
7.847 * [backup-simplify]: Simplify (* (/ 1 c) (* (/ 1 c) (/ 1 c))) into (/ 1 (pow c 3))
7.847 * [approximate]: Taking taylor expansion of (/ 1 (pow c 3)) in (c) around 0
7.847 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c
7.848 * [taylor]: Taking taylor expansion of (pow c 3) in c
7.848 * [taylor]: Taking taylor expansion of c in c
7.848 * [backup-simplify]: Simplify 0 into 0
7.848 * [backup-simplify]: Simplify 1 into 1
7.848 * [backup-simplify]: Simplify (* 1 1) into 1
7.848 * [backup-simplify]: Simplify (* 1 1) into 1
7.848 * [backup-simplify]: Simplify (/ 1 1) into 1
7.848 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c
7.848 * [taylor]: Taking taylor expansion of (pow c 3) in c
7.848 * [taylor]: Taking taylor expansion of c in c
7.848 * [backup-simplify]: Simplify 0 into 0
7.848 * [backup-simplify]: Simplify 1 into 1
7.849 * [backup-simplify]: Simplify (* 1 1) into 1
7.849 * [backup-simplify]: Simplify (* 1 1) into 1
7.849 * [backup-simplify]: Simplify (/ 1 1) into 1
7.849 * [backup-simplify]: Simplify 1 into 1
7.850 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.850 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.851 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.851 * [backup-simplify]: Simplify 0 into 0
7.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.853 * [backup-simplify]: Simplify 0 into 0
7.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.856 * [backup-simplify]: Simplify 0 into 0
7.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.859 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.859 * [backup-simplify]: Simplify 0 into 0
7.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.863 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.863 * [backup-simplify]: Simplify 0 into 0
7.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.867 * [backup-simplify]: Simplify 0 into 0
7.868 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 c)) 3)) into (pow c 3)
7.868 * [backup-simplify]: Simplify (* (/ 1 (- c)) (* (/ 1 (- c)) (/ 1 (- c)))) into (/ -1 (pow c 3))
7.868 * [approximate]: Taking taylor expansion of (/ -1 (pow c 3)) in (c) around 0
7.868 * [taylor]: Taking taylor expansion of (/ -1 (pow c 3)) in c
7.868 * [taylor]: Taking taylor expansion of -1 in c
7.868 * [backup-simplify]: Simplify -1 into -1
7.868 * [taylor]: Taking taylor expansion of (pow c 3) in c
7.868 * [taylor]: Taking taylor expansion of c in c
7.868 * [backup-simplify]: Simplify 0 into 0
7.868 * [backup-simplify]: Simplify 1 into 1
7.871 * [backup-simplify]: Simplify (* 1 1) into 1
7.872 * [backup-simplify]: Simplify (* 1 1) into 1
7.872 * [backup-simplify]: Simplify (/ -1 1) into -1
7.872 * [taylor]: Taking taylor expansion of (/ -1 (pow c 3)) in c
7.872 * [taylor]: Taking taylor expansion of -1 in c
7.872 * [backup-simplify]: Simplify -1 into -1
7.872 * [taylor]: Taking taylor expansion of (pow c 3) in c
7.872 * [taylor]: Taking taylor expansion of c in c
7.872 * [backup-simplify]: Simplify 0 into 0
7.872 * [backup-simplify]: Simplify 1 into 1
7.873 * [backup-simplify]: Simplify (* 1 1) into 1
7.873 * [backup-simplify]: Simplify (* 1 1) into 1
7.873 * [backup-simplify]: Simplify (/ -1 1) into -1
7.874 * [backup-simplify]: Simplify -1 into -1
7.874 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.875 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.876 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.876 * [backup-simplify]: Simplify 0 into 0
7.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.878 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.879 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.879 * [backup-simplify]: Simplify 0 into 0
7.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.882 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.882 * [backup-simplify]: Simplify 0 into 0
7.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.886 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.886 * [backup-simplify]: Simplify 0 into 0
7.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.890 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.890 * [backup-simplify]: Simplify 0 into 0
7.892 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.895 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.895 * [backup-simplify]: Simplify 0 into 0
7.895 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- c))) 3)) into (pow c 3)
7.895 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
7.895 * [backup-simplify]: Simplify (* (pow c 5) 1/120) into (* 1/120 (pow c 5))
7.895 * [approximate]: Taking taylor expansion of (* 1/120 (pow c 5)) in (c) around 0
7.895 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
7.895 * [taylor]: Taking taylor expansion of 1/120 in c
7.895 * [backup-simplify]: Simplify 1/120 into 1/120
7.895 * [taylor]: Taking taylor expansion of (pow c 5) in c
7.895 * [taylor]: Taking taylor expansion of c in c
7.895 * [backup-simplify]: Simplify 0 into 0
7.895 * [backup-simplify]: Simplify 1 into 1
7.895 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
7.895 * [taylor]: Taking taylor expansion of 1/120 in c
7.895 * [backup-simplify]: Simplify 1/120 into 1/120
7.895 * [taylor]: Taking taylor expansion of (pow c 5) in c
7.896 * [taylor]: Taking taylor expansion of c in c
7.896 * [backup-simplify]: Simplify 0 into 0
7.896 * [backup-simplify]: Simplify 1 into 1
7.896 * [backup-simplify]: Simplify (* 1 1) into 1
7.896 * [backup-simplify]: Simplify (* 1 1) into 1
7.897 * [backup-simplify]: Simplify (* 1 1) into 1
7.897 * [backup-simplify]: Simplify (* 1/120 1) into 1/120
7.897 * [backup-simplify]: Simplify 1/120 into 1/120
7.898 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.899 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.899 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.900 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0
7.900 * [backup-simplify]: Simplify 0 into 0
7.901 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.902 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.904 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0
7.904 * [backup-simplify]: Simplify 0 into 0
7.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.906 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.908 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.908 * [backup-simplify]: Simplify 0 into 0
7.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.912 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.914 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.914 * [backup-simplify]: Simplify 0 into 0
7.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.919 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.919 * [backup-simplify]: Simplify 0 into 0
7.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.922 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.922 * [backup-simplify]: Simplify 0 into 0
7.922 * [backup-simplify]: Simplify (* 1/120 (pow c 5)) into (* 1/120 (pow c 5))
7.923 * [backup-simplify]: Simplify (* (pow (/ 1 c) 5) 1/120) into (/ 1/120 (pow c 5))
7.923 * [approximate]: Taking taylor expansion of (/ 1/120 (pow c 5)) in (c) around 0
7.923 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c
7.923 * [taylor]: Taking taylor expansion of 1/120 in c
7.923 * [backup-simplify]: Simplify 1/120 into 1/120
7.923 * [taylor]: Taking taylor expansion of (pow c 5) in c
7.923 * [taylor]: Taking taylor expansion of c in c
7.923 * [backup-simplify]: Simplify 0 into 0
7.923 * [backup-simplify]: Simplify 1 into 1
7.923 * [backup-simplify]: Simplify (* 1 1) into 1
7.923 * [backup-simplify]: Simplify (* 1 1) into 1
7.923 * [backup-simplify]: Simplify (* 1 1) into 1
7.924 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120
7.924 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c
7.924 * [taylor]: Taking taylor expansion of 1/120 in c
7.924 * [backup-simplify]: Simplify 1/120 into 1/120
7.924 * [taylor]: Taking taylor expansion of (pow c 5) in c
7.924 * [taylor]: Taking taylor expansion of c in c
7.924 * [backup-simplify]: Simplify 0 into 0
7.924 * [backup-simplify]: Simplify 1 into 1
7.924 * [backup-simplify]: Simplify (* 1 1) into 1
7.925 * [backup-simplify]: Simplify (* 1 1) into 1
7.925 * [backup-simplify]: Simplify (* 1 1) into 1
7.925 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120
7.926 * [backup-simplify]: Simplify 1/120 into 1/120
7.926 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.926 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.927 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.927 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)))) into 0
7.927 * [backup-simplify]: Simplify 0 into 0
7.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.930 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.930 * [backup-simplify]: Simplify 0 into 0
7.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.932 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.932 * [backup-simplify]: Simplify 0 into 0
7.933 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.935 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.935 * [backup-simplify]: Simplify 0 into 0
7.936 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.937 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.937 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.938 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.938 * [backup-simplify]: Simplify 0 into 0
7.939 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.941 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.941 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.941 * [backup-simplify]: Simplify 0 into 0
7.942 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 (/ 1 c)) 5)) into (* 1/120 (pow c 5))
7.942 * [backup-simplify]: Simplify (* (pow (/ 1 (- c)) 5) 1/120) into (/ -1/120 (pow c 5))
7.942 * [approximate]: Taking taylor expansion of (/ -1/120 (pow c 5)) in (c) around 0
7.942 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c
7.942 * [taylor]: Taking taylor expansion of -1/120 in c
7.942 * [backup-simplify]: Simplify -1/120 into -1/120
7.942 * [taylor]: Taking taylor expansion of (pow c 5) in c
7.942 * [taylor]: Taking taylor expansion of c in c
7.942 * [backup-simplify]: Simplify 0 into 0
7.942 * [backup-simplify]: Simplify 1 into 1
7.942 * [backup-simplify]: Simplify (* 1 1) into 1
7.942 * [backup-simplify]: Simplify (* 1 1) into 1
7.943 * [backup-simplify]: Simplify (* 1 1) into 1
7.943 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120
7.943 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c
7.943 * [taylor]: Taking taylor expansion of -1/120 in c
7.943 * [backup-simplify]: Simplify -1/120 into -1/120
7.943 * [taylor]: Taking taylor expansion of (pow c 5) in c
7.943 * [taylor]: Taking taylor expansion of c in c
7.943 * [backup-simplify]: Simplify 0 into 0
7.943 * [backup-simplify]: Simplify 1 into 1
7.943 * [backup-simplify]: Simplify (* 1 1) into 1
7.943 * [backup-simplify]: Simplify (* 1 1) into 1
7.944 * [backup-simplify]: Simplify (* 1 1) into 1
7.944 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120
7.944 * [backup-simplify]: Simplify -1/120 into -1/120
7.944 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.945 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.945 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.946 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)))) into 0
7.946 * [backup-simplify]: Simplify 0 into 0
7.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.947 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.947 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.948 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.948 * [backup-simplify]: Simplify 0 into 0
7.949 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.949 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.950 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.951 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.951 * [backup-simplify]: Simplify 0 into 0
7.951 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.953 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.953 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.953 * [backup-simplify]: Simplify 0 into 0
7.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.955 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.956 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.956 * [backup-simplify]: Simplify 0 into 0
7.958 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.959 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.961 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.962 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.962 * [backup-simplify]: Simplify 0 into 0
7.962 * [backup-simplify]: Simplify (* -1/120 (pow (/ 1 (/ 1 (- c))) 5)) into (* 1/120 (pow c 5))
7.962 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
7.963 * [backup-simplify]: Simplify (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
7.963 * [approximate]: Taking taylor expansion of (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) in (c) around 0
7.963 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) in c
7.963 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c
7.963 * [taylor]: Taking taylor expansion of 1/6 in c
7.963 * [backup-simplify]: Simplify 1/6 into 1/6
7.963 * [taylor]: Taking taylor expansion of (pow c 3) in c
7.963 * [taylor]: Taking taylor expansion of c in c
7.963 * [backup-simplify]: Simplify 0 into 0
7.963 * [backup-simplify]: Simplify 1 into 1
7.963 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c
7.963 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
7.963 * [taylor]: Taking taylor expansion of 1/120 in c
7.963 * [backup-simplify]: Simplify 1/120 into 1/120
7.963 * [taylor]: Taking taylor expansion of (pow c 5) in c
7.963 * [taylor]: Taking taylor expansion of c in c
7.963 * [backup-simplify]: Simplify 0 into 0
7.963 * [backup-simplify]: Simplify 1 into 1
7.963 * [taylor]: Taking taylor expansion of c in c
7.963 * [backup-simplify]: Simplify 0 into 0
7.963 * [backup-simplify]: Simplify 1 into 1
7.963 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) in c
7.963 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c
7.963 * [taylor]: Taking taylor expansion of 1/6 in c
7.963 * [backup-simplify]: Simplify 1/6 into 1/6
7.963 * [taylor]: Taking taylor expansion of (pow c 3) in c
7.963 * [taylor]: Taking taylor expansion of c in c
7.963 * [backup-simplify]: Simplify 0 into 0
7.963 * [backup-simplify]: Simplify 1 into 1
7.963 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c
7.963 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c
7.963 * [taylor]: Taking taylor expansion of 1/120 in c
7.963 * [backup-simplify]: Simplify 1/120 into 1/120
7.963 * [taylor]: Taking taylor expansion of (pow c 5) in c
7.963 * [taylor]: Taking taylor expansion of c in c
7.963 * [backup-simplify]: Simplify 0 into 0
7.963 * [backup-simplify]: Simplify 1 into 1
7.964 * [taylor]: Taking taylor expansion of c in c
7.964 * [backup-simplify]: Simplify 0 into 0
7.964 * [backup-simplify]: Simplify 1 into 1
7.964 * [backup-simplify]: Simplify (+ 0 0) into 0
7.965 * [backup-simplify]: Simplify (+ 0 0) into 0
7.965 * [backup-simplify]: Simplify 0 into 0
7.965 * [backup-simplify]: Simplify (+ 0 1) into 1
7.966 * [backup-simplify]: Simplify (+ 0 1) into 1
7.966 * [backup-simplify]: Simplify 1 into 1
7.966 * [backup-simplify]: Simplify (+ 0 0) into 0
7.967 * [backup-simplify]: Simplify (+ 0 0) into 0
7.967 * [backup-simplify]: Simplify 0 into 0
7.967 * [backup-simplify]: Simplify (* 1 1) into 1
7.967 * [backup-simplify]: Simplify (* 1 1) into 1
7.968 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
7.968 * [backup-simplify]: Simplify (+ 0 0) into 0
7.969 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
7.969 * [backup-simplify]: Simplify 1/6 into 1/6
7.969 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.970 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.971 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
7.971 * [backup-simplify]: Simplify (+ 0 0) into 0
7.972 * [backup-simplify]: Simplify (+ 0 0) into 0
7.972 * [backup-simplify]: Simplify 0 into 0
7.973 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.975 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
7.975 * [backup-simplify]: Simplify (* 1 1) into 1
7.976 * [backup-simplify]: Simplify (* 1 1) into 1
7.976 * [backup-simplify]: Simplify (* 1 1) into 1
7.977 * [backup-simplify]: Simplify (* 1/120 1) into 1/120
7.977 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120
7.978 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120
7.978 * [backup-simplify]: Simplify 1/120 into 1/120
7.978 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
7.979 * [backup-simplify]: Simplify (+ (+ (* 1/6 (* (/ 1 c) (* (/ 1 c) (/ 1 c)))) (* (pow (/ 1 c) 5) 1/120)) (/ 1 c)) into (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5)))))
7.979 * [approximate]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5))))) in (c) around 0
7.979 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5))))) in c
7.979 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c
7.979 * [taylor]: Taking taylor expansion of 1/6 in c
7.979 * [backup-simplify]: Simplify 1/6 into 1/6
7.979 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c
7.979 * [taylor]: Taking taylor expansion of (pow c 3) in c
7.979 * [taylor]: Taking taylor expansion of c in c
7.979 * [backup-simplify]: Simplify 0 into 0
7.979 * [backup-simplify]: Simplify 1 into 1
7.979 * [backup-simplify]: Simplify (* 1 1) into 1
7.980 * [backup-simplify]: Simplify (* 1 1) into 1
7.980 * [backup-simplify]: Simplify (/ 1 1) into 1
7.980 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5)))) in c
7.980 * [taylor]: Taking taylor expansion of (/ 1 c) in c
7.980 * [taylor]: Taking taylor expansion of c in c
7.980 * [backup-simplify]: Simplify 0 into 0
7.980 * [backup-simplify]: Simplify 1 into 1
7.981 * [backup-simplify]: Simplify (/ 1 1) into 1
7.981 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c
7.981 * [taylor]: Taking taylor expansion of 1/120 in c
7.981 * [backup-simplify]: Simplify 1/120 into 1/120
7.981 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c
7.981 * [taylor]: Taking taylor expansion of (pow c 5) in c
7.981 * [taylor]: Taking taylor expansion of c in c
7.981 * [backup-simplify]: Simplify 0 into 0
7.981 * [backup-simplify]: Simplify 1 into 1
7.981 * [backup-simplify]: Simplify (* 1 1) into 1
7.982 * [backup-simplify]: Simplify (* 1 1) into 1
7.982 * [backup-simplify]: Simplify (* 1 1) into 1
7.983 * [backup-simplify]: Simplify (/ 1 1) into 1
7.983 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5))))) in c
7.983 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c
7.983 * [taylor]: Taking taylor expansion of 1/6 in c
7.983 * [backup-simplify]: Simplify 1/6 into 1/6
7.983 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c
7.983 * [taylor]: Taking taylor expansion of (pow c 3) in c
7.983 * [taylor]: Taking taylor expansion of c in c
7.983 * [backup-simplify]: Simplify 0 into 0
7.983 * [backup-simplify]: Simplify 1 into 1
7.983 * [backup-simplify]: Simplify (* 1 1) into 1
7.984 * [backup-simplify]: Simplify (* 1 1) into 1
7.984 * [backup-simplify]: Simplify (/ 1 1) into 1
7.984 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5)))) in c
7.984 * [taylor]: Taking taylor expansion of (/ 1 c) in c
7.984 * [taylor]: Taking taylor expansion of c in c
7.984 * [backup-simplify]: Simplify 0 into 0
7.984 * [backup-simplify]: Simplify 1 into 1
7.985 * [backup-simplify]: Simplify (/ 1 1) into 1
7.985 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c
7.985 * [taylor]: Taking taylor expansion of 1/120 in c
7.985 * [backup-simplify]: Simplify 1/120 into 1/120
7.985 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c
7.985 * [taylor]: Taking taylor expansion of (pow c 5) in c
7.985 * [taylor]: Taking taylor expansion of c in c
7.985 * [backup-simplify]: Simplify 0 into 0
7.985 * [backup-simplify]: Simplify 1 into 1
7.985 * [backup-simplify]: Simplify (* 1 1) into 1
7.986 * [backup-simplify]: Simplify (* 1 1) into 1
7.986 * [backup-simplify]: Simplify (* 1 1) into 1
7.986 * [backup-simplify]: Simplify (/ 1 1) into 1
7.987 * [backup-simplify]: Simplify (* 1/120 1) into 1/120
7.987 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120
7.989 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120
7.990 * [backup-simplify]: Simplify 1/120 into 1/120
7.990 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.991 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.992 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.993 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.993 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0
7.994 * [backup-simplify]: Simplify (+ 0 0) into 0
7.994 * [backup-simplify]: Simplify (+ 0 0) into 0
7.994 * [backup-simplify]: Simplify 0 into 0
7.995 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
7.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.996 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.997 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.998 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.999 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0
8.000 * [backup-simplify]: Simplify (+ 0 0) into 0
8.000 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
8.000 * [backup-simplify]: Simplify 1/6 into 1/6
8.001 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.002 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.002 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.003 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
8.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.005 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.006 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.006 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.007 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.007 * [backup-simplify]: Simplify (+ 0 0) into 0
8.008 * [backup-simplify]: Simplify (+ 0 0) into 0
8.008 * [backup-simplify]: Simplify 0 into 0
8.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.009 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.010 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
8.010 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.011 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.012 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.012 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.013 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.013 * [backup-simplify]: Simplify (+ 1 0) into 1
8.014 * [backup-simplify]: Simplify (+ 0 1) into 1
8.014 * [backup-simplify]: Simplify 1 into 1
8.014 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 c))) (+ (* 1/6 (pow (/ 1 (/ 1 c)) 3)) (* 1/120 (pow (/ 1 (/ 1 c)) 5)))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
8.014 * [backup-simplify]: Simplify (+ (+ (* 1/6 (* (/ 1 (- c)) (* (/ 1 (- c)) (/ 1 (- c))))) (* (pow (/ 1 (- c)) 5) 1/120)) (/ 1 (- c))) into (- (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5))))))
8.014 * [approximate]: Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5)))))) in (c) around 0
8.014 * [taylor]: Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5)))))) in c
8.014 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5))))) in c
8.014 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c
8.014 * [taylor]: Taking taylor expansion of 1/6 in c
8.015 * [backup-simplify]: Simplify 1/6 into 1/6
8.015 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c
8.015 * [taylor]: Taking taylor expansion of (pow c 3) in c
8.015 * [taylor]: Taking taylor expansion of c in c
8.015 * [backup-simplify]: Simplify 0 into 0
8.015 * [backup-simplify]: Simplify 1 into 1
8.015 * [backup-simplify]: Simplify (* 1 1) into 1
8.015 * [backup-simplify]: Simplify (* 1 1) into 1
8.015 * [backup-simplify]: Simplify (/ 1 1) into 1
8.015 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5)))) in c
8.015 * [taylor]: Taking taylor expansion of (/ 1 c) in c
8.015 * [taylor]: Taking taylor expansion of c in c
8.015 * [backup-simplify]: Simplify 0 into 0
8.015 * [backup-simplify]: Simplify 1 into 1
8.016 * [backup-simplify]: Simplify (/ 1 1) into 1
8.016 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c
8.016 * [taylor]: Taking taylor expansion of 1/120 in c
8.016 * [backup-simplify]: Simplify 1/120 into 1/120
8.016 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c
8.016 * [taylor]: Taking taylor expansion of (pow c 5) in c
8.016 * [taylor]: Taking taylor expansion of c in c
8.016 * [backup-simplify]: Simplify 0 into 0
8.016 * [backup-simplify]: Simplify 1 into 1
8.016 * [backup-simplify]: Simplify (* 1 1) into 1
8.016 * [backup-simplify]: Simplify (* 1 1) into 1
8.017 * [backup-simplify]: Simplify (* 1 1) into 1
8.017 * [backup-simplify]: Simplify (/ 1 1) into 1
8.017 * [taylor]: Taking taylor expansion of (- (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5)))))) in c
8.017 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow c 3))) (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5))))) in c
8.017 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow c 3))) in c
8.017 * [taylor]: Taking taylor expansion of 1/6 in c
8.017 * [backup-simplify]: Simplify 1/6 into 1/6
8.017 * [taylor]: Taking taylor expansion of (/ 1 (pow c 3)) in c
8.017 * [taylor]: Taking taylor expansion of (pow c 3) in c
8.017 * [taylor]: Taking taylor expansion of c in c
8.017 * [backup-simplify]: Simplify 0 into 0
8.017 * [backup-simplify]: Simplify 1 into 1
8.017 * [backup-simplify]: Simplify (* 1 1) into 1
8.017 * [backup-simplify]: Simplify (* 1 1) into 1
8.018 * [backup-simplify]: Simplify (/ 1 1) into 1
8.018 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (* 1/120 (/ 1 (pow c 5)))) in c
8.018 * [taylor]: Taking taylor expansion of (/ 1 c) in c
8.018 * [taylor]: Taking taylor expansion of c in c
8.018 * [backup-simplify]: Simplify 0 into 0
8.018 * [backup-simplify]: Simplify 1 into 1
8.018 * [backup-simplify]: Simplify (/ 1 1) into 1
8.018 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c
8.018 * [taylor]: Taking taylor expansion of 1/120 in c
8.018 * [backup-simplify]: Simplify 1/120 into 1/120
8.018 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c
8.018 * [taylor]: Taking taylor expansion of (pow c 5) in c
8.018 * [taylor]: Taking taylor expansion of c in c
8.018 * [backup-simplify]: Simplify 0 into 0
8.018 * [backup-simplify]: Simplify 1 into 1
8.018 * [backup-simplify]: Simplify (* 1 1) into 1
8.019 * [backup-simplify]: Simplify (* 1 1) into 1
8.019 * [backup-simplify]: Simplify (* 1 1) into 1
8.019 * [backup-simplify]: Simplify (/ 1 1) into 1
8.019 * [backup-simplify]: Simplify (* 1/120 1) into 1/120
8.020 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120
8.020 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120
8.020 * [backup-simplify]: Simplify (- 1/120) into -1/120
8.020 * [backup-simplify]: Simplify -1/120 into -1/120
8.021 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.021 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.021 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.022 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.023 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0
8.023 * [backup-simplify]: Simplify (+ 0 0) into 0
8.023 * [backup-simplify]: Simplify (+ 0 0) into 0
8.023 * [backup-simplify]: Simplify (- 0) into 0
8.023 * [backup-simplify]: Simplify 0 into 0
8.024 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
8.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.025 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.025 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.026 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.027 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0
8.028 * [backup-simplify]: Simplify (+ 0 0) into 0
8.028 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
8.029 * [backup-simplify]: Simplify (- 1/6) into -1/6
8.029 * [backup-simplify]: Simplify -1/6 into -1/6
8.029 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.030 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.031 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.032 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
8.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.034 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.035 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.036 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.037 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.038 * [backup-simplify]: Simplify (+ 0 0) into 0
8.038 * [backup-simplify]: Simplify (+ 0 0) into 0
8.038 * [backup-simplify]: Simplify (- 0) into 0
8.038 * [backup-simplify]: Simplify 0 into 0
8.039 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.040 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.041 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.042 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
8.044 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.045 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.046 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.048 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.049 * [backup-simplify]: Simplify (+ 1 0) into 1
8.049 * [backup-simplify]: Simplify (+ 0 1) into 1
8.050 * [backup-simplify]: Simplify (- 1) into -1
8.050 * [backup-simplify]: Simplify -1 into -1
8.050 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- c)))) (+ (* -1/6 (pow (/ 1 (/ 1 (- c))) 3)) (* -1/120 (pow (/ 1 (/ 1 (- c))) 5)))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
8.050 * * * [progress]: simplifying candidates
8.050 * * * * [progress]: [ 1 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (pow (* 1/6 (* c (* c c))) 1) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.050 * * * * [progress]: [ 2 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (pow (* 1/6 (* c (* c c))) 1) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.050 * * * * [progress]: [ 3 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (pow (* 1/6 (* c (* c c))) 1) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.051 * * * * [progress]: [ 4 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (pow (* 1/6 (* c (* c c))) 1) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.051 * * * * [progress]: [ 5 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (exp (+ (log 1/6) (+ (log c) (+ (log c) (log c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.051 * * * * [progress]: [ 6 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (exp (+ (log 1/6) (+ (log c) (log (* c c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.051 * * * * [progress]: [ 7 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (exp (+ (log 1/6) (log (* c (* c c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.051 * * * * [progress]: [ 8 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (exp (log (* 1/6 (* c (* c c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.051 * * * * [progress]: [ 9 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (log (exp (* 1/6 (* c (* c c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.051 * * * * [progress]: [ 10 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (cbrt (* (* (* 1/6 1/6) 1/6) (* (* (* c c) c) (* (* (* c c) c) (* (* c c) c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.051 * * * * [progress]: [ 11 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (cbrt (* (* (* 1/6 1/6) 1/6) (* (* (* c c) c) (* (* (* c c) (* c c)) (* c c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.051 * * * * [progress]: [ 12 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (cbrt (* (* (* 1/6 1/6) 1/6) (* (* (* c (* c c)) (* c (* c c))) (* c (* c c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.051 * * * * [progress]: [ 13 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* (* (cbrt (* 1/6 (* c (* c c)))) (cbrt (* 1/6 (* c (* c c))))) (cbrt (* 1/6 (* c (* c c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.051 * * * * [progress]: [ 14 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (cbrt (* (* (* 1/6 (* c (* c c))) (* 1/6 (* c (* c c)))) (* 1/6 (* c (* c c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.052 * * * * [progress]: [ 15 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* (sqrt (* 1/6 (* c (* c c)))) (sqrt (* 1/6 (* c (* c c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.052 * * * * [progress]: [ 16 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1 (* 1/6 (* c (* c c)))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.052 * * * * [progress]: [ 17 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* (* 1/6 c) (* c c)) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.052 * * * * [progress]: [ 18 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* (* (cbrt 1/6) (cbrt 1/6)) (* (cbrt 1/6) (* c (* c c)))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.052 * * * * [progress]: [ 19 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* (sqrt 1/6) (* (sqrt 1/6) (* c (* c c)))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.052 * * * * [progress]: [ 20 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1 (* 1/6 (* c (* c c)))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.052 * * * * [progress]: [ 21 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (posit16->real (real->posit16 (* 1/6 (* c (* c c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.052 * * * * [progress]: [ 22 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* (* c (* c c)) 1/6) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.052 * * * * [progress]: [ 23 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (pow c (+ 1 (+ 1 1)))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.052 * * * * [progress]: [ 24 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (pow c (+ 1 2))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.052 * * * * [progress]: [ 25 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (pow c (+ 1 (+ 1 1)))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.053 * * * * [progress]: [ 26 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (pow c (+ 1 (* 2 1)))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.053 * * * * [progress]: [ 27 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (pow (* c (* c c)) 1)) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.053 * * * * [progress]: [ 28 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (pow (* c (* c c)) 1)) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.053 * * * * [progress]: [ 29 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (pow (* c (* c c)) 1)) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.053 * * * * [progress]: [ 30 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (exp (+ (log c) (+ (log c) (log c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.053 * * * * [progress]: [ 31 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (exp (+ (log c) (log (* c c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.053 * * * * [progress]: [ 32 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (exp (log (* c (* c c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.053 * * * * [progress]: [ 33 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (log (exp (* c (* c c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.053 * * * * [progress]: [ 34 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (pow c 3)) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.053 * * * * [progress]: [ 35 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (cbrt (* (* (* c c) c) (* (* (* c c) c) (* (* c c) c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.053 * * * * [progress]: [ 36 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (cbrt (* (* (* c c) c) (* (* (* c c) (* c c)) (* c c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.054 * * * * [progress]: [ 37 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* (* (cbrt (* c (* c c))) (cbrt (* c (* c c)))) (cbrt (* c (* c c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.054 * * * * [progress]: [ 38 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (cbrt (* (* (* c (* c c)) (* c (* c c))) (* c (* c c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.054 * * * * [progress]: [ 39 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* (sqrt (* c (* c c))) (sqrt (* c (* c c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.054 * * * * [progress]: [ 40 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* 1 (* c (* c c)))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.054 * * * * [progress]: [ 41 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* (* (sqrt c) c) (* (sqrt c) c))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.054 * * * * [progress]: [ 42 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* (* c c) c)) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.054 * * * * [progress]: [ 43 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* (* (cbrt c) (cbrt c)) (* (cbrt c) (* c c)))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.054 * * * * [progress]: [ 44 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* (sqrt c) (* (sqrt c) (* c c)))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.054 * * * * [progress]: [ 45 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* 1 (* c (* c c)))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.054 * * * * [progress]: [ 46 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (posit16->real (real->posit16 (* c (* c c))))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.054 * * * * [progress]: [ 47 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* (* c c) c)) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.055 * * * * [progress]: [ 48 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (pow (* (pow c 5) 1/120) 1)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.055 * * * * [progress]: [ 49 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (exp (+ (* (log c) 5) (log 1/120)))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.055 * * * * [progress]: [ 50 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (exp (+ (* (log c) 5) (log 1/120)))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.055 * * * * [progress]: [ 51 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (exp (+ (log (pow c 5)) (log 1/120)))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.055 * * * * [progress]: [ 52 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (exp (log (* (pow c 5) 1/120)))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.055 * * * * [progress]: [ 53 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (log (exp (* (pow c 5) 1/120)))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.055 * * * * [progress]: [ 54 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (cbrt (* (* (* (pow c 5) (pow c 5)) (pow c 5)) (* (* 1/120 1/120) 1/120)))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.055 * * * * [progress]: [ 55 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* (* (cbrt (* (pow c 5) 1/120)) (cbrt (* (pow c 5) 1/120))) (cbrt (* (pow c 5) 1/120)))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.055 * * * * [progress]: [ 56 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (cbrt (* (* (* (pow c 5) 1/120) (* (pow c 5) 1/120)) (* (pow c 5) 1/120)))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.055 * * * * [progress]: [ 57 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* (sqrt (* (pow c 5) 1/120)) (sqrt (* (pow c 5) 1/120)))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.055 * * * * [progress]: [ 58 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* 1 (* (pow c 5) 1/120))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.055 * * * * [progress]: [ 59 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* (* (pow (sqrt c) 5) (sqrt 1/120)) (* (pow (sqrt c) 5) (sqrt 1/120)))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.056 * * * * [progress]: [ 60 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* (* (sqrt (pow c 5)) (sqrt 1/120)) (* (sqrt (pow c 5)) (sqrt 1/120)))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.056 * * * * [progress]: [ 61 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* (* (pow c (/ 5 2)) (sqrt 1/120)) (* (pow c (/ 5 2)) (sqrt 1/120)))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.056 * * * * [progress]: [ 62 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* (* (pow c 5) (* (cbrt 1/120) (cbrt 1/120))) (cbrt 1/120))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.056 * * * * [progress]: [ 63 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* (* (pow c 5) (sqrt 1/120)) (sqrt 1/120))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.056 * * * * [progress]: [ 64 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* (* (pow c 5) 1) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.056 * * * * [progress]: [ 65 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* (pow (* (cbrt c) (cbrt c)) 5) (* (pow (cbrt c) 5) 1/120))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.056 * * * * [progress]: [ 66 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* (pow (sqrt c) 5) (* (pow (sqrt c) 5) 1/120))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.056 * * * * [progress]: [ 67 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* (pow 1 5) (* (pow c 5) 1/120))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.056 * * * * [progress]: [ 68 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* (* (cbrt (pow c 5)) (cbrt (pow c 5))) (* (cbrt (pow c 5)) 1/120))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.056 * * * * [progress]: [ 69 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* (sqrt (pow c 5)) (* (sqrt (pow c 5)) 1/120))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.056 * * * * [progress]: [ 70 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* 1 (* (pow c 5) 1/120))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.056 * * * * [progress]: [ 71 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* (pow c (/ 5 2)) (* (pow c (/ 5 2)) 1/120))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.057 * * * * [progress]: [ 72 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (posit16->real (real->posit16 (* (pow c 5) 1/120)))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.057 * * * * [progress]: [ 73 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* 1/120 (pow c 5))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.057 * * * * [progress]: [ 74 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (log (* (* (exp (* 1/6 (* c (* c c)))) (exp (* (pow c 5) 1/120))) (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.057 * * * * [progress]: [ 75 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (log (* (exp (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120))) (exp c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.057 * * * * [progress]: [ 76 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (pow (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c) 1) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.057 * * * * [progress]: [ 77 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.057 * * * * [progress]: [ 78 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (log (exp (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.057 * * * * [progress]: [ 79 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (* (* (cbrt (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c)) (cbrt (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c))) (cbrt (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.057 * * * * [progress]: [ 80 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (cbrt (* (* (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c) (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c)) (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.057 * * * * [progress]: [ 81 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (* (sqrt (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c)) (sqrt (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.057 * * * * [progress]: [ 82 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (/ (+ (pow (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) 3) (pow c 3)) (+ (* (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120))) (- (* c c) (* (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.057 * * * * [progress]: [ 83 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (* 1 (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.058 * * * * [progress]: [ 84 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (/ (- (* (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120))) (* c c)) (- (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.058 * * * * [progress]: [ 85 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (* 1 (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.058 * * * * [progress]: [ 86 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (* 1/6 (* c (* c c))) (+ (* (pow c 5) 1/120) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.058 * * * * [progress]: [ 87 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (posit16->real (real->posit16 (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.058 * * * * [progress]: [ 88 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ c (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.058 * * * * [progress]: [ 89 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (pow c 3)) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.058 * * * * [progress]: [ 90 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (pow c 3)) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.058 * * * * [progress]: [ 91 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (pow c 3)) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.058 * * * * [progress]: [ 92 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (pow c 3)) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.058 * * * * [progress]: [ 93 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (pow c 3)) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.058 * * * * [progress]: [ 94 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (pow c 3)) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.058 * * * * [progress]: [ 95 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* 1/120 (pow c 5))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.058 * * * * [progress]: [ 96 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* 1/120 (pow c 5))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.059 * * * * [progress]: [ 97 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* 1/120 (pow c 5))) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.059 * * * * [progress]: [ 98 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.059 * * * * [progress]: [ 99 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.059 * * * * [progress]: [ 100 / 100 ] simplifiying candidate #<alt (λ (c) (fmod (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
8.060 * [simplify]: Simplifying:
  (* 1/6 (* c (* c c)))
  (* 1/6 (* c (* c c)))
  (* 1/6 (* c (* c c)))
  (+ (log 1/6) (+ (log c) (+ (log c) (log c))))
  (+ (log 1/6) (+ (log c) (log (* c c))))
  (+ (log 1/6) (log (* c (* c c))))
  (log (* 1/6 (* c (* c c))))
  (exp (* 1/6 (* c (* c c))))
  (* (* (* 1/6 1/6) 1/6) (* (* (* c c) c) (* (* (* c c) c) (* (* c c) c))))
  (* (* (* 1/6 1/6) 1/6) (* (* (* c c) c) (* (* (* c c) (* c c)) (* c c))))
  (* (* (* 1/6 1/6) 1/6) (* (* (* c (* c c)) (* c (* c c))) (* c (* c c))))
  (* (cbrt (* 1/6 (* c (* c c)))) (cbrt (* 1/6 (* c (* c c)))))
  (cbrt (* 1/6 (* c (* c c))))
  (* (* (* 1/6 (* c (* c c))) (* 1/6 (* c (* c c)))) (* 1/6 (* c (* c c))))
  (sqrt (* 1/6 (* c (* c c))))
  (sqrt (* 1/6 (* c (* c c))))
  (* 1/6 c)
  (* (cbrt 1/6) (* c (* c c)))
  (* (sqrt 1/6) (* c (* c c)))
  (* 1/6 (* c (* c c)))
  (real->posit16 (* 1/6 (* c (* c c))))
  (+ 1 (+ 1 1))
  (+ 1 2)
  (+ 1 (+ 1 1))
  (+ 1 (* 2 1))
  (* c (* c c))
  (* c (* c c))
  (+ (log c) (+ (log c) (log c)))
  (+ (log c) (log (* c c)))
  (log (* c (* c c)))
  (exp (* c (* c c)))
  (* (* (* c c) c) (* (* (* c c) c) (* (* c c) c)))
  (* (* (* c c) c) (* (* (* c c) (* c c)) (* c c)))
  (* (cbrt (* c (* c c))) (cbrt (* c (* c c))))
  (cbrt (* c (* c c)))
  (* (* (* c (* c c)) (* c (* c c))) (* c (* c c)))
  (sqrt (* c (* c c)))
  (sqrt (* c (* c c)))
  (* (sqrt c) c)
  (* (sqrt c) c)
  (* c c)
  (* (cbrt c) (* c c))
  (* (sqrt c) (* c c))
  (* c (* c c))
  (real->posit16 (* c (* c c)))
  (+ (* (log c) 5) (log 1/120))
  (+ (* (log c) 5) (log 1/120))
  (+ (log (pow c 5)) (log 1/120))
  (log (* (pow c 5) 1/120))
  (exp (* (pow c 5) 1/120))
  (* (* (* (pow c 5) (pow c 5)) (pow c 5)) (* (* 1/120 1/120) 1/120))
  (* (cbrt (* (pow c 5) 1/120)) (cbrt (* (pow c 5) 1/120)))
  (cbrt (* (pow c 5) 1/120))
  (* (* (* (pow c 5) 1/120) (* (pow c 5) 1/120)) (* (pow c 5) 1/120))
  (sqrt (* (pow c 5) 1/120))
  (sqrt (* (pow c 5) 1/120))
  (* (pow (sqrt c) 5) (sqrt 1/120))
  (* (pow (sqrt c) 5) (sqrt 1/120))
  (* (sqrt (pow c 5)) (sqrt 1/120))
  (* (sqrt (pow c 5)) (sqrt 1/120))
  (* (pow c (/ 5 2)) (sqrt 1/120))
  (* (pow c (/ 5 2)) (sqrt 1/120))
  (* (pow c 5) (* (cbrt 1/120) (cbrt 1/120)))
  (* (pow c 5) (sqrt 1/120))
  (* (pow c 5) 1)
  (* (pow (cbrt c) 5) 1/120)
  (* (pow (sqrt c) 5) 1/120)
  (* (pow c 5) 1/120)
  (* (cbrt (pow c 5)) 1/120)
  (* (sqrt (pow c 5)) 1/120)
  (* (pow c 5) 1/120)
  (* (pow c (/ 5 2)) 1/120)
  (real->posit16 (* (pow c 5) 1/120))
  (* (* (exp (* 1/6 (* c (* c c)))) (exp (* (pow c 5) 1/120))) (exp c))
  (* (exp (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120))) (exp c))
  (log (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c))
  (exp (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c))
  (* (cbrt (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c)) (cbrt (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c)))
  (cbrt (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c))
  (* (* (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c) (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c)) (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c))
  (sqrt (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c))
  (sqrt (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c))
  (+ (pow (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) 3) (pow c 3))
  (+ (* (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120))) (- (* c c) (* (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c)))
  (- (* (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120))) (* c c))
  (- (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c)
  (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c)
  (+ (* (pow c 5) 1/120) c)
  (real->posit16 (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c))
  (* 1/6 (pow c 3))
  (* 1/6 (pow c 3))
  (* 1/6 (pow c 3))
  (pow c 3)
  (pow c 3)
  (pow c 3)
  (* 1/120 (pow c 5))
  (* 1/120 (pow c 5))
  (* 1/120 (pow c 5))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
  (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c))
8.062 * * [simplify]: iteration 1: (130 enodes)
8.137 * * [simplify]: iteration 2: (517 enodes)
8.295 * * [simplify]: iteration 3: (1263 enodes)
9.127 * * [simplify]: Extracting #0: cost 56 inf + 0
9.128 * * [simplify]: Extracting #1: cost 445 inf + 42
9.132 * * [simplify]: Extracting #2: cost 1325 inf + 5638
9.144 * * [simplify]: Extracting #3: cost 1242 inf + 48332
9.191 * * [simplify]: Extracting #4: cost 729 inf + 252041
9.291 * * [simplify]: Extracting #5: cost 65 inf + 602396
9.446 * * [simplify]: Extracting #6: cost 0 inf + 637368
9.595 * * [simplify]: Extracting #7: cost 0 inf + 637208
9.716 * [simplify]: Simplified to:
  (* 1/6 (* (* c c) c))
  (* 1/6 (* (* c c) c))
  (* 1/6 (* (* c c) c))
  (log (* 1/6 (* (* c c) c)))
  (log (* 1/6 (* (* c c) c)))
  (log (* 1/6 (* (* c c) c)))
  (log (* 1/6 (* (* c c) c)))
  (exp (* 1/6 (* (* c c) c)))
  (* (* 1/6 c) (* (* (* (* c c) (* c c)) 1/6) (* (* (* c c) (* c c)) 1/6)))
  (* (* 1/6 c) (* (* (* (* c c) (* c c)) 1/6) (* (* (* c c) (* c c)) 1/6)))
  (* (* 1/6 c) (* (* (* (* c c) (* c c)) 1/6) (* (* (* c c) (* c c)) 1/6)))
  (* (cbrt (* 1/6 (* (* c c) c))) (cbrt (* 1/6 (* (* c c) c))))
  (cbrt (* 1/6 (* (* c c) c)))
  (* (* 1/6 c) (* (* (* (* c c) (* c c)) 1/6) (* (* (* c c) (* c c)) 1/6)))
  (sqrt (* 1/6 (* (* c c) c)))
  (sqrt (* 1/6 (* (* c c) c)))
  (* 1/6 c)
  (* (cbrt 1/6) (* (* c c) c))
  (* (sqrt 1/6) (* (* c c) c))
  (* 1/6 (* (* c c) c))
  (real->posit16 (* 1/6 (* (* c c) c)))
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ 2 1)
  (* (* c c) c)
  (* (* c c) c)
  (* (log c) 3)
  (* (log c) 3)
  (* (log c) 3)
  (exp (* (* c c) c))
  (* (* (* (* c c) (* c c)) (* (* c c) (* c c))) c)
  (* (* (* (* c c) (* c c)) (* (* c c) (* c c))) c)
  (* c c)
  c
  (* (* (* (* c c) (* c c)) (* (* c c) (* c c))) c)
  (sqrt (* (* c c) c))
  (sqrt (* (* c c) c))
  (* (sqrt c) c)
  (* (sqrt c) c)
  (* c c)
  (* (* c c) (cbrt c))
  (* (* (sqrt c) c) c)
  (* (* c c) c)
  (real->posit16 (* (* c c) c))
  (+ (log 1/120) (* (log c) 5))
  (+ (log 1/120) (* (log c) 5))
  (+ (log 1/120) (* (log c) 5))
  (+ (log 1/120) (* (log c) 5))
  (exp (* (pow c 5) 1/120))
  (* (* (pow c 5) 1/120) (* (* (pow c 5) 1/120) (* (pow c 5) 1/120)))
  (* (cbrt (* (pow c 5) 1/120)) (cbrt (* (pow c 5) 1/120)))
  (cbrt (* (pow c 5) 1/120))
  (* (* (pow c 5) 1/120) (* (* (pow c 5) 1/120) (* (pow c 5) 1/120)))
  (sqrt (* (pow c 5) 1/120))
  (sqrt (* (pow c 5) 1/120))
  (* (pow (sqrt c) 5) (sqrt 1/120))
  (* (pow (sqrt c) 5) (sqrt 1/120))
  (* (sqrt (pow c 5)) (sqrt 1/120))
  (* (sqrt (pow c 5)) (sqrt 1/120))
  (* (sqrt 1/120) (pow c (/ 5 2)))
  (* (sqrt 1/120) (pow c (/ 5 2)))
  (* (* (cbrt 1/120) (pow c 5)) (cbrt 1/120))
  (* (sqrt 1/120) (pow c 5))
  (pow c 5)
  (* 1/120 (pow (cbrt c) 5))
  (* 1/120 (pow (sqrt c) 5))
  (* (pow c 5) 1/120)
  (* 1/120 (cbrt (pow c 5)))
  (* (sqrt (pow c 5)) 1/120)
  (* (pow c 5) 1/120)
  (* (pow c (/ 5 2)) 1/120)
  (real->posit16 (* (pow c 5) 1/120))
  (exp (+ (* (pow c 5) 1/120) (+ (* 1/6 (* (* c c) c)) c)))
  (exp (+ (* (pow c 5) 1/120) (+ (* 1/6 (* (* c c) c)) c)))
  (log (+ (* (pow c 5) 1/120) (+ (* 1/6 (* (* c c) c)) c)))
  (exp (+ (* (pow c 5) 1/120) (+ (* 1/6 (* (* c c) c)) c)))
  (* (cbrt (+ (* (pow c 5) 1/120) (+ (* 1/6 (* (* c c) c)) c))) (cbrt (+ (* (pow c 5) 1/120) (+ (* 1/6 (* (* c c) c)) c))))
  (cbrt (+ (* (pow c 5) 1/120) (+ (* 1/6 (* (* c c) c)) c)))
  (* (+ (* (pow c 5) 1/120) (+ (* 1/6 (* (* c c) c)) c)) (* (+ (* (pow c 5) 1/120) (+ (* 1/6 (* (* c c) c)) c)) (+ (* (pow c 5) 1/120) (+ (* 1/6 (* (* c c) c)) c))))
  (sqrt (+ (* (pow c 5) 1/120) (+ (* 1/6 (* (* c c) c)) c)))
  (sqrt (+ (* (pow c 5) 1/120) (+ (* 1/6 (* (* c c) c)) c)))
  (+ (* (* c c) c) (* (* (+ (* (pow c 5) 1/120) (* 1/6 (* (* c c) c))) (+ (* (pow c 5) 1/120) (* 1/6 (* (* c c) c)))) (+ (* (pow c 5) 1/120) (* 1/6 (* (* c c) c)))))
  (- (* c c) (* (+ (* (pow c 5) 1/120) (* 1/6 (* (* c c) c))) (- c (+ (* (pow c 5) 1/120) (* 1/6 (* (* c c) c))))))
  (- (* (+ (* (pow c 5) 1/120) (* 1/6 (* (* c c) c))) (+ (* (pow c 5) 1/120) (* 1/6 (* (* c c) c)))) (* c c))
  (+ (* 1/6 (* (* c c) c)) (- (* (pow c 5) 1/120) c))
  (+ (* (pow c 5) 1/120) (+ (* 1/6 (* (* c c) c)) c))
  (+ c (* (pow c 5) 1/120))
  (real->posit16 (+ (* (pow c 5) 1/120) (+ (* 1/6 (* (* c c) c)) c)))
  (* 1/6 (* (* c c) c))
  (* 1/6 (* (* c c) c))
  (* 1/6 (* (* c c) c))
  (* (* c c) c)
  (* (* c c) c)
  (* (* c c) c)
  (* (pow c 5) 1/120)
  (* (pow c 5) 1/120)
  (* (pow c 5) 1/120)
  (+ (* (pow c 5) 1/120) (+ (* 1/6 (* (* c c) c)) c))
  (+ (* (pow c 5) 1/120) (+ (* 1/6 (* (* c c) c)) c))
  (+ (* (pow c 5) 1/120) (+ (* 1/6 (* (* c c) c)) c))
9.730 * * * [progress]: adding candidates to table
10.758 * * [progress]: iteration 3 / 4
10.758 * * * [progress]: picking best candidate
10.761 * * * * [pick]: Picked  #<alt (λ (c) (fmod (exp (log (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
10.761 * * * [progress]: localizing error
10.789 * * * [progress]: generating rewritten candidates
10.789 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
10.795 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1)
10.798 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
10.802 * * * [progress]: generating series expansions
10.802 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
10.802 * [backup-simplify]: Simplify (exp (log (sinh c))) into (sinh c)
10.802 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
10.802 * [taylor]: Taking taylor expansion of (sinh c) in c
10.802 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
10.802 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
10.802 * [taylor]: Taking taylor expansion of (exp c) in c
10.802 * [taylor]: Taking taylor expansion of c in c
10.802 * [backup-simplify]: Simplify 0 into 0
10.802 * [backup-simplify]: Simplify 1 into 1
10.802 * [backup-simplify]: Simplify (exp 0) into 1
10.802 * [taylor]: Taking taylor expansion of (exp (- c)) in c
10.802 * [taylor]: Taking taylor expansion of (- c) in c
10.802 * [taylor]: Taking taylor expansion of c in c
10.802 * [backup-simplify]: Simplify 0 into 0
10.802 * [backup-simplify]: Simplify 1 into 1
10.803 * [backup-simplify]: Simplify (- 0) into 0
10.803 * [backup-simplify]: Simplify (- 1) into -1
10.803 * [backup-simplify]: Simplify (exp 0) into 1
10.803 * [taylor]: Taking taylor expansion of 2 in c
10.803 * [backup-simplify]: Simplify 2 into 2
10.804 * [backup-simplify]: Simplify (- 1) into -1
10.804 * [backup-simplify]: Simplify (+ 1 -1) into 0
10.805 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
10.805 * [backup-simplify]: Simplify (- 1) into -1
10.806 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
10.806 * [backup-simplify]: Simplify (- -1) into 1
10.807 * [backup-simplify]: Simplify (+ 1 1) into 2
10.807 * [backup-simplify]: Simplify (/ 2 2) into 1
10.807 * [taylor]: Taking taylor expansion of (sinh c) in c
10.807 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
10.807 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
10.807 * [taylor]: Taking taylor expansion of (exp c) in c
10.807 * [taylor]: Taking taylor expansion of c in c
10.807 * [backup-simplify]: Simplify 0 into 0
10.807 * [backup-simplify]: Simplify 1 into 1
10.807 * [backup-simplify]: Simplify (exp 0) into 1
10.807 * [taylor]: Taking taylor expansion of (exp (- c)) in c
10.807 * [taylor]: Taking taylor expansion of (- c) in c
10.807 * [taylor]: Taking taylor expansion of c in c
10.807 * [backup-simplify]: Simplify 0 into 0
10.807 * [backup-simplify]: Simplify 1 into 1
10.807 * [backup-simplify]: Simplify (- 0) into 0
10.808 * [backup-simplify]: Simplify (- 1) into -1
10.808 * [backup-simplify]: Simplify (exp 0) into 1
10.808 * [taylor]: Taking taylor expansion of 2 in c
10.808 * [backup-simplify]: Simplify 2 into 2
10.808 * [backup-simplify]: Simplify (- 1) into -1
10.808 * [backup-simplify]: Simplify (+ 1 -1) into 0
10.809 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
10.809 * [backup-simplify]: Simplify (- 1) into -1
10.810 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
10.810 * [backup-simplify]: Simplify (- -1) into 1
10.810 * [backup-simplify]: Simplify (+ 1 1) into 2
10.810 * [backup-simplify]: Simplify (/ 2 2) into 1
10.811 * [backup-simplify]: Simplify 1 into 1
10.811 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
10.812 * [backup-simplify]: Simplify (- 1) into -1
10.812 * [backup-simplify]: Simplify (- 0) into 0
10.813 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
10.813 * [backup-simplify]: Simplify (- 1/2) into -1/2
10.813 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
10.814 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
10.814 * [backup-simplify]: Simplify 0 into 0
10.815 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
10.816 * [backup-simplify]: Simplify (- 1) into -1
10.816 * [backup-simplify]: Simplify (- 1) into -1
10.816 * [backup-simplify]: Simplify (- 0) into 0
10.816 * [backup-simplify]: Simplify (- 0) into 0
10.818 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
10.818 * [backup-simplify]: Simplify (- -1/6) into 1/6
10.818 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
10.819 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
10.819 * [backup-simplify]: Simplify 1/6 into 1/6
10.826 * [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
10.826 * [backup-simplify]: Simplify (- 1) into -1
10.826 * [backup-simplify]: Simplify (- 1) into -1
10.827 * [backup-simplify]: Simplify (- 0) into 0
10.827 * [backup-simplify]: Simplify (- 1) into -1
10.827 * [backup-simplify]: Simplify (- 0) into 0
10.827 * [backup-simplify]: Simplify (- 0) into 0
10.827 * [backup-simplify]: Simplify (- 0) into 0
10.830 * [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
10.830 * [backup-simplify]: Simplify (- 1/24) into -1/24
10.831 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
10.831 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
10.831 * [backup-simplify]: Simplify 0 into 0
10.834 * [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
10.835 * [backup-simplify]: Simplify (- 1) into -1
10.835 * [backup-simplify]: Simplify (- 1) into -1
10.835 * [backup-simplify]: Simplify (- 0) into 0
10.836 * [backup-simplify]: Simplify (- 1) into -1
10.836 * [backup-simplify]: Simplify (- 0) into 0
10.836 * [backup-simplify]: Simplify (- 1) into -1
10.836 * [backup-simplify]: Simplify (- 0) into 0
10.836 * [backup-simplify]: Simplify (- 1) into -1
10.837 * [backup-simplify]: Simplify (- 0) into 0
10.837 * [backup-simplify]: Simplify (- 0) into 0
10.837 * [backup-simplify]: Simplify (- 0) into 0
10.837 * [backup-simplify]: Simplify (- 0) into 0
10.840 * [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
10.841 * [backup-simplify]: Simplify (- -1/120) into 1/120
10.841 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
10.842 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
10.842 * [backup-simplify]: Simplify 1/120 into 1/120
10.842 * [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))
10.842 * [backup-simplify]: Simplify (exp (log (sinh (/ 1 c)))) into (sinh (/ 1 c))
10.842 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
10.842 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
10.842 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
10.842 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
10.842 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
10.842 * [taylor]: Taking taylor expansion of (/ 1 c) in c
10.842 * [taylor]: Taking taylor expansion of c in c
10.842 * [backup-simplify]: Simplify 0 into 0
10.842 * [backup-simplify]: Simplify 1 into 1
10.843 * [backup-simplify]: Simplify (/ 1 1) into 1
10.843 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
10.843 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
10.843 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
10.843 * [taylor]: Taking taylor expansion of (/ 1 c) in c
10.843 * [taylor]: Taking taylor expansion of c in c
10.843 * [backup-simplify]: Simplify 0 into 0
10.843 * [backup-simplify]: Simplify 1 into 1
10.843 * [backup-simplify]: Simplify (/ 1 1) into 1
10.843 * [backup-simplify]: Simplify (- 1) into -1
10.843 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
10.843 * [taylor]: Taking taylor expansion of 2 in c
10.843 * [backup-simplify]: Simplify 2 into 2
10.844 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
10.844 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
10.844 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
10.844 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
10.844 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
10.844 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
10.844 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
10.844 * [taylor]: Taking taylor expansion of (/ 1 c) in c
10.844 * [taylor]: Taking taylor expansion of c in c
10.844 * [backup-simplify]: Simplify 0 into 0
10.844 * [backup-simplify]: Simplify 1 into 1
10.844 * [backup-simplify]: Simplify (/ 1 1) into 1
10.844 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
10.844 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
10.844 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
10.844 * [taylor]: Taking taylor expansion of (/ 1 c) in c
10.844 * [taylor]: Taking taylor expansion of c in c
10.844 * [backup-simplify]: Simplify 0 into 0
10.844 * [backup-simplify]: Simplify 1 into 1
10.844 * [backup-simplify]: Simplify (/ 1 1) into 1
10.845 * [backup-simplify]: Simplify (- 1) into -1
10.845 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
10.845 * [taylor]: Taking taylor expansion of 2 in c
10.845 * [backup-simplify]: Simplify 2 into 2
10.845 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
10.845 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
10.845 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
10.845 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
10.845 * [backup-simplify]: Simplify (- 0) into 0
10.846 * [backup-simplify]: Simplify (+ 0 0) into 0
10.846 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
10.846 * [backup-simplify]: Simplify 0 into 0
10.847 * [backup-simplify]: Simplify (- 0) into 0
10.847 * [backup-simplify]: Simplify (+ 0 0) into 0
10.848 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
10.848 * [backup-simplify]: Simplify 0 into 0
10.848 * [backup-simplify]: Simplify (- 0) into 0
10.848 * [backup-simplify]: Simplify (+ 0 0) into 0
10.850 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
10.850 * [backup-simplify]: Simplify 0 into 0
10.850 * [backup-simplify]: Simplify (- 0) into 0
10.850 * [backup-simplify]: Simplify (+ 0 0) into 0
10.852 * [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
10.852 * [backup-simplify]: Simplify 0 into 0
10.852 * [backup-simplify]: Simplify (- 0) into 0
10.852 * [backup-simplify]: Simplify (+ 0 0) into 0
10.854 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
10.854 * [backup-simplify]: Simplify 0 into 0
10.854 * [backup-simplify]: Simplify (- 0) into 0
10.854 * [backup-simplify]: Simplify (+ 0 0) into 0
10.857 * [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
10.857 * [backup-simplify]: Simplify 0 into 0
10.857 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
10.857 * [backup-simplify]: Simplify (exp (log (sinh (/ 1 (- c))))) into (sinh (/ -1 c))
10.857 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
10.857 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
10.857 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
10.857 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
10.857 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
10.857 * [taylor]: Taking taylor expansion of (/ -1 c) in c
10.857 * [taylor]: Taking taylor expansion of -1 in c
10.857 * [backup-simplify]: Simplify -1 into -1
10.857 * [taylor]: Taking taylor expansion of c in c
10.857 * [backup-simplify]: Simplify 0 into 0
10.857 * [backup-simplify]: Simplify 1 into 1
10.857 * [backup-simplify]: Simplify (/ -1 1) into -1
10.857 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
10.857 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
10.857 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
10.858 * [taylor]: Taking taylor expansion of (/ -1 c) in c
10.858 * [taylor]: Taking taylor expansion of -1 in c
10.858 * [backup-simplify]: Simplify -1 into -1
10.858 * [taylor]: Taking taylor expansion of c in c
10.858 * [backup-simplify]: Simplify 0 into 0
10.858 * [backup-simplify]: Simplify 1 into 1
10.858 * [backup-simplify]: Simplify (/ -1 1) into -1
10.858 * [backup-simplify]: Simplify (- -1) into 1
10.859 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
10.859 * [taylor]: Taking taylor expansion of 2 in c
10.859 * [backup-simplify]: Simplify 2 into 2
10.859 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
10.859 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
10.859 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
10.859 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
10.859 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
10.859 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
10.859 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
10.859 * [taylor]: Taking taylor expansion of (/ -1 c) in c
10.859 * [taylor]: Taking taylor expansion of -1 in c
10.859 * [backup-simplify]: Simplify -1 into -1
10.859 * [taylor]: Taking taylor expansion of c in c
10.859 * [backup-simplify]: Simplify 0 into 0
10.859 * [backup-simplify]: Simplify 1 into 1
10.860 * [backup-simplify]: Simplify (/ -1 1) into -1
10.860 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
10.860 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
10.860 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
10.860 * [taylor]: Taking taylor expansion of (/ -1 c) in c
10.860 * [taylor]: Taking taylor expansion of -1 in c
10.860 * [backup-simplify]: Simplify -1 into -1
10.860 * [taylor]: Taking taylor expansion of c in c
10.860 * [backup-simplify]: Simplify 0 into 0
10.860 * [backup-simplify]: Simplify 1 into 1
10.861 * [backup-simplify]: Simplify (/ -1 1) into -1
10.861 * [backup-simplify]: Simplify (- -1) into 1
10.861 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
10.861 * [taylor]: Taking taylor expansion of 2 in c
10.861 * [backup-simplify]: Simplify 2 into 2
10.861 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
10.861 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
10.861 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
10.862 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
10.862 * [backup-simplify]: Simplify (- 0) into 0
10.862 * [backup-simplify]: Simplify (+ 0 0) into 0
10.863 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
10.863 * [backup-simplify]: Simplify 0 into 0
10.863 * [backup-simplify]: Simplify (- 0) into 0
10.863 * [backup-simplify]: Simplify (+ 0 0) into 0
10.864 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
10.864 * [backup-simplify]: Simplify 0 into 0
10.864 * [backup-simplify]: Simplify (- 0) into 0
10.865 * [backup-simplify]: Simplify (+ 0 0) into 0
10.866 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
10.866 * [backup-simplify]: Simplify 0 into 0
10.866 * [backup-simplify]: Simplify (- 0) into 0
10.866 * [backup-simplify]: Simplify (+ 0 0) into 0
10.868 * [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
10.868 * [backup-simplify]: Simplify 0 into 0
10.868 * [backup-simplify]: Simplify (- 0) into 0
10.868 * [backup-simplify]: Simplify (+ 0 0) into 0
10.871 * [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
10.871 * [backup-simplify]: Simplify 0 into 0
10.871 * [backup-simplify]: Simplify (- 0) into 0
10.871 * [backup-simplify]: Simplify (+ 0 0) into 0
10.873 * [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
10.873 * [backup-simplify]: Simplify 0 into 0
10.873 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
10.873 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1)
10.873 * [backup-simplify]: Simplify (sinh c) into (sinh c)
10.873 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0
10.873 * [taylor]: Taking taylor expansion of (sinh c) in c
10.874 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
10.874 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
10.874 * [taylor]: Taking taylor expansion of (exp c) in c
10.874 * [taylor]: Taking taylor expansion of c in c
10.874 * [backup-simplify]: Simplify 0 into 0
10.874 * [backup-simplify]: Simplify 1 into 1
10.874 * [backup-simplify]: Simplify (exp 0) into 1
10.874 * [taylor]: Taking taylor expansion of (exp (- c)) in c
10.874 * [taylor]: Taking taylor expansion of (- c) in c
10.874 * [taylor]: Taking taylor expansion of c in c
10.874 * [backup-simplify]: Simplify 0 into 0
10.874 * [backup-simplify]: Simplify 1 into 1
10.874 * [backup-simplify]: Simplify (- 0) into 0
10.874 * [backup-simplify]: Simplify (- 1) into -1
10.874 * [backup-simplify]: Simplify (exp 0) into 1
10.874 * [taylor]: Taking taylor expansion of 2 in c
10.874 * [backup-simplify]: Simplify 2 into 2
10.874 * [backup-simplify]: Simplify (- 1) into -1
10.875 * [backup-simplify]: Simplify (+ 1 -1) into 0
10.875 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
10.876 * [backup-simplify]: Simplify (- 1) into -1
10.876 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
10.877 * [backup-simplify]: Simplify (- -1) into 1
10.877 * [backup-simplify]: Simplify (+ 1 1) into 2
10.877 * [backup-simplify]: Simplify (/ 2 2) into 1
10.877 * [taylor]: Taking taylor expansion of (sinh c) in c
10.877 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
10.877 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
10.877 * [taylor]: Taking taylor expansion of (exp c) in c
10.877 * [taylor]: Taking taylor expansion of c in c
10.877 * [backup-simplify]: Simplify 0 into 0
10.877 * [backup-simplify]: Simplify 1 into 1
10.877 * [backup-simplify]: Simplify (exp 0) into 1
10.877 * [taylor]: Taking taylor expansion of (exp (- c)) in c
10.877 * [taylor]: Taking taylor expansion of (- c) in c
10.877 * [taylor]: Taking taylor expansion of c in c
10.877 * [backup-simplify]: Simplify 0 into 0
10.877 * [backup-simplify]: Simplify 1 into 1
10.878 * [backup-simplify]: Simplify (- 0) into 0
10.878 * [backup-simplify]: Simplify (- 1) into -1
10.878 * [backup-simplify]: Simplify (exp 0) into 1
10.878 * [taylor]: Taking taylor expansion of 2 in c
10.878 * [backup-simplify]: Simplify 2 into 2
10.878 * [backup-simplify]: Simplify (- 1) into -1
10.878 * [backup-simplify]: Simplify (+ 1 -1) into 0
10.879 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
10.879 * [backup-simplify]: Simplify (- 1) into -1
10.880 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
10.880 * [backup-simplify]: Simplify (- -1) into 1
10.880 * [backup-simplify]: Simplify (+ 1 1) into 2
10.881 * [backup-simplify]: Simplify (/ 2 2) into 1
10.881 * [backup-simplify]: Simplify 1 into 1
10.882 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
10.882 * [backup-simplify]: Simplify (- 1) into -1
10.882 * [backup-simplify]: Simplify (- 0) into 0
10.883 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
10.883 * [backup-simplify]: Simplify (- 1/2) into -1/2
10.884 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
10.884 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
10.884 * [backup-simplify]: Simplify 0 into 0
10.886 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
10.886 * [backup-simplify]: Simplify (- 1) into -1
10.886 * [backup-simplify]: Simplify (- 1) into -1
10.886 * [backup-simplify]: Simplify (- 0) into 0
10.887 * [backup-simplify]: Simplify (- 0) into 0
10.888 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
10.888 * [backup-simplify]: Simplify (- -1/6) into 1/6
10.888 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
10.889 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
10.889 * [backup-simplify]: Simplify 1/6 into 1/6
10.891 * [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
10.892 * [backup-simplify]: Simplify (- 1) into -1
10.892 * [backup-simplify]: Simplify (- 1) into -1
10.892 * [backup-simplify]: Simplify (- 0) into 0
10.892 * [backup-simplify]: Simplify (- 1) into -1
10.893 * [backup-simplify]: Simplify (- 0) into 0
10.893 * [backup-simplify]: Simplify (- 0) into 0
10.893 * [backup-simplify]: Simplify (- 0) into 0
10.897 * [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
10.898 * [backup-simplify]: Simplify (- 1/24) into -1/24
10.898 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
10.899 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
10.899 * [backup-simplify]: Simplify 0 into 0
10.905 * [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
10.906 * [backup-simplify]: Simplify (- 1) into -1
10.906 * [backup-simplify]: Simplify (- 1) into -1
10.906 * [backup-simplify]: Simplify (- 0) into 0
10.907 * [backup-simplify]: Simplify (- 1) into -1
10.907 * [backup-simplify]: Simplify (- 0) into 0
10.908 * [backup-simplify]: Simplify (- 1) into -1
10.908 * [backup-simplify]: Simplify (- 0) into 0
10.908 * [backup-simplify]: Simplify (- 1) into -1
10.909 * [backup-simplify]: Simplify (- 0) into 0
10.909 * [backup-simplify]: Simplify (- 0) into 0
10.910 * [backup-simplify]: Simplify (- 0) into 0
10.910 * [backup-simplify]: Simplify (- 0) into 0
10.916 * [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
10.917 * [backup-simplify]: Simplify (- -1/120) into 1/120
10.917 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
10.919 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
10.919 * [backup-simplify]: Simplify 1/120 into 1/120
10.919 * [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))
10.919 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c))
10.919 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0
10.919 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
10.920 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
10.920 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
10.920 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
10.920 * [taylor]: Taking taylor expansion of (/ 1 c) in c
10.920 * [taylor]: Taking taylor expansion of c in c
10.920 * [backup-simplify]: Simplify 0 into 0
10.920 * [backup-simplify]: Simplify 1 into 1
10.920 * [backup-simplify]: Simplify (/ 1 1) into 1
10.920 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
10.920 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
10.920 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
10.920 * [taylor]: Taking taylor expansion of (/ 1 c) in c
10.920 * [taylor]: Taking taylor expansion of c in c
10.920 * [backup-simplify]: Simplify 0 into 0
10.920 * [backup-simplify]: Simplify 1 into 1
10.921 * [backup-simplify]: Simplify (/ 1 1) into 1
10.925 * [backup-simplify]: Simplify (- 1) into -1
10.925 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
10.925 * [taylor]: Taking taylor expansion of 2 in c
10.925 * [backup-simplify]: Simplify 2 into 2
10.925 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
10.926 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
10.926 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
10.926 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
10.926 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
10.926 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
10.926 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
10.926 * [taylor]: Taking taylor expansion of (/ 1 c) in c
10.926 * [taylor]: Taking taylor expansion of c in c
10.926 * [backup-simplify]: Simplify 0 into 0
10.926 * [backup-simplify]: Simplify 1 into 1
10.926 * [backup-simplify]: Simplify (/ 1 1) into 1
10.926 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
10.926 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
10.926 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
10.926 * [taylor]: Taking taylor expansion of (/ 1 c) in c
10.926 * [taylor]: Taking taylor expansion of c in c
10.926 * [backup-simplify]: Simplify 0 into 0
10.926 * [backup-simplify]: Simplify 1 into 1
10.927 * [backup-simplify]: Simplify (/ 1 1) into 1
10.927 * [backup-simplify]: Simplify (- 1) into -1
10.927 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
10.927 * [taylor]: Taking taylor expansion of 2 in c
10.927 * [backup-simplify]: Simplify 2 into 2
10.927 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
10.927 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
10.927 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
10.927 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
10.928 * [backup-simplify]: Simplify (- 0) into 0
10.928 * [backup-simplify]: Simplify (+ 0 0) into 0
10.929 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
10.929 * [backup-simplify]: Simplify 0 into 0
10.929 * [backup-simplify]: Simplify (- 0) into 0
10.929 * [backup-simplify]: Simplify (+ 0 0) into 0
10.930 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
10.930 * [backup-simplify]: Simplify 0 into 0
10.930 * [backup-simplify]: Simplify (- 0) into 0
10.931 * [backup-simplify]: Simplify (+ 0 0) into 0
10.932 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
10.932 * [backup-simplify]: Simplify 0 into 0
10.932 * [backup-simplify]: Simplify (- 0) into 0
10.932 * [backup-simplify]: Simplify (+ 0 0) into 0
10.934 * [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
10.934 * [backup-simplify]: Simplify 0 into 0
10.934 * [backup-simplify]: Simplify (- 0) into 0
10.934 * [backup-simplify]: Simplify (+ 0 0) into 0
10.936 * [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
10.936 * [backup-simplify]: Simplify 0 into 0
10.937 * [backup-simplify]: Simplify (- 0) into 0
10.937 * [backup-simplify]: Simplify (+ 0 0) into 0
10.939 * [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
10.939 * [backup-simplify]: Simplify 0 into 0
10.939 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c))))
10.939 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c))
10.939 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0
10.939 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
10.939 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
10.939 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
10.939 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
10.939 * [taylor]: Taking taylor expansion of (/ -1 c) in c
10.939 * [taylor]: Taking taylor expansion of -1 in c
10.939 * [backup-simplify]: Simplify -1 into -1
10.939 * [taylor]: Taking taylor expansion of c in c
10.939 * [backup-simplify]: Simplify 0 into 0
10.939 * [backup-simplify]: Simplify 1 into 1
10.940 * [backup-simplify]: Simplify (/ -1 1) into -1
10.940 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
10.940 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
10.940 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
10.940 * [taylor]: Taking taylor expansion of (/ -1 c) in c
10.940 * [taylor]: Taking taylor expansion of -1 in c
10.940 * [backup-simplify]: Simplify -1 into -1
10.940 * [taylor]: Taking taylor expansion of c in c
10.940 * [backup-simplify]: Simplify 0 into 0
10.940 * [backup-simplify]: Simplify 1 into 1
10.940 * [backup-simplify]: Simplify (/ -1 1) into -1
10.940 * [backup-simplify]: Simplify (- -1) into 1
10.940 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
10.940 * [taylor]: Taking taylor expansion of 2 in c
10.940 * [backup-simplify]: Simplify 2 into 2
10.940 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
10.941 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
10.941 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
10.941 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
10.941 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
10.941 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
10.941 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
10.941 * [taylor]: Taking taylor expansion of (/ -1 c) in c
10.941 * [taylor]: Taking taylor expansion of -1 in c
10.941 * [backup-simplify]: Simplify -1 into -1
10.941 * [taylor]: Taking taylor expansion of c in c
10.941 * [backup-simplify]: Simplify 0 into 0
10.941 * [backup-simplify]: Simplify 1 into 1
10.941 * [backup-simplify]: Simplify (/ -1 1) into -1
10.941 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
10.941 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
10.941 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
10.941 * [taylor]: Taking taylor expansion of (/ -1 c) in c
10.941 * [taylor]: Taking taylor expansion of -1 in c
10.941 * [backup-simplify]: Simplify -1 into -1
10.941 * [taylor]: Taking taylor expansion of c in c
10.941 * [backup-simplify]: Simplify 0 into 0
10.941 * [backup-simplify]: Simplify 1 into 1
10.942 * [backup-simplify]: Simplify (/ -1 1) into -1
10.942 * [backup-simplify]: Simplify (- -1) into 1
10.942 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
10.942 * [taylor]: Taking taylor expansion of 2 in c
10.942 * [backup-simplify]: Simplify 2 into 2
10.942 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
10.942 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
10.942 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
10.942 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
10.942 * [backup-simplify]: Simplify (- 0) into 0
10.943 * [backup-simplify]: Simplify (+ 0 0) into 0
10.943 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
10.943 * [backup-simplify]: Simplify 0 into 0
10.944 * [backup-simplify]: Simplify (- 0) into 0
10.944 * [backup-simplify]: Simplify (+ 0 0) into 0
10.945 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
10.945 * [backup-simplify]: Simplify 0 into 0
10.945 * [backup-simplify]: Simplify (- 0) into 0
10.945 * [backup-simplify]: Simplify (+ 0 0) into 0
10.946 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
10.947 * [backup-simplify]: Simplify 0 into 0
10.947 * [backup-simplify]: Simplify (- 0) into 0
10.947 * [backup-simplify]: Simplify (+ 0 0) into 0
10.949 * [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
10.949 * [backup-simplify]: Simplify 0 into 0
10.949 * [backup-simplify]: Simplify (- 0) into 0
10.950 * [backup-simplify]: Simplify (+ 0 0) into 0
10.951 * [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
10.952 * [backup-simplify]: Simplify 0 into 0
10.952 * [backup-simplify]: Simplify (- 0) into 0
10.952 * [backup-simplify]: Simplify (+ 0 0) into 0
10.954 * [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
10.954 * [backup-simplify]: Simplify 0 into 0
10.954 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c))))
10.954 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
10.954 * [backup-simplify]: Simplify (log (sinh c)) into (log (sinh c))
10.954 * [approximate]: Taking taylor expansion of (log (sinh c)) in (c) around 0
10.955 * [taylor]: Taking taylor expansion of (log (sinh c)) in c
10.955 * [taylor]: Taking taylor expansion of (sinh c) in c
10.955 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
10.955 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
10.955 * [taylor]: Taking taylor expansion of (exp c) in c
10.955 * [taylor]: Taking taylor expansion of c in c
10.955 * [backup-simplify]: Simplify 0 into 0
10.955 * [backup-simplify]: Simplify 1 into 1
10.955 * [backup-simplify]: Simplify (exp 0) into 1
10.955 * [taylor]: Taking taylor expansion of (exp (- c)) in c
10.955 * [taylor]: Taking taylor expansion of (- c) in c
10.955 * [taylor]: Taking taylor expansion of c in c
10.955 * [backup-simplify]: Simplify 0 into 0
10.955 * [backup-simplify]: Simplify 1 into 1
10.955 * [backup-simplify]: Simplify (- 0) into 0
10.955 * [backup-simplify]: Simplify (- 1) into -1
10.955 * [backup-simplify]: Simplify (exp 0) into 1
10.955 * [taylor]: Taking taylor expansion of 2 in c
10.955 * [backup-simplify]: Simplify 2 into 2
10.956 * [backup-simplify]: Simplify (- 1) into -1
10.956 * [backup-simplify]: Simplify (+ 1 -1) into 0
10.956 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
10.957 * [backup-simplify]: Simplify (- 1) into -1
10.957 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
10.958 * [backup-simplify]: Simplify (- -1) into 1
10.958 * [backup-simplify]: Simplify (+ 1 1) into 2
10.958 * [backup-simplify]: Simplify (/ 2 2) into 1
10.958 * [backup-simplify]: Simplify (log 1) into 0
10.958 * [taylor]: Taking taylor expansion of (log (sinh c)) in c
10.958 * [taylor]: Taking taylor expansion of (sinh c) in c
10.958 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2)
10.958 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c
10.958 * [taylor]: Taking taylor expansion of (exp c) in c
10.959 * [taylor]: Taking taylor expansion of c in c
10.959 * [backup-simplify]: Simplify 0 into 0
10.959 * [backup-simplify]: Simplify 1 into 1
10.959 * [backup-simplify]: Simplify (exp 0) into 1
10.959 * [taylor]: Taking taylor expansion of (exp (- c)) in c
10.959 * [taylor]: Taking taylor expansion of (- c) in c
10.959 * [taylor]: Taking taylor expansion of c in c
10.959 * [backup-simplify]: Simplify 0 into 0
10.959 * [backup-simplify]: Simplify 1 into 1
10.959 * [backup-simplify]: Simplify (- 0) into 0
10.959 * [backup-simplify]: Simplify (- 1) into -1
10.959 * [backup-simplify]: Simplify (exp 0) into 1
10.959 * [taylor]: Taking taylor expansion of 2 in c
10.959 * [backup-simplify]: Simplify 2 into 2
10.959 * [backup-simplify]: Simplify (- 1) into -1
10.960 * [backup-simplify]: Simplify (+ 1 -1) into 0
10.960 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
10.961 * [backup-simplify]: Simplify (- 1) into -1
10.961 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
10.961 * [backup-simplify]: Simplify (- -1) into 1
10.962 * [backup-simplify]: Simplify (+ 1 1) into 2
10.962 * [backup-simplify]: Simplify (/ 2 2) into 1
10.962 * [backup-simplify]: Simplify (log 1) into 0
10.963 * [backup-simplify]: Simplify (+ (* (- -1) (log c)) 0) into (log c)
10.963 * [backup-simplify]: Simplify (log c) into (log c)
10.964 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
10.964 * [backup-simplify]: Simplify (- 1) into -1
10.964 * [backup-simplify]: Simplify (- 0) into 0
10.965 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
10.966 * [backup-simplify]: Simplify (- 1/2) into -1/2
10.966 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0
10.966 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
10.967 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
10.967 * [backup-simplify]: Simplify 0 into 0
10.969 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
10.970 * [backup-simplify]: Simplify (- 1) into -1
10.970 * [backup-simplify]: Simplify (- 1) into -1
10.971 * [backup-simplify]: Simplify (- 0) into 0
10.971 * [backup-simplify]: Simplify (- 0) into 0
10.974 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
10.974 * [backup-simplify]: Simplify (- -1/6) into 1/6
10.975 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3
10.976 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6
10.979 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/6) 1)) (pow 1 1)))) 2) into 1/6
10.979 * [backup-simplify]: Simplify 1/6 into 1/6
10.982 * [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
10.983 * [backup-simplify]: Simplify (- 1) into -1
10.983 * [backup-simplify]: Simplify (- 1) into -1
10.983 * [backup-simplify]: Simplify (- 0) into 0
10.983 * [backup-simplify]: Simplify (- 1) into -1
10.984 * [backup-simplify]: Simplify (- 0) into 0
10.984 * [backup-simplify]: Simplify (- 0) into 0
10.984 * [backup-simplify]: Simplify (- 0) into 0
10.986 * [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
10.987 * [backup-simplify]: Simplify (- 1/24) into -1/24
10.987 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0
10.988 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0
10.991 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 1/6) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
10.991 * [backup-simplify]: Simplify 0 into 0
10.994 * [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
10.994 * [backup-simplify]: Simplify (- 1) into -1
10.995 * [backup-simplify]: Simplify (- 1) into -1
10.995 * [backup-simplify]: Simplify (- 0) into 0
10.995 * [backup-simplify]: Simplify (- 1) into -1
10.995 * [backup-simplify]: Simplify (- 0) into 0
10.996 * [backup-simplify]: Simplify (- 1) into -1
10.996 * [backup-simplify]: Simplify (- 0) into 0
10.996 * [backup-simplify]: Simplify (- 1) into -1
10.996 * [backup-simplify]: Simplify (- 0) into 0
10.997 * [backup-simplify]: Simplify (- 0) into 0
10.997 * [backup-simplify]: Simplify (- 0) into 0
10.997 * [backup-simplify]: Simplify (- 0) into 0
11.000 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120
11.001 * [backup-simplify]: Simplify (- -1/120) into 1/120
11.001 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60
11.002 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120
11.008 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 1/6) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1/6) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 1/120) 1)) (pow 1 1)))) 24) into -1/180
11.008 * [backup-simplify]: Simplify -1/180 into -1/180
11.008 * [backup-simplify]: Simplify (+ (* -1/180 (pow c 4)) (+ (* 1/6 (pow c 2)) (log c))) into (- (+ (* 1/6 (pow c 2)) (log c)) (* 1/180 (pow c 4)))
11.009 * [backup-simplify]: Simplify (log (sinh (/ 1 c))) into (log (sinh (/ 1 c)))
11.009 * [approximate]: Taking taylor expansion of (log (sinh (/ 1 c))) in (c) around 0
11.009 * [taylor]: Taking taylor expansion of (log (sinh (/ 1 c))) in c
11.009 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
11.009 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
11.009 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
11.009 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
11.009 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.009 * [taylor]: Taking taylor expansion of c in c
11.009 * [backup-simplify]: Simplify 0 into 0
11.009 * [backup-simplify]: Simplify 1 into 1
11.009 * [backup-simplify]: Simplify (/ 1 1) into 1
11.009 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
11.009 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
11.009 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
11.009 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.009 * [taylor]: Taking taylor expansion of c in c
11.009 * [backup-simplify]: Simplify 0 into 0
11.009 * [backup-simplify]: Simplify 1 into 1
11.010 * [backup-simplify]: Simplify (/ 1 1) into 1
11.010 * [backup-simplify]: Simplify (- 1) into -1
11.010 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
11.010 * [taylor]: Taking taylor expansion of 2 in c
11.010 * [backup-simplify]: Simplify 2 into 2
11.010 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
11.010 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
11.010 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
11.010 * [backup-simplify]: Simplify (log (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (log (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))
11.010 * [taylor]: Taking taylor expansion of (log (sinh (/ 1 c))) in c
11.010 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c
11.010 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
11.010 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
11.010 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c
11.010 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.010 * [taylor]: Taking taylor expansion of c in c
11.010 * [backup-simplify]: Simplify 0 into 0
11.010 * [backup-simplify]: Simplify 1 into 1
11.011 * [backup-simplify]: Simplify (/ 1 1) into 1
11.011 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c))
11.011 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c
11.011 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c
11.011 * [taylor]: Taking taylor expansion of (/ 1 c) in c
11.011 * [taylor]: Taking taylor expansion of c in c
11.011 * [backup-simplify]: Simplify 0 into 0
11.011 * [backup-simplify]: Simplify 1 into 1
11.011 * [backup-simplify]: Simplify (/ 1 1) into 1
11.011 * [backup-simplify]: Simplify (- 1) into -1
11.011 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
11.011 * [taylor]: Taking taylor expansion of 2 in c
11.011 * [backup-simplify]: Simplify 2 into 2
11.012 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c))))
11.012 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c))))
11.012 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))
11.012 * [backup-simplify]: Simplify (log (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (log (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))
11.012 * [backup-simplify]: Simplify (log (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (log (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))
11.012 * [backup-simplify]: Simplify (- 0) into 0
11.012 * [backup-simplify]: Simplify (+ 0 0) into 0
11.013 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0
11.014 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1)))) 1) into 0
11.014 * [backup-simplify]: Simplify 0 into 0
11.014 * [backup-simplify]: Simplify (- 0) into 0
11.015 * [backup-simplify]: Simplify (+ 0 0) into 0
11.023 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.025 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1)))) 2) into 0
11.025 * [backup-simplify]: Simplify 0 into 0
11.026 * [backup-simplify]: Simplify (- 0) into 0
11.026 * [backup-simplify]: Simplify (+ 0 0) into 0
11.029 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.032 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1)))) 6) into 0
11.032 * [backup-simplify]: Simplify 0 into 0
11.033 * [backup-simplify]: Simplify (- 0) into 0
11.033 * [backup-simplify]: Simplify (+ 0 0) into 0
11.036 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.041 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1)))) 24) into 0
11.041 * [backup-simplify]: Simplify 0 into 0
11.042 * [backup-simplify]: Simplify (- 0) into 0
11.042 * [backup-simplify]: Simplify (+ 0 0) into 0
11.045 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.054 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1)))) 120) into 0
11.054 * [backup-simplify]: Simplify 0 into 0
11.054 * [backup-simplify]: Simplify (- 0) into 0
11.054 * [backup-simplify]: Simplify (+ 0 0) into 0
11.057 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.064 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 1)))) 720) into 0
11.064 * [backup-simplify]: Simplify 0 into 0
11.064 * [backup-simplify]: Simplify (log (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c))))))) into (log (* 1/2 (- (exp c) (exp (- c)))))
11.064 * [backup-simplify]: Simplify (log (sinh (/ 1 (- c)))) into (log (sinh (/ -1 c)))
11.064 * [approximate]: Taking taylor expansion of (log (sinh (/ -1 c))) in (c) around 0
11.064 * [taylor]: Taking taylor expansion of (log (sinh (/ -1 c))) in c
11.064 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
11.064 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
11.065 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
11.065 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
11.065 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.065 * [taylor]: Taking taylor expansion of -1 in c
11.065 * [backup-simplify]: Simplify -1 into -1
11.065 * [taylor]: Taking taylor expansion of c in c
11.065 * [backup-simplify]: Simplify 0 into 0
11.065 * [backup-simplify]: Simplify 1 into 1
11.065 * [backup-simplify]: Simplify (/ -1 1) into -1
11.065 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
11.065 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
11.065 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
11.065 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.065 * [taylor]: Taking taylor expansion of -1 in c
11.065 * [backup-simplify]: Simplify -1 into -1
11.065 * [taylor]: Taking taylor expansion of c in c
11.065 * [backup-simplify]: Simplify 0 into 0
11.065 * [backup-simplify]: Simplify 1 into 1
11.065 * [backup-simplify]: Simplify (/ -1 1) into -1
11.066 * [backup-simplify]: Simplify (- -1) into 1
11.066 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
11.066 * [taylor]: Taking taylor expansion of 2 in c
11.066 * [backup-simplify]: Simplify 2 into 2
11.066 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
11.066 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
11.066 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
11.066 * [backup-simplify]: Simplify (log (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (log (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))
11.066 * [taylor]: Taking taylor expansion of (log (sinh (/ -1 c))) in c
11.066 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c
11.066 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
11.066 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
11.066 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c
11.066 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.066 * [taylor]: Taking taylor expansion of -1 in c
11.066 * [backup-simplify]: Simplify -1 into -1
11.066 * [taylor]: Taking taylor expansion of c in c
11.066 * [backup-simplify]: Simplify 0 into 0
11.066 * [backup-simplify]: Simplify 1 into 1
11.066 * [backup-simplify]: Simplify (/ -1 1) into -1
11.067 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c))
11.067 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c
11.067 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c
11.067 * [taylor]: Taking taylor expansion of (/ -1 c) in c
11.067 * [taylor]: Taking taylor expansion of -1 in c
11.067 * [backup-simplify]: Simplify -1 into -1
11.067 * [taylor]: Taking taylor expansion of c in c
11.067 * [backup-simplify]: Simplify 0 into 0
11.067 * [backup-simplify]: Simplify 1 into 1
11.067 * [backup-simplify]: Simplify (/ -1 1) into -1
11.067 * [backup-simplify]: Simplify (- -1) into 1
11.067 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
11.067 * [taylor]: Taking taylor expansion of 2 in c
11.067 * [backup-simplify]: Simplify 2 into 2
11.067 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c)))
11.067 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c)))
11.067 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))
11.068 * [backup-simplify]: Simplify (log (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (log (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))
11.068 * [backup-simplify]: Simplify (log (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (log (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))
11.068 * [backup-simplify]: Simplify (- 0) into 0
11.068 * [backup-simplify]: Simplify (+ 0 0) into 0
11.069 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
11.069 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1)))) 1) into 0
11.069 * [backup-simplify]: Simplify 0 into 0
11.070 * [backup-simplify]: Simplify (- 0) into 0
11.070 * [backup-simplify]: Simplify (+ 0 0) into 0
11.071 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.072 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1)))) 2) into 0
11.072 * [backup-simplify]: Simplify 0 into 0
11.072 * [backup-simplify]: Simplify (- 0) into 0
11.072 * [backup-simplify]: Simplify (+ 0 0) into 0
11.074 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.075 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1)))) 6) into 0
11.075 * [backup-simplify]: Simplify 0 into 0
11.076 * [backup-simplify]: Simplify (- 0) into 0
11.076 * [backup-simplify]: Simplify (+ 0 0) into 0
11.077 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.080 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1)))) 24) into 0
11.081 * [backup-simplify]: Simplify 0 into 0
11.081 * [backup-simplify]: Simplify (- 0) into 0
11.081 * [backup-simplify]: Simplify (+ 0 0) into 0
11.084 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.093 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1)))) 120) into 0
11.094 * [backup-simplify]: Simplify 0 into 0
11.094 * [backup-simplify]: Simplify (- 0) into 0
11.095 * [backup-simplify]: Simplify (+ 0 0) into 0
11.098 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
11.110 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 1)))) 720) into 0
11.111 * [backup-simplify]: Simplify 0 into 0
11.111 * [backup-simplify]: Simplify (log (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c))))))) into (log (* 1/2 (- (exp c) (exp (* -1 c)))))
11.111 * * * [progress]: simplifying candidates
11.111 * * * * [progress]: [ 1 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (pow (exp (log (sinh c))) 1) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.111 * * * * [progress]: [ 2 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (pow (exp 1) (log (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.111 * * * * [progress]: [ 3 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (pow (exp (* (cbrt (log (sinh c))) (cbrt (log (sinh c))))) (cbrt (log (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.111 * * * * [progress]: [ 4 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (pow (exp (sqrt (log (sinh c)))) (sqrt (log (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.111 * * * * [progress]: [ 5 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (pow (exp 1) (log (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.111 * * * * [progress]: [ 6 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (* (exp (log (* (cbrt (sinh c)) (cbrt (sinh c))))) (exp (log (cbrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.111 * * * * [progress]: [ 7 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (* (exp (log (sqrt (sinh c)))) (exp (log (sqrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.111 * * * * [progress]: [ 8 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (* (exp (log 1)) (exp (log (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.111 * * * * [progress]: [ 9 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (/ (exp (log (- (exp c) (exp (- c))))) (exp (log 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.111 * * * * [progress]: [ 10 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.111 * * * * [progress]: [ 11 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (exp (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.111 * * * * [progress]: [ 12 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (log (exp (exp (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.111 * * * * [progress]: [ 13 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (* (* (cbrt (exp (log (sinh c)))) (cbrt (exp (log (sinh c))))) (cbrt (exp (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.111 * * * * [progress]: [ 14 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (cbrt (* (* (exp (log (sinh c))) (exp (log (sinh c)))) (exp (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 15 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (* (sqrt (exp (log (sinh c)))) (sqrt (exp (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 16 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (* 1 (exp (log (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 17 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (posit16->real (real->posit16 (exp (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 18 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (/ (- (exp c) (exp (- c))) 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 19 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (pow (sinh c) 1))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 20 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (exp (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 21 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (log (exp (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 22 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (* (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 23 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (cbrt (* (* (sinh c) (sinh c)) (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 24 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (* (sqrt (sinh c)) (sqrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 25 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (* 1 (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 26 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (posit16->real (real->posit16 (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 27 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (+ (log (* (cbrt (sinh c)) (cbrt (sinh c)))) (log (cbrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 28 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (+ (log (sqrt (sinh c))) (log (sqrt (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 29 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (+ (log 1) (log (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 30 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (- (log (- (exp c) (exp (- c)))) (log 2))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 31 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (* 1 (log (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 32 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (pow (log (sinh c)) 1)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 33 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 34 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (exp (log (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 35 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (exp (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.112 * * * * [progress]: [ 36 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (* (* (cbrt (log (sinh c))) (cbrt (log (sinh c)))) (cbrt (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.113 * * * * [progress]: [ 37 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (cbrt (* (* (log (sinh c)) (log (sinh c))) (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.113 * * * * [progress]: [ 38 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (* (sqrt (log (sinh c))) (sqrt (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.113 * * * * [progress]: [ 39 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (* 1 (log (sinh c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.113 * * * * [progress]: [ 40 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (posit16->real (real->posit16 (log (sinh c))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.113 * * * * [progress]: [ 41 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.113 * * * * [progress]: [ 42 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (* 1/2 (- (exp c) (exp (- c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.113 * * * * [progress]: [ 43 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (* 1/2 (- (exp c) (exp (* -1 c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.113 * * * * [progress]: [ 44 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.113 * * * * [progress]: [ 45 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (* 1/2 (- (exp c) (exp (- c)))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.113 * * * * [progress]: [ 46 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (* 1/2 (- (exp c) (exp (* -1 c)))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.113 * * * * [progress]: [ 47 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (- (+ (* 1/6 (pow c 2)) (log c)) (* 1/180 (pow c 4)))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.113 * * * * [progress]: [ 48 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (* 1/2 (- (exp c) (exp (- c)))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.113 * * * * [progress]: [ 49 / 49 ] simplifiying candidate #<alt (λ (c) (fmod (exp (log (* 1/2 (- (exp c) (exp (* -1 c)))))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>
11.114 * [simplify]: Simplifying:
  (exp 1)
  (exp (* (cbrt (log (sinh c))) (cbrt (log (sinh c)))))
  (exp (sqrt (log (sinh c))))
  (exp 1)
  (exp (log (* (cbrt (sinh c)) (cbrt (sinh c)))))
  (exp (log (cbrt (sinh c))))
  (exp (log (sqrt (sinh c))))
  (exp (log (sqrt (sinh c))))
  (exp (log 1))
  (exp (log (sinh c)))
  (exp (log (- (exp c) (exp (- c)))))
  (exp (log 2))
  (log (exp (log (sinh c))))
  (exp (exp (log (sinh c))))
  (* (cbrt (exp (log (sinh c)))) (cbrt (exp (log (sinh c)))))
  (cbrt (exp (log (sinh c))))
  (* (* (exp (log (sinh c))) (exp (log (sinh c)))) (exp (log (sinh c))))
  (sqrt (exp (log (sinh c))))
  (sqrt (exp (log (sinh c))))
  (real->posit16 (exp (log (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))
  (real->posit16 (sinh c))
  (log (* (cbrt (sinh c)) (cbrt (sinh c))))
  (log (cbrt (sinh c)))
  (log (sqrt (sinh c)))
  (log (sqrt (sinh c)))
  (log 1)
  (log (sinh c))
  (log (- (exp c) (exp (- c))))
  (log 2)
  (log (sinh c))
  (log (log (sinh c)))
  (exp (log (sinh c)))
  (* (cbrt (log (sinh c))) (cbrt (log (sinh c))))
  (cbrt (log (sinh c)))
  (* (* (log (sinh c)) (log (sinh c))) (log (sinh c)))
  (sqrt (log (sinh c)))
  (sqrt (log (sinh c)))
  (real->posit16 (log (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 2)) (log c)) (* 1/180 (pow c 4)))
  (log (* 1/2 (- (exp c) (exp (- c)))))
  (log (* 1/2 (- (exp c) (exp (* -1 c)))))
11.114 * * [simplify]: iteration 1: (75 enodes)
11.136 * * [simplify]: iteration 2: (233 enodes)
11.180 * * [simplify]: iteration 3: (370 enodes)
11.263 * * [simplify]: iteration 4: (608 enodes)
11.371 * * [simplify]: iteration 5: (1175 enodes)
11.706 * * [simplify]: Extracting #0: cost 30 inf + 0
11.706 * * [simplify]: Extracting #1: cost 124 inf + 3
11.707 * * [simplify]: Extracting #2: cost 454 inf + 3009
11.725 * * [simplify]: Extracting #3: cost 762 inf + 25917
11.752 * * [simplify]: Extracting #4: cost 593 inf + 84511
11.785 * * [simplify]: Extracting #5: cost 308 inf + 194190
11.851 * * [simplify]: Extracting #6: cost 48 inf + 337887
11.897 * * [simplify]: Extracting #7: cost 1 inf + 368377
11.954 * * [simplify]: Extracting #8: cost 0 inf + 368780
12.010 * [simplify]: Simplified to:
  E
  (exp (* (cbrt (log (sinh c))) (cbrt (log (sinh c)))))
  (exp (sqrt (log (sinh c))))
  E
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (sqrt (sinh c))
  (sqrt (sinh c))
  1
  (sinh c)
  (- (exp c) (/ 1 (exp c)))
  2
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (* (sinh c) (* (sinh c) (sinh c)))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (real->posit16 (sinh c))
  (- (exp c) (/ 1 (exp c)))
  (log (sinh c))
  (exp (sinh c))
  (* (cbrt (sinh c)) (cbrt (sinh c)))
  (cbrt (sinh c))
  (* (sinh c) (* (sinh c) (sinh c)))
  (sqrt (sinh c))
  (sqrt (sinh c))
  (real->posit16 (sinh c))
  (log (* (cbrt (sinh c)) (cbrt (sinh c))))
  (log (cbrt (sinh c)))
  (log (sqrt (sinh c)))
  (log (sqrt (sinh c)))
  (log 1)
  (log (sinh c))
  (log (- (exp c) (/ 1 (exp c))))
  (log 2)
  (log (sinh c))
  (log (log (sinh c)))
  (sinh c)
  (* (cbrt (log (sinh c))) (cbrt (log (sinh c))))
  (cbrt (log (sinh c)))
  (* (log (sinh c)) (* (log (sinh c)) (log (sinh c))))
  (sqrt (log (sinh c)))
  (sqrt (log (sinh c)))
  (real->posit16 (log (sinh c)))
  (+ (* 1/120 (pow c 5)) (+ c (* (* (* c c) c) 1/6)))
  (- (* (exp c) 1/2) (/ 1/2 (exp c)))
  (- (* (exp c) 1/2) (/ 1/2 (exp c)))
  (+ (* 1/120 (pow c 5)) (+ c (* (* (* c c) c) 1/6)))
  (- (* (exp c) 1/2) (/ 1/2 (exp c)))
  (- (* (exp c) 1/2) (/ 1/2 (exp c)))
  (+ (- (* 1/6 (* c c)) (* 1/180 (pow c 4))) (log c))
  (log (- (* (exp c) 1/2) (/ 1/2 (exp c))))
  (log (- (* (exp c) 1/2) (/ 1/2 (exp c))))
12.012 * * * [progress]: adding candidates to table
12.447 * [progress]: [Phase 3 of 3] Extracting.
12.448 * * [regime]: Finding splitpoints for: (#<alt (λ (c) (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> #<alt (λ (c) (fmod (exp (log (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>)
12.449 * * * [regime-changes]: Trying 1 branch expressions: (c)
12.449 * * * * [regimes]: Trying to branch on c from (#<alt (λ (c) (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> #<alt (λ (c) (fmod (exp (log (sinh c))) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))> #<alt (λ (c) (fmod (+ (+ (* 1/6 (* c (* c c))) (* (pow c 5) 1/120)) c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165))))>)
12.491 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
12.492 * [simplify]: Simplifying:
  (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))
12.492 * * [simplify]: iteration 1: (6 enodes)
12.492 * * [simplify]: Extracting #0: cost 1 inf + 0
12.492 * * [simplify]: Extracting #1: cost 3 inf + 0
12.492 * * [simplify]: Extracting #2: cost 5 inf + 0
12.493 * * [simplify]: Extracting #3: cost 5 inf + 1
12.493 * * [simplify]: Extracting #4: cost 0 inf + 388
12.493 * [simplify]: Simplified to:
  (fmod (sinh c) (- c (* -2.9807307601812193e+165 -2.9807307601812193e+165)))
22.345 * [regime-testing]: Baseline error score: 0.006750843855481936
22.348 * [regime-testing]: Oracle error score: 0.0023752969121140144
22.352 * [regime-testing]: End program error score: 0.006750843855481936