0.088 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.631 * * * [progress]: [2/2] Setting up program. 0.635 * [progress]: [Phase 2 of 3] Improving. 0.637 * [simplify]: Simplifying: (fmod (cosh c) (log1p a)) 0.638 * * [simplify]: Extracting # 0 : cost 0 0.638 * * [simplify]: Extracting # 1 : cost 0 0.638 * * [simplify]: Extracting # 2 : cost 0 0.638 * * [simplify]: Extracting # 3 : cost 0 0.638 * * [simplify]: Extracting # 4 : cost 0 0.638 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.642 * * [simplify]: Extracting # 0 : cost 0 0.642 * * [simplify]: Extracting # 1 : cost 0 0.642 * * [simplify]: Extracting # 2 : cost 0 0.642 * * [simplify]: Extracting # 3 : cost 0 0.642 * * [simplify]: Extracting # 4 : cost 0 0.642 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 0.644 * * [simplify]: Extracting # 0 : cost 0 0.644 * * [simplify]: Extracting # 1 : cost 0 0.644 * * [simplify]: Extracting # 2 : cost 0 0.644 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 0.646 * * [simplify]: Extracting # 0 : cost 0 0.646 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 0.650 * * [simplify]: Extracting # 0 : cost 0 0.650 * * [simplify]: iteration done: 16 enodes (cost 5 ) 0.651 * [simplify]: Simplified to: (fmod (cosh c) (log1p a)) 0.652 * * [progress]: iteration 1 / 4 0.652 * * * [progress]: picking best candidate 0.657 * * * * [pick]: Picked # 0.657 * * * [progress]: localizing error 0.683 * * * [progress]: generating rewritten candidates 0.683 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.687 * * * [progress]: generating series expansions 0.687 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.692 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.692 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.693 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.696 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.696 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.696 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.696 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.696 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.696 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.697 * [taylor]: Taking taylor expansion of 0 in a 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [taylor]: Taking taylor expansion of 0 in a 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [taylor]: Taking taylor expansion of 0 in a 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [backup-simplify]: Simplify 0 into 0 0.698 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.699 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.699 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.699 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.699 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.699 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.699 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.700 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.700 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.700 * [taylor]: Taking taylor expansion of 0 in a 0.700 * [backup-simplify]: Simplify 0 into 0 0.700 * [backup-simplify]: Simplify 0 into 0 0.700 * [backup-simplify]: Simplify 0 into 0 0.700 * [taylor]: Taking taylor expansion of 0 in a 0.700 * [backup-simplify]: Simplify 0 into 0 0.700 * [backup-simplify]: Simplify 0 into 0 0.700 * [backup-simplify]: Simplify 0 into 0 0.700 * [backup-simplify]: Simplify 0 into 0 0.700 * [taylor]: Taking taylor expansion of 0 in a 0.700 * [backup-simplify]: Simplify 0 into 0 0.700 * [backup-simplify]: Simplify 0 into 0 0.700 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.701 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.701 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.701 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.701 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.701 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.701 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.701 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.701 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.701 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.701 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.701 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.701 * [taylor]: Taking taylor expansion of 0 in a 0.701 * [backup-simplify]: Simplify 0 into 0 0.701 * [backup-simplify]: Simplify 0 into 0 0.701 * [backup-simplify]: Simplify 0 into 0 0.701 * [taylor]: Taking taylor expansion of 0 in a 0.701 * [backup-simplify]: Simplify 0 into 0 0.701 * [backup-simplify]: Simplify 0 into 0 0.701 * [backup-simplify]: Simplify 0 into 0 0.702 * [backup-simplify]: Simplify 0 into 0 0.702 * [taylor]: Taking taylor expansion of 0 in a 0.702 * [backup-simplify]: Simplify 0 into 0 0.702 * [backup-simplify]: Simplify 0 into 0 0.702 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.702 * * * [progress]: simplifying candidates 0.702 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 0.702 * * [simplify]: Extracting # 0 : cost 0 0.702 * * [simplify]: Extracting # 1 : cost 0 0.702 * * [simplify]: Extracting # 2 : cost 0 0.702 * * [simplify]: Extracting # 3 : cost 0 0.703 * * [simplify]: Extracting # 4 : cost 0 0.703 * * [simplify]: iteration 0 : 12 enodes (cost 75 ) 0.704 * * [simplify]: Extracting # 0 : cost 0 0.704 * * [simplify]: Extracting # 1 : cost 0 0.704 * * [simplify]: Extracting # 2 : cost 0 0.704 * * [simplify]: Extracting # 3 : cost 0 0.704 * * [simplify]: Extracting # 4 : cost 0 0.704 * * [simplify]: Extracting # 5 : cost 0 0.705 * * [simplify]: iteration 1 : 19 enodes (cost 75 ) 0.707 * * [simplify]: Extracting # 0 : cost 0 0.707 * * [simplify]: Extracting # 1 : cost 0 0.707 * * [simplify]: Extracting # 2 : cost 0 0.707 * * [simplify]: iteration 2 : 24 enodes (cost 65 ) 0.711 * * [simplify]: Extracting # 0 : cost 0 0.711 * * [simplify]: Extracting # 1 : cost 0 0.711 * * [simplify]: Extracting # 2 : cost 0 0.711 * * [simplify]: Extracting # 3 : cost 0 0.711 * * [simplify]: Extracting # 4 : cost 0 0.711 * * [simplify]: iteration 3 : 30 enodes (cost 65 ) 0.716 * * [simplify]: Extracting # 0 : cost 0 0.716 * * [simplify]: Extracting # 1 : cost 0 0.716 * * [simplify]: Extracting # 2 : cost 0 0.716 * * [simplify]: Extracting # 3 : cost 0 0.716 * * [simplify]: Extracting # 4 : cost 0 0.716 * * [simplify]: iteration 4 : 36 enodes (cost 65 ) 0.721 * * [simplify]: Extracting # 0 : cost 0 0.721 * * [simplify]: Extracting # 1 : cost 0 0.721 * * [simplify]: Extracting # 2 : cost 0 0.721 * * [simplify]: Extracting # 3 : cost 0 0.721 * * [simplify]: Extracting # 4 : cost 0 0.722 * * [simplify]: iteration 5 : 46 enodes (cost 65 ) 0.732 * * [simplify]: Extracting # 0 : cost 0 0.732 * * [simplify]: Extracting # 1 : cost 0 0.732 * * [simplify]: Extracting # 2 : cost 0 0.732 * * [simplify]: Extracting # 3 : cost 0 0.732 * * [simplify]: iteration 6 : 67 enodes (cost 65 ) 0.764 * * [simplify]: Extracting # 0 : cost 0 0.765 * * [simplify]: Extracting # 1 : cost 0 0.765 * * [simplify]: Extracting # 2 : cost 0 0.765 * * [simplify]: Extracting # 3 : cost 0 0.765 * * [simplify]: iteration 7 : 145 enodes (cost 65 ) 0.866 * * [simplify]: Extracting # 0 : cost 0 0.867 * * [simplify]: Extracting # 1 : cost 0 0.867 * * [simplify]: Extracting # 2 : cost 0 0.867 * * [simplify]: Extracting # 3 : cost 0 0.868 * * [simplify]: Extracting # 4 : cost 0 0.868 * * [simplify]: iteration 8 : 430 enodes (cost 65 ) 1.651 * * [simplify]: Extracting # 0 : cost 0 1.653 * * [simplify]: Extracting # 1 : cost 0 1.655 * * [simplify]: Extracting # 2 : cost 0 1.657 * * [simplify]: Extracting # 3 : cost 0 1.659 * * [simplify]: Extracting # 4 : cost 0 1.661 * * [simplify]: iteration 9 : 1839 enodes (cost 65 ) 2.764 * * [simplify]: Extracting # 0 : cost 0 2.769 * * [simplify]: Extracting # 1 : cost 0 2.775 * * [simplify]: Extracting # 2 : cost 0 2.780 * * [simplify]: Extracting # 3 : cost 0 2.785 * * [simplify]: iteration done: 5001 enodes (cost 65 ) 2.785 * [simplify]: Simplified to: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 2.785 * * * [progress]: adding candidates to table 2.817 * * [progress]: iteration 2 / 4 2.817 * * * [progress]: picking best candidate 2.829 * * * * [pick]: Picked # 2.829 * * * [progress]: localizing error 2.838 * * * [progress]: generating rewritten candidates 2.838 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 2.838 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 2.841 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 2.846 * * * [progress]: generating series expansions 2.846 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 2.846 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.846 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 2.846 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.846 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.846 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.846 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.846 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.846 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.846 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.846 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.847 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.847 * [taylor]: Taking taylor expansion of 0 in a 2.847 * [backup-simplify]: Simplify 0 into 0 2.847 * [backup-simplify]: Simplify 0 into 0 2.847 * [backup-simplify]: Simplify 0 into 0 2.847 * [taylor]: Taking taylor expansion of 0 in a 2.847 * [backup-simplify]: Simplify 0 into 0 2.847 * [backup-simplify]: Simplify 0 into 0 2.847 * [backup-simplify]: Simplify 0 into 0 2.847 * [backup-simplify]: Simplify 0 into 0 2.847 * [taylor]: Taking taylor expansion of 0 in a 2.847 * [backup-simplify]: Simplify 0 into 0 2.847 * [backup-simplify]: Simplify 0 into 0 2.847 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.847 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.847 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 2.847 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.847 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.847 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.847 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.847 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.847 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.847 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.848 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.848 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.848 * [taylor]: Taking taylor expansion of 0 in a 2.848 * [backup-simplify]: Simplify 0 into 0 2.848 * [backup-simplify]: Simplify 0 into 0 2.848 * [backup-simplify]: Simplify 0 into 0 2.848 * [taylor]: Taking taylor expansion of 0 in a 2.848 * [backup-simplify]: Simplify 0 into 0 2.848 * [backup-simplify]: Simplify 0 into 0 2.848 * [backup-simplify]: Simplify 0 into 0 2.848 * [backup-simplify]: Simplify 0 into 0 2.848 * [taylor]: Taking taylor expansion of 0 in a 2.848 * [backup-simplify]: Simplify 0 into 0 2.848 * [backup-simplify]: Simplify 0 into 0 2.848 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 2.848 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.848 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 2.848 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.848 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.848 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.848 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.848 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.848 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.849 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.849 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.849 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.849 * [taylor]: Taking taylor expansion of 0 in a 2.849 * [backup-simplify]: Simplify 0 into 0 2.849 * [backup-simplify]: Simplify 0 into 0 2.849 * [backup-simplify]: Simplify 0 into 0 2.849 * [taylor]: Taking taylor expansion of 0 in a 2.849 * [backup-simplify]: Simplify 0 into 0 2.849 * [backup-simplify]: Simplify 0 into 0 2.849 * [backup-simplify]: Simplify 0 into 0 2.849 * [backup-simplify]: Simplify 0 into 0 2.849 * [taylor]: Taking taylor expansion of 0 in a 2.849 * [backup-simplify]: Simplify 0 into 0 2.849 * [backup-simplify]: Simplify 0 into 0 2.849 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 2.849 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 2.849 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.849 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 2.849 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 2.849 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.849 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.850 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.850 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 2.850 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.850 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.850 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.850 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 2.850 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.850 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.850 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.850 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 2.850 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.850 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.850 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.850 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.851 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 2.851 * [taylor]: Taking taylor expansion of 0 in a 2.851 * [backup-simplify]: Simplify 0 into 0 2.851 * [backup-simplify]: Simplify 0 into 0 2.852 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 2.852 * [backup-simplify]: Simplify 0 into 0 2.854 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 2.854 * [taylor]: Taking taylor expansion of 0 in a 2.854 * [backup-simplify]: Simplify 0 into 0 2.854 * [backup-simplify]: Simplify 0 into 0 2.854 * [backup-simplify]: Simplify 0 into 0 2.855 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 2.855 * [backup-simplify]: Simplify 0 into 0 2.857 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 2.857 * [taylor]: Taking taylor expansion of 0 in a 2.857 * [backup-simplify]: Simplify 0 into 0 2.857 * [backup-simplify]: Simplify 0 into 0 2.857 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 2.858 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.858 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 2.858 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 2.858 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.858 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.858 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.858 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 2.858 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.858 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.858 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.858 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 2.858 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.858 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.858 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.858 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 2.858 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.859 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.859 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.859 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2.859 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 2.860 * [taylor]: Taking taylor expansion of 0 in a 2.860 * [backup-simplify]: Simplify 0 into 0 2.860 * [backup-simplify]: Simplify 0 into 0 2.860 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 2.860 * [backup-simplify]: Simplify 0 into 0 2.861 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 2.861 * [taylor]: Taking taylor expansion of 0 in a 2.861 * [backup-simplify]: Simplify 0 into 0 2.861 * [backup-simplify]: Simplify 0 into 0 2.861 * [backup-simplify]: Simplify 0 into 0 2.863 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 2.863 * [backup-simplify]: Simplify 0 into 0 2.865 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 2.865 * [taylor]: Taking taylor expansion of 0 in a 2.865 * [backup-simplify]: Simplify 0 into 0 2.865 * [backup-simplify]: Simplify 0 into 0 2.865 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 2.865 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.865 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 2.865 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 2.865 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.865 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.865 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.865 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 2.865 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.865 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.866 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.866 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 2.866 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.866 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.866 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.866 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 2.866 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.866 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.866 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.866 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2.867 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 2.867 * [taylor]: Taking taylor expansion of 0 in a 2.867 * [backup-simplify]: Simplify 0 into 0 2.867 * [backup-simplify]: Simplify 0 into 0 2.867 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 2.868 * [backup-simplify]: Simplify 0 into 0 2.869 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 2.869 * [taylor]: Taking taylor expansion of 0 in a 2.869 * [backup-simplify]: Simplify 0 into 0 2.869 * [backup-simplify]: Simplify 0 into 0 2.869 * [backup-simplify]: Simplify 0 into 0 2.870 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 2.870 * [backup-simplify]: Simplify 0 into 0 2.872 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 2.872 * [taylor]: Taking taylor expansion of 0 in a 2.872 * [backup-simplify]: Simplify 0 into 0 2.872 * [backup-simplify]: Simplify 0 into 0 2.872 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 2.872 * * * * [progress]: [ 3 / 3 ] generating series at (2) 2.872 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 2.872 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 2.872 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.873 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.873 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.873 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.873 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.873 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.873 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.873 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.873 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.873 * [taylor]: Taking taylor expansion of 0 in a 2.873 * [backup-simplify]: Simplify 0 into 0 2.873 * [backup-simplify]: Simplify 0 into 0 2.873 * [backup-simplify]: Simplify 0 into 0 2.873 * [taylor]: Taking taylor expansion of 0 in a 2.873 * [backup-simplify]: Simplify 0 into 0 2.873 * [backup-simplify]: Simplify 0 into 0 2.873 * [backup-simplify]: Simplify 0 into 0 2.873 * [backup-simplify]: Simplify 0 into 0 2.873 * [taylor]: Taking taylor expansion of 0 in a 2.873 * [backup-simplify]: Simplify 0 into 0 2.873 * [backup-simplify]: Simplify 0 into 0 2.873 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.873 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.873 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 2.873 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.874 * [taylor]: Taking taylor expansion of 0 in a 2.874 * [backup-simplify]: Simplify 0 into 0 2.874 * [backup-simplify]: Simplify 0 into 0 2.874 * [backup-simplify]: Simplify 0 into 0 2.874 * [taylor]: Taking taylor expansion of 0 in a 2.874 * [backup-simplify]: Simplify 0 into 0 2.874 * [backup-simplify]: Simplify 0 into 0 2.874 * [backup-simplify]: Simplify 0 into 0 2.874 * [backup-simplify]: Simplify 0 into 0 2.874 * [taylor]: Taking taylor expansion of 0 in a 2.874 * [backup-simplify]: Simplify 0 into 0 2.874 * [backup-simplify]: Simplify 0 into 0 2.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 2.875 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.875 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 2.875 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.875 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.875 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.875 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.875 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.875 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.875 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.875 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.875 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.875 * [taylor]: Taking taylor expansion of 0 in a 2.875 * [backup-simplify]: Simplify 0 into 0 2.875 * [backup-simplify]: Simplify 0 into 0 2.875 * [backup-simplify]: Simplify 0 into 0 2.875 * [taylor]: Taking taylor expansion of 0 in a 2.875 * [backup-simplify]: Simplify 0 into 0 2.875 * [backup-simplify]: Simplify 0 into 0 2.875 * [backup-simplify]: Simplify 0 into 0 2.875 * [backup-simplify]: Simplify 0 into 0 2.876 * [taylor]: Taking taylor expansion of 0 in a 2.876 * [backup-simplify]: Simplify 0 into 0 2.876 * [backup-simplify]: Simplify 0 into 0 2.876 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 2.876 * * * [progress]: simplifying candidates 2.876 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (exp 1) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (sqrt (log (fmod (cosh c) (log1p a))))) (exp 1) (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log 1)) (exp (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a))))) (exp (exp (log (fmod (cosh c) (log1p a))))) (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))) (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a))))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 2.877 * * [simplify]: Extracting # 0 : cost 0 2.877 * * [simplify]: Extracting # 1 : cost 0 2.877 * * [simplify]: Extracting # 2 : cost 0 2.877 * * [simplify]: Extracting # 3 : cost 0 2.877 * * [simplify]: Extracting # 4 : cost 0 2.877 * * [simplify]: Extracting # 5 : cost 0 2.877 * * [simplify]: Extracting # 6 : cost 0 2.877 * * [simplify]: iteration 0 : 38 enodes (cost 384 ) 2.890 * * [simplify]: Extracting # 0 : cost 0 2.890 * * [simplify]: Extracting # 1 : cost 0 2.890 * * [simplify]: Extracting # 2 : cost 0 2.890 * * [simplify]: Extracting # 3 : cost 0 2.890 * * [simplify]: Extracting # 4 : cost 0 2.890 * * [simplify]: Extracting # 5 : cost 0 2.890 * * [simplify]: iteration 1 : 54 enodes (cost 347 ) 2.896 * * [simplify]: Extracting # 0 : cost 0 2.896 * * [simplify]: Extracting # 1 : cost 0 2.896 * * [simplify]: Extracting # 2 : cost 0 2.896 * * [simplify]: Extracting # 3 : cost 0 2.896 * * [simplify]: Extracting # 4 : cost 0 2.896 * * [simplify]: iteration 2 : 68 enodes (cost 301 ) 2.905 * * [simplify]: Extracting # 0 : cost 0 2.905 * * [simplify]: Extracting # 1 : cost 0 2.905 * * [simplify]: Extracting # 2 : cost 0 2.905 * * [simplify]: Extracting # 3 : cost 0 2.905 * * [simplify]: Extracting # 4 : cost 0 2.905 * * [simplify]: iteration 3 : 86 enodes (cost 301 ) 2.918 * * [simplify]: Extracting # 0 : cost 0 2.918 * * [simplify]: Extracting # 1 : cost 0 2.918 * * [simplify]: Extracting # 2 : cost 0 2.918 * * [simplify]: Extracting # 3 : cost 0 2.918 * * [simplify]: Extracting # 4 : cost 0 2.919 * * [simplify]: iteration 4 : 126 enodes (cost 295 ) 2.949 * * [simplify]: Extracting # 0 : cost 0 2.950 * * [simplify]: Extracting # 1 : cost 0 2.950 * * [simplify]: Extracting # 2 : cost 0 2.950 * * [simplify]: Extracting # 3 : cost 0 2.950 * * [simplify]: Extracting # 4 : cost 0 2.950 * * [simplify]: iteration 5 : 210 enodes (cost 295 ) 3.031 * * [simplify]: Extracting # 0 : cost 0 3.031 * * [simplify]: Extracting # 1 : cost 0 3.032 * * [simplify]: Extracting # 2 : cost 0 3.032 * * [simplify]: Extracting # 3 : cost 0 3.032 * * [simplify]: Extracting # 4 : cost 0 3.032 * * [simplify]: iteration 6 : 425 enodes (cost 295 ) 3.279 * * [simplify]: Extracting # 0 : cost 0 3.280 * * [simplify]: Extracting # 1 : cost 0 3.281 * * [simplify]: Extracting # 2 : cost 0 3.282 * * [simplify]: Extracting # 3 : cost 0 3.283 * * [simplify]: Extracting # 4 : cost 0 3.284 * * [simplify]: iteration 7 : 1201 enodes (cost 295 ) 5.423 * * [simplify]: Extracting # 0 : cost 0 5.428 * * [simplify]: Extracting # 1 : cost 0 5.431 * * [simplify]: Extracting # 2 : cost 0 5.438 * * [simplify]: Extracting # 3 : cost 0 5.444 * * [simplify]: Extracting # 4 : cost 0 5.450 * * [simplify]: iteration 8 : 4492 enodes (cost 295 ) 7.135 * * [simplify]: Extracting # 0 : cost 0 7.139 * * [simplify]: Extracting # 1 : cost 0 7.143 * * [simplify]: Extracting # 2 : cost 0 7.149 * * [simplify]: Extracting # 3 : cost 0 7.156 * * [simplify]: iteration done: 5000 enodes (cost 295 ) 7.156 * [simplify]: Simplified to: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) 0 (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 3) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) E (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (sqrt (log (fmod (cosh c) (log1p a))))) E (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 7.157 * * * [progress]: adding candidates to table 7.274 * * [progress]: iteration 3 / 4 7.274 * * * [progress]: picking best candidate 7.302 * * * * [pick]: Picked # 7.302 * * * [progress]: localizing error 7.312 * * * [progress]: generating rewritten candidates 7.312 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 7.313 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 7.314 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 7.319 * * * [progress]: generating series expansions 7.319 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 7.319 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.319 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 7.319 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.319 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.319 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.319 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.319 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.319 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.319 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.320 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.320 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.320 * [taylor]: Taking taylor expansion of 0 in a 7.320 * [backup-simplify]: Simplify 0 into 0 7.320 * [backup-simplify]: Simplify 0 into 0 7.320 * [backup-simplify]: Simplify 0 into 0 7.320 * [taylor]: Taking taylor expansion of 0 in a 7.320 * [backup-simplify]: Simplify 0 into 0 7.320 * [backup-simplify]: Simplify 0 into 0 7.320 * [backup-simplify]: Simplify 0 into 0 7.320 * [backup-simplify]: Simplify 0 into 0 7.320 * [taylor]: Taking taylor expansion of 0 in a 7.320 * [backup-simplify]: Simplify 0 into 0 7.320 * [backup-simplify]: Simplify 0 into 0 7.320 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.320 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.320 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 7.320 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.320 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.320 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.320 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.320 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.320 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.320 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.321 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.321 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.321 * [taylor]: Taking taylor expansion of 0 in a 7.321 * [backup-simplify]: Simplify 0 into 0 7.321 * [backup-simplify]: Simplify 0 into 0 7.321 * [backup-simplify]: Simplify 0 into 0 7.321 * [taylor]: Taking taylor expansion of 0 in a 7.321 * [backup-simplify]: Simplify 0 into 0 7.321 * [backup-simplify]: Simplify 0 into 0 7.321 * [backup-simplify]: Simplify 0 into 0 7.321 * [backup-simplify]: Simplify 0 into 0 7.321 * [taylor]: Taking taylor expansion of 0 in a 7.321 * [backup-simplify]: Simplify 0 into 0 7.321 * [backup-simplify]: Simplify 0 into 0 7.321 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 7.321 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.321 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 7.321 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.322 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.322 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.322 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.322 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.322 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.322 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.322 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.322 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.322 * [taylor]: Taking taylor expansion of 0 in a 7.322 * [backup-simplify]: Simplify 0 into 0 7.322 * [backup-simplify]: Simplify 0 into 0 7.322 * [backup-simplify]: Simplify 0 into 0 7.322 * [taylor]: Taking taylor expansion of 0 in a 7.322 * [backup-simplify]: Simplify 0 into 0 7.322 * [backup-simplify]: Simplify 0 into 0 7.322 * [backup-simplify]: Simplify 0 into 0 7.322 * [backup-simplify]: Simplify 0 into 0 7.322 * [taylor]: Taking taylor expansion of 0 in a 7.322 * [backup-simplify]: Simplify 0 into 0 7.322 * [backup-simplify]: Simplify 0 into 0 7.323 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 7.323 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 7.323 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.323 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 7.323 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 7.323 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.323 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.323 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.323 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 7.323 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.323 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.323 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.323 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 7.323 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.323 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.323 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.323 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 7.323 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.323 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.323 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.324 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.324 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 7.324 * [taylor]: Taking taylor expansion of 0 in a 7.324 * [backup-simplify]: Simplify 0 into 0 7.324 * [backup-simplify]: Simplify 0 into 0 7.325 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 7.325 * [backup-simplify]: Simplify 0 into 0 7.326 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 7.326 * [taylor]: Taking taylor expansion of 0 in a 7.326 * [backup-simplify]: Simplify 0 into 0 7.326 * [backup-simplify]: Simplify 0 into 0 7.326 * [backup-simplify]: Simplify 0 into 0 7.327 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 7.327 * [backup-simplify]: Simplify 0 into 0 7.329 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 7.329 * [taylor]: Taking taylor expansion of 0 in a 7.329 * [backup-simplify]: Simplify 0 into 0 7.329 * [backup-simplify]: Simplify 0 into 0 7.329 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.329 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.329 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 7.329 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 7.329 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.330 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.330 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.330 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 7.330 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.330 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.330 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.330 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 7.330 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.330 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.330 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.330 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 7.330 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.330 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.330 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.331 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.331 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 7.331 * [taylor]: Taking taylor expansion of 0 in a 7.331 * [backup-simplify]: Simplify 0 into 0 7.331 * [backup-simplify]: Simplify 0 into 0 7.332 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 7.332 * [backup-simplify]: Simplify 0 into 0 7.333 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 7.333 * [taylor]: Taking taylor expansion of 0 in a 7.333 * [backup-simplify]: Simplify 0 into 0 7.333 * [backup-simplify]: Simplify 0 into 0 7.333 * [backup-simplify]: Simplify 0 into 0 7.335 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 7.335 * [backup-simplify]: Simplify 0 into 0 7.336 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 7.337 * [taylor]: Taking taylor expansion of 0 in a 7.337 * [backup-simplify]: Simplify 0 into 0 7.337 * [backup-simplify]: Simplify 0 into 0 7.337 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 7.337 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.337 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 7.337 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 7.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.337 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.337 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.337 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 7.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.337 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.337 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.337 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 7.337 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.338 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.338 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.338 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 7.338 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.338 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.338 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.338 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.339 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 7.339 * [taylor]: Taking taylor expansion of 0 in a 7.339 * [backup-simplify]: Simplify 0 into 0 7.339 * [backup-simplify]: Simplify 0 into 0 7.339 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 7.339 * [backup-simplify]: Simplify 0 into 0 7.341 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 7.341 * [taylor]: Taking taylor expansion of 0 in a 7.341 * [backup-simplify]: Simplify 0 into 0 7.341 * [backup-simplify]: Simplify 0 into 0 7.341 * [backup-simplify]: Simplify 0 into 0 7.342 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 7.342 * [backup-simplify]: Simplify 0 into 0 7.344 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 7.344 * [taylor]: Taking taylor expansion of 0 in a 7.344 * [backup-simplify]: Simplify 0 into 0 7.344 * [backup-simplify]: Simplify 0 into 0 7.344 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 7.344 * * * * [progress]: [ 3 / 3 ] generating series at (2) 7.344 * [backup-simplify]: Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a)))) 7.344 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0 7.344 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a 7.344 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a 7.344 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a 7.344 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 7.344 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.345 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.345 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.345 * [taylor]: Taking taylor expansion of (log E) in a 7.345 * [taylor]: Taking taylor expansion of E in a 7.345 * [backup-simplify]: Simplify E into E 7.345 * [backup-simplify]: Simplify (log E) into 1 7.345 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 7.345 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 7.345 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 7.345 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 7.345 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 7.345 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 7.345 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.345 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.345 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.345 * [taylor]: Taking taylor expansion of (log E) in c 7.345 * [taylor]: Taking taylor expansion of E in c 7.345 * [backup-simplify]: Simplify E into E 7.346 * [backup-simplify]: Simplify (log E) into 1 7.346 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 7.346 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 7.346 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 7.346 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 7.346 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 7.346 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 7.346 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.346 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.346 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.346 * [taylor]: Taking taylor expansion of (log E) in c 7.346 * [taylor]: Taking taylor expansion of E in c 7.346 * [backup-simplify]: Simplify E into E 7.346 * [backup-simplify]: Simplify (log E) into 1 7.346 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 7.346 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 7.346 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.346 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.346 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.348 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 7.348 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 7.349 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0 7.349 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0 7.349 * [taylor]: Taking taylor expansion of 0 in a 7.349 * [backup-simplify]: Simplify 0 into 0 7.349 * [backup-simplify]: Simplify 0 into 0 7.350 * [backup-simplify]: Simplify 0 into 0 7.351 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 7.352 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 7.353 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0 7.353 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.354 * [taylor]: Taking taylor expansion of 0 in a 7.354 * [backup-simplify]: Simplify 0 into 0 7.354 * [backup-simplify]: Simplify 0 into 0 7.354 * [backup-simplify]: Simplify 0 into 0 7.354 * [backup-simplify]: Simplify 0 into 0 7.356 * [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 7.358 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 7.359 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.360 * [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 7.360 * [taylor]: Taking taylor expansion of 0 in a 7.360 * [backup-simplify]: Simplify 0 into 0 7.360 * [backup-simplify]: Simplify 0 into 0 7.360 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.360 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 7.360 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0 7.360 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 7.360 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a 7.360 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a 7.360 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 7.360 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.361 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.361 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.361 * [taylor]: Taking taylor expansion of (log E) in a 7.361 * [taylor]: Taking taylor expansion of E in a 7.361 * [backup-simplify]: Simplify E into E 7.361 * [backup-simplify]: Simplify (log E) into 1 7.361 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.361 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.361 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 7.361 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 7.361 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 7.361 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 7.361 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.361 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.361 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.361 * [taylor]: Taking taylor expansion of (log E) in c 7.361 * [taylor]: Taking taylor expansion of E in c 7.361 * [backup-simplify]: Simplify E into E 7.361 * [backup-simplify]: Simplify (log E) into 1 7.362 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.362 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.362 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 7.362 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 7.362 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 7.362 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 7.362 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.362 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.362 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.362 * [taylor]: Taking taylor expansion of (log E) in c 7.362 * [taylor]: Taking taylor expansion of E in c 7.362 * [backup-simplify]: Simplify E into E 7.362 * [backup-simplify]: Simplify (log E) into 1 7.362 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.363 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.363 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.363 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.363 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.364 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 7.365 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 7.365 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0 7.366 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 7.366 * [taylor]: Taking taylor expansion of 0 in a 7.366 * [backup-simplify]: Simplify 0 into 0 7.366 * [backup-simplify]: Simplify 0 into 0 7.366 * [backup-simplify]: Simplify 0 into 0 7.367 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 7.369 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 7.369 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 7.370 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.370 * [taylor]: Taking taylor expansion of 0 in a 7.370 * [backup-simplify]: Simplify 0 into 0 7.370 * [backup-simplify]: Simplify 0 into 0 7.370 * [backup-simplify]: Simplify 0 into 0 7.370 * [backup-simplify]: Simplify 0 into 0 7.373 * [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 7.376 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 7.377 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.379 * [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 7.379 * [taylor]: Taking taylor expansion of 0 in a 7.379 * [backup-simplify]: Simplify 0 into 0 7.379 * [backup-simplify]: Simplify 0 into 0 7.379 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 7.379 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 7.379 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0 7.379 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 7.379 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a 7.379 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a 7.379 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 7.380 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.380 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.380 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.380 * [taylor]: Taking taylor expansion of (log E) in a 7.380 * [taylor]: Taking taylor expansion of E in a 7.380 * [backup-simplify]: Simplify E into E 7.380 * [backup-simplify]: Simplify (log E) into 1 7.380 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.381 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.381 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 7.381 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 7.381 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 7.381 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 7.381 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.381 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.381 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.381 * [taylor]: Taking taylor expansion of (log E) in c 7.381 * [taylor]: Taking taylor expansion of E in c 7.381 * [backup-simplify]: Simplify E into E 7.381 * [backup-simplify]: Simplify (log E) into 1 7.381 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.382 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.382 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 7.382 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 7.382 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 7.382 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 7.382 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.382 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.382 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.382 * [taylor]: Taking taylor expansion of (log E) in c 7.382 * [taylor]: Taking taylor expansion of E in c 7.382 * [backup-simplify]: Simplify E into E 7.382 * [backup-simplify]: Simplify (log E) into 1 7.383 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.383 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.383 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.383 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.384 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.385 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 7.386 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 7.387 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0 7.388 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 7.388 * [taylor]: Taking taylor expansion of 0 in a 7.388 * [backup-simplify]: Simplify 0 into 0 7.388 * [backup-simplify]: Simplify 0 into 0 7.388 * [backup-simplify]: Simplify 0 into 0 7.391 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 7.393 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 7.394 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 7.396 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.396 * [taylor]: Taking taylor expansion of 0 in a 7.396 * [backup-simplify]: Simplify 0 into 0 7.396 * [backup-simplify]: Simplify 0 into 0 7.396 * [backup-simplify]: Simplify 0 into 0 7.396 * [backup-simplify]: Simplify 0 into 0 7.401 * [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 7.411 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 7.412 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.414 * [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 7.414 * [taylor]: Taking taylor expansion of 0 in a 7.414 * [backup-simplify]: Simplify 0 into 0 7.414 * [backup-simplify]: Simplify 0 into 0 7.414 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 7.414 * * * [progress]: simplifying candidates 7.415 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a)))) (* (log E) (log (fmod (cosh c) (log1p a)))) (* (log E) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a)))) (pow E 1) (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (pow E 1) (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a)))) (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow 1 (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a)))) (log (pow E (log (fmod (cosh c) (log1p a))))) (exp (pow E (log (fmod (cosh c) (log1p a))))) (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 7.417 * * [simplify]: Extracting # 0 : cost 0 7.417 * * [simplify]: Extracting # 1 : cost 0 7.417 * * [simplify]: Extracting # 2 : cost 0 7.418 * * [simplify]: Extracting # 3 : cost 0 7.418 * * [simplify]: Extracting # 4 : cost 0 7.418 * * [simplify]: Extracting # 5 : cost 0 7.418 * * [simplify]: Extracting # 6 : cost 0 7.418 * * [simplify]: iteration 0 : 53 enodes (cost 513 ) 7.439 * * [simplify]: Extracting # 0 : cost 0 7.439 * * [simplify]: Extracting # 1 : cost 0 7.439 * * [simplify]: Extracting # 2 : cost 0 7.439 * * [simplify]: Extracting # 3 : cost 0 7.439 * * [simplify]: Extracting # 4 : cost 0 7.439 * * [simplify]: Extracting # 5 : cost 0 7.439 * * [simplify]: Extracting # 6 : cost 0 7.439 * * [simplify]: iteration 1 : 102 enodes (cost 478 ) 7.464 * * [simplify]: Extracting # 0 : cost 0 7.464 * * [simplify]: Extracting # 1 : cost 0 7.464 * * [simplify]: Extracting # 2 : cost 0 7.464 * * [simplify]: Extracting # 3 : cost 0 7.464 * * [simplify]: Extracting # 4 : cost 0 7.465 * * [simplify]: Extracting # 5 : cost 0 7.465 * * [simplify]: iteration 2 : 203 enodes (cost 408 ) 7.596 * * [simplify]: Extracting # 0 : cost 0 7.597 * * [simplify]: Extracting # 1 : cost 0 7.598 * * [simplify]: Extracting # 2 : cost 0 7.598 * * [simplify]: Extracting # 3 : cost 0 7.598 * * [simplify]: Extracting # 4 : cost 0 7.599 * * [simplify]: Extracting # 5 : cost 0 7.599 * * [simplify]: iteration 3 : 505 enodes (cost 408 ) 7.999 * * [simplify]: Extracting # 0 : cost 0 8.002 * * [simplify]: Extracting # 1 : cost 0 8.004 * * [simplify]: Extracting # 2 : cost 0 8.005 * * [simplify]: Extracting # 3 : cost 0 8.007 * * [simplify]: Extracting # 4 : cost 0 8.008 * * [simplify]: iteration 4 : 1525 enodes (cost 406 ) 9.513 * * [simplify]: Extracting # 0 : cost 0 9.525 * * [simplify]: Extracting # 1 : cost 0 9.530 * * [simplify]: Extracting # 2 : cost 0 9.536 * * [simplify]: Extracting # 3 : cost 0 9.546 * * [simplify]: Extracting # 4 : cost 0 9.556 * * [simplify]: Extracting # 5 : cost 0 9.566 * * [simplify]: iteration done: 5000 enodes (cost 394 ) 9.566 * [simplify]: Simplified to: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) 0 (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 3) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) E (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow E (sqrt (log (fmod (cosh c) (log1p a))))) E (pow E (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 (fmod (cosh c) (log1p a)) (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) 1 (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 9.567 * * * [progress]: adding candidates to table 9.757 * * [progress]: iteration 4 / 4 9.758 * * * [progress]: picking best candidate 9.786 * * * * [pick]: Picked # 9.786 * * * [progress]: localizing error 9.797 * * * [progress]: generating rewritten candidates 9.797 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 1) 9.797 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 9.799 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 9.803 * * * [progress]: generating series expansions 9.803 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 1) 9.803 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.803 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 9.803 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 9.804 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.804 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 9.804 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.804 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 9.804 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.804 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 9.804 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.804 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.804 * [taylor]: Taking taylor expansion of 0 in a 9.804 * [backup-simplify]: Simplify 0 into 0 9.804 * [backup-simplify]: Simplify 0 into 0 9.804 * [backup-simplify]: Simplify 0 into 0 9.804 * [taylor]: Taking taylor expansion of 0 in a 9.804 * [backup-simplify]: Simplify 0 into 0 9.804 * [backup-simplify]: Simplify 0 into 0 9.804 * [backup-simplify]: Simplify 0 into 0 9.804 * [backup-simplify]: Simplify 0 into 0 9.804 * [taylor]: Taking taylor expansion of 0 in a 9.804 * [backup-simplify]: Simplify 0 into 0 9.804 * [backup-simplify]: Simplify 0 into 0 9.804 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.804 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.804 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 9.804 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 9.805 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.805 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 9.805 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.805 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 9.805 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.805 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 9.805 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.805 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.805 * [taylor]: Taking taylor expansion of 0 in a 9.805 * [backup-simplify]: Simplify 0 into 0 9.805 * [backup-simplify]: Simplify 0 into 0 9.805 * [backup-simplify]: Simplify 0 into 0 9.805 * [taylor]: Taking taylor expansion of 0 in a 9.805 * [backup-simplify]: Simplify 0 into 0 9.805 * [backup-simplify]: Simplify 0 into 0 9.805 * [backup-simplify]: Simplify 0 into 0 9.805 * [backup-simplify]: Simplify 0 into 0 9.805 * [taylor]: Taking taylor expansion of 0 in a 9.805 * [backup-simplify]: Simplify 0 into 0 9.805 * [backup-simplify]: Simplify 0 into 0 9.805 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 9.806 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.806 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 9.806 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 9.806 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.806 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 9.806 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.806 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 9.806 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.806 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 9.806 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.806 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.806 * [taylor]: Taking taylor expansion of 0 in a 9.806 * [backup-simplify]: Simplify 0 into 0 9.806 * [backup-simplify]: Simplify 0 into 0 9.806 * [backup-simplify]: Simplify 0 into 0 9.806 * [taylor]: Taking taylor expansion of 0 in a 9.806 * [backup-simplify]: Simplify 0 into 0 9.806 * [backup-simplify]: Simplify 0 into 0 9.806 * [backup-simplify]: Simplify 0 into 0 9.806 * [backup-simplify]: Simplify 0 into 0 9.806 * [taylor]: Taking taylor expansion of 0 in a 9.806 * [backup-simplify]: Simplify 0 into 0 9.806 * [backup-simplify]: Simplify 0 into 0 9.807 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 9.807 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 9.807 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 9.807 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 9.807 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 9.807 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 9.807 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.807 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 9.807 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 9.807 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 9.807 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.807 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 9.807 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 9.807 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 9.807 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.807 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 9.807 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 9.807 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 9.807 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.807 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 9.808 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 9.808 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 9.808 * [taylor]: Taking taylor expansion of 0 in a 9.808 * [backup-simplify]: Simplify 0 into 0 9.808 * [backup-simplify]: Simplify 0 into 0 9.809 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 9.809 * [backup-simplify]: Simplify 0 into 0 9.810 * [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 9.810 * [taylor]: Taking taylor expansion of 0 in a 9.810 * [backup-simplify]: Simplify 0 into 0 9.810 * [backup-simplify]: Simplify 0 into 0 9.810 * [backup-simplify]: Simplify 0 into 0 9.811 * [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 9.811 * [backup-simplify]: Simplify 0 into 0 9.813 * [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 9.813 * [taylor]: Taking taylor expansion of 0 in a 9.813 * [backup-simplify]: Simplify 0 into 0 9.813 * [backup-simplify]: Simplify 0 into 0 9.813 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 9.814 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 9.814 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 9.814 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 9.814 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 9.814 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.814 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 9.814 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 9.814 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 9.814 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.814 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 9.814 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 9.814 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 9.814 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.814 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 9.814 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 9.814 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 9.814 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.815 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 9.815 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 9.815 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 9.815 * [taylor]: Taking taylor expansion of 0 in a 9.815 * [backup-simplify]: Simplify 0 into 0 9.815 * [backup-simplify]: Simplify 0 into 0 9.816 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 9.816 * [backup-simplify]: Simplify 0 into 0 9.817 * [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 9.817 * [taylor]: Taking taylor expansion of 0 in a 9.817 * [backup-simplify]: Simplify 0 into 0 9.817 * [backup-simplify]: Simplify 0 into 0 9.817 * [backup-simplify]: Simplify 0 into 0 9.822 * [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 9.822 * [backup-simplify]: Simplify 0 into 0 9.824 * [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 9.824 * [taylor]: Taking taylor expansion of 0 in a 9.824 * [backup-simplify]: Simplify 0 into 0 9.824 * [backup-simplify]: Simplify 0 into 0 9.824 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 9.824 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 9.824 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 9.824 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 9.824 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 9.824 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.825 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 9.825 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 9.825 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 9.825 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.825 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 9.825 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 9.825 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 9.825 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.825 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 9.825 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 9.825 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 9.825 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.825 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 9.825 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 9.826 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 9.826 * [taylor]: Taking taylor expansion of 0 in a 9.826 * [backup-simplify]: Simplify 0 into 0 9.826 * [backup-simplify]: Simplify 0 into 0 9.827 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 9.827 * [backup-simplify]: Simplify 0 into 0 9.828 * [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 9.828 * [taylor]: Taking taylor expansion of 0 in a 9.828 * [backup-simplify]: Simplify 0 into 0 9.828 * [backup-simplify]: Simplify 0 into 0 9.828 * [backup-simplify]: Simplify 0 into 0 9.829 * [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 9.829 * [backup-simplify]: Simplify 0 into 0 9.831 * [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 9.831 * [taylor]: Taking taylor expansion of 0 in a 9.831 * [backup-simplify]: Simplify 0 into 0 9.831 * [backup-simplify]: Simplify 0 into 0 9.831 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 9.831 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 9.832 * [backup-simplify]: Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a)))) 9.832 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0 9.832 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a 9.832 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a 9.832 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a 9.832 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 9.832 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 9.832 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.832 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 9.832 * [taylor]: Taking taylor expansion of (log E) in a 9.832 * [taylor]: Taking taylor expansion of E in a 9.832 * [backup-simplify]: Simplify E into E 9.832 * [backup-simplify]: Simplify (log E) into 1 9.832 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 9.832 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 9.832 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 9.832 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 9.832 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 9.832 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 9.832 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 9.832 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.832 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 9.832 * [taylor]: Taking taylor expansion of (log E) in c 9.832 * [taylor]: Taking taylor expansion of E in c 9.832 * [backup-simplify]: Simplify E into E 9.832 * [backup-simplify]: Simplify (log E) into 1 9.833 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 9.833 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 9.833 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 9.833 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 9.833 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 9.833 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 9.833 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 9.833 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.833 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 9.833 * [taylor]: Taking taylor expansion of (log E) in c 9.833 * [taylor]: Taking taylor expansion of E in c 9.833 * [backup-simplify]: Simplify E into E 9.833 * [backup-simplify]: Simplify (log E) into 1 9.833 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 9.833 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 9.833 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 9.833 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.833 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.834 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 9.835 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 9.835 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0 9.836 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0 9.836 * [taylor]: Taking taylor expansion of 0 in a 9.836 * [backup-simplify]: Simplify 0 into 0 9.836 * [backup-simplify]: Simplify 0 into 0 9.836 * [backup-simplify]: Simplify 0 into 0 9.837 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 9.839 * [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 9.839 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0 9.840 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.840 * [taylor]: Taking taylor expansion of 0 in a 9.840 * [backup-simplify]: Simplify 0 into 0 9.840 * [backup-simplify]: Simplify 0 into 0 9.840 * [backup-simplify]: Simplify 0 into 0 9.840 * [backup-simplify]: Simplify 0 into 0 9.843 * [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 9.847 * [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 9.848 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.849 * [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 9.849 * [taylor]: Taking taylor expansion of 0 in a 9.849 * [backup-simplify]: Simplify 0 into 0 9.849 * [backup-simplify]: Simplify 0 into 0 9.850 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 9.850 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 9.850 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0 9.850 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 9.850 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a 9.850 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a 9.850 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 9.850 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 9.850 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.850 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 9.851 * [taylor]: Taking taylor expansion of (log E) in a 9.851 * [taylor]: Taking taylor expansion of E in a 9.851 * [backup-simplify]: Simplify E into E 9.851 * [backup-simplify]: Simplify (log E) into 1 9.851 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 9.851 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.851 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 9.851 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 9.851 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 9.851 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 9.851 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 9.851 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.852 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 9.852 * [taylor]: Taking taylor expansion of (log E) in c 9.852 * [taylor]: Taking taylor expansion of E in c 9.852 * [backup-simplify]: Simplify E into E 9.852 * [backup-simplify]: Simplify (log E) into 1 9.852 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 9.852 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.852 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 9.852 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 9.852 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 9.852 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 9.852 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 9.853 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.853 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 9.853 * [taylor]: Taking taylor expansion of (log E) in c 9.853 * [taylor]: Taking taylor expansion of E in c 9.853 * [backup-simplify]: Simplify E into E 9.853 * [backup-simplify]: Simplify (log E) into 1 9.853 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 9.854 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.854 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 9.854 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.854 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 9.856 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 9.857 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 9.857 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0 9.859 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 9.859 * [taylor]: Taking taylor expansion of 0 in a 9.859 * [backup-simplify]: Simplify 0 into 0 9.859 * [backup-simplify]: Simplify 0 into 0 9.859 * [backup-simplify]: Simplify 0 into 0 9.862 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 9.864 * [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 9.865 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 9.866 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.867 * [taylor]: Taking taylor expansion of 0 in a 9.867 * [backup-simplify]: Simplify 0 into 0 9.867 * [backup-simplify]: Simplify 0 into 0 9.867 * [backup-simplify]: Simplify 0 into 0 9.867 * [backup-simplify]: Simplify 0 into 0 9.872 * [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 9.875 * [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 9.875 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.876 * [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 9.877 * [taylor]: Taking taylor expansion of 0 in a 9.877 * [backup-simplify]: Simplify 0 into 0 9.877 * [backup-simplify]: Simplify 0 into 0 9.877 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 9.877 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 9.877 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0 9.877 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 9.877 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a 9.877 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a 9.877 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 9.877 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 9.877 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.877 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 9.877 * [taylor]: Taking taylor expansion of (log E) in a 9.877 * [taylor]: Taking taylor expansion of E in a 9.877 * [backup-simplify]: Simplify E into E 9.877 * [backup-simplify]: Simplify (log E) into 1 9.877 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 9.878 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.878 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 9.878 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 9.878 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 9.878 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 9.878 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 9.878 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.878 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 9.878 * [taylor]: Taking taylor expansion of (log E) in c 9.878 * [taylor]: Taking taylor expansion of E in c 9.878 * [backup-simplify]: Simplify E into E 9.878 * [backup-simplify]: Simplify (log E) into 1 9.878 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 9.878 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.878 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 9.878 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 9.878 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 9.878 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 9.878 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 9.879 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.879 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 9.879 * [taylor]: Taking taylor expansion of (log E) in c 9.879 * [taylor]: Taking taylor expansion of E in c 9.879 * [backup-simplify]: Simplify E into E 9.879 * [backup-simplify]: Simplify (log E) into 1 9.879 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 9.879 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.879 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 9.879 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.879 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 9.880 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 9.881 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 9.881 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0 9.882 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 9.882 * [taylor]: Taking taylor expansion of 0 in a 9.882 * [backup-simplify]: Simplify 0 into 0 9.882 * [backup-simplify]: Simplify 0 into 0 9.882 * [backup-simplify]: Simplify 0 into 0 9.884 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 9.885 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 9.886 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 9.887 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 9.887 * [taylor]: Taking taylor expansion of 0 in a 9.887 * [backup-simplify]: Simplify 0 into 0 9.887 * [backup-simplify]: Simplify 0 into 0 9.887 * [backup-simplify]: Simplify 0 into 0 9.887 * [backup-simplify]: Simplify 0 into 0 9.889 * [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 9.891 * [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 9.892 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.893 * [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 9.893 * [taylor]: Taking taylor expansion of 0 in a 9.893 * [backup-simplify]: Simplify 0 into 0 9.893 * [backup-simplify]: Simplify 0 into 0 9.893 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 9.893 * * * [progress]: simplifying candidates 9.894 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a)))) (* (log E) (log (fmod (cosh c) (log1p a)))) (* (log E) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a)))) (pow E 1) (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (pow E 1) (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a)))) (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow 1 (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a)))) (log (pow E (log (fmod (cosh c) (log1p a))))) (exp (pow E (log (fmod (cosh c) (log1p a))))) (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 9.895 * * [simplify]: Extracting # 0 : cost 0 9.895 * * [simplify]: Extracting # 1 : cost 0 9.895 * * [simplify]: Extracting # 2 : cost 0 9.895 * * [simplify]: Extracting # 3 : cost 0 9.895 * * [simplify]: Extracting # 4 : cost 0 9.895 * * [simplify]: Extracting # 5 : cost 0 9.895 * * [simplify]: Extracting # 6 : cost 0 9.895 * * [simplify]: iteration 0 : 53 enodes (cost 513 ) 9.907 * * [simplify]: Extracting # 0 : cost 0 9.907 * * [simplify]: Extracting # 1 : cost 0 9.907 * * [simplify]: Extracting # 2 : cost 0 9.907 * * [simplify]: Extracting # 3 : cost 0 9.907 * * [simplify]: Extracting # 4 : cost 0 9.907 * * [simplify]: Extracting # 5 : cost 0 9.908 * * [simplify]: Extracting # 6 : cost 0 9.908 * * [simplify]: iteration 1 : 102 enodes (cost 478 ) 9.953 * * [simplify]: Extracting # 0 : cost 0 9.953 * * [simplify]: Extracting # 1 : cost 0 9.953 * * [simplify]: Extracting # 2 : cost 0 9.954 * * [simplify]: Extracting # 3 : cost 0 9.954 * * [simplify]: Extracting # 4 : cost 0 9.955 * * [simplify]: Extracting # 5 : cost 0 9.955 * * [simplify]: iteration 2 : 203 enodes (cost 408 ) 10.090 * * [simplify]: Extracting # 0 : cost 0 10.090 * * [simplify]: Extracting # 1 : cost 0 10.091 * * [simplify]: Extracting # 2 : cost 0 10.091 * * [simplify]: Extracting # 3 : cost 0 10.092 * * [simplify]: Extracting # 4 : cost 0 10.092 * * [simplify]: Extracting # 5 : cost 0 10.093 * * [simplify]: iteration 3 : 505 enodes (cost 408 ) 10.554 * * [simplify]: Extracting # 0 : cost 0 10.558 * * [simplify]: Extracting # 1 : cost 0 10.561 * * [simplify]: Extracting # 2 : cost 0 10.563 * * [simplify]: Extracting # 3 : cost 0 10.566 * * [simplify]: Extracting # 4 : cost 0 10.569 * * [simplify]: iteration 4 : 1525 enodes (cost 406 ) 12.084 * * [simplify]: Extracting # 0 : cost 0 12.092 * * [simplify]: Extracting # 1 : cost 0 12.102 * * [simplify]: Extracting # 2 : cost 0 12.112 * * [simplify]: Extracting # 3 : cost 0 12.128 * * [simplify]: Extracting # 4 : cost 0 12.138 * * [simplify]: Extracting # 5 : cost 0 12.147 * * [simplify]: iteration done: 5000 enodes (cost 394 ) 12.148 * [simplify]: Simplified to: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) 0 (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 3) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) E (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow E (sqrt (log (fmod (cosh c) (log1p a))))) E (pow E (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 (fmod (cosh c) (log1p a)) (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) 1 (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 12.148 * * * [progress]: adding candidates to table 12.353 * [progress]: [Phase 3 of 3] Extracting. 12.354 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 12.356 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a) 12.357 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # # #) 12.415 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # # #) 12.474 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # #) 12.566 * * * * [regimes]: Trying to branch on c from (# # # # # # # # #) 12.625 * * * * [regimes]: Trying to branch on a from (# # # # # # # # #) 12.673 * * * [regime]: Found split indices: #