31.805 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.191 * * * [progress]: [2/2] Setting up program. 0.193 * [progress]: [Phase 2 of 3] Improving. 0.194 * [simplify]: Simplifying: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 0.194 * * [simplify]: Extracting # 0 : cost 0 0.194 * * [simplify]: Extracting # 1 : cost 0 0.194 * * [simplify]: Extracting # 2 : cost 0 0.194 * * [simplify]: Extracting # 3 : cost 0 0.194 * * [simplify]: Extracting # 4 : cost 0 0.194 * * [simplify]: Extracting # 5 : cost 0 0.194 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.196 * * [simplify]: Extracting # 0 : cost 0 0.196 * * [simplify]: Extracting # 1 : cost 0 0.196 * * [simplify]: Extracting # 2 : cost 0 0.196 * * [simplify]: Extracting # 3 : cost 0 0.196 * * [simplify]: Extracting # 4 : cost 0 0.196 * * [simplify]: Extracting # 5 : cost 0 0.196 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 0.199 * * [simplify]: Extracting # 0 : cost 0 0.199 * * [simplify]: Extracting # 1 : cost 0 0.199 * * [simplify]: Extracting # 2 : cost 0 0.199 * * [simplify]: Extracting # 3 : cost 0 0.199 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 0.206 * * [simplify]: Extracting # 0 : cost 0 0.206 * * [simplify]: Extracting # 1 : cost 0 0.206 * * [simplify]: Extracting # 2 : cost 0 0.206 * * [simplify]: Extracting # 3 : cost 0 0.206 * * [simplify]: Extracting # 4 : cost 0 0.206 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 0.230 * * [simplify]: Extracting # 0 : cost 0 0.231 * * [simplify]: Extracting # 1 : cost 0 0.231 * * [simplify]: Extracting # 2 : cost 0 0.231 * * [simplify]: Extracting # 3 : cost 0 0.232 * * [simplify]: Extracting # 4 : cost 0 0.232 * * [simplify]: iteration 4 : 151 enodes (cost 8 ) 0.328 * * [simplify]: Extracting # 0 : cost 0 0.329 * * [simplify]: Extracting # 1 : cost 0 0.329 * * [simplify]: Extracting # 2 : cost 0 0.329 * * [simplify]: Extracting # 3 : cost 0 0.330 * * [simplify]: Extracting # 4 : cost 0 0.330 * * [simplify]: iteration 5 : 360 enodes (cost 8 ) 0.708 * * [simplify]: Extracting # 0 : cost 0 0.709 * * [simplify]: Extracting # 1 : cost 0 0.710 * * [simplify]: Extracting # 2 : cost 0 0.714 * * [simplify]: Extracting # 3 : cost 0 0.715 * * [simplify]: Extracting # 4 : cost 0 0.716 * * [simplify]: iteration 6 : 1154 enodes (cost 8 ) 4.023 * * [simplify]: Extracting # 0 : cost 0 4.031 * * [simplify]: Extracting # 1 : cost 0 4.034 * * [simplify]: Extracting # 2 : cost 0 4.037 * * [simplify]: Extracting # 3 : cost 0 4.040 * * [simplify]: Extracting # 4 : cost 0 4.043 * * [simplify]: iteration 7 : 4429 enodes (cost 8 ) 6.686 * * [simplify]: Extracting # 0 : cost 0 6.694 * * [simplify]: Extracting # 1 : cost 0 6.708 * * [simplify]: Extracting # 2 : cost 0 6.715 * * [simplify]: Extracting # 3 : cost 0 6.722 * * [simplify]: iteration done: 5001 enodes (cost 8 ) 6.722 * [simplify]: Simplified to: (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) 6.723 * * [progress]: iteration 1 / 4 6.723 * * * [progress]: picking best candidate 6.726 * * * * [pick]: Picked # 6.727 * * * [progress]: localizing error 6.744 * * * [progress]: generating rewritten candidates 6.744 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 6.747 * * * [progress]: generating series expansions 6.747 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 6.747 * [backup-simplify]: Simplify (sinh c) into (sinh c) 6.747 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 6.747 * [taylor]: Taking taylor expansion of (sinh c) in c 6.748 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 6.748 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 6.748 * [taylor]: Taking taylor expansion of (exp c) in c 6.748 * [taylor]: Taking taylor expansion of c in c 6.748 * [backup-simplify]: Simplify 0 into 0 6.748 * [backup-simplify]: Simplify 1 into 1 6.748 * [backup-simplify]: Simplify (exp 0) into 1 6.748 * [taylor]: Taking taylor expansion of (exp (- c)) in c 6.748 * [taylor]: Taking taylor expansion of (- c) in c 6.748 * [taylor]: Taking taylor expansion of c in c 6.748 * [backup-simplify]: Simplify 0 into 0 6.748 * [backup-simplify]: Simplify 1 into 1 6.749 * [backup-simplify]: Simplify (- 0) into 0 6.749 * [backup-simplify]: Simplify (- 1) into -1 6.749 * [backup-simplify]: Simplify (exp 0) into 1 6.749 * [taylor]: Taking taylor expansion of 2 in c 6.749 * [backup-simplify]: Simplify 2 into 2 6.749 * [backup-simplify]: Simplify (- 1) into -1 6.750 * [backup-simplify]: Simplify (+ 1 -1) into 0 6.751 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.751 * [backup-simplify]: Simplify (- 1) into -1 6.752 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 6.753 * [backup-simplify]: Simplify (- -1) into 1 6.753 * [backup-simplify]: Simplify (+ 1 1) into 2 6.754 * [backup-simplify]: Simplify (/ 2 2) into 1 6.754 * [taylor]: Taking taylor expansion of (sinh c) in c 6.754 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 6.754 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 6.754 * [taylor]: Taking taylor expansion of (exp c) in c 6.754 * [taylor]: Taking taylor expansion of c in c 6.754 * [backup-simplify]: Simplify 0 into 0 6.754 * [backup-simplify]: Simplify 1 into 1 6.754 * [backup-simplify]: Simplify (exp 0) into 1 6.754 * [taylor]: Taking taylor expansion of (exp (- c)) in c 6.754 * [taylor]: Taking taylor expansion of (- c) in c 6.754 * [taylor]: Taking taylor expansion of c in c 6.754 * [backup-simplify]: Simplify 0 into 0 6.754 * [backup-simplify]: Simplify 1 into 1 6.755 * [backup-simplify]: Simplify (- 0) into 0 6.755 * [backup-simplify]: Simplify (- 1) into -1 6.755 * [backup-simplify]: Simplify (exp 0) into 1 6.755 * [taylor]: Taking taylor expansion of 2 in c 6.755 * [backup-simplify]: Simplify 2 into 2 6.756 * [backup-simplify]: Simplify (- 1) into -1 6.756 * [backup-simplify]: Simplify (+ 1 -1) into 0 6.757 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.757 * [backup-simplify]: Simplify (- 1) into -1 6.759 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 6.759 * [backup-simplify]: Simplify (- -1) into 1 6.759 * [backup-simplify]: Simplify (+ 1 1) into 2 6.760 * [backup-simplify]: Simplify (/ 2 2) into 1 6.760 * [backup-simplify]: Simplify 1 into 1 6.762 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.762 * [backup-simplify]: Simplify (- 1) into -1 6.762 * [backup-simplify]: Simplify (- 0) into 0 6.764 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.765 * [backup-simplify]: Simplify (- 1/2) into -1/2 6.765 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 6.766 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 6.766 * [backup-simplify]: Simplify 0 into 0 6.768 * [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.769 * [backup-simplify]: Simplify (- 1) into -1 6.769 * [backup-simplify]: Simplify (- 1) into -1 6.770 * [backup-simplify]: Simplify (- 0) into 0 6.770 * [backup-simplify]: Simplify (- 0) into 0 6.773 * [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.773 * [backup-simplify]: Simplify (- -1/6) into 1/6 6.773 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 6.775 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 6.775 * [backup-simplify]: Simplify 1/6 into 1/6 6.779 * [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.779 * [backup-simplify]: Simplify (- 1) into -1 6.780 * [backup-simplify]: Simplify (- 1) into -1 6.780 * [backup-simplify]: Simplify (- 0) into 0 6.780 * [backup-simplify]: Simplify (- 1) into -1 6.781 * [backup-simplify]: Simplify (- 0) into 0 6.781 * [backup-simplify]: Simplify (- 0) into 0 6.782 * [backup-simplify]: Simplify (- 0) into 0 6.786 * [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.786 * [backup-simplify]: Simplify (- 1/24) into -1/24 6.787 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 6.788 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 6.788 * [backup-simplify]: Simplify 0 into 0 6.794 * [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.794 * [backup-simplify]: Simplify (- 1) into -1 6.795 * [backup-simplify]: Simplify (- 1) into -1 6.795 * [backup-simplify]: Simplify (- 0) into 0 6.795 * [backup-simplify]: Simplify (- 1) into -1 6.796 * [backup-simplify]: Simplify (- 0) into 0 6.796 * [backup-simplify]: Simplify (- 1) into -1 6.796 * [backup-simplify]: Simplify (- 0) into 0 6.797 * [backup-simplify]: Simplify (- 1) into -1 6.797 * [backup-simplify]: Simplify (- 0) into 0 6.797 * [backup-simplify]: Simplify (- 0) into 0 6.798 * [backup-simplify]: Simplify (- 0) into 0 6.798 * [backup-simplify]: Simplify (- 0) into 0 6.805 * [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.805 * [backup-simplify]: Simplify (- -1/120) into 1/120 6.806 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 6.807 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 6.807 * [backup-simplify]: Simplify 1/120 into 1/120 6.808 * [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.808 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 6.808 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 6.808 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 6.808 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 6.808 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 6.808 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 6.808 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.808 * [taylor]: Taking taylor expansion of c in c 6.808 * [backup-simplify]: Simplify 0 into 0 6.809 * [backup-simplify]: Simplify 1 into 1 6.809 * [backup-simplify]: Simplify (/ 1 1) into 1 6.809 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 6.809 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 6.809 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 6.809 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.809 * [taylor]: Taking taylor expansion of c in c 6.809 * [backup-simplify]: Simplify 0 into 0 6.809 * [backup-simplify]: Simplify 1 into 1 6.810 * [backup-simplify]: Simplify (/ 1 1) into 1 6.810 * [backup-simplify]: Simplify (- 1) into -1 6.810 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 6.810 * [taylor]: Taking taylor expansion of 2 in c 6.810 * [backup-simplify]: Simplify 2 into 2 6.810 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 6.810 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 6.811 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 6.811 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 6.811 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 6.811 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 6.811 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 6.811 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.811 * [taylor]: Taking taylor expansion of c in c 6.811 * [backup-simplify]: Simplify 0 into 0 6.811 * [backup-simplify]: Simplify 1 into 1 6.811 * [backup-simplify]: Simplify (/ 1 1) into 1 6.812 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 6.812 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 6.812 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 6.812 * [taylor]: Taking taylor expansion of (/ 1 c) in c 6.812 * [taylor]: Taking taylor expansion of c in c 6.812 * [backup-simplify]: Simplify 0 into 0 6.812 * [backup-simplify]: Simplify 1 into 1 6.812 * [backup-simplify]: Simplify (/ 1 1) into 1 6.813 * [backup-simplify]: Simplify (- 1) into -1 6.813 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 6.813 * [taylor]: Taking taylor expansion of 2 in c 6.813 * [backup-simplify]: Simplify 2 into 2 6.813 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 6.813 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 6.813 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 6.814 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 6.814 * [backup-simplify]: Simplify (- 0) into 0 6.814 * [backup-simplify]: Simplify (+ 0 0) into 0 6.815 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 6.815 * [backup-simplify]: Simplify 0 into 0 6.816 * [backup-simplify]: Simplify (- 0) into 0 6.816 * [backup-simplify]: Simplify (+ 0 0) into 0 6.818 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 6.818 * [backup-simplify]: Simplify 0 into 0 6.818 * [backup-simplify]: Simplify (- 0) into 0 6.819 * [backup-simplify]: Simplify (+ 0 0) into 0 6.821 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 6.821 * [backup-simplify]: Simplify 0 into 0 6.821 * [backup-simplify]: Simplify (- 0) into 0 6.821 * [backup-simplify]: Simplify (+ 0 0) into 0 6.824 * [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.824 * [backup-simplify]: Simplify 0 into 0 6.824 * [backup-simplify]: Simplify (- 0) into 0 6.825 * [backup-simplify]: Simplify (+ 0 0) into 0 6.828 * [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.828 * [backup-simplify]: Simplify 0 into 0 6.828 * [backup-simplify]: Simplify (- 0) into 0 6.829 * [backup-simplify]: Simplify (+ 0 0) into 0 6.832 * [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.832 * [backup-simplify]: Simplify 0 into 0 6.832 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 6.833 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 6.833 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 6.833 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 6.833 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 6.833 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 6.833 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 6.833 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.833 * [taylor]: Taking taylor expansion of -1 in c 6.833 * [backup-simplify]: Simplify -1 into -1 6.833 * [taylor]: Taking taylor expansion of c in c 6.833 * [backup-simplify]: Simplify 0 into 0 6.833 * [backup-simplify]: Simplify 1 into 1 6.833 * [backup-simplify]: Simplify (/ -1 1) into -1 6.834 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 6.834 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 6.834 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 6.834 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.834 * [taylor]: Taking taylor expansion of -1 in c 6.834 * [backup-simplify]: Simplify -1 into -1 6.834 * [taylor]: Taking taylor expansion of c in c 6.834 * [backup-simplify]: Simplify 0 into 0 6.834 * [backup-simplify]: Simplify 1 into 1 6.834 * [backup-simplify]: Simplify (/ -1 1) into -1 6.835 * [backup-simplify]: Simplify (- -1) into 1 6.835 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 6.835 * [taylor]: Taking taylor expansion of 2 in c 6.835 * [backup-simplify]: Simplify 2 into 2 6.835 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 6.835 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 6.835 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 6.835 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 6.835 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 6.835 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 6.835 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 6.835 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.835 * [taylor]: Taking taylor expansion of -1 in c 6.835 * [backup-simplify]: Simplify -1 into -1 6.835 * [taylor]: Taking taylor expansion of c in c 6.835 * [backup-simplify]: Simplify 0 into 0 6.835 * [backup-simplify]: Simplify 1 into 1 6.836 * [backup-simplify]: Simplify (/ -1 1) into -1 6.836 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 6.836 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 6.836 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 6.836 * [taylor]: Taking taylor expansion of (/ -1 c) in c 6.836 * [taylor]: Taking taylor expansion of -1 in c 6.836 * [backup-simplify]: Simplify -1 into -1 6.836 * [taylor]: Taking taylor expansion of c in c 6.836 * [backup-simplify]: Simplify 0 into 0 6.836 * [backup-simplify]: Simplify 1 into 1 6.836 * [backup-simplify]: Simplify (/ -1 1) into -1 6.836 * [backup-simplify]: Simplify (- -1) into 1 6.836 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 6.836 * [taylor]: Taking taylor expansion of 2 in c 6.836 * [backup-simplify]: Simplify 2 into 2 6.836 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 6.837 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 6.837 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 6.837 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 6.841 * [backup-simplify]: Simplify (- 0) into 0 6.842 * [backup-simplify]: Simplify (+ 0 0) into 0 6.843 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 6.843 * [backup-simplify]: Simplify 0 into 0 6.843 * [backup-simplify]: Simplify (- 0) into 0 6.843 * [backup-simplify]: Simplify (+ 0 0) into 0 6.844 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 6.844 * [backup-simplify]: Simplify 0 into 0 6.844 * [backup-simplify]: Simplify (- 0) into 0 6.845 * [backup-simplify]: Simplify (+ 0 0) into 0 6.846 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 6.846 * [backup-simplify]: Simplify 0 into 0 6.846 * [backup-simplify]: Simplify (- 0) into 0 6.846 * [backup-simplify]: Simplify (+ 0 0) into 0 6.848 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 6.848 * [backup-simplify]: Simplify 0 into 0 6.848 * [backup-simplify]: Simplify (- 0) into 0 6.848 * [backup-simplify]: Simplify (+ 0 0) into 0 6.850 * [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.850 * [backup-simplify]: Simplify 0 into 0 6.850 * [backup-simplify]: Simplify (- 0) into 0 6.850 * [backup-simplify]: Simplify (+ 0 0) into 0 6.852 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 6.852 * [backup-simplify]: Simplify 0 into 0 6.853 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 6.853 * * * [progress]: simplifying candidates 6.853 * [simplify]: Simplifying: (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) 6.853 * * [simplify]: Extracting # 0 : cost 0 6.853 * * [simplify]: Extracting # 1 : cost 0 6.854 * * [simplify]: Extracting # 2 : cost 0 6.854 * * [simplify]: Extracting # 3 : cost 0 6.854 * * [simplify]: Extracting # 4 : cost 0 6.854 * * [simplify]: Extracting # 5 : cost 0 6.854 * * [simplify]: Extracting # 6 : cost 0 6.854 * * [simplify]: Extracting # 7 : cost 0 6.854 * * [simplify]: Extracting # 8 : cost 0 6.854 * * [simplify]: iteration 0 : 32 enodes (cost 72 ) 6.860 * * [simplify]: Extracting # 0 : cost 0 6.860 * * [simplify]: Extracting # 1 : cost 0 6.860 * * [simplify]: Extracting # 2 : cost 0 6.860 * * [simplify]: Extracting # 3 : cost 0 6.860 * * [simplify]: Extracting # 4 : cost 0 6.860 * * [simplify]: iteration 1 : 62 enodes (cost 69 ) 6.877 * * [simplify]: Extracting # 0 : cost 0 6.877 * * [simplify]: Extracting # 1 : cost 0 6.877 * * [simplify]: Extracting # 2 : cost 0 6.878 * * [simplify]: Extracting # 3 : cost 0 6.878 * * [simplify]: iteration 2 : 133 enodes (cost 65 ) 6.936 * * [simplify]: Extracting # 0 : cost 0 6.937 * * [simplify]: Extracting # 1 : cost 0 6.937 * * [simplify]: Extracting # 2 : cost 0 6.938 * * [simplify]: Extracting # 3 : cost 0 6.938 * * [simplify]: iteration 3 : 289 enodes (cost 65 ) 7.039 * * [simplify]: Extracting # 0 : cost 0 7.040 * * [simplify]: Extracting # 1 : cost 0 7.042 * * [simplify]: Extracting # 2 : cost 0 7.043 * * [simplify]: Extracting # 3 : cost 0 7.044 * * [simplify]: Extracting # 4 : cost 0 7.045 * * [simplify]: iteration 4 : 679 enodes (cost 65 ) 7.534 * * [simplify]: Extracting # 0 : cost 0 7.538 * * [simplify]: Extracting # 1 : cost 0 7.540 * * [simplify]: Extracting # 2 : cost 0 7.543 * * [simplify]: Extracting # 3 : cost 0 7.546 * * [simplify]: Extracting # 4 : cost 0 7.548 * * [simplify]: iteration 5 : 2680 enodes (cost 65 ) 9.089 * * [simplify]: Extracting # 0 : cost 0 9.100 * * [simplify]: Extracting # 1 : cost 0 9.112 * * [simplify]: Extracting # 2 : cost 0 9.118 * * [simplify]: Extracting # 3 : cost 0 9.124 * * [simplify]: Extracting # 4 : cost 0 9.132 * * [simplify]: iteration done: 5000 enodes (cost 65 ) 9.132 * [simplify]: Simplified to: (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (- c)))) 9.132 * * * [progress]: adding candidates to table 9.197 * * [progress]: iteration 2 / 4 9.197 * * * [progress]: picking best candidate 9.213 * * * * [pick]: Picked # 9.213 * * * [progress]: localizing error 9.237 * * * [progress]: generating rewritten candidates 9.237 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1) 9.240 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 9.240 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 9.242 * * * [progress]: generating series expansions 9.242 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1) 9.242 * [backup-simplify]: Simplify (sinh c) into (sinh c) 9.242 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 9.242 * [taylor]: Taking taylor expansion of (sinh c) in c 9.242 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 9.242 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 9.242 * [taylor]: Taking taylor expansion of (exp c) in c 9.242 * [taylor]: Taking taylor expansion of c in c 9.242 * [backup-simplify]: Simplify 0 into 0 9.242 * [backup-simplify]: Simplify 1 into 1 9.243 * [backup-simplify]: Simplify (exp 0) into 1 9.243 * [taylor]: Taking taylor expansion of (exp (- c)) in c 9.243 * [taylor]: Taking taylor expansion of (- c) in c 9.243 * [taylor]: Taking taylor expansion of c in c 9.243 * [backup-simplify]: Simplify 0 into 0 9.243 * [backup-simplify]: Simplify 1 into 1 9.243 * [backup-simplify]: Simplify (- 0) into 0 9.243 * [backup-simplify]: Simplify (- 1) into -1 9.243 * [backup-simplify]: Simplify (exp 0) into 1 9.243 * [taylor]: Taking taylor expansion of 2 in c 9.243 * [backup-simplify]: Simplify 2 into 2 9.244 * [backup-simplify]: Simplify (- 1) into -1 9.244 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.245 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.245 * [backup-simplify]: Simplify (- 1) into -1 9.245 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 9.246 * [backup-simplify]: Simplify (- -1) into 1 9.246 * [backup-simplify]: Simplify (+ 1 1) into 2 9.246 * [backup-simplify]: Simplify (/ 2 2) into 1 9.246 * [taylor]: Taking taylor expansion of (sinh c) in c 9.246 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 9.246 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 9.246 * [taylor]: Taking taylor expansion of (exp c) in c 9.246 * [taylor]: Taking taylor expansion of c in c 9.246 * [backup-simplify]: Simplify 0 into 0 9.246 * [backup-simplify]: Simplify 1 into 1 9.246 * [backup-simplify]: Simplify (exp 0) into 1 9.246 * [taylor]: Taking taylor expansion of (exp (- c)) in c 9.246 * [taylor]: Taking taylor expansion of (- c) in c 9.246 * [taylor]: Taking taylor expansion of c in c 9.246 * [backup-simplify]: Simplify 0 into 0 9.246 * [backup-simplify]: Simplify 1 into 1 9.247 * [backup-simplify]: Simplify (- 0) into 0 9.247 * [backup-simplify]: Simplify (- 1) into -1 9.247 * [backup-simplify]: Simplify (exp 0) into 1 9.247 * [taylor]: Taking taylor expansion of 2 in c 9.247 * [backup-simplify]: Simplify 2 into 2 9.247 * [backup-simplify]: Simplify (- 1) into -1 9.248 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.248 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.248 * [backup-simplify]: Simplify (- 1) into -1 9.249 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 9.249 * [backup-simplify]: Simplify (- -1) into 1 9.249 * [backup-simplify]: Simplify (+ 1 1) into 2 9.250 * [backup-simplify]: Simplify (/ 2 2) into 1 9.250 * [backup-simplify]: Simplify 1 into 1 9.251 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.256 * [backup-simplify]: Simplify (- 1) into -1 9.256 * [backup-simplify]: Simplify (- 0) into 0 9.257 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.257 * [backup-simplify]: Simplify (- 1/2) into -1/2 9.257 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 9.258 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 9.258 * [backup-simplify]: Simplify 0 into 0 9.259 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 9.260 * [backup-simplify]: Simplify (- 1) into -1 9.260 * [backup-simplify]: Simplify (- 1) into -1 9.260 * [backup-simplify]: Simplify (- 0) into 0 9.260 * [backup-simplify]: Simplify (- 0) into 0 9.262 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 9.262 * [backup-simplify]: Simplify (- -1/6) into 1/6 9.262 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 9.263 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 9.263 * [backup-simplify]: Simplify 1/6 into 1/6 9.265 * [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 9.266 * [backup-simplify]: Simplify (- 1) into -1 9.266 * [backup-simplify]: Simplify (- 1) into -1 9.266 * [backup-simplify]: Simplify (- 0) into 0 9.266 * [backup-simplify]: Simplify (- 1) into -1 9.266 * [backup-simplify]: Simplify (- 0) into 0 9.267 * [backup-simplify]: Simplify (- 0) into 0 9.267 * [backup-simplify]: Simplify (- 0) into 0 9.270 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 9.270 * [backup-simplify]: Simplify (- 1/24) into -1/24 9.270 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 9.271 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 9.271 * [backup-simplify]: Simplify 0 into 0 9.274 * [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 9.275 * [backup-simplify]: Simplify (- 1) into -1 9.275 * [backup-simplify]: Simplify (- 1) into -1 9.275 * [backup-simplify]: Simplify (- 0) into 0 9.276 * [backup-simplify]: Simplify (- 1) into -1 9.276 * [backup-simplify]: Simplify (- 0) into 0 9.276 * [backup-simplify]: Simplify (- 1) into -1 9.277 * [backup-simplify]: Simplify (- 0) into 0 9.277 * [backup-simplify]: Simplify (- 1) into -1 9.277 * [backup-simplify]: Simplify (- 0) into 0 9.278 * [backup-simplify]: Simplify (- 0) into 0 9.278 * [backup-simplify]: Simplify (- 0) into 0 9.278 * [backup-simplify]: Simplify (- 0) into 0 9.284 * [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 9.285 * [backup-simplify]: Simplify (- -1/120) into 1/120 9.285 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 9.287 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 9.287 * [backup-simplify]: Simplify 1/120 into 1/120 9.287 * [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)) 9.287 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 9.287 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 9.287 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 9.287 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 9.287 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 9.287 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 9.287 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.287 * [taylor]: Taking taylor expansion of c in c 9.287 * [backup-simplify]: Simplify 0 into 0 9.288 * [backup-simplify]: Simplify 1 into 1 9.288 * [backup-simplify]: Simplify (/ 1 1) into 1 9.288 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 9.288 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 9.288 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 9.288 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.288 * [taylor]: Taking taylor expansion of c in c 9.288 * [backup-simplify]: Simplify 0 into 0 9.288 * [backup-simplify]: Simplify 1 into 1 9.288 * [backup-simplify]: Simplify (/ 1 1) into 1 9.288 * [backup-simplify]: Simplify (- 1) into -1 9.288 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 9.289 * [taylor]: Taking taylor expansion of 2 in c 9.289 * [backup-simplify]: Simplify 2 into 2 9.289 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 9.289 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 9.289 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 9.289 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 9.289 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 9.289 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 9.289 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 9.289 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.289 * [taylor]: Taking taylor expansion of c in c 9.289 * [backup-simplify]: Simplify 0 into 0 9.289 * [backup-simplify]: Simplify 1 into 1 9.289 * [backup-simplify]: Simplify (/ 1 1) into 1 9.289 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 9.289 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 9.289 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 9.289 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.289 * [taylor]: Taking taylor expansion of c in c 9.289 * [backup-simplify]: Simplify 0 into 0 9.289 * [backup-simplify]: Simplify 1 into 1 9.290 * [backup-simplify]: Simplify (/ 1 1) into 1 9.290 * [backup-simplify]: Simplify (- 1) into -1 9.290 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 9.290 * [taylor]: Taking taylor expansion of 2 in c 9.290 * [backup-simplify]: Simplify 2 into 2 9.290 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 9.290 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 9.290 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 9.290 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 9.291 * [backup-simplify]: Simplify (- 0) into 0 9.291 * [backup-simplify]: Simplify (+ 0 0) into 0 9.292 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 9.292 * [backup-simplify]: Simplify 0 into 0 9.292 * [backup-simplify]: Simplify (- 0) into 0 9.292 * [backup-simplify]: Simplify (+ 0 0) into 0 9.293 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.293 * [backup-simplify]: Simplify 0 into 0 9.293 * [backup-simplify]: Simplify (- 0) into 0 9.293 * [backup-simplify]: Simplify (+ 0 0) into 0 9.295 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.295 * [backup-simplify]: Simplify 0 into 0 9.295 * [backup-simplify]: Simplify (- 0) into 0 9.295 * [backup-simplify]: Simplify (+ 0 0) into 0 9.297 * [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 9.297 * [backup-simplify]: Simplify 0 into 0 9.297 * [backup-simplify]: Simplify (- 0) into 0 9.297 * [backup-simplify]: Simplify (+ 0 0) into 0 9.299 * [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 9.299 * [backup-simplify]: Simplify 0 into 0 9.299 * [backup-simplify]: Simplify (- 0) into 0 9.299 * [backup-simplify]: Simplify (+ 0 0) into 0 9.301 * [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 9.302 * [backup-simplify]: Simplify 0 into 0 9.302 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 9.302 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 9.302 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 9.302 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 9.302 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 9.302 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 9.302 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 9.302 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.302 * [taylor]: Taking taylor expansion of -1 in c 9.302 * [backup-simplify]: Simplify -1 into -1 9.302 * [taylor]: Taking taylor expansion of c in c 9.302 * [backup-simplify]: Simplify 0 into 0 9.302 * [backup-simplify]: Simplify 1 into 1 9.302 * [backup-simplify]: Simplify (/ -1 1) into -1 9.302 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 9.302 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 9.302 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 9.302 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.302 * [taylor]: Taking taylor expansion of -1 in c 9.302 * [backup-simplify]: Simplify -1 into -1 9.302 * [taylor]: Taking taylor expansion of c in c 9.302 * [backup-simplify]: Simplify 0 into 0 9.302 * [backup-simplify]: Simplify 1 into 1 9.303 * [backup-simplify]: Simplify (/ -1 1) into -1 9.303 * [backup-simplify]: Simplify (- -1) into 1 9.303 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 9.303 * [taylor]: Taking taylor expansion of 2 in c 9.303 * [backup-simplify]: Simplify 2 into 2 9.303 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 9.303 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 9.303 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 9.303 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 9.303 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 9.303 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 9.303 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 9.304 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.304 * [taylor]: Taking taylor expansion of -1 in c 9.304 * [backup-simplify]: Simplify -1 into -1 9.304 * [taylor]: Taking taylor expansion of c in c 9.304 * [backup-simplify]: Simplify 0 into 0 9.304 * [backup-simplify]: Simplify 1 into 1 9.304 * [backup-simplify]: Simplify (/ -1 1) into -1 9.304 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 9.304 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 9.304 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 9.304 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.304 * [taylor]: Taking taylor expansion of -1 in c 9.304 * [backup-simplify]: Simplify -1 into -1 9.304 * [taylor]: Taking taylor expansion of c in c 9.304 * [backup-simplify]: Simplify 0 into 0 9.304 * [backup-simplify]: Simplify 1 into 1 9.304 * [backup-simplify]: Simplify (/ -1 1) into -1 9.305 * [backup-simplify]: Simplify (- -1) into 1 9.305 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 9.305 * [taylor]: Taking taylor expansion of 2 in c 9.305 * [backup-simplify]: Simplify 2 into 2 9.305 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 9.305 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 9.305 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 9.305 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 9.305 * [backup-simplify]: Simplify (- 0) into 0 9.306 * [backup-simplify]: Simplify (+ 0 0) into 0 9.306 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 9.306 * [backup-simplify]: Simplify 0 into 0 9.306 * [backup-simplify]: Simplify (- 0) into 0 9.307 * [backup-simplify]: Simplify (+ 0 0) into 0 9.308 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.308 * [backup-simplify]: Simplify 0 into 0 9.308 * [backup-simplify]: Simplify (- 0) into 0 9.308 * [backup-simplify]: Simplify (+ 0 0) into 0 9.309 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.309 * [backup-simplify]: Simplify 0 into 0 9.309 * [backup-simplify]: Simplify (- 0) into 0 9.310 * [backup-simplify]: Simplify (+ 0 0) into 0 9.311 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.311 * [backup-simplify]: Simplify 0 into 0 9.311 * [backup-simplify]: Simplify (- 0) into 0 9.312 * [backup-simplify]: Simplify (+ 0 0) into 0 9.313 * [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 9.313 * [backup-simplify]: Simplify 0 into 0 9.314 * [backup-simplify]: Simplify (- 0) into 0 9.314 * [backup-simplify]: Simplify (+ 0 0) into 0 9.317 * [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 9.317 * [backup-simplify]: Simplify 0 into 0 9.317 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 9.317 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 9.317 * [backup-simplify]: Simplify (log1p (expm1 (sinh c))) into (log1p (expm1 (sinh c))) 9.317 * [approximate]: Taking taylor expansion of (log1p (expm1 (sinh c))) in (c) around 0 9.317 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh c))) in c 9.317 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh c)))) 9.317 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh c))) in c 9.317 * [taylor]: Taking taylor expansion of 1 in c 9.317 * [backup-simplify]: Simplify 1 into 1 9.317 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 9.318 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 9.318 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 9.318 * [taylor]: Taking taylor expansion of (sinh c) in c 9.318 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 9.318 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 9.318 * [taylor]: Taking taylor expansion of (exp c) in c 9.318 * [taylor]: Taking taylor expansion of c in c 9.318 * [backup-simplify]: Simplify 0 into 0 9.318 * [backup-simplify]: Simplify 1 into 1 9.318 * [backup-simplify]: Simplify (exp 0) into 1 9.318 * [taylor]: Taking taylor expansion of (exp (- c)) in c 9.318 * [taylor]: Taking taylor expansion of (- c) in c 9.318 * [taylor]: Taking taylor expansion of c in c 9.318 * [backup-simplify]: Simplify 0 into 0 9.318 * [backup-simplify]: Simplify 1 into 1 9.319 * [backup-simplify]: Simplify (- 0) into 0 9.319 * [backup-simplify]: Simplify (- 1) into -1 9.319 * [backup-simplify]: Simplify (exp 0) into 1 9.319 * [taylor]: Taking taylor expansion of 2 in c 9.319 * [backup-simplify]: Simplify 2 into 2 9.320 * [backup-simplify]: Simplify (- 1) into -1 9.320 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.321 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.321 * [backup-simplify]: Simplify (- 1) into -1 9.323 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 9.323 * [backup-simplify]: Simplify (- -1) into 1 9.323 * [backup-simplify]: Simplify (+ 1 1) into 2 9.324 * [backup-simplify]: Simplify (/ 2 2) into 1 9.324 * [backup-simplify]: Simplify (exp 0) into 1 9.324 * [taylor]: Taking taylor expansion of 1 in c 9.324 * [backup-simplify]: Simplify 1 into 1 9.324 * [backup-simplify]: Simplify (- 1) into -1 9.325 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.325 * [backup-simplify]: Simplify (+ 1 0) into 1 9.325 * [backup-simplify]: Simplify (log 1) into 0 9.325 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh c))) in c 9.326 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh c)))) 9.326 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh c))) in c 9.326 * [taylor]: Taking taylor expansion of 1 in c 9.326 * [backup-simplify]: Simplify 1 into 1 9.326 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 9.326 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 9.326 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 9.326 * [taylor]: Taking taylor expansion of (sinh c) in c 9.326 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 9.326 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 9.326 * [taylor]: Taking taylor expansion of (exp c) in c 9.326 * [taylor]: Taking taylor expansion of c in c 9.326 * [backup-simplify]: Simplify 0 into 0 9.326 * [backup-simplify]: Simplify 1 into 1 9.326 * [backup-simplify]: Simplify (exp 0) into 1 9.326 * [taylor]: Taking taylor expansion of (exp (- c)) in c 9.326 * [taylor]: Taking taylor expansion of (- c) in c 9.326 * [taylor]: Taking taylor expansion of c in c 9.326 * [backup-simplify]: Simplify 0 into 0 9.326 * [backup-simplify]: Simplify 1 into 1 9.327 * [backup-simplify]: Simplify (- 0) into 0 9.327 * [backup-simplify]: Simplify (- 1) into -1 9.327 * [backup-simplify]: Simplify (exp 0) into 1 9.327 * [taylor]: Taking taylor expansion of 2 in c 9.327 * [backup-simplify]: Simplify 2 into 2 9.327 * [backup-simplify]: Simplify (- 1) into -1 9.328 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.329 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.329 * [backup-simplify]: Simplify (- 1) into -1 9.330 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 9.331 * [backup-simplify]: Simplify (- -1) into 1 9.331 * [backup-simplify]: Simplify (+ 1 1) into 2 9.332 * [backup-simplify]: Simplify (/ 2 2) into 1 9.332 * [backup-simplify]: Simplify (exp 0) into 1 9.332 * [taylor]: Taking taylor expansion of 1 in c 9.332 * [backup-simplify]: Simplify 1 into 1 9.332 * [backup-simplify]: Simplify (- 1) into -1 9.332 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.333 * [backup-simplify]: Simplify (+ 1 0) into 1 9.333 * [backup-simplify]: Simplify (log 1) into 0 9.334 * [backup-simplify]: Simplify 0 into 0 9.335 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.335 * [backup-simplify]: Simplify (- 0) into 0 9.335 * [backup-simplify]: Simplify (+ 1 0) into 1 9.336 * [backup-simplify]: Simplify (+ 0 1) into 1 9.337 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 9.337 * [backup-simplify]: Simplify 1 into 1 9.339 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.339 * [backup-simplify]: Simplify (- 1) into -1 9.340 * [backup-simplify]: Simplify (- 0) into 0 9.342 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.342 * [backup-simplify]: Simplify (- 1/2) into -1/2 9.342 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 9.343 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 9.345 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.345 * [backup-simplify]: Simplify (- 0) into 0 9.346 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 9.346 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 9.349 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 9.349 * [backup-simplify]: Simplify 0 into 0 9.352 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 9.352 * [backup-simplify]: Simplify (- 1) into -1 9.353 * [backup-simplify]: Simplify (- 1) into -1 9.353 * [backup-simplify]: Simplify (- 0) into 0 9.353 * [backup-simplify]: Simplify (- 0) into 0 9.356 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 9.356 * [backup-simplify]: Simplify (- -1/6) into 1/6 9.357 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 9.358 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 9.361 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/6 1) 1)))) into 1/3 9.362 * [backup-simplify]: Simplify (- 0) into 0 9.362 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 9.362 * [backup-simplify]: Simplify (+ 0 1/3) into 1/3 9.373 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/3) 1)) (pow 1 1)))) 6) into 1/6 9.373 * [backup-simplify]: Simplify 1/6 into 1/6 9.377 * [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 9.378 * [backup-simplify]: Simplify (- 1) into -1 9.378 * [backup-simplify]: Simplify (- 1) into -1 9.379 * [backup-simplify]: Simplify (- 0) into 0 9.379 * [backup-simplify]: Simplify (- 1) into -1 9.380 * [backup-simplify]: Simplify (- 0) into 0 9.380 * [backup-simplify]: Simplify (- 0) into 0 9.380 * [backup-simplify]: Simplify (- 0) into 0 9.384 * [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 9.384 * [backup-simplify]: Simplify (- 1/24) into -1/24 9.384 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 9.385 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 9.388 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 1/6 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 5/24 9.388 * [backup-simplify]: Simplify (- 0) into 0 9.388 * [backup-simplify]: Simplify (+ 5/24 0) into 5/24 9.388 * [backup-simplify]: Simplify (+ 0 5/24) into 5/24 9.394 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 1/2) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1/2) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 1/3) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 5/24) 1)) (pow 1 1)))) 24) into 0 9.395 * [backup-simplify]: Simplify 0 into 0 9.398 * [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 9.398 * [backup-simplify]: Simplify (- 1) into -1 9.398 * [backup-simplify]: Simplify (- 1) into -1 9.399 * [backup-simplify]: Simplify (- 0) into 0 9.399 * [backup-simplify]: Simplify (- 1) into -1 9.399 * [backup-simplify]: Simplify (- 0) into 0 9.399 * [backup-simplify]: Simplify (- 1) into -1 9.400 * [backup-simplify]: Simplify (- 0) into 0 9.400 * [backup-simplify]: Simplify (- 1) into -1 9.400 * [backup-simplify]: Simplify (- 0) into 0 9.400 * [backup-simplify]: Simplify (- 0) into 0 9.401 * [backup-simplify]: Simplify (- 0) into 0 9.401 * [backup-simplify]: Simplify (- 0) into 0 9.404 * [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 9.404 * [backup-simplify]: Simplify (- -1/120) into 1/120 9.404 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 9.405 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 9.409 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 1/6 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 1/6 1) 1)) (* (/ (pow 1/120 1) 1)))) into 1/10 9.410 * [backup-simplify]: Simplify (- 0) into 0 9.410 * [backup-simplify]: Simplify (+ 1/10 0) into 1/10 9.410 * [backup-simplify]: Simplify (+ 0 1/10) into 1/10 9.421 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 1) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 1) 3) (pow (* 2 1/2) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 1) 2) 1 (pow (* 6 1/3) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 1/2) 1) (pow (* 6 1/3) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 1) 1) 1 1 (pow (* 24 5/24) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 1/10) 1)) (pow 1 1)))) 120) into 1/120 9.421 * [backup-simplify]: Simplify 1/120 into 1/120 9.421 * [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)) 9.421 * [backup-simplify]: Simplify (log1p (expm1 (sinh (/ 1 c)))) into (log1p (expm1 (sinh (/ 1 c)))) 9.421 * [approximate]: Taking taylor expansion of (log1p (expm1 (sinh (/ 1 c)))) in (c) around 0 9.421 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ 1 c)))) in c 9.421 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ 1 c))))) 9.421 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ 1 c)))) in c 9.421 * [taylor]: Taking taylor expansion of 1 in c 9.421 * [backup-simplify]: Simplify 1 into 1 9.421 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 9.421 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 9.422 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 9.422 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 9.422 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 9.422 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 9.422 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 9.422 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.422 * [taylor]: Taking taylor expansion of c in c 9.422 * [backup-simplify]: Simplify 0 into 0 9.422 * [backup-simplify]: Simplify 1 into 1 9.422 * [backup-simplify]: Simplify (/ 1 1) into 1 9.422 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 9.422 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 9.422 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 9.422 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.422 * [taylor]: Taking taylor expansion of c in c 9.422 * [backup-simplify]: Simplify 0 into 0 9.422 * [backup-simplify]: Simplify 1 into 1 9.422 * [backup-simplify]: Simplify (/ 1 1) into 1 9.423 * [backup-simplify]: Simplify (- 1) into -1 9.423 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 9.423 * [taylor]: Taking taylor expansion of 2 in c 9.423 * [backup-simplify]: Simplify 2 into 2 9.423 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 9.423 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 9.423 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 9.423 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 9.423 * [taylor]: Taking taylor expansion of 1 in c 9.423 * [backup-simplify]: Simplify 1 into 1 9.424 * [backup-simplify]: Simplify (- 1) into -1 9.424 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) -1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) 9.424 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 9.424 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 9.424 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ 1 c)))) in c 9.424 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ 1 c))))) 9.424 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ 1 c)))) in c 9.424 * [taylor]: Taking taylor expansion of 1 in c 9.424 * [backup-simplify]: Simplify 1 into 1 9.424 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 9.424 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 9.424 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 9.425 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 9.425 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 9.425 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 9.425 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 9.425 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.425 * [taylor]: Taking taylor expansion of c in c 9.425 * [backup-simplify]: Simplify 0 into 0 9.425 * [backup-simplify]: Simplify 1 into 1 9.425 * [backup-simplify]: Simplify (/ 1 1) into 1 9.425 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 9.425 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 9.425 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 9.425 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.425 * [taylor]: Taking taylor expansion of c in c 9.425 * [backup-simplify]: Simplify 0 into 0 9.425 * [backup-simplify]: Simplify 1 into 1 9.425 * [backup-simplify]: Simplify (/ 1 1) into 1 9.426 * [backup-simplify]: Simplify (- 1) into -1 9.426 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 9.426 * [taylor]: Taking taylor expansion of 2 in c 9.426 * [backup-simplify]: Simplify 2 into 2 9.426 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 9.426 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 9.426 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 9.426 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 9.426 * [taylor]: Taking taylor expansion of 1 in c 9.426 * [backup-simplify]: Simplify 1 into 1 9.427 * [backup-simplify]: Simplify (- 1) into -1 9.427 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) -1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) 9.427 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 9.427 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 9.427 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 9.427 * [backup-simplify]: Simplify (- 0) into 0 9.428 * [backup-simplify]: Simplify (+ 0 0) into 0 9.428 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 9.429 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 1) 1)))) into 0 9.429 * [backup-simplify]: Simplify (- 0) into 0 9.430 * [backup-simplify]: Simplify (+ 0 0) into 0 9.430 * [backup-simplify]: Simplify (+ 0 0) into 0 9.430 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 1) into 0 9.431 * [backup-simplify]: Simplify 0 into 0 9.431 * [backup-simplify]: Simplify (- 0) into 0 9.431 * [backup-simplify]: Simplify (+ 0 0) into 0 9.432 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.433 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.433 * [backup-simplify]: Simplify (- 0) into 0 9.433 * [backup-simplify]: Simplify (+ 0 0) into 0 9.434 * [backup-simplify]: Simplify (+ 0 0) into 0 9.435 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 2) into 0 9.435 * [backup-simplify]: Simplify 0 into 0 9.435 * [backup-simplify]: Simplify (- 0) into 0 9.435 * [backup-simplify]: Simplify (+ 0 0) into 0 9.437 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.438 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.438 * [backup-simplify]: Simplify (- 0) into 0 9.438 * [backup-simplify]: Simplify (+ 0 0) into 0 9.438 * [backup-simplify]: Simplify (+ 0 0) into 0 9.440 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 6) into 0 9.440 * [backup-simplify]: Simplify 0 into 0 9.441 * [backup-simplify]: Simplify (- 0) into 0 9.441 * [backup-simplify]: Simplify (+ 0 0) into 0 9.442 * [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 9.444 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.444 * [backup-simplify]: Simplify (- 0) into 0 9.445 * [backup-simplify]: Simplify (+ 0 0) into 0 9.445 * [backup-simplify]: Simplify (+ 0 0) into 0 9.448 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 24) into 0 9.448 * [backup-simplify]: Simplify 0 into 0 9.449 * [backup-simplify]: Simplify (- 0) into 0 9.449 * [backup-simplify]: Simplify (+ 0 0) into 0 9.451 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.453 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.453 * [backup-simplify]: Simplify (- 0) into 0 9.453 * [backup-simplify]: Simplify (+ 0 0) into 0 9.454 * [backup-simplify]: Simplify (+ 0 0) into 0 9.459 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 120) into 0 9.459 * [backup-simplify]: Simplify 0 into 0 9.459 * [backup-simplify]: Simplify (- 0) into 0 9.460 * [backup-simplify]: Simplify (+ 0 0) into 0 9.465 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.468 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.469 * [backup-simplify]: Simplify (- 0) into 0 9.469 * [backup-simplify]: Simplify (+ 0 0) into 0 9.469 * [backup-simplify]: Simplify (+ 0 0) into 0 9.478 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1)))) 720) into 0 9.478 * [backup-simplify]: Simplify 0 into 0 9.478 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 9.478 * [backup-simplify]: Simplify (log1p (expm1 (sinh (/ 1 (- c))))) into (log1p (expm1 (sinh (/ -1 c)))) 9.478 * [approximate]: Taking taylor expansion of (log1p (expm1 (sinh (/ -1 c)))) in (c) around 0 9.478 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ -1 c)))) in c 9.478 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ -1 c))))) 9.478 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ -1 c)))) in c 9.479 * [taylor]: Taking taylor expansion of 1 in c 9.479 * [backup-simplify]: Simplify 1 into 1 9.479 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 9.479 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 9.479 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 9.479 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 9.479 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 9.479 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 9.479 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 9.479 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.479 * [taylor]: Taking taylor expansion of -1 in c 9.479 * [backup-simplify]: Simplify -1 into -1 9.479 * [taylor]: Taking taylor expansion of c in c 9.479 * [backup-simplify]: Simplify 0 into 0 9.479 * [backup-simplify]: Simplify 1 into 1 9.479 * [backup-simplify]: Simplify (/ -1 1) into -1 9.479 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 9.479 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 9.480 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 9.480 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.480 * [taylor]: Taking taylor expansion of -1 in c 9.480 * [backup-simplify]: Simplify -1 into -1 9.480 * [taylor]: Taking taylor expansion of c in c 9.480 * [backup-simplify]: Simplify 0 into 0 9.480 * [backup-simplify]: Simplify 1 into 1 9.480 * [backup-simplify]: Simplify (/ -1 1) into -1 9.480 * [backup-simplify]: Simplify (- -1) into 1 9.480 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 9.480 * [taylor]: Taking taylor expansion of 2 in c 9.480 * [backup-simplify]: Simplify 2 into 2 9.480 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 9.480 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 9.481 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 9.481 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 9.481 * [taylor]: Taking taylor expansion of 1 in c 9.481 * [backup-simplify]: Simplify 1 into 1 9.481 * [backup-simplify]: Simplify (- 1) into -1 9.481 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) -1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) 9.481 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 9.481 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 9.481 * [taylor]: Taking taylor expansion of (log1p (expm1 (sinh (/ -1 c)))) in c 9.481 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (sinh (/ -1 c))))) 9.481 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (sinh (/ -1 c)))) in c 9.482 * [taylor]: Taking taylor expansion of 1 in c 9.482 * [backup-simplify]: Simplify 1 into 1 9.482 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 9.482 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 9.482 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 9.482 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 9.482 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 9.482 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 9.482 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 9.482 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.482 * [taylor]: Taking taylor expansion of -1 in c 9.482 * [backup-simplify]: Simplify -1 into -1 9.482 * [taylor]: Taking taylor expansion of c in c 9.482 * [backup-simplify]: Simplify 0 into 0 9.482 * [backup-simplify]: Simplify 1 into 1 9.482 * [backup-simplify]: Simplify (/ -1 1) into -1 9.482 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 9.482 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 9.482 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 9.482 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.482 * [taylor]: Taking taylor expansion of -1 in c 9.482 * [backup-simplify]: Simplify -1 into -1 9.482 * [taylor]: Taking taylor expansion of c in c 9.482 * [backup-simplify]: Simplify 0 into 0 9.482 * [backup-simplify]: Simplify 1 into 1 9.483 * [backup-simplify]: Simplify (/ -1 1) into -1 9.483 * [backup-simplify]: Simplify (- -1) into 1 9.483 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 9.483 * [taylor]: Taking taylor expansion of 2 in c 9.483 * [backup-simplify]: Simplify 2 into 2 9.483 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 9.483 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 9.483 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 9.483 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 9.483 * [taylor]: Taking taylor expansion of 1 in c 9.483 * [backup-simplify]: Simplify 1 into 1 9.484 * [backup-simplify]: Simplify (- 1) into -1 9.484 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) -1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) 9.484 * [backup-simplify]: Simplify (+ 1 (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 9.484 * [backup-simplify]: Simplify (log (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 9.484 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 9.485 * [backup-simplify]: Simplify (- 0) into 0 9.485 * [backup-simplify]: Simplify (+ 0 0) into 0 9.485 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 9.486 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 1) 1)))) into 0 9.486 * [backup-simplify]: Simplify (- 0) into 0 9.486 * [backup-simplify]: Simplify (+ 0 0) into 0 9.487 * [backup-simplify]: Simplify (+ 0 0) into 0 9.487 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 1) into 0 9.487 * [backup-simplify]: Simplify 0 into 0 9.488 * [backup-simplify]: Simplify (- 0) into 0 9.488 * [backup-simplify]: Simplify (+ 0 0) into 0 9.489 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.490 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.490 * [backup-simplify]: Simplify (- 0) into 0 9.490 * [backup-simplify]: Simplify (+ 0 0) into 0 9.490 * [backup-simplify]: Simplify (+ 0 0) into 0 9.492 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 2) into 0 9.492 * [backup-simplify]: Simplify 0 into 0 9.492 * [backup-simplify]: Simplify (- 0) into 0 9.492 * [backup-simplify]: Simplify (+ 0 0) into 0 9.493 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.494 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.495 * [backup-simplify]: Simplify (- 0) into 0 9.495 * [backup-simplify]: Simplify (+ 0 0) into 0 9.495 * [backup-simplify]: Simplify (+ 0 0) into 0 9.497 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 6) into 0 9.498 * [backup-simplify]: Simplify 0 into 0 9.498 * [backup-simplify]: Simplify (- 0) into 0 9.498 * [backup-simplify]: Simplify (+ 0 0) into 0 9.500 * [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 9.502 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.502 * [backup-simplify]: Simplify (- 0) into 0 9.503 * [backup-simplify]: Simplify (+ 0 0) into 0 9.503 * [backup-simplify]: Simplify (+ 0 0) into 0 9.507 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 24) into 0 9.507 * [backup-simplify]: Simplify 0 into 0 9.507 * [backup-simplify]: Simplify (- 0) into 0 9.507 * [backup-simplify]: Simplify (+ 0 0) into 0 9.509 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.511 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.512 * [backup-simplify]: Simplify (- 0) into 0 9.512 * [backup-simplify]: Simplify (+ 0 0) into 0 9.512 * [backup-simplify]: Simplify (+ 0 0) into 0 9.517 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 120) into 0 9.517 * [backup-simplify]: Simplify 0 into 0 9.518 * [backup-simplify]: Simplify (- 0) into 0 9.518 * [backup-simplify]: Simplify (+ 0 0) into 0 9.520 * [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 9.524 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.524 * [backup-simplify]: Simplify (- 0) into 0 9.524 * [backup-simplify]: Simplify (+ 0 0) into 0 9.524 * [backup-simplify]: Simplify (+ 0 0) into 0 9.538 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1)))) 720) into 0 9.538 * [backup-simplify]: Simplify 0 into 0 9.538 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 9.539 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 9.539 * [backup-simplify]: Simplify (expm1 (sinh c)) into (expm1 (sinh c)) 9.539 * [approximate]: Taking taylor expansion of (expm1 (sinh c)) in (c) around 0 9.539 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 9.539 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 9.539 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 9.539 * [taylor]: Taking taylor expansion of (sinh c) in c 9.539 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 9.539 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 9.539 * [taylor]: Taking taylor expansion of (exp c) in c 9.539 * [taylor]: Taking taylor expansion of c in c 9.539 * [backup-simplify]: Simplify 0 into 0 9.539 * [backup-simplify]: Simplify 1 into 1 9.539 * [backup-simplify]: Simplify (exp 0) into 1 9.539 * [taylor]: Taking taylor expansion of (exp (- c)) in c 9.539 * [taylor]: Taking taylor expansion of (- c) in c 9.539 * [taylor]: Taking taylor expansion of c in c 9.539 * [backup-simplify]: Simplify 0 into 0 9.539 * [backup-simplify]: Simplify 1 into 1 9.540 * [backup-simplify]: Simplify (- 0) into 0 9.540 * [backup-simplify]: Simplify (- 1) into -1 9.540 * [backup-simplify]: Simplify (exp 0) into 1 9.540 * [taylor]: Taking taylor expansion of 2 in c 9.540 * [backup-simplify]: Simplify 2 into 2 9.541 * [backup-simplify]: Simplify (- 1) into -1 9.541 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.542 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.542 * [backup-simplify]: Simplify (- 1) into -1 9.544 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 9.544 * [backup-simplify]: Simplify (- -1) into 1 9.544 * [backup-simplify]: Simplify (+ 1 1) into 2 9.545 * [backup-simplify]: Simplify (/ 2 2) into 1 9.545 * [backup-simplify]: Simplify (exp 0) into 1 9.545 * [taylor]: Taking taylor expansion of 1 in c 9.545 * [backup-simplify]: Simplify 1 into 1 9.545 * [taylor]: Taking taylor expansion of (expm1 (sinh c)) in c 9.545 * [taylor]: Rewrote expression to (- (exp (sinh c)) 1) 9.545 * [taylor]: Taking taylor expansion of (exp (sinh c)) in c 9.545 * [taylor]: Taking taylor expansion of (sinh c) in c 9.545 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 9.545 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 9.545 * [taylor]: Taking taylor expansion of (exp c) in c 9.545 * [taylor]: Taking taylor expansion of c in c 9.545 * [backup-simplify]: Simplify 0 into 0 9.545 * [backup-simplify]: Simplify 1 into 1 9.545 * [backup-simplify]: Simplify (exp 0) into 1 9.545 * [taylor]: Taking taylor expansion of (exp (- c)) in c 9.545 * [taylor]: Taking taylor expansion of (- c) in c 9.545 * [taylor]: Taking taylor expansion of c in c 9.545 * [backup-simplify]: Simplify 0 into 0 9.545 * [backup-simplify]: Simplify 1 into 1 9.546 * [backup-simplify]: Simplify (- 0) into 0 9.546 * [backup-simplify]: Simplify (- 1) into -1 9.546 * [backup-simplify]: Simplify (exp 0) into 1 9.546 * [taylor]: Taking taylor expansion of 2 in c 9.546 * [backup-simplify]: Simplify 2 into 2 9.547 * [backup-simplify]: Simplify (- 1) into -1 9.547 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.548 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.548 * [backup-simplify]: Simplify (- 1) into -1 9.550 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 9.550 * [backup-simplify]: Simplify (- -1) into 1 9.550 * [backup-simplify]: Simplify (+ 1 1) into 2 9.551 * [backup-simplify]: Simplify (/ 2 2) into 1 9.551 * [backup-simplify]: Simplify (exp 0) into 1 9.551 * [taylor]: Taking taylor expansion of 1 in c 9.551 * [backup-simplify]: Simplify 1 into 1 9.551 * [backup-simplify]: Simplify (- 1) into -1 9.552 * [backup-simplify]: Simplify (+ 1 -1) into 0 9.552 * [backup-simplify]: Simplify 0 into 0 9.553 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 9.553 * [backup-simplify]: Simplify (- 0) into 0 9.554 * [backup-simplify]: Simplify (+ 1 0) into 1 9.554 * [backup-simplify]: Simplify 1 into 1 9.555 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.556 * [backup-simplify]: Simplify (- 1) into -1 9.556 * [backup-simplify]: Simplify (- 0) into 0 9.558 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.558 * [backup-simplify]: Simplify (- 1/2) into -1/2 9.559 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 9.560 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 9.561 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 9.562 * [backup-simplify]: Simplify (- 0) into 0 9.562 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 9.562 * [backup-simplify]: Simplify 1/2 into 1/2 9.565 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 9.565 * [backup-simplify]: Simplify (- 1) into -1 9.565 * [backup-simplify]: Simplify (- 1) into -1 9.566 * [backup-simplify]: Simplify (- 0) into 0 9.566 * [backup-simplify]: Simplify (- 0) into 0 9.569 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 9.569 * [backup-simplify]: Simplify (- -1/6) into 1/6 9.570 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 9.571 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 9.573 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/6 1) 1)))) into 1/3 9.574 * [backup-simplify]: Simplify (- 0) into 0 9.574 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 9.574 * [backup-simplify]: Simplify 1/3 into 1/3 9.575 * [backup-simplify]: Simplify (+ (* 1/3 (pow c 3)) (+ (* 1/2 (pow c 2)) (* 1 c))) into (+ (* 1/3 (pow c 3)) (+ (* 1/2 (pow c 2)) c)) 9.575 * [backup-simplify]: Simplify (expm1 (sinh (/ 1 c))) into (expm1 (sinh (/ 1 c))) 9.575 * [approximate]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in (c) around 0 9.575 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 9.575 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 9.575 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 9.575 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 9.575 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 9.575 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 9.575 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 9.575 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.576 * [taylor]: Taking taylor expansion of c in c 9.576 * [backup-simplify]: Simplify 0 into 0 9.576 * [backup-simplify]: Simplify 1 into 1 9.576 * [backup-simplify]: Simplify (/ 1 1) into 1 9.576 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 9.576 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 9.576 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 9.576 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.576 * [taylor]: Taking taylor expansion of c in c 9.576 * [backup-simplify]: Simplify 0 into 0 9.576 * [backup-simplify]: Simplify 1 into 1 9.582 * [backup-simplify]: Simplify (/ 1 1) into 1 9.582 * [backup-simplify]: Simplify (- 1) into -1 9.583 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 9.583 * [taylor]: Taking taylor expansion of 2 in c 9.583 * [backup-simplify]: Simplify 2 into 2 9.583 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 9.583 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 9.583 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 9.583 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 9.584 * [taylor]: Taking taylor expansion of 1 in c 9.584 * [backup-simplify]: Simplify 1 into 1 9.584 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ 1 c))) in c 9.584 * [taylor]: Rewrote expression to (- (exp (sinh (/ 1 c))) 1) 9.584 * [taylor]: Taking taylor expansion of (exp (sinh (/ 1 c))) in c 9.584 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 9.584 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 9.584 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 9.584 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 9.584 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.584 * [taylor]: Taking taylor expansion of c in c 9.584 * [backup-simplify]: Simplify 0 into 0 9.584 * [backup-simplify]: Simplify 1 into 1 9.585 * [backup-simplify]: Simplify (/ 1 1) into 1 9.585 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 9.585 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 9.585 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 9.585 * [taylor]: Taking taylor expansion of (/ 1 c) in c 9.585 * [taylor]: Taking taylor expansion of c in c 9.585 * [backup-simplify]: Simplify 0 into 0 9.585 * [backup-simplify]: Simplify 1 into 1 9.585 * [backup-simplify]: Simplify (/ 1 1) into 1 9.586 * [backup-simplify]: Simplify (- 1) into -1 9.586 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 9.586 * [taylor]: Taking taylor expansion of 2 in c 9.586 * [backup-simplify]: Simplify 2 into 2 9.586 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 9.586 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 9.586 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 9.587 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 9.587 * [taylor]: Taking taylor expansion of 1 in c 9.587 * [backup-simplify]: Simplify 1 into 1 9.587 * [backup-simplify]: Simplify (- 1) into -1 9.587 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) -1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) 9.588 * [backup-simplify]: Simplify (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) into (- (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) 1) 9.588 * [backup-simplify]: Simplify (- 0) into 0 9.588 * [backup-simplify]: Simplify (+ 0 0) into 0 9.589 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 9.590 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 1) 1)))) into 0 9.591 * [backup-simplify]: Simplify (- 0) into 0 9.591 * [backup-simplify]: Simplify (+ 0 0) into 0 9.591 * [backup-simplify]: Simplify 0 into 0 9.592 * [backup-simplify]: Simplify (- 0) into 0 9.592 * [backup-simplify]: Simplify (+ 0 0) into 0 9.594 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.595 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.595 * [backup-simplify]: Simplify (- 0) into 0 9.596 * [backup-simplify]: Simplify (+ 0 0) into 0 9.596 * [backup-simplify]: Simplify 0 into 0 9.596 * [backup-simplify]: Simplify (- 0) into 0 9.597 * [backup-simplify]: Simplify (+ 0 0) into 0 9.599 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.600 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.600 * [backup-simplify]: Simplify (- 0) into 0 9.600 * [backup-simplify]: Simplify (+ 0 0) into 0 9.600 * [backup-simplify]: Simplify 0 into 0 9.601 * [backup-simplify]: Simplify (- 0) into 0 9.601 * [backup-simplify]: Simplify (+ 0 0) into 0 9.602 * [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 9.604 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.604 * [backup-simplify]: Simplify (- 0) into 0 9.604 * [backup-simplify]: Simplify (+ 0 0) into 0 9.604 * [backup-simplify]: Simplify 0 into 0 9.605 * [backup-simplify]: Simplify (- 0) into 0 9.605 * [backup-simplify]: Simplify (+ 0 0) into 0 9.606 * [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 9.609 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.609 * [backup-simplify]: Simplify (- 0) into 0 9.609 * [backup-simplify]: Simplify (+ 0 0) into 0 9.609 * [backup-simplify]: Simplify 0 into 0 9.609 * [backup-simplify]: Simplify (- 0) into 0 9.610 * [backup-simplify]: Simplify (+ 0 0) into 0 9.612 * [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 9.615 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.615 * [backup-simplify]: Simplify (- 0) into 0 9.616 * [backup-simplify]: Simplify (+ 0 0) into 0 9.616 * [backup-simplify]: Simplify 0 into 0 9.616 * [backup-simplify]: Simplify (- (exp (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c))))))) 1) into (- (exp (* 1/2 (- (exp c) (exp (- c))))) 1) 9.616 * [backup-simplify]: Simplify (expm1 (sinh (/ 1 (- c)))) into (expm1 (sinh (/ -1 c))) 9.616 * [approximate]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in (c) around 0 9.616 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 9.616 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 9.616 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 9.616 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 9.616 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 9.616 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 9.616 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 9.616 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.616 * [taylor]: Taking taylor expansion of -1 in c 9.616 * [backup-simplify]: Simplify -1 into -1 9.616 * [taylor]: Taking taylor expansion of c in c 9.616 * [backup-simplify]: Simplify 0 into 0 9.616 * [backup-simplify]: Simplify 1 into 1 9.617 * [backup-simplify]: Simplify (/ -1 1) into -1 9.617 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 9.617 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 9.617 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 9.617 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.617 * [taylor]: Taking taylor expansion of -1 in c 9.617 * [backup-simplify]: Simplify -1 into -1 9.617 * [taylor]: Taking taylor expansion of c in c 9.617 * [backup-simplify]: Simplify 0 into 0 9.617 * [backup-simplify]: Simplify 1 into 1 9.617 * [backup-simplify]: Simplify (/ -1 1) into -1 9.617 * [backup-simplify]: Simplify (- -1) into 1 9.618 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 9.618 * [taylor]: Taking taylor expansion of 2 in c 9.618 * [backup-simplify]: Simplify 2 into 2 9.618 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 9.618 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 9.618 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 9.618 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 9.618 * [taylor]: Taking taylor expansion of 1 in c 9.618 * [backup-simplify]: Simplify 1 into 1 9.618 * [taylor]: Taking taylor expansion of (expm1 (sinh (/ -1 c))) in c 9.618 * [taylor]: Rewrote expression to (- (exp (sinh (/ -1 c))) 1) 9.618 * [taylor]: Taking taylor expansion of (exp (sinh (/ -1 c))) in c 9.618 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 9.618 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 9.618 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 9.618 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 9.618 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.618 * [taylor]: Taking taylor expansion of -1 in c 9.618 * [backup-simplify]: Simplify -1 into -1 9.618 * [taylor]: Taking taylor expansion of c in c 9.618 * [backup-simplify]: Simplify 0 into 0 9.618 * [backup-simplify]: Simplify 1 into 1 9.619 * [backup-simplify]: Simplify (/ -1 1) into -1 9.619 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 9.619 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 9.619 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 9.619 * [taylor]: Taking taylor expansion of (/ -1 c) in c 9.619 * [taylor]: Taking taylor expansion of -1 in c 9.619 * [backup-simplify]: Simplify -1 into -1 9.619 * [taylor]: Taking taylor expansion of c in c 9.619 * [backup-simplify]: Simplify 0 into 0 9.619 * [backup-simplify]: Simplify 1 into 1 9.619 * [backup-simplify]: Simplify (/ -1 1) into -1 9.619 * [backup-simplify]: Simplify (- -1) into 1 9.619 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 9.619 * [taylor]: Taking taylor expansion of 2 in c 9.619 * [backup-simplify]: Simplify 2 into 2 9.620 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 9.620 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 9.620 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 9.620 * [backup-simplify]: Simplify (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) into (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 9.620 * [taylor]: Taking taylor expansion of 1 in c 9.620 * [backup-simplify]: Simplify 1 into 1 9.620 * [backup-simplify]: Simplify (- 1) into -1 9.620 * [backup-simplify]: Simplify (+ (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) -1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) 9.620 * [backup-simplify]: Simplify (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) into (- (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) 1) 9.621 * [backup-simplify]: Simplify (- 0) into 0 9.621 * [backup-simplify]: Simplify (+ 0 0) into 0 9.622 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 9.622 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 1) 1)))) into 0 9.622 * [backup-simplify]: Simplify (- 0) into 0 9.623 * [backup-simplify]: Simplify (+ 0 0) into 0 9.623 * [backup-simplify]: Simplify 0 into 0 9.623 * [backup-simplify]: Simplify (- 0) into 0 9.623 * [backup-simplify]: Simplify (+ 0 0) into 0 9.624 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.625 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.625 * [backup-simplify]: Simplify (- 0) into 0 9.625 * [backup-simplify]: Simplify (+ 0 0) into 0 9.625 * [backup-simplify]: Simplify 0 into 0 9.626 * [backup-simplify]: Simplify (- 0) into 0 9.626 * [backup-simplify]: Simplify (+ 0 0) into 0 9.627 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 9.628 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.628 * [backup-simplify]: Simplify (- 0) into 0 9.629 * [backup-simplify]: Simplify (+ 0 0) into 0 9.629 * [backup-simplify]: Simplify 0 into 0 9.629 * [backup-simplify]: Simplify (- 0) into 0 9.629 * [backup-simplify]: Simplify (+ 0 0) into 0 9.631 * [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 9.632 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.633 * [backup-simplify]: Simplify (- 0) into 0 9.633 * [backup-simplify]: Simplify (+ 0 0) into 0 9.633 * [backup-simplify]: Simplify 0 into 0 9.633 * [backup-simplify]: Simplify (- 0) into 0 9.633 * [backup-simplify]: Simplify (+ 0 0) into 0 9.635 * [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 9.637 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 9.638 * [backup-simplify]: Simplify (- 0) into 0 9.638 * [backup-simplify]: Simplify (+ 0 0) into 0 9.638 * [backup-simplify]: Simplify 0 into 0 9.638 * [backup-simplify]: Simplify (- 0) into 0 9.639 * [backup-simplify]: Simplify (+ 0 0) into 0 9.642 * [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 9.646 * [backup-simplify]: Simplify (* (exp (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.646 * [backup-simplify]: Simplify (- 0) into 0 9.646 * [backup-simplify]: Simplify (+ 0 0) into 0 9.646 * [backup-simplify]: Simplify 0 into 0 9.646 * [backup-simplify]: Simplify (- (exp (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c))))))) 1) into (- (exp (* 1/2 (- (exp c) (exp (* -1 c))))) 1) 9.647 * * * [progress]: simplifying candidates 9.647 * [simplify]: Simplifying: (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (+ 1 (expm1 (sinh c))) (expm1 (log1p (expm1 (sinh c)))) (log1p (log1p (expm1 (sinh c)))) (log (log1p (expm1 (sinh c)))) (exp (log1p (expm1 (sinh c)))) (* (cbrt (log1p (expm1 (sinh c)))) (cbrt (log1p (expm1 (sinh c))))) (cbrt (log1p (expm1 (sinh c)))) (* (* (log1p (expm1 (sinh c))) (log1p (expm1 (sinh c)))) (log1p (expm1 (sinh c)))) (sqrt (log1p (expm1 (sinh c)))) (sqrt (log1p (expm1 (sinh c)))) (exp (sinh c)) (expm1 (expm1 (sinh c))) (log1p (expm1 (sinh c))) (log (expm1 (sinh c))) (exp (expm1 (sinh c))) (* (cbrt (expm1 (sinh c))) (cbrt (expm1 (sinh c)))) (cbrt (expm1 (sinh c))) (* (* (expm1 (sinh c)) (expm1 (sinh c))) (expm1 (sinh c))) (sqrt (expm1 (sinh c))) (sqrt (expm1 (sinh c))) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) (+ (* 1/3 (pow c 3)) (+ (* 1/2 (pow c 2)) c)) (- (exp (* 1/2 (- (exp c) (exp (- c))))) 1) (- (exp (* 1/2 (- (exp c) (exp (* -1 c))))) 1) 9.648 * * [simplify]: Extracting # 0 : cost 0 9.648 * * [simplify]: Extracting # 1 : cost 0 9.648 * * [simplify]: Extracting # 2 : cost 0 9.648 * * [simplify]: Extracting # 3 : cost 0 9.648 * * [simplify]: Extracting # 4 : cost 0 9.648 * * [simplify]: Extracting # 5 : cost 0 9.648 * * [simplify]: Extracting # 6 : cost 0 9.648 * * [simplify]: Extracting # 7 : cost 0 9.648 * * [simplify]: Extracting # 8 : cost 0 9.648 * * [simplify]: Extracting # 9 : cost 0 9.648 * * [simplify]: Extracting # 10 : cost 0 9.648 * * [simplify]: iteration 0 : 63 enodes (cost 254 ) 9.660 * * [simplify]: Extracting # 0 : cost 0 9.660 * * [simplify]: Extracting # 1 : cost 0 9.660 * * [simplify]: Extracting # 2 : cost 0 9.660 * * [simplify]: Extracting # 3 : cost 0 9.660 * * [simplify]: Extracting # 4 : cost 0 9.661 * * [simplify]: iteration 1 : 113 enodes (cost 215 ) 9.702 * * [simplify]: Extracting # 0 : cost 0 9.702 * * [simplify]: Extracting # 1 : cost 0 9.703 * * [simplify]: Extracting # 2 : cost 0 9.703 * * [simplify]: Extracting # 3 : cost 0 9.703 * * [simplify]: Extracting # 4 : cost 0 9.704 * * [simplify]: iteration 2 : 220 enodes (cost 201 ) 9.800 * * [simplify]: Extracting # 0 : cost 0 9.800 * * [simplify]: Extracting # 1 : cost 0 9.801 * * [simplify]: Extracting # 2 : cost 0 9.801 * * [simplify]: Extracting # 3 : cost 0 9.802 * * [simplify]: Extracting # 4 : cost 0 9.805 * * [simplify]: iteration 3 : 461 enodes (cost 193 ) 9.974 * * [simplify]: Extracting # 0 : cost 0 9.975 * * [simplify]: Extracting # 1 : cost 0 9.976 * * [simplify]: Extracting # 2 : cost 0 9.977 * * [simplify]: Extracting # 3 : cost 0 9.978 * * [simplify]: Extracting # 4 : cost 0 9.979 * * [simplify]: iteration 4 : 979 enodes (cost 187 ) 10.767 * * [simplify]: Extracting # 0 : cost 0 10.771 * * [simplify]: Extracting # 1 : cost 0 10.775 * * [simplify]: Extracting # 2 : cost 0 10.782 * * [simplify]: Extracting # 3 : cost 0 10.786 * * [simplify]: Extracting # 4 : cost 0 10.789 * * [simplify]: iteration 5 : 3393 enodes (cost 163 ) 12.399 * * [simplify]: Extracting # 0 : cost 0 12.409 * * [simplify]: Extracting # 1 : cost 0 12.420 * * [simplify]: Extracting # 2 : cost 0 12.431 * * [simplify]: Extracting # 3 : cost 0 12.442 * * [simplify]: Extracting # 4 : cost 0 12.453 * * [simplify]: iteration done: 5000 enodes (cost 163 ) 12.453 * [simplify]: Simplified to: (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (+ 1 (expm1 (sinh c))) (expm1 (sinh c)) (log1p (sinh c)) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (exp (sinh c)) (expm1 (expm1 (sinh c))) (sinh c) (log (expm1 (sinh c))) (exp (expm1 (sinh c))) (* (cbrt (expm1 (sinh c))) (cbrt (expm1 (sinh c)))) (cbrt (expm1 (sinh c))) (pow (expm1 (sinh c)) 3) (sqrt (expm1 (sinh c))) (sqrt (expm1 (sinh c))) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (sinh c) (sinh c) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (sinh c) (sinh c) (fma c (* c (fma c 1/3 1/2)) c) (expm1 (sinh c)) (expm1 (sinh c)) 12.453 * * * [progress]: adding candidates to table 12.611 * * [progress]: iteration 3 / 4 12.611 * * * [progress]: picking best candidate 12.622 * * * * [pick]: Picked # 12.622 * * * [progress]: localizing error 12.640 * * * [progress]: generating rewritten candidates 12.640 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 12.643 * * * [progress]: generating series expansions 12.643 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 12.643 * [backup-simplify]: Simplify (sinh c) into (sinh c) 12.643 * [approximate]: Taking taylor expansion of (sinh c) in (c) around 0 12.643 * [taylor]: Taking taylor expansion of (sinh c) in c 12.643 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 12.643 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 12.643 * [taylor]: Taking taylor expansion of (exp c) in c 12.643 * [taylor]: Taking taylor expansion of c in c 12.643 * [backup-simplify]: Simplify 0 into 0 12.643 * [backup-simplify]: Simplify 1 into 1 12.643 * [backup-simplify]: Simplify (exp 0) into 1 12.643 * [taylor]: Taking taylor expansion of (exp (- c)) in c 12.643 * [taylor]: Taking taylor expansion of (- c) in c 12.644 * [taylor]: Taking taylor expansion of c in c 12.644 * [backup-simplify]: Simplify 0 into 0 12.644 * [backup-simplify]: Simplify 1 into 1 12.644 * [backup-simplify]: Simplify (- 0) into 0 12.645 * [backup-simplify]: Simplify (- 1) into -1 12.645 * [backup-simplify]: Simplify (exp 0) into 1 12.645 * [taylor]: Taking taylor expansion of 2 in c 12.645 * [backup-simplify]: Simplify 2 into 2 12.645 * [backup-simplify]: Simplify (- 1) into -1 12.645 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.646 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.647 * [backup-simplify]: Simplify (- 1) into -1 12.648 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.648 * [backup-simplify]: Simplify (- -1) into 1 12.649 * [backup-simplify]: Simplify (+ 1 1) into 2 12.649 * [backup-simplify]: Simplify (/ 2 2) into 1 12.649 * [taylor]: Taking taylor expansion of (sinh c) in c 12.649 * [taylor]: Rewrote expression to (/ (- (exp c) (exp (- c))) 2) 12.649 * [taylor]: Taking taylor expansion of (- (exp c) (exp (- c))) in c 12.649 * [taylor]: Taking taylor expansion of (exp c) in c 12.649 * [taylor]: Taking taylor expansion of c in c 12.649 * [backup-simplify]: Simplify 0 into 0 12.649 * [backup-simplify]: Simplify 1 into 1 12.649 * [backup-simplify]: Simplify (exp 0) into 1 12.650 * [taylor]: Taking taylor expansion of (exp (- c)) in c 12.650 * [taylor]: Taking taylor expansion of (- c) in c 12.650 * [taylor]: Taking taylor expansion of c in c 12.650 * [backup-simplify]: Simplify 0 into 0 12.650 * [backup-simplify]: Simplify 1 into 1 12.650 * [backup-simplify]: Simplify (- 0) into 0 12.650 * [backup-simplify]: Simplify (- 1) into -1 12.650 * [backup-simplify]: Simplify (exp 0) into 1 12.650 * [taylor]: Taking taylor expansion of 2 in c 12.650 * [backup-simplify]: Simplify 2 into 2 12.651 * [backup-simplify]: Simplify (- 1) into -1 12.651 * [backup-simplify]: Simplify (+ 1 -1) into 0 12.652 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 12.653 * [backup-simplify]: Simplify (- 1) into -1 12.654 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 12.654 * [backup-simplify]: Simplify (- -1) into 1 12.654 * [backup-simplify]: Simplify (+ 1 1) into 2 12.655 * [backup-simplify]: Simplify (/ 2 2) into 1 12.655 * [backup-simplify]: Simplify 1 into 1 12.657 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.657 * [backup-simplify]: Simplify (- 1) into -1 12.657 * [backup-simplify]: Simplify (- 0) into 0 12.659 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 12.660 * [backup-simplify]: Simplify (- 1/2) into -1/2 12.660 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 12.661 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 12.661 * [backup-simplify]: Simplify 0 into 0 12.663 * [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.664 * [backup-simplify]: Simplify (- 1) into -1 12.664 * [backup-simplify]: Simplify (- 1) into -1 12.665 * [backup-simplify]: Simplify (- 0) into 0 12.665 * [backup-simplify]: Simplify (- 0) into 0 12.674 * [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.674 * [backup-simplify]: Simplify (- -1/6) into 1/6 12.674 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 12.676 * [backup-simplify]: Simplify (- (/ 1/3 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/6 12.676 * [backup-simplify]: Simplify 1/6 into 1/6 12.680 * [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.681 * [backup-simplify]: Simplify (- 1) into -1 12.681 * [backup-simplify]: Simplify (- 1) into -1 12.681 * [backup-simplify]: Simplify (- 0) into 0 12.682 * [backup-simplify]: Simplify (- 1) into -1 12.682 * [backup-simplify]: Simplify (- 0) into 0 12.682 * [backup-simplify]: Simplify (- 0) into 0 12.683 * [backup-simplify]: Simplify (- 0) into 0 12.687 * [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.687 * [backup-simplify]: Simplify (- 1/24) into -1/24 12.688 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 12.689 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)))) into 0 12.689 * [backup-simplify]: Simplify 0 into 0 12.695 * [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.696 * [backup-simplify]: Simplify (- 1) into -1 12.696 * [backup-simplify]: Simplify (- 1) into -1 12.696 * [backup-simplify]: Simplify (- 0) into 0 12.697 * [backup-simplify]: Simplify (- 1) into -1 12.697 * [backup-simplify]: Simplify (- 0) into 0 12.697 * [backup-simplify]: Simplify (- 1) into -1 12.698 * [backup-simplify]: Simplify (- 0) into 0 12.698 * [backup-simplify]: Simplify (- 1) into -1 12.698 * [backup-simplify]: Simplify (- 0) into 0 12.699 * [backup-simplify]: Simplify (- 0) into 0 12.699 * [backup-simplify]: Simplify (- 0) into 0 12.700 * [backup-simplify]: Simplify (- 0) into 0 12.706 * [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.706 * [backup-simplify]: Simplify (- -1/120) into 1/120 12.706 * [backup-simplify]: Simplify (+ 1/120 1/120) into 1/60 12.708 * [backup-simplify]: Simplify (- (/ 1/60 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/6 (/ 0 2)) (* 0 (/ 0 2)))) into 1/120 12.708 * [backup-simplify]: Simplify 1/120 into 1/120 12.708 * [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.709 * [backup-simplify]: Simplify (sinh (/ 1 c)) into (sinh (/ 1 c)) 12.709 * [approximate]: Taking taylor expansion of (sinh (/ 1 c)) in (c) around 0 12.709 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 12.709 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 12.709 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 12.709 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 12.709 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.709 * [taylor]: Taking taylor expansion of c in c 12.709 * [backup-simplify]: Simplify 0 into 0 12.709 * [backup-simplify]: Simplify 1 into 1 12.709 * [backup-simplify]: Simplify (/ 1 1) into 1 12.709 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 12.709 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 12.709 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 12.709 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.710 * [taylor]: Taking taylor expansion of c in c 12.710 * [backup-simplify]: Simplify 0 into 0 12.710 * [backup-simplify]: Simplify 1 into 1 12.710 * [backup-simplify]: Simplify (/ 1 1) into 1 12.710 * [backup-simplify]: Simplify (- 1) into -1 12.710 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 12.710 * [taylor]: Taking taylor expansion of 2 in c 12.710 * [backup-simplify]: Simplify 2 into 2 12.711 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 12.711 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 12.711 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 12.711 * [taylor]: Taking taylor expansion of (sinh (/ 1 c)) in c 12.711 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 12.711 * [taylor]: Taking taylor expansion of (- (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 12.711 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 12.711 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.711 * [taylor]: Taking taylor expansion of c in c 12.711 * [backup-simplify]: Simplify 0 into 0 12.711 * [backup-simplify]: Simplify 1 into 1 12.712 * [backup-simplify]: Simplify (/ 1 1) into 1 12.712 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 12.712 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 12.712 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 12.712 * [taylor]: Taking taylor expansion of (/ 1 c) in c 12.712 * [taylor]: Taking taylor expansion of c in c 12.712 * [backup-simplify]: Simplify 0 into 0 12.712 * [backup-simplify]: Simplify 1 into 1 12.712 * [backup-simplify]: Simplify (/ 1 1) into 1 12.713 * [backup-simplify]: Simplify (- 1) into -1 12.713 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 12.713 * [taylor]: Taking taylor expansion of 2 in c 12.713 * [backup-simplify]: Simplify 2 into 2 12.713 * [backup-simplify]: Simplify (- (exp (- (/ 1 c)))) into (- (exp (- (/ 1 c)))) 12.713 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (- (exp (- (/ 1 c))))) into (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 12.714 * [backup-simplify]: Simplify (/ (- (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 12.714 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) 12.714 * [backup-simplify]: Simplify (- 0) into 0 12.715 * [backup-simplify]: Simplify (+ 0 0) into 0 12.716 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 12.716 * [backup-simplify]: Simplify 0 into 0 12.717 * [backup-simplify]: Simplify (- 0) into 0 12.717 * [backup-simplify]: Simplify (+ 0 0) into 0 12.718 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.718 * [backup-simplify]: Simplify 0 into 0 12.719 * [backup-simplify]: Simplify (- 0) into 0 12.719 * [backup-simplify]: Simplify (+ 0 0) into 0 12.721 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.721 * [backup-simplify]: Simplify 0 into 0 12.722 * [backup-simplify]: Simplify (- 0) into 0 12.722 * [backup-simplify]: Simplify (+ 0 0) into 0 12.724 * [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.724 * [backup-simplify]: Simplify 0 into 0 12.725 * [backup-simplify]: Simplify (- 0) into 0 12.725 * [backup-simplify]: Simplify (+ 0 0) into 0 12.728 * [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.728 * [backup-simplify]: Simplify 0 into 0 12.728 * [backup-simplify]: Simplify (- 0) into 0 12.729 * [backup-simplify]: Simplify (+ 0 0) into 0 12.732 * [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.732 * [backup-simplify]: Simplify 0 into 0 12.733 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (- (exp c) (exp (- c)))) 12.733 * [backup-simplify]: Simplify (sinh (/ 1 (- c))) into (sinh (/ -1 c)) 12.733 * [approximate]: Taking taylor expansion of (sinh (/ -1 c)) in (c) around 0 12.733 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 12.733 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 12.733 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 12.733 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 12.733 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.733 * [taylor]: Taking taylor expansion of -1 in c 12.733 * [backup-simplify]: Simplify -1 into -1 12.733 * [taylor]: Taking taylor expansion of c in c 12.733 * [backup-simplify]: Simplify 0 into 0 12.733 * [backup-simplify]: Simplify 1 into 1 12.734 * [backup-simplify]: Simplify (/ -1 1) into -1 12.734 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 12.734 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 12.734 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 12.734 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.734 * [taylor]: Taking taylor expansion of -1 in c 12.734 * [backup-simplify]: Simplify -1 into -1 12.734 * [taylor]: Taking taylor expansion of c in c 12.734 * [backup-simplify]: Simplify 0 into 0 12.734 * [backup-simplify]: Simplify 1 into 1 12.735 * [backup-simplify]: Simplify (/ -1 1) into -1 12.735 * [backup-simplify]: Simplify (- -1) into 1 12.735 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 12.735 * [taylor]: Taking taylor expansion of 2 in c 12.735 * [backup-simplify]: Simplify 2 into 2 12.735 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 12.735 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 12.736 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 12.736 * [taylor]: Taking taylor expansion of (sinh (/ -1 c)) in c 12.736 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 12.736 * [taylor]: Taking taylor expansion of (- (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 12.736 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 12.736 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.736 * [taylor]: Taking taylor expansion of -1 in c 12.736 * [backup-simplify]: Simplify -1 into -1 12.736 * [taylor]: Taking taylor expansion of c in c 12.736 * [backup-simplify]: Simplify 0 into 0 12.736 * [backup-simplify]: Simplify 1 into 1 12.736 * [backup-simplify]: Simplify (/ -1 1) into -1 12.737 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 12.737 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 12.737 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 12.737 * [taylor]: Taking taylor expansion of (/ -1 c) in c 12.737 * [taylor]: Taking taylor expansion of -1 in c 12.737 * [backup-simplify]: Simplify -1 into -1 12.737 * [taylor]: Taking taylor expansion of c in c 12.737 * [backup-simplify]: Simplify 0 into 0 12.737 * [backup-simplify]: Simplify 1 into 1 12.737 * [backup-simplify]: Simplify (/ -1 1) into -1 12.738 * [backup-simplify]: Simplify (- -1) into 1 12.738 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 12.738 * [taylor]: Taking taylor expansion of 2 in c 12.738 * [backup-simplify]: Simplify 2 into 2 12.738 * [backup-simplify]: Simplify (- (exp (/ 1 c))) into (- (exp (/ 1 c))) 12.738 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (- (exp (/ 1 c)))) into (- (exp (/ -1 c)) (exp (/ 1 c))) 12.738 * [backup-simplify]: Simplify (/ (- (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 12.738 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) 12.739 * [backup-simplify]: Simplify (- 0) into 0 12.739 * [backup-simplify]: Simplify (+ 0 0) into 0 12.740 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0 12.740 * [backup-simplify]: Simplify 0 into 0 12.741 * [backup-simplify]: Simplify (- 0) into 0 12.741 * [backup-simplify]: Simplify (+ 0 0) into 0 12.742 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.742 * [backup-simplify]: Simplify 0 into 0 12.743 * [backup-simplify]: Simplify (- 0) into 0 12.743 * [backup-simplify]: Simplify (+ 0 0) into 0 12.745 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.745 * [backup-simplify]: Simplify 0 into 0 12.746 * [backup-simplify]: Simplify (- 0) into 0 12.746 * [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)))) into 0 12.748 * [backup-simplify]: Simplify 0 into 0 12.749 * [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)))) into 0 12.752 * [backup-simplify]: Simplify 0 into 0 12.753 * [backup-simplify]: Simplify (- 0) into 0 12.753 * [backup-simplify]: Simplify (+ 0 0) into 0 12.756 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (- (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 12.756 * [backup-simplify]: Simplify 0 into 0 12.757 * [backup-simplify]: Simplify (* 1/2 (- (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (- (exp c) (exp (* -1 c)))) 12.757 * * * [progress]: simplifying candidates 12.757 * [simplify]: Simplifying: (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (* (* (sinh c) (sinh c)) (sinh c)) (sqrt (sinh c)) (sqrt (sinh c)) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (* -1 c)))) 12.758 * * [simplify]: Extracting # 0 : cost 0 12.758 * * [simplify]: Extracting # 1 : cost 0 12.758 * * [simplify]: Extracting # 2 : cost 0 12.758 * * [simplify]: Extracting # 3 : cost 0 12.758 * * [simplify]: Extracting # 4 : cost 0 12.758 * * [simplify]: Extracting # 5 : cost 0 12.758 * * [simplify]: Extracting # 6 : cost 0 12.758 * * [simplify]: Extracting # 7 : cost 0 12.758 * * [simplify]: Extracting # 8 : cost 0 12.758 * * [simplify]: iteration 0 : 32 enodes (cost 72 ) 12.770 * * [simplify]: Extracting # 0 : cost 0 12.770 * * [simplify]: Extracting # 1 : cost 0 12.771 * * [simplify]: Extracting # 2 : cost 0 12.771 * * [simplify]: Extracting # 3 : cost 0 12.771 * * [simplify]: Extracting # 4 : cost 0 12.771 * * [simplify]: iteration 1 : 62 enodes (cost 69 ) 12.795 * * [simplify]: Extracting # 0 : cost 0 12.795 * * [simplify]: Extracting # 1 : cost 0 12.796 * * [simplify]: Extracting # 2 : cost 0 12.796 * * [simplify]: Extracting # 3 : cost 0 12.796 * * [simplify]: iteration 2 : 133 enodes (cost 65 ) 12.832 * * [simplify]: Extracting # 0 : cost 0 12.832 * * [simplify]: Extracting # 1 : cost 0 12.832 * * [simplify]: Extracting # 2 : cost 0 12.833 * * [simplify]: Extracting # 3 : cost 0 12.833 * * [simplify]: iteration 3 : 289 enodes (cost 65 ) 12.915 * * [simplify]: Extracting # 0 : cost 0 12.916 * * [simplify]: Extracting # 1 : cost 0 12.916 * * [simplify]: Extracting # 2 : cost 0 12.917 * * [simplify]: Extracting # 3 : cost 0 12.917 * * [simplify]: Extracting # 4 : cost 0 12.918 * * [simplify]: iteration 4 : 679 enodes (cost 65 ) 13.505 * * [simplify]: Extracting # 0 : cost 0 13.512 * * [simplify]: Extracting # 1 : cost 0 13.518 * * [simplify]: Extracting # 2 : cost 0 13.523 * * [simplify]: Extracting # 3 : cost 0 13.528 * * [simplify]: Extracting # 4 : cost 0 13.533 * * [simplify]: iteration 5 : 2680 enodes (cost 65 ) 15.397 * * [simplify]: Extracting # 0 : cost 0 15.407 * * [simplify]: Extracting # 1 : cost 0 15.425 * * [simplify]: Extracting # 2 : cost 0 15.436 * * [simplify]: Extracting # 3 : cost 0 15.447 * * [simplify]: Extracting # 4 : cost 0 15.457 * * [simplify]: iteration done: 5000 enodes (cost 65 ) 15.457 * [simplify]: Simplified to: (expm1 (sinh c)) (log1p (sinh c)) (- (exp c) (exp (- c))) (log (sinh c)) (exp (sinh c)) (* (cbrt (sinh c)) (cbrt (sinh c))) (cbrt (sinh c)) (pow (sinh c) 3) (sqrt (sinh c)) (sqrt (sinh c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (* 1/2 (- (exp c) (exp (- c)))) (* 1/2 (- (exp c) (exp (- c)))) 15.458 * * * [progress]: adding candidates to table 15.525 * * [progress]: iteration 4 / 4 15.525 * * * [progress]: picking best candidate 15.537 * * * * [pick]: Picked # 15.537 * * * [progress]: localizing error 15.575 * * * [progress]: generating rewritten candidates 15.575 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 15.576 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 15.578 * * * [progress]: generating series expansions 15.578 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 15.578 * [backup-simplify]: Simplify (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) into (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) 15.578 * [approximate]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) in (c) around 0 15.578 * [taylor]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) in c 15.578 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) 15.578 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) in c 15.578 * [taylor]: Taking taylor expansion of 1 in c 15.578 * [backup-simplify]: Simplify 1 into 1 15.578 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 15.579 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) 15.579 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 15.579 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c 15.579 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c)) 15.579 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 15.579 * [taylor]: Taking taylor expansion of 1/6 in c 15.579 * [backup-simplify]: Simplify 1/6 into 1/6 15.579 * [taylor]: Taking taylor expansion of (pow c 3) in c 15.579 * [taylor]: Taking taylor expansion of c in c 15.579 * [backup-simplify]: Simplify 0 into 0 15.579 * [backup-simplify]: Simplify 1 into 1 15.579 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 15.579 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 15.579 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 15.579 * [taylor]: Taking taylor expansion of 1/120 in c 15.579 * [backup-simplify]: Simplify 1/120 into 1/120 15.579 * [taylor]: Taking taylor expansion of (pow c 5) in c 15.579 * [taylor]: Taking taylor expansion of c in c 15.579 * [backup-simplify]: Simplify 0 into 0 15.579 * [backup-simplify]: Simplify 1 into 1 15.579 * [taylor]: Taking taylor expansion of c in c 15.579 * [backup-simplify]: Simplify 0 into 0 15.579 * [backup-simplify]: Simplify 1 into 1 15.580 * [backup-simplify]: Simplify (+ 0 0) into 0 15.581 * [backup-simplify]: Simplify (+ 0 0) into 0 15.581 * [backup-simplify]: Simplify (+ 0 1) into 1 15.582 * [backup-simplify]: Simplify (+ 0 1) into 1 15.582 * [backup-simplify]: Simplify (exp 0) into 1 15.582 * [taylor]: Taking taylor expansion of 1 in c 15.582 * [backup-simplify]: Simplify 1 into 1 15.582 * [backup-simplify]: Simplify (- 1) into -1 15.583 * [backup-simplify]: Simplify (+ 1 -1) into 0 15.583 * [backup-simplify]: Simplify (+ 1 0) into 1 15.584 * [backup-simplify]: Simplify (log 1) into 0 15.584 * [taylor]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) in c 15.584 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) 15.584 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) in c 15.584 * [taylor]: Taking taylor expansion of 1 in c 15.584 * [backup-simplify]: Simplify 1 into 1 15.584 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 15.584 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) 15.584 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 15.584 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c 15.584 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c)) 15.584 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 15.584 * [taylor]: Taking taylor expansion of 1/6 in c 15.584 * [backup-simplify]: Simplify 1/6 into 1/6 15.584 * [taylor]: Taking taylor expansion of (pow c 3) in c 15.584 * [taylor]: Taking taylor expansion of c in c 15.584 * [backup-simplify]: Simplify 0 into 0 15.584 * [backup-simplify]: Simplify 1 into 1 15.585 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 15.585 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 15.585 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 15.585 * [taylor]: Taking taylor expansion of 1/120 in c 15.585 * [backup-simplify]: Simplify 1/120 into 1/120 15.585 * [taylor]: Taking taylor expansion of (pow c 5) in c 15.585 * [taylor]: Taking taylor expansion of c in c 15.585 * [backup-simplify]: Simplify 0 into 0 15.585 * [backup-simplify]: Simplify 1 into 1 15.585 * [taylor]: Taking taylor expansion of c in c 15.585 * [backup-simplify]: Simplify 0 into 0 15.585 * [backup-simplify]: Simplify 1 into 1 15.585 * [backup-simplify]: Simplify (+ 0 0) into 0 15.586 * [backup-simplify]: Simplify (+ 0 0) into 0 15.586 * [backup-simplify]: Simplify (+ 0 1) into 1 15.587 * [backup-simplify]: Simplify (+ 0 1) into 1 15.587 * [backup-simplify]: Simplify (exp 0) into 1 15.587 * [taylor]: Taking taylor expansion of 1 in c 15.587 * [backup-simplify]: Simplify 1 into 1 15.587 * [backup-simplify]: Simplify (- 1) into -1 15.588 * [backup-simplify]: Simplify (+ 1 -1) into 0 15.588 * [backup-simplify]: Simplify (+ 1 0) into 1 15.589 * [backup-simplify]: Simplify (log 1) into 0 15.589 * [backup-simplify]: Simplify 0 into 0 15.590 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.590 * [backup-simplify]: Simplify (- 0) into 0 15.591 * [backup-simplify]: Simplify (+ 1 0) into 1 15.591 * [backup-simplify]: Simplify (+ 0 1) into 1 15.593 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 15.593 * [backup-simplify]: Simplify 1 into 1 15.593 * [backup-simplify]: Simplify (+ 0 0) into 0 15.593 * [backup-simplify]: Simplify (+ 0 0) into 0 15.595 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.596 * [backup-simplify]: Simplify (- 0) into 0 15.596 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 15.596 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 15.599 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 1 1)))) 2) into 0 15.599 * [backup-simplify]: Simplify 0 into 0 15.600 * [backup-simplify]: Simplify (* 1 1) into 1 15.600 * [backup-simplify]: Simplify (* 1 1) into 1 15.600 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 15.600 * [backup-simplify]: Simplify (+ 0 0) into 0 15.601 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 15.602 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/6 1) 1)))) into 1/3 15.602 * [backup-simplify]: Simplify (- 0) into 0 15.603 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 15.603 * [backup-simplify]: Simplify (+ 0 1/3) into 1/3 15.606 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 1/3) 1)) (pow 1 1)))) 6) into 1/6 15.606 * [backup-simplify]: Simplify 1/6 into 1/6 15.606 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.607 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 15.607 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 15.607 * [backup-simplify]: Simplify (+ 0 0) into 0 15.608 * [backup-simplify]: Simplify (+ 0 0) into 0 15.610 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 1/6 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 5/24 15.610 * [backup-simplify]: Simplify (- 0) into 0 15.611 * [backup-simplify]: Simplify (+ 5/24 0) into 5/24 15.611 * [backup-simplify]: Simplify (+ 0 5/24) into 5/24 15.617 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 1) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 1) 2) (pow (* 2 1/2) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 1/2) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 1) 1) 1 (pow (* 6 1/3) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 5/24) 1)) (pow 1 1)))) 24) into 0 15.617 * [backup-simplify]: Simplify 0 into 0 15.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 15.619 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 15.619 * [backup-simplify]: Simplify (* 1 1) into 1 15.619 * [backup-simplify]: Simplify (* 1 1) into 1 15.620 * [backup-simplify]: Simplify (* 1 1) into 1 15.620 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 15.620 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 15.620 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 15.625 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 1/6 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 1/6 1) 1)) (* (/ (pow 1/120 1) 1)))) into 1/10 15.625 * [backup-simplify]: Simplify (- 0) into 0 15.625 * [backup-simplify]: Simplify (+ 1/10 0) into 1/10 15.626 * [backup-simplify]: Simplify (+ 0 1/10) into 1/10 15.644 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 1) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 1) 3) (pow (* 2 1/2) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 1) 1) (pow (* 2 1/2) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 1) 2) 1 (pow (* 6 1/3) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 1/2) 1) (pow (* 6 1/3) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 1) 1) 1 1 (pow (* 24 5/24) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 1/10) 1)) (pow 1 1)))) 120) into 1/120 15.644 * [backup-simplify]: Simplify 1/120 into 1/120 15.644 * [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)) 15.645 * [backup-simplify]: Simplify (log1p (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))))) into (log1p (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))))) 15.645 * [approximate]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))))) in (c) around 0 15.645 * [taylor]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))))) in c 15.645 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))))) 15.645 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))))) in c 15.645 * [taylor]: Taking taylor expansion of 1 in c 15.645 * [backup-simplify]: Simplify 1 into 1 15.645 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 15.645 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 15.645 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 15.645 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 15.645 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 15.645 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c 15.645 * [taylor]: Taking taylor expansion of 1/6 in c 15.645 * [backup-simplify]: Simplify 1/6 into 1/6 15.645 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c 15.645 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.645 * [taylor]: Taking taylor expansion of c in c 15.645 * [backup-simplify]: Simplify 0 into 0 15.645 * [backup-simplify]: Simplify 1 into 1 15.645 * [backup-simplify]: Simplify (/ 1 1) into 1 15.646 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 15.646 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 15.646 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 15.646 * [taylor]: Taking taylor expansion of 1/120 in c 15.646 * [backup-simplify]: Simplify 1/120 into 1/120 15.646 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 15.646 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.646 * [taylor]: Taking taylor expansion of c in c 15.646 * [backup-simplify]: Simplify 0 into 0 15.646 * [backup-simplify]: Simplify 1 into 1 15.646 * [backup-simplify]: Simplify (/ 1 1) into 1 15.646 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.646 * [taylor]: Taking taylor expansion of c in c 15.646 * [backup-simplify]: Simplify 0 into 0 15.646 * [backup-simplify]: Simplify 1 into 1 15.646 * [backup-simplify]: Simplify (/ 1 1) into 1 15.647 * [backup-simplify]: Simplify (* 1 1) into 1 15.647 * [backup-simplify]: Simplify (* 1 1) into 1 15.647 * [backup-simplify]: Simplify (* 1 1) into 1 15.647 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 15.648 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 15.648 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 15.648 * [backup-simplify]: Simplify (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) into (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 15.648 * [taylor]: Taking taylor expansion of 1 in c 15.648 * [backup-simplify]: Simplify 1 into 1 15.648 * [backup-simplify]: Simplify (- 1) into -1 15.649 * [backup-simplify]: Simplify (+ (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) -1) into (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 15.649 * [backup-simplify]: Simplify (+ 1 (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1)) into (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 15.649 * [backup-simplify]: Simplify (log (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))))) into (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 15.649 * [taylor]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))))) in c 15.649 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))))) 15.649 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))))) in c 15.649 * [taylor]: Taking taylor expansion of 1 in c 15.649 * [backup-simplify]: Simplify 1 into 1 15.649 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 15.649 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 15.649 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 15.649 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 15.649 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 15.650 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c 15.650 * [taylor]: Taking taylor expansion of 1/6 in c 15.650 * [backup-simplify]: Simplify 1/6 into 1/6 15.650 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c 15.650 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.650 * [taylor]: Taking taylor expansion of c in c 15.650 * [backup-simplify]: Simplify 0 into 0 15.650 * [backup-simplify]: Simplify 1 into 1 15.650 * [backup-simplify]: Simplify (/ 1 1) into 1 15.650 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 15.650 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 15.650 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 15.650 * [taylor]: Taking taylor expansion of 1/120 in c 15.650 * [backup-simplify]: Simplify 1/120 into 1/120 15.650 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 15.650 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.650 * [taylor]: Taking taylor expansion of c in c 15.650 * [backup-simplify]: Simplify 0 into 0 15.650 * [backup-simplify]: Simplify 1 into 1 15.650 * [backup-simplify]: Simplify (/ 1 1) into 1 15.650 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.650 * [taylor]: Taking taylor expansion of c in c 15.650 * [backup-simplify]: Simplify 0 into 0 15.650 * [backup-simplify]: Simplify 1 into 1 15.651 * [backup-simplify]: Simplify (/ 1 1) into 1 15.651 * [backup-simplify]: Simplify (* 1 1) into 1 15.651 * [backup-simplify]: Simplify (* 1 1) into 1 15.651 * [backup-simplify]: Simplify (* 1 1) into 1 15.652 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 15.652 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 15.652 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 15.652 * [backup-simplify]: Simplify (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) into (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 15.652 * [taylor]: Taking taylor expansion of 1 in c 15.653 * [backup-simplify]: Simplify 1 into 1 15.653 * [backup-simplify]: Simplify (- 1) into -1 15.653 * [backup-simplify]: Simplify (+ (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) -1) into (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 15.653 * [backup-simplify]: Simplify (+ 1 (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1)) into (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 15.654 * [backup-simplify]: Simplify (log (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))))) into (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 15.654 * [backup-simplify]: Simplify (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) into (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 15.654 * [backup-simplify]: Simplify (- 0) into 0 15.654 * [backup-simplify]: Simplify (+ 0 0) into 0 15.655 * [backup-simplify]: Simplify (+ 0 0) into 0 15.655 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1)))) 1) into 0 15.655 * [backup-simplify]: Simplify 0 into 0 15.656 * [backup-simplify]: Simplify (- 0) into 0 15.656 * [backup-simplify]: Simplify (+ 0 0) into 0 15.656 * [backup-simplify]: Simplify (+ 0 0) into 0 15.657 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1)))) 2) into 0 15.657 * [backup-simplify]: Simplify 0 into 0 15.664 * [backup-simplify]: Simplify (- 0) into 0 15.664 * [backup-simplify]: Simplify (+ 0 0) into 0 15.664 * [backup-simplify]: Simplify (+ 0 0) into 0 15.667 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1)))) 6) into 0 15.667 * [backup-simplify]: Simplify 0 into 0 15.667 * [backup-simplify]: Simplify (- 0) into 0 15.667 * [backup-simplify]: Simplify (+ 0 0) into 0 15.667 * [backup-simplify]: Simplify (+ 0 0) into 0 15.672 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1)))) 24) into 0 15.672 * [backup-simplify]: Simplify 0 into 0 15.672 * [backup-simplify]: Simplify (- 0) into 0 15.672 * [backup-simplify]: Simplify (+ 0 0) into 0 15.672 * [backup-simplify]: Simplify (+ 0 0) into 0 15.678 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1)))) 120) into 0 15.679 * [backup-simplify]: Simplify 0 into 0 15.679 * [backup-simplify]: Simplify (- 0) into 0 15.679 * [backup-simplify]: Simplify (+ 0 0) into 0 15.680 * [backup-simplify]: Simplify (+ 0 0) into 0 15.696 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1)))) 720) into 0 15.696 * [backup-simplify]: Simplify 0 into 0 15.696 * [backup-simplify]: Simplify (fma 1/6 (pow (/ 1 (/ 1 c)) 3) (fma 1/120 (pow (/ 1 (/ 1 c)) 5) (/ 1 (/ 1 c)))) into (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) 15.696 * [backup-simplify]: Simplify (log1p (expm1 (fma 1/6 (pow (/ 1 (- c)) 3) (fma 1/120 (pow (/ 1 (- c)) 5) (/ 1 (- c)))))) into (log1p (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))))) 15.696 * [approximate]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))))) in (c) around 0 15.696 * [taylor]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))))) in c 15.696 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))))) 15.696 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))))) in c 15.696 * [taylor]: Taking taylor expansion of 1 in c 15.696 * [backup-simplify]: Simplify 1 into 1 15.696 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 15.696 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 15.697 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 15.697 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 15.697 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 15.697 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c 15.697 * [taylor]: Taking taylor expansion of 1/6 in c 15.697 * [backup-simplify]: Simplify 1/6 into 1/6 15.697 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c 15.697 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.697 * [taylor]: Taking taylor expansion of -1 in c 15.697 * [backup-simplify]: Simplify -1 into -1 15.697 * [taylor]: Taking taylor expansion of c in c 15.697 * [backup-simplify]: Simplify 0 into 0 15.697 * [backup-simplify]: Simplify 1 into 1 15.697 * [backup-simplify]: Simplify (/ -1 1) into -1 15.697 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 15.697 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 15.697 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 15.697 * [taylor]: Taking taylor expansion of 1/120 in c 15.697 * [backup-simplify]: Simplify 1/120 into 1/120 15.697 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 15.697 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.697 * [taylor]: Taking taylor expansion of -1 in c 15.697 * [backup-simplify]: Simplify -1 into -1 15.697 * [taylor]: Taking taylor expansion of c in c 15.697 * [backup-simplify]: Simplify 0 into 0 15.697 * [backup-simplify]: Simplify 1 into 1 15.698 * [backup-simplify]: Simplify (/ -1 1) into -1 15.698 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.698 * [taylor]: Taking taylor expansion of -1 in c 15.698 * [backup-simplify]: Simplify -1 into -1 15.698 * [taylor]: Taking taylor expansion of c in c 15.698 * [backup-simplify]: Simplify 0 into 0 15.698 * [backup-simplify]: Simplify 1 into 1 15.698 * [backup-simplify]: Simplify (/ -1 1) into -1 15.698 * [backup-simplify]: Simplify (* -1 -1) into 1 15.699 * [backup-simplify]: Simplify (* 1 1) into 1 15.699 * [backup-simplify]: Simplify (* -1 1) into -1 15.699 * [backup-simplify]: Simplify (* 1/120 -1) into -1/120 15.700 * [backup-simplify]: Simplify (+ -1/120 0) into -1/120 15.700 * [backup-simplify]: Simplify (+ 0 -1/120) into -1/120 15.700 * [backup-simplify]: Simplify (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) into (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 15.700 * [taylor]: Taking taylor expansion of 1 in c 15.700 * [backup-simplify]: Simplify 1 into 1 15.700 * [backup-simplify]: Simplify (- 1) into -1 15.701 * [backup-simplify]: Simplify (+ (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) -1) into (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 15.701 * [backup-simplify]: Simplify (+ 1 (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1)) into (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 15.701 * [backup-simplify]: Simplify (log (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))))) into (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 15.701 * [taylor]: Taking taylor expansion of (log1p (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))))) in c 15.701 * [taylor]: Rewrote expression to (log (+ 1 (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))))) 15.701 * [taylor]: Taking taylor expansion of (+ 1 (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))))) in c 15.701 * [taylor]: Taking taylor expansion of 1 in c 15.701 * [backup-simplify]: Simplify 1 into 1 15.701 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 15.701 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 15.701 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 15.701 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 15.701 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 15.701 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c 15.702 * [taylor]: Taking taylor expansion of 1/6 in c 15.702 * [backup-simplify]: Simplify 1/6 into 1/6 15.702 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c 15.702 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.702 * [taylor]: Taking taylor expansion of -1 in c 15.702 * [backup-simplify]: Simplify -1 into -1 15.702 * [taylor]: Taking taylor expansion of c in c 15.702 * [backup-simplify]: Simplify 0 into 0 15.702 * [backup-simplify]: Simplify 1 into 1 15.702 * [backup-simplify]: Simplify (/ -1 1) into -1 15.702 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 15.702 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 15.702 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 15.702 * [taylor]: Taking taylor expansion of 1/120 in c 15.702 * [backup-simplify]: Simplify 1/120 into 1/120 15.702 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 15.702 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.702 * [taylor]: Taking taylor expansion of -1 in c 15.702 * [backup-simplify]: Simplify -1 into -1 15.702 * [taylor]: Taking taylor expansion of c in c 15.702 * [backup-simplify]: Simplify 0 into 0 15.702 * [backup-simplify]: Simplify 1 into 1 15.702 * [backup-simplify]: Simplify (/ -1 1) into -1 15.703 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.703 * [taylor]: Taking taylor expansion of -1 in c 15.703 * [backup-simplify]: Simplify -1 into -1 15.703 * [taylor]: Taking taylor expansion of c in c 15.703 * [backup-simplify]: Simplify 0 into 0 15.703 * [backup-simplify]: Simplify 1 into 1 15.703 * [backup-simplify]: Simplify (/ -1 1) into -1 15.703 * [backup-simplify]: Simplify (* -1 -1) into 1 15.703 * [backup-simplify]: Simplify (* 1 1) into 1 15.704 * [backup-simplify]: Simplify (* -1 1) into -1 15.704 * [backup-simplify]: Simplify (* 1/120 -1) into -1/120 15.704 * [backup-simplify]: Simplify (+ -1/120 0) into -1/120 15.704 * [backup-simplify]: Simplify (+ 0 -1/120) into -1/120 15.705 * [backup-simplify]: Simplify (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) into (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 15.705 * [taylor]: Taking taylor expansion of 1 in c 15.705 * [backup-simplify]: Simplify 1 into 1 15.705 * [backup-simplify]: Simplify (- 1) into -1 15.705 * [backup-simplify]: Simplify (+ (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) -1) into (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 15.705 * [backup-simplify]: Simplify (+ 1 (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1)) into (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 15.706 * [backup-simplify]: Simplify (log (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))))) into (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 15.706 * [backup-simplify]: Simplify (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) into (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 15.706 * [backup-simplify]: Simplify (- 0) into 0 15.706 * [backup-simplify]: Simplify (+ 0 0) into 0 15.707 * [backup-simplify]: Simplify (+ 0 0) into 0 15.707 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1)))) 1) into 0 15.707 * [backup-simplify]: Simplify 0 into 0 15.708 * [backup-simplify]: Simplify (- 0) into 0 15.708 * [backup-simplify]: Simplify (+ 0 0) into 0 15.708 * [backup-simplify]: Simplify (+ 0 0) into 0 15.709 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1)))) 2) into 0 15.709 * [backup-simplify]: Simplify 0 into 0 15.710 * [backup-simplify]: Simplify (- 0) into 0 15.710 * [backup-simplify]: Simplify (+ 0 0) into 0 15.710 * [backup-simplify]: Simplify (+ 0 0) into 0 15.712 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1)))) 6) into 0 15.712 * [backup-simplify]: Simplify 0 into 0 15.713 * [backup-simplify]: Simplify (- 0) into 0 15.713 * [backup-simplify]: Simplify (+ 0 0) into 0 15.713 * [backup-simplify]: Simplify (+ 0 0) into 0 15.719 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1)))) 24) into 0 15.719 * [backup-simplify]: Simplify 0 into 0 15.719 * [backup-simplify]: Simplify (- 0) into 0 15.720 * [backup-simplify]: Simplify (+ 0 0) into 0 15.720 * [backup-simplify]: Simplify (+ 0 0) into 0 15.730 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1)))) 120) into 0 15.731 * [backup-simplify]: Simplify 0 into 0 15.731 * [backup-simplify]: Simplify (- 0) into 0 15.731 * [backup-simplify]: Simplify (+ 0 0) into 0 15.732 * [backup-simplify]: Simplify (+ 0 0) into 0 15.741 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1)))) 720) into 0 15.741 * [backup-simplify]: Simplify 0 into 0 15.741 * [backup-simplify]: Simplify (fma 1/6 (pow (/ -1 (/ 1 (- c))) 3) (fma 1/120 (pow (/ -1 (/ 1 (- c))) 5) (/ -1 (/ 1 (- c))))) into (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) 15.741 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 15.741 * [backup-simplify]: Simplify (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) into (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 15.741 * [approximate]: Taking taylor expansion of (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in (c) around 0 15.741 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 15.742 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) 15.742 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 15.742 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c 15.742 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c)) 15.742 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 15.742 * [taylor]: Taking taylor expansion of 1/6 in c 15.742 * [backup-simplify]: Simplify 1/6 into 1/6 15.742 * [taylor]: Taking taylor expansion of (pow c 3) in c 15.742 * [taylor]: Taking taylor expansion of c in c 15.742 * [backup-simplify]: Simplify 0 into 0 15.742 * [backup-simplify]: Simplify 1 into 1 15.742 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 15.742 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 15.742 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 15.742 * [taylor]: Taking taylor expansion of 1/120 in c 15.742 * [backup-simplify]: Simplify 1/120 into 1/120 15.742 * [taylor]: Taking taylor expansion of (pow c 5) in c 15.742 * [taylor]: Taking taylor expansion of c in c 15.742 * [backup-simplify]: Simplify 0 into 0 15.742 * [backup-simplify]: Simplify 1 into 1 15.742 * [taylor]: Taking taylor expansion of c in c 15.742 * [backup-simplify]: Simplify 0 into 0 15.742 * [backup-simplify]: Simplify 1 into 1 15.742 * [backup-simplify]: Simplify (+ 0 0) into 0 15.743 * [backup-simplify]: Simplify (+ 0 0) into 0 15.743 * [backup-simplify]: Simplify (+ 0 1) into 1 15.743 * [backup-simplify]: Simplify (+ 0 1) into 1 15.743 * [backup-simplify]: Simplify (exp 0) into 1 15.743 * [taylor]: Taking taylor expansion of 1 in c 15.743 * [backup-simplify]: Simplify 1 into 1 15.743 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 15.743 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) 15.743 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) in c 15.743 * [taylor]: Taking taylor expansion of (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) in c 15.743 * [taylor]: Rewrote expression to (+ (* 1/6 (pow c 3)) (fma 1/120 (pow c 5) c)) 15.743 * [taylor]: Taking taylor expansion of (* 1/6 (pow c 3)) in c 15.743 * [taylor]: Taking taylor expansion of 1/6 in c 15.743 * [backup-simplify]: Simplify 1/6 into 1/6 15.743 * [taylor]: Taking taylor expansion of (pow c 3) in c 15.744 * [taylor]: Taking taylor expansion of c in c 15.744 * [backup-simplify]: Simplify 0 into 0 15.744 * [backup-simplify]: Simplify 1 into 1 15.744 * [taylor]: Taking taylor expansion of (fma 1/120 (pow c 5) c) in c 15.744 * [taylor]: Rewrote expression to (+ (* 1/120 (pow c 5)) c) 15.744 * [taylor]: Taking taylor expansion of (* 1/120 (pow c 5)) in c 15.744 * [taylor]: Taking taylor expansion of 1/120 in c 15.744 * [backup-simplify]: Simplify 1/120 into 1/120 15.744 * [taylor]: Taking taylor expansion of (pow c 5) in c 15.744 * [taylor]: Taking taylor expansion of c in c 15.744 * [backup-simplify]: Simplify 0 into 0 15.744 * [backup-simplify]: Simplify 1 into 1 15.744 * [taylor]: Taking taylor expansion of c in c 15.744 * [backup-simplify]: Simplify 0 into 0 15.744 * [backup-simplify]: Simplify 1 into 1 15.744 * [backup-simplify]: Simplify (+ 0 0) into 0 15.744 * [backup-simplify]: Simplify (+ 0 0) into 0 15.745 * [backup-simplify]: Simplify (+ 0 1) into 1 15.745 * [backup-simplify]: Simplify (+ 0 1) into 1 15.745 * [backup-simplify]: Simplify (exp 0) into 1 15.745 * [taylor]: Taking taylor expansion of 1 in c 15.745 * [backup-simplify]: Simplify 1 into 1 15.745 * [backup-simplify]: Simplify (- 1) into -1 15.745 * [backup-simplify]: Simplify (+ 1 -1) into 0 15.745 * [backup-simplify]: Simplify 0 into 0 15.746 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 15.746 * [backup-simplify]: Simplify (- 0) into 0 15.746 * [backup-simplify]: Simplify (+ 1 0) into 1 15.747 * [backup-simplify]: Simplify 1 into 1 15.747 * [backup-simplify]: Simplify (+ 0 0) into 0 15.747 * [backup-simplify]: Simplify (+ 0 0) into 0 15.748 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 15.748 * [backup-simplify]: Simplify (- 0) into 0 15.748 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 15.748 * [backup-simplify]: Simplify 1/2 into 1/2 15.749 * [backup-simplify]: Simplify (* 1 1) into 1 15.749 * [backup-simplify]: Simplify (* 1 1) into 1 15.749 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 15.750 * [backup-simplify]: Simplify (+ 0 0) into 0 15.750 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 15.752 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/6 1) 1)))) into 1/3 15.753 * [backup-simplify]: Simplify (- 0) into 0 15.753 * [backup-simplify]: Simplify (+ 1/3 0) into 1/3 15.753 * [backup-simplify]: Simplify 1/3 into 1/3 15.754 * [backup-simplify]: Simplify (+ (* 1/3 (pow c 3)) (+ (* 1/2 (pow c 2)) (* 1 c))) into (+ (* 1/3 (pow c 3)) (+ (* 1/2 (pow c 2)) c)) 15.754 * [backup-simplify]: Simplify (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) into (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 15.754 * [approximate]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in (c) around 0 15.754 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 15.754 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 15.754 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 15.754 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 15.755 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 15.755 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c 15.755 * [taylor]: Taking taylor expansion of 1/6 in c 15.755 * [backup-simplify]: Simplify 1/6 into 1/6 15.755 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c 15.755 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.755 * [taylor]: Taking taylor expansion of c in c 15.755 * [backup-simplify]: Simplify 0 into 0 15.755 * [backup-simplify]: Simplify 1 into 1 15.756 * [backup-simplify]: Simplify (/ 1 1) into 1 15.756 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 15.756 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 15.756 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 15.756 * [taylor]: Taking taylor expansion of 1/120 in c 15.756 * [backup-simplify]: Simplify 1/120 into 1/120 15.756 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 15.756 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.756 * [taylor]: Taking taylor expansion of c in c 15.756 * [backup-simplify]: Simplify 0 into 0 15.756 * [backup-simplify]: Simplify 1 into 1 15.757 * [backup-simplify]: Simplify (/ 1 1) into 1 15.757 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.757 * [taylor]: Taking taylor expansion of c in c 15.757 * [backup-simplify]: Simplify 0 into 0 15.757 * [backup-simplify]: Simplify 1 into 1 15.757 * [backup-simplify]: Simplify (/ 1 1) into 1 15.758 * [backup-simplify]: Simplify (* 1 1) into 1 15.758 * [backup-simplify]: Simplify (* 1 1) into 1 15.758 * [backup-simplify]: Simplify (* 1 1) into 1 15.759 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 15.759 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 15.760 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 15.760 * [backup-simplify]: Simplify (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) into (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 15.760 * [taylor]: Taking taylor expansion of 1 in c 15.760 * [backup-simplify]: Simplify 1 into 1 15.760 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 15.760 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 15.760 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) in c 15.760 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) in c 15.761 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ 1 c) 3)) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c))) 15.761 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ 1 c) 3)) in c 15.761 * [taylor]: Taking taylor expansion of 1/6 in c 15.761 * [backup-simplify]: Simplify 1/6 into 1/6 15.761 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 3) in c 15.761 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.761 * [taylor]: Taking taylor expansion of c in c 15.761 * [backup-simplify]: Simplify 0 into 0 15.761 * [backup-simplify]: Simplify 1 into 1 15.761 * [backup-simplify]: Simplify (/ 1 1) into 1 15.761 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)) in c 15.762 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ 1 c) 5)) (/ 1 c)) 15.762 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ 1 c) 5)) in c 15.762 * [taylor]: Taking taylor expansion of 1/120 in c 15.762 * [backup-simplify]: Simplify 1/120 into 1/120 15.762 * [taylor]: Taking taylor expansion of (pow (/ 1 c) 5) in c 15.762 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.762 * [taylor]: Taking taylor expansion of c in c 15.762 * [backup-simplify]: Simplify 0 into 0 15.762 * [backup-simplify]: Simplify 1 into 1 15.762 * [backup-simplify]: Simplify (/ 1 1) into 1 15.762 * [taylor]: Taking taylor expansion of (/ 1 c) in c 15.762 * [taylor]: Taking taylor expansion of c in c 15.762 * [backup-simplify]: Simplify 0 into 0 15.762 * [backup-simplify]: Simplify 1 into 1 15.763 * [backup-simplify]: Simplify (/ 1 1) into 1 15.763 * [backup-simplify]: Simplify (* 1 1) into 1 15.764 * [backup-simplify]: Simplify (* 1 1) into 1 15.764 * [backup-simplify]: Simplify (* 1 1) into 1 15.764 * [backup-simplify]: Simplify (* 1/120 1) into 1/120 15.765 * [backup-simplify]: Simplify (+ 1/120 0) into 1/120 15.765 * [backup-simplify]: Simplify (+ 0 1/120) into 1/120 15.766 * [backup-simplify]: Simplify (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) into (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 15.766 * [taylor]: Taking taylor expansion of 1 in c 15.766 * [backup-simplify]: Simplify 1 into 1 15.766 * [backup-simplify]: Simplify (- 1) into -1 15.767 * [backup-simplify]: Simplify (+ (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) -1) into (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 15.767 * [backup-simplify]: Simplify (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) into (- (exp (fma 1/6 (pow (/ 1 c) 3) (fma 1/120 (pow (/ 1 c) 5) (/ 1 c)))) 1) 15.768 * [backup-simplify]: Simplify (- 0) into 0 15.768 * [backup-simplify]: Simplify (+ 0 0) into 0 15.768 * [backup-simplify]: Simplify 0 into 0 15.769 * [backup-simplify]: Simplify (- 0) into 0 15.769 * [backup-simplify]: Simplify (+ 0 0) into 0 15.769 * [backup-simplify]: Simplify 0 into 0 15.769 * [backup-simplify]: Simplify (- 0) into 0 15.770 * [backup-simplify]: Simplify (+ 0 0) into 0 15.770 * [backup-simplify]: Simplify 0 into 0 15.770 * [backup-simplify]: Simplify (- 0) into 0 15.770 * [backup-simplify]: Simplify (+ 0 0) into 0 15.771 * [backup-simplify]: Simplify 0 into 0 15.771 * [backup-simplify]: Simplify (- 0) into 0 15.771 * [backup-simplify]: Simplify (+ 0 0) into 0 15.771 * [backup-simplify]: Simplify 0 into 0 15.772 * [backup-simplify]: Simplify (- 0) into 0 15.772 * [backup-simplify]: Simplify (+ 0 0) into 0 15.772 * [backup-simplify]: Simplify 0 into 0 15.773 * [backup-simplify]: Simplify (- (exp (fma 1/6 (pow (/ 1 (/ 1 c)) 3) (fma 1/120 (pow (/ 1 (/ 1 c)) 5) (/ 1 (/ 1 c))))) 1) into (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) 15.773 * [backup-simplify]: Simplify (expm1 (fma 1/6 (pow (/ 1 (- c)) 3) (fma 1/120 (pow (/ 1 (- c)) 5) (/ 1 (- c))))) into (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 15.773 * [approximate]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in (c) around 0 15.773 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 15.773 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 15.773 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 15.773 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 15.774 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 15.774 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c 15.774 * [taylor]: Taking taylor expansion of 1/6 in c 15.774 * [backup-simplify]: Simplify 1/6 into 1/6 15.774 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c 15.774 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.774 * [taylor]: Taking taylor expansion of -1 in c 15.774 * [backup-simplify]: Simplify -1 into -1 15.774 * [taylor]: Taking taylor expansion of c in c 15.774 * [backup-simplify]: Simplify 0 into 0 15.774 * [backup-simplify]: Simplify 1 into 1 15.775 * [backup-simplify]: Simplify (/ -1 1) into -1 15.775 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 15.775 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 15.775 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 15.775 * [taylor]: Taking taylor expansion of 1/120 in c 15.775 * [backup-simplify]: Simplify 1/120 into 1/120 15.775 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 15.775 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.775 * [taylor]: Taking taylor expansion of -1 in c 15.775 * [backup-simplify]: Simplify -1 into -1 15.775 * [taylor]: Taking taylor expansion of c in c 15.775 * [backup-simplify]: Simplify 0 into 0 15.775 * [backup-simplify]: Simplify 1 into 1 15.776 * [backup-simplify]: Simplify (/ -1 1) into -1 15.776 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.776 * [taylor]: Taking taylor expansion of -1 in c 15.776 * [backup-simplify]: Simplify -1 into -1 15.776 * [taylor]: Taking taylor expansion of c in c 15.776 * [backup-simplify]: Simplify 0 into 0 15.776 * [backup-simplify]: Simplify 1 into 1 15.777 * [backup-simplify]: Simplify (/ -1 1) into -1 15.777 * [backup-simplify]: Simplify (* -1 -1) into 1 15.778 * [backup-simplify]: Simplify (* 1 1) into 1 15.778 * [backup-simplify]: Simplify (* -1 1) into -1 15.779 * [backup-simplify]: Simplify (* 1/120 -1) into -1/120 15.779 * [backup-simplify]: Simplify (+ -1/120 0) into -1/120 15.780 * [backup-simplify]: Simplify (+ 0 -1/120) into -1/120 15.780 * [backup-simplify]: Simplify (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) into (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 15.781 * [taylor]: Taking taylor expansion of 1 in c 15.781 * [backup-simplify]: Simplify 1 into 1 15.781 * [taylor]: Taking taylor expansion of (expm1 (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 15.781 * [taylor]: Rewrote expression to (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 15.781 * [taylor]: Taking taylor expansion of (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) in c 15.781 * [taylor]: Taking taylor expansion of (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) in c 15.781 * [taylor]: Rewrote expression to (+ (* 1/6 (pow (/ -1 c) 3)) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c))) 15.781 * [taylor]: Taking taylor expansion of (* 1/6 (pow (/ -1 c) 3)) in c 15.781 * [taylor]: Taking taylor expansion of 1/6 in c 15.781 * [backup-simplify]: Simplify 1/6 into 1/6 15.781 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 3) in c 15.781 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.781 * [taylor]: Taking taylor expansion of -1 in c 15.781 * [backup-simplify]: Simplify -1 into -1 15.781 * [taylor]: Taking taylor expansion of c in c 15.781 * [backup-simplify]: Simplify 0 into 0 15.781 * [backup-simplify]: Simplify 1 into 1 15.782 * [backup-simplify]: Simplify (/ -1 1) into -1 15.782 * [taylor]: Taking taylor expansion of (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)) in c 15.782 * [taylor]: Rewrote expression to (+ (* 1/120 (pow (/ -1 c) 5)) (/ -1 c)) 15.782 * [taylor]: Taking taylor expansion of (* 1/120 (pow (/ -1 c) 5)) in c 15.782 * [taylor]: Taking taylor expansion of 1/120 in c 15.782 * [backup-simplify]: Simplify 1/120 into 1/120 15.782 * [taylor]: Taking taylor expansion of (pow (/ -1 c) 5) in c 15.782 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.782 * [taylor]: Taking taylor expansion of -1 in c 15.782 * [backup-simplify]: Simplify -1 into -1 15.782 * [taylor]: Taking taylor expansion of c in c 15.782 * [backup-simplify]: Simplify 0 into 0 15.782 * [backup-simplify]: Simplify 1 into 1 15.783 * [backup-simplify]: Simplify (/ -1 1) into -1 15.783 * [taylor]: Taking taylor expansion of (/ -1 c) in c 15.783 * [taylor]: Taking taylor expansion of -1 in c 15.783 * [backup-simplify]: Simplify -1 into -1 15.783 * [taylor]: Taking taylor expansion of c in c 15.783 * [backup-simplify]: Simplify 0 into 0 15.783 * [backup-simplify]: Simplify 1 into 1 15.784 * [backup-simplify]: Simplify (/ -1 1) into -1 15.784 * [backup-simplify]: Simplify (* -1 -1) into 1 15.784 * [backup-simplify]: Simplify (* 1 1) into 1 15.785 * [backup-simplify]: Simplify (* -1 1) into -1 15.785 * [backup-simplify]: Simplify (* 1/120 -1) into -1/120 15.786 * [backup-simplify]: Simplify (+ -1/120 0) into -1/120 15.786 * [backup-simplify]: Simplify (+ 0 -1/120) into -1/120 15.787 * [backup-simplify]: Simplify (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) into (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 15.787 * [taylor]: Taking taylor expansion of 1 in c 15.787 * [backup-simplify]: Simplify 1 into 1 15.787 * [backup-simplify]: Simplify (- 1) into -1 15.787 * [backup-simplify]: Simplify (+ (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) -1) into (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 15.788 * [backup-simplify]: Simplify (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) into (- (exp (fma 1/6 (pow (/ -1 c) 3) (fma 1/120 (pow (/ -1 c) 5) (/ -1 c)))) 1) 15.788 * [backup-simplify]: Simplify (- 0) into 0 15.793 * [backup-simplify]: Simplify (+ 0 0) into 0 15.794 * [backup-simplify]: Simplify 0 into 0 15.794 * [backup-simplify]: Simplify (- 0) into 0 15.795 * [backup-simplify]: Simplify (+ 0 0) into 0 15.795 * [backup-simplify]: Simplify 0 into 0 15.795 * [backup-simplify]: Simplify (- 0) into 0 15.795 * [backup-simplify]: Simplify (+ 0 0) into 0 15.795 * [backup-simplify]: Simplify 0 into 0 15.796 * [backup-simplify]: Simplify (- 0) into 0 15.796 * [backup-simplify]: Simplify (+ 0 0) into 0 15.796 * [backup-simplify]: Simplify 0 into 0 15.797 * [backup-simplify]: Simplify (- 0) into 0 15.797 * [backup-simplify]: Simplify (+ 0 0) into 0 15.797 * [backup-simplify]: Simplify 0 into 0 15.797 * [backup-simplify]: Simplify (- 0) into 0 15.798 * [backup-simplify]: Simplify (+ 0 0) into 0 15.798 * [backup-simplify]: Simplify 0 into 0 15.798 * [backup-simplify]: Simplify (- (exp (fma 1/6 (pow (/ -1 (/ 1 (- c))) 3) (fma 1/120 (pow (/ -1 (/ 1 (- c))) 5) (/ -1 (/ 1 (- c)))))) 1) into (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) 15.799 * * * [progress]: simplifying candidates 15.800 * [simplify]: Simplifying: (+ 1 (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (expm1 (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (log1p (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (log (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (exp (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (* (cbrt (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (cbrt (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))))) (cbrt (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (* (* (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (sqrt (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (sqrt (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (expm1 (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (log1p (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (log (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (exp (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (* (cbrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (cbrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (cbrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (* (* (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (sqrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (sqrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (+ (* 1/6 (pow c 3)) (+ (* 1/120 (pow c 5)) c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (+ (* 1/3 (pow c 3)) (+ (* 1/2 (pow c 2)) c)) (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) (- (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 1) 15.801 * * [simplify]: Extracting # 0 : cost 0 15.801 * * [simplify]: Extracting # 1 : cost 0 15.801 * * [simplify]: Extracting # 2 : cost 0 15.801 * * [simplify]: Extracting # 3 : cost 0 15.801 * * [simplify]: Extracting # 4 : cost 0 15.801 * * [simplify]: Extracting # 5 : cost 0 15.802 * * [simplify]: Extracting # 6 : cost 0 15.802 * * [simplify]: Extracting # 7 : cost 0 15.802 * * [simplify]: iteration 0 : 44 enodes (cost 426 ) 15.819 * * [simplify]: Extracting # 0 : cost 0 15.819 * * [simplify]: Extracting # 1 : cost 0 15.819 * * [simplify]: Extracting # 2 : cost 0 15.819 * * [simplify]: Extracting # 3 : cost 0 15.820 * * [simplify]: Extracting # 4 : cost 0 15.820 * * [simplify]: iteration 1 : 80 enodes (cost 392 ) 15.847 * * [simplify]: Extracting # 0 : cost 0 15.847 * * [simplify]: Extracting # 1 : cost 0 15.847 * * [simplify]: Extracting # 2 : cost 0 15.848 * * [simplify]: Extracting # 3 : cost 0 15.848 * * [simplify]: Extracting # 4 : cost 0 15.848 * * [simplify]: iteration 2 : 214 enodes (cost 346 ) 15.970 * * [simplify]: Extracting # 0 : cost 0 15.971 * * [simplify]: Extracting # 1 : cost 0 15.972 * * [simplify]: Extracting # 2 : cost 0 15.973 * * [simplify]: Extracting # 3 : cost 0 15.973 * * [simplify]: Extracting # 4 : cost 0 15.974 * * [simplify]: iteration 3 : 835 enodes (cost 344 ) 17.402 * * [simplify]: Extracting # 0 : cost 0 17.408 * * [simplify]: Extracting # 1 : cost 0 17.412 * * [simplify]: Extracting # 2 : cost 0 17.416 * * [simplify]: Extracting # 3 : cost 0 17.425 * * [simplify]: Extracting # 4 : cost 0 17.429 * * [simplify]: iteration 4 : 4895 enodes (cost 342 ) 20.041 * * [simplify]: Extracting # 0 : cost 0 20.050 * * [simplify]: Extracting # 1 : cost 0 20.058 * * [simplify]: iteration done: 5000 enodes (cost 342 ) 20.059 * [simplify]: Simplified to: (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (log1p (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (log (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (* (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (cbrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (pow (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) 3) (sqrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (sqrt (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (exp (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (expm1 (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (log (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (exp (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (* (cbrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (cbrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))))) (cbrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (pow (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 3) (sqrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (sqrt (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)))) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c)) (fma (pow c 2) (fma 1/3 c 1/2) c) (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) (expm1 (fma 1/6 (pow c 3) (fma 1/120 (pow c 5) c))) 20.059 * * * [progress]: adding candidates to table 20.173 * [progress]: [Phase 3 of 3] Extracting. 20.173 * * [regime]: Finding splitpoints for: (# # #) 20.174 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) c) 20.174 * * * * [regimes]: Trying to branch on (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))) from (# # #) 20.210 * * * * [regimes]: Trying to branch on c from (# # #) 20.229 * * * [regime]: Found split indices: #