0.065 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.732 * * * [progress]: [2/2] Setting up program. 0.740 * [progress]: [Phase 2 of 3] Improving. 0.790 * [simplify]: Simplifying: (fmod (cosh c) (log1p a)) 0.792 * * [simplify]: Extracting # 0 : cost 0 0.792 * * [simplify]: Extracting # 1 : cost 0 0.792 * * [simplify]: Extracting # 2 : cost 0 0.793 * * [simplify]: Extracting # 3 : cost 0 0.793 * * [simplify]: Extracting # 4 : cost 0 0.793 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.803 * * [simplify]: Extracting # 0 : cost 0 0.803 * * [simplify]: Extracting # 1 : cost 0 0.803 * * [simplify]: Extracting # 2 : cost 0 0.803 * * [simplify]: Extracting # 3 : cost 0 0.803 * * [simplify]: Extracting # 4 : cost 0 0.803 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 0.806 * * [simplify]: Extracting # 0 : cost 0 0.806 * * [simplify]: Extracting # 1 : cost 0 0.806 * * [simplify]: Extracting # 2 : cost 0 0.806 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 0.810 * * [simplify]: Extracting # 0 : cost 0 0.810 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 0.814 * * [simplify]: Extracting # 0 : cost 0 0.814 * * [simplify]: iteration done: 16 enodes (cost 5 ) 0.814 * [simplify]: Simplified to: (fmod (cosh c) (log1p a)) 0.817 * * [progress]: iteration 1 / 4 0.817 * * * [progress]: picking best candidate 0.825 * * * * [pick]: Picked # 0.825 * * * [progress]: localizing error 0.844 * * * [progress]: generating rewritten candidates 0.844 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.848 * * * [progress]: generating series expansions 0.848 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.852 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.852 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.854 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.856 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.856 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.856 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.856 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.856 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.857 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.857 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.857 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.857 * [taylor]: Taking taylor expansion of 0 in a 0.857 * [backup-simplify]: Simplify 0 into 0 0.858 * [backup-simplify]: Simplify 0 into 0 0.858 * [backup-simplify]: Simplify 0 into 0 0.858 * [taylor]: Taking taylor expansion of 0 in a 0.858 * [backup-simplify]: Simplify 0 into 0 0.858 * [backup-simplify]: Simplify 0 into 0 0.858 * [backup-simplify]: Simplify 0 into 0 0.858 * [backup-simplify]: Simplify 0 into 0 0.858 * [taylor]: Taking taylor expansion of 0 in a 0.858 * [backup-simplify]: Simplify 0 into 0 0.858 * [backup-simplify]: Simplify 0 into 0 0.858 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.860 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.861 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.861 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.861 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.861 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.861 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.861 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.861 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.861 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.861 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.862 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.862 * [taylor]: Taking taylor expansion of 0 in a 0.862 * [backup-simplify]: Simplify 0 into 0 0.862 * [backup-simplify]: Simplify 0 into 0 0.862 * [backup-simplify]: Simplify 0 into 0 0.862 * [taylor]: Taking taylor expansion of 0 in a 0.862 * [backup-simplify]: Simplify 0 into 0 0.862 * [backup-simplify]: Simplify 0 into 0 0.862 * [backup-simplify]: Simplify 0 into 0 0.862 * [backup-simplify]: Simplify 0 into 0 0.862 * [taylor]: Taking taylor expansion of 0 in a 0.862 * [backup-simplify]: Simplify 0 into 0 0.862 * [backup-simplify]: Simplify 0 into 0 0.862 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.863 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.863 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.863 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.864 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.864 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.864 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.864 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.864 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.864 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.864 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.864 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.865 * [taylor]: Taking taylor expansion of 0 in a 0.865 * [backup-simplify]: Simplify 0 into 0 0.865 * [backup-simplify]: Simplify 0 into 0 0.865 * [backup-simplify]: Simplify 0 into 0 0.865 * [taylor]: Taking taylor expansion of 0 in a 0.865 * [backup-simplify]: Simplify 0 into 0 0.865 * [backup-simplify]: Simplify 0 into 0 0.865 * [backup-simplify]: Simplify 0 into 0 0.865 * [backup-simplify]: Simplify 0 into 0 0.865 * [taylor]: Taking taylor expansion of 0 in a 0.865 * [backup-simplify]: Simplify 0 into 0 0.865 * [backup-simplify]: Simplify 0 into 0 0.865 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.865 * * * [progress]: simplifying candidates 0.866 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 0.866 * * [simplify]: Extracting # 0 : cost 0 0.866 * * [simplify]: Extracting # 1 : cost 0 0.867 * * [simplify]: Extracting # 2 : cost 0 0.867 * * [simplify]: Extracting # 3 : cost 0 0.867 * * [simplify]: Extracting # 4 : cost 0 0.867 * * [simplify]: Extracting # 5 : cost 0 0.867 * * [simplify]: Extracting # 6 : cost 0 0.867 * * [simplify]: iteration 0 : 14 enodes (cost 87 ) 0.871 * * [simplify]: Extracting # 0 : cost 0 0.871 * * [simplify]: Extracting # 1 : cost 0 0.871 * * [simplify]: Extracting # 2 : cost 0 0.871 * * [simplify]: Extracting # 3 : cost 0 0.871 * * [simplify]: Extracting # 4 : cost 0 0.871 * * [simplify]: Extracting # 5 : cost 0 0.871 * * [simplify]: iteration 1 : 21 enodes (cost 87 ) 0.877 * * [simplify]: Extracting # 0 : cost 0 0.877 * * [simplify]: Extracting # 1 : cost 0 0.877 * * [simplify]: Extracting # 2 : cost 0 0.877 * * [simplify]: iteration 2 : 26 enodes (cost 77 ) 0.885 * * [simplify]: Extracting # 0 : cost 0 0.885 * * [simplify]: Extracting # 1 : cost 0 0.885 * * [simplify]: Extracting # 2 : cost 0 0.886 * * [simplify]: Extracting # 3 : cost 0 0.886 * * [simplify]: Extracting # 4 : cost 0 0.886 * * [simplify]: iteration 3 : 32 enodes (cost 77 ) 0.896 * * [simplify]: Extracting # 0 : cost 0 0.896 * * [simplify]: Extracting # 1 : cost 0 0.896 * * [simplify]: Extracting # 2 : cost 0 0.897 * * [simplify]: Extracting # 3 : cost 0 0.897 * * [simplify]: Extracting # 4 : cost 0 0.897 * * [simplify]: iteration 4 : 38 enodes (cost 77 ) 0.908 * * [simplify]: Extracting # 0 : cost 0 0.908 * * [simplify]: Extracting # 1 : cost 0 0.908 * * [simplify]: Extracting # 2 : cost 0 0.908 * * [simplify]: Extracting # 3 : cost 0 0.908 * * [simplify]: Extracting # 4 : cost 0 0.908 * * [simplify]: iteration 5 : 48 enodes (cost 77 ) 0.923 * * [simplify]: Extracting # 0 : cost 0 0.923 * * [simplify]: Extracting # 1 : cost 0 0.923 * * [simplify]: Extracting # 2 : cost 0 0.923 * * [simplify]: Extracting # 3 : cost 0 0.923 * * [simplify]: iteration 6 : 69 enodes (cost 77 ) 0.952 * * [simplify]: Extracting # 0 : cost 0 0.952 * * [simplify]: Extracting # 1 : cost 0 0.952 * * [simplify]: Extracting # 2 : cost 0 0.952 * * [simplify]: Extracting # 3 : cost 0 0.952 * * [simplify]: iteration 7 : 147 enodes (cost 77 ) 1.049 * * [simplify]: Extracting # 0 : cost 0 1.050 * * [simplify]: Extracting # 1 : cost 0 1.050 * * [simplify]: Extracting # 2 : cost 0 1.051 * * [simplify]: Extracting # 3 : cost 0 1.052 * * [simplify]: Extracting # 4 : cost 0 1.052 * * [simplify]: iteration 8 : 440 enodes (cost 77 ) 2.095 * * [simplify]: Extracting # 0 : cost 0 2.096 * * [simplify]: Extracting # 1 : cost 0 2.098 * * [simplify]: Extracting # 2 : cost 0 2.099 * * [simplify]: Extracting # 3 : cost 0 2.100 * * [simplify]: Extracting # 4 : cost 0 2.101 * * [simplify]: iteration 9 : 1834 enodes (cost 77 ) 3.178 * * [simplify]: Extracting # 0 : cost 0 3.183 * * [simplify]: Extracting # 1 : cost 0 3.189 * * [simplify]: Extracting # 2 : cost 0 3.194 * * [simplify]: Extracting # 3 : cost 0 3.203 * * [simplify]: iteration done: 5000 enodes (cost 77 ) 3.203 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 3.203 * * * [progress]: adding candidates to table 3.253 * * [progress]: iteration 2 / 4 3.253 * * * [progress]: picking best candidate 3.271 * * * * [pick]: Picked # 3.271 * * * [progress]: localizing error 3.285 * * * [progress]: generating rewritten candidates 3.285 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 3.285 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 3.285 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 3.286 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 3.288 * * * [progress]: generating series expansions 3.288 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 3.288 * [backup-simplify]: Simplify (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.289 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.289 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.289 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.289 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.289 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.289 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.289 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.289 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 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 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 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 (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.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.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 * [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 (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.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 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 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 (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 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 (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.292 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.292 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 3.292 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.292 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.292 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.292 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.292 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.292 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.292 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.292 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.292 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.293 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.293 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.293 * [taylor]: Taking taylor expansion of 0 in a 3.293 * [backup-simplify]: Simplify 0 into 0 3.293 * [backup-simplify]: Simplify 0 into 0 3.293 * [backup-simplify]: Simplify 0 into 0 3.293 * [taylor]: Taking taylor expansion of 0 in a 3.293 * [backup-simplify]: Simplify 0 into 0 3.293 * [backup-simplify]: Simplify 0 into 0 3.293 * [backup-simplify]: Simplify 0 into 0 3.293 * [backup-simplify]: Simplify 0 into 0 3.293 * [taylor]: Taking taylor expansion of 0 in a 3.293 * [backup-simplify]: Simplify 0 into 0 3.293 * [backup-simplify]: Simplify 0 into 0 3.293 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.293 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.293 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.294 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.294 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.294 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.294 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.294 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.294 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.294 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.294 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.295 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.295 * [taylor]: Taking taylor expansion of 0 in a 3.295 * [backup-simplify]: Simplify 0 into 0 3.295 * [backup-simplify]: Simplify 0 into 0 3.295 * [backup-simplify]: Simplify 0 into 0 3.295 * [taylor]: Taking taylor expansion of 0 in a 3.295 * [backup-simplify]: Simplify 0 into 0 3.295 * [backup-simplify]: Simplify 0 into 0 3.295 * [backup-simplify]: Simplify 0 into 0 3.295 * [backup-simplify]: Simplify 0 into 0 3.295 * [taylor]: Taking taylor expansion of 0 in a 3.295 * [backup-simplify]: Simplify 0 into 0 3.295 * [backup-simplify]: Simplify 0 into 0 3.295 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.295 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.295 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.295 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.296 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.296 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.296 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.296 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.296 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.296 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.296 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.297 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.297 * [taylor]: Taking taylor expansion of 0 in a 3.297 * [backup-simplify]: Simplify 0 into 0 3.297 * [backup-simplify]: Simplify 0 into 0 3.297 * [backup-simplify]: Simplify 0 into 0 3.297 * [taylor]: Taking taylor expansion of 0 in a 3.297 * [backup-simplify]: Simplify 0 into 0 3.297 * [backup-simplify]: Simplify 0 into 0 3.297 * [backup-simplify]: Simplify 0 into 0 3.297 * [backup-simplify]: Simplify 0 into 0 3.297 * [taylor]: Taking taylor expansion of 0 in a 3.297 * [backup-simplify]: Simplify 0 into 0 3.297 * [backup-simplify]: Simplify 0 into 0 3.297 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.309 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 3.310 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.310 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.310 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.310 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.310 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.310 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.310 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.310 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.310 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.310 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.310 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.310 * [taylor]: Taking taylor expansion of 0 in a 3.311 * [backup-simplify]: Simplify 0 into 0 3.311 * [backup-simplify]: Simplify 0 into 0 3.311 * [backup-simplify]: Simplify 0 into 0 3.311 * [taylor]: Taking taylor expansion of 0 in a 3.311 * [backup-simplify]: Simplify 0 into 0 3.311 * [backup-simplify]: Simplify 0 into 0 3.311 * [backup-simplify]: Simplify 0 into 0 3.311 * [backup-simplify]: Simplify 0 into 0 3.311 * [taylor]: Taking taylor expansion of 0 in a 3.311 * [backup-simplify]: Simplify 0 into 0 3.311 * [backup-simplify]: Simplify 0 into 0 3.311 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.311 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.311 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.311 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.311 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.311 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.312 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.312 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.312 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.312 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.312 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.312 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.312 * [taylor]: Taking taylor expansion of 0 in a 3.312 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [taylor]: Taking taylor expansion of 0 in a 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [taylor]: Taking taylor expansion of 0 in a 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.313 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.314 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.314 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.314 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.314 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.314 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.315 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.315 * [taylor]: Taking taylor expansion of 0 in a 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [taylor]: Taking taylor expansion of 0 in a 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [taylor]: Taking taylor expansion of 0 in a 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.315 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 3.315 * [backup-simplify]: Simplify (cbrt (fmod (cosh c) (log1p a))) into (pow (fmod (cosh c) (log1p a)) 1/3) 3.315 * [approximate]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in (c a) around 0 3.315 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in a 3.316 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in a 3.316 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in a 3.316 * [taylor]: Taking taylor expansion of 1/3 in a 3.316 * [backup-simplify]: Simplify 1/3 into 1/3 3.316 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 3.316 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.316 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.316 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.316 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a)))) 3.317 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3) 3.317 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in c 3.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in c 3.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in c 3.317 * [taylor]: Taking taylor expansion of 1/3 in c 3.317 * [backup-simplify]: Simplify 1/3 into 1/3 3.317 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 3.317 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.317 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.317 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.317 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a)))) 3.317 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3) 3.318 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in c 3.318 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in c 3.318 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in c 3.318 * [taylor]: Taking taylor expansion of 1/3 in c 3.318 * [backup-simplify]: Simplify 1/3 into 1/3 3.318 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 3.318 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.318 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.318 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.318 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a)))) 3.318 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3) 3.318 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in a 3.318 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in a 3.318 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in a 3.318 * [taylor]: Taking taylor expansion of 1/3 in a 3.319 * [backup-simplify]: Simplify 1/3 into 1/3 3.319 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 3.319 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.319 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.319 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.319 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a)))) 3.319 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3) 3.319 * [backup-simplify]: Simplify (pow (fmod (cosh c) (log1p a)) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3) 3.321 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 3.321 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0 3.322 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 1) 1)))) into 0 3.322 * [taylor]: Taking taylor expansion of 0 in a 3.322 * [backup-simplify]: Simplify 0 into 0 3.322 * [backup-simplify]: Simplify 0 into 0 3.323 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 3.323 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0 3.324 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 1) 1)))) into 0 3.324 * [backup-simplify]: Simplify 0 into 0 3.325 * [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.326 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0 3.327 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.327 * [taylor]: Taking taylor expansion of 0 in a 3.327 * [backup-simplify]: Simplify 0 into 0 3.327 * [backup-simplify]: Simplify 0 into 0 3.327 * [backup-simplify]: Simplify 0 into 0 3.329 * [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.329 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0 3.330 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.330 * [backup-simplify]: Simplify 0 into 0 3.332 * [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.334 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a))))))) into 0 3.335 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 3.335 * [taylor]: Taking taylor expansion of 0 in a 3.335 * [backup-simplify]: Simplify 0 into 0 3.335 * [backup-simplify]: Simplify 0 into 0 3.335 * [backup-simplify]: Simplify (pow (fmod (cosh c) (log1p a)) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3) 3.335 * [backup-simplify]: Simplify (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 3.335 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in (c a) around 0 3.335 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in a 3.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a 3.335 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 3.335 * [taylor]: Taking taylor expansion of 1/3 in a 3.335 * [backup-simplify]: Simplify 1/3 into 1/3 3.335 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.335 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.335 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.335 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.335 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 3.336 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 3.336 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in c 3.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c 3.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 3.336 * [taylor]: Taking taylor expansion of 1/3 in c 3.336 * [backup-simplify]: Simplify 1/3 into 1/3 3.336 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.336 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.336 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.336 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.336 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 3.336 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 3.336 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in c 3.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c 3.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 3.336 * [taylor]: Taking taylor expansion of 1/3 in c 3.336 * [backup-simplify]: Simplify 1/3 into 1/3 3.336 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.336 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.336 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.336 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.337 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 3.337 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 3.337 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in a 3.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a 3.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 3.337 * [taylor]: Taking taylor expansion of 1/3 in a 3.337 * [backup-simplify]: Simplify 1/3 into 1/3 3.337 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.337 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.337 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.337 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 3.337 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 3.337 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 3.338 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 3.339 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 3.339 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0 3.339 * [taylor]: Taking taylor expansion of 0 in a 3.339 * [backup-simplify]: Simplify 0 into 0 3.339 * [backup-simplify]: Simplify 0 into 0 3.340 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 3.340 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 3.341 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0 3.341 * [backup-simplify]: Simplify 0 into 0 3.342 * [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.343 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0 3.344 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.344 * [taylor]: Taking taylor expansion of 0 in a 3.344 * [backup-simplify]: Simplify 0 into 0 3.344 * [backup-simplify]: Simplify 0 into 0 3.344 * [backup-simplify]: Simplify 0 into 0 3.345 * [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.346 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0 3.347 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.347 * [backup-simplify]: Simplify 0 into 0 3.349 * [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.350 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))))) into 0 3.351 * [backup-simplify]: Simplify (* (exp (* 1/3 (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 3.351 * [taylor]: Taking taylor expansion of 0 in a 3.351 * [backup-simplify]: Simplify 0 into 0 3.352 * [backup-simplify]: Simplify 0 into 0 3.352 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3) 3.352 * [backup-simplify]: Simplify (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 3.352 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in (c a) around 0 3.352 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in a 3.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a 3.352 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 3.352 * [taylor]: Taking taylor expansion of 1/3 in a 3.352 * [backup-simplify]: Simplify 1/3 into 1/3 3.352 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.352 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.353 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.353 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.353 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 3.353 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 3.353 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in c 3.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c 3.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 3.353 * [taylor]: Taking taylor expansion of 1/3 in c 3.353 * [backup-simplify]: Simplify 1/3 into 1/3 3.353 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.354 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.354 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.354 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.354 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 3.354 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 3.354 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in c 3.354 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c 3.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 3.355 * [taylor]: Taking taylor expansion of 1/3 in c 3.355 * [backup-simplify]: Simplify 1/3 into 1/3 3.355 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.355 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.355 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.355 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.355 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 3.356 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 3.356 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in a 3.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a 3.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 3.356 * [taylor]: Taking taylor expansion of 1/3 in a 3.356 * [backup-simplify]: Simplify 1/3 into 1/3 3.356 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.356 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.356 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.356 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.356 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 3.357 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 3.357 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 3.358 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 3.359 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 3.360 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0 3.360 * [taylor]: Taking taylor expansion of 0 in a 3.360 * [backup-simplify]: Simplify 0 into 0 3.360 * [backup-simplify]: Simplify 0 into 0 3.361 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 3.362 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 3.363 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0 3.363 * [backup-simplify]: Simplify 0 into 0 3.365 * [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.366 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0 3.368 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.368 * [taylor]: Taking taylor expansion of 0 in a 3.368 * [backup-simplify]: Simplify 0 into 0 3.368 * [backup-simplify]: Simplify 0 into 0 3.368 * [backup-simplify]: Simplify 0 into 0 3.370 * [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.371 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0 3.373 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.373 * [backup-simplify]: Simplify 0 into 0 3.376 * [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.377 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))))) into 0 3.378 * [backup-simplify]: Simplify (* (exp (* 1/3 (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 3.378 * [taylor]: Taking taylor expansion of 0 in a 3.378 * [backup-simplify]: Simplify 0 into 0 3.378 * [backup-simplify]: Simplify 0 into 0 3.378 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3) 3.378 * * * [progress]: simplifying candidates 3.379 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (expm1 (cbrt (fmod (cosh c) (log1p a)))) (log1p (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))) (exp (cbrt (fmod (cosh c) (log1p a)))) (cbrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt 1) (cbrt (fmod (cosh c) (log1p a))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (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)) (pow (fmod (cosh c) (log1p a)) 1/3) (pow (fmod (cosh c) (log1p a)) 1/3) (pow (fmod (cosh c) (log1p a)) 1/3) 3.380 * * [simplify]: Extracting # 0 : cost 0 3.380 * * [simplify]: Extracting # 1 : cost 0 3.380 * * [simplify]: Extracting # 2 : cost 0 3.380 * * [simplify]: Extracting # 3 : cost 0 3.380 * * [simplify]: Extracting # 4 : cost 0 3.380 * * [simplify]: Extracting # 5 : cost 0 3.380 * * [simplify]: iteration 0 : 28 enodes (cost 409 ) 3.385 * * [simplify]: Extracting # 0 : cost 0 3.385 * * [simplify]: Extracting # 1 : cost 0 3.385 * * [simplify]: Extracting # 2 : cost 0 3.385 * * [simplify]: Extracting # 3 : cost 0 3.385 * * [simplify]: Extracting # 4 : cost 0 3.385 * * [simplify]: Extracting # 5 : cost 0 3.385 * * [simplify]: Extracting # 6 : cost 0 3.385 * * [simplify]: iteration 1 : 42 enodes (cost 405 ) 3.392 * * [simplify]: Extracting # 0 : cost 0 3.392 * * [simplify]: Extracting # 1 : cost 0 3.392 * * [simplify]: Extracting # 2 : cost 0 3.392 * * [simplify]: Extracting # 3 : cost 0 3.392 * * [simplify]: Extracting # 4 : cost 0 3.392 * * [simplify]: iteration 2 : 72 enodes (cost 339 ) 3.406 * * [simplify]: Extracting # 0 : cost 0 3.407 * * [simplify]: Extracting # 1 : cost 0 3.407 * * [simplify]: Extracting # 2 : cost 0 3.407 * * [simplify]: Extracting # 3 : cost 0 3.407 * * [simplify]: Extracting # 4 : cost 0 3.408 * * [simplify]: iteration 3 : 126 enodes (cost 336 ) 3.475 * * [simplify]: Extracting # 0 : cost 0 3.476 * * [simplify]: Extracting # 1 : cost 0 3.476 * * [simplify]: Extracting # 2 : cost 0 3.477 * * [simplify]: Extracting # 3 : cost 0 3.478 * * [simplify]: Extracting # 4 : cost 0 3.479 * * [simplify]: iteration 4 : 449 enodes (cost 336 ) 4.626 * * [simplify]: Extracting # 0 : cost 0 4.634 * * [simplify]: Extracting # 1 : cost 0 4.640 * * [simplify]: Extracting # 2 : cost 0 4.645 * * [simplify]: Extracting # 3 : cost 0 4.651 * * [simplify]: Extracting # 4 : cost 0 4.657 * * [simplify]: Extracting # 5 : cost 0 4.663 * * [simplify]: iteration 5 : 2972 enodes (cost 336 ) 7.006 * * [simplify]: Extracting # 0 : cost 0 7.018 * * [simplify]: Extracting # 1 : cost 0 7.023 * * [simplify]: Extracting # 2 : cost 0 7.030 * * [simplify]: Extracting # 3 : cost 0 7.036 * * [simplify]: Extracting # 4 : cost 0 7.041 * * [simplify]: iteration done: 5001 enodes (cost 336 ) 7.041 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 2/3) (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))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 2/3) (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))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 2/3) (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))) (expm1 (cbrt (fmod (cosh c) (log1p a)))) (log1p (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))) (exp (cbrt (fmod (cosh c) (log1p a)))) (cbrt (pow (fmod (cosh c) (log1p a)) 2/3)) (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))) 1 (cbrt (fmod (cosh c) (log1p a))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (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)) (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))) 7.042 * * * [progress]: adding candidates to table 7.202 * * [progress]: iteration 3 / 4 7.202 * * * [progress]: picking best candidate 7.234 * * * * [pick]: Picked # 7.235 * * * [progress]: localizing error 7.253 * * * [progress]: generating rewritten candidates 7.253 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 7.253 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 7.254 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 7.254 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 7.260 * * * [progress]: generating series expansions 7.260 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 7.260 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.260 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 7.260 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.260 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.260 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.260 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.260 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.260 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.260 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.260 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.260 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.260 * [taylor]: Taking taylor expansion of 0 in a 7.260 * [backup-simplify]: Simplify 0 into 0 7.260 * [backup-simplify]: Simplify 0 into 0 7.260 * [backup-simplify]: Simplify 0 into 0 7.260 * [taylor]: Taking taylor expansion of 0 in a 7.260 * [backup-simplify]: Simplify 0 into 0 7.260 * [backup-simplify]: Simplify 0 into 0 7.260 * [backup-simplify]: Simplify 0 into 0 7.261 * [backup-simplify]: Simplify 0 into 0 7.261 * [taylor]: Taking taylor expansion of 0 in a 7.261 * [backup-simplify]: Simplify 0 into 0 7.261 * [backup-simplify]: Simplify 0 into 0 7.261 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.261 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.261 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 7.261 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.261 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.261 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.261 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.261 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.261 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.261 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.261 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.261 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.261 * [taylor]: Taking taylor expansion of 0 in a 7.261 * [backup-simplify]: Simplify 0 into 0 7.261 * [backup-simplify]: Simplify 0 into 0 7.261 * [backup-simplify]: Simplify 0 into 0 7.261 * [taylor]: Taking taylor expansion of 0 in a 7.261 * [backup-simplify]: Simplify 0 into 0 7.262 * [backup-simplify]: Simplify 0 into 0 7.262 * [backup-simplify]: Simplify 0 into 0 7.262 * [backup-simplify]: Simplify 0 into 0 7.262 * [taylor]: Taking taylor expansion of 0 in a 7.262 * [backup-simplify]: Simplify 0 into 0 7.262 * [backup-simplify]: Simplify 0 into 0 7.262 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 7.262 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.262 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 7.262 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.262 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.262 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.262 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.262 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.262 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.262 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.262 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.262 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.262 * [taylor]: Taking taylor expansion of 0 in a 7.262 * [backup-simplify]: Simplify 0 into 0 7.262 * [backup-simplify]: Simplify 0 into 0 7.263 * [backup-simplify]: Simplify 0 into 0 7.263 * [taylor]: Taking taylor expansion of 0 in a 7.263 * [backup-simplify]: Simplify 0 into 0 7.263 * [backup-simplify]: Simplify 0 into 0 7.263 * [backup-simplify]: Simplify 0 into 0 7.263 * [backup-simplify]: Simplify 0 into 0 7.263 * [taylor]: Taking taylor expansion of 0 in a 7.263 * [backup-simplify]: Simplify 0 into 0 7.263 * [backup-simplify]: Simplify 0 into 0 7.263 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 7.263 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 7.263 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.263 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 7.263 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.263 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.263 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.263 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.263 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.263 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.263 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.263 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.263 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.263 * [taylor]: Taking taylor expansion of 0 in a 7.263 * [backup-simplify]: Simplify 0 into 0 7.263 * [backup-simplify]: Simplify 0 into 0 7.263 * [backup-simplify]: Simplify 0 into 0 7.263 * [taylor]: Taking taylor expansion of 0 in a 7.263 * [backup-simplify]: Simplify 0 into 0 7.264 * [backup-simplify]: Simplify 0 into 0 7.264 * [backup-simplify]: Simplify 0 into 0 7.264 * [backup-simplify]: Simplify 0 into 0 7.264 * [taylor]: Taking taylor expansion of 0 in a 7.264 * [backup-simplify]: Simplify 0 into 0 7.264 * [backup-simplify]: Simplify 0 into 0 7.264 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.264 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.264 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 7.264 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.264 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.264 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.264 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.264 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.264 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.264 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.264 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.264 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.264 * [taylor]: Taking taylor expansion of 0 in a 7.264 * [backup-simplify]: Simplify 0 into 0 7.264 * [backup-simplify]: Simplify 0 into 0 7.264 * [backup-simplify]: Simplify 0 into 0 7.264 * [taylor]: Taking taylor expansion of 0 in a 7.264 * [backup-simplify]: Simplify 0 into 0 7.265 * [backup-simplify]: Simplify 0 into 0 7.265 * [backup-simplify]: Simplify 0 into 0 7.265 * [backup-simplify]: Simplify 0 into 0 7.265 * [taylor]: Taking taylor expansion of 0 in a 7.265 * [backup-simplify]: Simplify 0 into 0 7.265 * [backup-simplify]: Simplify 0 into 0 7.265 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 7.265 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.265 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 7.265 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.265 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.265 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.265 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.265 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.265 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.265 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.265 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.265 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.265 * [taylor]: Taking taylor expansion of 0 in a 7.265 * [backup-simplify]: Simplify 0 into 0 7.265 * [backup-simplify]: Simplify 0 into 0 7.266 * [backup-simplify]: Simplify 0 into 0 7.266 * [taylor]: Taking taylor expansion of 0 in a 7.266 * [backup-simplify]: Simplify 0 into 0 7.266 * [backup-simplify]: Simplify 0 into 0 7.266 * [backup-simplify]: Simplify 0 into 0 7.266 * [backup-simplify]: Simplify 0 into 0 7.266 * [taylor]: Taking taylor expansion of 0 in a 7.266 * [backup-simplify]: Simplify 0 into 0 7.266 * [backup-simplify]: Simplify 0 into 0 7.266 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 7.266 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 7.266 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.266 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 7.266 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.266 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.266 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.266 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.266 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.266 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.266 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.266 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.266 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.266 * [taylor]: Taking taylor expansion of 0 in a 7.266 * [backup-simplify]: Simplify 0 into 0 7.266 * [backup-simplify]: Simplify 0 into 0 7.266 * [backup-simplify]: Simplify 0 into 0 7.267 * [taylor]: Taking taylor expansion of 0 in a 7.267 * [backup-simplify]: Simplify 0 into 0 7.267 * [backup-simplify]: Simplify 0 into 0 7.267 * [backup-simplify]: Simplify 0 into 0 7.267 * [backup-simplify]: Simplify 0 into 0 7.267 * [taylor]: Taking taylor expansion of 0 in a 7.267 * [backup-simplify]: Simplify 0 into 0 7.267 * [backup-simplify]: Simplify 0 into 0 7.267 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.267 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.267 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 7.267 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.267 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.267 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.267 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.267 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.267 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.267 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.267 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.267 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.267 * [taylor]: Taking taylor expansion of 0 in a 7.267 * [backup-simplify]: Simplify 0 into 0 7.267 * [backup-simplify]: Simplify 0 into 0 7.267 * [backup-simplify]: Simplify 0 into 0 7.268 * [taylor]: Taking taylor expansion of 0 in a 7.268 * [backup-simplify]: Simplify 0 into 0 7.268 * [backup-simplify]: Simplify 0 into 0 7.268 * [backup-simplify]: Simplify 0 into 0 7.268 * [backup-simplify]: Simplify 0 into 0 7.268 * [taylor]: Taking taylor expansion of 0 in a 7.268 * [backup-simplify]: Simplify 0 into 0 7.268 * [backup-simplify]: Simplify 0 into 0 7.268 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 7.268 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.268 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 7.268 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.268 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.268 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.268 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.268 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.268 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.268 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.268 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.268 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.268 * [taylor]: Taking taylor expansion of 0 in a 7.269 * [backup-simplify]: Simplify 0 into 0 7.269 * [backup-simplify]: Simplify 0 into 0 7.269 * [backup-simplify]: Simplify 0 into 0 7.269 * [taylor]: Taking taylor expansion of 0 in a 7.269 * [backup-simplify]: Simplify 0 into 0 7.269 * [backup-simplify]: Simplify 0 into 0 7.269 * [backup-simplify]: Simplify 0 into 0 7.269 * [backup-simplify]: Simplify 0 into 0 7.269 * [taylor]: Taking taylor expansion of 0 in a 7.269 * [backup-simplify]: Simplify 0 into 0 7.269 * [backup-simplify]: Simplify 0 into 0 7.269 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 7.269 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 7.269 * [backup-simplify]: Simplify (exp (log (cbrt (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3) 7.269 * [approximate]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in (c a) around 0 7.269 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in a 7.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in a 7.269 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in a 7.269 * [taylor]: Taking taylor expansion of 1/3 in a 7.269 * [backup-simplify]: Simplify 1/3 into 1/3 7.269 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 7.269 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.269 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.269 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.269 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a)))) 7.270 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3) 7.270 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in c 7.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in c 7.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in c 7.270 * [taylor]: Taking taylor expansion of 1/3 in c 7.270 * [backup-simplify]: Simplify 1/3 into 1/3 7.270 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 7.270 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.270 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.270 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.270 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a)))) 7.270 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3) 7.270 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in c 7.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in c 7.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in c 7.270 * [taylor]: Taking taylor expansion of 1/3 in c 7.270 * [backup-simplify]: Simplify 1/3 into 1/3 7.270 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 7.270 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.270 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.270 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.270 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a)))) 7.270 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3) 7.270 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in a 7.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in a 7.271 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in a 7.271 * [taylor]: Taking taylor expansion of 1/3 in a 7.271 * [backup-simplify]: Simplify 1/3 into 1/3 7.271 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 7.271 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.271 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.271 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.271 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a)))) 7.271 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3) 7.271 * [backup-simplify]: Simplify (pow (fmod (cosh c) (log1p a)) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3) 7.272 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 7.272 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0 7.273 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 1) 1)))) into 0 7.273 * [taylor]: Taking taylor expansion of 0 in a 7.273 * [backup-simplify]: Simplify 0 into 0 7.273 * [backup-simplify]: Simplify 0 into 0 7.273 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 7.274 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0 7.274 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 1) 1)))) into 0 7.274 * [backup-simplify]: Simplify 0 into 0 7.276 * [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 7.276 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0 7.277 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.277 * [taylor]: Taking taylor expansion of 0 in a 7.277 * [backup-simplify]: Simplify 0 into 0 7.277 * [backup-simplify]: Simplify 0 into 0 7.277 * [backup-simplify]: Simplify 0 into 0 7.278 * [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 7.279 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0 7.280 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.280 * [backup-simplify]: Simplify 0 into 0 7.282 * [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 7.282 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a))))))) into 0 7.283 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.284 * [taylor]: Taking taylor expansion of 0 in a 7.284 * [backup-simplify]: Simplify 0 into 0 7.284 * [backup-simplify]: Simplify 0 into 0 7.284 * [backup-simplify]: Simplify (pow (fmod (cosh c) (log1p a)) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3) 7.284 * [backup-simplify]: Simplify (exp (log (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 7.284 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in (c a) around 0 7.284 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in a 7.284 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a 7.284 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 7.284 * [taylor]: Taking taylor expansion of 1/3 in a 7.284 * [backup-simplify]: Simplify 1/3 into 1/3 7.284 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 7.284 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.284 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.284 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.284 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 7.285 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 7.285 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in c 7.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c 7.285 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 7.285 * [taylor]: Taking taylor expansion of 1/3 in c 7.285 * [backup-simplify]: Simplify 1/3 into 1/3 7.285 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 7.285 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.285 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.285 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.285 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 7.285 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 7.285 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in c 7.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c 7.285 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 7.285 * [taylor]: Taking taylor expansion of 1/3 in c 7.285 * [backup-simplify]: Simplify 1/3 into 1/3 7.285 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 7.285 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.285 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.285 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.286 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 7.286 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 7.286 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in a 7.286 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a 7.286 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 7.286 * [taylor]: Taking taylor expansion of 1/3 in a 7.286 * [backup-simplify]: Simplify 1/3 into 1/3 7.286 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 7.286 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.286 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.286 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.286 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 7.286 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 7.286 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 7.287 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 7.288 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 7.288 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0 7.288 * [taylor]: Taking taylor expansion of 0 in a 7.288 * [backup-simplify]: Simplify 0 into 0 7.288 * [backup-simplify]: Simplify 0 into 0 7.289 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 7.289 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 7.290 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0 7.290 * [backup-simplify]: Simplify 0 into 0 7.291 * [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 7.292 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0 7.293 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.293 * [taylor]: Taking taylor expansion of 0 in a 7.293 * [backup-simplify]: Simplify 0 into 0 7.293 * [backup-simplify]: Simplify 0 into 0 7.293 * [backup-simplify]: Simplify 0 into 0 7.301 * [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 7.302 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0 7.303 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.303 * [backup-simplify]: Simplify 0 into 0 7.305 * [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 7.306 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))))) into 0 7.308 * [backup-simplify]: Simplify (* (exp (* 1/3 (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 7.308 * [taylor]: Taking taylor expansion of 0 in a 7.308 * [backup-simplify]: Simplify 0 into 0 7.308 * [backup-simplify]: Simplify 0 into 0 7.308 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3) 7.308 * [backup-simplify]: Simplify (exp (log (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 7.308 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in (c a) around 0 7.308 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in a 7.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a 7.308 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 7.308 * [taylor]: Taking taylor expansion of 1/3 in a 7.308 * [backup-simplify]: Simplify 1/3 into 1/3 7.308 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 7.308 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.308 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.309 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.309 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 7.309 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 7.309 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in c 7.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c 7.309 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 7.309 * [taylor]: Taking taylor expansion of 1/3 in c 7.309 * [backup-simplify]: Simplify 1/3 into 1/3 7.309 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 7.309 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.309 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.309 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.309 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 7.309 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 7.309 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in c 7.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c 7.309 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 7.309 * [taylor]: Taking taylor expansion of 1/3 in c 7.310 * [backup-simplify]: Simplify 1/3 into 1/3 7.310 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 7.310 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.310 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.310 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.310 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 7.310 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 7.310 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in a 7.310 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a 7.310 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 7.310 * [taylor]: Taking taylor expansion of 1/3 in a 7.310 * [backup-simplify]: Simplify 1/3 into 1/3 7.310 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 7.310 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.310 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.310 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.310 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 7.311 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 7.311 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 7.312 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 7.312 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 7.313 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0 7.313 * [taylor]: Taking taylor expansion of 0 in a 7.313 * [backup-simplify]: Simplify 0 into 0 7.313 * [backup-simplify]: Simplify 0 into 0 7.313 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 7.314 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 7.314 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0 7.314 * [backup-simplify]: Simplify 0 into 0 7.315 * [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 7.316 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0 7.317 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.317 * [taylor]: Taking taylor expansion of 0 in a 7.317 * [backup-simplify]: Simplify 0 into 0 7.317 * [backup-simplify]: Simplify 0 into 0 7.317 * [backup-simplify]: Simplify 0 into 0 7.318 * [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 7.319 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0 7.320 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.320 * [backup-simplify]: Simplify 0 into 0 7.322 * [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 7.323 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))))) into 0 7.324 * [backup-simplify]: Simplify (* (exp (* 1/3 (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 7.324 * [taylor]: Taking taylor expansion of 0 in a 7.324 * [backup-simplify]: Simplify 0 into 0 7.324 * [backup-simplify]: Simplify 0 into 0 7.324 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3) 7.324 * * * [progress]: simplifying candidates 7.325 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (expm1 (exp (log (cbrt (fmod (cosh c) (log1p a)))))) (log1p (exp (log (cbrt (fmod (cosh c) (log1p a)))))) (exp 1/3) (exp 1) (exp (* (cbrt (log (cbrt (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (fmod (cosh c) (log1p a))))))) (exp (sqrt (log (cbrt (fmod (cosh c) (log1p a)))))) (exp 1) (exp (log (cbrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (exp (log (cbrt (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt 1))) (exp (log (cbrt (fmod (cosh c) (log1p a))))) (exp (log (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))))) (exp (log (cbrt (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (sqrt (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (sqrt (cbrt (fmod (cosh c) (log1p a)))))) (exp (log 1)) (exp (log (cbrt (fmod (cosh c) (log1p a))))) (log (exp (log (cbrt (fmod (cosh c) (log1p a)))))) (exp (exp (log (cbrt (fmod (cosh c) (log1p a)))))) (* (cbrt (exp (log (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (exp (log (cbrt (fmod (cosh c) (log1p a)))))) (* (* (exp (log (cbrt (fmod (cosh c) (log1p a))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (exp (log (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (exp (log (cbrt (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)) (pow (fmod (cosh c) (log1p a)) 1/3) (pow (fmod (cosh c) (log1p a)) 1/3) (pow (fmod (cosh c) (log1p a)) 1/3) 7.326 * * [simplify]: Extracting # 0 : cost 0 7.326 * * [simplify]: Extracting # 1 : cost 0 7.326 * * [simplify]: Extracting # 2 : cost 0 7.326 * * [simplify]: Extracting # 3 : cost 0 7.326 * * [simplify]: Extracting # 4 : cost 0 7.326 * * [simplify]: Extracting # 5 : cost 0 7.326 * * [simplify]: Extracting # 6 : cost 0 7.327 * * [simplify]: Extracting # 7 : cost 0 7.327 * * [simplify]: iteration 0 : 55 enodes (cost 533 ) 7.336 * * [simplify]: Extracting # 0 : cost 0 7.336 * * [simplify]: Extracting # 1 : cost 0 7.336 * * [simplify]: Extracting # 2 : cost 0 7.336 * * [simplify]: Extracting # 3 : cost 0 7.336 * * [simplify]: Extracting # 4 : cost 0 7.336 * * [simplify]: Extracting # 5 : cost 0 7.337 * * [simplify]: iteration 1 : 75 enodes (cost 479 ) 7.346 * * [simplify]: Extracting # 0 : cost 0 7.346 * * [simplify]: Extracting # 1 : cost 0 7.346 * * [simplify]: Extracting # 2 : cost 0 7.346 * * [simplify]: Extracting # 3 : cost 0 7.346 * * [simplify]: Extracting # 4 : cost 0 7.346 * * [simplify]: iteration 2 : 114 enodes (cost 405 ) 7.367 * * [simplify]: Extracting # 0 : cost 0 7.367 * * [simplify]: Extracting # 1 : cost 0 7.368 * * [simplify]: Extracting # 2 : cost 0 7.368 * * [simplify]: Extracting # 3 : cost 0 7.368 * * [simplify]: Extracting # 4 : cost 0 7.368 * * [simplify]: iteration 3 : 202 enodes (cost 402 ) 7.458 * * [simplify]: Extracting # 0 : cost 0 7.458 * * [simplify]: Extracting # 1 : cost 0 7.459 * * [simplify]: Extracting # 2 : cost 0 7.460 * * [simplify]: Extracting # 3 : cost 0 7.460 * * [simplify]: Extracting # 4 : cost 0 7.461 * * [simplify]: iteration 4 : 677 enodes (cost 398 ) 8.767 * * [simplify]: Extracting # 0 : cost 0 8.773 * * [simplify]: Extracting # 1 : cost 0 8.777 * * [simplify]: Extracting # 2 : cost 0 8.781 * * [simplify]: Extracting # 3 : cost 0 8.785 * * [simplify]: Extracting # 4 : cost 0 8.790 * * [simplify]: Extracting # 5 : cost 0 8.797 * * [simplify]: iteration 5 : 4226 enodes (cost 398 ) 10.975 * * [simplify]: Extracting # 0 : cost 0 10.980 * * [simplify]: Extracting # 1 : cost 0 10.985 * * [simplify]: iteration done: 5000 enodes (cost 398 ) 10.985 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 2/3) (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))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 2/3) (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))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 2/3) (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))) (expm1 (cbrt (fmod (cosh c) (log1p a)))) (log1p (cbrt (fmod (cosh c) (log1p a)))) (exp 1/3) E (exp (* (cbrt (log (cbrt (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (fmod (cosh c) (log1p a))))))) (exp (sqrt (log (cbrt (fmod (cosh c) (log1p a)))))) E (cbrt (pow (fmod (cosh c) (log1p a)) 2/3)) (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))) 1 (cbrt (fmod (cosh c) (log1p a))) (pow (cbrt (cbrt (fmod (cosh c) (log1p a)))) 2) (cbrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))) 1 (cbrt (fmod (cosh c) (log1p a))) (log (cbrt (fmod (cosh c) (log1p a)))) (exp (cbrt (fmod (cosh c) (log1p a)))) (pow (cbrt (cbrt (fmod (cosh c) (log1p a)))) 2) (cbrt (cbrt (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (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)) (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))) 10.985 * * * [progress]: adding candidates to table 11.163 * * [progress]: iteration 4 / 4 11.163 * * * [progress]: picking best candidate 11.200 * * * * [pick]: Picked # 11.200 * * * [progress]: localizing error 11.229 * * * [progress]: generating rewritten candidates 11.229 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2 1) 11.229 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1 1) 11.229 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 11.230 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 11.231 * * * [progress]: generating series expansions 11.231 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2 1) 11.231 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.231 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 11.231 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 11.231 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.231 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 11.231 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.231 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 11.231 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.231 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 11.231 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.231 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.231 * [taylor]: Taking taylor expansion of 0 in a 11.231 * [backup-simplify]: Simplify 0 into 0 11.231 * [backup-simplify]: Simplify 0 into 0 11.231 * [backup-simplify]: Simplify 0 into 0 11.231 * [taylor]: Taking taylor expansion of 0 in a 11.231 * [backup-simplify]: Simplify 0 into 0 11.231 * [backup-simplify]: Simplify 0 into 0 11.231 * [backup-simplify]: Simplify 0 into 0 11.231 * [backup-simplify]: Simplify 0 into 0 11.231 * [taylor]: Taking taylor expansion of 0 in a 11.231 * [backup-simplify]: Simplify 0 into 0 11.231 * [backup-simplify]: Simplify 0 into 0 11.231 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.232 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.232 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 11.232 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 11.232 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.232 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 11.232 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.232 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 11.232 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.232 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 11.232 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.232 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.232 * [taylor]: Taking taylor expansion of 0 in a 11.232 * [backup-simplify]: Simplify 0 into 0 11.232 * [backup-simplify]: Simplify 0 into 0 11.232 * [backup-simplify]: Simplify 0 into 0 11.232 * [taylor]: Taking taylor expansion of 0 in a 11.232 * [backup-simplify]: Simplify 0 into 0 11.232 * [backup-simplify]: Simplify 0 into 0 11.232 * [backup-simplify]: Simplify 0 into 0 11.232 * [backup-simplify]: Simplify 0 into 0 11.232 * [taylor]: Taking taylor expansion of 0 in a 11.232 * [backup-simplify]: Simplify 0 into 0 11.232 * [backup-simplify]: Simplify 0 into 0 11.233 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 11.233 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.233 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 11.233 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 11.233 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.233 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 11.233 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.233 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 11.233 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.233 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 11.233 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.233 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.233 * [taylor]: Taking taylor expansion of 0 in a 11.233 * [backup-simplify]: Simplify 0 into 0 11.233 * [backup-simplify]: Simplify 0 into 0 11.233 * [backup-simplify]: Simplify 0 into 0 11.233 * [taylor]: Taking taylor expansion of 0 in a 11.233 * [backup-simplify]: Simplify 0 into 0 11.233 * [backup-simplify]: Simplify 0 into 0 11.233 * [backup-simplify]: Simplify 0 into 0 11.233 * [backup-simplify]: Simplify 0 into 0 11.233 * [taylor]: Taking taylor expansion of 0 in a 11.233 * [backup-simplify]: Simplify 0 into 0 11.233 * [backup-simplify]: Simplify 0 into 0 11.234 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 11.234 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1 1) 11.234 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.234 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 11.234 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 11.234 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.234 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 11.234 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.234 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 11.234 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.234 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 11.234 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.234 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.234 * [taylor]: Taking taylor expansion of 0 in a 11.234 * [backup-simplify]: Simplify 0 into 0 11.234 * [backup-simplify]: Simplify 0 into 0 11.234 * [backup-simplify]: Simplify 0 into 0 11.234 * [taylor]: Taking taylor expansion of 0 in a 11.234 * [backup-simplify]: Simplify 0 into 0 11.234 * [backup-simplify]: Simplify 0 into 0 11.234 * [backup-simplify]: Simplify 0 into 0 11.234 * [backup-simplify]: Simplify 0 into 0 11.234 * [taylor]: Taking taylor expansion of 0 in a 11.234 * [backup-simplify]: Simplify 0 into 0 11.234 * [backup-simplify]: Simplify 0 into 0 11.234 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.235 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.235 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 11.235 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 11.235 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.235 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 11.235 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.235 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 11.235 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.235 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 11.235 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.235 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.235 * [taylor]: Taking taylor expansion of 0 in a 11.235 * [backup-simplify]: Simplify 0 into 0 11.235 * [backup-simplify]: Simplify 0 into 0 11.235 * [backup-simplify]: Simplify 0 into 0 11.235 * [taylor]: Taking taylor expansion of 0 in a 11.235 * [backup-simplify]: Simplify 0 into 0 11.235 * [backup-simplify]: Simplify 0 into 0 11.235 * [backup-simplify]: Simplify 0 into 0 11.235 * [backup-simplify]: Simplify 0 into 0 11.235 * [taylor]: Taking taylor expansion of 0 in a 11.235 * [backup-simplify]: Simplify 0 into 0 11.235 * [backup-simplify]: Simplify 0 into 0 11.235 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 11.236 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.236 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 11.236 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 11.236 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.236 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 11.236 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.236 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 11.236 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.236 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 11.236 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.236 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.236 * [taylor]: Taking taylor expansion of 0 in a 11.236 * [backup-simplify]: Simplify 0 into 0 11.236 * [backup-simplify]: Simplify 0 into 0 11.236 * [backup-simplify]: Simplify 0 into 0 11.236 * [taylor]: Taking taylor expansion of 0 in a 11.236 * [backup-simplify]: Simplify 0 into 0 11.236 * [backup-simplify]: Simplify 0 into 0 11.236 * [backup-simplify]: Simplify 0 into 0 11.236 * [backup-simplify]: Simplify 0 into 0 11.236 * [taylor]: Taking taylor expansion of 0 in a 11.236 * [backup-simplify]: Simplify 0 into 0 11.236 * [backup-simplify]: Simplify 0 into 0 11.237 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 11.237 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 11.237 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.237 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 11.237 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 11.237 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.237 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 11.237 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.237 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 11.237 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.237 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 11.237 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.237 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.237 * [taylor]: Taking taylor expansion of 0 in a 11.237 * [backup-simplify]: Simplify 0 into 0 11.237 * [backup-simplify]: Simplify 0 into 0 11.237 * [backup-simplify]: Simplify 0 into 0 11.237 * [taylor]: Taking taylor expansion of 0 in a 11.237 * [backup-simplify]: Simplify 0 into 0 11.237 * [backup-simplify]: Simplify 0 into 0 11.237 * [backup-simplify]: Simplify 0 into 0 11.237 * [backup-simplify]: Simplify 0 into 0 11.237 * [taylor]: Taking taylor expansion of 0 in a 11.237 * [backup-simplify]: Simplify 0 into 0 11.237 * [backup-simplify]: Simplify 0 into 0 11.237 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.237 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.237 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 11.238 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 11.238 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.238 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 11.238 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.238 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 11.238 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.238 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 11.238 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.238 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.238 * [taylor]: Taking taylor expansion of 0 in a 11.238 * [backup-simplify]: Simplify 0 into 0 11.238 * [backup-simplify]: Simplify 0 into 0 11.238 * [backup-simplify]: Simplify 0 into 0 11.238 * [taylor]: Taking taylor expansion of 0 in a 11.238 * [backup-simplify]: Simplify 0 into 0 11.238 * [backup-simplify]: Simplify 0 into 0 11.238 * [backup-simplify]: Simplify 0 into 0 11.238 * [backup-simplify]: Simplify 0 into 0 11.238 * [taylor]: Taking taylor expansion of 0 in a 11.238 * [backup-simplify]: Simplify 0 into 0 11.238 * [backup-simplify]: Simplify 0 into 0 11.238 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 11.239 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.239 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 11.239 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 11.239 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.239 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 11.239 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.239 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 11.239 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.239 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 11.239 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.239 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.239 * [taylor]: Taking taylor expansion of 0 in a 11.239 * [backup-simplify]: Simplify 0 into 0 11.239 * [backup-simplify]: Simplify 0 into 0 11.239 * [backup-simplify]: Simplify 0 into 0 11.239 * [taylor]: Taking taylor expansion of 0 in a 11.239 * [backup-simplify]: Simplify 0 into 0 11.239 * [backup-simplify]: Simplify 0 into 0 11.239 * [backup-simplify]: Simplify 0 into 0 11.239 * [backup-simplify]: Simplify 0 into 0 11.239 * [taylor]: Taking taylor expansion of 0 in a 11.239 * [backup-simplify]: Simplify 0 into 0 11.239 * [backup-simplify]: Simplify 0 into 0 11.239 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 11.240 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 11.240 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.240 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 11.240 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 11.240 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.240 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 11.240 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.240 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 11.240 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.240 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 11.240 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.240 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.240 * [taylor]: Taking taylor expansion of 0 in a 11.240 * [backup-simplify]: Simplify 0 into 0 11.240 * [backup-simplify]: Simplify 0 into 0 11.240 * [backup-simplify]: Simplify 0 into 0 11.240 * [taylor]: Taking taylor expansion of 0 in a 11.240 * [backup-simplify]: Simplify 0 into 0 11.240 * [backup-simplify]: Simplify 0 into 0 11.240 * [backup-simplify]: Simplify 0 into 0 11.240 * [backup-simplify]: Simplify 0 into 0 11.240 * [taylor]: Taking taylor expansion of 0 in a 11.240 * [backup-simplify]: Simplify 0 into 0 11.240 * [backup-simplify]: Simplify 0 into 0 11.240 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.240 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.240 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 11.240 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 11.241 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.241 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 11.241 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.241 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 11.241 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.241 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 11.241 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.241 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.241 * [taylor]: Taking taylor expansion of 0 in a 11.241 * [backup-simplify]: Simplify 0 into 0 11.241 * [backup-simplify]: Simplify 0 into 0 11.241 * [backup-simplify]: Simplify 0 into 0 11.241 * [taylor]: Taking taylor expansion of 0 in a 11.241 * [backup-simplify]: Simplify 0 into 0 11.241 * [backup-simplify]: Simplify 0 into 0 11.241 * [backup-simplify]: Simplify 0 into 0 11.241 * [backup-simplify]: Simplify 0 into 0 11.241 * [taylor]: Taking taylor expansion of 0 in a 11.241 * [backup-simplify]: Simplify 0 into 0 11.241 * [backup-simplify]: Simplify 0 into 0 11.241 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 11.241 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.241 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 11.241 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 11.242 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.242 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 11.242 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.242 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 11.242 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.242 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 11.242 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.242 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.242 * [taylor]: Taking taylor expansion of 0 in a 11.242 * [backup-simplify]: Simplify 0 into 0 11.242 * [backup-simplify]: Simplify 0 into 0 11.242 * [backup-simplify]: Simplify 0 into 0 11.242 * [taylor]: Taking taylor expansion of 0 in a 11.242 * [backup-simplify]: Simplify 0 into 0 11.242 * [backup-simplify]: Simplify 0 into 0 11.242 * [backup-simplify]: Simplify 0 into 0 11.242 * [backup-simplify]: Simplify 0 into 0 11.242 * [taylor]: Taking taylor expansion of 0 in a 11.242 * [backup-simplify]: Simplify 0 into 0 11.242 * [backup-simplify]: Simplify 0 into 0 11.242 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 11.242 * * * [progress]: simplifying candidates 11.243 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (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)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 11.243 * * [simplify]: Extracting # 0 : cost 0 11.243 * * [simplify]: Extracting # 1 : cost 0 11.244 * * [simplify]: Extracting # 2 : cost 0 11.244 * * [simplify]: Extracting # 3 : cost 0 11.244 * * [simplify]: Extracting # 4 : cost 0 11.244 * * [simplify]: Extracting # 5 : cost 0 11.244 * * [simplify]: Extracting # 6 : cost 0 11.244 * * [simplify]: iteration 0 : 14 enodes (cost 348 ) 11.245 * * [simplify]: Extracting # 0 : cost 0 11.245 * * [simplify]: Extracting # 1 : cost 0 11.245 * * [simplify]: Extracting # 2 : cost 0 11.245 * * [simplify]: Extracting # 3 : cost 0 11.245 * * [simplify]: Extracting # 4 : cost 0 11.245 * * [simplify]: Extracting # 5 : cost 0 11.246 * * [simplify]: iteration 1 : 21 enodes (cost 348 ) 11.248 * * [simplify]: Extracting # 0 : cost 0 11.248 * * [simplify]: Extracting # 1 : cost 0 11.248 * * [simplify]: Extracting # 2 : cost 0 11.248 * * [simplify]: iteration 2 : 26 enodes (cost 308 ) 11.252 * * [simplify]: Extracting # 0 : cost 0 11.252 * * [simplify]: Extracting # 1 : cost 0 11.252 * * [simplify]: Extracting # 2 : cost 0 11.252 * * [simplify]: Extracting # 3 : cost 0 11.252 * * [simplify]: Extracting # 4 : cost 0 11.252 * * [simplify]: iteration 3 : 32 enodes (cost 308 ) 11.257 * * [simplify]: Extracting # 0 : cost 0 11.257 * * [simplify]: Extracting # 1 : cost 0 11.257 * * [simplify]: Extracting # 2 : cost 0 11.257 * * [simplify]: Extracting # 3 : cost 0 11.257 * * [simplify]: Extracting # 4 : cost 0 11.257 * * [simplify]: iteration 4 : 38 enodes (cost 308 ) 11.262 * * [simplify]: Extracting # 0 : cost 0 11.262 * * [simplify]: Extracting # 1 : cost 0 11.262 * * [simplify]: Extracting # 2 : cost 0 11.262 * * [simplify]: Extracting # 3 : cost 0 11.262 * * [simplify]: Extracting # 4 : cost 0 11.263 * * [simplify]: iteration 5 : 48 enodes (cost 308 ) 11.269 * * [simplify]: Extracting # 0 : cost 0 11.269 * * [simplify]: Extracting # 1 : cost 0 11.270 * * [simplify]: Extracting # 2 : cost 0 11.270 * * [simplify]: Extracting # 3 : cost 0 11.270 * * [simplify]: iteration 6 : 69 enodes (cost 308 ) 11.284 * * [simplify]: Extracting # 0 : cost 0 11.285 * * [simplify]: Extracting # 1 : cost 0 11.285 * * [simplify]: Extracting # 2 : cost 0 11.285 * * [simplify]: Extracting # 3 : cost 0 11.285 * * [simplify]: iteration 7 : 147 enodes (cost 308 ) 11.356 * * [simplify]: Extracting # 0 : cost 0 11.357 * * [simplify]: Extracting # 1 : cost 0 11.357 * * [simplify]: Extracting # 2 : cost 0 11.357 * * [simplify]: Extracting # 3 : cost 0 11.358 * * [simplify]: Extracting # 4 : cost 0 11.358 * * [simplify]: iteration 8 : 440 enodes (cost 308 ) 11.977 * * [simplify]: Extracting # 0 : cost 0 11.978 * * [simplify]: Extracting # 1 : cost 0 11.980 * * [simplify]: Extracting # 2 : cost 0 11.981 * * [simplify]: Extracting # 3 : cost 0 11.982 * * [simplify]: Extracting # 4 : cost 0 11.983 * * [simplify]: iteration 9 : 1834 enodes (cost 308 ) 12.964 * * [simplify]: Extracting # 0 : cost 0 12.968 * * [simplify]: Extracting # 1 : cost 0 12.973 * * [simplify]: Extracting # 2 : cost 0 12.978 * * [simplify]: Extracting # 3 : cost 0 12.983 * * [simplify]: iteration done: 5000 enodes (cost 308 ) 12.983 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (expm1 (fmod (cosh c) (log1p a))) (log1p (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))) (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)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 12.984 * * * [progress]: adding candidates to table 13.179 * [progress]: [Phase 3 of 3] Extracting. 13.179 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # #) 13.185 * * * [regime-changes]: Trying 3 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a))) 13.185 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # # # # # # # # #) 13.261 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # # # # # # # # #) 13.324 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # # # # # # # #) 13.402 * * * [regime]: Found split indices: #