0.198 * [progress]: [Phase 1 of 3] Setting up. 0.004 * * * [progress]: [1/2] Preparing points 0.801 * * * [progress]: [2/2] Setting up program. 0.805 * [progress]: [Phase 2 of 3] Improving. 0.807 * [simplify]: Simplifying: (fmod (cosh c) (log1p a)) 0.808 * * [simplify]: Extracting # 0 : cost 0 0.808 * * [simplify]: Extracting # 1 : cost 0 0.808 * * [simplify]: Extracting # 2 : cost 0 0.809 * * [simplify]: Extracting # 3 : cost 0 0.809 * * [simplify]: Extracting # 4 : cost 0 0.809 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.813 * * [simplify]: Extracting # 0 : cost 0 0.813 * * [simplify]: Extracting # 1 : cost 0 0.813 * * [simplify]: Extracting # 2 : cost 0 0.813 * * [simplify]: Extracting # 3 : cost 0 0.813 * * [simplify]: Extracting # 4 : cost 0 0.813 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 0.815 * * [simplify]: Extracting # 0 : cost 0 0.815 * * [simplify]: Extracting # 1 : cost 0 0.815 * * [simplify]: Extracting # 2 : cost 0 0.815 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 0.817 * * [simplify]: Extracting # 0 : cost 0 0.817 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 0.819 * * [simplify]: Extracting # 0 : cost 0 0.819 * * [simplify]: iteration done: 16 enodes (cost 5 ) 0.820 * [simplify]: Simplified to: (fmod (cosh c) (log1p a)) 0.821 * * [progress]: iteration 1 / 4 0.821 * * * [progress]: picking best candidate 0.824 * * * * [pick]: Picked # 0.824 * * * [progress]: localizing error 0.877 * * * [progress]: generating rewritten candidates 0.877 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.881 * * * [progress]: generating series expansions 0.881 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.886 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.886 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.888 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.890 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.890 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.890 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.890 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.890 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.891 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.891 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.891 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.892 * [taylor]: Taking taylor expansion of 0 in a 0.892 * [backup-simplify]: Simplify 0 into 0 0.892 * [backup-simplify]: Simplify 0 into 0 0.892 * [backup-simplify]: Simplify 0 into 0 0.892 * [taylor]: Taking taylor expansion of 0 in a 0.892 * [backup-simplify]: Simplify 0 into 0 0.892 * [backup-simplify]: Simplify 0 into 0 0.892 * [backup-simplify]: Simplify 0 into 0 0.892 * [backup-simplify]: Simplify 0 into 0 0.892 * [taylor]: Taking taylor expansion of 0 in a 0.892 * [backup-simplify]: Simplify 0 into 0 0.892 * [backup-simplify]: Simplify 0 into 0 0.892 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.895 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.895 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.895 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.895 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.895 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.895 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.895 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.895 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.896 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.896 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.896 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.896 * [taylor]: Taking taylor expansion of 0 in a 0.896 * [backup-simplify]: Simplify 0 into 0 0.896 * [backup-simplify]: Simplify 0 into 0 0.896 * [backup-simplify]: Simplify 0 into 0 0.896 * [taylor]: Taking taylor expansion of 0 in a 0.896 * [backup-simplify]: Simplify 0 into 0 0.896 * [backup-simplify]: Simplify 0 into 0 0.896 * [backup-simplify]: Simplify 0 into 0 0.896 * [backup-simplify]: Simplify 0 into 0 0.896 * [taylor]: Taking taylor expansion of 0 in a 0.896 * [backup-simplify]: Simplify 0 into 0 0.896 * [backup-simplify]: Simplify 0 into 0 0.897 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.898 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.898 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.898 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.898 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.898 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.898 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.898 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.898 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.899 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.899 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.899 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.899 * [taylor]: Taking taylor expansion of 0 in a 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [taylor]: Taking taylor expansion of 0 in a 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [taylor]: Taking taylor expansion of 0 in a 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [backup-simplify]: Simplify 0 into 0 0.900 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.900 * * * [progress]: simplifying candidates 0.900 * [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.901 * * [simplify]: Extracting # 0 : cost 0 0.901 * * [simplify]: Extracting # 1 : cost 0 0.901 * * [simplify]: Extracting # 2 : cost 0 0.901 * * [simplify]: Extracting # 3 : cost 0 0.901 * * [simplify]: Extracting # 4 : cost 0 0.901 * * [simplify]: Extracting # 5 : cost 0 0.901 * * [simplify]: Extracting # 6 : cost 0 0.901 * * [simplify]: iteration 0 : 14 enodes (cost 87 ) 0.905 * * [simplify]: Extracting # 0 : cost 0 0.905 * * [simplify]: Extracting # 1 : cost 0 0.906 * * [simplify]: Extracting # 2 : cost 0 0.906 * * [simplify]: Extracting # 3 : cost 0 0.906 * * [simplify]: Extracting # 4 : cost 0 0.906 * * [simplify]: Extracting # 5 : cost 0 0.906 * * [simplify]: iteration 1 : 21 enodes (cost 87 ) 0.912 * * [simplify]: Extracting # 0 : cost 0 0.912 * * [simplify]: Extracting # 1 : cost 0 0.912 * * [simplify]: Extracting # 2 : cost 0 0.912 * * [simplify]: iteration 2 : 26 enodes (cost 77 ) 0.922 * * [simplify]: Extracting # 0 : cost 0 0.922 * * [simplify]: Extracting # 1 : cost 0 0.922 * * [simplify]: Extracting # 2 : cost 0 0.922 * * [simplify]: Extracting # 3 : cost 0 0.922 * * [simplify]: Extracting # 4 : cost 0 0.922 * * [simplify]: iteration 3 : 32 enodes (cost 77 ) 0.927 * * [simplify]: Extracting # 0 : cost 0 0.927 * * [simplify]: Extracting # 1 : cost 0 0.927 * * [simplify]: Extracting # 2 : cost 0 0.927 * * [simplify]: Extracting # 3 : cost 0 0.927 * * [simplify]: Extracting # 4 : cost 0 0.928 * * [simplify]: iteration 4 : 40 enodes (cost 77 ) 0.937 * * [simplify]: Extracting # 0 : cost 0 0.937 * * [simplify]: Extracting # 1 : cost 0 0.937 * * [simplify]: Extracting # 2 : cost 0 0.937 * * [simplify]: Extracting # 3 : cost 0 0.937 * * [simplify]: iteration 5 : 74 enodes (cost 77 ) 0.954 * * [simplify]: Extracting # 0 : cost 0 0.954 * * [simplify]: Extracting # 1 : cost 0 0.954 * * [simplify]: Extracting # 2 : cost 0 0.954 * * [simplify]: Extracting # 3 : cost 0 0.954 * * [simplify]: iteration 6 : 154 enodes (cost 77 ) 1.006 * * [simplify]: Extracting # 0 : cost 0 1.007 * * [simplify]: Extracting # 1 : cost 0 1.007 * * [simplify]: Extracting # 2 : cost 0 1.007 * * [simplify]: Extracting # 3 : cost 0 1.007 * * [simplify]: Extracting # 4 : cost 0 1.007 * * [simplify]: iteration 7 : 324 enodes (cost 77 ) 1.187 * * [simplify]: Extracting # 0 : cost 0 1.188 * * [simplify]: Extracting # 1 : cost 0 1.189 * * [simplify]: Extracting # 2 : cost 0 1.190 * * [simplify]: Extracting # 3 : cost 0 1.191 * * [simplify]: iteration 8 : 1030 enodes (cost 77 ) 2.472 * * [simplify]: Extracting # 0 : cost 0 2.491 * * [simplify]: Extracting # 1 : cost 0 2.498 * * [simplify]: Extracting # 2 : cost 0 2.506 * * [simplify]: Extracting # 3 : cost 0 2.514 * * [simplify]: Extracting # 4 : cost 0 2.522 * * [simplify]: iteration done: 5000 enodes (cost 77 ) 2.523 * [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)) 2.523 * * * [progress]: adding candidates to table 2.568 * * [progress]: iteration 2 / 4 2.568 * * * [progress]: picking best candidate 2.587 * * * * [pick]: Picked # 2.587 * * * [progress]: localizing error 2.598 * * * [progress]: generating rewritten candidates 2.598 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 2.599 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 2.602 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 2.606 * * * [progress]: generating series expansions 2.606 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 2.606 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.606 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 2.606 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.606 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.606 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.606 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.606 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.606 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.606 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.606 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.606 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.606 * [taylor]: Taking taylor expansion of 0 in a 2.607 * [backup-simplify]: Simplify 0 into 0 2.607 * [backup-simplify]: Simplify 0 into 0 2.607 * [backup-simplify]: Simplify 0 into 0 2.607 * [taylor]: Taking taylor expansion of 0 in a 2.607 * [backup-simplify]: Simplify 0 into 0 2.607 * [backup-simplify]: Simplify 0 into 0 2.607 * [backup-simplify]: Simplify 0 into 0 2.607 * [backup-simplify]: Simplify 0 into 0 2.607 * [taylor]: Taking taylor expansion of 0 in a 2.607 * [backup-simplify]: Simplify 0 into 0 2.607 * [backup-simplify]: Simplify 0 into 0 2.607 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.607 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.607 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 2.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.607 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.607 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.607 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.607 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.607 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.608 * [taylor]: Taking taylor expansion of 0 in a 2.608 * [backup-simplify]: Simplify 0 into 0 2.608 * [backup-simplify]: Simplify 0 into 0 2.608 * [backup-simplify]: Simplify 0 into 0 2.608 * [taylor]: Taking taylor expansion of 0 in a 2.608 * [backup-simplify]: Simplify 0 into 0 2.608 * [backup-simplify]: Simplify 0 into 0 2.608 * [backup-simplify]: Simplify 0 into 0 2.608 * [backup-simplify]: Simplify 0 into 0 2.608 * [taylor]: Taking taylor expansion of 0 in a 2.608 * [backup-simplify]: Simplify 0 into 0 2.608 * [backup-simplify]: Simplify 0 into 0 2.608 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 2.608 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.608 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 2.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.608 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.608 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.608 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.608 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.608 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.609 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.609 * [taylor]: Taking taylor expansion of 0 in a 2.609 * [backup-simplify]: Simplify 0 into 0 2.609 * [backup-simplify]: Simplify 0 into 0 2.609 * [backup-simplify]: Simplify 0 into 0 2.609 * [taylor]: Taking taylor expansion of 0 in a 2.609 * [backup-simplify]: Simplify 0 into 0 2.609 * [backup-simplify]: Simplify 0 into 0 2.609 * [backup-simplify]: Simplify 0 into 0 2.609 * [backup-simplify]: Simplify 0 into 0 2.609 * [taylor]: Taking taylor expansion of 0 in a 2.609 * [backup-simplify]: Simplify 0 into 0 2.609 * [backup-simplify]: Simplify 0 into 0 2.609 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 2.609 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 2.609 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.609 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 2.609 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 2.609 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.609 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.609 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.609 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 2.609 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.609 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.610 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.610 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 2.610 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.610 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.610 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.610 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 2.610 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.610 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.610 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.610 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.611 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 2.611 * [taylor]: Taking taylor expansion of 0 in a 2.611 * [backup-simplify]: Simplify 0 into 0 2.611 * [backup-simplify]: Simplify 0 into 0 2.612 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 2.612 * [backup-simplify]: Simplify 0 into 0 2.614 * [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 2.614 * [taylor]: Taking taylor expansion of 0 in a 2.614 * [backup-simplify]: Simplify 0 into 0 2.614 * [backup-simplify]: Simplify 0 into 0 2.614 * [backup-simplify]: Simplify 0 into 0 2.615 * [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 2.615 * [backup-simplify]: Simplify 0 into 0 2.617 * [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 2.617 * [taylor]: Taking taylor expansion of 0 in a 2.617 * [backup-simplify]: Simplify 0 into 0 2.617 * [backup-simplify]: Simplify 0 into 0 2.617 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.617 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.617 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 2.617 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 2.617 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.617 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.618 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.618 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 2.618 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.618 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.618 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.618 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 2.618 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.618 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.618 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.618 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 2.618 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.618 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.618 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.618 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.619 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 2.619 * [taylor]: Taking taylor expansion of 0 in a 2.619 * [backup-simplify]: Simplify 0 into 0 2.619 * [backup-simplify]: Simplify 0 into 0 2.620 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 2.620 * [backup-simplify]: Simplify 0 into 0 2.621 * [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 2.621 * [taylor]: Taking taylor expansion of 0 in a 2.621 * [backup-simplify]: Simplify 0 into 0 2.621 * [backup-simplify]: Simplify 0 into 0 2.621 * [backup-simplify]: Simplify 0 into 0 2.622 * [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 2.622 * [backup-simplify]: Simplify 0 into 0 2.624 * [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 2.624 * [taylor]: Taking taylor expansion of 0 in a 2.624 * [backup-simplify]: Simplify 0 into 0 2.624 * [backup-simplify]: Simplify 0 into 0 2.624 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 2.625 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.625 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 2.625 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 2.625 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.625 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.625 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.625 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 2.625 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.625 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.625 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.625 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 2.625 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.625 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.625 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.625 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 2.625 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.626 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.626 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.626 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.627 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 2.627 * [taylor]: Taking taylor expansion of 0 in a 2.627 * [backup-simplify]: Simplify 0 into 0 2.627 * [backup-simplify]: Simplify 0 into 0 2.628 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 2.628 * [backup-simplify]: Simplify 0 into 0 2.630 * [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 2.630 * [taylor]: Taking taylor expansion of 0 in a 2.630 * [backup-simplify]: Simplify 0 into 0 2.630 * [backup-simplify]: Simplify 0 into 0 2.630 * [backup-simplify]: Simplify 0 into 0 2.633 * [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 2.633 * [backup-simplify]: Simplify 0 into 0 2.645 * [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 2.645 * [taylor]: Taking taylor expansion of 0 in a 2.645 * [backup-simplify]: Simplify 0 into 0 2.645 * [backup-simplify]: Simplify 0 into 0 2.646 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 2.646 * * * * [progress]: [ 3 / 3 ] generating series at (2) 2.646 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 2.646 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 2.646 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.646 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.646 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.646 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.646 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.647 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.647 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.647 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.647 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.647 * [taylor]: Taking taylor expansion of 0 in a 2.647 * [backup-simplify]: Simplify 0 into 0 2.647 * [backup-simplify]: Simplify 0 into 0 2.647 * [backup-simplify]: Simplify 0 into 0 2.647 * [taylor]: Taking taylor expansion of 0 in a 2.647 * [backup-simplify]: Simplify 0 into 0 2.647 * [backup-simplify]: Simplify 0 into 0 2.647 * [backup-simplify]: Simplify 0 into 0 2.647 * [backup-simplify]: Simplify 0 into 0 2.647 * [taylor]: Taking taylor expansion of 0 in a 2.647 * [backup-simplify]: Simplify 0 into 0 2.647 * [backup-simplify]: Simplify 0 into 0 2.647 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.648 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.648 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 2.648 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.648 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.648 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.648 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.648 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.648 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.648 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.649 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.649 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.649 * [taylor]: Taking taylor expansion of 0 in a 2.649 * [backup-simplify]: Simplify 0 into 0 2.649 * [backup-simplify]: Simplify 0 into 0 2.649 * [backup-simplify]: Simplify 0 into 0 2.649 * [taylor]: Taking taylor expansion of 0 in a 2.649 * [backup-simplify]: Simplify 0 into 0 2.649 * [backup-simplify]: Simplify 0 into 0 2.649 * [backup-simplify]: Simplify 0 into 0 2.649 * [backup-simplify]: Simplify 0 into 0 2.649 * [taylor]: Taking taylor expansion of 0 in a 2.649 * [backup-simplify]: Simplify 0 into 0 2.649 * [backup-simplify]: Simplify 0 into 0 2.649 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 2.650 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.650 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 2.650 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.650 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.650 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.651 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.651 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.651 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.651 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.651 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.651 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.651 * [taylor]: Taking taylor expansion of 0 in a 2.651 * [backup-simplify]: Simplify 0 into 0 2.651 * [backup-simplify]: Simplify 0 into 0 2.652 * [backup-simplify]: Simplify 0 into 0 2.652 * [taylor]: Taking taylor expansion of 0 in a 2.652 * [backup-simplify]: Simplify 0 into 0 2.652 * [backup-simplify]: Simplify 0 into 0 2.652 * [backup-simplify]: Simplify 0 into 0 2.652 * [backup-simplify]: Simplify 0 into 0 2.652 * [taylor]: Taking taylor expansion of 0 in a 2.652 * [backup-simplify]: Simplify 0 into 0 2.652 * [backup-simplify]: Simplify 0 into 0 2.652 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 2.652 * * * [progress]: simplifying candidates 2.653 * [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 (log (fmod (cosh c) (log1p a)))) (log1p (log (fmod (cosh c) (log1p a)))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (expm1 (exp (log (fmod (cosh c) (log1p a))))) (log1p (exp (log (fmod (cosh c) (log1p a))))) (exp 1) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (sqrt (log (fmod (cosh c) (log1p a))))) (exp 1) (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log 1)) (exp (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a))))) (exp (exp (log (fmod (cosh c) (log1p a))))) (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))) (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a))))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 2.655 * * [simplify]: Extracting # 0 : cost 0 2.655 * * [simplify]: Extracting # 1 : cost 0 2.655 * * [simplify]: Extracting # 2 : cost 0 2.655 * * [simplify]: Extracting # 3 : cost 0 2.655 * * [simplify]: Extracting # 4 : cost 0 2.655 * * [simplify]: Extracting # 5 : cost 0 2.655 * * [simplify]: Extracting # 6 : cost 0 2.656 * * [simplify]: Extracting # 7 : cost 0 2.656 * * [simplify]: iteration 0 : 44 enodes (cost 426 ) 2.671 * * [simplify]: Extracting # 0 : cost 0 2.671 * * [simplify]: Extracting # 1 : cost 0 2.671 * * [simplify]: Extracting # 2 : cost 0 2.671 * * [simplify]: Extracting # 3 : cost 0 2.671 * * [simplify]: Extracting # 4 : cost 0 2.671 * * [simplify]: Extracting # 5 : cost 0 2.671 * * [simplify]: iteration 1 : 68 enodes (cost 385 ) 2.686 * * [simplify]: Extracting # 0 : cost 0 2.687 * * [simplify]: Extracting # 1 : cost 0 2.687 * * [simplify]: Extracting # 2 : cost 0 2.687 * * [simplify]: Extracting # 3 : cost 0 2.687 * * [simplify]: iteration 2 : 105 enodes (cost 339 ) 2.715 * * [simplify]: Extracting # 0 : cost 0 2.715 * * [simplify]: Extracting # 1 : cost 0 2.715 * * [simplify]: Extracting # 2 : cost 0 2.716 * * [simplify]: Extracting # 3 : cost 0 2.716 * * [simplify]: Extracting # 4 : cost 0 2.716 * * [simplify]: iteration 3 : 161 enodes (cost 339 ) 2.745 * * [simplify]: Extracting # 0 : cost 0 2.745 * * [simplify]: Extracting # 1 : cost 0 2.745 * * [simplify]: Extracting # 2 : cost 0 2.745 * * [simplify]: Extracting # 3 : cost 0 2.746 * * [simplify]: Extracting # 4 : cost 0 2.746 * * [simplify]: iteration 4 : 233 enodes (cost 333 ) 2.793 * * [simplify]: Extracting # 0 : cost 0 2.793 * * [simplify]: Extracting # 1 : cost 0 2.794 * * [simplify]: Extracting # 2 : cost 0 2.794 * * [simplify]: Extracting # 3 : cost 0 2.795 * * [simplify]: Extracting # 4 : cost 0 2.795 * * [simplify]: Extracting # 5 : cost 0 2.796 * * [simplify]: iteration 5 : 401 enodes (cost 333 ) 2.971 * * [simplify]: Extracting # 0 : cost 0 2.972 * * [simplify]: Extracting # 1 : cost 0 2.973 * * [simplify]: Extracting # 2 : cost 0 2.973 * * [simplify]: Extracting # 3 : cost 0 2.974 * * [simplify]: Extracting # 4 : cost 0 2.978 * * [simplify]: iteration 6 : 1023 enodes (cost 333 ) 4.176 * * [simplify]: Extracting # 0 : cost 0 4.190 * * [simplify]: Extracting # 1 : cost 0 4.197 * * [simplify]: Extracting # 2 : cost 0 4.204 * * [simplify]: Extracting # 3 : cost 0 4.210 * * [simplify]: Extracting # 4 : cost 0 4.217 * * [simplify]: iteration 7 : 4620 enodes (cost 333 ) 6.245 * * [simplify]: Extracting # 0 : cost 0 6.254 * * [simplify]: Extracting # 1 : cost 0 6.257 * * [simplify]: Extracting # 2 : cost 0 6.260 * * [simplify]: Extracting # 3 : cost 0 6.264 * * [simplify]: Extracting # 4 : cost 0 6.268 * * [simplify]: iteration done: 5001 enodes (cost 333 ) 6.268 * [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 (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (log (fmod (cosh c) (log1p a)))) (log1p (log (fmod (cosh c) (log1p a)))) (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) 0 (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 3) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) E (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (sqrt (log (fmod (cosh c) (log1p a))))) E (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 6.268 * * * [progress]: adding candidates to table 6.465 * * [progress]: iteration 3 / 4 6.466 * * * [progress]: picking best candidate 6.534 * * * * [pick]: Picked # 6.534 * * * [progress]: localizing error 6.566 * * * [progress]: generating rewritten candidates 6.566 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 6.566 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1) 6.567 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 6.567 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 6.569 * * * [progress]: generating series expansions 6.569 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 6.569 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.569 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 6.569 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 6.569 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.570 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 6.570 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.570 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 6.570 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.570 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 6.570 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.570 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.570 * [taylor]: Taking taylor expansion of 0 in a 6.570 * [backup-simplify]: Simplify 0 into 0 6.570 * [backup-simplify]: Simplify 0 into 0 6.570 * [backup-simplify]: Simplify 0 into 0 6.570 * [taylor]: Taking taylor expansion of 0 in a 6.570 * [backup-simplify]: Simplify 0 into 0 6.570 * [backup-simplify]: Simplify 0 into 0 6.570 * [backup-simplify]: Simplify 0 into 0 6.570 * [backup-simplify]: Simplify 0 into 0 6.570 * [taylor]: Taking taylor expansion of 0 in a 6.570 * [backup-simplify]: Simplify 0 into 0 6.570 * [backup-simplify]: Simplify 0 into 0 6.570 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.570 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.570 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 6.570 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 6.570 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.570 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 6.571 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.571 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 6.571 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.571 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 6.571 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.571 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.571 * [taylor]: Taking taylor expansion of 0 in a 6.571 * [backup-simplify]: Simplify 0 into 0 6.571 * [backup-simplify]: Simplify 0 into 0 6.571 * [backup-simplify]: Simplify 0 into 0 6.571 * [taylor]: Taking taylor expansion of 0 in a 6.571 * [backup-simplify]: Simplify 0 into 0 6.571 * [backup-simplify]: Simplify 0 into 0 6.571 * [backup-simplify]: Simplify 0 into 0 6.571 * [backup-simplify]: Simplify 0 into 0 6.571 * [taylor]: Taking taylor expansion of 0 in a 6.571 * [backup-simplify]: Simplify 0 into 0 6.571 * [backup-simplify]: Simplify 0 into 0 6.571 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 6.571 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.571 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 6.571 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 6.572 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.572 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 6.572 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.572 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 6.572 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.572 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 6.572 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.572 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.572 * [taylor]: Taking taylor expansion of 0 in a 6.572 * [backup-simplify]: Simplify 0 into 0 6.572 * [backup-simplify]: Simplify 0 into 0 6.572 * [backup-simplify]: Simplify 0 into 0 6.572 * [taylor]: Taking taylor expansion of 0 in a 6.572 * [backup-simplify]: Simplify 0 into 0 6.572 * [backup-simplify]: Simplify 0 into 0 6.572 * [backup-simplify]: Simplify 0 into 0 6.572 * [backup-simplify]: Simplify 0 into 0 6.572 * [taylor]: Taking taylor expansion of 0 in a 6.572 * [backup-simplify]: Simplify 0 into 0 6.572 * [backup-simplify]: Simplify 0 into 0 6.572 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 6.572 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1) 6.572 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.573 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 6.573 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 6.573 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.573 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 6.573 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.573 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 6.573 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.573 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 6.573 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.573 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.573 * [taylor]: Taking taylor expansion of 0 in a 6.573 * [backup-simplify]: Simplify 0 into 0 6.573 * [backup-simplify]: Simplify 0 into 0 6.573 * [backup-simplify]: Simplify 0 into 0 6.573 * [taylor]: Taking taylor expansion of 0 in a 6.573 * [backup-simplify]: Simplify 0 into 0 6.573 * [backup-simplify]: Simplify 0 into 0 6.573 * [backup-simplify]: Simplify 0 into 0 6.573 * [backup-simplify]: Simplify 0 into 0 6.573 * [taylor]: Taking taylor expansion of 0 in a 6.573 * [backup-simplify]: Simplify 0 into 0 6.573 * [backup-simplify]: Simplify 0 into 0 6.573 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.573 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.573 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 6.573 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 6.573 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.573 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 6.574 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.574 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 6.574 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.574 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 6.574 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.574 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.574 * [taylor]: Taking taylor expansion of 0 in a 6.574 * [backup-simplify]: Simplify 0 into 0 6.574 * [backup-simplify]: Simplify 0 into 0 6.574 * [backup-simplify]: Simplify 0 into 0 6.574 * [taylor]: Taking taylor expansion of 0 in a 6.574 * [backup-simplify]: Simplify 0 into 0 6.574 * [backup-simplify]: Simplify 0 into 0 6.574 * [backup-simplify]: Simplify 0 into 0 6.574 * [backup-simplify]: Simplify 0 into 0 6.574 * [taylor]: Taking taylor expansion of 0 in a 6.574 * [backup-simplify]: Simplify 0 into 0 6.574 * [backup-simplify]: Simplify 0 into 0 6.574 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 6.574 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.574 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 6.574 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 6.575 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.575 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 6.575 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.575 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 6.575 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.575 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 6.575 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.575 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.575 * [taylor]: Taking taylor expansion of 0 in a 6.575 * [backup-simplify]: Simplify 0 into 0 6.575 * [backup-simplify]: Simplify 0 into 0 6.575 * [backup-simplify]: Simplify 0 into 0 6.575 * [taylor]: Taking taylor expansion of 0 in a 6.575 * [backup-simplify]: Simplify 0 into 0 6.575 * [backup-simplify]: Simplify 0 into 0 6.575 * [backup-simplify]: Simplify 0 into 0 6.575 * [backup-simplify]: Simplify 0 into 0 6.575 * [taylor]: Taking taylor expansion of 0 in a 6.575 * [backup-simplify]: Simplify 0 into 0 6.575 * [backup-simplify]: Simplify 0 into 0 6.575 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 6.575 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 6.576 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.576 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 6.576 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 6.576 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.576 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 6.576 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.576 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 6.576 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.576 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 6.576 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.576 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.576 * [taylor]: Taking taylor expansion of 0 in a 6.576 * [backup-simplify]: Simplify 0 into 0 6.576 * [backup-simplify]: Simplify 0 into 0 6.576 * [backup-simplify]: Simplify 0 into 0 6.576 * [taylor]: Taking taylor expansion of 0 in a 6.576 * [backup-simplify]: Simplify 0 into 0 6.576 * [backup-simplify]: Simplify 0 into 0 6.576 * [backup-simplify]: Simplify 0 into 0 6.576 * [backup-simplify]: Simplify 0 into 0 6.576 * [taylor]: Taking taylor expansion of 0 in a 6.576 * [backup-simplify]: Simplify 0 into 0 6.576 * [backup-simplify]: Simplify 0 into 0 6.576 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.576 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.576 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 6.576 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 6.577 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.577 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 6.577 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.577 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 6.577 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.577 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 6.577 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.577 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.577 * [taylor]: Taking taylor expansion of 0 in a 6.577 * [backup-simplify]: Simplify 0 into 0 6.577 * [backup-simplify]: Simplify 0 into 0 6.577 * [backup-simplify]: Simplify 0 into 0 6.577 * [taylor]: Taking taylor expansion of 0 in a 6.577 * [backup-simplify]: Simplify 0 into 0 6.577 * [backup-simplify]: Simplify 0 into 0 6.577 * [backup-simplify]: Simplify 0 into 0 6.577 * [backup-simplify]: Simplify 0 into 0 6.577 * [taylor]: Taking taylor expansion of 0 in a 6.577 * [backup-simplify]: Simplify 0 into 0 6.577 * [backup-simplify]: Simplify 0 into 0 6.577 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 6.577 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.577 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 6.578 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 6.578 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.578 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 6.578 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.578 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 6.578 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.578 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 6.578 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.578 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.578 * [taylor]: Taking taylor expansion of 0 in a 6.578 * [backup-simplify]: Simplify 0 into 0 6.578 * [backup-simplify]: Simplify 0 into 0 6.578 * [backup-simplify]: Simplify 0 into 0 6.578 * [taylor]: Taking taylor expansion of 0 in a 6.578 * [backup-simplify]: Simplify 0 into 0 6.578 * [backup-simplify]: Simplify 0 into 0 6.579 * [backup-simplify]: Simplify 0 into 0 6.579 * [backup-simplify]: Simplify 0 into 0 6.579 * [taylor]: Taking taylor expansion of 0 in a 6.579 * [backup-simplify]: Simplify 0 into 0 6.579 * [backup-simplify]: Simplify 0 into 0 6.579 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 6.579 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 6.579 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 6.579 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 6.579 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 6.579 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 6.579 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.579 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 6.579 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 6.580 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 6.580 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.580 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 6.580 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 6.580 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 6.580 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.580 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 6.580 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 6.580 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 6.580 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 6.580 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 6.581 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 6.582 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 6.582 * [taylor]: Taking taylor expansion of 0 in a 6.582 * [backup-simplify]: Simplify 0 into 0 6.582 * [backup-simplify]: Simplify 0 into 0 6.583 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 6.583 * [backup-simplify]: Simplify 0 into 0 6.586 * [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 6.586 * [taylor]: Taking taylor expansion of 0 in a 6.586 * [backup-simplify]: Simplify 0 into 0 6.586 * [backup-simplify]: Simplify 0 into 0 6.586 * [backup-simplify]: Simplify 0 into 0 6.588 * [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 6.588 * [backup-simplify]: Simplify 0 into 0 6.592 * [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 6.592 * [taylor]: Taking taylor expansion of 0 in a 6.592 * [backup-simplify]: Simplify 0 into 0 6.592 * [backup-simplify]: Simplify 0 into 0 6.592 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 6.592 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 6.592 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 6.592 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 6.592 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 6.593 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.593 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 6.593 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 6.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 6.593 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.593 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 6.593 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 6.593 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 6.594 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.594 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 6.594 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 6.594 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 6.594 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 6.594 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 6.595 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 6.596 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 6.596 * [taylor]: Taking taylor expansion of 0 in a 6.596 * [backup-simplify]: Simplify 0 into 0 6.596 * [backup-simplify]: Simplify 0 into 0 6.597 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 6.597 * [backup-simplify]: Simplify 0 into 0 6.599 * [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 6.599 * [taylor]: Taking taylor expansion of 0 in a 6.599 * [backup-simplify]: Simplify 0 into 0 6.599 * [backup-simplify]: Simplify 0 into 0 6.599 * [backup-simplify]: Simplify 0 into 0 6.602 * [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 6.602 * [backup-simplify]: Simplify 0 into 0 6.605 * [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 6.605 * [taylor]: Taking taylor expansion of 0 in a 6.605 * [backup-simplify]: Simplify 0 into 0 6.605 * [backup-simplify]: Simplify 0 into 0 6.606 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 6.606 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 6.606 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 6.606 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 6.606 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 6.606 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.606 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 6.606 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 6.606 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 6.607 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.607 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 6.607 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 6.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 6.607 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.607 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 6.607 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 6.607 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 6.608 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 6.608 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 6.608 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 6.609 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 6.609 * [taylor]: Taking taylor expansion of 0 in a 6.609 * [backup-simplify]: Simplify 0 into 0 6.609 * [backup-simplify]: Simplify 0 into 0 6.611 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 6.611 * [backup-simplify]: Simplify 0 into 0 6.613 * [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 6.613 * [taylor]: Taking taylor expansion of 0 in a 6.613 * [backup-simplify]: Simplify 0 into 0 6.613 * [backup-simplify]: Simplify 0 into 0 6.613 * [backup-simplify]: Simplify 0 into 0 6.615 * [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 6.615 * [backup-simplify]: Simplify 0 into 0 6.620 * [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 6.620 * [taylor]: Taking taylor expansion of 0 in a 6.620 * [backup-simplify]: Simplify 0 into 0 6.620 * [backup-simplify]: Simplify 0 into 0 6.621 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 6.621 * * * [progress]: simplifying candidates 6.622 * [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 (log (fmod (cosh c) (log1p a)))) (log1p (log (fmod (cosh c) (log1p a)))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) 6.623 * * [simplify]: Extracting # 0 : cost 0 6.624 * * [simplify]: Extracting # 1 : cost 0 6.624 * * [simplify]: Extracting # 2 : cost 0 6.624 * * [simplify]: Extracting # 3 : cost 0 6.624 * * [simplify]: Extracting # 4 : cost 0 6.624 * * [simplify]: Extracting # 5 : cost 0 6.624 * * [simplify]: Extracting # 6 : cost 0 6.624 * * [simplify]: iteration 0 : 28 enodes (cost 412 ) 6.633 * * [simplify]: Extracting # 0 : cost 0 6.633 * * [simplify]: Extracting # 1 : cost 0 6.633 * * [simplify]: Extracting # 2 : cost 0 6.633 * * [simplify]: Extracting # 3 : cost 0 6.633 * * [simplify]: Extracting # 4 : cost 0 6.634 * * [simplify]: Extracting # 5 : cost 0 6.634 * * [simplify]: Extracting # 6 : cost 0 6.634 * * [simplify]: iteration 1 : 42 enodes (cost 409 ) 6.646 * * [simplify]: Extracting # 0 : cost 0 6.646 * * [simplify]: Extracting # 1 : cost 0 6.646 * * [simplify]: Extracting # 2 : cost 0 6.646 * * [simplify]: Extracting # 3 : cost 0 6.646 * * [simplify]: iteration 2 : 59 enodes (cost 362 ) 6.661 * * [simplify]: Extracting # 0 : cost 0 6.661 * * [simplify]: Extracting # 1 : cost 0 6.661 * * [simplify]: Extracting # 2 : cost 0 6.661 * * [simplify]: Extracting # 3 : cost 0 6.661 * * [simplify]: Extracting # 4 : cost 0 6.662 * * [simplify]: iteration 3 : 73 enodes (cost 362 ) 6.683 * * [simplify]: Extracting # 0 : cost 0 6.683 * * [simplify]: Extracting # 1 : cost 0 6.683 * * [simplify]: Extracting # 2 : cost 0 6.683 * * [simplify]: Extracting # 3 : cost 0 6.684 * * [simplify]: iteration 4 : 94 enodes (cost 362 ) 6.723 * * [simplify]: Extracting # 0 : cost 0 6.723 * * [simplify]: Extracting # 1 : cost 0 6.724 * * [simplify]: Extracting # 2 : cost 0 6.724 * * [simplify]: Extracting # 3 : cost 0 6.724 * * [simplify]: Extracting # 4 : cost 0 6.724 * * [simplify]: iteration 5 : 169 enodes (cost 362 ) 6.790 * * [simplify]: Extracting # 0 : cost 0 6.790 * * [simplify]: Extracting # 1 : cost 0 6.791 * * [simplify]: Extracting # 2 : cost 0 6.791 * * [simplify]: Extracting # 3 : cost 0 6.792 * * [simplify]: Extracting # 4 : cost 0 6.792 * * [simplify]: iteration 6 : 331 enodes (cost 362 ) 6.915 * * [simplify]: Extracting # 0 : cost 0 6.916 * * [simplify]: Extracting # 1 : cost 0 6.916 * * [simplify]: Extracting # 2 : cost 0 6.917 * * [simplify]: Extracting # 3 : cost 0 6.917 * * [simplify]: Extracting # 4 : cost 0 6.918 * * [simplify]: iteration 7 : 742 enodes (cost 362 ) 7.397 * * [simplify]: Extracting # 0 : cost 0 7.401 * * [simplify]: Extracting # 1 : cost 0 7.403 * * [simplify]: Extracting # 2 : cost 0 7.406 * * [simplify]: Extracting # 3 : cost 0 7.408 * * [simplify]: Extracting # 4 : cost 0 7.411 * * [simplify]: iteration 8 : 2324 enodes (cost 362 ) 8.291 * * [simplify]: Extracting # 0 : cost 0 8.305 * * [simplify]: Extracting # 1 : cost 0 8.310 * * [simplify]: Extracting # 2 : cost 0 8.314 * * [simplify]: Extracting # 3 : cost 0 8.319 * * [simplify]: Extracting # 4 : cost 0 8.328 * * [simplify]: iteration done: 5000 enodes (cost 362 ) 8.329 * [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 (log (fmod (cosh c) (log1p a)))) (log1p (log (fmod (cosh c) (log1p a)))) (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) 0 (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 3) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) 8.329 * * * [progress]: adding candidates to table 8.645 * * [progress]: iteration 4 / 4 8.645 * * * [progress]: picking best candidate 8.711 * * * * [pick]: Picked # 8.711 * * * [progress]: localizing error 8.743 * * * [progress]: generating rewritten candidates 8.743 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1) 8.743 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1) 8.744 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 8.744 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1) 8.748 * * * [progress]: generating series expansions 8.748 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1) 8.748 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.748 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 8.748 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.748 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.748 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.748 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.749 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.749 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.749 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.749 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.756 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.756 * [taylor]: Taking taylor expansion of 0 in a 8.756 * [backup-simplify]: Simplify 0 into 0 8.756 * [backup-simplify]: Simplify 0 into 0 8.756 * [backup-simplify]: Simplify 0 into 0 8.756 * [taylor]: Taking taylor expansion of 0 in a 8.756 * [backup-simplify]: Simplify 0 into 0 8.756 * [backup-simplify]: Simplify 0 into 0 8.756 * [backup-simplify]: Simplify 0 into 0 8.756 * [backup-simplify]: Simplify 0 into 0 8.757 * [taylor]: Taking taylor expansion of 0 in a 8.757 * [backup-simplify]: Simplify 0 into 0 8.757 * [backup-simplify]: Simplify 0 into 0 8.757 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.757 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.757 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 8.757 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.758 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.758 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.758 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.758 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.758 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.758 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.758 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.758 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.759 * [taylor]: Taking taylor expansion of 0 in a 8.759 * [backup-simplify]: Simplify 0 into 0 8.759 * [backup-simplify]: Simplify 0 into 0 8.759 * [backup-simplify]: Simplify 0 into 0 8.759 * [taylor]: Taking taylor expansion of 0 in a 8.759 * [backup-simplify]: Simplify 0 into 0 8.759 * [backup-simplify]: Simplify 0 into 0 8.759 * [backup-simplify]: Simplify 0 into 0 8.759 * [backup-simplify]: Simplify 0 into 0 8.759 * [taylor]: Taking taylor expansion of 0 in a 8.759 * [backup-simplify]: Simplify 0 into 0 8.759 * [backup-simplify]: Simplify 0 into 0 8.759 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 8.759 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.759 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 8.759 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.760 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.760 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.760 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.760 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.760 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.760 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.760 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.760 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.760 * [taylor]: Taking taylor expansion of 0 in a 8.760 * [backup-simplify]: Simplify 0 into 0 8.760 * [backup-simplify]: Simplify 0 into 0 8.760 * [backup-simplify]: Simplify 0 into 0 8.761 * [taylor]: Taking taylor expansion of 0 in a 8.761 * [backup-simplify]: Simplify 0 into 0 8.761 * [backup-simplify]: Simplify 0 into 0 8.761 * [backup-simplify]: Simplify 0 into 0 8.761 * [backup-simplify]: Simplify 0 into 0 8.761 * [taylor]: Taking taylor expansion of 0 in a 8.761 * [backup-simplify]: Simplify 0 into 0 8.761 * [backup-simplify]: Simplify 0 into 0 8.761 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 8.761 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1) 8.761 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.761 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 8.761 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.761 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.761 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.762 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.762 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.762 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.762 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.762 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.762 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.762 * [taylor]: Taking taylor expansion of 0 in a 8.762 * [backup-simplify]: Simplify 0 into 0 8.762 * [backup-simplify]: Simplify 0 into 0 8.762 * [backup-simplify]: Simplify 0 into 0 8.762 * [taylor]: Taking taylor expansion of 0 in a 8.762 * [backup-simplify]: Simplify 0 into 0 8.762 * [backup-simplify]: Simplify 0 into 0 8.762 * [backup-simplify]: Simplify 0 into 0 8.762 * [backup-simplify]: Simplify 0 into 0 8.762 * [taylor]: Taking taylor expansion of 0 in a 8.762 * [backup-simplify]: Simplify 0 into 0 8.762 * [backup-simplify]: Simplify 0 into 0 8.762 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.763 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.763 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 8.763 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.763 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.763 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.763 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.763 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.763 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.763 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.764 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.764 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.764 * [taylor]: Taking taylor expansion of 0 in a 8.764 * [backup-simplify]: Simplify 0 into 0 8.764 * [backup-simplify]: Simplify 0 into 0 8.764 * [backup-simplify]: Simplify 0 into 0 8.764 * [taylor]: Taking taylor expansion of 0 in a 8.764 * [backup-simplify]: Simplify 0 into 0 8.764 * [backup-simplify]: Simplify 0 into 0 8.764 * [backup-simplify]: Simplify 0 into 0 8.764 * [backup-simplify]: Simplify 0 into 0 8.764 * [taylor]: Taking taylor expansion of 0 in a 8.764 * [backup-simplify]: Simplify 0 into 0 8.764 * [backup-simplify]: Simplify 0 into 0 8.764 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 8.765 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.765 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 8.765 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.765 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.765 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.765 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.765 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.765 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.765 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.765 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.766 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.766 * [taylor]: Taking taylor expansion of 0 in a 8.766 * [backup-simplify]: Simplify 0 into 0 8.766 * [backup-simplify]: Simplify 0 into 0 8.766 * [backup-simplify]: Simplify 0 into 0 8.766 * [taylor]: Taking taylor expansion of 0 in a 8.766 * [backup-simplify]: Simplify 0 into 0 8.766 * [backup-simplify]: Simplify 0 into 0 8.766 * [backup-simplify]: Simplify 0 into 0 8.766 * [backup-simplify]: Simplify 0 into 0 8.766 * [taylor]: Taking taylor expansion of 0 in a 8.766 * [backup-simplify]: Simplify 0 into 0 8.766 * [backup-simplify]: Simplify 0 into 0 8.766 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 8.766 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 8.766 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.766 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 8.766 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.767 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.767 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.767 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.767 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.767 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.767 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.767 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.767 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.767 * [taylor]: Taking taylor expansion of 0 in a 8.767 * [backup-simplify]: Simplify 0 into 0 8.767 * [backup-simplify]: Simplify 0 into 0 8.767 * [backup-simplify]: Simplify 0 into 0 8.767 * [taylor]: Taking taylor expansion of 0 in a 8.767 * [backup-simplify]: Simplify 0 into 0 8.767 * [backup-simplify]: Simplify 0 into 0 8.767 * [backup-simplify]: Simplify 0 into 0 8.767 * [backup-simplify]: Simplify 0 into 0 8.768 * [taylor]: Taking taylor expansion of 0 in a 8.768 * [backup-simplify]: Simplify 0 into 0 8.768 * [backup-simplify]: Simplify 0 into 0 8.768 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.768 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.768 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 8.768 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.768 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.768 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.768 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.768 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.768 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.769 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.769 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.769 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.769 * [taylor]: Taking taylor expansion of 0 in a 8.769 * [backup-simplify]: Simplify 0 into 0 8.769 * [backup-simplify]: Simplify 0 into 0 8.769 * [backup-simplify]: Simplify 0 into 0 8.769 * [taylor]: Taking taylor expansion of 0 in a 8.769 * [backup-simplify]: Simplify 0 into 0 8.769 * [backup-simplify]: Simplify 0 into 0 8.769 * [backup-simplify]: Simplify 0 into 0 8.769 * [backup-simplify]: Simplify 0 into 0 8.769 * [taylor]: Taking taylor expansion of 0 in a 8.769 * [backup-simplify]: Simplify 0 into 0 8.769 * [backup-simplify]: Simplify 0 into 0 8.769 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 8.770 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.770 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 8.770 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.770 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.770 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.770 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.770 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.770 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.770 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.771 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.771 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.771 * [taylor]: Taking taylor expansion of 0 in a 8.771 * [backup-simplify]: Simplify 0 into 0 8.771 * [backup-simplify]: Simplify 0 into 0 8.771 * [backup-simplify]: Simplify 0 into 0 8.771 * [taylor]: Taking taylor expansion of 0 in a 8.771 * [backup-simplify]: Simplify 0 into 0 8.771 * [backup-simplify]: Simplify 0 into 0 8.771 * [backup-simplify]: Simplify 0 into 0 8.771 * [backup-simplify]: Simplify 0 into 0 8.771 * [taylor]: Taking taylor expansion of 0 in a 8.771 * [backup-simplify]: Simplify 0 into 0 8.771 * [backup-simplify]: Simplify 0 into 0 8.771 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 8.771 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1) 8.772 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.772 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 8.772 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 8.772 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.772 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.772 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.772 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 8.772 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.772 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.772 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.772 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 8.772 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.772 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.773 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.773 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 8.773 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.773 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.773 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.773 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.774 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 8.774 * [taylor]: Taking taylor expansion of 0 in a 8.774 * [backup-simplify]: Simplify 0 into 0 8.774 * [backup-simplify]: Simplify 0 into 0 8.775 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 8.775 * [backup-simplify]: Simplify 0 into 0 8.778 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 8.778 * [taylor]: Taking taylor expansion of 0 in a 8.778 * [backup-simplify]: Simplify 0 into 0 8.778 * [backup-simplify]: Simplify 0 into 0 8.778 * [backup-simplify]: Simplify 0 into 0 8.780 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 8.780 * [backup-simplify]: Simplify 0 into 0 8.783 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 8.783 * [taylor]: Taking taylor expansion of 0 in a 8.783 * [backup-simplify]: Simplify 0 into 0 8.783 * [backup-simplify]: Simplify 0 into 0 8.783 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.783 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.783 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 8.783 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 8.783 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.784 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.784 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.784 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 8.784 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.784 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.784 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.784 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 8.784 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.784 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.785 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.785 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 8.785 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.785 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.785 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.785 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.786 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 8.786 * [taylor]: Taking taylor expansion of 0 in a 8.786 * [backup-simplify]: Simplify 0 into 0 8.786 * [backup-simplify]: Simplify 0 into 0 8.787 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 8.787 * [backup-simplify]: Simplify 0 into 0 8.789 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 8.789 * [taylor]: Taking taylor expansion of 0 in a 8.789 * [backup-simplify]: Simplify 0 into 0 8.790 * [backup-simplify]: Simplify 0 into 0 8.790 * [backup-simplify]: Simplify 0 into 0 8.792 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 8.792 * [backup-simplify]: Simplify 0 into 0 8.795 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 8.795 * [taylor]: Taking taylor expansion of 0 in a 8.795 * [backup-simplify]: Simplify 0 into 0 8.795 * [backup-simplify]: Simplify 0 into 0 8.795 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 8.795 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.795 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 8.795 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 8.795 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.796 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.796 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.796 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 8.796 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.796 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.796 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.796 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 8.796 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.796 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.797 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.797 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 8.797 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.797 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.797 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.797 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.798 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 8.798 * [taylor]: Taking taylor expansion of 0 in a 8.798 * [backup-simplify]: Simplify 0 into 0 8.798 * [backup-simplify]: Simplify 0 into 0 8.799 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 8.799 * [backup-simplify]: Simplify 0 into 0 8.801 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 8.801 * [taylor]: Taking taylor expansion of 0 in a 8.801 * [backup-simplify]: Simplify 0 into 0 8.802 * [backup-simplify]: Simplify 0 into 0 8.802 * [backup-simplify]: Simplify 0 into 0 8.804 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 8.804 * [backup-simplify]: Simplify 0 into 0 8.807 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 8.807 * [taylor]: Taking taylor expansion of 0 in a 8.807 * [backup-simplify]: Simplify 0 into 0 8.807 * [backup-simplify]: Simplify 0 into 0 8.807 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 8.807 * * * [progress]: simplifying candidates 8.808 * [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 (log (fmod (cosh c) (log1p a)))) (log1p (log (fmod (cosh c) (log1p a)))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) 8.810 * * [simplify]: Extracting # 0 : cost 0 8.810 * * [simplify]: Extracting # 1 : cost 0 8.810 * * [simplify]: Extracting # 2 : cost 0 8.810 * * [simplify]: Extracting # 3 : cost 0 8.810 * * [simplify]: Extracting # 4 : cost 0 8.810 * * [simplify]: Extracting # 5 : cost 0 8.810 * * [simplify]: Extracting # 6 : cost 0 8.810 * * [simplify]: iteration 0 : 28 enodes (cost 412 ) 8.816 * * [simplify]: Extracting # 0 : cost 0 8.816 * * [simplify]: Extracting # 1 : cost 0 8.816 * * [simplify]: Extracting # 2 : cost 0 8.817 * * [simplify]: Extracting # 3 : cost 0 8.817 * * [simplify]: Extracting # 4 : cost 0 8.817 * * [simplify]: Extracting # 5 : cost 0 8.817 * * [simplify]: Extracting # 6 : cost 0 8.817 * * [simplify]: iteration 1 : 42 enodes (cost 409 ) 8.822 * * [simplify]: Extracting # 0 : cost 0 8.822 * * [simplify]: Extracting # 1 : cost 0 8.822 * * [simplify]: Extracting # 2 : cost 0 8.822 * * [simplify]: Extracting # 3 : cost 0 8.822 * * [simplify]: iteration 2 : 59 enodes (cost 362 ) 8.829 * * [simplify]: Extracting # 0 : cost 0 8.829 * * [simplify]: Extracting # 1 : cost 0 8.829 * * [simplify]: Extracting # 2 : cost 0 8.829 * * [simplify]: Extracting # 3 : cost 0 8.829 * * [simplify]: Extracting # 4 : cost 0 8.829 * * [simplify]: iteration 3 : 73 enodes (cost 362 ) 8.840 * * [simplify]: Extracting # 0 : cost 0 8.840 * * [simplify]: Extracting # 1 : cost 0 8.840 * * [simplify]: Extracting # 2 : cost 0 8.840 * * [simplify]: Extracting # 3 : cost 0 8.840 * * [simplify]: iteration 4 : 94 enodes (cost 362 ) 8.873 * * [simplify]: Extracting # 0 : cost 0 8.873 * * [simplify]: Extracting # 1 : cost 0 8.873 * * [simplify]: Extracting # 2 : cost 0 8.873 * * [simplify]: Extracting # 3 : cost 0 8.874 * * [simplify]: Extracting # 4 : cost 0 8.874 * * [simplify]: iteration 5 : 169 enodes (cost 362 ) 8.926 * * [simplify]: Extracting # 0 : cost 0 8.926 * * [simplify]: Extracting # 1 : cost 0 8.927 * * [simplify]: Extracting # 2 : cost 0 8.927 * * [simplify]: Extracting # 3 : cost 0 8.927 * * [simplify]: Extracting # 4 : cost 0 8.927 * * [simplify]: iteration 6 : 331 enodes (cost 362 ) 9.053 * * [simplify]: Extracting # 0 : cost 0 9.054 * * [simplify]: Extracting # 1 : cost 0 9.054 * * [simplify]: Extracting # 2 : cost 0 9.055 * * [simplify]: Extracting # 3 : cost 0 9.055 * * [simplify]: Extracting # 4 : cost 0 9.055 * * [simplify]: iteration 7 : 742 enodes (cost 362 ) 9.492 * * [simplify]: Extracting # 0 : cost 0 9.495 * * [simplify]: Extracting # 1 : cost 0 9.498 * * [simplify]: Extracting # 2 : cost 0 9.501 * * [simplify]: Extracting # 3 : cost 0 9.503 * * [simplify]: Extracting # 4 : cost 0 9.505 * * [simplify]: iteration 8 : 2324 enodes (cost 362 ) 10.392 * * [simplify]: Extracting # 0 : cost 0 10.413 * * [simplify]: Extracting # 1 : cost 0 10.420 * * [simplify]: Extracting # 2 : cost 0 10.429 * * [simplify]: Extracting # 3 : cost 0 10.437 * * [simplify]: Extracting # 4 : cost 0 10.445 * * [simplify]: iteration done: 5000 enodes (cost 362 ) 10.445 * [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 (log (fmod (cosh c) (log1p a)))) (log1p (log (fmod (cosh c) (log1p a)))) (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) 0 (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 3) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) 10.446 * * * [progress]: adding candidates to table 10.860 * [progress]: [Phase 3 of 3] Extracting. 10.860 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # #) 10.869 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a) 10.870 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # # # # # # # # # #) 11.004 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # # # # # # # # # #) 11.097 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # # # # # # # # #) 11.249 * * * * [regimes]: Trying to branch on c from (# # # # # # # # # # # # # # # #) 11.344 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # # # # #) 11.453 * * * [regime]: Found split indices: #