0.077 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.778 * * * [progress]: [2/2] Setting up program. 0.786 * [progress]: [Phase 2 of 3] Improving. 0.789 * [simplify]: Simplifying: (fmod (cosh c) (log1p a)) 0.792 * * [simplify]: Extracting # 0 : cost 0 0.792 * * [simplify]: Extracting # 1 : cost 0 0.792 * * [simplify]: Extracting # 2 : cost 0 0.793 * * [simplify]: Extracting # 3 : cost 0 0.793 * * [simplify]: Extracting # 4 : cost 0 0.793 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.801 * * [simplify]: Extracting # 0 : cost 0 0.801 * * [simplify]: Extracting # 1 : cost 0 0.801 * * [simplify]: Extracting # 2 : cost 0 0.801 * * [simplify]: Extracting # 3 : cost 0 0.801 * * [simplify]: Extracting # 4 : cost 0 0.801 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 0.805 * * [simplify]: Extracting # 0 : cost 0 0.805 * * [simplify]: Extracting # 1 : cost 0 0.805 * * [simplify]: Extracting # 2 : cost 0 0.805 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 0.861 * * [simplify]: Extracting # 0 : cost 0 0.861 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 0.863 * * [simplify]: Extracting # 0 : cost 0 0.863 * * [simplify]: iteration done: 16 enodes (cost 5 ) 0.863 * [simplify]: Simplified to: (fmod (cosh c) (log1p a)) 0.865 * * [progress]: iteration 1 / 4 0.865 * * * [progress]: picking best candidate 0.867 * * * * [pick]: Picked # 0.867 * * * [progress]: localizing error 0.884 * * * [progress]: generating rewritten candidates 0.884 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.887 * * * [progress]: generating series expansions 0.887 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.890 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.890 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.891 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.892 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.892 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.892 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.893 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.893 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.893 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.893 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.893 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.893 * [taylor]: Taking taylor expansion of 0 in a 0.894 * [backup-simplify]: Simplify 0 into 0 0.894 * [backup-simplify]: Simplify 0 into 0 0.894 * [backup-simplify]: Simplify 0 into 0 0.894 * [taylor]: Taking taylor expansion of 0 in a 0.894 * [backup-simplify]: Simplify 0 into 0 0.894 * [backup-simplify]: Simplify 0 into 0 0.894 * [backup-simplify]: Simplify 0 into 0 0.894 * [backup-simplify]: Simplify 0 into 0 0.894 * [taylor]: Taking taylor expansion of 0 in a 0.894 * [backup-simplify]: Simplify 0 into 0 0.894 * [backup-simplify]: Simplify 0 into 0 0.894 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.896 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.896 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 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 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 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 (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 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 (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.897 * [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.897 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.897 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.897 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.897 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.897 * [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.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 * [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 0 in a 0.898 * [backup-simplify]: Simplify 0 into 0 0.898 * [backup-simplify]: Simplify 0 into 0 0.898 * [backup-simplify]: Simplify 0 into 0 0.898 * [taylor]: Taking taylor expansion of 0 in a 0.898 * [backup-simplify]: Simplify 0 into 0 0.898 * [backup-simplify]: Simplify 0 into 0 0.898 * [backup-simplify]: Simplify 0 into 0 0.898 * [backup-simplify]: Simplify 0 into 0 0.898 * [taylor]: Taking taylor expansion of 0 in a 0.898 * [backup-simplify]: Simplify 0 into 0 0.898 * [backup-simplify]: Simplify 0 into 0 0.898 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.898 * * * [progress]: simplifying candidates 0.899 * [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.933 * * [simplify]: Extracting # 0 : cost 0 0.934 * * [simplify]: Extracting # 1 : cost 0 0.934 * * [simplify]: Extracting # 2 : cost 0 0.934 * * [simplify]: Extracting # 3 : cost 0 0.934 * * [simplify]: Extracting # 4 : cost 0 0.934 * * [simplify]: Extracting # 5 : cost 0 0.934 * * [simplify]: Extracting # 6 : cost 0 0.934 * * [simplify]: iteration 0 : 14 enodes (cost 87 ) 0.940 * * [simplify]: Extracting # 0 : cost 0 0.940 * * [simplify]: Extracting # 1 : cost 0 0.940 * * [simplify]: Extracting # 2 : cost 0 0.940 * * [simplify]: Extracting # 3 : cost 0 0.940 * * [simplify]: Extracting # 4 : cost 0 0.941 * * [simplify]: Extracting # 5 : cost 0 0.941 * * [simplify]: iteration 1 : 21 enodes (cost 87 ) 0.949 * * [simplify]: Extracting # 0 : cost 0 0.949 * * [simplify]: Extracting # 1 : cost 0 0.949 * * [simplify]: Extracting # 2 : cost 0 0.949 * * [simplify]: iteration 2 : 26 enodes (cost 77 ) 0.962 * * [simplify]: Extracting # 0 : cost 0 0.962 * * [simplify]: Extracting # 1 : cost 0 0.962 * * [simplify]: Extracting # 2 : cost 0 0.962 * * [simplify]: Extracting # 3 : cost 0 0.962 * * [simplify]: Extracting # 4 : cost 0 0.962 * * [simplify]: iteration 3 : 32 enodes (cost 77 ) 0.973 * * [simplify]: Extracting # 0 : cost 0 0.974 * * [simplify]: Extracting # 1 : cost 0 0.974 * * [simplify]: Extracting # 2 : cost 0 0.974 * * [simplify]: Extracting # 3 : cost 0 0.974 * * [simplify]: Extracting # 4 : cost 0 0.974 * * [simplify]: iteration 4 : 38 enodes (cost 77 ) 1.021 * * [simplify]: Extracting # 0 : cost 0 1.021 * * [simplify]: Extracting # 1 : cost 0 1.021 * * [simplify]: Extracting # 2 : cost 0 1.022 * * [simplify]: Extracting # 3 : cost 0 1.022 * * [simplify]: Extracting # 4 : cost 0 1.022 * * [simplify]: iteration 5 : 48 enodes (cost 77 ) 1.044 * * [simplify]: Extracting # 0 : cost 0 1.045 * * [simplify]: Extracting # 1 : cost 0 1.045 * * [simplify]: Extracting # 2 : cost 0 1.045 * * [simplify]: Extracting # 3 : cost 0 1.045 * * [simplify]: iteration 6 : 69 enodes (cost 77 ) 1.119 * * [simplify]: Extracting # 0 : cost 0 1.119 * * [simplify]: Extracting # 1 : cost 0 1.120 * * [simplify]: Extracting # 2 : cost 0 1.120 * * [simplify]: Extracting # 3 : cost 0 1.120 * * [simplify]: iteration 7 : 147 enodes (cost 77 ) 1.277 * * [simplify]: Extracting # 0 : cost 0 1.277 * * [simplify]: Extracting # 1 : cost 0 1.278 * * [simplify]: Extracting # 2 : cost 0 1.278 * * [simplify]: Extracting # 3 : cost 0 1.279 * * [simplify]: Extracting # 4 : cost 0 1.279 * * [simplify]: iteration 8 : 440 enodes (cost 77 ) 2.196 * * [simplify]: Extracting # 0 : cost 0 2.197 * * [simplify]: Extracting # 1 : cost 0 2.198 * * [simplify]: Extracting # 2 : cost 0 2.199 * * [simplify]: Extracting # 3 : cost 0 2.200 * * [simplify]: Extracting # 4 : cost 0 2.206 * * [simplify]: iteration 9 : 1834 enodes (cost 77 ) 3.349 * * [simplify]: Extracting # 0 : cost 0 3.357 * * [simplify]: Extracting # 1 : cost 0 3.367 * * [simplify]: Extracting # 2 : cost 0 3.377 * * [simplify]: Extracting # 3 : cost 0 3.387 * * [simplify]: iteration done: 5000 enodes (cost 77 ) 3.387 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 3.388 * * * [progress]: adding candidates to table 3.454 * * [progress]: iteration 2 / 4 3.454 * * * [progress]: picking best candidate 3.479 * * * * [pick]: Picked # 3.479 * * * [progress]: localizing error 3.496 * * * [progress]: generating rewritten candidates 3.496 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 3.497 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 3.500 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 3.504 * * * [progress]: generating series expansions 3.504 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 3.504 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.504 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.504 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.504 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.504 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.504 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.504 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.504 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.505 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.505 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.505 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.505 * [taylor]: Taking taylor expansion of 0 in a 3.505 * [backup-simplify]: Simplify 0 into 0 3.505 * [backup-simplify]: Simplify 0 into 0 3.505 * [backup-simplify]: Simplify 0 into 0 3.505 * [taylor]: Taking taylor expansion of 0 in a 3.505 * [backup-simplify]: Simplify 0 into 0 3.505 * [backup-simplify]: Simplify 0 into 0 3.505 * [backup-simplify]: Simplify 0 into 0 3.505 * [backup-simplify]: Simplify 0 into 0 3.505 * [taylor]: Taking taylor expansion of 0 in a 3.505 * [backup-simplify]: Simplify 0 into 0 3.505 * [backup-simplify]: Simplify 0 into 0 3.505 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.505 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.505 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.505 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.505 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.505 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.506 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.506 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.506 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.506 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.506 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.506 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.506 * [taylor]: Taking taylor expansion of 0 in a 3.506 * [backup-simplify]: Simplify 0 into 0 3.506 * [backup-simplify]: Simplify 0 into 0 3.506 * [backup-simplify]: Simplify 0 into 0 3.506 * [taylor]: Taking taylor expansion of 0 in a 3.506 * [backup-simplify]: Simplify 0 into 0 3.506 * [backup-simplify]: Simplify 0 into 0 3.506 * [backup-simplify]: Simplify 0 into 0 3.506 * [backup-simplify]: Simplify 0 into 0 3.506 * [taylor]: Taking taylor expansion of 0 in a 3.506 * [backup-simplify]: Simplify 0 into 0 3.506 * [backup-simplify]: Simplify 0 into 0 3.506 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.507 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.507 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.507 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.507 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.507 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.507 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.507 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.507 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.507 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.507 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.507 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.507 * [taylor]: Taking taylor expansion of 0 in a 3.507 * [backup-simplify]: Simplify 0 into 0 3.507 * [backup-simplify]: Simplify 0 into 0 3.507 * [backup-simplify]: Simplify 0 into 0 3.507 * [taylor]: Taking taylor expansion of 0 in a 3.508 * [backup-simplify]: Simplify 0 into 0 3.508 * [backup-simplify]: Simplify 0 into 0 3.508 * [backup-simplify]: Simplify 0 into 0 3.508 * [backup-simplify]: Simplify 0 into 0 3.508 * [taylor]: Taking taylor expansion of 0 in a 3.508 * [backup-simplify]: Simplify 0 into 0 3.508 * [backup-simplify]: Simplify 0 into 0 3.508 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.508 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 3.508 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.508 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 3.508 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 3.508 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.508 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.508 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.508 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 3.508 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.508 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.508 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.508 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 3.508 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.508 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.509 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.509 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 3.509 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.509 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.509 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.509 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.511 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 3.511 * [taylor]: Taking taylor expansion of 0 in a 3.511 * [backup-simplify]: Simplify 0 into 0 3.511 * [backup-simplify]: Simplify 0 into 0 3.511 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 3.511 * [backup-simplify]: Simplify 0 into 0 3.513 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 3.513 * [taylor]: Taking taylor expansion of 0 in a 3.513 * [backup-simplify]: Simplify 0 into 0 3.513 * [backup-simplify]: Simplify 0 into 0 3.513 * [backup-simplify]: Simplify 0 into 0 3.515 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 3.515 * [backup-simplify]: Simplify 0 into 0 3.517 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 3.517 * [taylor]: Taking taylor expansion of 0 in a 3.517 * [backup-simplify]: Simplify 0 into 0 3.517 * [backup-simplify]: Simplify 0 into 0 3.517 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.517 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.517 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 3.517 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.517 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.517 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.517 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.517 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.517 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.518 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.518 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.518 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.518 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.518 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.518 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.518 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.518 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.518 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.518 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.519 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.520 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 3.520 * [taylor]: Taking taylor expansion of 0 in a 3.520 * [backup-simplify]: Simplify 0 into 0 3.520 * [backup-simplify]: Simplify 0 into 0 3.521 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 3.521 * [backup-simplify]: Simplify 0 into 0 3.523 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 3.523 * [taylor]: Taking taylor expansion of 0 in a 3.523 * [backup-simplify]: Simplify 0 into 0 3.523 * [backup-simplify]: Simplify 0 into 0 3.523 * [backup-simplify]: Simplify 0 into 0 3.526 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 3.526 * [backup-simplify]: Simplify 0 into 0 3.529 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 3.529 * [taylor]: Taking taylor expansion of 0 in a 3.529 * [backup-simplify]: Simplify 0 into 0 3.529 * [backup-simplify]: Simplify 0 into 0 3.530 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 3.530 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.530 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 3.530 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.530 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.530 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.530 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.530 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.531 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.531 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.531 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.531 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.531 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.531 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.531 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.531 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.531 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.532 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.532 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.532 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.533 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 3.533 * [taylor]: Taking taylor expansion of 0 in a 3.533 * [backup-simplify]: Simplify 0 into 0 3.533 * [backup-simplify]: Simplify 0 into 0 3.534 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 3.534 * [backup-simplify]: Simplify 0 into 0 3.537 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 3.537 * [taylor]: Taking taylor expansion of 0 in a 3.537 * [backup-simplify]: Simplify 0 into 0 3.537 * [backup-simplify]: Simplify 0 into 0 3.537 * [backup-simplify]: Simplify 0 into 0 3.539 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 3.539 * [backup-simplify]: Simplify 0 into 0 3.543 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 3.543 * [taylor]: Taking taylor expansion of 0 in a 3.543 * [backup-simplify]: Simplify 0 into 0 3.543 * [backup-simplify]: Simplify 0 into 0 3.543 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 3.543 * * * * [progress]: [ 3 / 3 ] generating series at (2) 3.543 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 3.543 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.543 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.544 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.544 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.544 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.544 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.544 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.544 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.544 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.544 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.544 * [taylor]: Taking taylor expansion of 0 in a 3.544 * [backup-simplify]: Simplify 0 into 0 3.544 * [backup-simplify]: Simplify 0 into 0 3.544 * [backup-simplify]: Simplify 0 into 0 3.544 * [taylor]: Taking taylor expansion of 0 in a 3.544 * [backup-simplify]: Simplify 0 into 0 3.544 * [backup-simplify]: Simplify 0 into 0 3.544 * [backup-simplify]: Simplify 0 into 0 3.545 * [backup-simplify]: Simplify 0 into 0 3.545 * [taylor]: Taking taylor expansion of 0 in a 3.545 * [backup-simplify]: Simplify 0 into 0 3.545 * [backup-simplify]: Simplify 0 into 0 3.545 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.545 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.545 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.545 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.545 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.545 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.545 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.545 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.546 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.546 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.546 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.546 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.546 * [taylor]: Taking taylor expansion of 0 in a 3.546 * [backup-simplify]: Simplify 0 into 0 3.546 * [backup-simplify]: Simplify 0 into 0 3.546 * [backup-simplify]: Simplify 0 into 0 3.546 * [taylor]: Taking taylor expansion of 0 in a 3.546 * [backup-simplify]: Simplify 0 into 0 3.546 * [backup-simplify]: Simplify 0 into 0 3.546 * [backup-simplify]: Simplify 0 into 0 3.546 * [backup-simplify]: Simplify 0 into 0 3.546 * [taylor]: Taking taylor expansion of 0 in a 3.546 * [backup-simplify]: Simplify 0 into 0 3.546 * [backup-simplify]: Simplify 0 into 0 3.547 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.547 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.547 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.547 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.547 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.547 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.547 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.547 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.548 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.548 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.548 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.548 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.548 * [taylor]: Taking taylor expansion of 0 in a 3.548 * [backup-simplify]: Simplify 0 into 0 3.548 * [backup-simplify]: Simplify 0 into 0 3.548 * [backup-simplify]: Simplify 0 into 0 3.548 * [taylor]: Taking taylor expansion of 0 in a 3.548 * [backup-simplify]: Simplify 0 into 0 3.548 * [backup-simplify]: Simplify 0 into 0 3.548 * [backup-simplify]: Simplify 0 into 0 3.548 * [backup-simplify]: Simplify 0 into 0 3.548 * [taylor]: Taking taylor expansion of 0 in a 3.549 * [backup-simplify]: Simplify 0 into 0 3.549 * [backup-simplify]: Simplify 0 into 0 3.549 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.549 * * * [progress]: simplifying candidates 3.550 * [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)) 3.551 * * [simplify]: Extracting # 0 : cost 0 3.552 * * [simplify]: Extracting # 1 : cost 0 3.552 * * [simplify]: Extracting # 2 : cost 0 3.552 * * [simplify]: Extracting # 3 : cost 0 3.552 * * [simplify]: Extracting # 4 : cost 0 3.552 * * [simplify]: Extracting # 5 : cost 0 3.552 * * [simplify]: Extracting # 6 : cost 0 3.552 * * [simplify]: Extracting # 7 : cost 0 3.552 * * [simplify]: iteration 0 : 44 enodes (cost 426 ) 3.576 * * [simplify]: Extracting # 0 : cost 0 3.577 * * [simplify]: Extracting # 1 : cost 0 3.577 * * [simplify]: Extracting # 2 : cost 0 3.577 * * [simplify]: Extracting # 3 : cost 0 3.577 * * [simplify]: Extracting # 4 : cost 0 3.577 * * [simplify]: Extracting # 5 : cost 0 3.577 * * [simplify]: iteration 1 : 60 enodes (cost 385 ) 3.590 * * [simplify]: Extracting # 0 : cost 0 3.591 * * [simplify]: Extracting # 1 : cost 0 3.591 * * [simplify]: Extracting # 2 : cost 0 3.591 * * [simplify]: Extracting # 3 : cost 0 3.591 * * [simplify]: iteration 2 : 74 enodes (cost 339 ) 3.610 * * [simplify]: Extracting # 0 : cost 0 3.610 * * [simplify]: Extracting # 1 : cost 0 3.611 * * [simplify]: Extracting # 2 : cost 0 3.611 * * [simplify]: Extracting # 3 : cost 0 3.611 * * [simplify]: Extracting # 4 : cost 0 3.611 * * [simplify]: iteration 3 : 93 enodes (cost 339 ) 3.628 * * [simplify]: Extracting # 0 : cost 0 3.628 * * [simplify]: Extracting # 1 : cost 0 3.628 * * [simplify]: Extracting # 2 : cost 0 3.628 * * [simplify]: Extracting # 3 : cost 0 3.629 * * [simplify]: Extracting # 4 : cost 0 3.629 * * [simplify]: iteration 4 : 134 enodes (cost 333 ) 3.667 * * [simplify]: Extracting # 0 : cost 0 3.667 * * [simplify]: Extracting # 1 : cost 0 3.668 * * [simplify]: Extracting # 2 : cost 0 3.668 * * [simplify]: Extracting # 3 : cost 0 3.668 * * [simplify]: Extracting # 4 : cost 0 3.669 * * [simplify]: iteration 5 : 218 enodes (cost 333 ) 3.757 * * [simplify]: Extracting # 0 : cost 0 3.758 * * [simplify]: Extracting # 1 : cost 0 3.758 * * [simplify]: Extracting # 2 : cost 0 3.758 * * [simplify]: Extracting # 3 : cost 0 3.759 * * [simplify]: Extracting # 4 : cost 0 3.759 * * [simplify]: iteration 6 : 426 enodes (cost 333 ) 4.101 * * [simplify]: Extracting # 0 : cost 0 4.102 * * [simplify]: Extracting # 1 : cost 0 4.103 * * [simplify]: Extracting # 2 : cost 0 4.104 * * [simplify]: Extracting # 3 : cost 0 4.105 * * [simplify]: Extracting # 4 : cost 0 4.106 * * [simplify]: iteration 7 : 1209 enodes (cost 333 ) 6.238 * * [simplify]: Extracting # 0 : cost 0 6.242 * * [simplify]: Extracting # 1 : cost 0 6.245 * * [simplify]: Extracting # 2 : cost 0 6.248 * * [simplify]: Extracting # 3 : cost 0 6.251 * * [simplify]: Extracting # 4 : cost 0 6.255 * * [simplify]: Extracting # 5 : cost 0 6.258 * * [simplify]: iteration 8 : 4524 enodes (cost 333 ) 8.000 * * [simplify]: Extracting # 0 : cost 0 8.008 * * [simplify]: Extracting # 1 : cost 0 8.015 * * [simplify]: Extracting # 2 : cost 0 8.023 * * [simplify]: Extracting # 3 : cost 0 8.029 * * [simplify]: iteration done: 5001 enodes (cost 333 ) 8.030 * [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)) 8.030 * * * [progress]: adding candidates to table 8.220 * * [progress]: iteration 3 / 4 8.220 * * * [progress]: picking best candidate 8.274 * * * * [pick]: Picked # 8.274 * * * [progress]: localizing error 8.291 * * * [progress]: generating rewritten candidates 8.292 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 8.292 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 8.298 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 8.302 * * * [progress]: generating series expansions 8.302 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 8.303 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.303 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 8.303 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.303 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.303 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.303 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.303 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.303 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.303 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.303 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.303 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.303 * [taylor]: Taking taylor expansion of 0 in a 8.303 * [backup-simplify]: Simplify 0 into 0 8.303 * [backup-simplify]: Simplify 0 into 0 8.303 * [backup-simplify]: Simplify 0 into 0 8.303 * [taylor]: Taking taylor expansion of 0 in a 8.303 * [backup-simplify]: Simplify 0 into 0 8.303 * [backup-simplify]: Simplify 0 into 0 8.303 * [backup-simplify]: Simplify 0 into 0 8.303 * [backup-simplify]: Simplify 0 into 0 8.303 * [taylor]: Taking taylor expansion of 0 in a 8.303 * [backup-simplify]: Simplify 0 into 0 8.303 * [backup-simplify]: Simplify 0 into 0 8.303 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.304 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.304 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 8.304 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.304 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.304 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.304 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.304 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.304 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.304 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.304 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.304 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.304 * [taylor]: Taking taylor expansion of 0 in a 8.304 * [backup-simplify]: Simplify 0 into 0 8.304 * [backup-simplify]: Simplify 0 into 0 8.304 * [backup-simplify]: Simplify 0 into 0 8.304 * [taylor]: Taking taylor expansion of 0 in a 8.304 * [backup-simplify]: Simplify 0 into 0 8.304 * [backup-simplify]: Simplify 0 into 0 8.304 * [backup-simplify]: Simplify 0 into 0 8.304 * [backup-simplify]: Simplify 0 into 0 8.304 * [taylor]: Taking taylor expansion of 0 in a 8.304 * [backup-simplify]: Simplify 0 into 0 8.304 * [backup-simplify]: Simplify 0 into 0 8.304 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 8.305 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.305 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 8.305 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.305 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.305 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.305 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.305 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.305 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.305 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.305 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.305 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.305 * [taylor]: Taking taylor expansion of 0 in a 8.305 * [backup-simplify]: Simplify 0 into 0 8.305 * [backup-simplify]: Simplify 0 into 0 8.305 * [backup-simplify]: Simplify 0 into 0 8.305 * [taylor]: Taking taylor expansion of 0 in a 8.305 * [backup-simplify]: Simplify 0 into 0 8.305 * [backup-simplify]: Simplify 0 into 0 8.305 * [backup-simplify]: Simplify 0 into 0 8.305 * [backup-simplify]: Simplify 0 into 0 8.305 * [taylor]: Taking taylor expansion of 0 in a 8.305 * [backup-simplify]: Simplify 0 into 0 8.305 * [backup-simplify]: Simplify 0 into 0 8.306 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 8.306 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 8.306 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.306 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 8.306 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 8.306 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.306 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.306 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.306 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 8.306 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.306 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.306 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.306 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 8.306 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.306 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.306 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.306 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 8.306 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.306 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.306 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.307 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.307 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 8.307 * [taylor]: Taking taylor expansion of 0 in a 8.307 * [backup-simplify]: Simplify 0 into 0 8.307 * [backup-simplify]: Simplify 0 into 0 8.308 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 8.308 * [backup-simplify]: Simplify 0 into 0 8.309 * [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.309 * [taylor]: Taking taylor expansion of 0 in a 8.309 * [backup-simplify]: Simplify 0 into 0 8.310 * [backup-simplify]: Simplify 0 into 0 8.310 * [backup-simplify]: Simplify 0 into 0 8.311 * [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.311 * [backup-simplify]: Simplify 0 into 0 8.313 * [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.313 * [taylor]: Taking taylor expansion of 0 in a 8.313 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.313 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.313 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 8.313 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 8.313 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.313 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.313 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.313 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 8.313 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.313 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.313 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.313 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 8.313 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.314 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.314 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 8.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.314 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.314 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.315 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 8.315 * [taylor]: Taking taylor expansion of 0 in a 8.315 * [backup-simplify]: Simplify 0 into 0 8.315 * [backup-simplify]: Simplify 0 into 0 8.315 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 8.315 * [backup-simplify]: Simplify 0 into 0 8.316 * [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.317 * [taylor]: Taking taylor expansion of 0 in a 8.317 * [backup-simplify]: Simplify 0 into 0 8.317 * [backup-simplify]: Simplify 0 into 0 8.317 * [backup-simplify]: Simplify 0 into 0 8.318 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 8.318 * [backup-simplify]: Simplify 0 into 0 8.321 * [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.321 * [taylor]: Taking taylor expansion of 0 in a 8.321 * [backup-simplify]: Simplify 0 into 0 8.321 * [backup-simplify]: Simplify 0 into 0 8.322 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 8.322 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.322 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 8.322 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 8.322 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.322 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.322 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.322 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 8.322 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.322 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.322 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.322 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 8.322 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.323 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.323 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.323 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 8.323 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.323 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.323 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.323 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.324 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 8.324 * [taylor]: Taking taylor expansion of 0 in a 8.324 * [backup-simplify]: Simplify 0 into 0 8.324 * [backup-simplify]: Simplify 0 into 0 8.325 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 8.325 * [backup-simplify]: Simplify 0 into 0 8.326 * [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.326 * [taylor]: Taking taylor expansion of 0 in a 8.326 * [backup-simplify]: Simplify 0 into 0 8.326 * [backup-simplify]: Simplify 0 into 0 8.326 * [backup-simplify]: Simplify 0 into 0 8.327 * [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.327 * [backup-simplify]: Simplify 0 into 0 8.329 * [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.329 * [taylor]: Taking taylor expansion of 0 in a 8.329 * [backup-simplify]: Simplify 0 into 0 8.329 * [backup-simplify]: Simplify 0 into 0 8.329 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 8.329 * * * * [progress]: [ 3 / 3 ] generating series at (2) 8.330 * [backup-simplify]: Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a)))) 8.330 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0 8.330 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a 8.330 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a 8.330 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a 8.330 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 8.330 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.330 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.330 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.330 * [taylor]: Taking taylor expansion of (log E) in a 8.330 * [taylor]: Taking taylor expansion of E in a 8.330 * [backup-simplify]: Simplify E into E 8.330 * [backup-simplify]: Simplify (log E) into 1 8.330 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 8.330 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 8.330 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 8.330 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 8.330 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 8.330 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 8.330 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.330 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.331 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.331 * [taylor]: Taking taylor expansion of (log E) in c 8.331 * [taylor]: Taking taylor expansion of E in c 8.331 * [backup-simplify]: Simplify E into E 8.331 * [backup-simplify]: Simplify (log E) into 1 8.331 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 8.331 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 8.331 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 8.331 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 8.331 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 8.331 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 8.331 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 8.331 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.331 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 8.331 * [taylor]: Taking taylor expansion of (log E) in c 8.331 * [taylor]: Taking taylor expansion of E in c 8.331 * [backup-simplify]: Simplify E into E 8.331 * [backup-simplify]: Simplify (log E) into 1 8.331 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 8.331 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 8.331 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 8.331 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.332 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.333 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 8.333 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 8.334 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0 8.335 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0 8.335 * [taylor]: Taking taylor expansion of 0 in a 8.335 * [backup-simplify]: Simplify 0 into 0 8.335 * [backup-simplify]: Simplify 0 into 0 8.335 * [backup-simplify]: Simplify 0 into 0 8.336 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 8.338 * [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.338 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0 8.339 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 8.339 * [taylor]: Taking taylor expansion of 0 in a 8.339 * [backup-simplify]: Simplify 0 into 0 8.339 * [backup-simplify]: Simplify 0 into 0 8.339 * [backup-simplify]: Simplify 0 into 0 8.339 * [backup-simplify]: Simplify 0 into 0 8.342 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 8.344 * [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.345 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.346 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 8.346 * [taylor]: Taking taylor expansion of 0 in a 8.346 * [backup-simplify]: Simplify 0 into 0 8.346 * [backup-simplify]: Simplify 0 into 0 8.346 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 8.346 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 8.346 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0 8.346 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 8.346 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a 8.346 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a 8.346 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 8.346 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.346 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.347 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.347 * [taylor]: Taking taylor expansion of (log E) in a 8.347 * [taylor]: Taking taylor expansion of E in a 8.347 * [backup-simplify]: Simplify E into E 8.347 * [backup-simplify]: Simplify (log E) into 1 8.347 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.347 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.347 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 8.347 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 8.347 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 8.347 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 8.347 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.347 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.347 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.347 * [taylor]: Taking taylor expansion of (log E) in c 8.347 * [taylor]: Taking taylor expansion of E in c 8.347 * [backup-simplify]: Simplify E into E 8.347 * [backup-simplify]: Simplify (log E) into 1 8.347 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.347 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.347 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 8.348 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 8.348 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 8.348 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 8.348 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 8.348 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.348 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.348 * [taylor]: Taking taylor expansion of (log E) in c 8.348 * [taylor]: Taking taylor expansion of E in c 8.348 * [backup-simplify]: Simplify E into E 8.348 * [backup-simplify]: Simplify (log E) into 1 8.348 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 8.348 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.348 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 8.348 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.348 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 8.349 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 8.350 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 8.350 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0 8.351 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 8.351 * [taylor]: Taking taylor expansion of 0 in a 8.351 * [backup-simplify]: Simplify 0 into 0 8.351 * [backup-simplify]: Simplify 0 into 0 8.351 * [backup-simplify]: Simplify 0 into 0 8.353 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 8.354 * [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.355 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 8.357 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 8.357 * [taylor]: Taking taylor expansion of 0 in a 8.357 * [backup-simplify]: Simplify 0 into 0 8.357 * [backup-simplify]: Simplify 0 into 0 8.357 * [backup-simplify]: Simplify 0 into 0 8.357 * [backup-simplify]: Simplify 0 into 0 8.363 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 8.366 * [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.367 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.369 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 8.369 * [taylor]: Taking taylor expansion of 0 in a 8.369 * [backup-simplify]: Simplify 0 into 0 8.369 * [backup-simplify]: Simplify 0 into 0 8.369 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 8.370 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 8.370 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0 8.370 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 8.370 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a 8.370 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a 8.370 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 8.370 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.370 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.370 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.370 * [taylor]: Taking taylor expansion of (log E) in a 8.370 * [taylor]: Taking taylor expansion of E in a 8.370 * [backup-simplify]: Simplify E into E 8.370 * [backup-simplify]: Simplify (log E) into 1 8.370 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.371 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.371 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 8.371 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 8.371 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 8.371 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 8.371 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.371 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.371 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.371 * [taylor]: Taking taylor expansion of (log E) in c 8.371 * [taylor]: Taking taylor expansion of E in c 8.371 * [backup-simplify]: Simplify E into E 8.371 * [backup-simplify]: Simplify (log E) into 1 8.372 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.372 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.372 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 8.372 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 8.372 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 8.372 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 8.372 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 8.372 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.372 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.372 * [taylor]: Taking taylor expansion of (log E) in c 8.372 * [taylor]: Taking taylor expansion of E in c 8.372 * [backup-simplify]: Simplify E into E 8.373 * [backup-simplify]: Simplify (log E) into 1 8.373 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 8.373 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.373 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 8.374 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.374 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 8.376 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 8.377 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 8.377 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0 8.379 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 8.379 * [taylor]: Taking taylor expansion of 0 in a 8.379 * [backup-simplify]: Simplify 0 into 0 8.379 * [backup-simplify]: Simplify 0 into 0 8.379 * [backup-simplify]: Simplify 0 into 0 8.382 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 8.384 * [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.385 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 8.386 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 8.386 * [taylor]: Taking taylor expansion of 0 in a 8.386 * [backup-simplify]: Simplify 0 into 0 8.386 * [backup-simplify]: Simplify 0 into 0 8.386 * [backup-simplify]: Simplify 0 into 0 8.387 * [backup-simplify]: Simplify 0 into 0 8.392 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 8.396 * [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.397 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.399 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 8.399 * [taylor]: Taking taylor expansion of 0 in a 8.399 * [backup-simplify]: Simplify 0 into 0 8.399 * [backup-simplify]: Simplify 0 into 0 8.399 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 8.399 * * * [progress]: simplifying candidates 8.401 * [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 (pow E (log (fmod (cosh c) (log1p a))))) (log1p (pow E (log (fmod (cosh c) (log1p a))))) (* 1 (log (fmod (cosh c) (log1p a)))) (* (log E) (log (fmod (cosh c) (log1p a)))) (* (log E) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a)))) (pow E 1) (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (pow E 1) (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a)))) (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow 1 (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a)))) (log (pow E (log (fmod (cosh c) (log1p a))))) (exp (pow E (log (fmod (cosh c) (log1p a))))) (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 8.403 * * [simplify]: Extracting # 0 : cost 0 8.403 * * [simplify]: Extracting # 1 : cost 0 8.403 * * [simplify]: Extracting # 2 : cost 0 8.403 * * [simplify]: Extracting # 3 : cost 0 8.403 * * [simplify]: Extracting # 4 : cost 0 8.403 * * [simplify]: Extracting # 5 : cost 0 8.404 * * [simplify]: Extracting # 6 : cost 0 8.404 * * [simplify]: iteration 0 : 59 enodes (cost 557 ) 8.431 * * [simplify]: Extracting # 0 : cost 0 8.431 * * [simplify]: Extracting # 1 : cost 0 8.431 * * [simplify]: Extracting # 2 : cost 0 8.432 * * [simplify]: Extracting # 3 : cost 0 8.432 * * [simplify]: Extracting # 4 : cost 0 8.432 * * [simplify]: Extracting # 5 : cost 0 8.432 * * [simplify]: Extracting # 6 : cost 0 8.432 * * [simplify]: iteration 1 : 108 enodes (cost 522 ) 8.456 * * [simplify]: Extracting # 0 : cost 0 8.456 * * [simplify]: Extracting # 1 : cost 0 8.456 * * [simplify]: Extracting # 2 : cost 0 8.456 * * [simplify]: Extracting # 3 : cost 0 8.456 * * [simplify]: Extracting # 4 : cost 0 8.457 * * [simplify]: iteration 2 : 208 enodes (cost 446 ) 8.555 * * [simplify]: Extracting # 0 : cost 0 8.556 * * [simplify]: Extracting # 1 : cost 0 8.556 * * [simplify]: Extracting # 2 : cost 0 8.556 * * [simplify]: Extracting # 3 : cost 0 8.557 * * [simplify]: Extracting # 4 : cost 0 8.557 * * [simplify]: iteration 3 : 512 enodes (cost 446 ) 9.100 * * [simplify]: Extracting # 0 : cost 0 9.102 * * [simplify]: Extracting # 1 : cost 0 9.103 * * [simplify]: Extracting # 2 : cost 0 9.105 * * [simplify]: Extracting # 3 : cost 0 9.106 * * [simplify]: Extracting # 4 : cost 0 9.108 * * [simplify]: Extracting # 5 : cost 0 9.109 * * [simplify]: iteration 4 : 1617 enodes (cost 444 ) 10.808 * * [simplify]: Extracting # 0 : cost 0 10.820 * * [simplify]: Extracting # 1 : cost 0 10.831 * * [simplify]: Extracting # 2 : cost 0 10.842 * * [simplify]: Extracting # 3 : cost 0 10.851 * * [simplify]: Extracting # 4 : cost 0 10.856 * * [simplify]: Extracting # 5 : cost 0 10.863 * * [simplify]: iteration done: 5001 enodes (cost 432 ) 10.863 * [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 (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))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) E (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow E (sqrt (log (fmod (cosh c) (log1p a))))) E (pow E (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 (fmod (cosh c) (log1p a)) (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) 1 (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 10.864 * * * [progress]: adding candidates to table 11.062 * * [progress]: iteration 4 / 4 11.062 * * * [progress]: picking best candidate 11.129 * * * * [pick]: Picked # 11.129 * * * [progress]: localizing error 11.170 * * * [progress]: generating rewritten candidates 11.170 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 11.171 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1 1) 11.171 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1) 11.172 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 11.176 * * * [progress]: generating series expansions 11.176 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 11.176 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.176 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 11.176 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 11.177 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.177 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 11.177 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.177 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 11.177 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.177 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 11.177 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.177 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.177 * [taylor]: Taking taylor expansion of 0 in a 11.177 * [backup-simplify]: Simplify 0 into 0 11.177 * [backup-simplify]: Simplify 0 into 0 11.177 * [backup-simplify]: Simplify 0 into 0 11.177 * [taylor]: Taking taylor expansion of 0 in a 11.178 * [backup-simplify]: Simplify 0 into 0 11.178 * [backup-simplify]: Simplify 0 into 0 11.178 * [backup-simplify]: Simplify 0 into 0 11.178 * [backup-simplify]: Simplify 0 into 0 11.178 * [taylor]: Taking taylor expansion of 0 in a 11.178 * [backup-simplify]: Simplify 0 into 0 11.178 * [backup-simplify]: Simplify 0 into 0 11.178 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.178 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.178 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 11.178 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 11.178 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.178 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 11.178 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.178 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 11.178 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.178 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 11.179 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.179 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.179 * [taylor]: Taking taylor expansion of 0 in a 11.179 * [backup-simplify]: Simplify 0 into 0 11.179 * [backup-simplify]: Simplify 0 into 0 11.179 * [backup-simplify]: Simplify 0 into 0 11.179 * [taylor]: Taking taylor expansion of 0 in a 11.179 * [backup-simplify]: Simplify 0 into 0 11.179 * [backup-simplify]: Simplify 0 into 0 11.179 * [backup-simplify]: Simplify 0 into 0 11.179 * [backup-simplify]: Simplify 0 into 0 11.179 * [taylor]: Taking taylor expansion of 0 in a 11.179 * [backup-simplify]: Simplify 0 into 0 11.179 * [backup-simplify]: Simplify 0 into 0 11.179 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 11.179 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.179 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 11.179 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 11.179 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.179 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 11.179 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.179 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 11.179 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.180 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 11.180 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.180 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.180 * [taylor]: Taking taylor expansion of 0 in a 11.180 * [backup-simplify]: Simplify 0 into 0 11.180 * [backup-simplify]: Simplify 0 into 0 11.180 * [backup-simplify]: Simplify 0 into 0 11.180 * [taylor]: Taking taylor expansion of 0 in a 11.180 * [backup-simplify]: Simplify 0 into 0 11.180 * [backup-simplify]: Simplify 0 into 0 11.180 * [backup-simplify]: Simplify 0 into 0 11.180 * [backup-simplify]: Simplify 0 into 0 11.180 * [taylor]: Taking taylor expansion of 0 in a 11.180 * [backup-simplify]: Simplify 0 into 0 11.180 * [backup-simplify]: Simplify 0 into 0 11.180 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 11.180 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1 1) 11.180 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.180 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 11.180 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 11.180 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.180 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 11.180 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.180 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 11.180 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.180 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 11.181 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.181 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.181 * [taylor]: Taking taylor expansion of 0 in a 11.181 * [backup-simplify]: Simplify 0 into 0 11.181 * [backup-simplify]: Simplify 0 into 0 11.181 * [backup-simplify]: Simplify 0 into 0 11.181 * [taylor]: Taking taylor expansion of 0 in a 11.181 * [backup-simplify]: Simplify 0 into 0 11.181 * [backup-simplify]: Simplify 0 into 0 11.181 * [backup-simplify]: Simplify 0 into 0 11.181 * [backup-simplify]: Simplify 0 into 0 11.181 * [taylor]: Taking taylor expansion of 0 in a 11.181 * [backup-simplify]: Simplify 0 into 0 11.181 * [backup-simplify]: Simplify 0 into 0 11.181 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.181 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.181 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 11.181 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 11.181 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.181 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 11.181 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.181 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 11.181 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.181 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 11.182 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.182 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.182 * [taylor]: Taking taylor expansion of 0 in a 11.182 * [backup-simplify]: Simplify 0 into 0 11.182 * [backup-simplify]: Simplify 0 into 0 11.182 * [backup-simplify]: Simplify 0 into 0 11.182 * [taylor]: Taking taylor expansion of 0 in a 11.182 * [backup-simplify]: Simplify 0 into 0 11.182 * [backup-simplify]: Simplify 0 into 0 11.182 * [backup-simplify]: Simplify 0 into 0 11.182 * [backup-simplify]: Simplify 0 into 0 11.182 * [taylor]: Taking taylor expansion of 0 in a 11.182 * [backup-simplify]: Simplify 0 into 0 11.182 * [backup-simplify]: Simplify 0 into 0 11.182 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 11.182 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.182 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 11.182 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 11.182 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.182 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 11.182 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.182 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 11.182 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.182 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 11.183 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.183 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.183 * [taylor]: Taking taylor expansion of 0 in a 11.183 * [backup-simplify]: Simplify 0 into 0 11.183 * [backup-simplify]: Simplify 0 into 0 11.183 * [backup-simplify]: Simplify 0 into 0 11.183 * [taylor]: Taking taylor expansion of 0 in a 11.183 * [backup-simplify]: Simplify 0 into 0 11.183 * [backup-simplify]: Simplify 0 into 0 11.183 * [backup-simplify]: Simplify 0 into 0 11.183 * [backup-simplify]: Simplify 0 into 0 11.183 * [taylor]: Taking taylor expansion of 0 in a 11.183 * [backup-simplify]: Simplify 0 into 0 11.183 * [backup-simplify]: Simplify 0 into 0 11.183 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 11.183 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1) 11.183 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.183 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 11.183 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 11.183 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.183 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 11.183 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.183 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 11.183 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.183 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 11.184 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.184 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.184 * [taylor]: Taking taylor expansion of 0 in a 11.184 * [backup-simplify]: Simplify 0 into 0 11.184 * [backup-simplify]: Simplify 0 into 0 11.184 * [backup-simplify]: Simplify 0 into 0 11.184 * [taylor]: Taking taylor expansion of 0 in a 11.184 * [backup-simplify]: Simplify 0 into 0 11.184 * [backup-simplify]: Simplify 0 into 0 11.184 * [backup-simplify]: Simplify 0 into 0 11.184 * [backup-simplify]: Simplify 0 into 0 11.184 * [taylor]: Taking taylor expansion of 0 in a 11.184 * [backup-simplify]: Simplify 0 into 0 11.184 * [backup-simplify]: Simplify 0 into 0 11.184 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.184 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.184 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 11.184 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 11.184 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.184 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 11.184 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.184 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 11.184 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.184 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 11.184 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.185 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.185 * [taylor]: Taking taylor expansion of 0 in a 11.185 * [backup-simplify]: Simplify 0 into 0 11.185 * [backup-simplify]: Simplify 0 into 0 11.185 * [backup-simplify]: Simplify 0 into 0 11.185 * [taylor]: Taking taylor expansion of 0 in a 11.185 * [backup-simplify]: Simplify 0 into 0 11.185 * [backup-simplify]: Simplify 0 into 0 11.185 * [backup-simplify]: Simplify 0 into 0 11.185 * [backup-simplify]: Simplify 0 into 0 11.185 * [taylor]: Taking taylor expansion of 0 in a 11.185 * [backup-simplify]: Simplify 0 into 0 11.185 * [backup-simplify]: Simplify 0 into 0 11.185 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 11.185 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.185 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 11.185 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 11.185 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.185 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 11.185 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.185 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 11.185 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.185 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 11.186 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.186 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.186 * [taylor]: Taking taylor expansion of 0 in a 11.186 * [backup-simplify]: Simplify 0 into 0 11.186 * [backup-simplify]: Simplify 0 into 0 11.186 * [backup-simplify]: Simplify 0 into 0 11.186 * [taylor]: Taking taylor expansion of 0 in a 11.186 * [backup-simplify]: Simplify 0 into 0 11.186 * [backup-simplify]: Simplify 0 into 0 11.186 * [backup-simplify]: Simplify 0 into 0 11.186 * [backup-simplify]: Simplify 0 into 0 11.186 * [taylor]: Taking taylor expansion of 0 in a 11.186 * [backup-simplify]: Simplify 0 into 0 11.186 * [backup-simplify]: Simplify 0 into 0 11.186 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 11.186 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 11.186 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 11.186 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 11.186 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 11.186 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 11.186 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.186 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 11.186 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 11.186 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 11.186 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.187 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 11.187 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 11.187 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 11.187 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.187 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 11.187 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 11.187 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 11.187 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 11.187 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 11.187 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 11.188 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 11.188 * [taylor]: Taking taylor expansion of 0 in a 11.188 * [backup-simplify]: Simplify 0 into 0 11.188 * [backup-simplify]: Simplify 0 into 0 11.188 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 11.188 * [backup-simplify]: Simplify 0 into 0 11.190 * [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 11.190 * [taylor]: Taking taylor expansion of 0 in a 11.190 * [backup-simplify]: Simplify 0 into 0 11.190 * [backup-simplify]: Simplify 0 into 0 11.190 * [backup-simplify]: Simplify 0 into 0 11.191 * [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 11.191 * [backup-simplify]: Simplify 0 into 0 11.193 * [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 11.193 * [taylor]: Taking taylor expansion of 0 in a 11.193 * [backup-simplify]: Simplify 0 into 0 11.193 * [backup-simplify]: Simplify 0 into 0 11.193 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 11.193 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 11.193 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 11.193 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 11.194 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 11.194 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.194 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 11.194 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 11.194 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 11.194 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.194 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 11.194 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 11.194 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 11.194 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.194 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 11.194 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 11.194 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 11.194 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 11.194 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 11.195 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 11.195 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 11.195 * [taylor]: Taking taylor expansion of 0 in a 11.195 * [backup-simplify]: Simplify 0 into 0 11.195 * [backup-simplify]: Simplify 0 into 0 11.196 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 11.196 * [backup-simplify]: Simplify 0 into 0 11.197 * [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 11.197 * [taylor]: Taking taylor expansion of 0 in a 11.197 * [backup-simplify]: Simplify 0 into 0 11.197 * [backup-simplify]: Simplify 0 into 0 11.197 * [backup-simplify]: Simplify 0 into 0 11.199 * [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 11.199 * [backup-simplify]: Simplify 0 into 0 11.201 * [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 11.201 * [taylor]: Taking taylor expansion of 0 in a 11.201 * [backup-simplify]: Simplify 0 into 0 11.201 * [backup-simplify]: Simplify 0 into 0 11.201 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 11.201 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 11.201 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 11.201 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 11.201 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 11.201 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.201 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 11.201 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 11.201 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 11.202 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.202 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 11.202 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 11.202 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 11.202 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.202 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 11.202 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 11.202 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 11.202 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 11.202 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 11.202 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 11.203 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 11.203 * [taylor]: Taking taylor expansion of 0 in a 11.203 * [backup-simplify]: Simplify 0 into 0 11.203 * [backup-simplify]: Simplify 0 into 0 11.204 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 11.204 * [backup-simplify]: Simplify 0 into 0 11.205 * [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 11.205 * [taylor]: Taking taylor expansion of 0 in a 11.205 * [backup-simplify]: Simplify 0 into 0 11.205 * [backup-simplify]: Simplify 0 into 0 11.205 * [backup-simplify]: Simplify 0 into 0 11.207 * [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 11.207 * [backup-simplify]: Simplify 0 into 0 11.210 * [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 11.210 * [taylor]: Taking taylor expansion of 0 in a 11.210 * [backup-simplify]: Simplify 0 into 0 11.210 * [backup-simplify]: Simplify 0 into 0 11.211 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 11.211 * * * [progress]: simplifying candidates 11.212 * [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))) 11.213 * * [simplify]: Extracting # 0 : cost 0 11.213 * * [simplify]: Extracting # 1 : cost 0 11.213 * * [simplify]: Extracting # 2 : cost 0 11.214 * * [simplify]: Extracting # 3 : cost 0 11.214 * * [simplify]: Extracting # 4 : cost 0 11.214 * * [simplify]: Extracting # 5 : cost 0 11.214 * * [simplify]: Extracting # 6 : cost 0 11.214 * * [simplify]: iteration 0 : 28 enodes (cost 412 ) 11.223 * * [simplify]: Extracting # 0 : cost 0 11.223 * * [simplify]: Extracting # 1 : cost 0 11.223 * * [simplify]: Extracting # 2 : cost 0 11.224 * * [simplify]: Extracting # 3 : cost 0 11.224 * * [simplify]: Extracting # 4 : cost 0 11.224 * * [simplify]: Extracting # 5 : cost 0 11.224 * * [simplify]: Extracting # 6 : cost 0 11.224 * * [simplify]: iteration 1 : 39 enodes (cost 409 ) 11.235 * * [simplify]: Extracting # 0 : cost 0 11.235 * * [simplify]: Extracting # 1 : cost 0 11.235 * * [simplify]: Extracting # 2 : cost 0 11.235 * * [simplify]: Extracting # 3 : cost 0 11.235 * * [simplify]: iteration 2 : 47 enodes (cost 362 ) 11.248 * * [simplify]: Extracting # 0 : cost 0 11.248 * * [simplify]: Extracting # 1 : cost 0 11.248 * * [simplify]: Extracting # 2 : cost 0 11.249 * * [simplify]: Extracting # 3 : cost 0 11.249 * * [simplify]: Extracting # 4 : cost 0 11.249 * * [simplify]: iteration 3 : 59 enodes (cost 362 ) 11.265 * * [simplify]: Extracting # 0 : cost 0 11.273 * * [simplify]: Extracting # 1 : cost 0 11.273 * * [simplify]: Extracting # 2 : cost 0 11.273 * * [simplify]: Extracting # 3 : cost 0 11.273 * * [simplify]: Extracting # 4 : cost 0 11.273 * * [simplify]: iteration 4 : 74 enodes (cost 362 ) 11.285 * * [simplify]: Extracting # 0 : cost 0 11.285 * * [simplify]: Extracting # 1 : cost 0 11.285 * * [simplify]: Extracting # 2 : cost 0 11.285 * * [simplify]: Extracting # 3 : cost 0 11.286 * * [simplify]: iteration 5 : 99 enodes (cost 362 ) 11.311 * * [simplify]: Extracting # 0 : cost 0 11.311 * * [simplify]: Extracting # 1 : cost 0 11.311 * * [simplify]: Extracting # 2 : cost 0 11.311 * * [simplify]: Extracting # 3 : cost 0 11.312 * * [simplify]: Extracting # 4 : cost 0 11.312 * * [simplify]: iteration 6 : 152 enodes (cost 362 ) 11.361 * * [simplify]: Extracting # 0 : cost 0 11.362 * * [simplify]: Extracting # 1 : cost 0 11.362 * * [simplify]: Extracting # 2 : cost 0 11.363 * * [simplify]: Extracting # 3 : cost 0 11.364 * * [simplify]: Extracting # 4 : cost 0 11.364 * * [simplify]: Extracting # 5 : cost 0 11.365 * * [simplify]: iteration 7 : 321 enodes (cost 362 ) 11.677 * * [simplify]: Extracting # 0 : cost 0 11.679 * * [simplify]: Extracting # 1 : cost 0 11.681 * * [simplify]: Extracting # 2 : cost 0 11.682 * * [simplify]: Extracting # 3 : cost 0 11.684 * * [simplify]: Extracting # 4 : cost 0 11.685 * * [simplify]: iteration 8 : 1037 enodes (cost 362 ) 14.272 * * [simplify]: Extracting # 0 : cost 0 14.278 * * [simplify]: Extracting # 1 : cost 0 14.284 * * [simplify]: Extracting # 2 : cost 0 14.290 * * [simplify]: Extracting # 3 : cost 0 14.295 * * [simplify]: Extracting # 4 : cost 0 14.300 * * [simplify]: Extracting # 5 : cost 0 14.306 * * [simplify]: iteration 9 : 4387 enodes (cost 362 ) 16.274 * * [simplify]: Extracting # 0 : cost 0 16.278 * * [simplify]: Extracting # 1 : cost 0 16.281 * * [simplify]: Extracting # 2 : cost 0 16.285 * * [simplify]: Extracting # 3 : cost 0 16.289 * * [simplify]: iteration done: 5001 enodes (cost 362 ) 16.289 * [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))) 16.289 * * * [progress]: adding candidates to table 16.560 * [progress]: [Phase 3 of 3] Extracting. 16.560 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 16.565 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a) 16.566 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # # # #) 16.647 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # # # #) 16.705 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # # #) 16.804 * * * * [regimes]: Trying to branch on c from (# # # # # # # # # #) 16.854 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # #) 16.917 * * * [regime]: Found split indices: #