0.064 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.628 * * * [progress]: [2/2] Setting up program. 0.633 * [progress]: [Phase 2 of 3] Improving. 0.635 * [simplify]: Simplifying: (fmod (cosh c) (log1p a)) 0.636 * * [simplify]: Extracting # 0 : cost 0 0.636 * * [simplify]: Extracting # 1 : cost 0 0.636 * * [simplify]: Extracting # 2 : cost 0 0.636 * * [simplify]: Extracting # 3 : cost 0 0.636 * * [simplify]: Extracting # 4 : cost 0 0.636 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.640 * * [simplify]: Extracting # 0 : cost 0 0.640 * * [simplify]: Extracting # 1 : cost 0 0.640 * * [simplify]: Extracting # 2 : cost 0 0.640 * * [simplify]: Extracting # 3 : cost 0 0.640 * * [simplify]: Extracting # 4 : cost 0 0.640 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 0.641 * * [simplify]: Extracting # 0 : cost 0 0.641 * * [simplify]: Extracting # 1 : cost 0 0.641 * * [simplify]: Extracting # 2 : cost 0 0.642 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 0.644 * * [simplify]: Extracting # 0 : cost 0 0.644 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 0.645 * * [simplify]: Extracting # 0 : cost 0 0.645 * * [simplify]: iteration done: 16 enodes (cost 5 ) 0.675 * [simplify]: Simplified to: (fmod (cosh c) (log1p a)) 0.676 * * [progress]: iteration 1 / 4 0.676 * * * [progress]: picking best candidate 0.678 * * * * [pick]: Picked # 0.679 * * * [progress]: localizing error 0.697 * * * [progress]: generating rewritten candidates 0.698 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.700 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.705 * * * [progress]: generating series expansions 0.705 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.707 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.707 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.708 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.709 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.709 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.710 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.710 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.710 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.710 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.710 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.710 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.710 * [taylor]: Taking taylor expansion of 0 in a 0.710 * [backup-simplify]: Simplify 0 into 0 0.710 * [backup-simplify]: Simplify 0 into 0 0.710 * [backup-simplify]: Simplify 0 into 0 0.711 * [taylor]: Taking taylor expansion of 0 in a 0.711 * [backup-simplify]: Simplify 0 into 0 0.711 * [backup-simplify]: Simplify 0 into 0 0.711 * [backup-simplify]: Simplify 0 into 0 0.711 * [backup-simplify]: Simplify 0 into 0 0.711 * [taylor]: Taking taylor expansion of 0 in a 0.711 * [backup-simplify]: Simplify 0 into 0 0.711 * [backup-simplify]: Simplify 0 into 0 0.711 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.712 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.712 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.712 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.712 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.712 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.712 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.712 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.713 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.713 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.713 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.713 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.713 * [taylor]: Taking taylor expansion of 0 in a 0.713 * [backup-simplify]: Simplify 0 into 0 0.713 * [backup-simplify]: Simplify 0 into 0 0.713 * [backup-simplify]: Simplify 0 into 0 0.713 * [taylor]: Taking taylor expansion of 0 in a 0.713 * [backup-simplify]: Simplify 0 into 0 0.713 * [backup-simplify]: Simplify 0 into 0 0.713 * [backup-simplify]: Simplify 0 into 0 0.713 * [backup-simplify]: Simplify 0 into 0 0.713 * [taylor]: Taking taylor expansion of 0 in a 0.713 * [backup-simplify]: Simplify 0 into 0 0.713 * [backup-simplify]: Simplify 0 into 0 0.713 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.714 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.714 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.714 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.714 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.714 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.714 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.714 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.714 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.714 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.714 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.714 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.714 * [taylor]: Taking taylor expansion of 0 in a 0.714 * [backup-simplify]: Simplify 0 into 0 0.714 * [backup-simplify]: Simplify 0 into 0 0.714 * [backup-simplify]: Simplify 0 into 0 0.714 * [taylor]: Taking taylor expansion of 0 in a 0.714 * [backup-simplify]: Simplify 0 into 0 0.715 * [backup-simplify]: Simplify 0 into 0 0.715 * [backup-simplify]: Simplify 0 into 0 0.715 * [backup-simplify]: Simplify 0 into 0 0.715 * [taylor]: Taking taylor expansion of 0 in a 0.715 * [backup-simplify]: Simplify 0 into 0 0.715 * [backup-simplify]: Simplify 0 into 0 0.715 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.715 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.715 * [backup-simplify]: Simplify (cosh c) into (cosh c) 0.715 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0 0.715 * [taylor]: Taking taylor expansion of (cosh c) in c 0.716 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 0.716 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 0.716 * [taylor]: Taking taylor expansion of (exp c) in c 0.716 * [taylor]: Taking taylor expansion of c in c 0.716 * [backup-simplify]: Simplify 0 into 0 0.716 * [backup-simplify]: Simplify 1 into 1 0.716 * [backup-simplify]: Simplify (exp 0) into 1 0.716 * [taylor]: Taking taylor expansion of (exp (- c)) in c 0.716 * [taylor]: Taking taylor expansion of (- c) in c 0.716 * [taylor]: Taking taylor expansion of c in c 0.716 * [backup-simplify]: Simplify 0 into 0 0.716 * [backup-simplify]: Simplify 1 into 1 0.716 * [backup-simplify]: Simplify (- 0) into 0 0.717 * [backup-simplify]: Simplify (- 1) into -1 0.717 * [backup-simplify]: Simplify (exp 0) into 1 0.717 * [taylor]: Taking taylor expansion of 2 in c 0.717 * [backup-simplify]: Simplify 2 into 2 0.718 * [backup-simplify]: Simplify (+ 1 1) into 2 0.718 * [backup-simplify]: Simplify (/ 2 2) into 1 0.718 * [taylor]: Taking taylor expansion of (cosh c) in c 0.718 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 0.718 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 0.718 * [taylor]: Taking taylor expansion of (exp c) in c 0.718 * [taylor]: Taking taylor expansion of c in c 0.718 * [backup-simplify]: Simplify 0 into 0 0.718 * [backup-simplify]: Simplify 1 into 1 0.718 * [backup-simplify]: Simplify (exp 0) into 1 0.718 * [taylor]: Taking taylor expansion of (exp (- c)) in c 0.718 * [taylor]: Taking taylor expansion of (- c) in c 0.718 * [taylor]: Taking taylor expansion of c in c 0.718 * [backup-simplify]: Simplify 0 into 0 0.718 * [backup-simplify]: Simplify 1 into 1 0.719 * [backup-simplify]: Simplify (- 0) into 0 0.719 * [backup-simplify]: Simplify (- 1) into -1 0.719 * [backup-simplify]: Simplify (exp 0) into 1 0.719 * [taylor]: Taking taylor expansion of 2 in c 0.719 * [backup-simplify]: Simplify 2 into 2 0.719 * [backup-simplify]: Simplify (+ 1 1) into 2 0.719 * [backup-simplify]: Simplify (/ 2 2) into 1 0.719 * [backup-simplify]: Simplify 1 into 1 0.721 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.721 * [backup-simplify]: Simplify (- 1) into -1 0.721 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 0.722 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.722 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 0.722 * [backup-simplify]: Simplify 0 into 0 0.723 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.723 * [backup-simplify]: Simplify (- 1) into -1 0.724 * [backup-simplify]: Simplify (- 0) into 0 0.725 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.725 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 0.726 * [backup-simplify]: Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2 0.726 * [backup-simplify]: Simplify 1/2 into 1/2 0.727 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.727 * [backup-simplify]: Simplify (- 1) into -1 0.728 * [backup-simplify]: Simplify (- 1) into -1 0.728 * [backup-simplify]: Simplify (- 0) into 0 0.728 * [backup-simplify]: Simplify (- 0) into 0 0.729 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 0.730 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 0.730 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0 0.730 * [backup-simplify]: Simplify 0 into 0 0.733 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 0.733 * [backup-simplify]: Simplify (- 1) into -1 0.733 * [backup-simplify]: Simplify (- 1) into -1 0.734 * [backup-simplify]: Simplify (- 0) into 0 0.734 * [backup-simplify]: Simplify (- 1) into -1 0.734 * [backup-simplify]: Simplify (- 0) into 0 0.734 * [backup-simplify]: Simplify (- 0) into 0 0.734 * [backup-simplify]: Simplify (- 0) into 0 0.737 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 0.737 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 0.738 * [backup-simplify]: Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24 0.738 * [backup-simplify]: Simplify 1/24 into 1/24 0.739 * [backup-simplify]: Simplify (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) into (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) 0.739 * [backup-simplify]: Simplify (cosh (/ 1 c)) into (cosh (/ 1 c)) 0.739 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0 0.739 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 0.740 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 0.740 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 0.740 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 0.740 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.740 * [taylor]: Taking taylor expansion of c in c 0.740 * [backup-simplify]: Simplify 0 into 0 0.740 * [backup-simplify]: Simplify 1 into 1 0.740 * [backup-simplify]: Simplify (/ 1 1) into 1 0.740 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 0.740 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 0.740 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.740 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.740 * [taylor]: Taking taylor expansion of c in c 0.740 * [backup-simplify]: Simplify 0 into 0 0.740 * [backup-simplify]: Simplify 1 into 1 0.740 * [backup-simplify]: Simplify (/ 1 1) into 1 0.741 * [backup-simplify]: Simplify (- 1) into -1 0.741 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 0.741 * [taylor]: Taking taylor expansion of 2 in c 0.741 * [backup-simplify]: Simplify 2 into 2 0.741 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 0.741 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 0.741 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 0.741 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 0.741 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 0.741 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 0.741 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.741 * [taylor]: Taking taylor expansion of c in c 0.741 * [backup-simplify]: Simplify 0 into 0 0.741 * [backup-simplify]: Simplify 1 into 1 0.742 * [backup-simplify]: Simplify (/ 1 1) into 1 0.742 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 0.742 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 0.742 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.742 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.742 * [taylor]: Taking taylor expansion of c in c 0.742 * [backup-simplify]: Simplify 0 into 0 0.742 * [backup-simplify]: Simplify 1 into 1 0.742 * [backup-simplify]: Simplify (/ 1 1) into 1 0.742 * [backup-simplify]: Simplify (- 1) into -1 0.742 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 0.742 * [taylor]: Taking taylor expansion of 2 in c 0.742 * [backup-simplify]: Simplify 2 into 2 0.742 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 0.742 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 0.743 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 0.743 * [backup-simplify]: Simplify (+ 0 0) into 0 0.744 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 0.744 * [backup-simplify]: Simplify 0 into 0 0.744 * [backup-simplify]: Simplify (+ 0 0) into 0 0.745 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.745 * [backup-simplify]: Simplify 0 into 0 0.745 * [backup-simplify]: Simplify (+ 0 0) into 0 0.746 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.746 * [backup-simplify]: Simplify 0 into 0 0.747 * [backup-simplify]: Simplify (+ 0 0) into 0 0.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 0.748 * [backup-simplify]: Simplify 0 into 0 0.748 * [backup-simplify]: Simplify (+ 0 0) into 0 0.750 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.750 * [backup-simplify]: Simplify 0 into 0 0.750 * [backup-simplify]: Simplify (+ 0 0) into 0 0.752 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (+ (exp c) (exp (- c)))) 0.753 * [backup-simplify]: Simplify (cosh (/ 1 (- c))) into (cosh (/ -1 c)) 0.753 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0 0.753 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 0.753 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 0.753 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 0.753 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 0.753 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.753 * [taylor]: Taking taylor expansion of -1 in c 0.753 * [backup-simplify]: Simplify -1 into -1 0.753 * [taylor]: Taking taylor expansion of c in c 0.753 * [backup-simplify]: Simplify 0 into 0 0.753 * [backup-simplify]: Simplify 1 into 1 0.753 * [backup-simplify]: Simplify (/ -1 1) into -1 0.753 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 0.753 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 0.753 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 0.753 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.753 * [taylor]: Taking taylor expansion of -1 in c 0.753 * [backup-simplify]: Simplify -1 into -1 0.753 * [taylor]: Taking taylor expansion of c in c 0.753 * [backup-simplify]: Simplify 0 into 0 0.753 * [backup-simplify]: Simplify 1 into 1 0.754 * [backup-simplify]: Simplify (/ -1 1) into -1 0.754 * [backup-simplify]: Simplify (- -1) into 1 0.754 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 0.754 * [taylor]: Taking taylor expansion of 2 in c 0.754 * [backup-simplify]: Simplify 2 into 2 0.754 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ 1 c)) (exp (/ -1 c))) 0.754 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 c)) (exp (/ -1 c))) 2) into (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 0.754 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 0.754 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 0.754 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 0.754 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 0.754 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.754 * [taylor]: Taking taylor expansion of -1 in c 0.754 * [backup-simplify]: Simplify -1 into -1 0.754 * [taylor]: Taking taylor expansion of c in c 0.754 * [backup-simplify]: Simplify 0 into 0 0.754 * [backup-simplify]: Simplify 1 into 1 0.755 * [backup-simplify]: Simplify (/ -1 1) into -1 0.755 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 0.755 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 0.755 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 0.755 * [taylor]: Taking taylor expansion of (/ -1 c) in c 0.755 * [taylor]: Taking taylor expansion of -1 in c 0.755 * [backup-simplify]: Simplify -1 into -1 0.755 * [taylor]: Taking taylor expansion of c in c 0.755 * [backup-simplify]: Simplify 0 into 0 0.755 * [backup-simplify]: Simplify 1 into 1 0.755 * [backup-simplify]: Simplify (/ -1 1) into -1 0.755 * [backup-simplify]: Simplify (- -1) into 1 0.755 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 0.755 * [taylor]: Taking taylor expansion of 2 in c 0.755 * [backup-simplify]: Simplify 2 into 2 0.755 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ 1 c)) (exp (/ -1 c))) 0.756 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 c)) (exp (/ -1 c))) 2) into (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 0.756 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) into (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 0.756 * [backup-simplify]: Simplify (+ 0 0) into 0 0.757 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (/ 0 2)))) into 0 0.757 * [backup-simplify]: Simplify 0 into 0 0.757 * [backup-simplify]: Simplify (+ 0 0) into 0 0.758 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.758 * [backup-simplify]: Simplify 0 into 0 0.758 * [backup-simplify]: Simplify (+ 0 0) into 0 0.759 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.759 * [backup-simplify]: Simplify 0 into 0 0.759 * [backup-simplify]: Simplify (+ 0 0) into 0 0.761 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify (+ 0 0) into 0 0.763 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.763 * [backup-simplify]: Simplify 0 into 0 0.763 * [backup-simplify]: Simplify (+ 0 0) into 0 0.765 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 0.765 * [backup-simplify]: Simplify 0 into 0 0.765 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ 1 (/ 1 (- c)))) (exp (/ -1 (/ 1 (- c)))))) into (* 1/2 (+ (exp (* -1 c)) (exp c))) 0.765 * * * [progress]: simplifying candidates 0.766 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (+ (exp c) (exp (- c))) (log (cosh c)) (exp (cosh c)) (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c)) (* (* (cosh c) (cosh c)) (cosh c)) (sqrt (cosh c)) (sqrt (cosh c)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (* 1/2 (+ (exp c) (exp (- c)))) (* 1/2 (+ (exp (* -1 c)) (exp c))) 0.766 * * [simplify]: Extracting # 0 : cost 0 0.766 * * [simplify]: Extracting # 1 : cost 0 0.766 * * [simplify]: Extracting # 2 : cost 0 0.766 * * [simplify]: Extracting # 3 : cost 0 0.766 * * [simplify]: Extracting # 4 : cost 0 0.766 * * [simplify]: Extracting # 5 : cost 0 0.766 * * [simplify]: Extracting # 6 : cost 0 0.767 * * [simplify]: Extracting # 7 : cost 0 0.767 * * [simplify]: Extracting # 8 : cost 0 0.767 * * [simplify]: iteration 0 : 40 enodes (cost 141 ) 0.791 * * [simplify]: Extracting # 0 : cost 0 0.791 * * [simplify]: Extracting # 1 : cost 0 0.791 * * [simplify]: Extracting # 2 : cost 0 0.791 * * [simplify]: iteration 1 : 71 enodes (cost 140 ) 0.806 * * [simplify]: Extracting # 0 : cost 0 0.806 * * [simplify]: Extracting # 1 : cost 0 0.807 * * [simplify]: Extracting # 2 : cost 0 0.807 * * [simplify]: Extracting # 3 : cost 0 0.807 * * [simplify]: Extracting # 4 : cost 0 0.807 * * [simplify]: iteration 2 : 121 enodes (cost 126 ) 0.828 * * [simplify]: Extracting # 0 : cost 0 0.828 * * [simplify]: Extracting # 1 : cost 0 0.828 * * [simplify]: Extracting # 2 : cost 0 0.828 * * [simplify]: Extracting # 3 : cost 0 0.828 * * [simplify]: Extracting # 4 : cost 0 0.829 * * [simplify]: iteration 3 : 223 enodes (cost 126 ) 0.895 * * [simplify]: Extracting # 0 : cost 0 0.895 * * [simplify]: Extracting # 1 : cost 0 0.896 * * [simplify]: Extracting # 2 : cost 0 0.896 * * [simplify]: Extracting # 3 : cost 0 0.897 * * [simplify]: Extracting # 4 : cost 0 0.897 * * [simplify]: iteration 4 : 434 enodes (cost 126 ) 1.091 * * [simplify]: Extracting # 0 : cost 0 1.092 * * [simplify]: Extracting # 1 : cost 0 1.093 * * [simplify]: Extracting # 2 : cost 0 1.094 * * [simplify]: Extracting # 3 : cost 0 1.094 * * [simplify]: Extracting # 4 : cost 0 1.095 * * [simplify]: iteration 5 : 1001 enodes (cost 126 ) 2.420 * * [simplify]: Extracting # 0 : cost 0 2.428 * * [simplify]: Extracting # 1 : cost 0 2.435 * * [simplify]: Extracting # 2 : cost 0 2.441 * * [simplify]: Extracting # 3 : cost 0 2.448 * * [simplify]: Extracting # 4 : cost 0 2.459 * * [simplify]: Extracting # 5 : cost 0 2.462 * * [simplify]: iteration 6 : 3580 enodes (cost 126 ) 4.298 * * [simplify]: Extracting # 0 : cost 0 4.304 * * [simplify]: Extracting # 1 : cost 0 4.310 * * [simplify]: Extracting # 2 : cost 0 4.315 * * [simplify]: Extracting # 3 : cost 0 4.321 * * [simplify]: Extracting # 4 : cost 0 4.326 * * [simplify]: iteration done: 5000 enodes (cost 126 ) 4.327 * [simplify]: Simplified to: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (+ (exp (- c)) (exp c)) (log (cosh c)) (exp (cosh c)) (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c)) (pow (cosh c) 3) (sqrt (cosh c)) (sqrt (cosh c)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (* 1/2 (+ (exp (- c)) (exp c))) (* 1/2 (+ (exp (- c)) (exp c))) 4.327 * * * [progress]: adding candidates to table 4.430 * * [progress]: iteration 2 / 4 4.430 * * * [progress]: picking best candidate 4.475 * * * * [pick]: Picked # 4.475 * * * [progress]: localizing error 4.498 * * * [progress]: generating rewritten candidates 4.499 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 4.499 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 4.502 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 4.505 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 4.508 * * * [progress]: generating series expansions 4.508 * * * * [progress]: [ 1 / 4 ] generating series at (2) 4.508 * [backup-simplify]: Simplify (fmod (cbrt (pow (cosh c) 3)) (log1p a)) into (fmod (cosh c) (log1p a)) 4.508 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 4.508 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.508 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.508 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.508 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.508 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 4.508 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.508 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 4.509 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.509 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.509 * [taylor]: Taking taylor expansion of 0 in a 4.509 * [backup-simplify]: Simplify 0 into 0 4.509 * [backup-simplify]: Simplify 0 into 0 4.509 * [backup-simplify]: Simplify 0 into 0 4.509 * [taylor]: Taking taylor expansion of 0 in a 4.509 * [backup-simplify]: Simplify 0 into 0 4.509 * [backup-simplify]: Simplify 0 into 0 4.509 * [backup-simplify]: Simplify 0 into 0 4.509 * [backup-simplify]: Simplify 0 into 0 4.509 * [taylor]: Taking taylor expansion of 0 in a 4.509 * [backup-simplify]: Simplify 0 into 0 4.509 * [backup-simplify]: Simplify 0 into 0 4.509 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 4.509 * [backup-simplify]: Simplify (fmod (cbrt (pow (cosh (/ 1 c)) 3)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.509 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 4.509 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.509 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.509 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.509 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.509 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 4.509 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.510 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 4.510 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.510 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 4.510 * [taylor]: Taking taylor expansion of 0 in a 4.510 * [backup-simplify]: Simplify 0 into 0 4.510 * [backup-simplify]: Simplify 0 into 0 4.510 * [backup-simplify]: Simplify 0 into 0 4.510 * [taylor]: Taking taylor expansion of 0 in a 4.510 * [backup-simplify]: Simplify 0 into 0 4.510 * [backup-simplify]: Simplify 0 into 0 4.510 * [backup-simplify]: Simplify 0 into 0 4.510 * [backup-simplify]: Simplify 0 into 0 4.510 * [taylor]: Taking taylor expansion of 0 in a 4.510 * [backup-simplify]: Simplify 0 into 0 4.510 * [backup-simplify]: Simplify 0 into 0 4.510 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 4.510 * [backup-simplify]: Simplify (fmod (cbrt (pow (cosh (/ 1 (- c))) 3)) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.510 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 4.510 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.510 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.510 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.511 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.511 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 4.511 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.511 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 4.511 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.511 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 4.511 * [taylor]: Taking taylor expansion of 0 in a 4.511 * [backup-simplify]: Simplify 0 into 0 4.511 * [backup-simplify]: Simplify 0 into 0 4.511 * [backup-simplify]: Simplify 0 into 0 4.511 * [taylor]: Taking taylor expansion of 0 in a 4.511 * [backup-simplify]: Simplify 0 into 0 4.511 * [backup-simplify]: Simplify 0 into 0 4.511 * [backup-simplify]: Simplify 0 into 0 4.511 * [backup-simplify]: Simplify 0 into 0 4.511 * [taylor]: Taking taylor expansion of 0 in a 4.511 * [backup-simplify]: Simplify 0 into 0 4.511 * [backup-simplify]: Simplify 0 into 0 4.511 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 4.511 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 4.511 * [backup-simplify]: Simplify (pow (cosh c) 3) into (pow (cosh c) 3) 4.511 * [approximate]: Taking taylor expansion of (pow (cosh c) 3) in (c) around 0 4.512 * [taylor]: Taking taylor expansion of (pow (cosh c) 3) in c 4.512 * [taylor]: Taking taylor expansion of (cosh c) in c 4.512 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 4.512 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 4.512 * [taylor]: Taking taylor expansion of (exp c) in c 4.512 * [taylor]: Taking taylor expansion of c in c 4.512 * [backup-simplify]: Simplify 0 into 0 4.512 * [backup-simplify]: Simplify 1 into 1 4.512 * [backup-simplify]: Simplify (exp 0) into 1 4.512 * [taylor]: Taking taylor expansion of (exp (- c)) in c 4.512 * [taylor]: Taking taylor expansion of (- c) in c 4.512 * [taylor]: Taking taylor expansion of c in c 4.512 * [backup-simplify]: Simplify 0 into 0 4.512 * [backup-simplify]: Simplify 1 into 1 4.512 * [backup-simplify]: Simplify (- 0) into 0 4.513 * [backup-simplify]: Simplify (- 1) into -1 4.513 * [backup-simplify]: Simplify (exp 0) into 1 4.513 * [taylor]: Taking taylor expansion of 2 in c 4.513 * [backup-simplify]: Simplify 2 into 2 4.513 * [backup-simplify]: Simplify (+ 1 1) into 2 4.513 * [backup-simplify]: Simplify (/ 2 2) into 1 4.514 * [taylor]: Taking taylor expansion of (pow (cosh c) 3) in c 4.514 * [taylor]: Taking taylor expansion of (cosh c) in c 4.514 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 4.514 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 4.514 * [taylor]: Taking taylor expansion of (exp c) in c 4.514 * [taylor]: Taking taylor expansion of c in c 4.514 * [backup-simplify]: Simplify 0 into 0 4.514 * [backup-simplify]: Simplify 1 into 1 4.514 * [backup-simplify]: Simplify (exp 0) into 1 4.514 * [taylor]: Taking taylor expansion of (exp (- c)) in c 4.514 * [taylor]: Taking taylor expansion of (- c) in c 4.514 * [taylor]: Taking taylor expansion of c in c 4.514 * [backup-simplify]: Simplify 0 into 0 4.514 * [backup-simplify]: Simplify 1 into 1 4.514 * [backup-simplify]: Simplify (- 0) into 0 4.514 * [backup-simplify]: Simplify (- 1) into -1 4.514 * [backup-simplify]: Simplify (exp 0) into 1 4.514 * [taylor]: Taking taylor expansion of 2 in c 4.514 * [backup-simplify]: Simplify 2 into 2 4.515 * [backup-simplify]: Simplify (+ 1 1) into 2 4.515 * [backup-simplify]: Simplify (/ 2 2) into 1 4.515 * [backup-simplify]: Simplify (* 1 1) into 1 4.516 * [backup-simplify]: Simplify (* 1 1) into 1 4.516 * [backup-simplify]: Simplify 1 into 1 4.516 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.517 * [backup-simplify]: Simplify (- 1) into -1 4.517 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 4.518 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.518 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 4.518 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.519 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 4.519 * [backup-simplify]: Simplify 0 into 0 4.520 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.520 * [backup-simplify]: Simplify (- 1) into -1 4.520 * [backup-simplify]: Simplify (- 0) into 0 4.521 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.521 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 4.522 * [backup-simplify]: Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2 4.523 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 0 0) (* 1/2 1))) into 1 4.523 * [backup-simplify]: Simplify (+ (* 1 1) (+ (* 0 0) (* 1/2 1))) into 3/2 4.523 * [backup-simplify]: Simplify 3/2 into 3/2 4.525 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 4.525 * [backup-simplify]: Simplify (- 1) into -1 4.525 * [backup-simplify]: Simplify (- 1) into -1 4.525 * [backup-simplify]: Simplify (- 0) into 0 4.526 * [backup-simplify]: Simplify (- 0) into 0 4.527 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 4.527 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 4.528 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0 4.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/2) (+ (* 1/2 0) (* 0 1)))) into 0 4.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1) (+ (* 1/2 0) (* 0 1)))) into 0 4.530 * [backup-simplify]: Simplify 0 into 0 4.533 * [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 4.533 * [backup-simplify]: Simplify (- 1) into -1 4.534 * [backup-simplify]: Simplify (- 1) into -1 4.534 * [backup-simplify]: Simplify (- 0) into 0 4.534 * [backup-simplify]: Simplify (- 1) into -1 4.535 * [backup-simplify]: Simplify (- 0) into 0 4.535 * [backup-simplify]: Simplify (- 0) into 0 4.536 * [backup-simplify]: Simplify (- 0) into 0 4.539 * [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 4.540 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 4.541 * [backup-simplify]: Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24 4.542 * [backup-simplify]: Simplify (+ (* 1 1/24) (+ (* 0 0) (+ (* 1/2 1/2) (+ (* 0 0) (* 1/24 1))))) into 1/3 4.543 * [backup-simplify]: Simplify (+ (* 1 1/3) (+ (* 0 0) (+ (* 1/2 1) (+ (* 0 0) (* 1/24 1))))) into 7/8 4.543 * [backup-simplify]: Simplify 7/8 into 7/8 4.543 * [backup-simplify]: Simplify (+ (* 7/8 (pow c 4)) (+ (* 3/2 (pow c 2)) 1)) into (+ (* 7/8 (pow c 4)) (+ (* 3/2 (pow c 2)) 1)) 4.543 * [backup-simplify]: Simplify (pow (cosh (/ 1 c)) 3) into (pow (cosh (/ 1 c)) 3) 4.543 * [approximate]: Taking taylor expansion of (pow (cosh (/ 1 c)) 3) in (c) around 0 4.544 * [taylor]: Taking taylor expansion of (pow (cosh (/ 1 c)) 3) in c 4.544 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 4.544 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 4.544 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 4.544 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 4.544 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.544 * [taylor]: Taking taylor expansion of c in c 4.544 * [backup-simplify]: Simplify 0 into 0 4.544 * [backup-simplify]: Simplify 1 into 1 4.544 * [backup-simplify]: Simplify (/ 1 1) into 1 4.544 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 4.544 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 4.544 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 4.544 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.544 * [taylor]: Taking taylor expansion of c in c 4.544 * [backup-simplify]: Simplify 0 into 0 4.544 * [backup-simplify]: Simplify 1 into 1 4.544 * [backup-simplify]: Simplify (/ 1 1) into 1 4.545 * [backup-simplify]: Simplify (- 1) into -1 4.545 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 4.545 * [taylor]: Taking taylor expansion of 2 in c 4.545 * [backup-simplify]: Simplify 2 into 2 4.545 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 4.545 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 4.545 * [taylor]: Taking taylor expansion of (pow (cosh (/ 1 c)) 3) in c 4.545 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 4.545 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 4.545 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 4.545 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 4.545 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.545 * [taylor]: Taking taylor expansion of c in c 4.545 * [backup-simplify]: Simplify 0 into 0 4.545 * [backup-simplify]: Simplify 1 into 1 4.545 * [backup-simplify]: Simplify (/ 1 1) into 1 4.546 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 4.546 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 4.546 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 4.546 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.546 * [taylor]: Taking taylor expansion of c in c 4.546 * [backup-simplify]: Simplify 0 into 0 4.546 * [backup-simplify]: Simplify 1 into 1 4.546 * [backup-simplify]: Simplify (/ 1 1) into 1 4.546 * [backup-simplify]: Simplify (- 1) into -1 4.546 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 4.546 * [taylor]: Taking taylor expansion of 2 in c 4.546 * [backup-simplify]: Simplify 2 into 2 4.546 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 4.546 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 4.547 * [backup-simplify]: Simplify (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c)))))) into (* 1/4 (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)) 4.547 * [backup-simplify]: Simplify (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (* 1/4 (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))) into (* 1/8 (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) 4.547 * [backup-simplify]: Simplify (* 1/8 (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) into (* 1/8 (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 3)) 4.548 * [backup-simplify]: Simplify (+ 0 0) into 0 4.548 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 4.548 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (* 0 (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))))) into 0 4.549 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (* 0 (* 1/4 (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))) into 0 4.549 * [backup-simplify]: Simplify 0 into 0 4.549 * [backup-simplify]: Simplify (+ 0 0) into 0 4.550 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.550 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (* 0 (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c)))))))) into 0 4.551 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (* 0 (* 1/4 (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))) into 0 4.551 * [backup-simplify]: Simplify 0 into 0 4.551 * [backup-simplify]: Simplify (+ 0 0) into 0 4.553 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.553 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))))))) into 0 4.554 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))))) into 0 4.554 * [backup-simplify]: Simplify 0 into 0 4.554 * [backup-simplify]: Simplify (+ 0 0) into 0 4.556 * [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 4.557 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c)))))))))) into 0 4.558 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))))) into 0 4.558 * [backup-simplify]: Simplify 0 into 0 4.558 * [backup-simplify]: Simplify (+ 0 0) into 0 4.560 * [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 4.561 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))))))))) into 0 4.562 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))))))) into 0 4.562 * [backup-simplify]: Simplify 0 into 0 4.562 * [backup-simplify]: Simplify (+ 0 0) into 0 4.564 * [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 4.566 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c)))))))))))) into 0 4.567 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))))))) into 0 4.567 * [backup-simplify]: Simplify 0 into 0 4.567 * [backup-simplify]: Simplify (* 1/8 (pow (+ (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c))))) 3)) into (* 1/8 (pow (+ (exp c) (exp (- c))) 3)) 4.568 * [backup-simplify]: Simplify (pow (cosh (/ 1 (- c))) 3) into (pow (cosh (/ -1 c)) 3) 4.568 * [approximate]: Taking taylor expansion of (pow (cosh (/ -1 c)) 3) in (c) around 0 4.568 * [taylor]: Taking taylor expansion of (pow (cosh (/ -1 c)) 3) in c 4.568 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 4.568 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 4.568 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 4.568 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 4.568 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.568 * [taylor]: Taking taylor expansion of -1 in c 4.568 * [backup-simplify]: Simplify -1 into -1 4.568 * [taylor]: Taking taylor expansion of c in c 4.568 * [backup-simplify]: Simplify 0 into 0 4.568 * [backup-simplify]: Simplify 1 into 1 4.568 * [backup-simplify]: Simplify (/ -1 1) into -1 4.568 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 4.568 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 4.568 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 4.568 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.568 * [taylor]: Taking taylor expansion of -1 in c 4.568 * [backup-simplify]: Simplify -1 into -1 4.568 * [taylor]: Taking taylor expansion of c in c 4.568 * [backup-simplify]: Simplify 0 into 0 4.568 * [backup-simplify]: Simplify 1 into 1 4.569 * [backup-simplify]: Simplify (/ -1 1) into -1 4.569 * [backup-simplify]: Simplify (- -1) into 1 4.569 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 4.569 * [taylor]: Taking taylor expansion of 2 in c 4.569 * [backup-simplify]: Simplify 2 into 2 4.569 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ 1 c)) (exp (/ -1 c))) 4.569 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 c)) (exp (/ -1 c))) 2) into (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 4.569 * [taylor]: Taking taylor expansion of (pow (cosh (/ -1 c)) 3) in c 4.569 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 4.569 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 4.569 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 4.569 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 4.569 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.569 * [taylor]: Taking taylor expansion of -1 in c 4.569 * [backup-simplify]: Simplify -1 into -1 4.569 * [taylor]: Taking taylor expansion of c in c 4.569 * [backup-simplify]: Simplify 0 into 0 4.569 * [backup-simplify]: Simplify 1 into 1 4.570 * [backup-simplify]: Simplify (/ -1 1) into -1 4.570 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 4.570 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 4.570 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 4.570 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.570 * [taylor]: Taking taylor expansion of -1 in c 4.570 * [backup-simplify]: Simplify -1 into -1 4.570 * [taylor]: Taking taylor expansion of c in c 4.570 * [backup-simplify]: Simplify 0 into 0 4.570 * [backup-simplify]: Simplify 1 into 1 4.570 * [backup-simplify]: Simplify (/ -1 1) into -1 4.570 * [backup-simplify]: Simplify (- -1) into 1 4.570 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 4.570 * [taylor]: Taking taylor expansion of 2 in c 4.570 * [backup-simplify]: Simplify 2 into 2 4.571 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ 1 c)) (exp (/ -1 c))) 4.571 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 c)) (exp (/ -1 c))) 2) into (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 4.571 * [backup-simplify]: Simplify (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c))))) into (* 1/4 (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 2)) 4.571 * [backup-simplify]: Simplify (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (* 1/4 (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 2))) into (* 1/8 (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 3)) 4.571 * [backup-simplify]: Simplify (* 1/8 (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 3)) into (* 1/8 (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 3)) 4.572 * [backup-simplify]: Simplify (+ 0 0) into 0 4.573 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (/ 0 2)))) into 0 4.573 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 0) (* 0 (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))))) into 0 4.574 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 0) (* 0 (* 1/4 (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 2)))) into 0 4.574 * [backup-simplify]: Simplify 0 into 0 4.574 * [backup-simplify]: Simplify (+ 0 0) into 0 4.575 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.576 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 0) (+ (* 0 0) (* 0 (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c))))))) into 0 4.577 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 0) (+ (* 0 0) (* 0 (* 1/4 (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 2))))) into 0 4.577 * [backup-simplify]: Simplify 0 into 0 4.577 * [backup-simplify]: Simplify (+ 0 0) into 0 4.579 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.580 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))))))) into 0 4.581 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 2)))))) into 0 4.581 * [backup-simplify]: Simplify 0 into 0 4.582 * [backup-simplify]: Simplify (+ 0 0) into 0 4.584 * [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 4.585 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c))))))))) into 0 4.587 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 2))))))) into 0 4.587 * [backup-simplify]: Simplify 0 into 0 4.587 * [backup-simplify]: Simplify (+ 0 0) into 0 4.590 * [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 4.599 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))))))))) into 0 4.600 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 2)))))))) into 0 4.600 * [backup-simplify]: Simplify 0 into 0 4.601 * [backup-simplify]: Simplify (+ 0 0) into 0 4.603 * [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 4.604 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c))))))))))) into 0 4.605 * [backup-simplify]: Simplify (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 1/4 (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 2))))))))) into 0 4.605 * [backup-simplify]: Simplify 0 into 0 4.606 * [backup-simplify]: Simplify (* 1/8 (pow (+ (exp (/ 1 (/ 1 (- c)))) (exp (/ -1 (/ 1 (- c))))) 3)) into (* 1/8 (pow (+ (exp (* -1 c)) (exp c)) 3)) 4.606 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 4.606 * [backup-simplify]: Simplify (cbrt (pow (cosh c) 3)) into (cosh c) 4.606 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0 4.606 * [taylor]: Taking taylor expansion of (cosh c) in c 4.606 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 4.606 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 4.606 * [taylor]: Taking taylor expansion of (exp c) in c 4.606 * [taylor]: Taking taylor expansion of c in c 4.606 * [backup-simplify]: Simplify 0 into 0 4.606 * [backup-simplify]: Simplify 1 into 1 4.606 * [backup-simplify]: Simplify (exp 0) into 1 4.606 * [taylor]: Taking taylor expansion of (exp (- c)) in c 4.606 * [taylor]: Taking taylor expansion of (- c) in c 4.606 * [taylor]: Taking taylor expansion of c in c 4.606 * [backup-simplify]: Simplify 0 into 0 4.606 * [backup-simplify]: Simplify 1 into 1 4.607 * [backup-simplify]: Simplify (- 0) into 0 4.607 * [backup-simplify]: Simplify (- 1) into -1 4.607 * [backup-simplify]: Simplify (exp 0) into 1 4.607 * [taylor]: Taking taylor expansion of 2 in c 4.607 * [backup-simplify]: Simplify 2 into 2 4.607 * [backup-simplify]: Simplify (+ 1 1) into 2 4.607 * [backup-simplify]: Simplify (/ 2 2) into 1 4.607 * [taylor]: Taking taylor expansion of (cosh c) in c 4.607 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 4.607 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 4.607 * [taylor]: Taking taylor expansion of (exp c) in c 4.607 * [taylor]: Taking taylor expansion of c in c 4.607 * [backup-simplify]: Simplify 0 into 0 4.608 * [backup-simplify]: Simplify 1 into 1 4.608 * [backup-simplify]: Simplify (exp 0) into 1 4.608 * [taylor]: Taking taylor expansion of (exp (- c)) in c 4.608 * [taylor]: Taking taylor expansion of (- c) in c 4.608 * [taylor]: Taking taylor expansion of c in c 4.608 * [backup-simplify]: Simplify 0 into 0 4.608 * [backup-simplify]: Simplify 1 into 1 4.608 * [backup-simplify]: Simplify (- 0) into 0 4.608 * [backup-simplify]: Simplify (- 1) into -1 4.608 * [backup-simplify]: Simplify (exp 0) into 1 4.608 * [taylor]: Taking taylor expansion of 2 in c 4.608 * [backup-simplify]: Simplify 2 into 2 4.608 * [backup-simplify]: Simplify (+ 1 1) into 2 4.609 * [backup-simplify]: Simplify (/ 2 2) into 1 4.609 * [backup-simplify]: Simplify 1 into 1 4.609 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.610 * [backup-simplify]: Simplify (- 1) into -1 4.610 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 4.611 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.611 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 4.611 * [backup-simplify]: Simplify 0 into 0 4.612 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.612 * [backup-simplify]: Simplify (- 1) into -1 4.612 * [backup-simplify]: Simplify (- 0) into 0 4.613 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.614 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 4.614 * [backup-simplify]: Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2 4.614 * [backup-simplify]: Simplify 1/2 into 1/2 4.616 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 4.616 * [backup-simplify]: Simplify (- 1) into -1 4.616 * [backup-simplify]: Simplify (- 1) into -1 4.616 * [backup-simplify]: Simplify (- 0) into 0 4.617 * [backup-simplify]: Simplify (- 0) into 0 4.618 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 4.618 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 4.619 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0 4.619 * [backup-simplify]: Simplify 0 into 0 4.621 * [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 4.622 * [backup-simplify]: Simplify (- 1) into -1 4.622 * [backup-simplify]: Simplify (- 1) into -1 4.622 * [backup-simplify]: Simplify (- 0) into 0 4.622 * [backup-simplify]: Simplify (- 1) into -1 4.623 * [backup-simplify]: Simplify (- 0) into 0 4.623 * [backup-simplify]: Simplify (- 0) into 0 4.623 * [backup-simplify]: Simplify (- 0) into 0 4.625 * [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 4.626 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 4.627 * [backup-simplify]: Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24 4.627 * [backup-simplify]: Simplify 1/24 into 1/24 4.627 * [backup-simplify]: Simplify (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) into (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) 4.627 * [backup-simplify]: Simplify (cbrt (pow (cosh (/ 1 c)) 3)) into (cosh (/ 1 c)) 4.627 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0 4.627 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 4.627 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 4.627 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 4.627 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 4.628 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.628 * [taylor]: Taking taylor expansion of c in c 4.628 * [backup-simplify]: Simplify 0 into 0 4.628 * [backup-simplify]: Simplify 1 into 1 4.628 * [backup-simplify]: Simplify (/ 1 1) into 1 4.628 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 4.628 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 4.628 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 4.628 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.628 * [taylor]: Taking taylor expansion of c in c 4.628 * [backup-simplify]: Simplify 0 into 0 4.628 * [backup-simplify]: Simplify 1 into 1 4.629 * [backup-simplify]: Simplify (/ 1 1) into 1 4.629 * [backup-simplify]: Simplify (- 1) into -1 4.629 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 4.629 * [taylor]: Taking taylor expansion of 2 in c 4.629 * [backup-simplify]: Simplify 2 into 2 4.629 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 4.630 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 4.630 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 4.630 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 4.630 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 4.630 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 4.630 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.630 * [taylor]: Taking taylor expansion of c in c 4.630 * [backup-simplify]: Simplify 0 into 0 4.630 * [backup-simplify]: Simplify 1 into 1 4.631 * [backup-simplify]: Simplify (/ 1 1) into 1 4.631 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 4.631 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 4.631 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 4.631 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.631 * [taylor]: Taking taylor expansion of c in c 4.631 * [backup-simplify]: Simplify 0 into 0 4.631 * [backup-simplify]: Simplify 1 into 1 4.631 * [backup-simplify]: Simplify (/ 1 1) into 1 4.632 * [backup-simplify]: Simplify (- 1) into -1 4.632 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 4.632 * [taylor]: Taking taylor expansion of 2 in c 4.632 * [backup-simplify]: Simplify 2 into 2 4.632 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 4.632 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 4.632 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 4.633 * [backup-simplify]: Simplify (+ 0 0) into 0 4.634 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 4.634 * [backup-simplify]: Simplify 0 into 0 4.634 * [backup-simplify]: Simplify (+ 0 0) into 0 4.636 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.636 * [backup-simplify]: Simplify 0 into 0 4.637 * [backup-simplify]: Simplify (+ 0 0) into 0 4.639 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.639 * [backup-simplify]: Simplify 0 into 0 4.639 * [backup-simplify]: Simplify (+ 0 0) into 0 4.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)))) into 0 4.642 * [backup-simplify]: Simplify 0 into 0 4.643 * [backup-simplify]: Simplify (+ 0 0) into 0 4.646 * [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 4.646 * [backup-simplify]: Simplify 0 into 0 4.646 * [backup-simplify]: Simplify (+ 0 0) into 0 4.650 * [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 4.650 * [backup-simplify]: Simplify 0 into 0 4.651 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (+ (exp c) (exp (- c)))) 4.651 * [backup-simplify]: Simplify (cbrt (pow (cosh (/ 1 (- c))) 3)) into (cosh (/ -1 c)) 4.651 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0 4.651 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 4.651 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 4.651 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 4.651 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 4.651 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.651 * [taylor]: Taking taylor expansion of -1 in c 4.651 * [backup-simplify]: Simplify -1 into -1 4.651 * [taylor]: Taking taylor expansion of c in c 4.651 * [backup-simplify]: Simplify 0 into 0 4.651 * [backup-simplify]: Simplify 1 into 1 4.652 * [backup-simplify]: Simplify (/ -1 1) into -1 4.652 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 4.652 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 4.652 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 4.652 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.652 * [taylor]: Taking taylor expansion of -1 in c 4.652 * [backup-simplify]: Simplify -1 into -1 4.652 * [taylor]: Taking taylor expansion of c in c 4.652 * [backup-simplify]: Simplify 0 into 0 4.652 * [backup-simplify]: Simplify 1 into 1 4.653 * [backup-simplify]: Simplify (/ -1 1) into -1 4.653 * [backup-simplify]: Simplify (- -1) into 1 4.653 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 4.653 * [taylor]: Taking taylor expansion of 2 in c 4.653 * [backup-simplify]: Simplify 2 into 2 4.653 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ 1 c)) (exp (/ -1 c))) 4.654 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 c)) (exp (/ -1 c))) 2) into (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 4.654 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 4.654 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 4.654 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 4.654 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 4.654 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.654 * [taylor]: Taking taylor expansion of -1 in c 4.654 * [backup-simplify]: Simplify -1 into -1 4.654 * [taylor]: Taking taylor expansion of c in c 4.654 * [backup-simplify]: Simplify 0 into 0 4.654 * [backup-simplify]: Simplify 1 into 1 4.654 * [backup-simplify]: Simplify (/ -1 1) into -1 4.654 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 4.655 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 4.655 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 4.655 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.655 * [taylor]: Taking taylor expansion of -1 in c 4.655 * [backup-simplify]: Simplify -1 into -1 4.655 * [taylor]: Taking taylor expansion of c in c 4.655 * [backup-simplify]: Simplify 0 into 0 4.655 * [backup-simplify]: Simplify 1 into 1 4.655 * [backup-simplify]: Simplify (/ -1 1) into -1 4.656 * [backup-simplify]: Simplify (- -1) into 1 4.656 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 4.656 * [taylor]: Taking taylor expansion of 2 in c 4.656 * [backup-simplify]: Simplify 2 into 2 4.656 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ 1 c)) (exp (/ -1 c))) 4.656 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 c)) (exp (/ -1 c))) 2) into (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 4.656 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) into (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 4.657 * [backup-simplify]: Simplify (+ 0 0) into 0 4.658 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (/ 0 2)))) into 0 4.658 * [backup-simplify]: Simplify 0 into 0 4.658 * [backup-simplify]: Simplify (+ 0 0) into 0 4.660 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.660 * [backup-simplify]: Simplify 0 into 0 4.660 * [backup-simplify]: Simplify (+ 0 0) into 0 4.662 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.663 * [backup-simplify]: Simplify 0 into 0 4.663 * [backup-simplify]: Simplify (+ 0 0) into 0 4.665 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.665 * [backup-simplify]: Simplify 0 into 0 4.666 * [backup-simplify]: Simplify (+ 0 0) into 0 4.669 * [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 4.669 * [backup-simplify]: Simplify 0 into 0 4.669 * [backup-simplify]: Simplify (+ 0 0) into 0 4.673 * [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 4.673 * [backup-simplify]: Simplify 0 into 0 4.673 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ 1 (/ 1 (- c)))) (exp (/ -1 (/ 1 (- c)))))) into (* 1/2 (+ (exp (* -1 c)) (exp c))) 4.673 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 4.673 * [backup-simplify]: Simplify (cosh c) into (cosh c) 4.673 * [approximate]: Taking taylor expansion of (cosh c) in (c) around 0 4.673 * [taylor]: Taking taylor expansion of (cosh c) in c 4.673 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 4.674 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 4.674 * [taylor]: Taking taylor expansion of (exp c) in c 4.674 * [taylor]: Taking taylor expansion of c in c 4.674 * [backup-simplify]: Simplify 0 into 0 4.674 * [backup-simplify]: Simplify 1 into 1 4.674 * [backup-simplify]: Simplify (exp 0) into 1 4.674 * [taylor]: Taking taylor expansion of (exp (- c)) in c 4.674 * [taylor]: Taking taylor expansion of (- c) in c 4.674 * [taylor]: Taking taylor expansion of c in c 4.674 * [backup-simplify]: Simplify 0 into 0 4.674 * [backup-simplify]: Simplify 1 into 1 4.674 * [backup-simplify]: Simplify (- 0) into 0 4.675 * [backup-simplify]: Simplify (- 1) into -1 4.675 * [backup-simplify]: Simplify (exp 0) into 1 4.675 * [taylor]: Taking taylor expansion of 2 in c 4.675 * [backup-simplify]: Simplify 2 into 2 4.675 * [backup-simplify]: Simplify (+ 1 1) into 2 4.675 * [backup-simplify]: Simplify (/ 2 2) into 1 4.675 * [taylor]: Taking taylor expansion of (cosh c) in c 4.676 * [taylor]: Rewrote expression to (/ (+ (exp c) (exp (- c))) 2) 4.676 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 4.676 * [taylor]: Taking taylor expansion of (exp c) in c 4.676 * [taylor]: Taking taylor expansion of c in c 4.676 * [backup-simplify]: Simplify 0 into 0 4.676 * [backup-simplify]: Simplify 1 into 1 4.676 * [backup-simplify]: Simplify (exp 0) into 1 4.676 * [taylor]: Taking taylor expansion of (exp (- c)) in c 4.676 * [taylor]: Taking taylor expansion of (- c) in c 4.676 * [taylor]: Taking taylor expansion of c in c 4.676 * [backup-simplify]: Simplify 0 into 0 4.676 * [backup-simplify]: Simplify 1 into 1 4.676 * [backup-simplify]: Simplify (- 0) into 0 4.677 * [backup-simplify]: Simplify (- 1) into -1 4.677 * [backup-simplify]: Simplify (exp 0) into 1 4.677 * [taylor]: Taking taylor expansion of 2 in c 4.677 * [backup-simplify]: Simplify 2 into 2 4.677 * [backup-simplify]: Simplify (+ 1 1) into 2 4.677 * [backup-simplify]: Simplify (/ 2 2) into 1 4.678 * [backup-simplify]: Simplify 1 into 1 4.679 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.679 * [backup-simplify]: Simplify (- 1) into -1 4.680 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 4.681 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.682 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0 4.682 * [backup-simplify]: Simplify 0 into 0 4.683 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.684 * [backup-simplify]: Simplify (- 1) into -1 4.684 * [backup-simplify]: Simplify (- 0) into 0 4.686 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.686 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 4.687 * [backup-simplify]: Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2 4.687 * [backup-simplify]: Simplify 1/2 into 1/2 4.690 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 4.690 * [backup-simplify]: Simplify (- 1) into -1 4.690 * [backup-simplify]: Simplify (- 1) into -1 4.691 * [backup-simplify]: Simplify (- 0) into 0 4.691 * [backup-simplify]: Simplify (- 0) into 0 4.693 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 4.694 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 4.695 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0 4.695 * [backup-simplify]: Simplify 0 into 0 4.699 * [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 4.700 * [backup-simplify]: Simplify (- 1) into -1 4.700 * [backup-simplify]: Simplify (- 1) into -1 4.701 * [backup-simplify]: Simplify (- 0) into 0 4.701 * [backup-simplify]: Simplify (- 1) into -1 4.701 * [backup-simplify]: Simplify (- 0) into 0 4.702 * [backup-simplify]: Simplify (- 0) into 0 4.702 * [backup-simplify]: Simplify (- 0) into 0 4.706 * [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 4.707 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 4.708 * [backup-simplify]: Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24 4.708 * [backup-simplify]: Simplify 1/24 into 1/24 4.709 * [backup-simplify]: Simplify (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) into (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) 4.709 * [backup-simplify]: Simplify (cosh (/ 1 c)) into (cosh (/ 1 c)) 4.709 * [approximate]: Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0 4.709 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 4.709 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 4.709 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 4.709 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 4.709 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.709 * [taylor]: Taking taylor expansion of c in c 4.709 * [backup-simplify]: Simplify 0 into 0 4.709 * [backup-simplify]: Simplify 1 into 1 4.709 * [backup-simplify]: Simplify (/ 1 1) into 1 4.709 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 4.710 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 4.710 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 4.710 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.710 * [taylor]: Taking taylor expansion of c in c 4.710 * [backup-simplify]: Simplify 0 into 0 4.710 * [backup-simplify]: Simplify 1 into 1 4.710 * [backup-simplify]: Simplify (/ 1 1) into 1 4.710 * [backup-simplify]: Simplify (- 1) into -1 4.710 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 4.710 * [taylor]: Taking taylor expansion of 2 in c 4.711 * [backup-simplify]: Simplify 2 into 2 4.711 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 4.711 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 4.711 * [taylor]: Taking taylor expansion of (cosh (/ 1 c)) in c 4.711 * [taylor]: Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 4.711 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 4.711 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 4.711 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.711 * [taylor]: Taking taylor expansion of c in c 4.711 * [backup-simplify]: Simplify 0 into 0 4.711 * [backup-simplify]: Simplify 1 into 1 4.712 * [backup-simplify]: Simplify (/ 1 1) into 1 4.712 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 4.712 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 4.712 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 4.712 * [taylor]: Taking taylor expansion of (/ 1 c) in c 4.712 * [taylor]: Taking taylor expansion of c in c 4.712 * [backup-simplify]: Simplify 0 into 0 4.712 * [backup-simplify]: Simplify 1 into 1 4.712 * [backup-simplify]: Simplify (/ 1 1) into 1 4.713 * [backup-simplify]: Simplify (- 1) into -1 4.713 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 4.713 * [taylor]: Taking taylor expansion of 2 in c 4.713 * [backup-simplify]: Simplify 2 into 2 4.713 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 4.713 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) into (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 4.713 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 4.714 * [backup-simplify]: Simplify (+ 0 0) into 0 4.715 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)))) into 0 4.715 * [backup-simplify]: Simplify 0 into 0 4.715 * [backup-simplify]: Simplify (+ 0 0) into 0 4.717 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.717 * [backup-simplify]: Simplify 0 into 0 4.717 * [backup-simplify]: Simplify (+ 0 0) into 0 4.719 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.719 * [backup-simplify]: Simplify 0 into 0 4.720 * [backup-simplify]: Simplify (+ 0 0) into 0 4.722 * [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 4.722 * [backup-simplify]: Simplify 0 into 0 4.723 * [backup-simplify]: Simplify (+ 0 0) into 0 4.730 * [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 4.730 * [backup-simplify]: Simplify 0 into 0 4.730 * [backup-simplify]: Simplify (+ 0 0) into 0 4.734 * [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 4.734 * [backup-simplify]: Simplify 0 into 0 4.734 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 1/2 (+ (exp c) (exp (- c)))) 4.734 * [backup-simplify]: Simplify (cosh (/ 1 (- c))) into (cosh (/ -1 c)) 4.734 * [approximate]: Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0 4.734 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 4.734 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 4.734 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 4.735 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 4.735 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.735 * [taylor]: Taking taylor expansion of -1 in c 4.735 * [backup-simplify]: Simplify -1 into -1 4.735 * [taylor]: Taking taylor expansion of c in c 4.735 * [backup-simplify]: Simplify 0 into 0 4.735 * [backup-simplify]: Simplify 1 into 1 4.735 * [backup-simplify]: Simplify (/ -1 1) into -1 4.735 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 4.735 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 4.735 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 4.735 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.735 * [taylor]: Taking taylor expansion of -1 in c 4.735 * [backup-simplify]: Simplify -1 into -1 4.735 * [taylor]: Taking taylor expansion of c in c 4.735 * [backup-simplify]: Simplify 0 into 0 4.735 * [backup-simplify]: Simplify 1 into 1 4.736 * [backup-simplify]: Simplify (/ -1 1) into -1 4.736 * [backup-simplify]: Simplify (- -1) into 1 4.737 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 4.737 * [taylor]: Taking taylor expansion of 2 in c 4.737 * [backup-simplify]: Simplify 2 into 2 4.737 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ 1 c)) (exp (/ -1 c))) 4.737 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 c)) (exp (/ -1 c))) 2) into (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 4.737 * [taylor]: Taking taylor expansion of (cosh (/ -1 c)) in c 4.737 * [taylor]: Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2) 4.737 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c 4.737 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 4.737 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.737 * [taylor]: Taking taylor expansion of -1 in c 4.737 * [backup-simplify]: Simplify -1 into -1 4.737 * [taylor]: Taking taylor expansion of c in c 4.737 * [backup-simplify]: Simplify 0 into 0 4.738 * [backup-simplify]: Simplify 1 into 1 4.738 * [backup-simplify]: Simplify (/ -1 1) into -1 4.738 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 4.738 * [taylor]: Taking taylor expansion of (exp (- (/ -1 c))) in c 4.738 * [taylor]: Taking taylor expansion of (- (/ -1 c)) in c 4.738 * [taylor]: Taking taylor expansion of (/ -1 c) in c 4.738 * [taylor]: Taking taylor expansion of -1 in c 4.738 * [backup-simplify]: Simplify -1 into -1 4.738 * [taylor]: Taking taylor expansion of c in c 4.738 * [backup-simplify]: Simplify 0 into 0 4.738 * [backup-simplify]: Simplify 1 into 1 4.739 * [backup-simplify]: Simplify (/ -1 1) into -1 4.739 * [backup-simplify]: Simplify (- -1) into 1 4.739 * [backup-simplify]: Simplify (exp (- (/ -1 c))) into (exp (/ 1 c)) 4.739 * [taylor]: Taking taylor expansion of 2 in c 4.739 * [backup-simplify]: Simplify 2 into 2 4.739 * [backup-simplify]: Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ 1 c)) (exp (/ -1 c))) 4.739 * [backup-simplify]: Simplify (/ (+ (exp (/ 1 c)) (exp (/ -1 c))) 2) into (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 4.740 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) into (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 4.740 * [backup-simplify]: Simplify (+ 0 0) into 0 4.741 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (/ 0 2)))) into 0 4.741 * [backup-simplify]: Simplify 0 into 0 4.741 * [backup-simplify]: Simplify (+ 0 0) into 0 4.742 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.742 * [backup-simplify]: Simplify 0 into 0 4.742 * [backup-simplify]: Simplify (+ 0 0) into 0 4.743 * [backup-simplify]: Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0 4.743 * [backup-simplify]: Simplify 0 into 0 4.743 * [backup-simplify]: Simplify (+ 0 0) into 0 4.745 * [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 4.745 * [backup-simplify]: Simplify 0 into 0 4.745 * [backup-simplify]: Simplify (+ 0 0) into 0 4.747 * [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 4.747 * [backup-simplify]: Simplify 0 into 0 4.747 * [backup-simplify]: Simplify (+ 0 0) into 0 4.749 * [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 4.749 * [backup-simplify]: Simplify 0 into 0 4.749 * [backup-simplify]: Simplify (* 1/2 (+ (exp (/ 1 (/ 1 (- c)))) (exp (/ -1 (/ 1 (- c)))))) into (* 1/2 (+ (exp (* -1 c)) (exp c))) 4.749 * * * [progress]: simplifying candidates 4.750 * [simplify]: Simplifying: (log (fmod (cbrt (pow (cosh c) 3)) (log1p a))) (exp (fmod (cbrt (pow (cosh c) 3)) (log1p a))) (* (cbrt (fmod (cbrt (pow (cosh c) 3)) (log1p a))) (cbrt (fmod (cbrt (pow (cosh c) 3)) (log1p a)))) (cbrt (fmod (cbrt (pow (cosh c) 3)) (log1p a))) (* (* (fmod (cbrt (pow (cosh c) 3)) (log1p a)) (fmod (cbrt (pow (cosh c) 3)) (log1p a))) (fmod (cbrt (pow (cosh c) 3)) (log1p a))) (sqrt (fmod (cbrt (pow (cosh c) 3)) (log1p a))) (sqrt (fmod (cbrt (pow (cosh c) 3)) (log1p a))) (* (log (cosh c)) 3) (* (log (cosh c)) 3) (* 1 3) (pow (cosh c) (* (cbrt 3) (cbrt 3))) (pow (cosh c) (sqrt 3)) (pow (cosh c) 1) (pow (* (cbrt (cosh c)) (cbrt (cosh c))) 3) (pow (cbrt (cosh c)) 3) (pow (sqrt (cosh c)) 3) (pow (sqrt (cosh c)) 3) (pow 1 3) (pow (cosh c) 3) (* (cosh c) (cosh c)) (log (pow (cosh c) 3)) (exp (pow (cosh c) 3)) (* (cbrt (pow (cosh c) 3)) (cbrt (pow (cosh c) 3))) (cbrt (pow (cosh c) 3)) (* (* (pow (cosh c) 3) (pow (cosh c) 3)) (pow (cosh c) 3)) (pow (* (cbrt (cosh c)) (cbrt (cosh c))) 3) (pow (cbrt (cosh c)) 3) (pow (sqrt (cosh c)) 3) (pow (sqrt (cosh c)) 3) (pow 1 3) (pow (cosh c) 3) (pow (+ (exp c) (exp (- c))) 3) (pow 2 3) (* (cosh c) (cosh c)) (sqrt (pow (cosh c) 3)) (sqrt (pow (cosh c) 3)) (pow (cosh c) (/ 3 2)) (pow (cosh c) (/ 3 2)) (log (cbrt (pow (cosh c) 3))) (exp (cbrt (pow (cosh c) 3))) (cbrt (pow (* (cbrt (cosh c)) (cbrt (cosh c))) 3)) (cbrt (pow (cbrt (cosh c)) 3)) (cbrt (pow (sqrt (cosh c)) 3)) (cbrt (pow (sqrt (cosh c)) 3)) (cbrt (pow 1 3)) (cbrt (pow (cosh c) 3)) (cbrt (* (cosh c) (cosh c))) (cbrt (cosh c)) (cbrt (* (cbrt (pow (cosh c) 3)) (cbrt (pow (cosh c) 3)))) (cbrt (cbrt (pow (cosh c) 3))) (cbrt (pow (* (cbrt (cosh c)) (cbrt (cosh c))) 3)) (cbrt (pow (cbrt (cosh c)) 3)) (cbrt (pow (sqrt (cosh c)) 3)) (cbrt (pow (sqrt (cosh c)) 3)) (cbrt (pow 1 3)) (cbrt (pow (cosh c) 3)) (cbrt (cosh c)) (cbrt (* (cosh c) (cosh c))) (cbrt (sqrt (pow (cosh c) 3))) (cbrt (sqrt (pow (cosh c) 3))) (cbrt 1) (cbrt (pow (cosh c) 3)) (cbrt (pow (cosh c) (/ 3 2))) (cbrt (pow (cosh c) (/ 3 2))) (cbrt (pow (+ (exp c) (exp (- c))) 3)) (cbrt (pow 2 3)) (* (cbrt (cbrt (pow (cosh c) 3))) (cbrt (cbrt (pow (cosh c) 3)))) (cbrt (cbrt (pow (cosh c) 3))) (* (* (cbrt (pow (cosh c) 3)) (cbrt (pow (cosh c) 3))) (cbrt (pow (cosh c) 3))) (sqrt (cbrt (pow (cosh c) 3))) (sqrt (cbrt (pow (cosh c) 3))) (+ (exp c) (exp (- c))) (log (cosh c)) (exp (cosh c)) (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c)) (* (* (cosh c) (cosh c)) (cosh c)) (sqrt (cosh c)) (sqrt (cosh c)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (+ (* 7/8 (pow c 4)) (+ (* 3/2 (pow c 2)) 1)) (* 1/8 (pow (+ (exp c) (exp (- c))) 3)) (* 1/8 (pow (+ (exp (* -1 c)) (exp c)) 3)) (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (* 1/2 (+ (exp c) (exp (- c)))) (* 1/2 (+ (exp (* -1 c)) (exp c))) (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (* 1/2 (+ (exp c) (exp (- c)))) (* 1/2 (+ (exp (* -1 c)) (exp c))) 4.751 * * [simplify]: Extracting # 0 : cost 0 4.752 * * [simplify]: Extracting # 1 : cost 0 4.752 * * [simplify]: Extracting # 2 : cost 0 4.752 * * [simplify]: Extracting # 3 : cost 0 4.752 * * [simplify]: Extracting # 4 : cost 0 4.752 * * [simplify]: Extracting # 5 : cost 0 4.752 * * [simplify]: Extracting # 6 : cost 0 4.752 * * [simplify]: Extracting # 7 : cost 0 4.752 * * [simplify]: Extracting # 8 : cost 0 4.752 * * [simplify]: iteration 0 : 93 enodes (cost 626 ) 4.777 * * [simplify]: Extracting # 0 : cost 0 4.777 * * [simplify]: Extracting # 1 : cost 0 4.777 * * [simplify]: Extracting # 2 : cost 0 4.778 * * [simplify]: Extracting # 3 : cost 0 4.778 * * [simplify]: Extracting # 4 : cost 0 4.778 * * [simplify]: iteration 1 : 186 enodes (cost 450 ) 4.828 * * [simplify]: Extracting # 0 : cost 0 4.828 * * [simplify]: Extracting # 1 : cost 0 4.829 * * [simplify]: Extracting # 2 : cost 0 4.829 * * [simplify]: Extracting # 3 : cost 0 4.830 * * [simplify]: Extracting # 4 : cost 0 4.830 * * [simplify]: iteration 2 : 445 enodes (cost 425 ) 5.513 * * [simplify]: Extracting # 0 : cost 0 5.518 * * [simplify]: Extracting # 1 : cost 0 5.530 * * [simplify]: Extracting # 2 : cost 0 5.535 * * [simplify]: Extracting # 3 : cost 0 5.540 * * [simplify]: Extracting # 4 : cost 0 5.546 * * [simplify]: Extracting # 5 : cost 0 5.551 * * [simplify]: iteration 3 : 2645 enodes (cost 417 ) 7.726 * * [simplify]: Extracting # 0 : cost 0 7.733 * * [simplify]: Extracting # 1 : cost 0 7.739 * * [simplify]: Extracting # 2 : cost 0 7.744 * * [simplify]: Extracting # 3 : cost 0 7.753 * * [simplify]: Extracting # 4 : cost 0 7.762 * * [simplify]: Extracting # 5 : cost 0 7.768 * * [simplify]: iteration done: 5000 enodes (cost 417 ) 7.768 * [simplify]: Simplified to: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (* (log (cosh c)) 3) (* (log (cosh c)) 3) 3 (pow (cosh c) (* (cbrt 3) (cbrt 3))) (pow (cosh c) (sqrt 3)) (cosh c) (pow (cosh c) 2) (cosh c) (pow (cosh c) 3/2) (pow (cosh c) 3/2) 1 (pow (cosh c) 3) (pow (cosh c) 2) (* (log (cosh c)) 3) (exp (pow (cosh c) 3)) (pow (cosh c) 2) (cosh c) (pow (pow (cosh c) 3) 3) (pow (cosh c) 2) (cosh c) (pow (cosh c) 3/2) (pow (cosh c) 3/2) 1 (pow (cosh c) 3) (pow (+ (exp c) (exp (- c))) 3) 8 (pow (cosh c) 2) (sqrt (pow (cosh c) 3)) (sqrt (pow (cosh c) 3)) (pow (cosh c) 3/2) (pow (cosh c) 3/2) (log (cosh c)) (exp (cosh c)) (cbrt (pow (cosh c) 2)) (cbrt (cosh c)) (sqrt (cosh c)) (sqrt (cosh c)) 1 (cosh c) (cbrt (pow (cosh c) 2)) (cbrt (cosh c)) (cbrt (pow (cosh c) 2)) (cbrt (cosh c)) (cbrt (pow (cosh c) 2)) (cbrt (cosh c)) (sqrt (cosh c)) (sqrt (cosh c)) 1 (cosh c) (cbrt (cosh c)) (cbrt (pow (cosh c) 2)) (cbrt (sqrt (pow (cosh c) 3))) (cbrt (sqrt (pow (cosh c) 3))) 1 (cosh c) (sqrt (cosh c)) (sqrt (cosh c)) (+ (exp (- c)) (exp c)) 2 (cbrt (pow (cosh c) 2)) (cbrt (cosh c)) (pow (cosh c) 3) (sqrt (cosh c)) (sqrt (cosh c)) (+ (exp (- c)) (exp c)) (log (cosh c)) (exp (cosh c)) (cbrt (pow (cosh c) 2)) (cbrt (cosh c)) (pow (cosh c) 3) (sqrt (cosh c)) (sqrt (cosh c)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (+ (* 7/8 (pow c 4)) (+ (* 3/2 (pow c 2)) 1)) (* 1/8 (pow (+ (exp c) (exp (- c))) 3)) (* 1/8 (pow (+ (exp c) (exp (- c))) 3)) (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (* 1/2 (+ (exp (- c)) (exp c))) (* 1/2 (+ (exp (- c)) (exp c))) (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) (* 1/2 (+ (exp (- c)) (exp c))) (* 1/2 (+ (exp (- c)) (exp c))) 7.769 * * * [progress]: adding candidates to table 8.012 * * [progress]: iteration 3 / 4 8.012 * * * [progress]: picking best candidate 8.063 * * * * [pick]: Picked # 8.063 * * * [progress]: localizing error 8.087 * * * [progress]: generating rewritten candidates 8.087 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 8.088 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 8.121 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 8.137 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 8.175 * * * [progress]: generating series expansions 8.175 * * * * [progress]: [ 1 / 4 ] generating series at (2) 8.176 * [backup-simplify]: Simplify (fmod (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (log1p a)) into (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) 8.176 * [approximate]: Taking taylor expansion of (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) in (c a) around 0 8.176 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) in a 8.176 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) 8.176 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) in c 8.176 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) 8.176 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) in c 8.176 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) 8.177 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) in a 8.177 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) 8.177 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) 8.177 * [taylor]: Taking taylor expansion of 0 in a 8.177 * [backup-simplify]: Simplify 0 into 0 8.177 * [backup-simplify]: Simplify 0 into 0 8.177 * [backup-simplify]: Simplify 0 into 0 8.177 * [taylor]: Taking taylor expansion of 0 in a 8.177 * [backup-simplify]: Simplify 0 into 0 8.177 * [backup-simplify]: Simplify 0 into 0 8.177 * [backup-simplify]: Simplify 0 into 0 8.177 * [backup-simplify]: Simplify 0 into 0 8.177 * [taylor]: Taking taylor expansion of 0 in a 8.178 * [backup-simplify]: Simplify 0 into 0 8.178 * [backup-simplify]: Simplify 0 into 0 8.178 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) 8.178 * [backup-simplify]: Simplify (fmod (cbrt (* 1/8 (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 3))) (log1p (/ 1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) 8.178 * [approximate]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) in (c a) around 0 8.178 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) in a 8.179 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) 8.179 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) in c 8.179 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) 8.179 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) in c 8.179 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) 8.180 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) in a 8.180 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) 8.180 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) 8.180 * [taylor]: Taking taylor expansion of 0 in a 8.181 * [backup-simplify]: Simplify 0 into 0 8.181 * [backup-simplify]: Simplify 0 into 0 8.181 * [backup-simplify]: Simplify 0 into 0 8.181 * [taylor]: Taking taylor expansion of 0 in a 8.181 * [backup-simplify]: Simplify 0 into 0 8.181 * [backup-simplify]: Simplify 0 into 0 8.181 * [backup-simplify]: Simplify 0 into 0 8.181 * [backup-simplify]: Simplify 0 into 0 8.181 * [taylor]: Taking taylor expansion of 0 in a 8.181 * [backup-simplify]: Simplify 0 into 0 8.181 * [backup-simplify]: Simplify 0 into 0 8.181 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) (log1p (/ 1 (/ 1 a)))) into (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) 8.182 * [backup-simplify]: Simplify (fmod (cbrt (* 1/8 (pow (+ (exp (/ 1 (- c))) (exp (- (/ 1 (- c))))) 3))) (log1p (/ 1 (- a)))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) 8.182 * [approximate]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) in (c a) around 0 8.182 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) in a 8.182 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) 8.182 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) in c 8.183 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) 8.183 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) in c 8.183 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) 8.183 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) in a 8.183 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) 8.184 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) 8.184 * [taylor]: Taking taylor expansion of 0 in a 8.184 * [backup-simplify]: Simplify 0 into 0 8.184 * [backup-simplify]: Simplify 0 into 0 8.184 * [backup-simplify]: Simplify 0 into 0 8.184 * [taylor]: Taking taylor expansion of 0 in a 8.184 * [backup-simplify]: Simplify 0 into 0 8.184 * [backup-simplify]: Simplify 0 into 0 8.184 * [backup-simplify]: Simplify 0 into 0 8.184 * [backup-simplify]: Simplify 0 into 0 8.184 * [taylor]: Taking taylor expansion of 0 in a 8.184 * [backup-simplify]: Simplify 0 into 0 8.184 * [backup-simplify]: Simplify 0 into 0 8.185 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 (/ 1 (- c)))) (exp (/ -1 (/ 1 (- c)))))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (* 0.5 (+ (exp (* -1 c)) (exp c))) (log1p a)) 8.185 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 8.185 * [backup-simplify]: Simplify (pow (+ (exp c) (exp (- c))) 3) into (pow (+ (exp c) (exp (- c))) 3) 8.185 * [approximate]: Taking taylor expansion of (pow (+ (exp c) (exp (- c))) 3) in (c) around 0 8.185 * [taylor]: Taking taylor expansion of (pow (+ (exp c) (exp (- c))) 3) in c 8.185 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 8.185 * [taylor]: Taking taylor expansion of (exp c) in c 8.185 * [taylor]: Taking taylor expansion of c in c 8.185 * [backup-simplify]: Simplify 0 into 0 8.185 * [backup-simplify]: Simplify 1 into 1 8.185 * [backup-simplify]: Simplify (exp 0) into 1 8.185 * [taylor]: Taking taylor expansion of (exp (- c)) in c 8.185 * [taylor]: Taking taylor expansion of (- c) in c 8.185 * [taylor]: Taking taylor expansion of c in c 8.185 * [backup-simplify]: Simplify 0 into 0 8.185 * [backup-simplify]: Simplify 1 into 1 8.186 * [backup-simplify]: Simplify (- 0) into 0 8.187 * [backup-simplify]: Simplify (- 1) into -1 8.187 * [backup-simplify]: Simplify (exp 0) into 1 8.187 * [backup-simplify]: Simplify (+ 1 1) into 2 8.187 * [taylor]: Taking taylor expansion of (pow (+ (exp c) (exp (- c))) 3) in c 8.187 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 8.187 * [taylor]: Taking taylor expansion of (exp c) in c 8.187 * [taylor]: Taking taylor expansion of c in c 8.187 * [backup-simplify]: Simplify 0 into 0 8.187 * [backup-simplify]: Simplify 1 into 1 8.187 * [backup-simplify]: Simplify (exp 0) into 1 8.187 * [taylor]: Taking taylor expansion of (exp (- c)) in c 8.187 * [taylor]: Taking taylor expansion of (- c) in c 8.187 * [taylor]: Taking taylor expansion of c in c 8.187 * [backup-simplify]: Simplify 0 into 0 8.187 * [backup-simplify]: Simplify 1 into 1 8.188 * [backup-simplify]: Simplify (- 0) into 0 8.188 * [backup-simplify]: Simplify (- 1) into -1 8.188 * [backup-simplify]: Simplify (exp 0) into 1 8.189 * [backup-simplify]: Simplify (+ 1 1) into 2 8.189 * [backup-simplify]: Simplify (* 2 2) into 4 8.190 * [backup-simplify]: Simplify (* 2 4) into 8 8.190 * [backup-simplify]: Simplify 8 into 8 8.191 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.191 * [backup-simplify]: Simplify (- 1) into -1 8.192 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 8.193 * [backup-simplify]: Simplify (+ 1 -1) into 0 8.194 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 2)) into 0 8.194 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 4)) into 0 8.194 * [backup-simplify]: Simplify 0 into 0 8.196 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.197 * [backup-simplify]: Simplify (- 1) into -1 8.197 * [backup-simplify]: Simplify (- 0) into 0 8.199 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.200 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 8.201 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 0) (* 1 2))) into 4 8.202 * [backup-simplify]: Simplify (+ (* 2 4) (+ (* 0 0) (* 1 4))) into 12 8.202 * [backup-simplify]: Simplify 12 into 12 8.205 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 8.205 * [backup-simplify]: Simplify (- 1) into -1 8.206 * [backup-simplify]: Simplify (- 1) into -1 8.206 * [backup-simplify]: Simplify (- 0) into 0 8.206 * [backup-simplify]: Simplify (- 0) into 0 8.209 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 8.210 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 8.211 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (+ (* 1 0) (* 0 2)))) into 0 8.212 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 4) (+ (* 1 0) (* 0 4)))) into 0 8.212 * [backup-simplify]: Simplify 0 into 0 8.217 * [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 8.218 * [backup-simplify]: Simplify (- 1) into -1 8.219 * [backup-simplify]: Simplify (- 1) into -1 8.219 * [backup-simplify]: Simplify (- 0) into 0 8.219 * [backup-simplify]: Simplify (- 1) into -1 8.220 * [backup-simplify]: Simplify (- 0) into 0 8.220 * [backup-simplify]: Simplify (- 0) into 0 8.221 * [backup-simplify]: Simplify (- 0) into 0 8.225 * [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 8.226 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 8.227 * [backup-simplify]: Simplify (+ (* 2 1/12) (+ (* 0 0) (+ (* 1 1) (+ (* 0 0) (* 1/12 2))))) into 4/3 8.229 * [backup-simplify]: Simplify (+ (* 2 4/3) (+ (* 0 0) (+ (* 1 4) (+ (* 0 0) (* 1/12 4))))) into 7 8.229 * [backup-simplify]: Simplify 7 into 7 8.230 * [backup-simplify]: Simplify (+ (* 7 (pow c 4)) (+ (* 12 (pow c 2)) 8)) into (+ (* 7 (pow c 4)) (+ (* 12 (pow c 2)) 8)) 8.230 * [backup-simplify]: Simplify (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 3) into (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 3) 8.230 * [approximate]: Taking taylor expansion of (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 3) in (c) around 0 8.230 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 3) in c 8.230 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 8.230 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 8.231 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.231 * [taylor]: Taking taylor expansion of c in c 8.231 * [backup-simplify]: Simplify 0 into 0 8.231 * [backup-simplify]: Simplify 1 into 1 8.231 * [backup-simplify]: Simplify (/ 1 1) into 1 8.231 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 8.231 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 8.231 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 8.231 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.231 * [taylor]: Taking taylor expansion of c in c 8.231 * [backup-simplify]: Simplify 0 into 0 8.231 * [backup-simplify]: Simplify 1 into 1 8.232 * [backup-simplify]: Simplify (/ 1 1) into 1 8.232 * [backup-simplify]: Simplify (- 1) into -1 8.232 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 8.232 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 8.233 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 3) in c 8.233 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 8.233 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 8.233 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.233 * [taylor]: Taking taylor expansion of c in c 8.233 * [backup-simplify]: Simplify 0 into 0 8.233 * [backup-simplify]: Simplify 1 into 1 8.233 * [backup-simplify]: Simplify (/ 1 1) into 1 8.233 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 8.233 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 8.233 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 8.233 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.233 * [taylor]: Taking taylor expansion of c in c 8.233 * [backup-simplify]: Simplify 0 into 0 8.233 * [backup-simplify]: Simplify 1 into 1 8.234 * [backup-simplify]: Simplify (/ 1 1) into 1 8.234 * [backup-simplify]: Simplify (- 1) into -1 8.234 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 8.235 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 8.235 * [backup-simplify]: Simplify (* (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) into (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) 8.236 * [backup-simplify]: Simplify (* (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)) into (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 3) 8.236 * [backup-simplify]: Simplify (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 3) into (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 3) 8.236 * [backup-simplify]: Simplify (+ 0 0) into 0 8.237 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 0) (* 0 (+ (exp (/ 1 c)) (exp (- (/ 1 c)))))) into 0 8.237 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 0) (* 0 (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))) into 0 8.237 * [backup-simplify]: Simplify 0 into 0 8.238 * [backup-simplify]: Simplify (+ 0 0) into 0 8.239 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))))) into 0 8.240 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 0) (+ (* 0 0) (* 0 (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))) into 0 8.240 * [backup-simplify]: Simplify 0 into 0 8.240 * [backup-simplify]: Simplify (+ 0 0) into 0 8.241 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (- (/ 1 c)))))))) into 0 8.243 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))) into 0 8.243 * [backup-simplify]: Simplify 0 into 0 8.243 * [backup-simplify]: Simplify (+ 0 0) into 0 8.245 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))))))) into 0 8.246 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))))) into 0 8.246 * [backup-simplify]: Simplify 0 into 0 8.247 * [backup-simplify]: Simplify (+ 0 0) into 0 8.249 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (- (/ 1 c)))))))))) into 0 8.251 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2))))))) into 0 8.251 * [backup-simplify]: Simplify 0 into 0 8.251 * [backup-simplify]: Simplify (+ 0 0) into 0 8.254 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))))))))) into 0 8.256 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)))))))) into 0 8.256 * [backup-simplify]: Simplify 0 into 0 8.257 * [backup-simplify]: Simplify (pow (+ (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c))))) 3) into (pow (+ (exp c) (exp (- c))) 3) 8.257 * [backup-simplify]: Simplify (pow (+ (exp (/ 1 (- c))) (exp (- (/ 1 (- c))))) 3) into (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 3) 8.257 * [approximate]: Taking taylor expansion of (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 3) in (c) around 0 8.257 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 3) in c 8.257 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c 8.257 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 8.257 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.257 * [taylor]: Taking taylor expansion of c in c 8.257 * [backup-simplify]: Simplify 0 into 0 8.257 * [backup-simplify]: Simplify 1 into 1 8.258 * [backup-simplify]: Simplify (/ 1 1) into 1 8.258 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 8.258 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 8.258 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.258 * [taylor]: Taking taylor expansion of -1 in c 8.258 * [backup-simplify]: Simplify -1 into -1 8.258 * [taylor]: Taking taylor expansion of c in c 8.258 * [backup-simplify]: Simplify 0 into 0 8.258 * [backup-simplify]: Simplify 1 into 1 8.259 * [backup-simplify]: Simplify (/ -1 1) into -1 8.259 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 8.259 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (/ -1 c))) into (+ (exp (/ 1 c)) (exp (/ -1 c))) 8.259 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 3) in c 8.259 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c 8.259 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 8.259 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.259 * [taylor]: Taking taylor expansion of c in c 8.259 * [backup-simplify]: Simplify 0 into 0 8.259 * [backup-simplify]: Simplify 1 into 1 8.260 * [backup-simplify]: Simplify (/ 1 1) into 1 8.260 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 8.260 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 8.260 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.260 * [taylor]: Taking taylor expansion of -1 in c 8.260 * [backup-simplify]: Simplify -1 into -1 8.260 * [taylor]: Taking taylor expansion of c in c 8.260 * [backup-simplify]: Simplify 0 into 0 8.260 * [backup-simplify]: Simplify 1 into 1 8.261 * [backup-simplify]: Simplify (/ -1 1) into -1 8.261 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 8.261 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (/ -1 c))) into (+ (exp (/ 1 c)) (exp (/ -1 c))) 8.261 * [backup-simplify]: Simplify (* (+ (exp (/ 1 c)) (exp (/ -1 c))) (+ (exp (/ 1 c)) (exp (/ -1 c)))) into (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 2) 8.262 * [backup-simplify]: Simplify (* (+ (exp (/ 1 c)) (exp (/ -1 c))) (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 2)) into (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 3) 8.262 * [backup-simplify]: Simplify (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 3) into (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 3) 8.263 * [backup-simplify]: Simplify (+ 0 0) into 0 8.263 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (/ -1 c))) 0) (* 0 (+ (exp (/ 1 c)) (exp (/ -1 c))))) into 0 8.263 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (/ -1 c))) 0) (* 0 (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 2))) into 0 8.263 * [backup-simplify]: Simplify 0 into 0 8.264 * [backup-simplify]: Simplify (+ 0 0) into 0 8.265 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (/ -1 c))) 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (/ -1 c)))))) into 0 8.266 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (/ -1 c))) 0) (+ (* 0 0) (* 0 (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 2)))) into 0 8.266 * [backup-simplify]: Simplify 0 into 0 8.266 * [backup-simplify]: Simplify (+ 0 0) into 0 8.267 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (/ -1 c))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (/ -1 c))))))) into 0 8.269 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (/ -1 c))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 2))))) into 0 8.269 * [backup-simplify]: Simplify 0 into 0 8.269 * [backup-simplify]: Simplify (+ 0 0) into 0 8.270 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (/ -1 c))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (/ -1 c)))))))) into 0 8.272 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (/ -1 c))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 2)))))) into 0 8.272 * [backup-simplify]: Simplify 0 into 0 8.273 * [backup-simplify]: Simplify (+ 0 0) into 0 8.274 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (/ -1 c))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (/ -1 c))))))))) into 0 8.276 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (/ -1 c))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 2))))))) into 0 8.276 * [backup-simplify]: Simplify 0 into 0 8.277 * [backup-simplify]: Simplify (+ 0 0) into 0 8.279 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (/ -1 c))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (/ -1 c)))))))))) into 0 8.281 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 c)) (exp (/ -1 c))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (+ (exp (/ 1 c)) (exp (/ -1 c))) 2)))))))) into 0 8.282 * [backup-simplify]: Simplify 0 into 0 8.282 * [backup-simplify]: Simplify (pow (+ (exp (/ 1 (/ 1 (- c)))) (exp (/ -1 (/ 1 (- c))))) 3) into (pow (+ (exp (* -1 c)) (exp c)) 3) 8.282 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 8.282 * [backup-simplify]: Simplify (+ (exp c) (exp (- c))) into (+ (exp c) (exp (- c))) 8.282 * [approximate]: Taking taylor expansion of (+ (exp c) (exp (- c))) in (c) around 0 8.282 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 8.282 * [taylor]: Taking taylor expansion of (exp c) in c 8.282 * [taylor]: Taking taylor expansion of c in c 8.282 * [backup-simplify]: Simplify 0 into 0 8.282 * [backup-simplify]: Simplify 1 into 1 8.282 * [backup-simplify]: Simplify (exp 0) into 1 8.282 * [taylor]: Taking taylor expansion of (exp (- c)) in c 8.282 * [taylor]: Taking taylor expansion of (- c) in c 8.282 * [taylor]: Taking taylor expansion of c in c 8.283 * [backup-simplify]: Simplify 0 into 0 8.283 * [backup-simplify]: Simplify 1 into 1 8.283 * [backup-simplify]: Simplify (- 0) into 0 8.283 * [backup-simplify]: Simplify (- 1) into -1 8.283 * [backup-simplify]: Simplify (exp 0) into 1 8.283 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 8.283 * [taylor]: Taking taylor expansion of (exp c) in c 8.284 * [taylor]: Taking taylor expansion of c in c 8.284 * [backup-simplify]: Simplify 0 into 0 8.284 * [backup-simplify]: Simplify 1 into 1 8.284 * [backup-simplify]: Simplify (exp 0) into 1 8.284 * [taylor]: Taking taylor expansion of (exp (- c)) in c 8.284 * [taylor]: Taking taylor expansion of (- c) in c 8.284 * [taylor]: Taking taylor expansion of c in c 8.284 * [backup-simplify]: Simplify 0 into 0 8.284 * [backup-simplify]: Simplify 1 into 1 8.284 * [backup-simplify]: Simplify (- 0) into 0 8.285 * [backup-simplify]: Simplify (- 1) into -1 8.285 * [backup-simplify]: Simplify (exp 0) into 1 8.285 * [backup-simplify]: Simplify (+ 1 1) into 2 8.285 * [backup-simplify]: Simplify 2 into 2 8.286 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.287 * [backup-simplify]: Simplify (- 1) into -1 8.288 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 8.288 * [backup-simplify]: Simplify (+ 1 -1) into 0 8.288 * [backup-simplify]: Simplify 0 into 0 8.290 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.290 * [backup-simplify]: Simplify (- 1) into -1 8.291 * [backup-simplify]: Simplify (- 0) into 0 8.293 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.293 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 8.293 * [backup-simplify]: Simplify 1 into 1 8.296 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 8.297 * [backup-simplify]: Simplify (- 1) into -1 8.297 * [backup-simplify]: Simplify (- 1) into -1 8.297 * [backup-simplify]: Simplify (- 0) into 0 8.298 * [backup-simplify]: Simplify (- 0) into 0 8.301 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 8.301 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 8.301 * [backup-simplify]: Simplify 0 into 0 8.305 * [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 8.306 * [backup-simplify]: Simplify (- 1) into -1 8.306 * [backup-simplify]: Simplify (- 1) into -1 8.307 * [backup-simplify]: Simplify (- 0) into 0 8.307 * [backup-simplify]: Simplify (- 1) into -1 8.307 * [backup-simplify]: Simplify (- 0) into 0 8.308 * [backup-simplify]: Simplify (- 0) into 0 8.308 * [backup-simplify]: Simplify (- 0) into 0 8.313 * [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 8.313 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 8.313 * [backup-simplify]: Simplify 1/12 into 1/12 8.314 * [backup-simplify]: Simplify (+ (* 1/12 (pow c 4)) (+ (* 1 (pow c 2)) 2)) into (+ (* 1/12 (pow c 4)) (+ (pow c 2) 2)) 8.314 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 8.314 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in (c) around 0 8.314 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 8.314 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 8.314 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.314 * [taylor]: Taking taylor expansion of c in c 8.314 * [backup-simplify]: Simplify 0 into 0 8.315 * [backup-simplify]: Simplify 1 into 1 8.315 * [backup-simplify]: Simplify (/ 1 1) into 1 8.315 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 8.315 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 8.315 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 8.315 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.315 * [taylor]: Taking taylor expansion of c in c 8.315 * [backup-simplify]: Simplify 0 into 0 8.315 * [backup-simplify]: Simplify 1 into 1 8.316 * [backup-simplify]: Simplify (/ 1 1) into 1 8.316 * [backup-simplify]: Simplify (- 1) into -1 8.316 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 8.316 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 8.316 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 8.316 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.316 * [taylor]: Taking taylor expansion of c in c 8.316 * [backup-simplify]: Simplify 0 into 0 8.316 * [backup-simplify]: Simplify 1 into 1 8.317 * [backup-simplify]: Simplify (/ 1 1) into 1 8.317 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 8.317 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 8.317 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 8.317 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.317 * [taylor]: Taking taylor expansion of c in c 8.317 * [backup-simplify]: Simplify 0 into 0 8.317 * [backup-simplify]: Simplify 1 into 1 8.317 * [backup-simplify]: Simplify (/ 1 1) into 1 8.318 * [backup-simplify]: Simplify (- 1) into -1 8.318 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 8.318 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 8.318 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 8.319 * [backup-simplify]: Simplify (+ 0 0) into 0 8.319 * [backup-simplify]: Simplify 0 into 0 8.319 * [backup-simplify]: Simplify (+ 0 0) into 0 8.319 * [backup-simplify]: Simplify 0 into 0 8.320 * [backup-simplify]: Simplify (+ 0 0) into 0 8.320 * [backup-simplify]: Simplify 0 into 0 8.320 * [backup-simplify]: Simplify (+ 0 0) into 0 8.320 * [backup-simplify]: Simplify 0 into 0 8.320 * [backup-simplify]: Simplify (+ 0 0) into 0 8.321 * [backup-simplify]: Simplify 0 into 0 8.321 * [backup-simplify]: Simplify (+ 0 0) into 0 8.321 * [backup-simplify]: Simplify 0 into 0 8.321 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c))))) into (+ (exp c) (exp (- c))) 8.321 * [backup-simplify]: Simplify (+ (exp (/ 1 (- c))) (exp (- (/ 1 (- c))))) into (+ (exp (/ 1 c)) (exp (/ -1 c))) 8.321 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in (c) around 0 8.322 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c 8.322 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 8.322 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.322 * [taylor]: Taking taylor expansion of c in c 8.322 * [backup-simplify]: Simplify 0 into 0 8.322 * [backup-simplify]: Simplify 1 into 1 8.322 * [backup-simplify]: Simplify (/ 1 1) into 1 8.322 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 8.322 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 8.322 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.322 * [taylor]: Taking taylor expansion of -1 in c 8.322 * [backup-simplify]: Simplify -1 into -1 8.322 * [taylor]: Taking taylor expansion of c in c 8.322 * [backup-simplify]: Simplify 0 into 0 8.322 * [backup-simplify]: Simplify 1 into 1 8.323 * [backup-simplify]: Simplify (/ -1 1) into -1 8.323 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 8.323 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c 8.323 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 8.323 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.323 * [taylor]: Taking taylor expansion of c in c 8.323 * [backup-simplify]: Simplify 0 into 0 8.323 * [backup-simplify]: Simplify 1 into 1 8.324 * [backup-simplify]: Simplify (/ 1 1) into 1 8.324 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 8.324 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 8.324 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.324 * [taylor]: Taking taylor expansion of -1 in c 8.324 * [backup-simplify]: Simplify -1 into -1 8.324 * [taylor]: Taking taylor expansion of c in c 8.324 * [backup-simplify]: Simplify 0 into 0 8.324 * [backup-simplify]: Simplify 1 into 1 8.324 * [backup-simplify]: Simplify (/ -1 1) into -1 8.325 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 8.325 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (/ -1 c))) into (+ (exp (/ 1 c)) (exp (/ -1 c))) 8.325 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (/ -1 c))) into (+ (exp (/ 1 c)) (exp (/ -1 c))) 8.326 * [backup-simplify]: Simplify (+ 0 0) into 0 8.326 * [backup-simplify]: Simplify 0 into 0 8.326 * [backup-simplify]: Simplify (+ 0 0) into 0 8.326 * [backup-simplify]: Simplify 0 into 0 8.326 * [backup-simplify]: Simplify (+ 0 0) into 0 8.326 * [backup-simplify]: Simplify 0 into 0 8.327 * [backup-simplify]: Simplify (+ 0 0) into 0 8.327 * [backup-simplify]: Simplify 0 into 0 8.332 * [backup-simplify]: Simplify (+ 0 0) into 0 8.332 * [backup-simplify]: Simplify 0 into 0 8.333 * [backup-simplify]: Simplify (+ 0 0) into 0 8.333 * [backup-simplify]: Simplify 0 into 0 8.333 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 (- c)))) (exp (/ -1 (/ 1 (- c))))) into (+ (exp (* -1 c)) (exp c)) 8.333 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 8.333 * [backup-simplify]: Simplify (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) into (* 0.5 (+ (exp c) (exp (- c)))) 8.334 * [approximate]: Taking taylor expansion of (* 0.5 (+ (exp c) (exp (- c)))) in (c) around 0 8.334 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp c) (exp (- c)))) in c 8.334 * [taylor]: Taking taylor expansion of 0.5 in c 8.334 * [backup-simplify]: Simplify 0.5 into 0.5 8.334 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 8.334 * [taylor]: Taking taylor expansion of (exp c) in c 8.334 * [taylor]: Taking taylor expansion of c in c 8.334 * [backup-simplify]: Simplify 0 into 0 8.334 * [backup-simplify]: Simplify 1 into 1 8.334 * [backup-simplify]: Simplify (exp 0) into 1 8.334 * [taylor]: Taking taylor expansion of (exp (- c)) in c 8.334 * [taylor]: Taking taylor expansion of (- c) in c 8.334 * [taylor]: Taking taylor expansion of c in c 8.334 * [backup-simplify]: Simplify 0 into 0 8.334 * [backup-simplify]: Simplify 1 into 1 8.334 * [backup-simplify]: Simplify (- 0) into 0 8.335 * [backup-simplify]: Simplify (- 1) into -1 8.335 * [backup-simplify]: Simplify (exp 0) into 1 8.335 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp c) (exp (- c)))) in c 8.335 * [taylor]: Taking taylor expansion of 0.5 in c 8.335 * [backup-simplify]: Simplify 0.5 into 0.5 8.335 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 8.335 * [taylor]: Taking taylor expansion of (exp c) in c 8.335 * [taylor]: Taking taylor expansion of c in c 8.335 * [backup-simplify]: Simplify 0 into 0 8.335 * [backup-simplify]: Simplify 1 into 1 8.335 * [backup-simplify]: Simplify (exp 0) into 1 8.335 * [taylor]: Taking taylor expansion of (exp (- c)) in c 8.335 * [taylor]: Taking taylor expansion of (- c) in c 8.335 * [taylor]: Taking taylor expansion of c in c 8.335 * [backup-simplify]: Simplify 0 into 0 8.335 * [backup-simplify]: Simplify 1 into 1 8.336 * [backup-simplify]: Simplify (- 0) into 0 8.336 * [backup-simplify]: Simplify (- 1) into -1 8.336 * [backup-simplify]: Simplify (exp 0) into 1 8.337 * [backup-simplify]: Simplify (+ 1 1) into 2 8.337 * [backup-simplify]: Simplify (* 0.5 2) into 1.0 8.337 * [backup-simplify]: Simplify 1.0 into 1.0 8.338 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.339 * [backup-simplify]: Simplify (- 1) into -1 8.340 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 8.340 * [backup-simplify]: Simplify (+ 1 -1) into 0 8.341 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 2)) into 0 8.341 * [backup-simplify]: Simplify 0 into 0 8.343 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.343 * [backup-simplify]: Simplify (- 1) into -1 8.343 * [backup-simplify]: Simplify (- 0) into 0 8.345 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.346 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 8.348 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 0) (* 0 2))) into 0.5 8.348 * [backup-simplify]: Simplify 0.5 into 0.5 8.350 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 8.351 * [backup-simplify]: Simplify (- 1) into -1 8.351 * [backup-simplify]: Simplify (- 1) into -1 8.352 * [backup-simplify]: Simplify (- 0) into 0 8.352 * [backup-simplify]: Simplify (- 0) into 0 8.354 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 8.355 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 8.356 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 0) (* 0 2)))) into 0 8.357 * [backup-simplify]: Simplify 0 into 0 8.361 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 8.362 * [backup-simplify]: Simplify (- 1) into -1 8.362 * [backup-simplify]: Simplify (- 1) into -1 8.362 * [backup-simplify]: Simplify (- 0) into 0 8.363 * [backup-simplify]: Simplify (- 1) into -1 8.363 * [backup-simplify]: Simplify (- 0) into 0 8.364 * [backup-simplify]: Simplify (- 0) into 0 8.364 * [backup-simplify]: Simplify (- 0) into 0 8.369 * [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 8.370 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 8.373 * [backup-simplify]: Simplify (+ (* 0.5 1/12) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 2))))) into 0.041666666666666664 8.373 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664 8.374 * [backup-simplify]: Simplify (+ (* 0.041666666666666664 (pow c 4)) (+ (* 0.5 (pow c 2)) 1.0)) into (+ (* 0.041666666666666664 (pow c 4)) (+ (* 0.5 (pow c 2)) 1.0)) 8.374 * [backup-simplify]: Simplify (cbrt (* 1/8 (pow (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 3))) into (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 8.374 * [approximate]: Taking taylor expansion of (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) in (c) around 0 8.374 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) in c 8.374 * [taylor]: Taking taylor expansion of 0.5 in c 8.374 * [backup-simplify]: Simplify 0.5 into 0.5 8.374 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 8.374 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 8.374 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.374 * [taylor]: Taking taylor expansion of c in c 8.374 * [backup-simplify]: Simplify 0 into 0 8.374 * [backup-simplify]: Simplify 1 into 1 8.375 * [backup-simplify]: Simplify (/ 1 1) into 1 8.375 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 8.375 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 8.375 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 8.375 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.375 * [taylor]: Taking taylor expansion of c in c 8.375 * [backup-simplify]: Simplify 0 into 0 8.375 * [backup-simplify]: Simplify 1 into 1 8.376 * [backup-simplify]: Simplify (/ 1 1) into 1 8.376 * [backup-simplify]: Simplify (- 1) into -1 8.376 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 8.376 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) in c 8.376 * [taylor]: Taking taylor expansion of 0.5 in c 8.376 * [backup-simplify]: Simplify 0.5 into 0.5 8.376 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 8.376 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 8.376 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.376 * [taylor]: Taking taylor expansion of c in c 8.376 * [backup-simplify]: Simplify 0 into 0 8.377 * [backup-simplify]: Simplify 1 into 1 8.377 * [backup-simplify]: Simplify (/ 1 1) into 1 8.377 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 8.377 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 8.377 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 8.377 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.377 * [taylor]: Taking taylor expansion of c in c 8.377 * [backup-simplify]: Simplify 0 into 0 8.377 * [backup-simplify]: Simplify 1 into 1 8.378 * [backup-simplify]: Simplify (/ 1 1) into 1 8.378 * [backup-simplify]: Simplify (- 1) into -1 8.378 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 8.378 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 8.379 * [backup-simplify]: Simplify (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 8.379 * [backup-simplify]: Simplify (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) into (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) 8.379 * [backup-simplify]: Simplify (+ 0 0) into 0 8.380 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (+ (exp (/ 1 c)) (exp (- (/ 1 c)))))) into 0 8.380 * [backup-simplify]: Simplify 0 into 0 8.380 * [backup-simplify]: Simplify (+ 0 0) into 0 8.381 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))))) into 0 8.381 * [backup-simplify]: Simplify 0 into 0 8.382 * [backup-simplify]: Simplify (+ 0 0) into 0 8.383 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (- (/ 1 c)))))))) into 0 8.383 * [backup-simplify]: Simplify 0 into 0 8.384 * [backup-simplify]: Simplify (+ 0 0) into 0 8.385 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))))))) into 0 8.385 * [backup-simplify]: Simplify 0 into 0 8.386 * [backup-simplify]: Simplify (+ 0 0) into 0 8.388 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (- (/ 1 c)))))))))) into 0 8.388 * [backup-simplify]: Simplify 0 into 0 8.388 * [backup-simplify]: Simplify (+ 0 0) into 0 8.391 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))))))))) into 0 8.391 * [backup-simplify]: Simplify 0 into 0 8.391 * [backup-simplify]: Simplify (* 0.5 (+ (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) into (* 0.5 (+ (exp c) (exp (- c)))) 8.391 * [backup-simplify]: Simplify (cbrt (* 1/8 (pow (+ (exp (/ 1 (- c))) (exp (- (/ 1 (- c))))) 3))) into (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 8.391 * [approximate]: Taking taylor expansion of (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) in (c) around 0 8.391 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c 8.391 * [taylor]: Taking taylor expansion of 0.5 in c 8.392 * [backup-simplify]: Simplify 0.5 into 0.5 8.392 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c 8.392 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 8.392 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.392 * [taylor]: Taking taylor expansion of c in c 8.392 * [backup-simplify]: Simplify 0 into 0 8.392 * [backup-simplify]: Simplify 1 into 1 8.392 * [backup-simplify]: Simplify (/ 1 1) into 1 8.392 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 8.392 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 8.392 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.392 * [taylor]: Taking taylor expansion of -1 in c 8.392 * [backup-simplify]: Simplify -1 into -1 8.392 * [taylor]: Taking taylor expansion of c in c 8.392 * [backup-simplify]: Simplify 0 into 0 8.392 * [backup-simplify]: Simplify 1 into 1 8.393 * [backup-simplify]: Simplify (/ -1 1) into -1 8.393 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 8.393 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) in c 8.393 * [taylor]: Taking taylor expansion of 0.5 in c 8.393 * [backup-simplify]: Simplify 0.5 into 0.5 8.393 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c 8.393 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 8.393 * [taylor]: Taking taylor expansion of (/ 1 c) in c 8.393 * [taylor]: Taking taylor expansion of c in c 8.393 * [backup-simplify]: Simplify 0 into 0 8.393 * [backup-simplify]: Simplify 1 into 1 8.394 * [backup-simplify]: Simplify (/ 1 1) into 1 8.394 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 8.394 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 8.394 * [taylor]: Taking taylor expansion of (/ -1 c) in c 8.394 * [taylor]: Taking taylor expansion of -1 in c 8.394 * [backup-simplify]: Simplify -1 into -1 8.394 * [taylor]: Taking taylor expansion of c in c 8.394 * [backup-simplify]: Simplify 0 into 0 8.394 * [backup-simplify]: Simplify 1 into 1 8.394 * [backup-simplify]: Simplify (/ -1 1) into -1 8.395 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 8.395 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (/ -1 c))) into (+ (exp (/ 1 c)) (exp (/ -1 c))) 8.395 * [backup-simplify]: Simplify (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) into (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 8.395 * [backup-simplify]: Simplify (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) into (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) 8.396 * [backup-simplify]: Simplify (+ 0 0) into 0 8.396 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (+ (exp (/ 1 c)) (exp (/ -1 c))))) into 0 8.396 * [backup-simplify]: Simplify 0 into 0 8.397 * [backup-simplify]: Simplify (+ 0 0) into 0 8.398 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (/ -1 c)))))) into 0 8.398 * [backup-simplify]: Simplify 0 into 0 8.398 * [backup-simplify]: Simplify (+ 0 0) into 0 8.399 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (/ -1 c))))))) into 0 8.399 * [backup-simplify]: Simplify 0 into 0 8.400 * [backup-simplify]: Simplify (+ 0 0) into 0 8.401 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (/ -1 c)))))))) into 0 8.401 * [backup-simplify]: Simplify 0 into 0 8.402 * [backup-simplify]: Simplify (+ 0 0) into 0 8.404 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (/ -1 c))))))))) into 0 8.404 * [backup-simplify]: Simplify 0 into 0 8.404 * [backup-simplify]: Simplify (+ 0 0) into 0 8.407 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 c)) (exp (/ -1 c)))))))))) into 0 8.407 * [backup-simplify]: Simplify 0 into 0 8.407 * [backup-simplify]: Simplify (* 0.5 (+ (exp (/ 1 (/ 1 (- c)))) (exp (/ -1 (/ 1 (- c)))))) into (* 0.5 (+ (exp (* -1 c)) (exp c))) 8.407 * * * [progress]: simplifying candidates 8.409 * [simplify]: Simplifying: (log (fmod (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (log1p a))) (exp (fmod (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (log1p a))) (* (cbrt (fmod (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (log1p a))) (cbrt (fmod (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (log1p a)))) (cbrt (fmod (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (log1p a))) (* (* (fmod (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (log1p a)) (fmod (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (log1p a))) (fmod (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (log1p a))) (sqrt (fmod (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (log1p a))) (sqrt (fmod (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (log1p a))) (* (log (+ (exp c) (exp (- c)))) 3) (* (log (+ (exp c) (exp (- c)))) 3) (* 1 3) (pow (+ (exp c) (exp (- c))) (* (cbrt 3) (cbrt 3))) (pow (+ (exp c) (exp (- c))) (sqrt 3)) (pow (+ (exp c) (exp (- c))) 1) (pow (* (cbrt (+ (exp c) (exp (- c)))) (cbrt (+ (exp c) (exp (- c))))) 3) (pow (cbrt (+ (exp c) (exp (- c)))) 3) (pow (sqrt (+ (exp c) (exp (- c)))) 3) (pow (sqrt (+ (exp c) (exp (- c)))) 3) (pow 1 3) (pow (+ (exp c) (exp (- c))) 3) (pow 1 3) (pow (+ (exp c) (exp (- c))) 3) (* (+ (exp c) (exp (- c))) (+ (exp c) (exp (- c)))) (log (pow (+ (exp c) (exp (- c))) 3)) (exp (pow (+ (exp c) (exp (- c))) 3)) (* (cbrt (pow (+ (exp c) (exp (- c))) 3)) (cbrt (pow (+ (exp c) (exp (- c))) 3))) (cbrt (pow (+ (exp c) (exp (- c))) 3)) (* (* (pow (+ (exp c) (exp (- c))) 3) (pow (+ (exp c) (exp (- c))) 3)) (pow (+ (exp c) (exp (- c))) 3)) (pow (* (cbrt (+ (exp c) (exp (- c)))) (cbrt (+ (exp c) (exp (- c))))) 3) (pow (cbrt (+ (exp c) (exp (- c)))) 3) (pow (sqrt (+ (exp c) (exp (- c)))) 3) (pow (sqrt (+ (exp c) (exp (- c)))) 3) (pow 1 3) (pow (+ (exp c) (exp (- c))) 3) (pow 1 3) (pow (+ (exp c) (exp (- c))) 3) (pow (+ (pow (exp c) 3) (pow (exp (- c)) 3)) 3) (pow (+ (* (exp c) (exp c)) (- (* (exp (- c)) (exp (- c))) (* (exp c) (exp (- c))))) 3) (pow (- (* (exp c) (exp c)) (* (exp (- c)) (exp (- c)))) 3) (pow (- (exp c) (exp (- c))) 3) (* (+ (exp c) (exp (- c))) (+ (exp c) (exp (- c)))) (sqrt (pow (+ (exp c) (exp (- c))) 3)) (sqrt (pow (+ (exp c) (exp (- c))) 3)) (pow (+ (exp c) (exp (- c))) (/ 3 2)) (pow (+ (exp c) (exp (- c))) (/ 3 2)) (* (exp (exp c)) (exp (exp (- c)))) (log (+ (exp c) (exp (- c)))) (exp (+ (exp c) (exp (- c)))) (* (cbrt (+ (exp c) (exp (- c)))) (cbrt (+ (exp c) (exp (- c))))) (cbrt (+ (exp c) (exp (- c)))) (* (* (+ (exp c) (exp (- c))) (+ (exp c) (exp (- c)))) (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c)))) (+ (pow (exp c) 3) (pow (exp (- c)) 3)) (+ (* (exp c) (exp c)) (- (* (exp (- c)) (exp (- c))) (* (exp c) (exp (- c))))) (- (* (exp c) (exp c)) (* (exp (- c)) (exp (- c)))) (- (exp c) (exp (- c))) (+ (exp c) (exp (- c))) (log (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3)))) (exp (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3)))) (cbrt 1/8) (cbrt (pow (+ (exp c) (exp (- c))) 3)) (cbrt (* 1/8 (pow (+ (pow (exp c) 3) (pow (exp (- c)) 3)) 3))) (cbrt (pow (+ (* (exp c) (exp c)) (- (* (exp (- c)) (exp (- c))) (* (exp c) (exp (- c))))) 3)) (cbrt (* 1/8 (pow (- (* (exp c) (exp c)) (* (exp (- c)) (exp (- c)))) 3))) (cbrt (pow (- (exp c) (exp (- c))) 3)) (* (cbrt (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3)))) (cbrt (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))))) (cbrt (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3)))) (* (* (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3)))) (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3)))) (sqrt (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3)))) (sqrt (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3)))) (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) (fmod (* 0.5 (+ (exp (* -1 c)) (exp c))) (log1p a)) (+ (* 7 (pow c 4)) (+ (* 12 (pow c 2)) 8)) (pow (+ (exp c) (exp (- c))) 3) (pow (+ (exp (* -1 c)) (exp c)) 3) (+ (* 1/12 (pow c 4)) (+ (pow c 2) 2)) (+ (exp c) (exp (- c))) (+ (exp (* -1 c)) (exp c)) (+ (* 0.041666666666666664 (pow c 4)) (+ (* 0.5 (pow c 2)) 1.0)) (* 0.5 (+ (exp c) (exp (- c)))) (* 0.5 (+ (exp (* -1 c)) (exp c))) 8.413 * * [simplify]: Extracting # 0 : cost 0 8.413 * * [simplify]: Extracting # 1 : cost 0 8.413 * * [simplify]: Extracting # 2 : cost 0 8.414 * * [simplify]: Extracting # 3 : cost 0 8.414 * * [simplify]: Extracting # 4 : cost 0 8.414 * * [simplify]: Extracting # 5 : cost 0 8.414 * * [simplify]: Extracting # 6 : cost 0 8.415 * * [simplify]: Extracting # 7 : cost 0 8.415 * * [simplify]: Extracting # 8 : cost 0 8.415 * * [simplify]: iteration 0 : 111 enodes (cost 972 ) 8.467 * * [simplify]: Extracting # 0 : cost 0 8.468 * * [simplify]: Extracting # 1 : cost 0 8.468 * * [simplify]: Extracting # 2 : cost 0 8.469 * * [simplify]: Extracting # 3 : cost 0 8.469 * * [simplify]: Extracting # 4 : cost 0 8.470 * * [simplify]: Extracting # 5 : cost 0 8.471 * * [simplify]: iteration 1 : 264 enodes (cost 877 ) 8.624 * * [simplify]: Extracting # 0 : cost 0 8.624 * * [simplify]: Extracting # 1 : cost 0 8.626 * * [simplify]: Extracting # 2 : cost 0 8.626 * * [simplify]: Extracting # 3 : cost 0 8.627 * * [simplify]: Extracting # 4 : cost 0 8.628 * * [simplify]: Extracting # 5 : cost 0 8.629 * * [simplify]: iteration 2 : 842 enodes (cost 777 ) 9.471 * * [simplify]: Extracting # 0 : cost 0 9.484 * * [simplify]: Extracting # 1 : cost 0 9.497 * * [simplify]: Extracting # 2 : cost 0 9.515 * * [simplify]: Extracting # 3 : cost 0 9.528 * * [simplify]: Extracting # 4 : cost 0 9.541 * * [simplify]: iteration done: 5001 enodes (cost 774 ) 9.542 * [simplify]: Simplified to: (log (fmod (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (log1p a))) (exp (fmod (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (log1p a))) (* (cbrt (fmod (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (log1p a))) (cbrt (fmod (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (log1p a)))) (cbrt (fmod (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (log1p a))) (pow (fmod (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (log1p a)) 3) (sqrt (fmod (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (log1p a))) (sqrt (fmod (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))) (log1p a))) (* (log (+ (exp c) (exp (- c)))) 3) (* (log (+ (exp c) (exp (- c)))) 3) 3 (pow (+ (exp c) (exp (- c))) (* (cbrt 3) (cbrt 3))) (pow (+ (exp c) (exp (- c))) (sqrt 3)) (+ (exp (- c)) (exp c)) (pow (+ (exp (- c)) (exp c)) 2) (+ (exp (- c)) (exp c)) (pow (sqrt (+ (exp c) (exp (- c)))) 3) (pow (sqrt (+ (exp c) (exp (- c)))) 3) 1 (pow (+ (exp c) (exp (- c))) 3) 1 (pow (+ (exp c) (exp (- c))) 3) (pow (+ (exp (- c)) (exp c)) 2) (* (log (+ (exp c) (exp (- c)))) 3) (exp (pow (+ (exp c) (exp (- c))) 3)) (pow (+ (exp (- c)) (exp c)) 2) (+ (exp (- c)) (exp c)) (pow (pow (+ (exp c) (exp (- c))) 3) 3) (pow (+ (exp (- c)) (exp c)) 2) (+ (exp (- c)) (exp c)) (pow (sqrt (+ (exp c) (exp (- c)))) 3) (pow (sqrt (+ (exp c) (exp (- c)))) 3) 1 (pow (+ (exp c) (exp (- c))) 3) 1 (pow (+ (exp c) (exp (- c))) 3) (pow (+ (pow (exp c) 3) (pow (exp (- c)) 3)) 3) (pow (- (+ (exp (+ c c)) (exp (* c -2))) 1) 3) (pow (- (exp (+ c c)) (exp (* c -2))) 3) (pow (- (exp c) (exp (- c))) 3) (pow (+ (exp (- c)) (exp c)) 2) (sqrt (pow (+ (exp c) (exp (- c))) 3)) (sqrt (pow (+ (exp c) (exp (- c))) 3)) (pow (+ (exp c) (exp (- c))) 3/2) (pow (+ (exp c) (exp (- c))) 3/2) (exp (+ (exp c) (exp (- c)))) (log (+ (exp c) (exp (- c)))) (exp (+ (exp c) (exp (- c)))) (* (cbrt (+ (exp c) (exp (- c)))) (cbrt (+ (exp c) (exp (- c))))) (cbrt (+ (exp c) (exp (- c)))) (pow (+ (exp c) (exp (- c))) 3) (sqrt (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c)))) (+ (pow (exp c) 3) (pow (exp (- c)) 3)) (- (+ (exp (+ c c)) (exp (* c -2))) 1) (- (exp (+ c c)) (exp (* c -2))) (- (exp c) (exp (- c))) (+ (exp (- c)) (exp c)) (log (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3)))) (exp (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3)))) (cbrt 1/8) (+ (exp (- c)) (exp c)) (cbrt (* 1/8 (pow (+ (pow (exp c) 3) (pow (exp (- c)) 3)) 3))) (- (+ (exp (+ c c)) (exp (* c -2))) 1) (cbrt (* (pow (- (exp (+ c c)) (exp (* c -2))) 3) 1/8)) (- (exp c) (exp (- c))) (* (cbrt (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3)))) (cbrt (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3))))) (cbrt (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3)))) (* 1/8 (pow (+ (exp c) (exp (- c))) 3)) (sqrt (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3)))) (sqrt (cbrt (* 1/8 (pow (+ (exp c) (exp (- c))) 3)))) (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) (+ (* 7 (pow c 4)) (+ (* 12 (pow c 2)) 8)) (pow (+ (exp c) (exp (- c))) 3) (pow (+ (exp c) (exp (- c))) 3) (+ (* 1/12 (pow c 4)) (+ (pow c 2) 2)) (+ (exp (- c)) (exp c)) (+ (exp (- c)) (exp c)) (+ (* 0.041666666666666664 (pow c 4)) (+ (* 0.5 (pow c 2)) 1.0)) (* (+ (exp c) (exp (- c))) 0.5) (* (+ (exp c) (exp (- c))) 0.5) 9.543 * * * [progress]: adding candidates to table 9.948 * * [progress]: iteration 4 / 4 9.948 * * * [progress]: picking best candidate 10.040 * * * * [pick]: Picked # 10.040 * * * [progress]: localizing error 10.070 * * * [progress]: generating rewritten candidates 10.070 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 10.071 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 10.072 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 10.111 * * * [progress]: generating series expansions 10.111 * * * * [progress]: [ 1 / 3 ] generating series at (2) 10.112 * [backup-simplify]: Simplify (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a)) into (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) 10.112 * [approximate]: Taking taylor expansion of (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) in (c a) around 0 10.112 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) in a 10.113 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) 10.113 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) in c 10.113 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) 10.113 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) in c 10.113 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) 10.113 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) in a 10.113 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) 10.114 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) 10.114 * [taylor]: Taking taylor expansion of 0 in a 10.114 * [backup-simplify]: Simplify 0 into 0 10.114 * [backup-simplify]: Simplify 0 into 0 10.114 * [backup-simplify]: Simplify 0 into 0 10.114 * [taylor]: Taking taylor expansion of 0 in a 10.114 * [backup-simplify]: Simplify 0 into 0 10.114 * [backup-simplify]: Simplify 0 into 0 10.114 * [backup-simplify]: Simplify 0 into 0 10.114 * [backup-simplify]: Simplify 0 into 0 10.114 * [taylor]: Taking taylor expansion of 0 in a 10.114 * [backup-simplify]: Simplify 0 into 0 10.114 * [backup-simplify]: Simplify 0 into 0 10.114 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) 10.115 * [backup-simplify]: Simplify (fmod (* (cbrt 1/8) (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) 10.115 * [approximate]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) in (c a) around 0 10.115 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) in a 10.115 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) 10.116 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) in c 10.116 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) 10.116 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) in c 10.116 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) 10.116 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) in a 10.117 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) 10.117 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (- (/ 1 c))))) (log1p (/ 1 a))) 10.117 * [taylor]: Taking taylor expansion of 0 in a 10.117 * [backup-simplify]: Simplify 0 into 0 10.117 * [backup-simplify]: Simplify 0 into 0 10.117 * [backup-simplify]: Simplify 0 into 0 10.117 * [taylor]: Taking taylor expansion of 0 in a 10.117 * [backup-simplify]: Simplify 0 into 0 10.117 * [backup-simplify]: Simplify 0 into 0 10.117 * [backup-simplify]: Simplify 0 into 0 10.117 * [backup-simplify]: Simplify 0 into 0 10.117 * [taylor]: Taking taylor expansion of 0 in a 10.117 * [backup-simplify]: Simplify 0 into 0 10.117 * [backup-simplify]: Simplify 0 into 0 10.118 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c)))))) (log1p (/ 1 (/ 1 a)))) into (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) 10.119 * [backup-simplify]: Simplify (fmod (* (cbrt 1/8) (+ (exp (- (/ 1 (- c)))) (exp (/ 1 (- c))))) (log1p (/ 1 (- a)))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) 10.119 * [approximate]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) in (c a) around 0 10.119 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) in a 10.119 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) 10.119 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) in c 10.119 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) 10.119 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) in c 10.120 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) 10.120 * [taylor]: Taking taylor expansion of (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) in a 10.120 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) 10.121 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) into (fmod (* 0.5 (+ (exp (/ 1 c)) (exp (/ -1 c)))) (log1p (/ -1 a))) 10.121 * [taylor]: Taking taylor expansion of 0 in a 10.121 * [backup-simplify]: Simplify 0 into 0 10.121 * [backup-simplify]: Simplify 0 into 0 10.121 * [backup-simplify]: Simplify 0 into 0 10.121 * [taylor]: Taking taylor expansion of 0 in a 10.121 * [backup-simplify]: Simplify 0 into 0 10.121 * [backup-simplify]: Simplify 0 into 0 10.121 * [backup-simplify]: Simplify 0 into 0 10.121 * [backup-simplify]: Simplify 0 into 0 10.121 * [taylor]: Taking taylor expansion of 0 in a 10.121 * [backup-simplify]: Simplify 0 into 0 10.121 * [backup-simplify]: Simplify 0 into 0 10.122 * [backup-simplify]: Simplify (fmod (* 0.5 (+ (exp (/ 1 (/ 1 (- c)))) (exp (/ -1 (/ 1 (- c)))))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (* 0.5 (+ (exp (* -1 c)) (exp c))) (log1p a)) 10.122 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 10.122 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 10.122 * [backup-simplify]: Simplify (+ (exp (- c)) (exp c)) into (+ (exp c) (exp (- c))) 10.122 * [approximate]: Taking taylor expansion of (+ (exp c) (exp (- c))) in (c) around 0 10.122 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 10.122 * [taylor]: Taking taylor expansion of (exp c) in c 10.122 * [taylor]: Taking taylor expansion of c in c 10.122 * [backup-simplify]: Simplify 0 into 0 10.122 * [backup-simplify]: Simplify 1 into 1 10.122 * [backup-simplify]: Simplify (exp 0) into 1 10.122 * [taylor]: Taking taylor expansion of (exp (- c)) in c 10.122 * [taylor]: Taking taylor expansion of (- c) in c 10.122 * [taylor]: Taking taylor expansion of c in c 10.122 * [backup-simplify]: Simplify 0 into 0 10.122 * [backup-simplify]: Simplify 1 into 1 10.123 * [backup-simplify]: Simplify (- 0) into 0 10.123 * [backup-simplify]: Simplify (- 1) into -1 10.123 * [backup-simplify]: Simplify (exp 0) into 1 10.123 * [taylor]: Taking taylor expansion of (+ (exp c) (exp (- c))) in c 10.123 * [taylor]: Taking taylor expansion of (exp c) in c 10.123 * [taylor]: Taking taylor expansion of c in c 10.123 * [backup-simplify]: Simplify 0 into 0 10.124 * [backup-simplify]: Simplify 1 into 1 10.124 * [backup-simplify]: Simplify (exp 0) into 1 10.124 * [taylor]: Taking taylor expansion of (exp (- c)) in c 10.124 * [taylor]: Taking taylor expansion of (- c) in c 10.124 * [taylor]: Taking taylor expansion of c in c 10.124 * [backup-simplify]: Simplify 0 into 0 10.124 * [backup-simplify]: Simplify 1 into 1 10.124 * [backup-simplify]: Simplify (- 0) into 0 10.124 * [backup-simplify]: Simplify (- 1) into -1 10.125 * [backup-simplify]: Simplify (exp 0) into 1 10.125 * [backup-simplify]: Simplify (+ 1 1) into 2 10.125 * [backup-simplify]: Simplify 2 into 2 10.126 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.126 * [backup-simplify]: Simplify (- 1) into -1 10.128 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 10.128 * [backup-simplify]: Simplify (+ 1 -1) into 0 10.128 * [backup-simplify]: Simplify 0 into 0 10.130 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.130 * [backup-simplify]: Simplify (- 1) into -1 10.130 * [backup-simplify]: Simplify (- 0) into 0 10.132 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.133 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 10.133 * [backup-simplify]: Simplify 1 into 1 10.135 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 10.136 * [backup-simplify]: Simplify (- 1) into -1 10.136 * [backup-simplify]: Simplify (- 1) into -1 10.136 * [backup-simplify]: Simplify (- 0) into 0 10.137 * [backup-simplify]: Simplify (- 0) into 0 10.139 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 10.140 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 10.140 * [backup-simplify]: Simplify 0 into 0 10.144 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 10.145 * [backup-simplify]: Simplify (- 1) into -1 10.145 * [backup-simplify]: Simplify (- 1) into -1 10.145 * [backup-simplify]: Simplify (- 0) into 0 10.146 * [backup-simplify]: Simplify (- 1) into -1 10.146 * [backup-simplify]: Simplify (- 0) into 0 10.147 * [backup-simplify]: Simplify (- 0) into 0 10.147 * [backup-simplify]: Simplify (- 0) into 0 10.161 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 10.162 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 10.162 * [backup-simplify]: Simplify 1/12 into 1/12 10.162 * [backup-simplify]: Simplify (+ (* 1/12 (pow c 4)) (+ (* 1 (pow c 2)) 2)) into (+ (* 1/12 (pow c 4)) (+ (pow c 2) 2)) 10.162 * [backup-simplify]: Simplify (+ (exp (- (/ 1 c))) (exp (/ 1 c))) into (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 10.162 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in (c) around 0 10.162 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 10.162 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 10.162 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.162 * [taylor]: Taking taylor expansion of c in c 10.162 * [backup-simplify]: Simplify 0 into 0 10.162 * [backup-simplify]: Simplify 1 into 1 10.163 * [backup-simplify]: Simplify (/ 1 1) into 1 10.163 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 10.163 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 10.163 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 10.163 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.163 * [taylor]: Taking taylor expansion of c in c 10.163 * [backup-simplify]: Simplify 0 into 0 10.163 * [backup-simplify]: Simplify 1 into 1 10.163 * [backup-simplify]: Simplify (/ 1 1) into 1 10.163 * [backup-simplify]: Simplify (- 1) into -1 10.163 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 10.163 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c 10.163 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 10.163 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.163 * [taylor]: Taking taylor expansion of c in c 10.163 * [backup-simplify]: Simplify 0 into 0 10.163 * [backup-simplify]: Simplify 1 into 1 10.164 * [backup-simplify]: Simplify (/ 1 1) into 1 10.164 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 10.164 * [taylor]: Taking taylor expansion of (exp (- (/ 1 c))) in c 10.164 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 10.164 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.164 * [taylor]: Taking taylor expansion of c in c 10.164 * [backup-simplify]: Simplify 0 into 0 10.164 * [backup-simplify]: Simplify 1 into 1 10.164 * [backup-simplify]: Simplify (/ 1 1) into 1 10.164 * [backup-simplify]: Simplify (- 1) into -1 10.164 * [backup-simplify]: Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c))) 10.165 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 10.165 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 10.165 * [backup-simplify]: Simplify (+ 0 0) into 0 10.165 * [backup-simplify]: Simplify 0 into 0 10.165 * [backup-simplify]: Simplify (+ 0 0) into 0 10.165 * [backup-simplify]: Simplify 0 into 0 10.166 * [backup-simplify]: Simplify (+ 0 0) into 0 10.166 * [backup-simplify]: Simplify 0 into 0 10.166 * [backup-simplify]: Simplify (+ 0 0) into 0 10.166 * [backup-simplify]: Simplify 0 into 0 10.166 * [backup-simplify]: Simplify (+ 0 0) into 0 10.166 * [backup-simplify]: Simplify 0 into 0 10.166 * [backup-simplify]: Simplify (+ 0 0) into 0 10.166 * [backup-simplify]: Simplify 0 into 0 10.167 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 c))) (exp (- (/ 1 (/ 1 c))))) into (+ (exp c) (exp (- c))) 10.167 * [backup-simplify]: Simplify (+ (exp (- (/ 1 (- c)))) (exp (/ 1 (- c)))) into (+ (exp (/ 1 c)) (exp (/ -1 c))) 10.167 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in (c) around 0 10.167 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c 10.167 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 10.167 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.167 * [taylor]: Taking taylor expansion of c in c 10.167 * [backup-simplify]: Simplify 0 into 0 10.167 * [backup-simplify]: Simplify 1 into 1 10.167 * [backup-simplify]: Simplify (/ 1 1) into 1 10.167 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 10.167 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 10.167 * [taylor]: Taking taylor expansion of (/ -1 c) in c 10.167 * [taylor]: Taking taylor expansion of -1 in c 10.167 * [backup-simplify]: Simplify -1 into -1 10.167 * [taylor]: Taking taylor expansion of c in c 10.167 * [backup-simplify]: Simplify 0 into 0 10.167 * [backup-simplify]: Simplify 1 into 1 10.168 * [backup-simplify]: Simplify (/ -1 1) into -1 10.168 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 10.168 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 c)) (exp (/ -1 c))) in c 10.168 * [taylor]: Taking taylor expansion of (exp (/ 1 c)) in c 10.168 * [taylor]: Taking taylor expansion of (/ 1 c) in c 10.168 * [taylor]: Taking taylor expansion of c in c 10.168 * [backup-simplify]: Simplify 0 into 0 10.168 * [backup-simplify]: Simplify 1 into 1 10.168 * [backup-simplify]: Simplify (/ 1 1) into 1 10.168 * [backup-simplify]: Simplify (exp (/ 1 c)) into (exp (/ 1 c)) 10.168 * [taylor]: Taking taylor expansion of (exp (/ -1 c)) in c 10.168 * [taylor]: Taking taylor expansion of (/ -1 c) in c 10.168 * [taylor]: Taking taylor expansion of -1 in c 10.168 * [backup-simplify]: Simplify -1 into -1 10.168 * [taylor]: Taking taylor expansion of c in c 10.168 * [backup-simplify]: Simplify 0 into 0 10.168 * [backup-simplify]: Simplify 1 into 1 10.168 * [backup-simplify]: Simplify (/ -1 1) into -1 10.168 * [backup-simplify]: Simplify (exp (/ -1 c)) into (exp (/ -1 c)) 10.169 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (/ -1 c))) into (+ (exp (/ 1 c)) (exp (/ -1 c))) 10.169 * [backup-simplify]: Simplify (+ (exp (/ 1 c)) (exp (/ -1 c))) into (+ (exp (/ 1 c)) (exp (/ -1 c))) 10.169 * [backup-simplify]: Simplify (+ 0 0) into 0 10.169 * [backup-simplify]: Simplify 0 into 0 10.169 * [backup-simplify]: Simplify (+ 0 0) into 0 10.169 * [backup-simplify]: Simplify 0 into 0 10.169 * [backup-simplify]: Simplify (+ 0 0) into 0 10.169 * [backup-simplify]: Simplify 0 into 0 10.170 * [backup-simplify]: Simplify (+ 0 0) into 0 10.170 * [backup-simplify]: Simplify 0 into 0 10.170 * [backup-simplify]: Simplify (+ 0 0) into 0 10.170 * [backup-simplify]: Simplify 0 into 0 10.170 * [backup-simplify]: Simplify (+ 0 0) into 0 10.170 * [backup-simplify]: Simplify 0 into 0 10.170 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 (- c)))) (exp (/ -1 (/ 1 (- c))))) into (+ (exp (* -1 c)) (exp c)) 10.171 * * * [progress]: simplifying candidates 10.171 * [simplify]: Simplifying: (log (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a))) (exp (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a))) (* (cbrt (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a))) (cbrt (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a)))) (cbrt (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a))) (* (* (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a)) (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a))) (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a))) (sqrt (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a))) (sqrt (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a))) (log (cbrt 1/8)) (exp (cbrt 1/8)) (cbrt (* (cbrt 1/8) (cbrt 1/8))) (cbrt (cbrt 1/8)) (cbrt (sqrt 1/8)) (cbrt (sqrt 1/8)) (cbrt 1) (cbrt 1/8) (* (cbrt (cbrt 1/8)) (cbrt (cbrt 1/8))) (cbrt (cbrt 1/8)) (* (* (cbrt 1/8) (cbrt 1/8)) (cbrt 1/8)) (sqrt (cbrt 1/8)) (sqrt (cbrt 1/8)) (* (exp (exp (- c))) (exp (exp c))) (log (+ (exp (- c)) (exp c))) (exp (+ (exp (- c)) (exp c))) (* (cbrt (+ (exp (- c)) (exp c))) (cbrt (+ (exp (- c)) (exp c)))) (cbrt (+ (exp (- c)) (exp c))) (* (* (+ (exp (- c)) (exp c)) (+ (exp (- c)) (exp c))) (+ (exp (- c)) (exp c))) (sqrt (+ (exp (- c)) (exp c))) (sqrt (+ (exp (- c)) (exp c))) (+ (pow (exp (- c)) 3) (pow (exp c) 3)) (+ (* (exp (- c)) (exp (- c))) (- (* (exp c) (exp c)) (* (exp (- c)) (exp c)))) (- (* (exp (- c)) (exp (- c))) (* (exp c) (exp c))) (- (exp (- c)) (exp c)) (+ (exp (- c)) (exp c)) (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) (fmod (* 0.5 (+ (exp (* -1 c)) (exp c))) (log1p a)) (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a)) (+ (* 1/12 (pow c 4)) (+ (pow c 2) 2)) (+ (exp c) (exp (- c))) (+ (exp (* -1 c)) (exp c)) 10.172 * * [simplify]: Extracting # 0 : cost 0 10.172 * * [simplify]: Extracting # 1 : cost 0 10.172 * * [simplify]: Extracting # 2 : cost 0 10.172 * * [simplify]: Extracting # 3 : cost 0 10.172 * * [simplify]: Extracting # 4 : cost 0 10.172 * * [simplify]: Extracting # 5 : cost 0 10.172 * * [simplify]: Extracting # 6 : cost 0 10.173 * * [simplify]: Extracting # 7 : cost 0 10.173 * * [simplify]: Extracting # 8 : cost 0 10.173 * * [simplify]: iteration 0 : 69 enodes (cost 382 ) 10.186 * * [simplify]: Extracting # 0 : cost 0 10.186 * * [simplify]: Extracting # 1 : cost 0 10.187 * * [simplify]: Extracting # 2 : cost 0 10.187 * * [simplify]: Extracting # 3 : cost 0 10.187 * * [simplify]: Extracting # 4 : cost 0 10.187 * * [simplify]: iteration 1 : 149 enodes (cost 372 ) 10.234 * * [simplify]: Extracting # 0 : cost 0 10.234 * * [simplify]: Extracting # 1 : cost 0 10.235 * * [simplify]: Extracting # 2 : cost 0 10.235 * * [simplify]: Extracting # 3 : cost 0 10.235 * * [simplify]: Extracting # 4 : cost 0 10.236 * * [simplify]: iteration 2 : 307 enodes (cost 325 ) 10.360 * * [simplify]: Extracting # 0 : cost 0 10.362 * * [simplify]: Extracting # 1 : cost 0 10.363 * * [simplify]: Extracting # 2 : cost 0 10.364 * * [simplify]: Extracting # 3 : cost 0 10.365 * * [simplify]: Extracting # 4 : cost 0 10.366 * * [simplify]: iteration 3 : 592 enodes (cost 321 ) 11.350 * * [simplify]: Extracting # 0 : cost 0 11.362 * * [simplify]: Extracting # 1 : cost 0 11.366 * * [simplify]: Extracting # 2 : cost 0 11.369 * * [simplify]: Extracting # 3 : cost 0 11.373 * * [simplify]: Extracting # 4 : cost 0 11.377 * * [simplify]: iteration 4 : 2392 enodes (cost 321 ) 12.757 * * [simplify]: Extracting # 0 : cost 0 12.766 * * [simplify]: Extracting # 1 : cost 0 12.777 * * [simplify]: Extracting # 2 : cost 0 12.787 * * [simplify]: Extracting # 3 : cost 0 12.797 * * [simplify]: Extracting # 4 : cost 0 12.807 * * [simplify]: iteration done: 5001 enodes (cost 321 ) 12.808 * [simplify]: Simplified to: (log (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a))) (exp (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a))) (* (cbrt (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a))) (cbrt (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a)))) (cbrt (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a))) (pow (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a)) 3) (sqrt (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a))) (sqrt (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a))) (log (cbrt 1/8)) (exp (cbrt 1/8)) (cbrt (* (cbrt 1/8) (cbrt 1/8))) (cbrt (cbrt 1/8)) (cbrt (sqrt 1/8)) (cbrt (sqrt 1/8)) 1 (cbrt 1/8) (* (cbrt (cbrt 1/8)) (cbrt (cbrt 1/8))) (cbrt (cbrt 1/8)) 1/8 (sqrt (cbrt 1/8)) (sqrt (cbrt 1/8)) (exp (+ (exp (- c)) (exp c))) (log (+ (exp (- c)) (exp c))) (exp (+ (exp (- c)) (exp c))) (* (cbrt (+ (exp (- c)) (exp c))) (cbrt (+ (exp (- c)) (exp c)))) (cbrt (+ (exp (- c)) (exp c))) (pow (+ (exp c) (exp (- c))) 3) (sqrt (+ (exp (- c)) (exp c))) (sqrt (+ (exp (- c)) (exp c))) (+ (pow (exp c) 3) (exp (* c -3))) (+ (+ (exp (+ c c)) -1) (exp (* c -2))) (- (exp (* c -2)) (exp (+ c c))) (- (exp (- c)) (exp c)) (+ (exp c) (exp (- c))) (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) (fmod (* 0.5 (+ (exp c) (exp (- c)))) (log1p a)) (fmod (* (cbrt 1/8) (+ (exp (- c)) (exp c))) (log1p a)) (+ (* 1/12 (pow c 4)) (+ (pow c 2) 2)) (+ (exp c) (exp (- c))) (+ (exp c) (exp (- c))) 12.808 * * * [progress]: adding candidates to table 12.955 * [progress]: [Phase 3 of 3] Extracting. 12.955 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # #) 12.965 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a) 12.966 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # # # # # # # # # # # #) 13.106 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # # # # # # # # # # # #) 13.205 * * * * [regimes]: Trying to branch on (cosh c) from (# # #) 13.241 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # # # # # # # # # # #) 13.803 * * * * [regimes]: Trying to branch on c from (# # # # # # # # # # # # # # # # # #) 13.905 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # # # # # # #) 14.027 * * * [regime]: Found split indices: #