26.401 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.257 * * * [progress]: [2/2] Setting up program. 0.260 * [progress]: [Phase 2 of 3] Improving. 0.260 * [simplify]: Simplifying: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 0.260 * * [simplify]: Extracting # 0 : cost 0 0.260 * * [simplify]: Extracting # 1 : cost 0 0.260 * * [simplify]: Extracting # 2 : cost 0 0.260 * * [simplify]: Extracting # 3 : cost 0 0.260 * * [simplify]: Extracting # 4 : cost 0 0.260 * * [simplify]: Extracting # 5 : cost 0 0.260 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.262 * * [simplify]: Extracting # 0 : cost 0 0.262 * * [simplify]: Extracting # 1 : cost 0 0.262 * * [simplify]: Extracting # 2 : cost 0 0.262 * * [simplify]: Extracting # 3 : cost 0 0.262 * * [simplify]: Extracting # 4 : cost 0 0.262 * * [simplify]: Extracting # 5 : cost 0 0.262 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 0.265 * * [simplify]: Extracting # 0 : cost 0 0.265 * * [simplify]: Extracting # 1 : cost 0 0.265 * * [simplify]: Extracting # 2 : cost 0 0.265 * * [simplify]: Extracting # 3 : cost 0 0.265 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 0.271 * * [simplify]: Extracting # 0 : cost 0 0.272 * * [simplify]: Extracting # 1 : cost 0 0.272 * * [simplify]: Extracting # 2 : cost 0 0.272 * * [simplify]: Extracting # 3 : cost 0 0.272 * * [simplify]: Extracting # 4 : cost 0 0.272 * * [simplify]: iteration 3 : 69 enodes (cost 8 ) 0.287 * * [simplify]: Extracting # 0 : cost 0 0.287 * * [simplify]: Extracting # 1 : cost 0 0.287 * * [simplify]: Extracting # 2 : cost 0 0.287 * * [simplify]: Extracting # 3 : cost 0 0.287 * * [simplify]: Extracting # 4 : cost 0 0.287 * * [simplify]: iteration 4 : 147 enodes (cost 8 ) 0.393 * * [simplify]: Extracting # 0 : cost 0 0.393 * * [simplify]: Extracting # 1 : cost 0 0.394 * * [simplify]: Extracting # 2 : cost 0 0.394 * * [simplify]: Extracting # 3 : cost 0 0.394 * * [simplify]: Extracting # 4 : cost 0 0.395 * * [simplify]: iteration 5 : 347 enodes (cost 8 ) 0.773 * * [simplify]: Extracting # 0 : cost 0 0.775 * * [simplify]: Extracting # 1 : cost 0 0.776 * * [simplify]: Extracting # 2 : cost 0 0.777 * * [simplify]: Extracting # 3 : cost 0 0.778 * * [simplify]: Extracting # 4 : cost 0 0.779 * * [simplify]: iteration 6 : 1152 enodes (cost 8 ) 4.121 * * [simplify]: Extracting # 0 : cost 0 4.135 * * [simplify]: Extracting # 1 : cost 0 4.138 * * [simplify]: Extracting # 2 : cost 0 4.141 * * [simplify]: Extracting # 3 : cost 0 4.144 * * [simplify]: Extracting # 4 : cost 0 4.147 * * [simplify]: Extracting # 5 : cost 0 4.150 * * [simplify]: iteration 7 : 4414 enodes (cost 8 ) 6.671 * * [simplify]: Extracting # 0 : cost 0 6.675 * * [simplify]: Extracting # 1 : cost 0 6.683 * * [simplify]: Extracting # 2 : cost 0 6.690 * * [simplify]: Extracting # 3 : cost 0 6.696 * * [simplify]: iteration done: 5000 enodes (cost 8 ) 6.696 * [simplify]: Simplified to: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 6.697 * * [progress]: iteration 1 / 4 6.697 * * * [progress]: picking best candidate 6.701 * * * * [pick]: Picked # 6.701 * * * [progress]: localizing error 6.724 * * * [progress]: generating rewritten candidates 6.724 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 6.728 * * * [progress]: generating series expansions 6.728 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 6.728 * [backup-simplify]: Simplify (sinh c) into (sinh c) 6.728 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 6.728 * [taylor]: Taking taylor expansion of (sinh c) in c 6.728 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 6.728 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 6.728 * [taylor]: Taking taylor expansion of (exp c) in c 6.728 * [taylor]: Taking taylor expansion of c in c 6.728 * [backup-simplify]: Simplify 0 into 0 6.728 * [backup-simplify]: Simplify 1 into 1 6.728 * [backup-simplify]: Simplify (exp 0) into 1 6.728 * [taylor]: Taking taylor expansion of (exp (- c)) in c 6.728 * [taylor]: Taking taylor expansion of (- c) in c 6.728 * [taylor]: Taking taylor expansion of c in c 6.728 * [backup-simplify]: Simplify 0 into 0 6.728 * [backup-simplify]: Simplify 1 into 1 6.729 * [backup-simplify]: Simplify (- 0) into 0 6.729 * [backup-simplify]: Simplify (- 1) into -1 6.730 * [backup-simplify]: Simplify (exp 0) into 1 6.730 * [taylor]: Taking taylor expansion of 2 in c 6.730 * [backup-simplify]: Simplify 2 into 2 6.730 * [backup-simplify]: Simplify (- 1) into -1 6.730 * [backup-simplify]: Simplify (+ 1 -1) into 0 6.732 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.732 * [backup-simplify]: Simplify (- 1) into -1 6.733 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 6.734 * [backup-simplify]: Simplify (- -1) into 1 6.734 * [backup-simplify]: Simplify (+ 1 1) into 2 6.734 * [backup-simplify]: Simplify (/ 2 2) into 1 6.734 * [taylor]: Taking taylor expansion of (sinh c) in c 6.734 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 6.735 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 6.735 * [taylor]: Taking taylor expansion of (exp c) in c 6.735 * [taylor]: Taking taylor expansion of c in c 6.735 * [backup-simplify]: Simplify 0 into 0 6.735 * [backup-simplify]: Simplify 1 into 1 6.735 * [backup-simplify]: Simplify (exp 0) into 1 6.735 * [taylor]: Taking taylor expansion of (exp (- c)) in c 6.735 * [taylor]: Taking taylor expansion of (- c) in c 6.735 * [taylor]: Taking taylor expansion of c in c 6.735 * [backup-simplify]: Simplify 0 into 0 6.735 * [backup-simplify]: Simplify 1 into 1 6.735 * [backup-simplify]: Simplify (- 0) into 0 6.736 * [backup-simplify]: Simplify (- 1) into -1 6.736 * [backup-simplify]: Simplify (exp 0) into 1 6.736 * [taylor]: Taking taylor expansion of 2 in c 6.736 * [backup-simplify]: Simplify 2 into 2 6.736 * [backup-simplify]: Simplify (- 1) into -1 6.737 * [backup-simplify]: Simplify (+ 1 -1) into 0 6.738 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.738 * [backup-simplify]: Simplify (- 1) into -1 6.739 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 6.740 * [backup-simplify]: Simplify (- -1) into 1 6.740 * [backup-simplify]: Simplify (+ 1 1) into 2 6.740 * [backup-simplify]: Simplify (/ 2 2) into 1 6.740 * [backup-simplify]: Simplify 1 into 1 6.742 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.742 * [backup-simplify]: Simplify (- 1) into -1 6.743 * [backup-simplify]: Simplify (- 0) into 0 6.745 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.745 * [backup-simplify]: Simplify (- 1/2) into -1/2 6.745 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 6.746 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 6.746 * [backup-simplify]: Simplify 0 into 0 6.749 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 6.749 * [backup-simplify]: Simplify (- 1) into -1 6.750 * [backup-simplify]: Simplify (- 1) into -1 6.750 * [backup-simplify]: Simplify (- 0) into 0 6.750 * [backup-simplify]: Simplify (- 0) into 0 6.752 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 6.753 * [backup-simplify]: Simplify (- -1/6) into 1/6 6.753 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 6.754 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 6.754 * [backup-simplify]: Simplify 1/6 into 1/6 6.756 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 6.756 * [backup-simplify]: Simplify (- 1) into -1 6.756 * [backup-simplify]: Simplify (- 1) into -1 6.757 * [backup-simplify]: Simplify (- 0) into 0 6.757 * [backup-simplify]: Simplify (- 1) into -1 6.757 * [backup-simplify]: Simplify (- 0) into 0 6.757 * [backup-simplify]: Simplify (- 0) into 0 6.758 * [backup-simplify]: Simplify (- 0) into 0 6.760 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 6.760 * [backup-simplify]: Simplify (- 1/24) into -1/24 6.760 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 6.761 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 6.761 * [backup-simplify]: Simplify 0 into 0 6.764 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 6.765 * [backup-simplify]: Simplify (- 1) into -1 6.765 * [backup-simplify]: Simplify (- 1) into -1 6.765 * [backup-simplify]: Simplify (- 0) into 0 6.765 * [backup-simplify]: Simplify (- 1) into -1 6.766 * [backup-simplify]: Simplify (- 0) into 0 6.766 * [backup-simplify]: Simplify (- 1) into -1 6.766 * [backup-simplify]: Simplify (- 0) into 0 6.767 * [backup-simplify]: Simplify (- 1) into -1 6.767 * [backup-simplify]: Simplify (- 0) into 0 6.767 * [backup-simplify]: Simplify (- 0) into 0 6.767 * [backup-simplify]: Simplify (- 0) into 0 6.767 * [backup-simplify]: Simplify (- 0) into 0 6.771 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 6.771 * [backup-simplify]: Simplify (- -1/120) into 1/120 6.771 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 6.772 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 6.772 * [backup-simplify]: Simplify 1/120 into 1/120 6.773 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (+ (* 1/6 (pow c 3)) (* 1 c))) into (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) 6.773 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 6.773 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 6.773 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 6.773 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 6.773 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 6.773 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 6.773 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.773 * [taylor]: Taking taylor expansion of c in c 6.773 * [backup-simplify]: Simplify 0 into 0 6.773 * [backup-simplify]: Simplify 1 into 1 6.773 * [backup-simplify]: Simplify (/ 1 1) into 1 6.773 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 6.773 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 6.773 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 6.773 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.773 * [taylor]: Taking taylor expansion of c in c 6.773 * [backup-simplify]: Simplify 0 into 0 6.773 * [backup-simplify]: Simplify 1 into 1 6.773 * [backup-simplify]: Simplify (/ 1 1) into 1 6.774 * [backup-simplify]: Simplify (- 1) into -1 6.774 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 6.774 * [taylor]: Taking taylor expansion of 2 in c 6.774 * [backup-simplify]: Simplify 2 into 2 6.774 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 6.774 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 6.774 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 6.774 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 6.774 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 6.774 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 6.774 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 6.774 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.774 * [taylor]: Taking taylor expansion of c in c 6.774 * [backup-simplify]: Simplify 0 into 0 6.774 * [backup-simplify]: Simplify 1 into 1 6.775 * [backup-simplify]: Simplify (/ 1 1) into 1 6.775 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 6.775 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 6.775 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 6.775 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.775 * [taylor]: Taking taylor expansion of c in c 6.775 * [backup-simplify]: Simplify 0 into 0 6.775 * [backup-simplify]: Simplify 1 into 1 6.775 * [backup-simplify]: Simplify (/ 1 1) into 1 6.775 * [backup-simplify]: Simplify (- 1) into -1 6.775 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 6.775 * [taylor]: Taking taylor expansion of 2 in c 6.775 * [backup-simplify]: Simplify 2 into 2 6.775 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 6.775 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 6.776 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 6.776 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 6.776 * [backup-simplify]: Simplify (- 0) into 0 6.776 * [backup-simplify]: Simplify (+ 0 0) into 0 6.777 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 6.777 * [backup-simplify]: Simplify 0 into 0 6.777 * [backup-simplify]: Simplify (- 0) into 0 6.777 * [backup-simplify]: Simplify (+ 0 0) into 0 6.778 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 6.778 * [backup-simplify]: Simplify 0 into 0 6.779 * [backup-simplify]: Simplify (- 0) into 0 6.779 * [backup-simplify]: Simplify (+ 0 0) into 0 6.780 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 6.780 * [backup-simplify]: Simplify 0 into 0 6.780 * [backup-simplify]: Simplify (- 0) into 0 6.780 * [backup-simplify]: Simplify (+ 0 0) into 0 6.782 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 6.782 * [backup-simplify]: Simplify 0 into 0 6.782 * [backup-simplify]: Simplify (- 0) into 0 6.782 * [backup-simplify]: Simplify (+ 0 0) into 0 6.784 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 6.784 * [backup-simplify]: Simplify 0 into 0 6.784 * [backup-simplify]: Simplify (- 0) into 0 6.785 * [backup-simplify]: Simplify (+ 0 0) into 0 6.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 6.788 * [backup-simplify]: Simplify 0 into 0 6.789 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 6.789 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 6.789 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 6.789 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 6.789 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 6.789 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 6.789 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 6.789 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.789 * [taylor]: Taking taylor expansion of -1 in c 6.789 * [backup-simplify]: Simplify -1 into -1 6.789 * [taylor]: Taking taylor expansion of c in c 6.789 * [backup-simplify]: Simplify 0 into 0 6.789 * [backup-simplify]: Simplify 1 into 1 6.789 * [backup-simplify]: Simplify (/ -1 1) into -1 6.790 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 6.790 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 6.790 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 6.790 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.790 * [taylor]: Taking taylor expansion of -1 in c 6.790 * [backup-simplify]: Simplify -1 into -1 6.790 * [taylor]: Taking taylor expansion of c in c 6.790 * [backup-simplify]: Simplify 0 into 0 6.790 * [backup-simplify]: Simplify 1 into 1 6.790 * [backup-simplify]: Simplify (/ -1 1) into -1 6.791 * [backup-simplify]: Simplify (- -1) into 1 6.791 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 6.791 * [taylor]: Taking taylor expansion of 2 in c 6.791 * [backup-simplify]: Simplify 2 into 2 6.791 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 6.791 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 6.791 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 6.791 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 6.791 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 6.791 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 6.791 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 6.791 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.791 * [taylor]: Taking taylor expansion of -1 in c 6.792 * [backup-simplify]: Simplify -1 into -1 6.792 * [taylor]: Taking taylor expansion of c in c 6.792 * [backup-simplify]: Simplify 0 into 0 6.792 * [backup-simplify]: Simplify 1 into 1 6.792 * [backup-simplify]: Simplify (/ -1 1) into -1 6.792 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 6.792 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 6.792 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 6.792 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.792 * [taylor]: Taking taylor expansion of -1 in c 6.792 * [backup-simplify]: Simplify -1 into -1 6.792 * [taylor]: Taking taylor expansion of c in c 6.792 * [backup-simplify]: Simplify 0 into 0 6.792 * [backup-simplify]: Simplify 1 into 1 6.793 * [backup-simplify]: Simplify (/ -1 1) into -1 6.793 * [backup-simplify]: Simplify (- -1) into 1 6.793 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 6.793 * [taylor]: Taking taylor expansion of 2 in c 6.793 * [backup-simplify]: Simplify 2 into 2 6.793 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 6.794 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 6.794 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 6.794 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 6.794 * [backup-simplify]: Simplify (- 0) into 0 6.795 * [backup-simplify]: Simplify (+ 0 0) into 0 6.796 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 6.796 * [backup-simplify]: Simplify 0 into 0 6.796 * [backup-simplify]: Simplify (- 0) into 0 6.797 * [backup-simplify]: Simplify (+ 0 0) into 0 6.798 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 6.798 * [backup-simplify]: Simplify 0 into 0 6.799 * [backup-simplify]: Simplify (- 0) into 0 6.799 * [backup-simplify]: Simplify (+ 0 0) into 0 6.801 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 6.801 * [backup-simplify]: Simplify 0 into 0 6.801 * [backup-simplify]: Simplify (- 0) into 0 6.802 * [backup-simplify]: Simplify (+ 0 0) into 0 6.804 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 6.804 * [backup-simplify]: Simplify 0 into 0 6.805 * [backup-simplify]: Simplify (- 0) into 0 6.805 * [backup-simplify]: Simplify (+ 0 0) into 0 6.808 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 6.808 * [backup-simplify]: Simplify 0 into 0 6.808 * [backup-simplify]: Simplify (- 0) into 0 6.808 * [backup-simplify]: Simplify (+ 0 0) into 0 6.812 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 6.812 * [backup-simplify]: Simplify 0 into 0 6.812 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 6.812 * * * [progress]: simplifying candidates 6.813 * [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)))) 6.813 * * [simplify]: Extracting # 0 : cost 0 6.813 * * [simplify]: Extracting # 1 : cost 0 6.813 * * [simplify]: Extracting # 2 : cost 0 6.813 * * [simplify]: Extracting # 3 : cost 0 6.814 * * [simplify]: Extracting # 4 : cost 0 6.814 * * [simplify]: Extracting # 5 : cost 0 6.814 * * [simplify]: Extracting # 6 : cost 0 6.814 * * [simplify]: Extracting # 7 : cost 0 6.814 * * [simplify]: Extracting # 8 : cost 0 6.814 * * [simplify]: iteration 0 : 30 enodes (cost 66 ) 6.825 * * [simplify]: Extracting # 0 : cost 0 6.825 * * [simplify]: Extracting # 1 : cost 0 6.825 * * [simplify]: Extracting # 2 : cost 0 6.825 * * [simplify]: Extracting # 3 : cost 0 6.825 * * [simplify]: Extracting # 4 : cost 0 6.826 * * [simplify]: iteration 1 : 58 enodes (cost 65 ) 6.855 * * [simplify]: Extracting # 0 : cost 0 6.855 * * [simplify]: Extracting # 1 : cost 0 6.855 * * [simplify]: Extracting # 2 : cost 0 6.855 * * [simplify]: Extracting # 3 : cost 0 6.856 * * [simplify]: Extracting # 4 : cost 0 6.856 * * [simplify]: iteration 2 : 125 enodes (cost 61 ) 6.905 * * [simplify]: Extracting # 0 : cost 0 6.906 * * [simplify]: Extracting # 1 : cost 0 6.906 * * [simplify]: Extracting # 2 : cost 0 6.906 * * [simplify]: Extracting # 3 : cost 0 6.907 * * [simplify]: Extracting # 4 : cost 0 6.907 * * [simplify]: iteration 3 : 252 enodes (cost 61 ) 7.014 * * [simplify]: Extracting # 0 : cost 0 7.015 * * [simplify]: Extracting # 1 : cost 0 7.015 * * [simplify]: Extracting # 2 : cost 0 7.016 * * [simplify]: Extracting # 3 : cost 0 7.016 * * [simplify]: Extracting # 4 : cost 0 7.017 * * [simplify]: iteration 4 : 613 enodes (cost 61 ) 7.557 * * [simplify]: Extracting # 0 : cost 0 7.563 * * [simplify]: Extracting # 1 : cost 0 7.575 * * [simplify]: Extracting # 2 : cost 0 7.579 * * [simplify]: Extracting # 3 : cost 0 7.583 * * [simplify]: Extracting # 4 : cost 0 7.587 * * [simplify]: iteration 5 : 2545 enodes (cost 61 ) 9.504 * * [simplify]: Extracting # 0 : cost 0 9.510 * * [simplify]: Extracting # 1 : cost 0 9.518 * * [simplify]: Extracting # 2 : cost 0 9.528 * * [simplify]: Extracting # 3 : cost 0 9.533 * * [simplify]: Extracting # 4 : cost 0 9.539 * * [simplify]: iteration done: 5000 enodes (cost 61 ) 9.539 * [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)))) 9.539 * * * [progress]: adding candidates to table 9.597 * * [progress]: iteration 2 / 4 9.597 * * * [progress]: picking best candidate 9.608 * * * * [pick]: Picked # 9.608 * * * [progress]: localizing error 9.640 * * * [progress]: generating rewritten candidates 9.640 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 9.667 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1) 9.700 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 9.722 * * * [progress]: generating series expansions 9.722 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 9.723 * [backup-simplify]: Simplify (* 1/6 (pow c 3)) into (* 1/6 (pow c 3)) 9.723 * [approximate]: Taking taylor expansion of (* 1/6 (pow c 3)) in (c) around 0 9.723 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 9.723 * [taylor]: Taking taylor expansion of 1/6 in c 9.723 * [backup-simplify]: Simplify 1/6 into 1/6 9.723 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.723 * [taylor]: Taking taylor expansion of c in c 9.723 * [backup-simplify]: Simplify 0 into 0 9.723 * [backup-simplify]: Simplify 1 into 1 9.723 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 9.723 * [taylor]: Taking taylor expansion of 1/6 in c 9.723 * [backup-simplify]: Simplify 1/6 into 1/6 9.723 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.723 * [taylor]: Taking taylor expansion of c in c 9.723 * [backup-simplify]: Simplify 0 into 0 9.723 * [backup-simplify]: Simplify 1 into 1 9.724 * [backup-simplify]: Simplify (* 1 1) into 1 9.724 * [backup-simplify]: Simplify (* 1 1) into 1 9.725 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 9.725 * [backup-simplify]: Simplify 1/6 into 1/6 9.726 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.726 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.727 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 9.727 * [backup-simplify]: Simplify 0 into 0 9.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.730 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 9.730 * [backup-simplify]: Simplify 0 into 0 9.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.733 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.734 * [backup-simplify]: Simplify 0 into 0 9.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.737 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.737 * [backup-simplify]: Simplify 0 into 0 9.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.742 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.742 * [backup-simplify]: Simplify 0 into 0 9.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.745 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.747 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.747 * [backup-simplify]: Simplify 0 into 0 9.747 * [backup-simplify]: Simplify (* 1/6 (pow c 3)) into (* 1/6 (pow c 3)) 9.748 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 c) 3)) into (/ 1/6 (pow c 3)) 9.748 * [approximate]: Taking taylor expansion of (/ 1/6 (pow c 3)) in (c) around 0 9.748 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c 9.748 * [taylor]: Taking taylor expansion of 1/6 in c 9.748 * [backup-simplify]: Simplify 1/6 into 1/6 9.748 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.748 * [taylor]: Taking taylor expansion of c in c 9.748 * [backup-simplify]: Simplify 0 into 0 9.748 * [backup-simplify]: Simplify 1 into 1 9.748 * [backup-simplify]: Simplify (* 1 1) into 1 9.748 * [backup-simplify]: Simplify (* 1 1) into 1 9.749 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 9.749 * [taylor]: Taking taylor expansion of (/ 1/6 (pow c 3)) in c 9.749 * [taylor]: Taking taylor expansion of 1/6 in c 9.749 * [backup-simplify]: Simplify 1/6 into 1/6 9.749 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.749 * [taylor]: Taking taylor expansion of c in c 9.749 * [backup-simplify]: Simplify 0 into 0 9.749 * [backup-simplify]: Simplify 1 into 1 9.749 * [backup-simplify]: Simplify (* 1 1) into 1 9.749 * [backup-simplify]: Simplify (* 1 1) into 1 9.750 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 9.750 * [backup-simplify]: Simplify 1/6 into 1/6 9.750 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.750 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.751 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 9.751 * [backup-simplify]: Simplify 0 into 0 9.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.753 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.753 * [backup-simplify]: Simplify 0 into 0 9.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.754 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.754 * [backup-simplify]: Simplify 0 into 0 9.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.756 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.756 * [backup-simplify]: Simplify 0 into 0 9.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.758 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.758 * [backup-simplify]: Simplify 0 into 0 9.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.761 * [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 9.761 * [backup-simplify]: Simplify 0 into 0 9.761 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (/ 1 c)) 3)) into (* 1/6 (pow c 3)) 9.761 * [backup-simplify]: Simplify (* 1/6 (pow (/ 1 (- c)) 3)) into (/ -1/6 (pow c 3)) 9.761 * [approximate]: Taking taylor expansion of (/ -1/6 (pow c 3)) in (c) around 0 9.761 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c 9.761 * [taylor]: Taking taylor expansion of -1/6 in c 9.761 * [backup-simplify]: Simplify -1/6 into -1/6 9.761 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.761 * [taylor]: Taking taylor expansion of c in c 9.761 * [backup-simplify]: Simplify 0 into 0 9.761 * [backup-simplify]: Simplify 1 into 1 9.761 * [backup-simplify]: Simplify (* 1 1) into 1 9.762 * [backup-simplify]: Simplify (* 1 1) into 1 9.762 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 9.762 * [taylor]: Taking taylor expansion of (/ -1/6 (pow c 3)) in c 9.762 * [taylor]: Taking taylor expansion of -1/6 in c 9.762 * [backup-simplify]: Simplify -1/6 into -1/6 9.762 * [taylor]: Taking taylor expansion of (pow c 3) in c 9.762 * [taylor]: Taking taylor expansion of c in c 9.762 * [backup-simplify]: Simplify 0 into 0 9.762 * [backup-simplify]: Simplify 1 into 1 9.762 * [backup-simplify]: Simplify (* 1 1) into 1 9.763 * [backup-simplify]: Simplify (* 1 1) into 1 9.763 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 9.763 * [backup-simplify]: Simplify -1/6 into -1/6 9.763 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.764 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.764 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 9.764 * [backup-simplify]: Simplify 0 into 0 9.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.766 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.766 * [backup-simplify]: Simplify 0 into 0 9.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.767 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.768 * [backup-simplify]: Simplify 0 into 0 9.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.769 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.769 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.769 * [backup-simplify]: Simplify 0 into 0 9.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.772 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.772 * [backup-simplify]: Simplify 0 into 0 9.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.774 * [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 9.774 * [backup-simplify]: Simplify 0 into 0 9.774 * [backup-simplify]: Simplify (* -1/6 (pow (/ 1 (/ 1 (- c))) 3)) into (* 1/6 (pow c 3)) 9.774 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1) 9.774 * [backup-simplify]: Simplify (* 1/120 (pow c 5)) into (* 1/120 (pow c 5)) 9.774 * [approximate]: Taking taylor expansion of (* 1/120 (pow c 5)) in (c) around 0 9.774 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 9.774 * [taylor]: Taking taylor expansion of 1/120 in c 9.774 * [backup-simplify]: Simplify 1/120 into 1/120 9.774 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.774 * [taylor]: Taking taylor expansion of c in c 9.774 * [backup-simplify]: Simplify 0 into 0 9.774 * [backup-simplify]: Simplify 1 into 1 9.774 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 9.774 * [taylor]: Taking taylor expansion of 1/120 in c 9.774 * [backup-simplify]: Simplify 1/120 into 1/120 9.774 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.774 * [taylor]: Taking taylor expansion of c in c 9.774 * [backup-simplify]: Simplify 0 into 0 9.774 * [backup-simplify]: Simplify 1 into 1 9.775 * [backup-simplify]: Simplify (* 1 1) into 1 9.775 * [backup-simplify]: Simplify (* 1 1) into 1 9.775 * [backup-simplify]: Simplify (* 1 1) into 1 9.775 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 9.775 * [backup-simplify]: Simplify 1/120 into 1/120 9.776 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.776 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.777 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.778 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 9.778 * [backup-simplify]: Simplify 0 into 0 9.779 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.780 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.781 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.782 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 9.782 * [backup-simplify]: Simplify 0 into 0 9.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.785 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.786 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.786 * [backup-simplify]: Simplify 0 into 0 9.787 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.792 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.792 * [backup-simplify]: Simplify 0 into 0 9.793 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.793 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.795 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.795 * [backup-simplify]: Simplify 0 into 0 9.796 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.797 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.797 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.798 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.798 * [backup-simplify]: Simplify 0 into 0 9.799 * [backup-simplify]: Simplify (* 1/120 (pow c 5)) into (* 1/120 (pow c 5)) 9.799 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 c) 5)) into (/ 1/120 (pow c 5)) 9.799 * [approximate]: Taking taylor expansion of (/ 1/120 (pow c 5)) in (c) around 0 9.799 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c 9.799 * [taylor]: Taking taylor expansion of 1/120 in c 9.799 * [backup-simplify]: Simplify 1/120 into 1/120 9.799 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.799 * [taylor]: Taking taylor expansion of c in c 9.799 * [backup-simplify]: Simplify 0 into 0 9.799 * [backup-simplify]: Simplify 1 into 1 9.799 * [backup-simplify]: Simplify (* 1 1) into 1 9.799 * [backup-simplify]: Simplify (* 1 1) into 1 9.800 * [backup-simplify]: Simplify (* 1 1) into 1 9.800 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120 9.800 * [taylor]: Taking taylor expansion of (/ 1/120 (pow c 5)) in c 9.800 * [taylor]: Taking taylor expansion of 1/120 in c 9.800 * [backup-simplify]: Simplify 1/120 into 1/120 9.800 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.800 * [taylor]: Taking taylor expansion of c in c 9.800 * [backup-simplify]: Simplify 0 into 0 9.800 * [backup-simplify]: Simplify 1 into 1 9.800 * [backup-simplify]: Simplify (* 1 1) into 1 9.800 * [backup-simplify]: Simplify (* 1 1) into 1 9.801 * [backup-simplify]: Simplify (* 1 1) into 1 9.801 * [backup-simplify]: Simplify (/ 1/120 1) into 1/120 9.801 * [backup-simplify]: Simplify 1/120 into 1/120 9.801 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.802 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.802 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.803 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)))) into 0 9.803 * [backup-simplify]: Simplify 0 into 0 9.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.808 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.808 * [backup-simplify]: Simplify 0 into 0 9.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.810 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.811 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.811 * [backup-simplify]: Simplify 0 into 0 9.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.813 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.813 * [backup-simplify]: Simplify 0 into 0 9.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.816 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.816 * [backup-simplify]: Simplify 0 into 0 9.817 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.819 * [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 9.819 * [backup-simplify]: Simplify 0 into 0 9.819 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 (/ 1 c)) 5)) into (* 1/120 (pow c 5)) 9.820 * [backup-simplify]: Simplify (* 1/120 (pow (/ 1 (- c)) 5)) into (/ -1/120 (pow c 5)) 9.820 * [approximate]: Taking taylor expansion of (/ -1/120 (pow c 5)) in (c) around 0 9.820 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c 9.820 * [taylor]: Taking taylor expansion of -1/120 in c 9.820 * [backup-simplify]: Simplify -1/120 into -1/120 9.820 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.820 * [taylor]: Taking taylor expansion of c in c 9.820 * [backup-simplify]: Simplify 0 into 0 9.820 * [backup-simplify]: Simplify 1 into 1 9.820 * [backup-simplify]: Simplify (* 1 1) into 1 9.820 * [backup-simplify]: Simplify (* 1 1) into 1 9.821 * [backup-simplify]: Simplify (* 1 1) into 1 9.821 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120 9.821 * [taylor]: Taking taylor expansion of (/ -1/120 (pow c 5)) in c 9.821 * [taylor]: Taking taylor expansion of -1/120 in c 9.821 * [backup-simplify]: Simplify -1/120 into -1/120 9.821 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.821 * [taylor]: Taking taylor expansion of c in c 9.821 * [backup-simplify]: Simplify 0 into 0 9.821 * [backup-simplify]: Simplify 1 into 1 9.822 * [backup-simplify]: Simplify (* 1 1) into 1 9.822 * [backup-simplify]: Simplify (* 1 1) into 1 9.823 * [backup-simplify]: Simplify (* 1 1) into 1 9.823 * [backup-simplify]: Simplify (/ -1/120 1) into -1/120 9.823 * [backup-simplify]: Simplify -1/120 into -1/120 9.824 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.824 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.825 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.826 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)))) into 0 9.826 * [backup-simplify]: Simplify 0 into 0 9.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.830 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.830 * [backup-simplify]: Simplify 0 into 0 9.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.834 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.834 * [backup-simplify]: Simplify 0 into 0 9.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.839 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.839 * [backup-simplify]: Simplify 0 into 0 9.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.844 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/120 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.844 * [backup-simplify]: Simplify 0 into 0 9.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.850 * [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 9.850 * [backup-simplify]: Simplify 0 into 0 9.851 * [backup-simplify]: Simplify (* -1/120 (pow (/ 1 (/ 1 (- c))) 5)) into (* 1/120 (pow c 5)) 9.851 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 9.851 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) c) into (+ (* 1/120 (pow c 5)) c) 9.851 * [approximate]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in (c) around 0 9.851 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c 9.851 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 9.851 * [taylor]: Taking taylor expansion of 1/120 in c 9.852 * [backup-simplify]: Simplify 1/120 into 1/120 9.852 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.852 * [taylor]: Taking taylor expansion of c in c 9.852 * [backup-simplify]: Simplify 0 into 0 9.852 * [backup-simplify]: Simplify 1 into 1 9.852 * [taylor]: Taking taylor expansion of c in c 9.852 * [backup-simplify]: Simplify 0 into 0 9.852 * [backup-simplify]: Simplify 1 into 1 9.852 * [taylor]: Taking taylor expansion of (+ (* 1/120 (pow c 5)) c) in c 9.852 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 9.852 * [taylor]: Taking taylor expansion of 1/120 in c 9.852 * [backup-simplify]: Simplify 1/120 into 1/120 9.852 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.852 * [taylor]: Taking taylor expansion of c in c 9.852 * [backup-simplify]: Simplify 0 into 0 9.852 * [backup-simplify]: Simplify 1 into 1 9.852 * [taylor]: Taking taylor expansion of c in c 9.852 * [backup-simplify]: Simplify 0 into 0 9.852 * [backup-simplify]: Simplify 1 into 1 9.852 * [backup-simplify]: Simplify (+ 0 0) into 0 9.852 * [backup-simplify]: Simplify 0 into 0 9.853 * [backup-simplify]: Simplify (+ 0 1) into 1 9.853 * [backup-simplify]: Simplify 1 into 1 9.853 * [backup-simplify]: Simplify (+ 0 0) into 0 9.853 * [backup-simplify]: Simplify 0 into 0 9.853 * [backup-simplify]: Simplify (+ 0 0) into 0 9.853 * [backup-simplify]: Simplify 0 into 0 9.853 * [backup-simplify]: Simplify (+ 0 0) into 0 9.854 * [backup-simplify]: Simplify 0 into 0 9.854 * [backup-simplify]: Simplify (* 1 1) into 1 9.854 * [backup-simplify]: Simplify (* 1 1) into 1 9.854 * [backup-simplify]: Simplify (* 1 1) into 1 9.854 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 9.855 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 9.855 * [backup-simplify]: Simplify 1/120 into 1/120 9.855 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.855 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.856 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.856 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 9.857 * [backup-simplify]: Simplify (+ 0 0) into 0 9.857 * [backup-simplify]: Simplify 0 into 0 9.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.859 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 9.859 * [backup-simplify]: Simplify (+ 0 0) into 0 9.859 * [backup-simplify]: Simplify 0 into 0 9.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.861 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.861 * [backup-simplify]: Simplify (+ 0 0) into 0 9.861 * [backup-simplify]: Simplify 0 into 0 9.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.864 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.864 * [backup-simplify]: Simplify (+ 0 0) into 0 9.864 * [backup-simplify]: Simplify 0 into 0 9.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.867 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.868 * [backup-simplify]: Simplify (+ 0 0) into 0 9.868 * [backup-simplify]: Simplify 0 into 0 9.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.870 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.871 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.871 * [backup-simplify]: Simplify (+ 0 0) into 0 9.871 * [backup-simplify]: Simplify 0 into 0 9.872 * [backup-simplify]: Simplify (+ (* 1/120 (pow c 5)) (* 1 c)) into (+ (* 1/120 (pow c 5)) c) 9.872 * [backup-simplify]: Simplify (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) into (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) 9.872 * [approximate]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in (c) around 0 9.872 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in c 9.872 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 9.872 * [taylor]: Taking taylor expansion of 1/120 in c 9.872 * [backup-simplify]: Simplify 1/120 into 1/120 9.872 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 9.872 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.872 * [taylor]: Taking taylor expansion of c in c 9.872 * [backup-simplify]: Simplify 0 into 0 9.872 * [backup-simplify]: Simplify 1 into 1 9.872 * [backup-simplify]: Simplify (* 1 1) into 1 9.873 * [backup-simplify]: Simplify (* 1 1) into 1 9.873 * [backup-simplify]: Simplify (* 1 1) into 1 9.873 * [backup-simplify]: Simplify (/ 1 1) into 1 9.874 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.874 * [taylor]: Taking taylor expansion of c in c 9.874 * [backup-simplify]: Simplify 0 into 0 9.874 * [backup-simplify]: Simplify 1 into 1 9.874 * [backup-simplify]: Simplify (/ 1 1) into 1 9.874 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in c 9.874 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 9.874 * [taylor]: Taking taylor expansion of 1/120 in c 9.874 * [backup-simplify]: Simplify 1/120 into 1/120 9.874 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 9.874 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.874 * [taylor]: Taking taylor expansion of c in c 9.874 * [backup-simplify]: Simplify 0 into 0 9.874 * [backup-simplify]: Simplify 1 into 1 9.875 * [backup-simplify]: Simplify (* 1 1) into 1 9.875 * [backup-simplify]: Simplify (* 1 1) into 1 9.875 * [backup-simplify]: Simplify (* 1 1) into 1 9.876 * [backup-simplify]: Simplify (/ 1 1) into 1 9.876 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.876 * [taylor]: Taking taylor expansion of c in c 9.876 * [backup-simplify]: Simplify 0 into 0 9.876 * [backup-simplify]: Simplify 1 into 1 9.876 * [backup-simplify]: Simplify (/ 1 1) into 1 9.877 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 9.877 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 9.877 * [backup-simplify]: Simplify 1/120 into 1/120 9.878 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.879 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.879 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.881 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 9.881 * [backup-simplify]: Simplify (+ 0 0) into 0 9.881 * [backup-simplify]: Simplify 0 into 0 9.882 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.884 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.885 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.885 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 9.886 * [backup-simplify]: Simplify (+ 0 0) into 0 9.886 * [backup-simplify]: Simplify 0 into 0 9.887 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.891 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.892 * [backup-simplify]: Simplify (+ 0 0) into 0 9.892 * [backup-simplify]: Simplify 0 into 0 9.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.896 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.897 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.898 * [backup-simplify]: Simplify (+ 0 1) into 1 9.898 * [backup-simplify]: Simplify 1 into 1 9.899 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.901 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.902 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.903 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.905 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.905 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.906 * [backup-simplify]: Simplify (+ 0 0) into 0 9.906 * [backup-simplify]: Simplify 0 into 0 9.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.911 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.913 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.914 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.915 * [backup-simplify]: Simplify (+ 0 0) into 0 9.915 * [backup-simplify]: Simplify 0 into 0 9.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 9.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 9.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 9.921 * [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 9.923 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 9.924 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.924 * [backup-simplify]: Simplify (+ 0 0) into 0 9.924 * [backup-simplify]: Simplify 0 into 0 9.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 9.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 9.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 9.931 * [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 9.932 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 9.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.933 * [backup-simplify]: Simplify (+ 0 0) into 0 9.933 * [backup-simplify]: Simplify 0 into 0 9.934 * [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 9.935 * [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 9.937 * [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 9.937 * [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 9.938 * [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 9.939 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.939 * [backup-simplify]: Simplify (+ 0 0) into 0 9.939 * [backup-simplify]: Simplify 0 into 0 9.940 * [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 9.942 * [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 9.943 * [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 9.943 * [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 9.945 * [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 9.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.945 * [backup-simplify]: Simplify (+ 0 0) into 0 9.946 * [backup-simplify]: Simplify 0 into 0 9.946 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 c))) (* 1/120 (pow (/ 1 (/ 1 c)) 5))) into (+ (* 1/120 (pow c 5)) c) 9.946 * [backup-simplify]: Simplify (+ (* 1/120 (pow (/ 1 (- c)) 5)) (/ 1 (- c))) into (- (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c))) 9.946 * [approximate]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c))) in (c) around 0 9.946 * [taylor]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c))) in c 9.946 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in c 9.946 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 9.946 * [taylor]: Taking taylor expansion of 1/120 in c 9.946 * [backup-simplify]: Simplify 1/120 into 1/120 9.946 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 9.946 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.946 * [taylor]: Taking taylor expansion of c in c 9.946 * [backup-simplify]: Simplify 0 into 0 9.946 * [backup-simplify]: Simplify 1 into 1 9.946 * [backup-simplify]: Simplify (* 1 1) into 1 9.947 * [backup-simplify]: Simplify (* 1 1) into 1 9.947 * [backup-simplify]: Simplify (* 1 1) into 1 9.947 * [backup-simplify]: Simplify (/ 1 1) into 1 9.947 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.947 * [taylor]: Taking taylor expansion of c in c 9.947 * [backup-simplify]: Simplify 0 into 0 9.947 * [backup-simplify]: Simplify 1 into 1 9.947 * [backup-simplify]: Simplify (/ 1 1) into 1 9.948 * [taylor]: Taking taylor expansion of (- (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c))) in c 9.948 * [taylor]: Taking taylor expansion of (+ (* 1/120 (/ 1 (pow c 5))) (/ 1 c)) in c 9.948 * [taylor]: Taking taylor expansion of (* 1/120 (/ 1 (pow c 5))) in c 9.948 * [taylor]: Taking taylor expansion of 1/120 in c 9.948 * [backup-simplify]: Simplify 1/120 into 1/120 9.948 * [taylor]: Taking taylor expansion of (/ 1 (pow c 5)) in c 9.948 * [taylor]: Taking taylor expansion of (pow c 5) in c 9.948 * [taylor]: Taking taylor expansion of c in c 9.948 * [backup-simplify]: Simplify 0 into 0 9.948 * [backup-simplify]: Simplify 1 into 1 9.948 * [backup-simplify]: Simplify (* 1 1) into 1 9.948 * [backup-simplify]: Simplify (* 1 1) into 1 9.948 * [backup-simplify]: Simplify (* 1 1) into 1 9.949 * [backup-simplify]: Simplify (/ 1 1) into 1 9.949 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.949 * [taylor]: Taking taylor expansion of c in c 9.949 * [backup-simplify]: Simplify 0 into 0 9.949 * [backup-simplify]: Simplify 1 into 1 9.949 * [backup-simplify]: Simplify (/ 1 1) into 1 9.949 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 9.949 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 9.950 * [backup-simplify]: Simplify (- 1/120) into -1/120 9.950 * [backup-simplify]: Simplify -1/120 into -1/120 9.950 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.950 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.951 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.951 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.952 * [backup-simplify]: Simplify (+ (* 1/120 0) (* 0 1)) into 0 9.952 * [backup-simplify]: Simplify (+ 0 0) into 0 9.952 * [backup-simplify]: Simplify (- 0) into 0 9.952 * [backup-simplify]: Simplify 0 into 0 9.953 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.955 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.956 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.957 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (* 0 1))) into 0 9.957 * [backup-simplify]: Simplify (+ 0 0) into 0 9.958 * [backup-simplify]: Simplify (- 0) into 0 9.958 * [backup-simplify]: Simplify 0 into 0 9.959 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.961 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.963 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.963 * [backup-simplify]: Simplify (+ 0 0) into 0 9.963 * [backup-simplify]: Simplify (- 0) into 0 9.963 * [backup-simplify]: Simplify 0 into 0 9.965 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.967 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.968 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.969 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.970 * [backup-simplify]: Simplify (+ 0 1) into 1 9.970 * [backup-simplify]: Simplify (- 1) into -1 9.970 * [backup-simplify]: Simplify -1 into -1 9.971 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.973 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.975 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.975 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.977 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.978 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.978 * [backup-simplify]: Simplify (+ 0 0) into 0 9.979 * [backup-simplify]: Simplify (- 0) into 0 9.979 * [backup-simplify]: Simplify 0 into 0 9.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.983 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.984 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.986 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.987 * [backup-simplify]: Simplify (+ 0 0) into 0 9.987 * [backup-simplify]: Simplify (- 0) into 0 9.987 * [backup-simplify]: Simplify 0 into 0 9.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 9.991 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 9.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 9.993 * [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 9.995 * [backup-simplify]: Simplify (+ (* 1/120 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 9.996 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.997 * [backup-simplify]: Simplify (+ 0 0) into 0 9.997 * [backup-simplify]: Simplify (- 0) into 0 9.997 * [backup-simplify]: Simplify 0 into 0 9.999 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 10.000 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 10.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 10.003 * [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.005 * [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.005 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.006 * [backup-simplify]: Simplify (+ 0 0) into 0 10.006 * [backup-simplify]: Simplify (- 0) into 0 10.006 * [backup-simplify]: Simplify 0 into 0 10.007 * [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.008 * [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.009 * [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.010 * [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.011 * [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.012 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.012 * [backup-simplify]: Simplify (+ 0 0) into 0 10.012 * [backup-simplify]: Simplify (- 0) into 0 10.012 * [backup-simplify]: Simplify 0 into 0 10.014 * [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.015 * [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.016 * [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.017 * [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.018 * [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.019 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.019 * [backup-simplify]: Simplify (+ 0 0) into 0 10.019 * [backup-simplify]: Simplify (- 0) into 0 10.019 * [backup-simplify]: Simplify 0 into 0 10.020 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- c)))) (* -1/120 (pow (/ 1 (/ 1 (- c))) 5))) into (+ (* 1/120 (pow c 5)) c) 10.020 * * * [progress]: simplifying candidates 10.021 * [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.022 * * [simplify]: Extracting # 0 : cost 0 10.022 * * [simplify]: Extracting # 1 : cost 0 10.022 * * [simplify]: Extracting # 2 : cost 0 10.022 * * [simplify]: Extracting # 3 : cost 0 10.022 * * [simplify]: Extracting # 4 : cost 0 10.022 * * [simplify]: Extracting # 5 : cost 0 10.023 * * [simplify]: Extracting # 6 : cost 0 10.023 * * [simplify]: iteration 0 : 113 enodes (cost 650 ) 10.074 * * [simplify]: Extracting # 0 : cost 0 10.074 * * [simplify]: Extracting # 1 : cost 0 10.075 * * [simplify]: Extracting # 2 : cost 0 10.075 * * [simplify]: Extracting # 3 : cost 0 10.075 * * [simplify]: Extracting # 4 : cost 0 10.075 * * [simplify]: Extracting # 5 : cost 0 10.076 * * [simplify]: iteration 1 : 266 enodes (cost 563 ) 10.171 * * [simplify]: Extracting # 0 : cost 0 10.171 * * [simplify]: Extracting # 1 : cost 0 10.172 * * [simplify]: Extracting # 2 : cost 0 10.173 * * [simplify]: Extracting # 3 : cost 0 10.174 * * [simplify]: Extracting # 4 : cost 0 10.174 * * [simplify]: iteration 2 : 694 enodes (cost 533 ) 10.691 * * [simplify]: Extracting # 0 : cost 0 10.694 * * [simplify]: Extracting # 1 : cost 0 10.698 * * [simplify]: Extracting # 2 : cost 0 10.707 * * [simplify]: Extracting # 3 : cost 0 10.710 * * [simplify]: Extracting # 4 : cost 0 10.713 * * [simplify]: Extracting # 5 : cost 0 10.716 * * [simplify]: iteration 3 : 2759 enodes (cost 533 ) 12.184 * * [simplify]: Extracting # 0 : cost 0 12.194 * * [simplify]: Extracting # 1 : cost 0 12.203 * * [simplify]: Extracting # 2 : cost 0 12.211 * * [simplify]: Extracting # 3 : cost 0 12.222 * * [simplify]: Extracting # 4 : cost 0 12.233 * * [simplify]: iteration done: 5001 enodes (cost 533 ) 12.234 * [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) 12.234 * * * [progress]: adding candidates to table 12.479 * * [progress]: iteration 3 / 4 12.479 * * * [progress]: picking best candidate 12.481 * * * * [pick]: Picked # 12.481 * * * [progress]: localizing error 12.493 * * * [progress]: generating rewritten candidates 12.493 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 12.496 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 12.499 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 12.502 * * * [progress]: generating series expansions 12.502 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 12.502 * [backup-simplify]: Simplify (cbrt (pow (sinh c) 3)) into (sinh c) 12.502 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 12.502 * [taylor]: Taking taylor expansion of (sinh c) in c 12.502 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 12.502 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 12.502 * [taylor]: Taking taylor expansion of (exp c) in c 12.502 * [taylor]: Taking taylor expansion of c in c 12.502 * [backup-simplify]: Simplify 0 into 0 12.502 * [backup-simplify]: Simplify 1 into 1 12.502 * [backup-simplify]: Simplify (exp 0) into 1 12.502 * [taylor]: Taking taylor expansion of (exp (- c)) in c 12.502 * [taylor]: Taking taylor expansion of (- c) in c 12.502 * [taylor]: Taking taylor expansion of c in c 12.502 * [backup-simplify]: Simplify 0 into 0 12.502 * [backup-simplify]: Simplify 1 into 1 12.503 * [backup-simplify]: Simplify (- 0) into 0 12.503 * [backup-simplify]: Simplify (- 1) into -1 12.503 * [backup-simplify]: Simplify (exp 0) into 1 12.503 * [taylor]: Taking taylor expansion of 2 in c 12.503 * [backup-simplify]: Simplify 2 into 2 12.503 * [backup-simplify]: Simplify (- 1) into -1 12.504 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.504 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.505 * [backup-simplify]: Simplify (- 1) into -1 12.505 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.505 * [backup-simplify]: Simplify (- -1) into 1 12.506 * [backup-simplify]: Simplify (+ 1 1) into 2 12.506 * [backup-simplify]: Simplify (/ 2 2) into 1 12.506 * [taylor]: Taking taylor expansion of (sinh c) in c 12.506 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 12.506 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 12.506 * [taylor]: Taking taylor expansion of (exp c) in c 12.506 * [taylor]: Taking taylor expansion of c in c 12.506 * [backup-simplify]: Simplify 0 into 0 12.506 * [backup-simplify]: Simplify 1 into 1 12.506 * [backup-simplify]: Simplify (exp 0) into 1 12.506 * [taylor]: Taking taylor expansion of (exp (- c)) in c 12.506 * [taylor]: Taking taylor expansion of (- c) in c 12.506 * [taylor]: Taking taylor expansion of c in c 12.506 * [backup-simplify]: Simplify 0 into 0 12.506 * [backup-simplify]: Simplify 1 into 1 12.506 * [backup-simplify]: Simplify (- 0) into 0 12.507 * [backup-simplify]: Simplify (- 1) into -1 12.507 * [backup-simplify]: Simplify (exp 0) into 1 12.507 * [taylor]: Taking taylor expansion of 2 in c 12.507 * [backup-simplify]: Simplify 2 into 2 12.507 * [backup-simplify]: Simplify (- 1) into -1 12.507 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.508 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.508 * [backup-simplify]: Simplify (- 1) into -1 12.509 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.509 * [backup-simplify]: Simplify (- -1) into 1 12.509 * [backup-simplify]: Simplify (+ 1 1) into 2 12.509 * [backup-simplify]: Simplify (/ 2 2) into 1 12.509 * [backup-simplify]: Simplify 1 into 1 12.510 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.511 * [backup-simplify]: Simplify (- 1) into -1 12.511 * [backup-simplify]: Simplify (- 0) into 0 12.512 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.512 * [backup-simplify]: Simplify (- 1/2) into -1/2 12.512 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 12.513 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 12.513 * [backup-simplify]: Simplify 0 into 0 12.515 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 12.516 * [backup-simplify]: Simplify (- 1) into -1 12.516 * [backup-simplify]: Simplify (- 1) into -1 12.516 * [backup-simplify]: Simplify (- 0) into 0 12.517 * [backup-simplify]: Simplify (- 0) into 0 12.519 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 12.519 * [backup-simplify]: Simplify (- -1/6) into 1/6 12.519 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 12.520 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 12.520 * [backup-simplify]: Simplify 1/6 into 1/6 12.522 * [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 12.523 * [backup-simplify]: Simplify (- 1) into -1 12.523 * [backup-simplify]: Simplify (- 1) into -1 12.523 * [backup-simplify]: Simplify (- 0) into 0 12.523 * [backup-simplify]: Simplify (- 1) into -1 12.523 * [backup-simplify]: Simplify (- 0) into 0 12.524 * [backup-simplify]: Simplify (- 0) into 0 12.524 * [backup-simplify]: Simplify (- 0) into 0 12.526 * [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 12.526 * [backup-simplify]: Simplify (- 1/24) into -1/24 12.527 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 12.527 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 12.527 * [backup-simplify]: Simplify 0 into 0 12.530 * [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 12.531 * [backup-simplify]: Simplify (- 1) into -1 12.531 * [backup-simplify]: Simplify (- 1) into -1 12.531 * [backup-simplify]: Simplify (- 0) into 0 12.531 * [backup-simplify]: Simplify (- 1) into -1 12.532 * [backup-simplify]: Simplify (- 0) into 0 12.532 * [backup-simplify]: Simplify (- 1) into -1 12.532 * [backup-simplify]: Simplify (- 0) into 0 12.532 * [backup-simplify]: Simplify (- 1) into -1 12.532 * [backup-simplify]: Simplify (- 0) into 0 12.533 * [backup-simplify]: Simplify (- 0) into 0 12.533 * [backup-simplify]: Simplify (- 0) into 0 12.533 * [backup-simplify]: Simplify (- 0) into 0 12.536 * [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 12.537 * [backup-simplify]: Simplify (- -1/120) into 1/120 12.537 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 12.538 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 12.538 * [backup-simplify]: Simplify 1/120 into 1/120 12.538 * [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)) 12.538 * [backup-simplify]: Simplify (cbrt (pow (sinh (/ 1 c)) 3)) into (sinh (/ 1 c)) 12.538 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 12.538 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 12.538 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 12.538 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 12.538 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 12.538 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.538 * [taylor]: Taking taylor expansion of c in c 12.538 * [backup-simplify]: Simplify 0 into 0 12.538 * [backup-simplify]: Simplify 1 into 1 12.539 * [backup-simplify]: Simplify (/ 1 1) into 1 12.539 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 12.539 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 12.539 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 12.539 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.539 * [taylor]: Taking taylor expansion of c in c 12.539 * [backup-simplify]: Simplify 0 into 0 12.539 * [backup-simplify]: Simplify 1 into 1 12.539 * [backup-simplify]: Simplify (/ 1 1) into 1 12.539 * [backup-simplify]: Simplify (- 1) into -1 12.539 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 12.539 * [taylor]: Taking taylor expansion of 2 in c 12.539 * [backup-simplify]: Simplify 2 into 2 12.539 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 12.539 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 12.540 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 12.540 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 12.540 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 12.540 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 12.540 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 12.540 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.540 * [taylor]: Taking taylor expansion of c in c 12.540 * [backup-simplify]: Simplify 0 into 0 12.540 * [backup-simplify]: Simplify 1 into 1 12.540 * [backup-simplify]: Simplify (/ 1 1) into 1 12.540 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 12.540 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 12.540 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 12.540 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.540 * [taylor]: Taking taylor expansion of c in c 12.540 * [backup-simplify]: Simplify 0 into 0 12.540 * [backup-simplify]: Simplify 1 into 1 12.545 * [backup-simplify]: Simplify (/ 1 1) into 1 12.545 * [backup-simplify]: Simplify (- 1) into -1 12.546 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 12.546 * [taylor]: Taking taylor expansion of 2 in c 12.546 * [backup-simplify]: Simplify 2 into 2 12.546 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 12.546 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 12.546 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 12.546 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 12.546 * [backup-simplify]: Simplify (- 0) into 0 12.547 * [backup-simplify]: Simplify (+ 0 0) into 0 12.547 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 12.547 * [backup-simplify]: Simplify 0 into 0 12.548 * [backup-simplify]: Simplify (- 0) into 0 12.548 * [backup-simplify]: Simplify (+ 0 0) into 0 12.549 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.549 * [backup-simplify]: Simplify 0 into 0 12.549 * [backup-simplify]: Simplify (- 0) into 0 12.549 * [backup-simplify]: Simplify (+ 0 0) into 0 12.550 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.550 * [backup-simplify]: Simplify 0 into 0 12.551 * [backup-simplify]: Simplify (- 0) into 0 12.551 * [backup-simplify]: Simplify (+ 0 0) into 0 12.552 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.552 * [backup-simplify]: Simplify 0 into 0 12.553 * [backup-simplify]: Simplify (- 0) into 0 12.553 * [backup-simplify]: Simplify (+ 0 0) into 0 12.554 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.554 * [backup-simplify]: Simplify 0 into 0 12.555 * [backup-simplify]: Simplify (- 0) into 0 12.555 * [backup-simplify]: Simplify (+ 0 0) into 0 12.557 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.557 * [backup-simplify]: Simplify 0 into 0 12.557 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 12.557 * [backup-simplify]: Simplify (cbrt (pow (sinh (/ 1 (- c))) 3)) into (sinh (/ -1 c)) 12.557 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 12.557 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 12.557 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 12.557 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 12.557 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 12.557 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.557 * [taylor]: Taking taylor expansion of -1 in c 12.557 * [backup-simplify]: Simplify -1 into -1 12.557 * [taylor]: Taking taylor expansion of c in c 12.557 * [backup-simplify]: Simplify 0 into 0 12.557 * [backup-simplify]: Simplify 1 into 1 12.558 * [backup-simplify]: Simplify (/ -1 1) into -1 12.558 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 12.558 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 12.558 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 12.558 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.558 * [taylor]: Taking taylor expansion of -1 in c 12.558 * [backup-simplify]: Simplify -1 into -1 12.558 * [taylor]: Taking taylor expansion of c in c 12.558 * [backup-simplify]: Simplify 0 into 0 12.558 * [backup-simplify]: Simplify 1 into 1 12.558 * [backup-simplify]: Simplify (/ -1 1) into -1 12.558 * [backup-simplify]: Simplify (- -1) into 1 12.558 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 12.559 * [taylor]: Taking taylor expansion of 2 in c 12.559 * [backup-simplify]: Simplify 2 into 2 12.559 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 12.559 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 12.559 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 12.559 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 12.559 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 12.559 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 12.559 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 12.559 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.559 * [taylor]: Taking taylor expansion of -1 in c 12.559 * [backup-simplify]: Simplify -1 into -1 12.559 * [taylor]: Taking taylor expansion of c in c 12.559 * [backup-simplify]: Simplify 0 into 0 12.559 * [backup-simplify]: Simplify 1 into 1 12.559 * [backup-simplify]: Simplify (/ -1 1) into -1 12.559 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 12.559 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 12.559 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 12.559 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.559 * [taylor]: Taking taylor expansion of -1 in c 12.559 * [backup-simplify]: Simplify -1 into -1 12.559 * [taylor]: Taking taylor expansion of c in c 12.559 * [backup-simplify]: Simplify 0 into 0 12.559 * [backup-simplify]: Simplify 1 into 1 12.560 * [backup-simplify]: Simplify (/ -1 1) into -1 12.560 * [backup-simplify]: Simplify (- -1) into 1 12.560 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 12.560 * [taylor]: Taking taylor expansion of 2 in c 12.560 * [backup-simplify]: Simplify 2 into 2 12.560 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 12.560 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 12.560 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 12.560 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 12.561 * [backup-simplify]: Simplify (- 0) into 0 12.561 * [backup-simplify]: Simplify (+ 0 0) into 0 12.562 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 12.562 * [backup-simplify]: Simplify 0 into 0 12.562 * [backup-simplify]: Simplify (- 0) into 0 12.562 * [backup-simplify]: Simplify (+ 0 0) into 0 12.563 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.563 * [backup-simplify]: Simplify 0 into 0 12.563 * [backup-simplify]: Simplify (- 0) into 0 12.563 * [backup-simplify]: Simplify (+ 0 0) into 0 12.565 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.565 * [backup-simplify]: Simplify 0 into 0 12.565 * [backup-simplify]: Simplify (- 0) into 0 12.566 * [backup-simplify]: Simplify (+ 0 0) into 0 12.568 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.568 * [backup-simplify]: Simplify 0 into 0 12.568 * [backup-simplify]: Simplify (- 0) into 0 12.569 * [backup-simplify]: Simplify (+ 0 0) into 0 12.572 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.572 * [backup-simplify]: Simplify 0 into 0 12.572 * [backup-simplify]: Simplify (- 0) into 0 12.572 * [backup-simplify]: Simplify (+ 0 0) into 0 12.575 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.576 * [backup-simplify]: Simplify 0 into 0 12.576 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 12.576 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 12.576 * [backup-simplify]: Simplify (pow (sinh c) 3) into (pow (sinh c) 3) 12.576 * [approximate]: Taking taylor expansion of (pow (sinh c) 3) in (c) around 0 12.576 * [taylor]: Taking taylor expansion of (pow (sinh c) 3) in c 12.576 * [taylor]: Taking taylor expansion of (sinh c) in c 12.576 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 12.576 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 12.576 * [taylor]: Taking taylor expansion of (exp c) in c 12.576 * [taylor]: Taking taylor expansion of c in c 12.576 * [backup-simplify]: Simplify 0 into 0 12.576 * [backup-simplify]: Simplify 1 into 1 12.576 * [backup-simplify]: Simplify (exp 0) into 1 12.576 * [taylor]: Taking taylor expansion of (exp (- c)) in c 12.576 * [taylor]: Taking taylor expansion of (- c) in c 12.577 * [taylor]: Taking taylor expansion of c in c 12.577 * [backup-simplify]: Simplify 0 into 0 12.577 * [backup-simplify]: Simplify 1 into 1 12.577 * [backup-simplify]: Simplify (- 0) into 0 12.577 * [backup-simplify]: Simplify (- 1) into -1 12.577 * [backup-simplify]: Simplify (exp 0) into 1 12.577 * [taylor]: Taking taylor expansion of 2 in c 12.577 * [backup-simplify]: Simplify 2 into 2 12.578 * [backup-simplify]: Simplify (- 1) into -1 12.578 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.579 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.579 * [backup-simplify]: Simplify (- 1) into -1 12.580 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.581 * [backup-simplify]: Simplify (- -1) into 1 12.581 * [backup-simplify]: Simplify (+ 1 1) into 2 12.581 * [backup-simplify]: Simplify (/ 2 2) into 1 12.581 * [taylor]: Taking taylor expansion of (pow (sinh c) 3) in c 12.582 * [taylor]: Taking taylor expansion of (sinh c) in c 12.582 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 12.582 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 12.582 * [taylor]: Taking taylor expansion of (exp c) in c 12.582 * [taylor]: Taking taylor expansion of c in c 12.582 * [backup-simplify]: Simplify 0 into 0 12.582 * [backup-simplify]: Simplify 1 into 1 12.582 * [backup-simplify]: Simplify (exp 0) into 1 12.582 * [taylor]: Taking taylor expansion of (exp (- c)) in c 12.582 * [taylor]: Taking taylor expansion of (- c) in c 12.582 * [taylor]: Taking taylor expansion of c in c 12.582 * [backup-simplify]: Simplify 0 into 0 12.582 * [backup-simplify]: Simplify 1 into 1 12.582 * [backup-simplify]: Simplify (- 0) into 0 12.583 * [backup-simplify]: Simplify (- 1) into -1 12.583 * [backup-simplify]: Simplify (exp 0) into 1 12.583 * [taylor]: Taking taylor expansion of 2 in c 12.583 * [backup-simplify]: Simplify 2 into 2 12.583 * [backup-simplify]: Simplify (- 1) into -1 12.584 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.585 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.585 * [backup-simplify]: Simplify (- 1) into -1 12.586 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.586 * [backup-simplify]: Simplify (- -1) into 1 12.587 * [backup-simplify]: Simplify (+ 1 1) into 2 12.587 * [backup-simplify]: Simplify (/ 2 2) into 1 12.587 * [backup-simplify]: Simplify (* 1 1) into 1 12.588 * [backup-simplify]: Simplify (* 1 1) into 1 12.588 * [backup-simplify]: Simplify 1 into 1 12.589 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.590 * [backup-simplify]: Simplify (- 1) into -1 12.590 * [backup-simplify]: Simplify (- 0) into 0 12.592 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.592 * [backup-simplify]: Simplify (- 1/2) into -1/2 12.592 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 12.593 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 12.594 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.594 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.594 * [backup-simplify]: Simplify 0 into 0 12.597 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 12.597 * [backup-simplify]: Simplify (- 1) into -1 12.597 * [backup-simplify]: Simplify (- 1) into -1 12.598 * [backup-simplify]: Simplify (- 0) into 0 12.598 * [backup-simplify]: Simplify (- 0) into 0 12.600 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 12.601 * [backup-simplify]: Simplify (- -1/6) into 1/6 12.601 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 12.602 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 12.603 * [backup-simplify]: Simplify (+ (* 1 1/6) (+ (* 0 0) (* 1/6 1))) into 1/3 12.604 * [backup-simplify]: Simplify (+ (* 1 1/3) (+ (* 0 0) (* 1/6 1))) into 1/2 12.604 * [backup-simplify]: Simplify 1/2 into 1/2 12.608 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 12.608 * [backup-simplify]: Simplify (- 1) into -1 12.610 * [backup-simplify]: Simplify (- 1) into -1 12.610 * [backup-simplify]: Simplify (- 0) into 0 12.610 * [backup-simplify]: Simplify (- 1) into -1 12.611 * [backup-simplify]: Simplify (- 0) into 0 12.611 * [backup-simplify]: Simplify (- 0) into 0 12.611 * [backup-simplify]: Simplify (- 0) into 0 12.616 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 12.616 * [backup-simplify]: Simplify (- 1/24) into -1/24 12.617 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 12.618 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 12.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/6) (+ (* 1/6 0) (* 0 1)))) into 0 12.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/3) (+ (* 1/6 0) (* 0 1)))) into 0 12.621 * [backup-simplify]: Simplify 0 into 0 12.627 * [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 12.627 * [backup-simplify]: Simplify (- 1) into -1 12.628 * [backup-simplify]: Simplify (- 1) into -1 12.628 * [backup-simplify]: Simplify (- 0) into 0 12.628 * [backup-simplify]: Simplify (- 1) into -1 12.629 * [backup-simplify]: Simplify (- 0) into 0 12.629 * [backup-simplify]: Simplify (- 1) into -1 12.629 * [backup-simplify]: Simplify (- 0) into 0 12.630 * [backup-simplify]: Simplify (- 1) into -1 12.630 * [backup-simplify]: Simplify (- 0) into 0 12.630 * [backup-simplify]: Simplify (- 0) into 0 12.631 * [backup-simplify]: Simplify (- 0) into 0 12.631 * [backup-simplify]: Simplify (- 0) into 0 12.635 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 12.636 * [backup-simplify]: Simplify (- -1/120) into 1/120 12.636 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 12.637 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 12.638 * [backup-simplify]: Simplify (+ (* 1 1/120) (+ (* 0 0) (+ (* 1/6 1/6) (+ (* 0 0) (* 1/120 1))))) into 2/45 12.639 * [backup-simplify]: Simplify (+ (* 1 2/45) (+ (* 0 0) (+ (* 1/6 1/3) (+ (* 0 0) (* 1/120 1))))) into 13/120 12.639 * [backup-simplify]: Simplify 13/120 into 13/120 12.639 * [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)))) 12.639 * [backup-simplify]: Simplify (pow (sinh (/ 1 c)) 3) into (pow (sinh (/ 1 c)) 3) 12.639 * [approximate]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in (c) around 0 12.639 * [taylor]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in c 12.639 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 12.639 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 12.640 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 12.640 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 12.640 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.640 * [taylor]: Taking taylor expansion of c in c 12.640 * [backup-simplify]: Simplify 0 into 0 12.640 * [backup-simplify]: Simplify 1 into 1 12.640 * [backup-simplify]: Simplify (/ 1 1) into 1 12.640 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 12.640 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 12.640 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 12.640 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.640 * [taylor]: Taking taylor expansion of c in c 12.640 * [backup-simplify]: Simplify 0 into 0 12.640 * [backup-simplify]: Simplify 1 into 1 12.640 * [backup-simplify]: Simplify (/ 1 1) into 1 12.640 * [backup-simplify]: Simplify (- 1) into -1 12.641 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 12.641 * [taylor]: Taking taylor expansion of 2 in c 12.641 * [backup-simplify]: Simplify 2 into 2 12.641 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 12.641 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 12.641 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 12.641 * [taylor]: Taking taylor expansion of (pow (sinh (/ 1 c)) 3) in c 12.641 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 12.641 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 12.641 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 12.641 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 12.641 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.641 * [taylor]: Taking taylor expansion of c in c 12.641 * [backup-simplify]: Simplify 0 into 0 12.641 * [backup-simplify]: Simplify 1 into 1 12.641 * [backup-simplify]: Simplify (/ 1 1) into 1 12.641 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 12.641 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 12.641 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 12.641 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.641 * [taylor]: Taking taylor expansion of c in c 12.641 * [backup-simplify]: Simplify 0 into 0 12.641 * [backup-simplify]: Simplify 1 into 1 12.642 * [backup-simplify]: Simplify (/ 1 1) into 1 12.642 * [backup-simplify]: Simplify (- 1) into -1 12.642 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 12.642 * [taylor]: Taking taylor expansion of 2 in c 12.642 * [backup-simplify]: Simplify 2 into 2 12.642 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 12.642 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 12.642 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 12.643 * [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)) 12.643 * [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)) 12.643 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) into (* 1/8 (pow (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) 12.643 * [backup-simplify]: Simplify (- 0) into 0 12.644 * [backup-simplify]: Simplify (+ 0 0) into 0 12.644 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 12.644 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (* 0 (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))) into 0 12.645 * [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 12.645 * [backup-simplify]: Simplify 0 into 0 12.645 * [backup-simplify]: Simplify (- 0) into 0 12.645 * [backup-simplify]: Simplify (+ 0 0) into 0 12.646 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.647 * [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 12.647 * [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 12.647 * [backup-simplify]: Simplify 0 into 0 12.647 * [backup-simplify]: Simplify (- 0) into 0 12.648 * [backup-simplify]: Simplify (+ 0 0) into 0 12.649 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.650 * [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 12.650 * [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 12.650 * [backup-simplify]: Simplify 0 into 0 12.651 * [backup-simplify]: Simplify (- 0) into 0 12.651 * [backup-simplify]: Simplify (+ 0 0) into 0 12.652 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.653 * [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 12.654 * [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 12.654 * [backup-simplify]: Simplify 0 into 0 12.654 * [backup-simplify]: Simplify (- 0) into 0 12.655 * [backup-simplify]: Simplify (+ 0 0) into 0 12.659 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.660 * [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 12.662 * [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 12.662 * [backup-simplify]: Simplify 0 into 0 12.662 * [backup-simplify]: Simplify (- 0) into 0 12.662 * [backup-simplify]: Simplify (+ 0 0) into 0 12.664 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.665 * [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 12.667 * [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 12.667 * [backup-simplify]: Simplify 0 into 0 12.667 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c))))) 3)) into (* 1/8 (pow (- (exp c) (exp (- c))) 3)) 12.667 * [backup-simplify]: Simplify (pow (sinh (/ 1 (- c))) 3) into (pow (sinh (/ -1 c)) 3) 12.667 * [approximate]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in (c) around 0 12.667 * [taylor]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in c 12.667 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 12.667 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 12.667 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 12.667 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 12.667 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.667 * [taylor]: Taking taylor expansion of -1 in c 12.667 * [backup-simplify]: Simplify -1 into -1 12.667 * [taylor]: Taking taylor expansion of c in c 12.667 * [backup-simplify]: Simplify 0 into 0 12.667 * [backup-simplify]: Simplify 1 into 1 12.668 * [backup-simplify]: Simplify (/ -1 1) into -1 12.668 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 12.668 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 12.668 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 12.668 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.668 * [taylor]: Taking taylor expansion of -1 in c 12.668 * [backup-simplify]: Simplify -1 into -1 12.668 * [taylor]: Taking taylor expansion of c in c 12.668 * [backup-simplify]: Simplify 0 into 0 12.668 * [backup-simplify]: Simplify 1 into 1 12.668 * [backup-simplify]: Simplify (/ -1 1) into -1 12.668 * [backup-simplify]: Simplify (- -1) into 1 12.669 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 12.669 * [taylor]: Taking taylor expansion of 2 in c 12.669 * [backup-simplify]: Simplify 2 into 2 12.669 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 12.669 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 12.669 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 12.669 * [taylor]: Taking taylor expansion of (pow (sinh (/ -1 c)) 3) in c 12.669 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 12.669 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 12.669 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 12.669 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 12.669 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.669 * [taylor]: Taking taylor expansion of -1 in c 12.669 * [backup-simplify]: Simplify -1 into -1 12.669 * [taylor]: Taking taylor expansion of c in c 12.669 * [backup-simplify]: Simplify 0 into 0 12.669 * [backup-simplify]: Simplify 1 into 1 12.669 * [backup-simplify]: Simplify (/ -1 1) into -1 12.669 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 12.669 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 12.669 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 12.669 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.669 * [taylor]: Taking taylor expansion of -1 in c 12.669 * [backup-simplify]: Simplify -1 into -1 12.669 * [taylor]: Taking taylor expansion of c in c 12.670 * [backup-simplify]: Simplify 0 into 0 12.670 * [backup-simplify]: Simplify 1 into 1 12.670 * [backup-simplify]: Simplify (/ -1 1) into -1 12.670 * [backup-simplify]: Simplify (- -1) into 1 12.670 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 12.670 * [taylor]: Taking taylor expansion of 2 in c 12.670 * [backup-simplify]: Simplify 2 into 2 12.670 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 12.670 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 12.670 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 12.671 * [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)) 12.671 * [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)) 12.671 * [backup-simplify]: Simplify (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) into (* 1/8 (pow (- (exp (/ -1 c)) (exp (/ 1 c))) 3)) 12.671 * [backup-simplify]: Simplify (- 0) into 0 12.672 * [backup-simplify]: Simplify (+ 0 0) into 0 12.672 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 12.672 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 0) (* 0 (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))) into 0 12.673 * [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 12.673 * [backup-simplify]: Simplify 0 into 0 12.673 * [backup-simplify]: Simplify (- 0) into 0 12.673 * [backup-simplify]: Simplify (+ 0 0) into 0 12.674 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.674 * [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 12.675 * [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 12.675 * [backup-simplify]: Simplify 0 into 0 12.675 * [backup-simplify]: Simplify (- 0) into 0 12.675 * [backup-simplify]: Simplify (+ 0 0) into 0 12.677 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.677 * [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 12.678 * [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 12.678 * [backup-simplify]: Simplify 0 into 0 12.679 * [backup-simplify]: Simplify (- 0) into 0 12.679 * [backup-simplify]: Simplify (+ 0 0) into 0 12.680 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.681 * [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 12.682 * [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 12.682 * [backup-simplify]: Simplify 0 into 0 12.682 * [backup-simplify]: Simplify (- 0) into 0 12.682 * [backup-simplify]: Simplify (+ 0 0) into 0 12.684 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.685 * [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 12.686 * [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 12.686 * [backup-simplify]: Simplify 0 into 0 12.687 * [backup-simplify]: Simplify (- 0) into 0 12.687 * [backup-simplify]: Simplify (+ 0 0) into 0 12.689 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.690 * [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 12.691 * [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 12.692 * [backup-simplify]: Simplify 0 into 0 12.692 * [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)) 12.692 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 12.692 * [backup-simplify]: Simplify (sinh c) into (sinh c) 12.692 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 12.692 * [taylor]: Taking taylor expansion of (sinh c) in c 12.692 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 12.692 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 12.692 * [taylor]: Taking taylor expansion of (exp c) in c 12.692 * [taylor]: Taking taylor expansion of c in c 12.692 * [backup-simplify]: Simplify 0 into 0 12.692 * [backup-simplify]: Simplify 1 into 1 12.692 * [backup-simplify]: Simplify (exp 0) into 1 12.692 * [taylor]: Taking taylor expansion of (exp (- c)) in c 12.692 * [taylor]: Taking taylor expansion of (- c) in c 12.692 * [taylor]: Taking taylor expansion of c in c 12.692 * [backup-simplify]: Simplify 0 into 0 12.692 * [backup-simplify]: Simplify 1 into 1 12.692 * [backup-simplify]: Simplify (- 0) into 0 12.693 * [backup-simplify]: Simplify (- 1) into -1 12.693 * [backup-simplify]: Simplify (exp 0) into 1 12.693 * [taylor]: Taking taylor expansion of 2 in c 12.693 * [backup-simplify]: Simplify 2 into 2 12.693 * [backup-simplify]: Simplify (- 1) into -1 12.693 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.694 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.694 * [backup-simplify]: Simplify (- 1) into -1 12.695 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.695 * [backup-simplify]: Simplify (- -1) into 1 12.695 * [backup-simplify]: Simplify (+ 1 1) into 2 12.695 * [backup-simplify]: Simplify (/ 2 2) into 1 12.695 * [taylor]: Taking taylor expansion of (sinh c) in c 12.695 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 12.695 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 12.695 * [taylor]: Taking taylor expansion of (exp c) in c 12.695 * [taylor]: Taking taylor expansion of c in c 12.695 * [backup-simplify]: Simplify 0 into 0 12.695 * [backup-simplify]: Simplify 1 into 1 12.695 * [backup-simplify]: Simplify (exp 0) into 1 12.695 * [taylor]: Taking taylor expansion of (exp (- c)) in c 12.695 * [taylor]: Taking taylor expansion of (- c) in c 12.695 * [taylor]: Taking taylor expansion of c in c 12.695 * [backup-simplify]: Simplify 0 into 0 12.696 * [backup-simplify]: Simplify 1 into 1 12.696 * [backup-simplify]: Simplify (- 0) into 0 12.696 * [backup-simplify]: Simplify (- 1) into -1 12.696 * [backup-simplify]: Simplify (exp 0) into 1 12.696 * [taylor]: Taking taylor expansion of 2 in c 12.696 * [backup-simplify]: Simplify 2 into 2 12.696 * [backup-simplify]: Simplify (- 1) into -1 12.696 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.697 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.697 * [backup-simplify]: Simplify (- 1) into -1 12.698 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.698 * [backup-simplify]: Simplify (- -1) into 1 12.698 * [backup-simplify]: Simplify (+ 1 1) into 2 12.699 * [backup-simplify]: Simplify (/ 2 2) into 1 12.699 * [backup-simplify]: Simplify 1 into 1 12.700 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.700 * [backup-simplify]: Simplify (- 1) into -1 12.700 * [backup-simplify]: Simplify (- 0) into 0 12.701 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.701 * [backup-simplify]: Simplify (- 1/2) into -1/2 12.702 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 12.702 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 12.702 * [backup-simplify]: Simplify 0 into 0 12.703 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 12.703 * [backup-simplify]: Simplify (- 1) into -1 12.704 * [backup-simplify]: Simplify (- 1) into -1 12.704 * [backup-simplify]: Simplify (- 0) into 0 12.704 * [backup-simplify]: Simplify (- 0) into 0 12.705 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 12.706 * [backup-simplify]: Simplify (- -1/6) into 1/6 12.706 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 12.707 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 12.707 * [backup-simplify]: Simplify 1/6 into 1/6 12.709 * [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 12.709 * [backup-simplify]: Simplify (- 1) into -1 12.709 * [backup-simplify]: Simplify (- 1) into -1 12.709 * [backup-simplify]: Simplify (- 0) into 0 12.710 * [backup-simplify]: Simplify (- 1) into -1 12.710 * [backup-simplify]: Simplify (- 0) into 0 12.710 * [backup-simplify]: Simplify (- 0) into 0 12.710 * [backup-simplify]: Simplify (- 0) into 0 12.713 * [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 12.713 * [backup-simplify]: Simplify (- 1/24) into -1/24 12.713 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 12.714 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 12.714 * [backup-simplify]: Simplify 0 into 0 12.717 * [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 12.717 * [backup-simplify]: Simplify (- 1) into -1 12.718 * [backup-simplify]: Simplify (- 1) into -1 12.718 * [backup-simplify]: Simplify (- 0) into 0 12.718 * [backup-simplify]: Simplify (- 1) into -1 12.718 * [backup-simplify]: Simplify (- 0) into 0 12.719 * [backup-simplify]: Simplify (- 1) into -1 12.719 * [backup-simplify]: Simplify (- 0) into 0 12.719 * [backup-simplify]: Simplify (- 1) into -1 12.719 * [backup-simplify]: Simplify (- 0) into 0 12.720 * [backup-simplify]: Simplify (- 0) into 0 12.720 * [backup-simplify]: Simplify (- 0) into 0 12.720 * [backup-simplify]: Simplify (- 0) into 0 12.726 * [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 12.726 * [backup-simplify]: Simplify (- -1/120) into 1/120 12.727 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 12.728 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 12.728 * [backup-simplify]: Simplify 1/120 into 1/120 12.729 * [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)) 12.729 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 12.729 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 12.729 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 12.729 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 12.729 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 12.729 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 12.729 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.729 * [taylor]: Taking taylor expansion of c in c 12.729 * [backup-simplify]: Simplify 0 into 0 12.729 * [backup-simplify]: Simplify 1 into 1 12.730 * [backup-simplify]: Simplify (/ 1 1) into 1 12.730 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 12.730 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 12.730 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 12.730 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.730 * [taylor]: Taking taylor expansion of c in c 12.730 * [backup-simplify]: Simplify 0 into 0 12.730 * [backup-simplify]: Simplify 1 into 1 12.730 * [backup-simplify]: Simplify (/ 1 1) into 1 12.731 * [backup-simplify]: Simplify (- 1) into -1 12.731 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 12.731 * [taylor]: Taking taylor expansion of 2 in c 12.731 * [backup-simplify]: Simplify 2 into 2 12.731 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 12.731 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 12.731 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 12.731 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 12.732 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 12.732 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 12.732 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 12.732 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.732 * [taylor]: Taking taylor expansion of c in c 12.732 * [backup-simplify]: Simplify 0 into 0 12.732 * [backup-simplify]: Simplify 1 into 1 12.732 * [backup-simplify]: Simplify (/ 1 1) into 1 12.732 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 12.732 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 12.732 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 12.732 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.732 * [taylor]: Taking taylor expansion of c in c 12.732 * [backup-simplify]: Simplify 0 into 0 12.732 * [backup-simplify]: Simplify 1 into 1 12.733 * [backup-simplify]: Simplify (/ 1 1) into 1 12.733 * [backup-simplify]: Simplify (- 1) into -1 12.733 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 12.733 * [taylor]: Taking taylor expansion of 2 in c 12.733 * [backup-simplify]: Simplify 2 into 2 12.733 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 12.733 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 12.734 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 12.734 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 12.734 * [backup-simplify]: Simplify (- 0) into 0 12.735 * [backup-simplify]: Simplify (+ 0 0) into 0 12.736 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 12.736 * [backup-simplify]: Simplify 0 into 0 12.736 * [backup-simplify]: Simplify (- 0) into 0 12.736 * [backup-simplify]: Simplify (+ 0 0) into 0 12.738 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.738 * [backup-simplify]: Simplify 0 into 0 12.738 * [backup-simplify]: Simplify (- 0) into 0 12.738 * [backup-simplify]: Simplify (+ 0 0) into 0 12.741 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.741 * [backup-simplify]: Simplify 0 into 0 12.742 * [backup-simplify]: Simplify (- 0) into 0 12.742 * [backup-simplify]: Simplify (+ 0 0) into 0 12.744 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.744 * [backup-simplify]: Simplify 0 into 0 12.745 * [backup-simplify]: Simplify (- 0) into 0 12.745 * [backup-simplify]: Simplify (+ 0 0) into 0 12.748 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.748 * [backup-simplify]: Simplify 0 into 0 12.748 * [backup-simplify]: Simplify (- 0) into 0 12.749 * [backup-simplify]: Simplify (+ 0 0) into 0 12.752 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.752 * [backup-simplify]: Simplify 0 into 0 12.752 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 12.752 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 12.752 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 12.753 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 12.753 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 12.753 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 12.753 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 12.753 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.753 * [taylor]: Taking taylor expansion of -1 in c 12.753 * [backup-simplify]: Simplify -1 into -1 12.753 * [taylor]: Taking taylor expansion of c in c 12.753 * [backup-simplify]: Simplify 0 into 0 12.753 * [backup-simplify]: Simplify 1 into 1 12.753 * [backup-simplify]: Simplify (/ -1 1) into -1 12.753 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 12.753 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 12.753 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 12.753 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.753 * [taylor]: Taking taylor expansion of -1 in c 12.753 * [backup-simplify]: Simplify -1 into -1 12.754 * [taylor]: Taking taylor expansion of c in c 12.754 * [backup-simplify]: Simplify 0 into 0 12.754 * [backup-simplify]: Simplify 1 into 1 12.754 * [backup-simplify]: Simplify (/ -1 1) into -1 12.754 * [backup-simplify]: Simplify (- -1) into 1 12.754 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 12.754 * [taylor]: Taking taylor expansion of 2 in c 12.754 * [backup-simplify]: Simplify 2 into 2 12.755 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 12.755 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 12.755 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 12.755 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 12.755 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 12.755 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 12.755 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 12.755 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.755 * [taylor]: Taking taylor expansion of -1 in c 12.755 * [backup-simplify]: Simplify -1 into -1 12.755 * [taylor]: Taking taylor expansion of c in c 12.755 * [backup-simplify]: Simplify 0 into 0 12.755 * [backup-simplify]: Simplify 1 into 1 12.756 * [backup-simplify]: Simplify (/ -1 1) into -1 12.756 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 12.756 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 12.756 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 12.756 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.756 * [taylor]: Taking taylor expansion of -1 in c 12.756 * [backup-simplify]: Simplify -1 into -1 12.756 * [taylor]: Taking taylor expansion of c in c 12.756 * [backup-simplify]: Simplify 0 into 0 12.756 * [backup-simplify]: Simplify 1 into 1 12.756 * [backup-simplify]: Simplify (/ -1 1) into -1 12.757 * [backup-simplify]: Simplify (- -1) into 1 12.757 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 12.757 * [taylor]: Taking taylor expansion of 2 in c 12.757 * [backup-simplify]: Simplify 2 into 2 12.757 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 12.757 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 12.757 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 12.758 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 12.762 * [backup-simplify]: Simplify (- 0) into 0 12.762 * [backup-simplify]: Simplify (+ 0 0) into 0 12.764 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 12.764 * [backup-simplify]: Simplify 0 into 0 12.764 * [backup-simplify]: Simplify (- 0) into 0 12.764 * [backup-simplify]: Simplify (+ 0 0) into 0 12.766 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.766 * [backup-simplify]: Simplify 0 into 0 12.766 * [backup-simplify]: Simplify (- 0) into 0 12.767 * [backup-simplify]: Simplify (+ 0 0) into 0 12.769 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.769 * [backup-simplify]: Simplify 0 into 0 12.769 * [backup-simplify]: Simplify (- 0) into 0 12.770 * [backup-simplify]: Simplify (+ 0 0) into 0 12.772 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.772 * [backup-simplify]: Simplify 0 into 0 12.772 * [backup-simplify]: Simplify (- 0) into 0 12.773 * [backup-simplify]: Simplify (+ 0 0) into 0 12.776 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.776 * [backup-simplify]: Simplify 0 into 0 12.776 * [backup-simplify]: Simplify (- 0) into 0 12.776 * [backup-simplify]: Simplify (+ 0 0) into 0 12.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)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.780 * [backup-simplify]: Simplify 0 into 0 12.781 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 12.781 * * * [progress]: simplifying candidates 12.782 * [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)))) 12.784 * * [simplify]: Extracting # 0 : cost 0 12.784 * * [simplify]: Extracting # 1 : cost 0 12.784 * * [simplify]: Extracting # 2 : cost 0 12.785 * * [simplify]: Extracting # 3 : cost 0 12.785 * * [simplify]: Extracting # 4 : cost 0 12.785 * * [simplify]: Extracting # 5 : cost 0 12.785 * * [simplify]: Extracting # 6 : cost 0 12.785 * * [simplify]: Extracting # 7 : cost 0 12.786 * * [simplify]: Extracting # 8 : cost 0 12.786 * * [simplify]: iteration 0 : 84 enodes (cost 523 ) 12.823 * * [simplify]: Extracting # 0 : cost 0 12.824 * * [simplify]: Extracting # 1 : cost 0 12.824 * * [simplify]: Extracting # 2 : cost 0 12.824 * * [simplify]: Extracting # 3 : cost 0 12.824 * * [simplify]: Extracting # 4 : cost 0 12.824 * * [simplify]: iteration 1 : 177 enodes (cost 377 ) 12.895 * * [simplify]: Extracting # 0 : cost 0 12.896 * * [simplify]: Extracting # 1 : cost 0 12.897 * * [simplify]: Extracting # 2 : cost 0 12.898 * * [simplify]: Extracting # 3 : cost 0 12.899 * * [simplify]: Extracting # 4 : cost 0 12.899 * * [simplify]: iteration 2 : 453 enodes (cost 362 ) 13.646 * * [simplify]: Extracting # 0 : cost 0 13.648 * * [simplify]: Extracting # 1 : cost 0 13.654 * * [simplify]: Extracting # 2 : cost 0 13.657 * * [simplify]: Extracting # 3 : cost 0 13.662 * * [simplify]: Extracting # 4 : cost 0 13.666 * * [simplify]: Extracting # 5 : cost 0 13.671 * * [simplify]: iteration 3 : 2640 enodes (cost 354 ) 15.472 * * [simplify]: Extracting # 0 : cost 0 15.482 * * [simplify]: Extracting # 1 : cost 0 15.496 * * [simplify]: Extracting # 2 : cost 0 15.505 * * [simplify]: Extracting # 3 : cost 0 15.511 * * [simplify]: Extracting # 4 : cost 0 15.517 * * [simplify]: iteration done: 5001 enodes (cost 354 ) 15.521 * [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) 15.521 * * * [progress]: adding candidates to table 15.755 * [progress]: [Phase 3 of 3] Extracting. 15.755 * * [regime]: Finding splitpoints for: (# # #) 15.755 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c) 15.755 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (# # #) 15.783 * * * * [regimes]: Trying to branch on c from (# # #) 15.797 * * * [regime]: Found split indices: #