27.815 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.201 * * * [progress]: [2/2] Setting up program. 0.203 * [progress]: [Phase 2 of 3] Improving. 0.204 * [simplify]: Simplifying: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 0.204 * * [simplify]: Extracting # 0 : cost 0 0.204 * * [simplify]: Extracting # 1 : cost 0 0.204 * * [simplify]: Extracting # 2 : cost 0 0.204 * * [simplify]: Extracting # 3 : cost 0 0.204 * * [simplify]: Extracting # 4 : cost 0 0.204 * * [simplify]: Extracting # 5 : cost 0 0.204 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.206 * * [simplify]: Extracting # 0 : cost 0 0.206 * * [simplify]: Extracting # 1 : cost 0 0.206 * * [simplify]: Extracting # 2 : cost 0 0.206 * * [simplify]: Extracting # 3 : cost 0 0.206 * * [simplify]: Extracting # 4 : cost 0 0.206 * * [simplify]: Extracting # 5 : cost 0 0.206 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 0.209 * * [simplify]: Extracting # 0 : cost 0 0.209 * * [simplify]: Extracting # 1 : cost 0 0.209 * * [simplify]: Extracting # 2 : cost 0 0.209 * * [simplify]: Extracting # 3 : cost 0 0.209 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 0.217 * * [simplify]: Extracting # 0 : cost 0 0.217 * * [simplify]: Extracting # 1 : cost 0 0.217 * * [simplify]: Extracting # 2 : cost 0 0.217 * * [simplify]: Extracting # 3 : cost 0 0.217 * * [simplify]: Extracting # 4 : cost 0 0.217 * * [simplify]: iteration 3 : 69 enodes (cost 8 ) 0.272 * * [simplify]: Extracting # 0 : cost 0 0.272 * * [simplify]: Extracting # 1 : cost 0 0.272 * * [simplify]: Extracting # 2 : cost 0 0.273 * * [simplify]: Extracting # 3 : cost 0 0.273 * * [simplify]: Extracting # 4 : cost 0 0.273 * * [simplify]: iteration 4 : 147 enodes (cost 8 ) 0.348 * * [simplify]: Extracting # 0 : cost 0 0.349 * * [simplify]: Extracting # 1 : cost 0 0.349 * * [simplify]: Extracting # 2 : cost 0 0.349 * * [simplify]: Extracting # 3 : cost 0 0.349 * * [simplify]: Extracting # 4 : cost 0 0.350 * * [simplify]: iteration 5 : 347 enodes (cost 8 ) 0.750 * * [simplify]: Extracting # 0 : cost 0 0.753 * * [simplify]: Extracting # 1 : cost 0 0.754 * * [simplify]: Extracting # 2 : cost 0 0.755 * * [simplify]: Extracting # 3 : cost 0 0.757 * * [simplify]: Extracting # 4 : cost 0 0.758 * * [simplify]: iteration 6 : 1152 enodes (cost 8 ) 4.647 * * [simplify]: Extracting # 0 : cost 0 4.655 * * [simplify]: Extracting # 1 : cost 0 4.661 * * [simplify]: Extracting # 2 : cost 0 4.664 * * [simplify]: Extracting # 3 : cost 0 4.667 * * [simplify]: Extracting # 4 : cost 0 4.669 * * [simplify]: Extracting # 5 : cost 0 4.672 * * [simplify]: iteration 7 : 4414 enodes (cost 8 ) 7.649 * * [simplify]: Extracting # 0 : cost 0 7.657 * * [simplify]: Extracting # 1 : cost 0 7.664 * * [simplify]: Extracting # 2 : cost 0 7.671 * * [simplify]: Extracting # 3 : cost 0 7.678 * * [simplify]: iteration done: 5000 enodes (cost 8 ) 7.678 * [simplify]: Simplified to: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 7.678 * * [progress]: iteration 1 / 4 7.678 * * * [progress]: picking best candidate 7.682 * * * * [pick]: Picked # 7.682 * * * [progress]: localizing error 7.696 * * * [progress]: generating rewritten candidates 7.696 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 7.698 * * * [progress]: generating series expansions 7.698 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 7.698 * [backup-simplify]: Simplify (sinh c) into (sinh c) 7.698 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 7.698 * [taylor]: Taking taylor expansion of (sinh c) in c 7.698 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 7.698 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 7.698 * [taylor]: Taking taylor expansion of (exp c) in c 7.698 * [taylor]: Taking taylor expansion of c in c 7.698 * [backup-simplify]: Simplify 0 into 0 7.698 * [backup-simplify]: Simplify 1 into 1 7.698 * [backup-simplify]: Simplify (exp 0) into 1 7.699 * [taylor]: Taking taylor expansion of (exp (- c)) in c 7.699 * [taylor]: Taking taylor expansion of (- c) in c 7.699 * [taylor]: Taking taylor expansion of c in c 7.699 * [backup-simplify]: Simplify 0 into 0 7.699 * [backup-simplify]: Simplify 1 into 1 7.699 * [backup-simplify]: Simplify (- 0) into 0 7.699 * [backup-simplify]: Simplify (- 1) into -1 7.699 * [backup-simplify]: Simplify (exp 0) into 1 7.699 * [taylor]: Taking taylor expansion of 2 in c 7.699 * [backup-simplify]: Simplify 2 into 2 7.700 * [backup-simplify]: Simplify (- 1) into -1 7.700 * [backup-simplify]: Simplify (+ 1 -1) into 0 7.700 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 7.701 * [backup-simplify]: Simplify (- 1) into -1 7.701 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 7.702 * [backup-simplify]: Simplify (- -1) into 1 7.702 * [backup-simplify]: Simplify (+ 1 1) into 2 7.702 * [backup-simplify]: Simplify (/ 2 2) into 1 7.702 * [taylor]: Taking taylor expansion of (sinh c) in c 7.702 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 7.702 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 7.702 * [taylor]: Taking taylor expansion of (exp c) in c 7.702 * [taylor]: Taking taylor expansion of c in c 7.702 * [backup-simplify]: Simplify 0 into 0 7.702 * [backup-simplify]: Simplify 1 into 1 7.702 * [backup-simplify]: Simplify (exp 0) into 1 7.702 * [taylor]: Taking taylor expansion of (exp (- c)) in c 7.702 * [taylor]: Taking taylor expansion of (- c) in c 7.702 * [taylor]: Taking taylor expansion of c in c 7.702 * [backup-simplify]: Simplify 0 into 0 7.702 * [backup-simplify]: Simplify 1 into 1 7.703 * [backup-simplify]: Simplify (- 0) into 0 7.703 * [backup-simplify]: Simplify (- 1) into -1 7.703 * [backup-simplify]: Simplify (exp 0) into 1 7.703 * [taylor]: Taking taylor expansion of 2 in c 7.703 * [backup-simplify]: Simplify 2 into 2 7.703 * [backup-simplify]: Simplify (- 1) into -1 7.703 * [backup-simplify]: Simplify (+ 1 -1) into 0 7.704 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 7.704 * [backup-simplify]: Simplify (- 1) into -1 7.705 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 7.705 * [backup-simplify]: Simplify (- -1) into 1 7.705 * [backup-simplify]: Simplify (+ 1 1) into 2 7.706 * [backup-simplify]: Simplify (/ 2 2) into 1 7.706 * [backup-simplify]: Simplify 1 into 1 7.707 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 7.707 * [backup-simplify]: Simplify (- 1) into -1 7.707 * [backup-simplify]: Simplify (- 0) into 0 7.708 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 7.709 * [backup-simplify]: Simplify (- 1/2) into -1/2 7.709 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 7.709 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 7.709 * [backup-simplify]: Simplify 0 into 0 7.711 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 7.711 * [backup-simplify]: Simplify (- 1) into -1 7.711 * [backup-simplify]: Simplify (- 1) into -1 7.711 * [backup-simplify]: Simplify (- 0) into 0 7.712 * [backup-simplify]: Simplify (- 0) into 0 7.713 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 7.713 * [backup-simplify]: Simplify (- -1/6) into 1/6 7.713 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 7.714 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 7.714 * [backup-simplify]: Simplify 1/6 into 1/6 7.716 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 7.717 * [backup-simplify]: Simplify (- 1) into -1 7.717 * [backup-simplify]: Simplify (- 1) into -1 7.717 * [backup-simplify]: Simplify (- 0) into 0 7.717 * [backup-simplify]: Simplify (- 1) into -1 7.718 * [backup-simplify]: Simplify (- 0) into 0 7.718 * [backup-simplify]: Simplify (- 0) into 0 7.718 * [backup-simplify]: Simplify (- 0) into 0 7.720 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 7.721 * [backup-simplify]: Simplify (- 1/24) into -1/24 7.721 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 7.722 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 7.722 * [backup-simplify]: Simplify 0 into 0 7.725 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 7.725 * [backup-simplify]: Simplify (- 1) into -1 7.725 * [backup-simplify]: Simplify (- 1) into -1 7.726 * [backup-simplify]: Simplify (- 0) into 0 7.726 * [backup-simplify]: Simplify (- 1) into -1 7.726 * [backup-simplify]: Simplify (- 0) into 0 7.726 * [backup-simplify]: Simplify (- 1) into -1 7.727 * [backup-simplify]: Simplify (- 0) into 0 7.727 * [backup-simplify]: Simplify (- 1) into -1 7.727 * [backup-simplify]: Simplify (- 0) into 0 7.727 * [backup-simplify]: Simplify (- 0) into 0 7.727 * [backup-simplify]: Simplify (- 0) into 0 7.728 * [backup-simplify]: Simplify (- 0) into 0 7.736 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 7.737 * [backup-simplify]: Simplify (- -1/120) into 1/120 7.737 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 7.739 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 7.739 * [backup-simplify]: Simplify 1/120 into 1/120 7.740 * [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.740 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 7.740 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 7.740 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 7.740 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 7.740 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 7.740 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 7.740 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.740 * [taylor]: Taking taylor expansion of c in c 7.740 * [backup-simplify]: Simplify 0 into 0 7.740 * [backup-simplify]: Simplify 1 into 1 7.740 * [backup-simplify]: Simplify (/ 1 1) into 1 7.741 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 7.741 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 7.741 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 7.741 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.741 * [taylor]: Taking taylor expansion of c in c 7.741 * [backup-simplify]: Simplify 0 into 0 7.741 * [backup-simplify]: Simplify 1 into 1 7.741 * [backup-simplify]: Simplify (/ 1 1) into 1 7.742 * [backup-simplify]: Simplify (- 1) into -1 7.742 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 7.742 * [taylor]: Taking taylor expansion of 2 in c 7.742 * [backup-simplify]: Simplify 2 into 2 7.742 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 7.742 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 7.742 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 7.742 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 7.742 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 7.743 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 7.743 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 7.743 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.743 * [taylor]: Taking taylor expansion of c in c 7.743 * [backup-simplify]: Simplify 0 into 0 7.743 * [backup-simplify]: Simplify 1 into 1 7.743 * [backup-simplify]: Simplify (/ 1 1) into 1 7.743 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 7.743 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 7.743 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 7.743 * [taylor]: Taking taylor expansion of (/ 1 c) in c 7.743 * [taylor]: Taking taylor expansion of c in c 7.743 * [backup-simplify]: Simplify 0 into 0 7.743 * [backup-simplify]: Simplify 1 into 1 7.744 * [backup-simplify]: Simplify (/ 1 1) into 1 7.744 * [backup-simplify]: Simplify (- 1) into -1 7.744 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 7.744 * [taylor]: Taking taylor expansion of 2 in c 7.744 * [backup-simplify]: Simplify 2 into 2 7.744 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 7.745 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 7.745 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 7.745 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 7.746 * [backup-simplify]: Simplify (- 0) into 0 7.746 * [backup-simplify]: Simplify (+ 0 0) into 0 7.747 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 7.747 * [backup-simplify]: Simplify 0 into 0 7.748 * [backup-simplify]: Simplify (- 0) into 0 7.748 * [backup-simplify]: Simplify (+ 0 0) into 0 7.749 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.750 * [backup-simplify]: Simplify 0 into 0 7.750 * [backup-simplify]: Simplify (- 0) into 0 7.750 * [backup-simplify]: Simplify (+ 0 0) into 0 7.752 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.752 * [backup-simplify]: Simplify 0 into 0 7.753 * [backup-simplify]: Simplify (- 0) into 0 7.753 * [backup-simplify]: Simplify (+ 0 0) into 0 7.756 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.756 * [backup-simplify]: Simplify 0 into 0 7.756 * [backup-simplify]: Simplify (- 0) into 0 7.757 * [backup-simplify]: Simplify (+ 0 0) into 0 7.759 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.759 * [backup-simplify]: Simplify 0 into 0 7.760 * [backup-simplify]: Simplify (- 0) into 0 7.760 * [backup-simplify]: Simplify (+ 0 0) into 0 7.763 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.764 * [backup-simplify]: Simplify 0 into 0 7.764 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 7.764 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 7.764 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 7.764 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 7.764 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 7.764 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 7.764 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 7.764 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.764 * [taylor]: Taking taylor expansion of -1 in c 7.764 * [backup-simplify]: Simplify -1 into -1 7.764 * [taylor]: Taking taylor expansion of c in c 7.764 * [backup-simplify]: Simplify 0 into 0 7.764 * [backup-simplify]: Simplify 1 into 1 7.765 * [backup-simplify]: Simplify (/ -1 1) into -1 7.765 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 7.765 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 7.765 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 7.765 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.765 * [taylor]: Taking taylor expansion of -1 in c 7.765 * [backup-simplify]: Simplify -1 into -1 7.765 * [taylor]: Taking taylor expansion of c in c 7.765 * [backup-simplify]: Simplify 0 into 0 7.765 * [backup-simplify]: Simplify 1 into 1 7.766 * [backup-simplify]: Simplify (/ -1 1) into -1 7.766 * [backup-simplify]: Simplify (- -1) into 1 7.766 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 7.766 * [taylor]: Taking taylor expansion of 2 in c 7.766 * [backup-simplify]: Simplify 2 into 2 7.766 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 7.766 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 7.767 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 7.767 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 7.767 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 7.767 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 7.767 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 7.767 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.767 * [taylor]: Taking taylor expansion of -1 in c 7.767 * [backup-simplify]: Simplify -1 into -1 7.767 * [taylor]: Taking taylor expansion of c in c 7.767 * [backup-simplify]: Simplify 0 into 0 7.767 * [backup-simplify]: Simplify 1 into 1 7.767 * [backup-simplify]: Simplify (/ -1 1) into -1 7.768 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 7.768 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 7.768 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 7.768 * [taylor]: Taking taylor expansion of (/ -1 c) in c 7.768 * [taylor]: Taking taylor expansion of -1 in c 7.768 * [backup-simplify]: Simplify -1 into -1 7.768 * [taylor]: Taking taylor expansion of c in c 7.768 * [backup-simplify]: Simplify 0 into 0 7.768 * [backup-simplify]: Simplify 1 into 1 7.768 * [backup-simplify]: Simplify (/ -1 1) into -1 7.769 * [backup-simplify]: Simplify (- -1) into 1 7.769 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 7.769 * [taylor]: Taking taylor expansion of 2 in c 7.769 * [backup-simplify]: Simplify 2 into 2 7.769 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 7.769 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 7.769 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 7.769 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 7.770 * [backup-simplify]: Simplify (- 0) into 0 7.770 * [backup-simplify]: Simplify (+ 0 0) into 0 7.771 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 7.771 * [backup-simplify]: Simplify 0 into 0 7.772 * [backup-simplify]: Simplify (- 0) into 0 7.772 * [backup-simplify]: Simplify (+ 0 0) into 0 7.774 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.774 * [backup-simplify]: Simplify 0 into 0 7.774 * [backup-simplify]: Simplify (- 0) into 0 7.774 * [backup-simplify]: Simplify (+ 0 0) into 0 7.776 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.777 * [backup-simplify]: Simplify 0 into 0 7.777 * [backup-simplify]: Simplify (- 0) into 0 7.777 * [backup-simplify]: Simplify (+ 0 0) into 0 7.780 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.780 * [backup-simplify]: Simplify 0 into 0 7.780 * [backup-simplify]: Simplify (- 0) into 0 7.780 * [backup-simplify]: Simplify (+ 0 0) into 0 7.783 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.783 * [backup-simplify]: Simplify 0 into 0 7.784 * [backup-simplify]: Simplify (- 0) into 0 7.784 * [backup-simplify]: Simplify (+ 0 0) into 0 7.788 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 7.788 * [backup-simplify]: Simplify 0 into 0 7.788 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 7.788 * * * [progress]: simplifying candidates 7.789 * [simplify]: Simplifying: (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) 7.789 * * [simplify]: Extracting # 0 : cost 0 7.789 * * [simplify]: Extracting # 1 : cost 0 7.789 * * [simplify]: Extracting # 2 : cost 0 7.789 * * [simplify]: Extracting # 3 : cost 0 7.789 * * [simplify]: Extracting # 4 : cost 0 7.789 * * [simplify]: Extracting # 5 : cost 0 7.789 * * [simplify]: Extracting # 6 : cost 0 7.790 * * [simplify]: Extracting # 7 : cost 0 7.790 * * [simplify]: Extracting # 8 : cost 0 7.790 * * [simplify]: iteration 0 : 30 enodes (cost 66 ) 7.801 * * [simplify]: Extracting # 0 : cost 0 7.801 * * [simplify]: Extracting # 1 : cost 0 7.801 * * [simplify]: Extracting # 2 : cost 0 7.801 * * [simplify]: Extracting # 3 : cost 0 7.801 * * [simplify]: Extracting # 4 : cost 0 7.802 * * [simplify]: iteration 1 : 58 enodes (cost 65 ) 7.825 * * [simplify]: Extracting # 0 : cost 0 7.825 * * [simplify]: Extracting # 1 : cost 0 7.826 * * [simplify]: Extracting # 2 : cost 0 7.826 * * [simplify]: Extracting # 3 : cost 0 7.826 * * [simplify]: Extracting # 4 : cost 0 7.826 * * [simplify]: iteration 2 : 125 enodes (cost 61 ) 7.874 * * [simplify]: Extracting # 0 : cost 0 7.874 * * [simplify]: Extracting # 1 : cost 0 7.875 * * [simplify]: Extracting # 2 : cost 0 7.875 * * [simplify]: Extracting # 3 : cost 0 7.875 * * [simplify]: Extracting # 4 : cost 0 7.875 * * [simplify]: iteration 3 : 252 enodes (cost 61 ) 7.961 * * [simplify]: Extracting # 0 : cost 0 7.962 * * [simplify]: Extracting # 1 : cost 0 7.963 * * [simplify]: Extracting # 2 : cost 0 7.963 * * [simplify]: Extracting # 3 : cost 0 7.964 * * [simplify]: Extracting # 4 : cost 0 7.967 * * [simplify]: iteration 4 : 613 enodes (cost 61 ) 8.546 * * [simplify]: Extracting # 0 : cost 0 8.552 * * [simplify]: Extracting # 1 : cost 0 8.556 * * [simplify]: Extracting # 2 : cost 0 8.558 * * [simplify]: Extracting # 3 : cost 0 8.561 * * [simplify]: Extracting # 4 : cost 0 8.563 * * [simplify]: iteration 5 : 2545 enodes (cost 61 ) 10.345 * * [simplify]: Extracting # 0 : cost 0 10.350 * * [simplify]: Extracting # 1 : cost 0 10.360 * * [simplify]: Extracting # 2 : cost 0 10.365 * * [simplify]: Extracting # 3 : cost 0 10.371 * * [simplify]: Extracting # 4 : cost 0 10.376 * * [simplify]: iteration done: 5000 enodes (cost 61 ) 10.376 * [simplify]: Simplified to: (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (- c)))) 10.376 * * * [progress]: adding candidates to table 10.407 * * [progress]: iteration 2 / 4 10.407 * * * [progress]: picking best candidate 10.413 * * * * [pick]: Picked # 10.413 * * * [progress]: localizing error 10.432 * * * [progress]: generating rewritten candidates 10.432 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 10.446 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1) 10.458 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 10.472 * * * [progress]: generating series expansions 10.472 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 10.472 * [backup-simplify]: Simplify (* 1/6 (pow c 3)) into (* 1/6 (pow c 3)) 10.472 * [approximate]: Taking taylor expansion of (* 1/6 (pow c 3)) in (c) around 0 10.472 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 10.472 * [taylor]: Taking taylor expansion of 1/6 in c 10.472 * [backup-simplify]: Simplify 1/6 into 1/6 10.472 * [taylor]: Taking taylor expansion of (pow c 3) in c 10.472 * [taylor]: Taking taylor expansion of c in c 10.472 * [backup-simplify]: Simplify 0 into 0 10.472 * [backup-simplify]: Simplify 1 into 1 10.472 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 10.472 * [taylor]: Taking taylor expansion of 1/6 in c 10.472 * [backup-simplify]: Simplify 1/6 into 1/6 10.472 * [taylor]: Taking taylor expansion of (pow c 3) in c 10.472 * [taylor]: Taking taylor expansion of c in c 10.472 * [backup-simplify]: Simplify 0 into 0 10.472 * [backup-simplify]: Simplify 1 into 1 10.473 * [backup-simplify]: Simplify (* 1 1) into 1 10.474 * [backup-simplify]: Simplify (* 1 1) into 1 10.474 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 10.474 * [backup-simplify]: Simplify 1/6 into 1/6 10.475 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.475 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.476 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 10.476 * [backup-simplify]: Simplify 0 into 0 10.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.478 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 10.478 * [backup-simplify]: Simplify 0 into 0 10.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.480 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.480 * [backup-simplify]: Simplify 0 into 0 10.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.482 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.482 * [backup-simplify]: Simplify 0 into 0 10.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.483 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.484 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.484 * [backup-simplify]: Simplify 0 into 0 10.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.486 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.486 * [backup-simplify]: Simplify 0 into 0 10.487 * [backup-simplify]: Simplify (* 1/6 (pow c 3)) into (* 1/6 (pow c 3)) 10.487 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 c) 3)) into (/ 1/6 (pow c 3)) 10.487 * [approximate]: Taking taylor expansion of (/ 1/6 (pow c 3)) in (c) around 0 10.487 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c 10.487 * [taylor]: Taking taylor expansion of 1/6 in c 10.487 * [backup-simplify]: Simplify 1/6 into 1/6 10.487 * [taylor]: Taking taylor expansion of (pow c 3) in c 10.487 * [taylor]: Taking taylor expansion of c in c 10.487 * [backup-simplify]: Simplify 0 into 0 10.487 * [backup-simplify]: Simplify 1 into 1 10.487 * [backup-simplify]: Simplify (* 1 1) into 1 10.487 * [backup-simplify]: Simplify (* 1 1) into 1 10.488 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 10.488 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c 10.488 * [taylor]: Taking taylor expansion of 1/6 in c 10.488 * [backup-simplify]: Simplify 1/6 into 1/6 10.488 * [taylor]: Taking taylor expansion of (pow c 3) in c 10.488 * [taylor]: Taking taylor expansion of c in c 10.488 * [backup-simplify]: Simplify 0 into 0 10.488 * [backup-simplify]: Simplify 1 into 1 10.488 * [backup-simplify]: Simplify (* 1 1) into 1 10.488 * [backup-simplify]: Simplify (* 1 1) into 1 10.488 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 10.488 * [backup-simplify]: Simplify 1/6 into 1/6 10.489 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.489 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.490 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 10.490 * [backup-simplify]: Simplify 0 into 0 10.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.491 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.491 * [backup-simplify]: Simplify 0 into 0 10.498 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.499 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.499 * [backup-simplify]: Simplify 0 into 0 10.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.501 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.501 * [backup-simplify]: Simplify 0 into 0 10.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.503 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.503 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.503 * [backup-simplify]: Simplify 0 into 0 10.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.506 * [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 10.506 * [backup-simplify]: Simplify 0 into 0 10.506 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (/ 1 c)) 3)) into (* 1/6 (pow c 3)) 10.506 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (- c)) 3)) into (/ -1/6 (pow c 3)) 10.506 * [approximate]: Taking taylor expansion of (/ -1/6 (pow c 3)) in (c) around 0 10.506 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c 10.506 * [taylor]: Taking taylor expansion of -1/6 in c 10.506 * [backup-simplify]: Simplify -1/6 into -1/6 10.506 * [taylor]: Taking taylor expansion of (pow c 3) in c 10.506 * [taylor]: Taking taylor expansion of c in c 10.506 * [backup-simplify]: Simplify 0 into 0 10.506 * [backup-simplify]: Simplify 1 into 1 10.506 * [backup-simplify]: Simplify (* 1 1) into 1 10.507 * [backup-simplify]: Simplify (* 1 1) into 1 10.507 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 10.507 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c 10.507 * [taylor]: Taking taylor expansion of -1/6 in c 10.507 * [backup-simplify]: Simplify -1/6 into -1/6 10.507 * [taylor]: Taking taylor expansion of (pow c 3) in c 10.507 * [taylor]: Taking taylor expansion of c in c 10.507 * [backup-simplify]: Simplify 0 into 0 10.507 * [backup-simplify]: Simplify 1 into 1 10.507 * [backup-simplify]: Simplify (* 1 1) into 1 10.507 * [backup-simplify]: Simplify (* 1 1) into 1 10.508 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 10.508 * [backup-simplify]: Simplify -1/6 into -1/6 10.508 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.508 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.509 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 10.509 * [backup-simplify]: Simplify 0 into 0 10.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.510 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.511 * [backup-simplify]: Simplify 0 into 0 10.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.512 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.512 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.512 * [backup-simplify]: Simplify 0 into 0 10.513 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.514 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.514 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.514 * [backup-simplify]: Simplify 0 into 0 10.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.516 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.516 * [backup-simplify]: Simplify 0 into 0 10.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.518 * [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 10.518 * [backup-simplify]: Simplify 0 into 0 10.519 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 (/ 1 (- c))) 3)) into (* 1/6 (pow c 3)) 10.519 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1) 10.519 * [backup-simplify]: Simplify (* 1/120 (pow c 5)) into (* 1/120 (pow c 5)) 10.519 * [approximate]: Taking taylor expansion of (* 1/120 (pow c 5)) in (c) around 0 10.519 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 10.519 * [taylor]: Taking taylor expansion of 1/120 in c 10.519 * [backup-simplify]: Simplify 1/120 into 1/120 10.519 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.519 * [taylor]: Taking taylor expansion of c in c 10.519 * [backup-simplify]: Simplify 0 into 0 10.519 * [backup-simplify]: Simplify 1 into 1 10.519 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 10.519 * [taylor]: Taking taylor expansion of 1/120 in c 10.519 * [backup-simplify]: Simplify 1/120 into 1/120 10.519 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.519 * [taylor]: Taking taylor expansion of c in c 10.519 * [backup-simplify]: Simplify 0 into 0 10.519 * [backup-simplify]: Simplify 1 into 1 10.519 * [backup-simplify]: Simplify (* 1 1) into 1 10.519 * [backup-simplify]: Simplify (* 1 1) into 1 10.520 * [backup-simplify]: Simplify (* 1 1) into 1 10.520 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 10.520 * [backup-simplify]: Simplify 1/120 into 1/120 10.520 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.521 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.521 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.522 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 10.522 * [backup-simplify]: Simplify 0 into 0 10.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.524 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 10.524 * [backup-simplify]: Simplify 0 into 0 10.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.526 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.526 * [backup-simplify]: Simplify 0 into 0 10.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.531 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.531 * [backup-simplify]: Simplify 0 into 0 10.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.536 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.536 * [backup-simplify]: Simplify 0 into 0 10.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.542 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.542 * [backup-simplify]: Simplify 0 into 0 10.542 * [backup-simplify]: Simplify (* 1/120 (pow c 5)) into (* 1/120 (pow c 5)) 10.542 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 c) 5)) into (/ 1/120 (pow c 5)) 10.542 * [approximate]: Taking taylor expansion of (/ 1/120 (pow c 5)) in (c) around 0 10.542 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c 10.542 * [taylor]: Taking taylor expansion of 1/120 in c 10.542 * [backup-simplify]: Simplify 1/120 into 1/120 10.542 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.542 * [taylor]: Taking taylor expansion of c in c 10.542 * [backup-simplify]: Simplify 0 into 0 10.542 * [backup-simplify]: Simplify 1 into 1 10.543 * [backup-simplify]: Simplify (* 1 1) into 1 10.543 * [backup-simplify]: Simplify (* 1 1) into 1 10.543 * [backup-simplify]: Simplify (* 1 1) into 1 10.544 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120 10.544 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c 10.544 * [taylor]: Taking taylor expansion of 1/120 in c 10.544 * [backup-simplify]: Simplify 1/120 into 1/120 10.544 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.544 * [taylor]: Taking taylor expansion of c in c 10.544 * [backup-simplify]: Simplify 0 into 0 10.544 * [backup-simplify]: Simplify 1 into 1 10.544 * [backup-simplify]: Simplify (* 1 1) into 1 10.545 * [backup-simplify]: Simplify (* 1 1) into 1 10.545 * [backup-simplify]: Simplify (* 1 1) into 1 10.545 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120 10.545 * [backup-simplify]: Simplify 1/120 into 1/120 10.546 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.547 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.547 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.548 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)))) into 0 10.548 * [backup-simplify]: Simplify 0 into 0 10.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.552 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.552 * [backup-simplify]: Simplify 0 into 0 10.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.556 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.556 * [backup-simplify]: Simplify 0 into 0 10.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.561 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.561 * [backup-simplify]: Simplify 0 into 0 10.562 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.564 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.564 * [backup-simplify]: Simplify 0 into 0 10.565 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.567 * [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 10.567 * [backup-simplify]: Simplify 0 into 0 10.567 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 (/ 1 c)) 5)) into (* 1/120 (pow c 5)) 10.568 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 (- c)) 5)) into (/ -1/120 (pow c 5)) 10.568 * [approximate]: Taking taylor expansion of (/ -1/120 (pow c 5)) in (c) around 0 10.568 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c 10.568 * [taylor]: Taking taylor expansion of -1/120 in c 10.568 * [backup-simplify]: Simplify -1/120 into -1/120 10.568 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.568 * [taylor]: Taking taylor expansion of c in c 10.568 * [backup-simplify]: Simplify 0 into 0 10.568 * [backup-simplify]: Simplify 1 into 1 10.568 * [backup-simplify]: Simplify (* 1 1) into 1 10.568 * [backup-simplify]: Simplify (* 1 1) into 1 10.569 * [backup-simplify]: Simplify (* 1 1) into 1 10.569 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120 10.569 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c 10.569 * [taylor]: Taking taylor expansion of -1/120 in c 10.569 * [backup-simplify]: Simplify -1/120 into -1/120 10.569 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.569 * [taylor]: Taking taylor expansion of c in c 10.569 * [backup-simplify]: Simplify 0 into 0 10.569 * [backup-simplify]: Simplify 1 into 1 10.569 * [backup-simplify]: Simplify (* 1 1) into 1 10.569 * [backup-simplify]: Simplify (* 1 1) into 1 10.570 * [backup-simplify]: Simplify (* 1 1) into 1 10.570 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120 10.570 * [backup-simplify]: Simplify -1/120 into -1/120 10.570 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.571 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.571 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.572 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)))) into 0 10.572 * [backup-simplify]: Simplify 0 into 0 10.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.574 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.574 * [backup-simplify]: Simplify 0 into 0 10.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.576 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.576 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.576 * [backup-simplify]: Simplify 0 into 0 10.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.579 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.580 * [backup-simplify]: Simplify 0 into 0 10.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.581 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.583 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.583 * [backup-simplify]: Simplify 0 into 0 10.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.586 * [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 10.586 * [backup-simplify]: Simplify 0 into 0 10.586 * [backup-simplify]: Simplify (* -1/120 (pow (/ 1 (/ 1 (- c))) 5)) into (* 1/120 (pow c 5)) 10.586 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 10.587 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) c) into (+ (* 1/120 (pow c 5)) c) 10.587 * [approximate]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in (c) around 0 10.587 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c 10.587 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 10.587 * [taylor]: Taking taylor expansion of 1/120 in c 10.587 * [backup-simplify]: Simplify 1/120 into 1/120 10.587 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.587 * [taylor]: Taking taylor expansion of c in c 10.587 * [backup-simplify]: Simplify 0 into 0 10.587 * [backup-simplify]: Simplify 1 into 1 10.587 * [taylor]: Taking taylor expansion of c in c 10.587 * [backup-simplify]: Simplify 0 into 0 10.587 * [backup-simplify]: Simplify 1 into 1 10.587 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c 10.587 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 10.587 * [taylor]: Taking taylor expansion of 1/120 in c 10.587 * [backup-simplify]: Simplify 1/120 into 1/120 10.587 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.587 * [taylor]: Taking taylor expansion of c in c 10.587 * [backup-simplify]: Simplify 0 into 0 10.587 * [backup-simplify]: Simplify 1 into 1 10.587 * [taylor]: Taking taylor expansion of c in c 10.587 * [backup-simplify]: Simplify 0 into 0 10.587 * [backup-simplify]: Simplify 1 into 1 10.587 * [backup-simplify]: Simplify (+ 0 0) into 0 10.587 * [backup-simplify]: Simplify 0 into 0 10.588 * [backup-simplify]: Simplify (+ 0 1) into 1 10.588 * [backup-simplify]: Simplify 1 into 1 10.588 * [backup-simplify]: Simplify (+ 0 0) into 0 10.588 * [backup-simplify]: Simplify 0 into 0 10.588 * [backup-simplify]: Simplify (+ 0 0) into 0 10.588 * [backup-simplify]: Simplify 0 into 0 10.588 * [backup-simplify]: Simplify (+ 0 0) into 0 10.588 * [backup-simplify]: Simplify 0 into 0 10.589 * [backup-simplify]: Simplify (* 1 1) into 1 10.589 * [backup-simplify]: Simplify (* 1 1) into 1 10.589 * [backup-simplify]: Simplify (* 1 1) into 1 10.589 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 10.590 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 10.590 * [backup-simplify]: Simplify 1/120 into 1/120 10.590 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.590 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.591 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.591 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 10.591 * [backup-simplify]: Simplify (+ 0 0) into 0 10.591 * [backup-simplify]: Simplify 0 into 0 10.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.593 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.593 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 10.594 * [backup-simplify]: Simplify (+ 0 0) into 0 10.594 * [backup-simplify]: Simplify 0 into 0 10.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.599 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.599 * [backup-simplify]: Simplify (+ 0 0) into 0 10.599 * [backup-simplify]: Simplify 0 into 0 10.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.602 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.603 * [backup-simplify]: Simplify (+ 0 0) into 0 10.603 * [backup-simplify]: Simplify 0 into 0 10.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.608 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.608 * [backup-simplify]: Simplify (+ 0 0) into 0 10.608 * [backup-simplify]: Simplify 0 into 0 10.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.614 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.614 * [backup-simplify]: Simplify (+ 0 0) into 0 10.614 * [backup-simplify]: Simplify 0 into 0 10.615 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (* 1 c)) into (+ (* 1/120 (pow c 5)) c) 10.615 * [backup-simplify]: Simplify (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) into (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) 10.615 * [approximate]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in (c) around 0 10.615 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in c 10.615 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 10.615 * [taylor]: Taking taylor expansion of 1/120 in c 10.615 * [backup-simplify]: Simplify 1/120 into 1/120 10.615 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 10.615 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.615 * [taylor]: Taking taylor expansion of c in c 10.615 * [backup-simplify]: Simplify 0 into 0 10.615 * [backup-simplify]: Simplify 1 into 1 10.615 * [backup-simplify]: Simplify (* 1 1) into 1 10.616 * [backup-simplify]: Simplify (* 1 1) into 1 10.616 * [backup-simplify]: Simplify (* 1 1) into 1 10.616 * [backup-simplify]: Simplify (/ 1 1) into 1 10.616 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.617 * [taylor]: Taking taylor expansion of c in c 10.617 * [backup-simplify]: Simplify 0 into 0 10.617 * [backup-simplify]: Simplify 1 into 1 10.617 * [backup-simplify]: Simplify (/ 1 1) into 1 10.617 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in c 10.617 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 10.617 * [taylor]: Taking taylor expansion of 1/120 in c 10.617 * [backup-simplify]: Simplify 1/120 into 1/120 10.617 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 10.617 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.617 * [taylor]: Taking taylor expansion of c in c 10.617 * [backup-simplify]: Simplify 0 into 0 10.617 * [backup-simplify]: Simplify 1 into 1 10.617 * [backup-simplify]: Simplify (* 1 1) into 1 10.618 * [backup-simplify]: Simplify (* 1 1) into 1 10.618 * [backup-simplify]: Simplify (* 1 1) into 1 10.618 * [backup-simplify]: Simplify (/ 1 1) into 1 10.618 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.619 * [taylor]: Taking taylor expansion of c in c 10.619 * [backup-simplify]: Simplify 0 into 0 10.619 * [backup-simplify]: Simplify 1 into 1 10.619 * [backup-simplify]: Simplify (/ 1 1) into 1 10.619 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 10.620 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 10.620 * [backup-simplify]: Simplify 1/120 into 1/120 10.620 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.621 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.621 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.623 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 10.623 * [backup-simplify]: Simplify (+ 0 0) into 0 10.623 * [backup-simplify]: Simplify 0 into 0 10.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.627 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 10.627 * [backup-simplify]: Simplify (+ 0 0) into 0 10.628 * [backup-simplify]: Simplify 0 into 0 10.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.632 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.632 * [backup-simplify]: Simplify (+ 0 0) into 0 10.632 * [backup-simplify]: Simplify 0 into 0 10.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.637 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.637 * [backup-simplify]: Simplify (+ 0 1) into 1 10.638 * [backup-simplify]: Simplify 1 into 1 10.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.641 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.642 * [backup-simplify]: Simplify (+ 0 0) into 0 10.642 * [backup-simplify]: Simplify 0 into 0 10.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.645 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.646 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.646 * [backup-simplify]: Simplify (+ 0 0) into 0 10.646 * [backup-simplify]: Simplify 0 into 0 10.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.650 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.651 * [backup-simplify]: Simplify (+ 0 0) into 0 10.651 * [backup-simplify]: Simplify 0 into 0 10.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 10.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 10.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 10.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.655 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 10.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.656 * [backup-simplify]: Simplify (+ 0 0) into 0 10.656 * [backup-simplify]: Simplify 0 into 0 10.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 10.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 10.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 10.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.661 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 10.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.662 * [backup-simplify]: Simplify (+ 0 0) into 0 10.662 * [backup-simplify]: Simplify 0 into 0 10.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 10.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 10.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 10.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.667 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 10.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.668 * [backup-simplify]: Simplify (+ 0 0) into 0 10.668 * [backup-simplify]: Simplify 0 into 0 10.669 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 c))) (* 1/120 (pow (/ 1 (/ 1 c)) 5))) into (+ (* 1/120 (pow c 5)) c) 10.669 * [backup-simplify]: Simplify (+ (* 1/120 (pow (/ 1 (- c)) 5)) (/ 1 (- c))) into (- (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c))) 10.669 * [approximate]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c))) in (c) around 0 10.669 * [taylor]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c))) in c 10.669 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in c 10.669 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 10.669 * [taylor]: Taking taylor expansion of 1/120 in c 10.669 * [backup-simplify]: Simplify 1/120 into 1/120 10.669 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 10.669 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.669 * [taylor]: Taking taylor expansion of c in c 10.669 * [backup-simplify]: Simplify 0 into 0 10.669 * [backup-simplify]: Simplify 1 into 1 10.669 * [backup-simplify]: Simplify (* 1 1) into 1 10.670 * [backup-simplify]: Simplify (* 1 1) into 1 10.670 * [backup-simplify]: Simplify (* 1 1) into 1 10.670 * [backup-simplify]: Simplify (/ 1 1) into 1 10.670 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.670 * [taylor]: Taking taylor expansion of c in c 10.670 * [backup-simplify]: Simplify 0 into 0 10.670 * [backup-simplify]: Simplify 1 into 1 10.670 * [backup-simplify]: Simplify (/ 1 1) into 1 10.670 * [taylor]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c))) in c 10.670 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in c 10.670 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 10.670 * [taylor]: Taking taylor expansion of 1/120 in c 10.671 * [backup-simplify]: Simplify 1/120 into 1/120 10.671 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 10.671 * [taylor]: Taking taylor expansion of (pow c 5) in c 10.671 * [taylor]: Taking taylor expansion of c in c 10.671 * [backup-simplify]: Simplify 0 into 0 10.671 * [backup-simplify]: Simplify 1 into 1 10.671 * [backup-simplify]: Simplify (* 1 1) into 1 10.671 * [backup-simplify]: Simplify (* 1 1) into 1 10.671 * [backup-simplify]: Simplify (* 1 1) into 1 10.671 * [backup-simplify]: Simplify (/ 1 1) into 1 10.672 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.672 * [taylor]: Taking taylor expansion of c in c 10.672 * [backup-simplify]: Simplify 0 into 0 10.672 * [backup-simplify]: Simplify 1 into 1 10.672 * [backup-simplify]: Simplify (/ 1 1) into 1 10.672 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 10.672 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 10.673 * [backup-simplify]: Simplify (- 1/120) into -1/120 10.673 * [backup-simplify]: Simplify -1/120 into -1/120 10.673 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.673 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.674 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.674 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.675 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 10.675 * [backup-simplify]: Simplify (+ 0 0) into 0 10.675 * [backup-simplify]: Simplify (- 0) into 0 10.675 * [backup-simplify]: Simplify 0 into 0 10.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.677 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.678 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 10.678 * [backup-simplify]: Simplify (+ 0 0) into 0 10.678 * [backup-simplify]: Simplify (- 0) into 0 10.678 * [backup-simplify]: Simplify 0 into 0 10.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.680 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.681 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.681 * [backup-simplify]: Simplify (+ 0 0) into 0 10.682 * [backup-simplify]: Simplify (- 0) into 0 10.682 * [backup-simplify]: Simplify 0 into 0 10.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.684 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.685 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 10.685 * [backup-simplify]: Simplify (+ 0 1) into 1 10.685 * [backup-simplify]: Simplify (- 1) into -1 10.685 * [backup-simplify]: Simplify -1 into -1 10.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.688 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.689 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 10.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.689 * [backup-simplify]: Simplify (+ 0 0) into 0 10.690 * [backup-simplify]: Simplify (- 0) into 0 10.690 * [backup-simplify]: Simplify 0 into 0 10.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.696 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 10.697 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.697 * [backup-simplify]: Simplify (+ 0 0) into 0 10.697 * [backup-simplify]: Simplify (- 0) into 0 10.697 * [backup-simplify]: Simplify 0 into 0 10.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.701 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 10.702 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.702 * [backup-simplify]: Simplify (+ 0 0) into 0 10.702 * [backup-simplify]: Simplify (- 0) into 0 10.702 * [backup-simplify]: Simplify 0 into 0 10.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 10.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 10.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 10.706 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.707 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 10.708 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.708 * [backup-simplify]: Simplify (+ 0 0) into 0 10.708 * [backup-simplify]: Simplify (- 0) into 0 10.708 * [backup-simplify]: Simplify 0 into 0 10.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 10.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 10.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 10.712 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.713 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0 10.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.714 * [backup-simplify]: Simplify (+ 0 0) into 0 10.714 * [backup-simplify]: Simplify (- 0) into 0 10.714 * [backup-simplify]: Simplify 0 into 0 10.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 10.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 10.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 10.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.720 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0 10.721 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.721 * [backup-simplify]: Simplify (+ 0 0) into 0 10.722 * [backup-simplify]: Simplify (- 0) into 0 10.722 * [backup-simplify]: Simplify 0 into 0 10.722 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- c)))) (* -1/120 (pow (/ 1 (/ 1 (- c))) 5))) into (+ (* 1/120 (pow c 5)) c) 10.722 * * * [progress]: simplifying candidates 10.723 * [simplify]: Simplifying: (+ (log 1/6) (* (log c) 3)) (+ (log 1/6) (* (log c) 3)) (+ (log 1/6) (log (pow c 3))) (log (* 1/6 (pow c 3))) (exp (* 1/6 (pow c 3))) (* (* (* 1/6 1/6) 1/6) (* (* (pow c 3) (pow c 3)) (pow c 3))) (* (cbrt (* 1/6 (pow c 3))) (cbrt (* 1/6 (pow c 3)))) (cbrt (* 1/6 (pow c 3))) (* (* (* 1/6 (pow c 3)) (* 1/6 (pow c 3))) (* 1/6 (pow c 3))) (sqrt (* 1/6 (pow c 3))) (sqrt (* 1/6 (pow c 3))) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (sqrt (pow c 3))) (* (sqrt 1/6) (sqrt (pow c 3))) (* (sqrt 1/6) (pow c (/ 3 2))) (* (sqrt 1/6) (pow c (/ 3 2))) (* 1/6 (pow (* (cbrt c) (cbrt c)) 3)) (* 1/6 (pow (sqrt c) 3)) (* 1/6 (pow 1 3)) (* 1/6 (* c c)) (* 1/6 (* (cbrt (pow c 3)) (cbrt (pow c 3)))) (* 1/6 (pow (* (cbrt c) (cbrt c)) 3)) (* 1/6 (pow (sqrt c) 3)) (* 1/6 (pow 1 3)) (* 1/6 c) (* 1/6 (sqrt (pow c 3))) (* 1/6 1) (* 1/6 (pow c (/ 3 2))) (* (cbrt 1/6) (pow c 3)) (* (sqrt 1/6) (pow c 3)) (* 1/6 (pow c 3)) (+ (log 1/120) (* (log c) 5)) (+ (log 1/120) (* (log c) 5)) (+ (log 1/120) (log (pow c 5))) (log (* 1/120 (pow c 5))) (exp (* 1/120 (pow c 5))) (* (* (* 1/120 1/120) 1/120) (* (* (pow c 5) (pow c 5)) (pow c 5))) (* (cbrt (* 1/120 (pow c 5))) (cbrt (* 1/120 (pow c 5)))) (cbrt (* 1/120 (pow c 5))) (* (* (* 1/120 (pow c 5)) (* 1/120 (pow c 5))) (* 1/120 (pow c 5))) (sqrt (* 1/120 (pow c 5))) (sqrt (* 1/120 (pow c 5))) (* (sqrt 1/120) (pow (sqrt c) 5)) (* (sqrt 1/120) (pow (sqrt c) 5)) (* (sqrt 1/120) (sqrt (pow c 5))) (* (sqrt 1/120) (sqrt (pow c 5))) (* (sqrt 1/120) (pow c (/ 5 2))) (* (sqrt 1/120) (pow c (/ 5 2))) (* 1/120 (pow (* (cbrt c) (cbrt c)) 5)) (* 1/120 (pow (sqrt c) 5)) (* 1/120 (pow 1 5)) (* 1/120 (* (cbrt (pow c 5)) (cbrt (pow c 5)))) (* 1/120 (sqrt (pow c 5))) (* 1/120 1) (* 1/120 (pow c (/ 5 2))) (* (cbrt 1/120) (pow c 5)) (* (sqrt 1/120) (pow c 5)) (* 1/120 (pow c 5)) (* (exp (* 1/120 (pow c 5))) (exp c)) (log (+ (* 1/120 (pow c 5)) c)) (exp (+ (* 1/120 (pow c 5)) c)) (* (cbrt (+ (* 1/120 (pow c 5)) c)) (cbrt (+ (* 1/120 (pow c 5)) c))) (cbrt (+ (* 1/120 (pow c 5)) c)) (* (* (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c)) (+ (* 1/120 (pow c 5)) c)) (sqrt (+ (* 1/120 (pow c 5)) c)) (sqrt (+ (* 1/120 (pow c 5)) c)) (+ (pow (* 1/120 (pow c 5)) 3) (pow c 3)) (+ (* (* 1/120 (pow c 5)) (* 1/120 (pow c 5))) (- (* c c) (* (* 1/120 (pow c 5)) c))) (- (* (* 1/120 (pow c 5)) (* 1/120 (pow c 5))) (* c c)) (- (* 1/120 (pow c 5)) c) (* 1/6 (pow c 3)) (* 1/6 (pow c 3)) (* 1/6 (pow c 3)) (* 1/120 (pow c 5)) (* 1/120 (pow c 5)) (* 1/120 (pow c 5)) (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c) 10.724 * * [simplify]: Extracting # 0 : cost 0 10.724 * * [simplify]: Extracting # 1 : cost 0 10.725 * * [simplify]: Extracting # 2 : cost 0 10.725 * * [simplify]: Extracting # 3 : cost 0 10.725 * * [simplify]: Extracting # 4 : cost 0 10.725 * * [simplify]: Extracting # 5 : cost 0 10.725 * * [simplify]: Extracting # 6 : cost 0 10.725 * * [simplify]: iteration 0 : 113 enodes (cost 650 ) 10.777 * * [simplify]: Extracting # 0 : cost 0 10.778 * * [simplify]: Extracting # 1 : cost 0 10.778 * * [simplify]: Extracting # 2 : cost 0 10.779 * * [simplify]: Extracting # 3 : cost 0 10.779 * * [simplify]: Extracting # 4 : cost 0 10.780 * * [simplify]: Extracting # 5 : cost 0 10.780 * * [simplify]: iteration 1 : 266 enodes (cost 563 ) 10.907 * * [simplify]: Extracting # 0 : cost 0 10.908 * * [simplify]: Extracting # 1 : cost 0 10.909 * * [simplify]: Extracting # 2 : cost 0 10.913 * * [simplify]: Extracting # 3 : cost 0 10.914 * * [simplify]: Extracting # 4 : cost 0 10.915 * * [simplify]: iteration 2 : 694 enodes (cost 533 ) 11.498 * * [simplify]: Extracting # 0 : cost 0 11.502 * * [simplify]: Extracting # 1 : cost 0 11.505 * * [simplify]: Extracting # 2 : cost 0 11.509 * * [simplify]: Extracting # 3 : cost 0 11.512 * * [simplify]: Extracting # 4 : cost 0 11.515 * * [simplify]: Extracting # 5 : cost 0 11.518 * * [simplify]: iteration 3 : 2759 enodes (cost 533 ) 12.973 * * [simplify]: Extracting # 0 : cost 0 12.979 * * [simplify]: Extracting # 1 : cost 0 12.985 * * [simplify]: Extracting # 2 : cost 0 12.991 * * [simplify]: Extracting # 3 : cost 0 13.002 * * [simplify]: Extracting # 4 : cost 0 13.010 * * [simplify]: iteration done: 5001 enodes (cost 533 ) 13.011 * [simplify]: Simplified to: (log (* 1/6 (pow c 3))) (log (* 1/6 (pow c 3))) (log (* 1/6 (pow c 3))) (log (* 1/6 (pow c 3))) (exp (* 1/6 (pow c 3))) (* (pow (pow c 3) 3) 1/216) (* (cbrt (* 1/6 (pow c 3))) (cbrt (* 1/6 (pow c 3)))) (cbrt (* 1/6 (pow c 3))) (* (pow (pow c 3) 3) 1/216) (sqrt (* 1/6 (pow c 3))) (sqrt (* 1/6 (pow c 3))) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (pow (sqrt c) 3)) (* (sqrt 1/6) (sqrt (pow c 3))) (* (sqrt 1/6) (sqrt (pow c 3))) (* (sqrt 1/6) (pow c 3/2)) (* (sqrt 1/6) (pow c 3/2)) (* 1/6 (* c c)) (* 1/6 (pow (sqrt c) 3)) 1/6 (* 1/6 (* c c)) (* 1/6 (* c c)) (* 1/6 (* c c)) (* 1/6 (pow (sqrt c) 3)) 1/6 (* 1/6 c) (* 1/6 (sqrt (pow c 3))) 1/6 (* 1/6 (pow c 3/2)) (* (cbrt 1/6) (pow c 3)) (* (sqrt 1/6) (pow c 3)) (* 1/6 (pow c 3)) (log (* 1/120 (pow c 5))) (log (* 1/120 (pow c 5))) (log (* 1/120 (pow c 5))) (log (* 1/120 (pow c 5))) (exp (* 1/120 (pow c 5))) (pow (* 1/120 (pow c 5)) 3) (* (cbrt (* 1/120 (pow c 5))) (cbrt (* 1/120 (pow c 5)))) (cbrt (* 1/120 (pow c 5))) (pow (* 1/120 (pow c 5)) 3) (sqrt (* 1/120 (pow c 5))) (sqrt (* 1/120 (pow c 5))) (* (sqrt 1/120) (pow (sqrt c) 5)) (* (sqrt 1/120) (pow (sqrt c) 5)) (* (sqrt 1/120) (sqrt (pow c 5))) (* (sqrt 1/120) (sqrt (pow c 5))) (* (sqrt 1/120) (pow c 5/2)) (* (sqrt 1/120) (pow c 5/2)) (* 1/120 (pow (* (cbrt c) (cbrt c)) 5)) (* 1/120 (pow (sqrt c) 5)) 1/120 (* 1/120 (* (cbrt (pow c 5)) (cbrt (pow c 5)))) (* 1/120 (sqrt (pow c 5))) 1/120 (* (pow c 5/2) 1/120) (* (cbrt 1/120) (pow c 5)) (* (sqrt 1/120) (pow c 5)) (* 1/120 (pow c 5)) (exp (+ (* 1/120 (pow c 5)) c)) (log (+ (* 1/120 (pow c 5)) c)) (exp (+ (* 1/120 (pow c 5)) c)) (* (cbrt (+ (* 1/120 (pow c 5)) c)) (cbrt (+ (* 1/120 (pow c 5)) c))) (cbrt (+ (* 1/120 (pow c 5)) c)) (pow (+ (* 1/120 (pow c 5)) c) 3) (sqrt (+ (* 1/120 (pow c 5)) c)) (sqrt (+ (* 1/120 (pow c 5)) c)) (+ (pow (* 1/120 (pow c 5)) 3) (pow c 3)) (+ (* 1/14400 (pow c 10)) (* c (- c (* 1/120 (pow c 5))))) (- (* 1/14400 (pow c 10)) (* c c)) (- (* 1/120 (pow c 5)) c) (* 1/6 (pow c 3)) (* 1/6 (pow c 3)) (* 1/6 (pow c 3)) (* 1/120 (pow c 5)) (* 1/120 (pow c 5)) (* 1/120 (pow c 5)) (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c) (+ (* 1/120 (pow c 5)) c) 13.012 * * * [progress]: adding candidates to table 13.307 * * [progress]: iteration 3 / 4 13.307 * * * [progress]: picking best candidate 13.311 * * * * [pick]: Picked # 13.311 * * * [progress]: localizing error 13.324 * * * [progress]: generating rewritten candidates 13.324 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 13.331 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 13.335 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 13.339 * * * [progress]: generating series expansions 13.339 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 13.339 * [backup-simplify]: Simplify (cbrt (pow (sinh c) 3)) into (sinh c) 13.339 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 13.339 * [taylor]: Taking taylor expansion of (sinh c) in c 13.339 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 13.339 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 13.339 * [taylor]: Taking taylor expansion of (exp c) in c 13.339 * [taylor]: Taking taylor expansion of c in c 13.339 * [backup-simplify]: Simplify 0 into 0 13.339 * [backup-simplify]: Simplify 1 into 1 13.339 * [backup-simplify]: Simplify (exp 0) into 1 13.339 * [taylor]: Taking taylor expansion of (exp (- c)) in c 13.339 * [taylor]: Taking taylor expansion of (- c) in c 13.339 * [taylor]: Taking taylor expansion of c in c 13.339 * [backup-simplify]: Simplify 0 into 0 13.339 * [backup-simplify]: Simplify 1 into 1 13.340 * [backup-simplify]: Simplify (- 0) into 0 13.341 * [backup-simplify]: Simplify (- 1) into -1 13.341 * [backup-simplify]: Simplify (exp 0) into 1 13.341 * [taylor]: Taking taylor expansion of 2 in c 13.341 * [backup-simplify]: Simplify 2 into 2 13.341 * [backup-simplify]: Simplify (- 1) into -1 13.342 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.343 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 13.343 * [backup-simplify]: Simplify (- 1) into -1 13.345 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 13.345 * [backup-simplify]: Simplify (- -1) into 1 13.345 * [backup-simplify]: Simplify (+ 1 1) into 2 13.346 * [backup-simplify]: Simplify (/ 2 2) into 1 13.346 * [taylor]: Taking taylor expansion of (sinh c) in c 13.346 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 13.346 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 13.346 * [taylor]: Taking taylor expansion of (exp c) in c 13.346 * [taylor]: Taking taylor expansion of c in c 13.346 * [backup-simplify]: Simplify 0 into 0 13.346 * [backup-simplify]: Simplify 1 into 1 13.346 * [backup-simplify]: Simplify (exp 0) into 1 13.346 * [taylor]: Taking taylor expansion of (exp (- c)) in c 13.346 * [taylor]: Taking taylor expansion of (- c) in c 13.346 * [taylor]: Taking taylor expansion of c in c 13.346 * [backup-simplify]: Simplify 0 into 0 13.346 * [backup-simplify]: Simplify 1 into 1 13.347 * [backup-simplify]: Simplify (- 0) into 0 13.347 * [backup-simplify]: Simplify (- 1) into -1 13.347 * [backup-simplify]: Simplify (exp 0) into 1 13.347 * [taylor]: Taking taylor expansion of 2 in c 13.347 * [backup-simplify]: Simplify 2 into 2 13.348 * [backup-simplify]: Simplify (- 1) into -1 13.348 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.349 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 13.349 * [backup-simplify]: Simplify (- 1) into -1 13.351 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 13.351 * [backup-simplify]: Simplify (- -1) into 1 13.351 * [backup-simplify]: Simplify (+ 1 1) into 2 13.352 * [backup-simplify]: Simplify (/ 2 2) into 1 13.352 * [backup-simplify]: Simplify 1 into 1 13.353 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 13.354 * [backup-simplify]: Simplify (- 1) into -1 13.354 * [backup-simplify]: Simplify (- 0) into 0 13.355 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 13.355 * [backup-simplify]: Simplify (- 1/2) into -1/2 13.355 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 13.356 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 13.356 * [backup-simplify]: Simplify 0 into 0 13.357 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 13.358 * [backup-simplify]: Simplify (- 1) into -1 13.358 * [backup-simplify]: Simplify (- 1) into -1 13.358 * [backup-simplify]: Simplify (- 0) into 0 13.358 * [backup-simplify]: Simplify (- 0) into 0 13.360 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 13.360 * [backup-simplify]: Simplify (- -1/6) into 1/6 13.360 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 13.361 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 13.361 * [backup-simplify]: Simplify 1/6 into 1/6 13.363 * [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 13.363 * [backup-simplify]: Simplify (- 1) into -1 13.364 * [backup-simplify]: Simplify (- 1) into -1 13.364 * [backup-simplify]: Simplify (- 0) into 0 13.364 * [backup-simplify]: Simplify (- 1) into -1 13.365 * [backup-simplify]: Simplify (- 0) into 0 13.365 * [backup-simplify]: Simplify (- 0) into 0 13.365 * [backup-simplify]: Simplify (- 0) into 0 13.368 * [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 13.368 * [backup-simplify]: Simplify (- 1/24) into -1/24 13.368 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 13.369 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 13.369 * [backup-simplify]: Simplify 0 into 0 13.372 * [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 13.373 * [backup-simplify]: Simplify (- 1) into -1 13.373 * [backup-simplify]: Simplify (- 1) into -1 13.373 * [backup-simplify]: Simplify (- 0) into 0 13.373 * [backup-simplify]: Simplify (- 1) into -1 13.374 * [backup-simplify]: Simplify (- 0) into 0 13.374 * [backup-simplify]: Simplify (- 1) into -1 13.374 * [backup-simplify]: Simplify (- 0) into 0 13.374 * [backup-simplify]: Simplify (- 1) into -1 13.375 * [backup-simplify]: Simplify (- 0) into 0 13.375 * [backup-simplify]: Simplify (- 0) into 0 13.375 * [backup-simplify]: Simplify (- 0) into 0 13.375 * [backup-simplify]: Simplify (- 0) into 0 13.378 * [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 13.379 * [backup-simplify]: Simplify (- -1/120) into 1/120 13.379 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 13.380 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 13.380 * [backup-simplify]: Simplify 1/120 into 1/120 13.380 * [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)) 13.380 * [backup-simplify]: Simplify (cbrt (pow (sinh (/ 1 c)) 3)) into (sinh (/ 1 c)) 13.380 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 13.380 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 13.380 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 13.380 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 13.380 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 13.380 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.380 * [taylor]: Taking taylor expansion of c in c 13.380 * [backup-simplify]: Simplify 0 into 0 13.380 * [backup-simplify]: Simplify 1 into 1 13.381 * [backup-simplify]: Simplify (/ 1 1) into 1 13.381 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 13.381 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 13.381 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 13.381 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.381 * [taylor]: Taking taylor expansion of c in c 13.381 * [backup-simplify]: Simplify 0 into 0 13.381 * [backup-simplify]: Simplify 1 into 1 13.381 * [backup-simplify]: Simplify (/ 1 1) into 1 13.381 * [backup-simplify]: Simplify (- 1) into -1 13.382 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 13.382 * [taylor]: Taking taylor expansion of 2 in c 13.382 * [backup-simplify]: Simplify 2 into 2 13.382 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 13.382 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 13.382 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 13.382 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 13.382 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 13.382 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 13.382 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 13.383 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.383 * [taylor]: Taking taylor expansion of c in c 13.383 * [backup-simplify]: Simplify 0 into 0 13.383 * [backup-simplify]: Simplify 1 into 1 13.383 * [backup-simplify]: Simplify (/ 1 1) into 1 13.383 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 13.383 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 13.383 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 13.383 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.383 * [taylor]: Taking taylor expansion of c in c 13.383 * [backup-simplify]: Simplify 0 into 0 13.383 * [backup-simplify]: Simplify 1 into 1 13.384 * [backup-simplify]: Simplify (/ 1 1) into 1 13.384 * [backup-simplify]: Simplify (- 1) into -1 13.384 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 13.384 * [taylor]: Taking taylor expansion of 2 in c 13.384 * [backup-simplify]: Simplify 2 into 2 13.384 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 13.384 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 13.385 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 13.385 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 13.385 * [backup-simplify]: Simplify (- 0) into 0 13.386 * [backup-simplify]: Simplify (+ 0 0) into 0 13.387 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 13.387 * [backup-simplify]: Simplify 0 into 0 13.387 * [backup-simplify]: Simplify (- 0) into 0 13.388 * [backup-simplify]: Simplify (+ 0 0) into 0 13.389 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.389 * [backup-simplify]: Simplify 0 into 0 13.390 * [backup-simplify]: Simplify (- 0) into 0 13.390 * [backup-simplify]: Simplify (+ 0 0) into 0 13.392 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.392 * [backup-simplify]: Simplify 0 into 0 13.392 * [backup-simplify]: Simplify (- 0) into 0 13.393 * [backup-simplify]: Simplify (+ 0 0) into 0 13.395 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.395 * [backup-simplify]: Simplify 0 into 0 13.396 * [backup-simplify]: Simplify (- 0) into 0 13.396 * [backup-simplify]: Simplify (+ 0 0) into 0 13.399 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.399 * [backup-simplify]: Simplify 0 into 0 13.400 * [backup-simplify]: Simplify (- 0) into 0 13.400 * [backup-simplify]: Simplify (+ 0 0) into 0 13.403 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.403 * [backup-simplify]: Simplify 0 into 0 13.404 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 13.404 * [backup-simplify]: Simplify (cbrt (pow (sinh (/ 1 (- c))) 3)) into (sinh (/ -1 c)) 13.404 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 13.404 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 13.404 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 13.404 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 13.404 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 13.404 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.404 * [taylor]: Taking taylor expansion of -1 in c 13.404 * [backup-simplify]: Simplify -1 into -1 13.404 * [taylor]: Taking taylor expansion of c in c 13.404 * [backup-simplify]: Simplify 0 into 0 13.404 * [backup-simplify]: Simplify 1 into 1 13.405 * [backup-simplify]: Simplify (/ -1 1) into -1 13.405 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 13.405 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 13.405 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 13.405 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.405 * [taylor]: Taking taylor expansion of -1 in c 13.405 * [backup-simplify]: Simplify -1 into -1 13.405 * [taylor]: Taking taylor expansion of c in c 13.405 * [backup-simplify]: Simplify 0 into 0 13.405 * [backup-simplify]: Simplify 1 into 1 13.406 * [backup-simplify]: Simplify (/ -1 1) into -1 13.406 * [backup-simplify]: Simplify (- -1) into 1 13.406 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 13.406 * [taylor]: Taking taylor expansion of 2 in c 13.406 * [backup-simplify]: Simplify 2 into 2 13.406 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 13.406 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 13.407 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 13.407 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 13.407 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 13.407 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 13.407 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 13.407 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.407 * [taylor]: Taking taylor expansion of -1 in c 13.407 * [backup-simplify]: Simplify -1 into -1 13.407 * [taylor]: Taking taylor expansion of c in c 13.407 * [backup-simplify]: Simplify 0 into 0 13.407 * [backup-simplify]: Simplify 1 into 1 13.407 * [backup-simplify]: Simplify (/ -1 1) into -1 13.408 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 13.408 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 13.408 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 13.408 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.408 * [taylor]: Taking taylor expansion of -1 in c 13.408 * [backup-simplify]: Simplify -1 into -1 13.408 * [taylor]: Taking taylor expansion of c in c 13.408 * [backup-simplify]: Simplify 0 into 0 13.408 * [backup-simplify]: Simplify 1 into 1 13.408 * [backup-simplify]: Simplify (/ -1 1) into -1 13.409 * [backup-simplify]: Simplify (- -1) into 1 13.409 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 13.409 * [taylor]: Taking taylor expansion of 2 in c 13.409 * [backup-simplify]: Simplify 2 into 2 13.409 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 13.409 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 13.409 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 13.409 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 13.410 * [backup-simplify]: Simplify (- 0) into 0 13.410 * [backup-simplify]: Simplify (+ 0 0) into 0 13.411 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 13.412 * [backup-simplify]: Simplify 0 into 0 13.412 * [backup-simplify]: Simplify (- 0) into 0 13.412 * [backup-simplify]: Simplify (+ 0 0) into 0 13.414 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.414 * [backup-simplify]: Simplify 0 into 0 13.414 * [backup-simplify]: Simplify (- 0) into 0 13.415 * [backup-simplify]: Simplify (+ 0 0) into 0 13.417 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.417 * [backup-simplify]: Simplify 0 into 0 13.417 * [backup-simplify]: Simplify (- 0) into 0 13.417 * [backup-simplify]: Simplify (+ 0 0) into 0 13.420 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.420 * [backup-simplify]: Simplify 0 into 0 13.420 * [backup-simplify]: Simplify (- 0) into 0 13.421 * [backup-simplify]: Simplify (+ 0 0) into 0 13.424 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.424 * [backup-simplify]: Simplify 0 into 0 13.424 * [backup-simplify]: Simplify (- 0) into 0 13.424 * [backup-simplify]: Simplify (+ 0 0) into 0 13.427 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.427 * [backup-simplify]: Simplify 0 into 0 13.427 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 13.427 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 13.427 * [backup-simplify]: Simplify (pow (sinh c) 3) into (pow (sinh c) 3) 13.427 * [approximate]: Taking taylor expansion of (pow (sinh c) 3) in (c) around 0 13.427 * [taylor]: Taking taylor expansion of (pow (sinh c) 3) in c 13.427 * [taylor]: Taking taylor expansion of (sinh c) in c 13.427 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 13.427 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 13.427 * [taylor]: Taking taylor expansion of (exp c) in c 13.427 * [taylor]: Taking taylor expansion of c in c 13.427 * [backup-simplify]: Simplify 0 into 0 13.427 * [backup-simplify]: Simplify 1 into 1 13.427 * [backup-simplify]: Simplify (exp 0) into 1 13.427 * [taylor]: Taking taylor expansion of (exp (- c)) in c 13.427 * [taylor]: Taking taylor expansion of (- c) in c 13.427 * [taylor]: Taking taylor expansion of c in c 13.427 * [backup-simplify]: Simplify 0 into 0 13.427 * [backup-simplify]: Simplify 1 into 1 13.428 * [backup-simplify]: Simplify (- 0) into 0 13.428 * [backup-simplify]: Simplify (- 1) into -1 13.428 * [backup-simplify]: Simplify (exp 0) into 1 13.428 * [taylor]: Taking taylor expansion of 2 in c 13.428 * [backup-simplify]: Simplify 2 into 2 13.428 * [backup-simplify]: Simplify (- 1) into -1 13.428 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.429 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 13.429 * [backup-simplify]: Simplify (- 1) into -1 13.430 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 13.430 * [backup-simplify]: Simplify (- -1) into 1 13.430 * [backup-simplify]: Simplify (+ 1 1) into 2 13.431 * [backup-simplify]: Simplify (/ 2 2) into 1 13.431 * [taylor]: Taking taylor expansion of (pow (sinh c) 3) in c 13.431 * [taylor]: Taking taylor expansion of (sinh c) in c 13.431 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 13.431 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 13.431 * [taylor]: Taking taylor expansion of (exp c) in c 13.431 * [taylor]: Taking taylor expansion of c in c 13.431 * [backup-simplify]: Simplify 0 into 0 13.431 * [backup-simplify]: Simplify 1 into 1 13.431 * [backup-simplify]: Simplify (exp 0) into 1 13.431 * [taylor]: Taking taylor expansion of (exp (- c)) in c 13.431 * [taylor]: Taking taylor expansion of (- c) in c 13.431 * [taylor]: Taking taylor expansion of c in c 13.431 * [backup-simplify]: Simplify 0 into 0 13.431 * [backup-simplify]: Simplify 1 into 1 13.431 * [backup-simplify]: Simplify (- 0) into 0 13.431 * [backup-simplify]: Simplify (- 1) into -1 13.431 * [backup-simplify]: Simplify (exp 0) into 1 13.431 * [taylor]: Taking taylor expansion of 2 in c 13.431 * [backup-simplify]: Simplify 2 into 2 13.432 * [backup-simplify]: Simplify (- 1) into -1 13.432 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.432 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 13.433 * [backup-simplify]: Simplify (- 1) into -1 13.433 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 13.434 * [backup-simplify]: Simplify (- -1) into 1 13.434 * [backup-simplify]: Simplify (+ 1 1) into 2 13.434 * [backup-simplify]: Simplify (/ 2 2) into 1 13.434 * [backup-simplify]: Simplify (* 1 1) into 1 13.435 * [backup-simplify]: Simplify (* 1 1) into 1 13.435 * [backup-simplify]: Simplify 1 into 1 13.436 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 13.436 * [backup-simplify]: Simplify (- 1) into -1 13.436 * [backup-simplify]: Simplify (- 0) into 0 13.437 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 13.437 * [backup-simplify]: Simplify (- 1/2) into -1/2 13.437 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 13.438 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 13.438 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.442 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 13.442 * [backup-simplify]: Simplify 0 into 0 13.444 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 13.444 * [backup-simplify]: Simplify (- 1) into -1 13.444 * [backup-simplify]: Simplify (- 1) into -1 13.444 * [backup-simplify]: Simplify (- 0) into 0 13.445 * [backup-simplify]: Simplify (- 0) into 0 13.446 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 13.446 * [backup-simplify]: Simplify (- -1/6) into 1/6 13.446 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 13.447 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 13.448 * [backup-simplify]: Simplify (+ (* 1 1/6) (+ (* 0 0) (* 1/6 1))) into 1/3 13.448 * [backup-simplify]: Simplify (+ (* 1 1/3) (+ (* 0 0) (* 1/6 1))) into 1/2 13.448 * [backup-simplify]: Simplify 1/2 into 1/2 13.450 * [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 13.451 * [backup-simplify]: Simplify (- 1) into -1 13.451 * [backup-simplify]: Simplify (- 1) into -1 13.451 * [backup-simplify]: Simplify (- 0) into 0 13.451 * [backup-simplify]: Simplify (- 1) into -1 13.452 * [backup-simplify]: Simplify (- 0) into 0 13.452 * [backup-simplify]: Simplify (- 0) into 0 13.452 * [backup-simplify]: Simplify (- 0) into 0 13.455 * [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 13.456 * [backup-simplify]: Simplify (- 1/24) into -1/24 13.456 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 13.458 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 13.459 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/6) (+ (* 1/6 0) (* 0 1)))) into 0 13.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/3) (+ (* 1/6 0) (* 0 1)))) into 0 13.460 * [backup-simplify]: Simplify 0 into 0 13.467 * [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 13.467 * [backup-simplify]: Simplify (- 1) into -1 13.468 * [backup-simplify]: Simplify (- 1) into -1 13.468 * [backup-simplify]: Simplify (- 0) into 0 13.468 * [backup-simplify]: Simplify (- 1) into -1 13.469 * [backup-simplify]: Simplify (- 0) into 0 13.469 * [backup-simplify]: Simplify (- 1) into -1 13.470 * [backup-simplify]: Simplify (- 0) into 0 13.470 * [backup-simplify]: Simplify (- 1) into -1 13.470 * [backup-simplify]: Simplify (- 0) into 0 13.471 * [backup-simplify]: Simplify (- 0) into 0 13.471 * [backup-simplify]: Simplify (- 0) into 0 13.471 * [backup-simplify]: Simplify (- 0) into 0 13.478 * [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 13.479 * [backup-simplify]: Simplify (- -1/120) into 1/120 13.479 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 13.481 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 13.482 * [backup-simplify]: Simplify (+ (* 1 1/120) (+ (* 0 0) (+ (* 1/6 1/6) (+ (* 0 0) (* 1/120 1))))) into 2/45 13.484 * [backup-simplify]: Simplify (+ (* 1 2/45) (+ (* 0 0) (+ (* 1/6 1/3) (+ (* 0 0) (* 1/120 1))))) into 13/120 13.484 * [backup-simplify]: Simplify 13/120 into 13/120 13.485 * [backup-simplify]: Simplify (+ (* 13/120 (pow c 7)) (+ (* 1/2 (pow c 5)) (* 1 (pow c 3)))) into (+ (pow c 3) (+ (* 1/2 (pow c 5)) (* 13/120 (pow c 7)))) 13.485 * [backup-simplify]: Simplify (pow (sinh (/ 1 c)) 3) into (pow (sinh (/ 1 c)) 3) 13.485 * [approximate]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in (c) around 0 13.485 * [taylor]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in c 13.485 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 13.485 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 13.485 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 13.485 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 13.485 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.485 * [taylor]: Taking taylor expansion of c in c 13.486 * [backup-simplify]: Simplify 0 into 0 13.486 * [backup-simplify]: Simplify 1 into 1 13.486 * [backup-simplify]: Simplify (/ 1 1) into 1 13.486 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 13.486 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 13.486 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 13.486 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.486 * [taylor]: Taking taylor expansion of c in c 13.486 * [backup-simplify]: Simplify 0 into 0 13.486 * [backup-simplify]: Simplify 1 into 1 13.487 * [backup-simplify]: Simplify (/ 1 1) into 1 13.487 * [backup-simplify]: Simplify (- 1) into -1 13.487 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 13.487 * [taylor]: Taking taylor expansion of 2 in c 13.487 * [backup-simplify]: Simplify 2 into 2 13.487 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 13.488 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 13.488 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 13.488 * [taylor]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in c 13.488 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 13.488 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 13.488 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 13.488 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 13.488 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.488 * [taylor]: Taking taylor expansion of c in c 13.488 * [backup-simplify]: Simplify 0 into 0 13.488 * [backup-simplify]: Simplify 1 into 1 13.489 * [backup-simplify]: Simplify (/ 1 1) into 1 13.489 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 13.489 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 13.489 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 13.489 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.489 * [taylor]: Taking taylor expansion of c in c 13.489 * [backup-simplify]: Simplify 0 into 0 13.489 * [backup-simplify]: Simplify 1 into 1 13.489 * [backup-simplify]: Simplify (/ 1 1) into 1 13.490 * [backup-simplify]: Simplify (- 1) into -1 13.490 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 13.490 * [taylor]: Taking taylor expansion of 2 in c 13.490 * [backup-simplify]: Simplify 2 into 2 13.490 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 13.490 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 13.490 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 13.491 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)) 13.492 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))) into (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) 13.492 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) into (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) 13.492 * [backup-simplify]: Simplify (- 0) into 0 13.493 * [backup-simplify]: Simplify (+ 0 0) into 0 13.494 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 13.494 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))) into 0 13.495 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))) into 0 13.495 * [backup-simplify]: Simplify 0 into 0 13.495 * [backup-simplify]: Simplify (- 0) into 0 13.496 * [backup-simplify]: Simplify (+ 0 0) into 0 13.497 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.498 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))) into 0 13.499 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))) into 0 13.499 * [backup-simplify]: Simplify 0 into 0 13.500 * [backup-simplify]: Simplify (- 0) into 0 13.500 * [backup-simplify]: Simplify (+ 0 0) into 0 13.502 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.504 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))))) into 0 13.505 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))))) into 0 13.506 * [backup-simplify]: Simplify 0 into 0 13.506 * [backup-simplify]: Simplify (- 0) into 0 13.506 * [backup-simplify]: Simplify (+ 0 0) into 0 13.509 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.511 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))))) into 0 13.512 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))))) into 0 13.512 * [backup-simplify]: Simplify 0 into 0 13.513 * [backup-simplify]: Simplify (- 0) into 0 13.513 * [backup-simplify]: Simplify (+ 0 0) into 0 13.516 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.518 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))))))) into 0 13.520 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))))))) into 0 13.520 * [backup-simplify]: Simplify 0 into 0 13.521 * [backup-simplify]: Simplify (- 0) into 0 13.521 * [backup-simplify]: Simplify (+ 0 0) into 0 13.525 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.526 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))))))))) into 0 13.528 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))))))) into 0 13.528 * [backup-simplify]: Simplify 0 into 0 13.528 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c))))) 3)) into (* 1/8 (pow (- (exp c) (exp (- c))) 3)) 13.528 * [backup-simplify]: Simplify (pow (sinh (/ 1 (- c))) 3) into (pow (sinh (/ -1 c)) 3) 13.528 * [approximate]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in (c) around 0 13.528 * [taylor]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in c 13.528 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 13.528 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 13.528 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 13.528 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 13.528 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.528 * [taylor]: Taking taylor expansion of -1 in c 13.529 * [backup-simplify]: Simplify -1 into -1 13.529 * [taylor]: Taking taylor expansion of c in c 13.529 * [backup-simplify]: Simplify 0 into 0 13.529 * [backup-simplify]: Simplify 1 into 1 13.529 * [backup-simplify]: Simplify (/ -1 1) into -1 13.529 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 13.529 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 13.529 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 13.529 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.529 * [taylor]: Taking taylor expansion of -1 in c 13.529 * [backup-simplify]: Simplify -1 into -1 13.529 * [taylor]: Taking taylor expansion of c in c 13.529 * [backup-simplify]: Simplify 0 into 0 13.529 * [backup-simplify]: Simplify 1 into 1 13.529 * [backup-simplify]: Simplify (/ -1 1) into -1 13.530 * [backup-simplify]: Simplify (- -1) into 1 13.530 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 13.530 * [taylor]: Taking taylor expansion of 2 in c 13.530 * [backup-simplify]: Simplify 2 into 2 13.530 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 13.530 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 13.530 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 13.530 * [taylor]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in c 13.530 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 13.530 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 13.530 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 13.530 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 13.530 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.530 * [taylor]: Taking taylor expansion of -1 in c 13.530 * [backup-simplify]: Simplify -1 into -1 13.530 * [taylor]: Taking taylor expansion of c in c 13.530 * [backup-simplify]: Simplify 0 into 0 13.530 * [backup-simplify]: Simplify 1 into 1 13.530 * [backup-simplify]: Simplify (/ -1 1) into -1 13.531 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 13.531 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 13.531 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 13.531 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.531 * [taylor]: Taking taylor expansion of -1 in c 13.531 * [backup-simplify]: Simplify -1 into -1 13.531 * [taylor]: Taking taylor expansion of c in c 13.531 * [backup-simplify]: Simplify 0 into 0 13.531 * [backup-simplify]: Simplify 1 into 1 13.531 * [backup-simplify]: Simplify (/ -1 1) into -1 13.531 * [backup-simplify]: Simplify (- -1) into 1 13.531 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 13.531 * [taylor]: Taking taylor expansion of 2 in c 13.531 * [backup-simplify]: Simplify 2 into 2 13.531 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 13.531 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 13.532 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 13.532 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)) 13.532 * [backup-simplify]: Simplify (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))) into (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) 13.532 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) into (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) 13.533 * [backup-simplify]: Simplify (- 0) into 0 13.533 * [backup-simplify]: Simplify (+ 0 0) into 0 13.534 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 13.534 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))) into 0 13.534 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)))) into 0 13.534 * [backup-simplify]: Simplify 0 into 0 13.534 * [backup-simplify]: Simplify (- 0) into 0 13.535 * [backup-simplify]: Simplify (+ 0 0) into 0 13.535 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.536 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))) into 0 13.536 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))))) into 0 13.536 * [backup-simplify]: Simplify 0 into 0 13.537 * [backup-simplify]: Simplify (- 0) into 0 13.537 * [backup-simplify]: Simplify (+ 0 0) into 0 13.538 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.539 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))))) into 0 13.540 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)))))) into 0 13.540 * [backup-simplify]: Simplify 0 into 0 13.540 * [backup-simplify]: Simplify (- 0) into 0 13.540 * [backup-simplify]: Simplify (+ 0 0) into 0 13.542 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.542 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))))) into 0 13.543 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))))))) into 0 13.543 * [backup-simplify]: Simplify 0 into 0 13.544 * [backup-simplify]: Simplify (- 0) into 0 13.544 * [backup-simplify]: Simplify (+ 0 0) into 0 13.546 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.547 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))))))) into 0 13.548 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2)))))))) into 0 13.548 * [backup-simplify]: Simplify 0 into 0 13.548 * [backup-simplify]: Simplify (- 0) into 0 13.548 * [backup-simplify]: Simplify (+ 0 0) into 0 13.550 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.552 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))))))))) into 0 13.553 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 2))))))))) into 0 13.553 * [backup-simplify]: Simplify 0 into 0 13.553 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c))))) 3)) into (* 1/8 (pow (- (exp c) (exp (* -1 c))) 3)) 13.554 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 13.554 * [backup-simplify]: Simplify (sinh c) into (sinh c) 13.554 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 13.554 * [taylor]: Taking taylor expansion of (sinh c) in c 13.554 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 13.554 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 13.554 * [taylor]: Taking taylor expansion of (exp c) in c 13.554 * [taylor]: Taking taylor expansion of c in c 13.554 * [backup-simplify]: Simplify 0 into 0 13.554 * [backup-simplify]: Simplify 1 into 1 13.554 * [backup-simplify]: Simplify (exp 0) into 1 13.554 * [taylor]: Taking taylor expansion of (exp (- c)) in c 13.554 * [taylor]: Taking taylor expansion of (- c) in c 13.554 * [taylor]: Taking taylor expansion of c in c 13.554 * [backup-simplify]: Simplify 0 into 0 13.554 * [backup-simplify]: Simplify 1 into 1 13.554 * [backup-simplify]: Simplify (- 0) into 0 13.555 * [backup-simplify]: Simplify (- 1) into -1 13.555 * [backup-simplify]: Simplify (exp 0) into 1 13.555 * [taylor]: Taking taylor expansion of 2 in c 13.555 * [backup-simplify]: Simplify 2 into 2 13.555 * [backup-simplify]: Simplify (- 1) into -1 13.556 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.557 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 13.557 * [backup-simplify]: Simplify (- 1) into -1 13.558 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 13.559 * [backup-simplify]: Simplify (- -1) into 1 13.559 * [backup-simplify]: Simplify (+ 1 1) into 2 13.559 * [backup-simplify]: Simplify (/ 2 2) into 1 13.559 * [taylor]: Taking taylor expansion of (sinh c) in c 13.560 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 13.560 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 13.560 * [taylor]: Taking taylor expansion of (exp c) in c 13.560 * [taylor]: Taking taylor expansion of c in c 13.560 * [backup-simplify]: Simplify 0 into 0 13.560 * [backup-simplify]: Simplify 1 into 1 13.560 * [backup-simplify]: Simplify (exp 0) into 1 13.560 * [taylor]: Taking taylor expansion of (exp (- c)) in c 13.560 * [taylor]: Taking taylor expansion of (- c) in c 13.560 * [taylor]: Taking taylor expansion of c in c 13.560 * [backup-simplify]: Simplify 0 into 0 13.560 * [backup-simplify]: Simplify 1 into 1 13.560 * [backup-simplify]: Simplify (- 0) into 0 13.561 * [backup-simplify]: Simplify (- 1) into -1 13.561 * [backup-simplify]: Simplify (exp 0) into 1 13.561 * [taylor]: Taking taylor expansion of 2 in c 13.561 * [backup-simplify]: Simplify 2 into 2 13.561 * [backup-simplify]: Simplify (- 1) into -1 13.562 * [backup-simplify]: Simplify (+ 1 -1) into 0 13.563 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 13.563 * [backup-simplify]: Simplify (- 1) into -1 13.568 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 13.569 * [backup-simplify]: Simplify (- -1) into 1 13.569 * [backup-simplify]: Simplify (+ 1 1) into 2 13.570 * [backup-simplify]: Simplify (/ 2 2) into 1 13.570 * [backup-simplify]: Simplify 1 into 1 13.571 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 13.572 * [backup-simplify]: Simplify (- 1) into -1 13.572 * [backup-simplify]: Simplify (- 0) into 0 13.574 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 13.574 * [backup-simplify]: Simplify (- 1/2) into -1/2 13.575 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 13.575 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 13.576 * [backup-simplify]: Simplify 0 into 0 13.578 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 13.578 * [backup-simplify]: Simplify (- 1) into -1 13.579 * [backup-simplify]: Simplify (- 1) into -1 13.579 * [backup-simplify]: Simplify (- 0) into 0 13.579 * [backup-simplify]: Simplify (- 0) into 0 13.582 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 13.582 * [backup-simplify]: Simplify (- -1/6) into 1/6 13.583 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 13.584 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 13.584 * [backup-simplify]: Simplify 1/6 into 1/6 13.589 * [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 13.589 * [backup-simplify]: Simplify (- 1) into -1 13.590 * [backup-simplify]: Simplify (- 1) into -1 13.590 * [backup-simplify]: Simplify (- 0) into 0 13.590 * [backup-simplify]: Simplify (- 1) into -1 13.591 * [backup-simplify]: Simplify (- 0) into 0 13.591 * [backup-simplify]: Simplify (- 0) into 0 13.591 * [backup-simplify]: Simplify (- 0) into 0 13.596 * [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 13.596 * [backup-simplify]: Simplify (- 1/24) into -1/24 13.597 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 13.598 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 13.598 * [backup-simplify]: Simplify 0 into 0 13.604 * [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 13.604 * [backup-simplify]: Simplify (- 1) into -1 13.605 * [backup-simplify]: Simplify (- 1) into -1 13.605 * [backup-simplify]: Simplify (- 0) into 0 13.605 * [backup-simplify]: Simplify (- 1) into -1 13.606 * [backup-simplify]: Simplify (- 0) into 0 13.606 * [backup-simplify]: Simplify (- 1) into -1 13.606 * [backup-simplify]: Simplify (- 0) into 0 13.607 * [backup-simplify]: Simplify (- 1) into -1 13.607 * [backup-simplify]: Simplify (- 0) into 0 13.607 * [backup-simplify]: Simplify (- 0) into 0 13.608 * [backup-simplify]: Simplify (- 0) into 0 13.608 * [backup-simplify]: Simplify (- 0) into 0 13.614 * [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 13.615 * [backup-simplify]: Simplify (- -1/120) into 1/120 13.615 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 13.616 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 13.616 * [backup-simplify]: Simplify 1/120 into 1/120 13.617 * [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)) 13.617 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 13.617 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 13.617 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 13.617 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 13.617 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 13.617 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 13.617 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.618 * [taylor]: Taking taylor expansion of c in c 13.618 * [backup-simplify]: Simplify 0 into 0 13.618 * [backup-simplify]: Simplify 1 into 1 13.618 * [backup-simplify]: Simplify (/ 1 1) into 1 13.618 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 13.618 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 13.618 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 13.618 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.618 * [taylor]: Taking taylor expansion of c in c 13.618 * [backup-simplify]: Simplify 0 into 0 13.618 * [backup-simplify]: Simplify 1 into 1 13.619 * [backup-simplify]: Simplify (/ 1 1) into 1 13.619 * [backup-simplify]: Simplify (- 1) into -1 13.619 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 13.619 * [taylor]: Taking taylor expansion of 2 in c 13.619 * [backup-simplify]: Simplify 2 into 2 13.619 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 13.619 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 13.620 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 13.620 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 13.620 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 13.620 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 13.620 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 13.620 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.620 * [taylor]: Taking taylor expansion of c in c 13.620 * [backup-simplify]: Simplify 0 into 0 13.620 * [backup-simplify]: Simplify 1 into 1 13.620 * [backup-simplify]: Simplify (/ 1 1) into 1 13.620 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 13.620 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 13.620 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 13.620 * [taylor]: Taking taylor expansion of (/ 1 c) in c 13.621 * [taylor]: Taking taylor expansion of c in c 13.621 * [backup-simplify]: Simplify 0 into 0 13.621 * [backup-simplify]: Simplify 1 into 1 13.621 * [backup-simplify]: Simplify (/ 1 1) into 1 13.621 * [backup-simplify]: Simplify (- 1) into -1 13.621 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 13.621 * [taylor]: Taking taylor expansion of 2 in c 13.621 * [backup-simplify]: Simplify 2 into 2 13.622 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 13.622 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 13.622 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 13.622 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 13.623 * [backup-simplify]: Simplify (- 0) into 0 13.623 * [backup-simplify]: Simplify (+ 0 0) into 0 13.624 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 13.624 * [backup-simplify]: Simplify 0 into 0 13.624 * [backup-simplify]: Simplify (- 0) into 0 13.625 * [backup-simplify]: Simplify (+ 0 0) into 0 13.626 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.626 * [backup-simplify]: Simplify 0 into 0 13.627 * [backup-simplify]: Simplify (- 0) into 0 13.627 * [backup-simplify]: Simplify (+ 0 0) into 0 13.629 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.629 * [backup-simplify]: Simplify 0 into 0 13.629 * [backup-simplify]: Simplify (- 0) into 0 13.630 * [backup-simplify]: Simplify (+ 0 0) into 0 13.632 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.632 * [backup-simplify]: Simplify 0 into 0 13.633 * [backup-simplify]: Simplify (- 0) into 0 13.633 * [backup-simplify]: Simplify (+ 0 0) into 0 13.636 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.636 * [backup-simplify]: Simplify 0 into 0 13.637 * [backup-simplify]: Simplify (- 0) into 0 13.637 * [backup-simplify]: Simplify (+ 0 0) into 0 13.640 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.641 * [backup-simplify]: Simplify 0 into 0 13.641 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 13.641 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 13.641 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 13.641 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 13.641 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 13.641 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 13.641 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 13.641 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.641 * [taylor]: Taking taylor expansion of -1 in c 13.641 * [backup-simplify]: Simplify -1 into -1 13.641 * [taylor]: Taking taylor expansion of c in c 13.641 * [backup-simplify]: Simplify 0 into 0 13.641 * [backup-simplify]: Simplify 1 into 1 13.642 * [backup-simplify]: Simplify (/ -1 1) into -1 13.642 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 13.642 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 13.642 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 13.642 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.642 * [taylor]: Taking taylor expansion of -1 in c 13.642 * [backup-simplify]: Simplify -1 into -1 13.642 * [taylor]: Taking taylor expansion of c in c 13.642 * [backup-simplify]: Simplify 0 into 0 13.642 * [backup-simplify]: Simplify 1 into 1 13.643 * [backup-simplify]: Simplify (/ -1 1) into -1 13.643 * [backup-simplify]: Simplify (- -1) into 1 13.643 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 13.643 * [taylor]: Taking taylor expansion of 2 in c 13.643 * [backup-simplify]: Simplify 2 into 2 13.643 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 13.644 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 13.644 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 13.644 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 13.644 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 13.644 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 13.644 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 13.644 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.644 * [taylor]: Taking taylor expansion of -1 in c 13.644 * [backup-simplify]: Simplify -1 into -1 13.644 * [taylor]: Taking taylor expansion of c in c 13.644 * [backup-simplify]: Simplify 0 into 0 13.644 * [backup-simplify]: Simplify 1 into 1 13.645 * [backup-simplify]: Simplify (/ -1 1) into -1 13.645 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 13.645 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 13.645 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 13.645 * [taylor]: Taking taylor expansion of (/ -1 c) in c 13.645 * [taylor]: Taking taylor expansion of -1 in c 13.645 * [backup-simplify]: Simplify -1 into -1 13.645 * [taylor]: Taking taylor expansion of c in c 13.645 * [backup-simplify]: Simplify 0 into 0 13.645 * [backup-simplify]: Simplify 1 into 1 13.645 * [backup-simplify]: Simplify (/ -1 1) into -1 13.646 * [backup-simplify]: Simplify (- -1) into 1 13.646 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 13.646 * [taylor]: Taking taylor expansion of 2 in c 13.646 * [backup-simplify]: Simplify 2 into 2 13.646 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 13.646 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 13.646 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 13.647 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 13.647 * [backup-simplify]: Simplify (- 0) into 0 13.647 * [backup-simplify]: Simplify (+ 0 0) into 0 13.648 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 13.648 * [backup-simplify]: Simplify 0 into 0 13.649 * [backup-simplify]: Simplify (- 0) into 0 13.649 * [backup-simplify]: Simplify (+ 0 0) into 0 13.651 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.651 * [backup-simplify]: Simplify 0 into 0 13.651 * [backup-simplify]: Simplify (- 0) into 0 13.652 * [backup-simplify]: Simplify (+ 0 0) into 0 13.654 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.654 * [backup-simplify]: Simplify 0 into 0 13.654 * [backup-simplify]: Simplify (- 0) into 0 13.655 * [backup-simplify]: Simplify (+ 0 0) into 0 13.657 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 13.657 * [backup-simplify]: Simplify 0 into 0 13.658 * [backup-simplify]: Simplify (- 0) into 0 13.658 * [backup-simplify]: Simplify (+ 0 0) into 0 13.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)) (* 0 (/ 0 2)))) into 0 13.661 * [backup-simplify]: Simplify 0 into 0 13.661 * [backup-simplify]: Simplify (- 0) into 0 13.662 * [backup-simplify]: Simplify (+ 0 0) into 0 13.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)) (* 0 (/ 0 2)))) into 0 13.665 * [backup-simplify]: Simplify 0 into 0 13.666 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 13.666 * * * [progress]: simplifying candidates 13.667 * [simplify]: Simplifying: (log (cbrt (pow (sinh c) 3))) (exp (cbrt (pow (sinh c) 3))) (cbrt (pow (* (cbrt (sinh c)) (cbrt (sinh c))) 3)) (cbrt (pow (cbrt (sinh c)) 3)) (cbrt (pow (sqrt (sinh c)) 3)) (cbrt (pow (sqrt (sinh c)) 3)) (cbrt (pow 1 3)) (cbrt (pow (sinh c) 3)) (cbrt (* (sinh c) (sinh c))) (cbrt (sinh c)) (cbrt (* (cbrt (pow (sinh c) 3)) (cbrt (pow (sinh c) 3)))) (cbrt (cbrt (pow (sinh c) 3))) (cbrt (pow (* (cbrt (sinh c)) (cbrt (sinh c))) 3)) (cbrt (pow (cbrt (sinh c)) 3)) (cbrt (pow (sqrt (sinh c)) 3)) (cbrt (pow (sqrt (sinh c)) 3)) (cbrt (pow 1 3)) (cbrt (pow (sinh c) 3)) (cbrt (sinh c)) (cbrt (* (sinh c) (sinh c))) (cbrt (sqrt (pow (sinh c) 3))) (cbrt (sqrt (pow (sinh c) 3))) (cbrt 1) (cbrt (pow (sinh c) 3)) (cbrt (pow (sinh c) (/ 3 2))) (cbrt (pow (sinh c) (/ 3 2))) (cbrt (pow (- (exp c) (exp (- c))) 3)) (cbrt (pow 2 3)) (* (cbrt (cbrt (pow (sinh c) 3))) (cbrt (cbrt (pow (sinh c) 3)))) (cbrt (cbrt (pow (sinh c) 3))) (* (* (cbrt (pow (sinh c) 3)) (cbrt (pow (sinh c) 3))) (cbrt (pow (sinh c) 3))) (sqrt (cbrt (pow (sinh c) 3))) (sqrt (cbrt (pow (sinh c) 3))) (* (log (sinh c)) 3) (* (log (sinh c)) 3) (* 1 3) (pow (sinh c) (* (cbrt 3) (cbrt 3))) (pow (sinh c) (sqrt 3)) (pow (sinh c) 1) (pow (* (cbrt (sinh c)) (cbrt (sinh c))) 3) (pow (cbrt (sinh c)) 3) (pow (sqrt (sinh c)) 3) (pow (sqrt (sinh c)) 3) (pow 1 3) (pow (sinh c) 3) (* (sinh c) (sinh c)) (log (pow (sinh c) 3)) (exp (pow (sinh c) 3)) (* (cbrt (pow (sinh c) 3)) (cbrt (pow (sinh c) 3))) (cbrt (pow (sinh c) 3)) (* (* (pow (sinh c) 3) (pow (sinh c) 3)) (pow (sinh c) 3)) (pow (* (cbrt (sinh c)) (cbrt (sinh c))) 3) (pow (cbrt (sinh c)) 3) (pow (sqrt (sinh c)) 3) (pow (sqrt (sinh c)) 3) (pow 1 3) (pow (sinh c) 3) (pow (- (exp c) (exp (- c))) 3) (pow 2 3) (* (sinh c) (sinh c)) (sqrt (pow (sinh c) 3)) (sqrt (pow (sinh c) 3)) (pow (sinh c) (/ 3 2)) (pow (sinh c) (/ 3 2)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) (+ (pow c 3) (+ (* 1/2 (pow c 5)) (* 13/120 (pow c 7)))) (* 1/8 (pow (- (exp c) (exp (- c))) 3)) (* 1/8 (pow (- (exp c) (exp (* -1 c))) 3)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) 13.669 * * [simplify]: Extracting # 0 : cost 0 13.669 * * [simplify]: Extracting # 1 : cost 0 13.670 * * [simplify]: Extracting # 2 : cost 0 13.670 * * [simplify]: Extracting # 3 : cost 0 13.670 * * [simplify]: Extracting # 4 : cost 0 13.670 * * [simplify]: Extracting # 5 : cost 0 13.671 * * [simplify]: Extracting # 6 : cost 0 13.671 * * [simplify]: Extracting # 7 : cost 0 13.671 * * [simplify]: Extracting # 8 : cost 0 13.671 * * [simplify]: iteration 0 : 84 enodes (cost 523 ) 13.700 * * [simplify]: Extracting # 0 : cost 0 13.700 * * [simplify]: Extracting # 1 : cost 0 13.700 * * [simplify]: Extracting # 2 : cost 0 13.700 * * [simplify]: Extracting # 3 : cost 0 13.700 * * [simplify]: Extracting # 4 : cost 0 13.701 * * [simplify]: iteration 1 : 177 enodes (cost 377 ) 13.788 * * [simplify]: Extracting # 0 : cost 0 13.789 * * [simplify]: Extracting # 1 : cost 0 13.789 * * [simplify]: Extracting # 2 : cost 0 13.790 * * [simplify]: Extracting # 3 : cost 0 13.791 * * [simplify]: Extracting # 4 : cost 0 13.792 * * [simplify]: iteration 2 : 453 enodes (cost 362 ) 14.398 * * [simplify]: Extracting # 0 : cost 0 14.404 * * [simplify]: Extracting # 1 : cost 0 14.407 * * [simplify]: Extracting # 2 : cost 0 14.410 * * [simplify]: Extracting # 3 : cost 0 14.413 * * [simplify]: Extracting # 4 : cost 0 14.415 * * [simplify]: Extracting # 5 : cost 0 14.418 * * [simplify]: iteration 3 : 2640 enodes (cost 354 ) 16.263 * * [simplify]: Extracting # 0 : cost 0 16.269 * * [simplify]: Extracting # 1 : cost 0 16.279 * * [simplify]: Extracting # 2 : cost 0 16.284 * * [simplify]: Extracting # 3 : cost 0 16.289 * * [simplify]: Extracting # 4 : cost 0 16.295 * * [simplify]: iteration done: 5001 enodes (cost 354 ) 16.295 * [simplify]: Simplified to: (log (sinh c)) (exp (sinh c)) (cbrt (pow (sinh c) 2)) (cbrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) 1 (sinh c) (cbrt (pow (sinh c) 2)) (cbrt (sinh c)) (cbrt (pow (sinh c) 2)) (cbrt (sinh c)) (cbrt (pow (sinh c) 2)) (cbrt (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) 1 (sinh c) (cbrt (sinh c)) (cbrt (pow (sinh c) 2)) (cbrt (sqrt (pow (sinh c) 3))) (cbrt (sqrt (pow (sinh c) 3))) 1 (sinh c) (sqrt (sinh c)) (sqrt (sinh c)) (- (exp c) (exp (- c))) 2 (cbrt (pow (sinh c) 2)) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (* (log (sinh c)) 3) (* (log (sinh c)) 3) 3 (pow (sinh c) (* (cbrt 3) (cbrt 3))) (pow (sinh c) (sqrt 3)) (sinh c) (pow (sinh c) 2) (sinh c) (pow (sinh c) 3/2) (pow (sinh c) 3/2) 1 (pow (sinh c) 3) (pow (sinh c) 2) (* (log (sinh c)) 3) (exp (pow (sinh c) 3)) (pow (sinh c) 2) (sinh c) (pow (pow (sinh c) 3) 3) (pow (sinh c) 2) (sinh c) (pow (sinh c) 3/2) (pow (sinh c) 3/2) 1 (pow (sinh c) 3) (pow (- (exp c) (exp (- c))) 3) 8 (pow (sinh c) 2) (sqrt (pow (sinh c) 3)) (sqrt (pow (sinh c) 3)) (pow (sinh c) 3/2) (pow (sinh c) 3/2) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (cbrt (pow (sinh c) 2)) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* (- (exp c) (exp (- c))) 1/2) (* (- (exp c) (exp (- c))) 1/2) (+ (pow c 3) (+ (* 1/2 (pow c 5)) (* 13/120 (pow c 7)))) (* (pow (- (exp c) (exp (- c))) 3) 1/8) (* (pow (- (exp c) (exp (- c))) 3) 1/8) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* (- (exp c) (exp (- c))) 1/2) (* (- (exp c) (exp (- c))) 1/2) 16.295 * * * [progress]: adding candidates to table 16.462 * [progress]: [Phase 3 of 3] Extracting. 16.462 * * [regime]: Finding splitpoints for: (# # #) 16.463 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c) 16.463 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (# # #) 16.502 * * * * [regimes]: Trying to branch on c from (# # #) 16.527 * * * [regime]: Found split indices: #