0.090 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.621 * * * [progress]: [2/2] Setting up program. 0.629 * [progress]: [Phase 2 of 3] Improving. 0.631 * [simplify]: Simplifying: (fmod (cosh c) (log1p a)) 0.632 * * [simplify]: Extracting # 0 : cost 0 0.633 * * [simplify]: Extracting # 1 : cost 0 0.633 * * [simplify]: Extracting # 2 : cost 0 0.633 * * [simplify]: Extracting # 3 : cost 0 0.633 * * [simplify]: Extracting # 4 : cost 0 0.633 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.639 * * [simplify]: Extracting # 0 : cost 0 0.639 * * [simplify]: Extracting # 1 : cost 0 0.639 * * [simplify]: Extracting # 2 : cost 0 0.639 * * [simplify]: Extracting # 3 : cost 0 0.639 * * [simplify]: Extracting # 4 : cost 0 0.639 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 0.643 * * [simplify]: Extracting # 0 : cost 0 0.643 * * [simplify]: Extracting # 1 : cost 0 0.643 * * [simplify]: Extracting # 2 : cost 0 0.643 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 0.647 * * [simplify]: Extracting # 0 : cost 0 0.647 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 0.650 * * [simplify]: Extracting # 0 : cost 0 0.651 * * [simplify]: iteration done: 16 enodes (cost 5 ) 0.698 * [simplify]: Simplified to: (fmod (cosh c) (log1p a)) 0.700 * * [progress]: iteration 1 / 4 0.701 * * * [progress]: picking best candidate 0.705 * * * * [pick]: Picked # 0.705 * * * [progress]: localizing error 0.727 * * * [progress]: generating rewritten candidates 0.727 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.731 * * * [progress]: generating series expansions 0.731 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.736 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.736 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.737 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.742 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.742 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.742 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.742 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.742 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.743 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.743 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.743 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.744 * [taylor]: Taking taylor expansion of 0 in a 0.744 * [backup-simplify]: Simplify 0 into 0 0.744 * [backup-simplify]: Simplify 0 into 0 0.744 * [backup-simplify]: Simplify 0 into 0 0.744 * [taylor]: Taking taylor expansion of 0 in a 0.744 * [backup-simplify]: Simplify 0 into 0 0.744 * [backup-simplify]: Simplify 0 into 0 0.744 * [backup-simplify]: Simplify 0 into 0 0.744 * [backup-simplify]: Simplify 0 into 0 0.744 * [taylor]: Taking taylor expansion of 0 in a 0.744 * [backup-simplify]: Simplify 0 into 0 0.744 * [backup-simplify]: Simplify 0 into 0 0.745 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.747 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.747 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.747 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.747 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.747 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.748 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.748 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.748 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.748 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.748 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.749 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.749 * [taylor]: Taking taylor expansion of 0 in a 0.749 * [backup-simplify]: Simplify 0 into 0 0.749 * [backup-simplify]: Simplify 0 into 0 0.749 * [backup-simplify]: Simplify 0 into 0 0.749 * [taylor]: Taking taylor expansion of 0 in a 0.749 * [backup-simplify]: Simplify 0 into 0 0.749 * [backup-simplify]: Simplify 0 into 0 0.749 * [backup-simplify]: Simplify 0 into 0 0.749 * [backup-simplify]: Simplify 0 into 0 0.749 * [taylor]: Taking taylor expansion of 0 in a 0.749 * [backup-simplify]: Simplify 0 into 0 0.749 * [backup-simplify]: Simplify 0 into 0 0.749 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.750 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.750 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.750 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.751 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.751 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.751 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.751 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.751 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.751 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.751 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.752 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.752 * [taylor]: Taking taylor expansion of 0 in a 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [taylor]: Taking taylor expansion of 0 in a 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [taylor]: Taking taylor expansion of 0 in a 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify 0 into 0 0.753 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.753 * * * [progress]: simplifying candidates 0.754 * [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))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 0.754 * * [simplify]: Extracting # 0 : cost 0 0.754 * * [simplify]: Extracting # 1 : cost 0 0.754 * * [simplify]: Extracting # 2 : cost 0 0.754 * * [simplify]: Extracting # 3 : cost 0 0.754 * * [simplify]: Extracting # 4 : cost 0 0.754 * * [simplify]: iteration 0 : 12 enodes (cost 75 ) 0.758 * * [simplify]: Extracting # 0 : cost 0 0.758 * * [simplify]: Extracting # 1 : cost 0 0.758 * * [simplify]: Extracting # 2 : cost 0 0.758 * * [simplify]: Extracting # 3 : cost 0 0.758 * * [simplify]: Extracting # 4 : cost 0 0.759 * * [simplify]: Extracting # 5 : cost 0 0.759 * * [simplify]: iteration 1 : 19 enodes (cost 75 ) 0.764 * * [simplify]: Extracting # 0 : cost 0 0.764 * * [simplify]: Extracting # 1 : cost 0 0.764 * * [simplify]: Extracting # 2 : cost 0 0.764 * * [simplify]: iteration 2 : 24 enodes (cost 65 ) 0.772 * * [simplify]: Extracting # 0 : cost 0 0.772 * * [simplify]: Extracting # 1 : cost 0 0.772 * * [simplify]: Extracting # 2 : cost 0 0.772 * * [simplify]: Extracting # 3 : cost 0 0.772 * * [simplify]: Extracting # 4 : cost 0 0.772 * * [simplify]: iteration 3 : 30 enodes (cost 65 ) 0.781 * * [simplify]: Extracting # 0 : cost 0 0.781 * * [simplify]: Extracting # 1 : cost 0 0.781 * * [simplify]: Extracting # 2 : cost 0 0.781 * * [simplify]: Extracting # 3 : cost 0 0.781 * * [simplify]: Extracting # 4 : cost 0 0.781 * * [simplify]: iteration 4 : 36 enodes (cost 65 ) 0.791 * * [simplify]: Extracting # 0 : cost 0 0.791 * * [simplify]: Extracting # 1 : cost 0 0.791 * * [simplify]: Extracting # 2 : cost 0 0.791 * * [simplify]: Extracting # 3 : cost 0 0.791 * * [simplify]: Extracting # 4 : cost 0 0.791 * * [simplify]: iteration 5 : 46 enodes (cost 65 ) 0.806 * * [simplify]: Extracting # 0 : cost 0 0.806 * * [simplify]: Extracting # 1 : cost 0 0.806 * * [simplify]: Extracting # 2 : cost 0 0.806 * * [simplify]: Extracting # 3 : cost 0 0.806 * * [simplify]: iteration 6 : 67 enodes (cost 65 ) 0.835 * * [simplify]: Extracting # 0 : cost 0 0.835 * * [simplify]: Extracting # 1 : cost 0 0.835 * * [simplify]: Extracting # 2 : cost 0 0.835 * * [simplify]: Extracting # 3 : cost 0 0.835 * * [simplify]: iteration 7 : 145 enodes (cost 65 ) 0.935 * * [simplify]: Extracting # 0 : cost 0 0.935 * * [simplify]: Extracting # 1 : cost 0 0.936 * * [simplify]: Extracting # 2 : cost 0 0.936 * * [simplify]: Extracting # 3 : cost 0 0.936 * * [simplify]: Extracting # 4 : cost 0 0.937 * * [simplify]: iteration 8 : 430 enodes (cost 65 ) 1.930 * * [simplify]: Extracting # 0 : cost 0 1.931 * * [simplify]: Extracting # 1 : cost 0 1.932 * * [simplify]: Extracting # 2 : cost 0 1.933 * * [simplify]: Extracting # 3 : cost 0 1.935 * * [simplify]: Extracting # 4 : cost 0 1.936 * * [simplify]: iteration 9 : 1839 enodes (cost 65 ) 3.108 * * [simplify]: Extracting # 0 : cost 0 3.112 * * [simplify]: Extracting # 1 : cost 0 3.118 * * [simplify]: Extracting # 2 : cost 0 3.128 * * [simplify]: Extracting # 3 : cost 0 3.135 * * [simplify]: iteration done: 5001 enodes (cost 65 ) 3.136 * [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))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 3.136 * * * [progress]: adding candidates to table 3.182 * * [progress]: iteration 2 / 4 3.182 * * * [progress]: picking best candidate 3.207 * * * * [pick]: Picked # 3.207 * * * [progress]: localizing error 3.231 * * * [progress]: generating rewritten candidates 3.231 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 3.232 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 3.236 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 3.245 * * * [progress]: generating series expansions 3.245 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 3.245 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.245 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.245 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.245 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.245 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.245 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.245 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.245 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.245 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.246 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.246 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.246 * [taylor]: Taking taylor expansion of 0 in a 3.246 * [backup-simplify]: Simplify 0 into 0 3.246 * [backup-simplify]: Simplify 0 into 0 3.246 * [backup-simplify]: Simplify 0 into 0 3.246 * [taylor]: Taking taylor expansion of 0 in a 3.246 * [backup-simplify]: Simplify 0 into 0 3.246 * [backup-simplify]: Simplify 0 into 0 3.246 * [backup-simplify]: Simplify 0 into 0 3.246 * [backup-simplify]: Simplify 0 into 0 3.246 * [taylor]: Taking taylor expansion of 0 in a 3.246 * [backup-simplify]: Simplify 0 into 0 3.246 * [backup-simplify]: Simplify 0 into 0 3.246 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.247 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.247 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.247 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.247 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.247 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.247 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.247 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.247 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.247 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.248 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.248 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.248 * [taylor]: Taking taylor expansion of 0 in a 3.248 * [backup-simplify]: Simplify 0 into 0 3.248 * [backup-simplify]: Simplify 0 into 0 3.248 * [backup-simplify]: Simplify 0 into 0 3.248 * [taylor]: Taking taylor expansion of 0 in a 3.248 * [backup-simplify]: Simplify 0 into 0 3.248 * [backup-simplify]: Simplify 0 into 0 3.248 * [backup-simplify]: Simplify 0 into 0 3.248 * [backup-simplify]: Simplify 0 into 0 3.248 * [taylor]: Taking taylor expansion of 0 in a 3.248 * [backup-simplify]: Simplify 0 into 0 3.248 * [backup-simplify]: Simplify 0 into 0 3.248 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.249 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.249 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.249 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.249 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.249 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.249 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.249 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.249 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.249 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.250 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.250 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.250 * [taylor]: Taking taylor expansion of 0 in a 3.250 * [backup-simplify]: Simplify 0 into 0 3.250 * [backup-simplify]: Simplify 0 into 0 3.250 * [backup-simplify]: Simplify 0 into 0 3.250 * [taylor]: Taking taylor expansion of 0 in a 3.250 * [backup-simplify]: Simplify 0 into 0 3.250 * [backup-simplify]: Simplify 0 into 0 3.250 * [backup-simplify]: Simplify 0 into 0 3.250 * [backup-simplify]: Simplify 0 into 0 3.250 * [taylor]: Taking taylor expansion of 0 in a 3.250 * [backup-simplify]: Simplify 0 into 0 3.250 * [backup-simplify]: Simplify 0 into 0 3.250 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.251 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 3.251 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.251 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 3.251 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 3.251 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.251 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.260 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.260 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 3.260 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.260 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.260 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.260 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 3.260 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.261 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.261 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.261 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 3.261 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.261 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.261 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.261 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.263 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 3.263 * [taylor]: Taking taylor expansion of 0 in a 3.264 * [backup-simplify]: Simplify 0 into 0 3.264 * [backup-simplify]: Simplify 0 into 0 3.264 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 3.265 * [backup-simplify]: Simplify 0 into 0 3.268 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 3.268 * [taylor]: Taking taylor expansion of 0 in a 3.268 * [backup-simplify]: Simplify 0 into 0 3.268 * [backup-simplify]: Simplify 0 into 0 3.268 * [backup-simplify]: Simplify 0 into 0 3.270 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 3.270 * [backup-simplify]: Simplify 0 into 0 3.272 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 3.272 * [taylor]: Taking taylor expansion of 0 in a 3.272 * [backup-simplify]: Simplify 0 into 0 3.272 * [backup-simplify]: Simplify 0 into 0 3.272 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.273 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.273 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 3.273 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.273 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.273 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.273 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.273 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.273 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.273 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.273 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.273 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.273 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.273 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.273 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.273 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.273 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.274 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.274 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.274 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.274 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 3.274 * [taylor]: Taking taylor expansion of 0 in a 3.274 * [backup-simplify]: Simplify 0 into 0 3.275 * [backup-simplify]: Simplify 0 into 0 3.275 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 3.275 * [backup-simplify]: Simplify 0 into 0 3.276 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 3.276 * [taylor]: Taking taylor expansion of 0 in a 3.276 * [backup-simplify]: Simplify 0 into 0 3.276 * [backup-simplify]: Simplify 0 into 0 3.276 * [backup-simplify]: Simplify 0 into 0 3.278 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 3.278 * [backup-simplify]: Simplify 0 into 0 3.280 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 3.280 * [taylor]: Taking taylor expansion of 0 in a 3.280 * [backup-simplify]: Simplify 0 into 0 3.280 * [backup-simplify]: Simplify 0 into 0 3.280 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 3.280 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.280 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 3.280 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.280 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.280 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.280 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.280 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.280 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.280 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.281 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.281 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.281 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.281 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.281 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.281 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.281 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.281 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.281 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.281 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.282 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 3.282 * [taylor]: Taking taylor expansion of 0 in a 3.282 * [backup-simplify]: Simplify 0 into 0 3.282 * [backup-simplify]: Simplify 0 into 0 3.283 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 3.283 * [backup-simplify]: Simplify 0 into 0 3.284 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 3.284 * [taylor]: Taking taylor expansion of 0 in a 3.284 * [backup-simplify]: Simplify 0 into 0 3.284 * [backup-simplify]: Simplify 0 into 0 3.284 * [backup-simplify]: Simplify 0 into 0 3.285 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 3.285 * [backup-simplify]: Simplify 0 into 0 3.287 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 3.287 * [taylor]: Taking taylor expansion of 0 in a 3.287 * [backup-simplify]: Simplify 0 into 0 3.288 * [backup-simplify]: Simplify 0 into 0 3.288 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 3.288 * * * * [progress]: [ 3 / 3 ] generating series at (2) 3.288 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 3.288 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.288 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.288 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.288 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.288 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.288 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.288 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.288 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.288 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.288 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.288 * [taylor]: Taking taylor expansion of 0 in a 3.288 * [backup-simplify]: Simplify 0 into 0 3.288 * [backup-simplify]: Simplify 0 into 0 3.288 * [backup-simplify]: Simplify 0 into 0 3.288 * [taylor]: Taking taylor expansion of 0 in a 3.289 * [backup-simplify]: Simplify 0 into 0 3.289 * [backup-simplify]: Simplify 0 into 0 3.289 * [backup-simplify]: Simplify 0 into 0 3.289 * [backup-simplify]: Simplify 0 into 0 3.289 * [taylor]: Taking taylor expansion of 0 in a 3.289 * [backup-simplify]: Simplify 0 into 0 3.289 * [backup-simplify]: Simplify 0 into 0 3.289 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.289 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.289 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.289 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.289 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.289 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.289 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.289 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.289 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.289 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.289 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.289 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.290 * [taylor]: Taking taylor expansion of 0 in a 3.290 * [backup-simplify]: Simplify 0 into 0 3.290 * [backup-simplify]: Simplify 0 into 0 3.290 * [backup-simplify]: Simplify 0 into 0 3.290 * [taylor]: Taking taylor expansion of 0 in a 3.290 * [backup-simplify]: Simplify 0 into 0 3.290 * [backup-simplify]: Simplify 0 into 0 3.290 * [backup-simplify]: Simplify 0 into 0 3.290 * [backup-simplify]: Simplify 0 into 0 3.290 * [taylor]: Taking taylor expansion of 0 in a 3.290 * [backup-simplify]: Simplify 0 into 0 3.290 * [backup-simplify]: Simplify 0 into 0 3.290 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.290 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.290 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.290 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.290 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.290 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.290 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.290 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.290 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.291 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.291 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.291 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.291 * [taylor]: Taking taylor expansion of 0 in a 3.291 * [backup-simplify]: Simplify 0 into 0 3.291 * [backup-simplify]: Simplify 0 into 0 3.291 * [backup-simplify]: Simplify 0 into 0 3.291 * [taylor]: Taking taylor expansion of 0 in a 3.291 * [backup-simplify]: Simplify 0 into 0 3.291 * [backup-simplify]: Simplify 0 into 0 3.291 * [backup-simplify]: Simplify 0 into 0 3.291 * [backup-simplify]: Simplify 0 into 0 3.291 * [taylor]: Taking taylor expansion of 0 in a 3.291 * [backup-simplify]: Simplify 0 into 0 3.291 * [backup-simplify]: Simplify 0 into 0 3.291 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.291 * * * [progress]: simplifying candidates 3.292 * [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))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (exp 1) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (sqrt (log (fmod (cosh c) (log1p a))))) (exp 1) (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log 1)) (exp (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a))))) (exp (exp (log (fmod (cosh c) (log1p a))))) (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))) (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a))))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 3.293 * * [simplify]: Extracting # 0 : cost 0 3.293 * * [simplify]: Extracting # 1 : cost 0 3.293 * * [simplify]: Extracting # 2 : cost 0 3.293 * * [simplify]: Extracting # 3 : cost 0 3.293 * * [simplify]: Extracting # 4 : cost 0 3.293 * * [simplify]: Extracting # 5 : cost 0 3.293 * * [simplify]: Extracting # 6 : cost 0 3.293 * * [simplify]: iteration 0 : 38 enodes (cost 384 ) 3.300 * * [simplify]: Extracting # 0 : cost 0 3.300 * * [simplify]: Extracting # 1 : cost 0 3.300 * * [simplify]: Extracting # 2 : cost 0 3.300 * * [simplify]: Extracting # 3 : cost 0 3.301 * * [simplify]: Extracting # 4 : cost 0 3.301 * * [simplify]: Extracting # 5 : cost 0 3.301 * * [simplify]: iteration 1 : 54 enodes (cost 347 ) 3.307 * * [simplify]: Extracting # 0 : cost 0 3.307 * * [simplify]: Extracting # 1 : cost 0 3.307 * * [simplify]: Extracting # 2 : cost 0 3.307 * * [simplify]: Extracting # 3 : cost 0 3.307 * * [simplify]: Extracting # 4 : cost 0 3.307 * * [simplify]: iteration 2 : 68 enodes (cost 301 ) 3.317 * * [simplify]: Extracting # 0 : cost 0 3.317 * * [simplify]: Extracting # 1 : cost 0 3.317 * * [simplify]: Extracting # 2 : cost 0 3.317 * * [simplify]: Extracting # 3 : cost 0 3.317 * * [simplify]: Extracting # 4 : cost 0 3.317 * * [simplify]: iteration 3 : 86 enodes (cost 301 ) 3.330 * * [simplify]: Extracting # 0 : cost 0 3.330 * * [simplify]: Extracting # 1 : cost 0 3.330 * * [simplify]: Extracting # 2 : cost 0 3.330 * * [simplify]: Extracting # 3 : cost 0 3.331 * * [simplify]: Extracting # 4 : cost 0 3.331 * * [simplify]: iteration 4 : 126 enodes (cost 295 ) 3.382 * * [simplify]: Extracting # 0 : cost 0 3.382 * * [simplify]: Extracting # 1 : cost 0 3.382 * * [simplify]: Extracting # 2 : cost 0 3.383 * * [simplify]: Extracting # 3 : cost 0 3.383 * * [simplify]: Extracting # 4 : cost 0 3.383 * * [simplify]: iteration 5 : 210 enodes (cost 295 ) 3.468 * * [simplify]: Extracting # 0 : cost 0 3.469 * * [simplify]: Extracting # 1 : cost 0 3.470 * * [simplify]: Extracting # 2 : cost 0 3.476 * * [simplify]: Extracting # 3 : cost 0 3.476 * * [simplify]: Extracting # 4 : cost 0 3.477 * * [simplify]: iteration 6 : 425 enodes (cost 295 ) 3.741 * * [simplify]: Extracting # 0 : cost 0 3.742 * * [simplify]: Extracting # 1 : cost 0 3.743 * * [simplify]: Extracting # 2 : cost 0 3.744 * * [simplify]: Extracting # 3 : cost 0 3.745 * * [simplify]: Extracting # 4 : cost 0 3.746 * * [simplify]: iteration 7 : 1201 enodes (cost 295 ) 6.133 * * [simplify]: Extracting # 0 : cost 0 6.141 * * [simplify]: Extracting # 1 : cost 0 6.147 * * [simplify]: Extracting # 2 : cost 0 6.153 * * [simplify]: Extracting # 3 : cost 0 6.157 * * [simplify]: Extracting # 4 : cost 0 6.160 * * [simplify]: iteration 8 : 4492 enodes (cost 295 ) 8.015 * * [simplify]: Extracting # 0 : cost 0 8.023 * * [simplify]: Extracting # 1 : cost 0 8.030 * * [simplify]: Extracting # 2 : cost 0 8.037 * * [simplify]: Extracting # 3 : cost 0 8.044 * * [simplify]: iteration done: 5000 enodes (cost 295 ) 8.045 * [simplify]: Simplified to: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (cbrt (fmod (cosh c) (log1p a))) 2) (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))) (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) 0 (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 3) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) E (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (sqrt (log (fmod (cosh c) (log1p a))))) E (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (cbrt (fmod (cosh c) (log1p a))) 2) (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))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 8.045 * * * [progress]: adding candidates to table 8.235 * * [progress]: iteration 3 / 4 8.236 * * * [progress]: picking best candidate 8.262 * * * * [pick]: Picked # 8.262 * * * [progress]: localizing error 8.275 * * * [progress]: generating rewritten candidates 8.275 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 8.276 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 8.277 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 8.282 * * * [progress]: generating series expansions 8.282 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 8.282 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.282 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 8.282 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.282 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.282 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.282 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.283 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.283 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.283 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.283 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.283 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.283 * [taylor]: Taking taylor expansion of 0 in a 8.283 * [backup-simplify]: Simplify 0 into 0 8.283 * [backup-simplify]: Simplify 0 into 0 8.283 * [backup-simplify]: Simplify 0 into 0 8.283 * [taylor]: Taking taylor expansion of 0 in a 8.283 * [backup-simplify]: Simplify 0 into 0 8.283 * [backup-simplify]: Simplify 0 into 0 8.283 * [backup-simplify]: Simplify 0 into 0 8.283 * [backup-simplify]: Simplify 0 into 0 8.283 * [taylor]: Taking taylor expansion of 0 in a 8.283 * [backup-simplify]: Simplify 0 into 0 8.283 * [backup-simplify]: Simplify 0 into 0 8.283 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.283 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.283 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 8.283 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.283 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.283 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.283 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.284 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.284 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.284 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.284 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.284 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.284 * [taylor]: Taking taylor expansion of 0 in a 8.284 * [backup-simplify]: Simplify 0 into 0 8.284 * [backup-simplify]: Simplify 0 into 0 8.284 * [backup-simplify]: Simplify 0 into 0 8.284 * [taylor]: Taking taylor expansion of 0 in a 8.284 * [backup-simplify]: Simplify 0 into 0 8.284 * [backup-simplify]: Simplify 0 into 0 8.284 * [backup-simplify]: Simplify 0 into 0 8.284 * [backup-simplify]: Simplify 0 into 0 8.284 * [taylor]: Taking taylor expansion of 0 in a 8.284 * [backup-simplify]: Simplify 0 into 0 8.284 * [backup-simplify]: Simplify 0 into 0 8.284 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 8.284 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.284 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 8.284 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.284 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.285 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.285 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.285 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.285 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.285 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.285 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.285 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.285 * [taylor]: Taking taylor expansion of 0 in a 8.285 * [backup-simplify]: Simplify 0 into 0 8.285 * [backup-simplify]: Simplify 0 into 0 8.285 * [backup-simplify]: Simplify 0 into 0 8.285 * [taylor]: Taking taylor expansion of 0 in a 8.285 * [backup-simplify]: Simplify 0 into 0 8.285 * [backup-simplify]: Simplify 0 into 0 8.285 * [backup-simplify]: Simplify 0 into 0 8.285 * [backup-simplify]: Simplify 0 into 0 8.285 * [taylor]: Taking taylor expansion of 0 in a 8.285 * [backup-simplify]: Simplify 0 into 0 8.285 * [backup-simplify]: Simplify 0 into 0 8.285 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 8.285 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 8.286 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.286 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 8.286 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 8.286 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.286 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.286 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.286 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 8.286 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.286 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.286 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.286 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 8.286 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.286 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.286 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.286 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 8.286 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.286 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.286 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.286 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.287 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 8.287 * [taylor]: Taking taylor expansion of 0 in a 8.287 * [backup-simplify]: Simplify 0 into 0 8.287 * [backup-simplify]: Simplify 0 into 0 8.294 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 8.294 * [backup-simplify]: Simplify 0 into 0 8.295 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 8.295 * [taylor]: Taking taylor expansion of 0 in a 8.295 * [backup-simplify]: Simplify 0 into 0 8.295 * [backup-simplify]: Simplify 0 into 0 8.295 * [backup-simplify]: Simplify 0 into 0 8.297 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 8.297 * [backup-simplify]: Simplify 0 into 0 8.299 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 8.299 * [taylor]: Taking taylor expansion of 0 in a 8.299 * [backup-simplify]: Simplify 0 into 0 8.299 * [backup-simplify]: Simplify 0 into 0 8.299 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.299 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.299 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 8.299 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 8.299 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.299 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.299 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.299 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 8.299 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.300 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.300 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.300 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 8.300 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.300 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.300 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.300 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 8.300 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.300 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.300 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.300 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.301 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 8.301 * [taylor]: Taking taylor expansion of 0 in a 8.301 * [backup-simplify]: Simplify 0 into 0 8.301 * [backup-simplify]: Simplify 0 into 0 8.302 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 8.302 * [backup-simplify]: Simplify 0 into 0 8.303 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 8.303 * [taylor]: Taking taylor expansion of 0 in a 8.303 * [backup-simplify]: Simplify 0 into 0 8.303 * [backup-simplify]: Simplify 0 into 0 8.303 * [backup-simplify]: Simplify 0 into 0 8.305 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 8.305 * [backup-simplify]: Simplify 0 into 0 8.307 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 8.307 * [taylor]: Taking taylor expansion of 0 in a 8.307 * [backup-simplify]: Simplify 0 into 0 8.307 * [backup-simplify]: Simplify 0 into 0 8.307 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 8.307 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.307 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 8.307 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 8.307 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.307 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.307 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.307 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 8.307 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.308 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.308 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.308 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 8.308 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.308 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.308 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.308 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 8.308 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.308 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.308 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.308 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.309 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 8.309 * [taylor]: Taking taylor expansion of 0 in a 8.309 * [backup-simplify]: Simplify 0 into 0 8.309 * [backup-simplify]: Simplify 0 into 0 8.310 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 8.310 * [backup-simplify]: Simplify 0 into 0 8.311 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 8.311 * [taylor]: Taking taylor expansion of 0 in a 8.311 * [backup-simplify]: Simplify 0 into 0 8.311 * [backup-simplify]: Simplify 0 into 0 8.311 * [backup-simplify]: Simplify 0 into 0 8.312 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 8.312 * [backup-simplify]: Simplify 0 into 0 8.314 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 8.314 * [taylor]: Taking taylor expansion of 0 in a 8.314 * [backup-simplify]: Simplify 0 into 0 8.314 * [backup-simplify]: Simplify 0 into 0 8.315 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 8.315 * * * * [progress]: [ 3 / 3 ] generating series at (2) 8.315 * [backup-simplify]: Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a)))) 8.315 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0 8.315 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a 8.315 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a 8.315 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a 8.315 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 8.315 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.315 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.315 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.315 * [taylor]: Taking taylor expansion of (log E) in a 8.315 * [taylor]: Taking taylor expansion of E in a 8.315 * [backup-simplify]: Simplify E into E 8.315 * [backup-simplify]: Simplify (log E) into 1 8.315 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 8.316 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 8.316 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 8.316 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 8.316 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 8.316 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 8.316 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.316 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.316 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.316 * [taylor]: Taking taylor expansion of (log E) in c 8.316 * [taylor]: Taking taylor expansion of E in c 8.316 * [backup-simplify]: Simplify E into E 8.316 * [backup-simplify]: Simplify (log E) into 1 8.316 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 8.316 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 8.316 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 8.316 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 8.316 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 8.316 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 8.316 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.316 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.316 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.316 * [taylor]: Taking taylor expansion of (log E) in c 8.316 * [taylor]: Taking taylor expansion of E in c 8.317 * [backup-simplify]: Simplify E into E 8.317 * [backup-simplify]: Simplify (log E) into 1 8.317 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 8.317 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 8.317 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.317 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.317 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.318 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 8.319 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 8.319 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0 8.320 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0 8.320 * [taylor]: Taking taylor expansion of 0 in a 8.320 * [backup-simplify]: Simplify 0 into 0 8.320 * [backup-simplify]: Simplify 0 into 0 8.320 * [backup-simplify]: Simplify 0 into 0 8.322 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 8.323 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 8.324 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0 8.325 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 8.325 * [taylor]: Taking taylor expansion of 0 in a 8.325 * [backup-simplify]: Simplify 0 into 0 8.325 * [backup-simplify]: Simplify 0 into 0 8.325 * [backup-simplify]: Simplify 0 into 0 8.325 * [backup-simplify]: Simplify 0 into 0 8.328 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 8.330 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 8.331 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.332 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 8.332 * [taylor]: Taking taylor expansion of 0 in a 8.332 * [backup-simplify]: Simplify 0 into 0 8.332 * [backup-simplify]: Simplify 0 into 0 8.332 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.332 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 8.332 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0 8.332 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 8.332 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a 8.332 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a 8.332 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 8.332 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.333 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.333 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.333 * [taylor]: Taking taylor expansion of (log E) in a 8.333 * [taylor]: Taking taylor expansion of E in a 8.333 * [backup-simplify]: Simplify E into E 8.333 * [backup-simplify]: Simplify (log E) into 1 8.333 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.333 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.333 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 8.333 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 8.333 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 8.333 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 8.333 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.333 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.333 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.333 * [taylor]: Taking taylor expansion of (log E) in c 8.333 * [taylor]: Taking taylor expansion of E in c 8.333 * [backup-simplify]: Simplify E into E 8.333 * [backup-simplify]: Simplify (log E) into 1 8.334 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.334 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.334 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 8.334 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 8.334 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 8.334 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 8.334 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.334 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.334 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.334 * [taylor]: Taking taylor expansion of (log E) in c 8.334 * [taylor]: Taking taylor expansion of E in c 8.334 * [backup-simplify]: Simplify E into E 8.334 * [backup-simplify]: Simplify (log E) into 1 8.334 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.334 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.334 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.335 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.335 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.336 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 8.337 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 8.337 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0 8.338 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 8.338 * [taylor]: Taking taylor expansion of 0 in a 8.338 * [backup-simplify]: Simplify 0 into 0 8.338 * [backup-simplify]: Simplify 0 into 0 8.338 * [backup-simplify]: Simplify 0 into 0 8.340 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 8.341 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 8.341 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 8.342 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 8.342 * [taylor]: Taking taylor expansion of 0 in a 8.342 * [backup-simplify]: Simplify 0 into 0 8.342 * [backup-simplify]: Simplify 0 into 0 8.343 * [backup-simplify]: Simplify 0 into 0 8.343 * [backup-simplify]: Simplify 0 into 0 8.345 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 8.348 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 8.348 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.349 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 8.349 * [taylor]: Taking taylor expansion of 0 in a 8.349 * [backup-simplify]: Simplify 0 into 0 8.349 * [backup-simplify]: Simplify 0 into 0 8.350 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 8.350 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 8.350 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0 8.350 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 8.350 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a 8.350 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a 8.350 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 8.350 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.350 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.350 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.350 * [taylor]: Taking taylor expansion of (log E) in a 8.350 * [taylor]: Taking taylor expansion of E in a 8.350 * [backup-simplify]: Simplify E into E 8.350 * [backup-simplify]: Simplify (log E) into 1 8.350 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.351 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.351 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 8.351 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 8.351 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 8.351 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 8.351 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.351 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.351 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.351 * [taylor]: Taking taylor expansion of (log E) in c 8.351 * [taylor]: Taking taylor expansion of E in c 8.351 * [backup-simplify]: Simplify E into E 8.351 * [backup-simplify]: Simplify (log E) into 1 8.351 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.351 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.351 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 8.351 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 8.351 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 8.351 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 8.351 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.351 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.352 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.352 * [taylor]: Taking taylor expansion of (log E) in c 8.352 * [taylor]: Taking taylor expansion of E in c 8.352 * [backup-simplify]: Simplify E into E 8.352 * [backup-simplify]: Simplify (log E) into 1 8.352 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.352 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.352 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.352 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.352 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.353 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 8.354 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 8.354 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0 8.355 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 8.355 * [taylor]: Taking taylor expansion of 0 in a 8.355 * [backup-simplify]: Simplify 0 into 0 8.355 * [backup-simplify]: Simplify 0 into 0 8.355 * [backup-simplify]: Simplify 0 into 0 8.357 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 8.358 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 8.359 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 8.359 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 8.359 * [taylor]: Taking taylor expansion of 0 in a 8.360 * [backup-simplify]: Simplify 0 into 0 8.360 * [backup-simplify]: Simplify 0 into 0 8.360 * [backup-simplify]: Simplify 0 into 0 8.360 * [backup-simplify]: Simplify 0 into 0 8.363 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 8.365 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 8.366 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.367 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 8.367 * [taylor]: Taking taylor expansion of 0 in a 8.367 * [backup-simplify]: Simplify 0 into 0 8.367 * [backup-simplify]: Simplify 0 into 0 8.367 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 8.367 * * * [progress]: simplifying candidates 8.368 * [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))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a)))) (* (log E) (log (fmod (cosh c) (log1p a)))) (* (log E) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a)))) (pow E 1) (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (pow E 1) (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a)))) (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow 1 (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a)))) (log (pow E (log (fmod (cosh c) (log1p a))))) (exp (pow E (log (fmod (cosh c) (log1p a))))) (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 8.369 * * [simplify]: Extracting # 0 : cost 0 8.369 * * [simplify]: Extracting # 1 : cost 0 8.369 * * [simplify]: Extracting # 2 : cost 0 8.369 * * [simplify]: Extracting # 3 : cost 0 8.369 * * [simplify]: Extracting # 4 : cost 0 8.369 * * [simplify]: Extracting # 5 : cost 0 8.369 * * [simplify]: Extracting # 6 : cost 0 8.369 * * [simplify]: iteration 0 : 53 enodes (cost 513 ) 8.383 * * [simplify]: Extracting # 0 : cost 0 8.383 * * [simplify]: Extracting # 1 : cost 0 8.383 * * [simplify]: Extracting # 2 : cost 0 8.383 * * [simplify]: Extracting # 3 : cost 0 8.383 * * [simplify]: Extracting # 4 : cost 0 8.384 * * [simplify]: Extracting # 5 : cost 0 8.384 * * [simplify]: Extracting # 6 : cost 0 8.384 * * [simplify]: iteration 1 : 102 enodes (cost 478 ) 8.436 * * [simplify]: Extracting # 0 : cost 0 8.436 * * [simplify]: Extracting # 1 : cost 0 8.436 * * [simplify]: Extracting # 2 : cost 0 8.437 * * [simplify]: Extracting # 3 : cost 0 8.437 * * [simplify]: Extracting # 4 : cost 0 8.438 * * [simplify]: Extracting # 5 : cost 0 8.438 * * [simplify]: iteration 2 : 203 enodes (cost 408 ) 8.511 * * [simplify]: Extracting # 0 : cost 0 8.511 * * [simplify]: Extracting # 1 : cost 0 8.512 * * [simplify]: Extracting # 2 : cost 0 8.512 * * [simplify]: Extracting # 3 : cost 0 8.513 * * [simplify]: Extracting # 4 : cost 0 8.513 * * [simplify]: Extracting # 5 : cost 0 8.514 * * [simplify]: iteration 3 : 505 enodes (cost 408 ) 8.893 * * [simplify]: Extracting # 0 : cost 0 8.898 * * [simplify]: Extracting # 1 : cost 0 8.900 * * [simplify]: Extracting # 2 : cost 0 8.903 * * [simplify]: Extracting # 3 : cost 0 8.906 * * [simplify]: Extracting # 4 : cost 0 8.909 * * [simplify]: iteration 4 : 1525 enodes (cost 406 ) 10.567 * * [simplify]: Extracting # 0 : cost 0 10.581 * * [simplify]: Extracting # 1 : cost 0 10.599 * * [simplify]: Extracting # 2 : cost 0 10.608 * * [simplify]: Extracting # 3 : cost 0 10.618 * * [simplify]: Extracting # 4 : cost 0 10.627 * * [simplify]: Extracting # 5 : cost 0 10.637 * * [simplify]: iteration done: 5000 enodes (cost 394 ) 10.638 * [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))) (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) 0 (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 3) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) E (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow E (sqrt (log (fmod (cosh c) (log1p a))))) E (pow E (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 (fmod (cosh c) (log1p a)) (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) 1 (fmod (cosh c) (log1p a)) (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))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 10.639 * * * [progress]: adding candidates to table 10.795 * * [progress]: iteration 4 / 4 10.796 * * * [progress]: picking best candidate 10.822 * * * * [pick]: Picked # 10.822 * * * [progress]: localizing error 10.853 * * * [progress]: generating rewritten candidates 10.853 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 10.854 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1 1) 10.854 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1) 10.854 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 10.856 * * * [progress]: generating series expansions 10.856 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 10.856 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.856 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 10.856 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.857 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.857 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.857 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.857 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.857 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.857 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.857 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.857 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.857 * [taylor]: Taking taylor expansion of 0 in a 10.857 * [backup-simplify]: Simplify 0 into 0 10.857 * [backup-simplify]: Simplify 0 into 0 10.857 * [backup-simplify]: Simplify 0 into 0 10.857 * [taylor]: Taking taylor expansion of 0 in a 10.857 * [backup-simplify]: Simplify 0 into 0 10.857 * [backup-simplify]: Simplify 0 into 0 10.857 * [backup-simplify]: Simplify 0 into 0 10.857 * [backup-simplify]: Simplify 0 into 0 10.857 * [taylor]: Taking taylor expansion of 0 in a 10.857 * [backup-simplify]: Simplify 0 into 0 10.857 * [backup-simplify]: Simplify 0 into 0 10.857 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.857 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.857 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 10.857 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.858 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.858 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.858 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.858 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.858 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.858 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.858 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.858 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.858 * [taylor]: Taking taylor expansion of 0 in a 10.858 * [backup-simplify]: Simplify 0 into 0 10.858 * [backup-simplify]: Simplify 0 into 0 10.858 * [backup-simplify]: Simplify 0 into 0 10.858 * [taylor]: Taking taylor expansion of 0 in a 10.858 * [backup-simplify]: Simplify 0 into 0 10.858 * [backup-simplify]: Simplify 0 into 0 10.858 * [backup-simplify]: Simplify 0 into 0 10.858 * [backup-simplify]: Simplify 0 into 0 10.858 * [taylor]: Taking taylor expansion of 0 in a 10.858 * [backup-simplify]: Simplify 0 into 0 10.858 * [backup-simplify]: Simplify 0 into 0 10.858 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 10.859 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.859 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 10.859 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.859 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.859 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.859 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.859 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.859 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.859 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.859 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.859 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.859 * [taylor]: Taking taylor expansion of 0 in a 10.859 * [backup-simplify]: Simplify 0 into 0 10.859 * [backup-simplify]: Simplify 0 into 0 10.859 * [backup-simplify]: Simplify 0 into 0 10.859 * [taylor]: Taking taylor expansion of 0 in a 10.859 * [backup-simplify]: Simplify 0 into 0 10.859 * [backup-simplify]: Simplify 0 into 0 10.859 * [backup-simplify]: Simplify 0 into 0 10.860 * [backup-simplify]: Simplify 0 into 0 10.860 * [taylor]: Taking taylor expansion of 0 in a 10.860 * [backup-simplify]: Simplify 0 into 0 10.860 * [backup-simplify]: Simplify 0 into 0 10.860 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 10.860 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1 1) 10.860 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.860 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 10.860 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.860 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.860 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.860 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.860 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.860 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.860 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.860 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.860 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.860 * [taylor]: Taking taylor expansion of 0 in a 10.860 * [backup-simplify]: Simplify 0 into 0 10.860 * [backup-simplify]: Simplify 0 into 0 10.860 * [backup-simplify]: Simplify 0 into 0 10.860 * [taylor]: Taking taylor expansion of 0 in a 10.860 * [backup-simplify]: Simplify 0 into 0 10.860 * [backup-simplify]: Simplify 0 into 0 10.860 * [backup-simplify]: Simplify 0 into 0 10.860 * [backup-simplify]: Simplify 0 into 0 10.860 * [taylor]: Taking taylor expansion of 0 in a 10.861 * [backup-simplify]: Simplify 0 into 0 10.861 * [backup-simplify]: Simplify 0 into 0 10.861 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.861 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.861 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 10.861 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.861 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.861 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.861 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.861 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.861 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.861 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.861 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.861 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.861 * [taylor]: Taking taylor expansion of 0 in a 10.861 * [backup-simplify]: Simplify 0 into 0 10.861 * [backup-simplify]: Simplify 0 into 0 10.861 * [backup-simplify]: Simplify 0 into 0 10.861 * [taylor]: Taking taylor expansion of 0 in a 10.861 * [backup-simplify]: Simplify 0 into 0 10.861 * [backup-simplify]: Simplify 0 into 0 10.861 * [backup-simplify]: Simplify 0 into 0 10.862 * [backup-simplify]: Simplify 0 into 0 10.862 * [taylor]: Taking taylor expansion of 0 in a 10.862 * [backup-simplify]: Simplify 0 into 0 10.862 * [backup-simplify]: Simplify 0 into 0 10.862 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 10.862 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.862 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 10.862 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.862 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.862 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.862 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.862 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.862 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.862 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.862 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.862 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.862 * [taylor]: Taking taylor expansion of 0 in a 10.862 * [backup-simplify]: Simplify 0 into 0 10.863 * [backup-simplify]: Simplify 0 into 0 10.863 * [backup-simplify]: Simplify 0 into 0 10.863 * [taylor]: Taking taylor expansion of 0 in a 10.863 * [backup-simplify]: Simplify 0 into 0 10.863 * [backup-simplify]: Simplify 0 into 0 10.863 * [backup-simplify]: Simplify 0 into 0 10.863 * [backup-simplify]: Simplify 0 into 0 10.863 * [taylor]: Taking taylor expansion of 0 in a 10.863 * [backup-simplify]: Simplify 0 into 0 10.863 * [backup-simplify]: Simplify 0 into 0 10.863 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 10.863 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1) 10.863 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.863 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 10.863 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.863 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.863 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.863 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.863 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.863 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.863 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.863 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.863 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.863 * [taylor]: Taking taylor expansion of 0 in a 10.863 * [backup-simplify]: Simplify 0 into 0 10.863 * [backup-simplify]: Simplify 0 into 0 10.864 * [backup-simplify]: Simplify 0 into 0 10.864 * [taylor]: Taking taylor expansion of 0 in a 10.864 * [backup-simplify]: Simplify 0 into 0 10.864 * [backup-simplify]: Simplify 0 into 0 10.864 * [backup-simplify]: Simplify 0 into 0 10.864 * [backup-simplify]: Simplify 0 into 0 10.864 * [taylor]: Taking taylor expansion of 0 in a 10.864 * [backup-simplify]: Simplify 0 into 0 10.864 * [backup-simplify]: Simplify 0 into 0 10.864 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.864 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.864 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 10.864 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.864 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.864 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.864 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.864 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.864 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.864 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.864 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.864 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.865 * [taylor]: Taking taylor expansion of 0 in a 10.865 * [backup-simplify]: Simplify 0 into 0 10.865 * [backup-simplify]: Simplify 0 into 0 10.865 * [backup-simplify]: Simplify 0 into 0 10.865 * [taylor]: Taking taylor expansion of 0 in a 10.865 * [backup-simplify]: Simplify 0 into 0 10.865 * [backup-simplify]: Simplify 0 into 0 10.865 * [backup-simplify]: Simplify 0 into 0 10.865 * [backup-simplify]: Simplify 0 into 0 10.865 * [taylor]: Taking taylor expansion of 0 in a 10.865 * [backup-simplify]: Simplify 0 into 0 10.865 * [backup-simplify]: Simplify 0 into 0 10.865 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 10.865 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.865 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 10.865 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.865 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.865 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.865 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.865 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.865 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.865 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.865 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.866 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.866 * [taylor]: Taking taylor expansion of 0 in a 10.866 * [backup-simplify]: Simplify 0 into 0 10.866 * [backup-simplify]: Simplify 0 into 0 10.866 * [backup-simplify]: Simplify 0 into 0 10.866 * [taylor]: Taking taylor expansion of 0 in a 10.866 * [backup-simplify]: Simplify 0 into 0 10.866 * [backup-simplify]: Simplify 0 into 0 10.866 * [backup-simplify]: Simplify 0 into 0 10.866 * [backup-simplify]: Simplify 0 into 0 10.866 * [taylor]: Taking taylor expansion of 0 in a 10.866 * [backup-simplify]: Simplify 0 into 0 10.866 * [backup-simplify]: Simplify 0 into 0 10.866 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 10.866 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 10.866 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.866 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 10.866 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 10.866 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.866 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.866 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.866 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 10.866 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.866 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.867 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.867 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 10.867 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.867 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.867 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.867 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 10.867 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.867 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.867 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.867 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.868 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 10.868 * [taylor]: Taking taylor expansion of 0 in a 10.868 * [backup-simplify]: Simplify 0 into 0 10.868 * [backup-simplify]: Simplify 0 into 0 10.869 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 10.869 * [backup-simplify]: Simplify 0 into 0 10.870 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 10.870 * [taylor]: Taking taylor expansion of 0 in a 10.870 * [backup-simplify]: Simplify 0 into 0 10.870 * [backup-simplify]: Simplify 0 into 0 10.870 * [backup-simplify]: Simplify 0 into 0 10.871 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 10.871 * [backup-simplify]: Simplify 0 into 0 10.873 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 10.873 * [taylor]: Taking taylor expansion of 0 in a 10.873 * [backup-simplify]: Simplify 0 into 0 10.873 * [backup-simplify]: Simplify 0 into 0 10.873 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.874 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 10.874 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 10.874 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 10.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.874 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 10.874 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 10.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.874 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 10.874 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 10.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.874 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 10.874 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 10.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.875 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.875 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 10.875 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 10.876 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 10.876 * [taylor]: Taking taylor expansion of 0 in a 10.876 * [backup-simplify]: Simplify 0 into 0 10.876 * [backup-simplify]: Simplify 0 into 0 10.876 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 10.876 * [backup-simplify]: Simplify 0 into 0 10.884 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 10.884 * [taylor]: Taking taylor expansion of 0 in a 10.884 * [backup-simplify]: Simplify 0 into 0 10.884 * [backup-simplify]: Simplify 0 into 0 10.884 * [backup-simplify]: Simplify 0 into 0 10.885 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 10.885 * [backup-simplify]: Simplify 0 into 0 10.888 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 10.888 * [taylor]: Taking taylor expansion of 0 in a 10.888 * [backup-simplify]: Simplify 0 into 0 10.888 * [backup-simplify]: Simplify 0 into 0 10.888 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 10.888 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 10.888 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 10.888 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 10.888 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.888 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.888 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 10.889 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 10.889 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.889 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.889 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 10.889 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 10.889 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.889 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.889 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 10.889 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 10.889 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.889 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.889 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 10.889 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 10.890 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 10.890 * [taylor]: Taking taylor expansion of 0 in a 10.890 * [backup-simplify]: Simplify 0 into 0 10.890 * [backup-simplify]: Simplify 0 into 0 10.891 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 10.891 * [backup-simplify]: Simplify 0 into 0 10.892 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 10.892 * [taylor]: Taking taylor expansion of 0 in a 10.892 * [backup-simplify]: Simplify 0 into 0 10.892 * [backup-simplify]: Simplify 0 into 0 10.892 * [backup-simplify]: Simplify 0 into 0 10.893 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 10.893 * [backup-simplify]: Simplify 0 into 0 10.895 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 10.895 * [taylor]: Taking taylor expansion of 0 in a 10.895 * [backup-simplify]: Simplify 0 into 0 10.895 * [backup-simplify]: Simplify 0 into 0 10.896 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 10.896 * * * [progress]: simplifying candidates 10.896 * [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))) (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))) (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))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) 10.897 * * [simplify]: Extracting # 0 : cost 0 10.897 * * [simplify]: Extracting # 1 : cost 0 10.897 * * [simplify]: Extracting # 2 : cost 0 10.897 * * [simplify]: Extracting # 3 : cost 0 10.897 * * [simplify]: Extracting # 4 : cost 0 10.897 * * [simplify]: Extracting # 5 : cost 0 10.898 * * [simplify]: Extracting # 6 : cost 0 10.898 * * [simplify]: iteration 0 : 24 enodes (cost 362 ) 10.902 * * [simplify]: Extracting # 0 : cost 0 10.902 * * [simplify]: Extracting # 1 : cost 0 10.902 * * [simplify]: Extracting # 2 : cost 0 10.902 * * [simplify]: Extracting # 3 : cost 0 10.902 * * [simplify]: Extracting # 4 : cost 0 10.902 * * [simplify]: Extracting # 5 : cost 0 10.903 * * [simplify]: Extracting # 6 : cost 0 10.903 * * [simplify]: iteration 1 : 35 enodes (cost 359 ) 10.907 * * [simplify]: Extracting # 0 : cost 0 10.907 * * [simplify]: Extracting # 1 : cost 0 10.908 * * [simplify]: Extracting # 2 : cost 0 10.908 * * [simplify]: Extracting # 3 : cost 0 10.908 * * [simplify]: iteration 2 : 43 enodes (cost 312 ) 10.914 * * [simplify]: Extracting # 0 : cost 0 10.914 * * [simplify]: Extracting # 1 : cost 0 10.914 * * [simplify]: Extracting # 2 : cost 0 10.914 * * [simplify]: Extracting # 3 : cost 0 10.914 * * [simplify]: Extracting # 4 : cost 0 10.914 * * [simplify]: iteration 3 : 55 enodes (cost 312 ) 10.930 * * [simplify]: Extracting # 0 : cost 0 10.931 * * [simplify]: Extracting # 1 : cost 0 10.931 * * [simplify]: Extracting # 2 : cost 0 10.931 * * [simplify]: Extracting # 3 : cost 0 10.931 * * [simplify]: Extracting # 4 : cost 0 10.931 * * [simplify]: iteration 4 : 69 enodes (cost 312 ) 10.942 * * [simplify]: Extracting # 0 : cost 0 10.942 * * [simplify]: Extracting # 1 : cost 0 10.942 * * [simplify]: Extracting # 2 : cost 0 10.942 * * [simplify]: Extracting # 3 : cost 0 10.942 * * [simplify]: Extracting # 4 : cost 0 10.943 * * [simplify]: iteration 5 : 93 enodes (cost 312 ) 10.958 * * [simplify]: Extracting # 0 : cost 0 10.959 * * [simplify]: Extracting # 1 : cost 0 10.959 * * [simplify]: Extracting # 2 : cost 0 10.959 * * [simplify]: Extracting # 3 : cost 0 10.959 * * [simplify]: Extracting # 4 : cost 0 10.959 * * [simplify]: iteration 6 : 146 enodes (cost 312 ) 11.001 * * [simplify]: Extracting # 0 : cost 0 11.002 * * [simplify]: Extracting # 1 : cost 0 11.002 * * [simplify]: Extracting # 2 : cost 0 11.002 * * [simplify]: Extracting # 3 : cost 0 11.002 * * [simplify]: Extracting # 4 : cost 0 11.003 * * [simplify]: iteration 7 : 315 enodes (cost 312 ) 11.241 * * [simplify]: Extracting # 0 : cost 0 11.242 * * [simplify]: Extracting # 1 : cost 0 11.243 * * [simplify]: Extracting # 2 : cost 0 11.244 * * [simplify]: Extracting # 3 : cost 0 11.245 * * [simplify]: Extracting # 4 : cost 0 11.245 * * [simplify]: Extracting # 5 : cost 0 11.246 * * [simplify]: iteration 8 : 1009 enodes (cost 312 ) 13.596 * * [simplify]: Extracting # 0 : cost 0 13.603 * * [simplify]: Extracting # 1 : cost 0 13.608 * * [simplify]: Extracting # 2 : cost 0 13.613 * * [simplify]: Extracting # 3 : cost 0 13.616 * * [simplify]: Extracting # 4 : cost 0 13.619 * * [simplify]: iteration 9 : 4379 enodes (cost 312 ) 16.121 * * [simplify]: Extracting # 0 : cost 0 16.125 * * [simplify]: Extracting # 1 : cost 0 16.128 * * [simplify]: Extracting # 2 : cost 0 16.132 * * [simplify]: Extracting # 3 : cost 0 16.138 * * [simplify]: iteration done: 5001 enodes (cost 312 ) 16.139 * [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 (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 (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))) (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) 0 (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 3) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) 16.139 * * * [progress]: adding candidates to table 16.345 * [progress]: [Phase 3 of 3] Extracting. 16.345 * * [regime]: Finding splitpoints for: (# # # # # # # #) 16.348 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a) 16.348 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # #) 16.437 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # #) 16.494 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # #) 16.558 * * * * [regimes]: Trying to branch on c from (# # # # # # # #) 16.605 * * * * [regimes]: Trying to branch on a from (# # # # # # # #) 16.658 * * * [regime]: Found split indices: #