0.623 * [progress]: [Phase 1 of 3] Setting up. 0.019 * * * [progress]: [1/2] Preparing points 1.641 * * * [progress]: [2/2] Setting up program. 1.683 * [progress]: [Phase 2 of 3] Improving. 1.687 * [simplify]: Simplifying: (fmod (cosh c) (log1p a)) 1.689 * * [simplify]: Extracting # 0 : cost 0 1.689 * * [simplify]: Extracting # 1 : cost 0 1.690 * * [simplify]: Extracting # 2 : cost 0 1.690 * * [simplify]: Extracting # 3 : cost 0 1.690 * * [simplify]: Extracting # 4 : cost 0 1.690 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 1.699 * * [simplify]: Extracting # 0 : cost 0 1.699 * * [simplify]: Extracting # 1 : cost 0 1.699 * * [simplify]: Extracting # 2 : cost 0 1.699 * * [simplify]: Extracting # 3 : cost 0 1.699 * * [simplify]: Extracting # 4 : cost 0 1.699 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 1.707 * * [simplify]: Extracting # 0 : cost 0 1.707 * * [simplify]: Extracting # 1 : cost 0 1.707 * * [simplify]: Extracting # 2 : cost 0 1.707 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 1.716 * * [simplify]: Extracting # 0 : cost 0 1.716 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 1.720 * * [simplify]: Extracting # 0 : cost 0 1.720 * * [simplify]: iteration done: 16 enodes (cost 5 ) 1.726 * [simplify]: Simplified to: (fmod (cosh c) (log1p a)) 1.769 * * [progress]: iteration 1 / 4 1.770 * * * [progress]: picking best candidate 2.348 * * * * [pick]: Picked # 2.348 * * * [progress]: localizing error 2.446 * * * [progress]: generating rewritten candidates 2.447 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.516 * * * [progress]: generating series expansions 2.521 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.594 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.594 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 2.611 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.625 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.625 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.625 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.625 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 2.625 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.636 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 2.637 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.637 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.642 * [taylor]: Taking taylor expansion of 0 in a 2.642 * [backup-simplify]: Simplify 0 into 0 2.642 * [backup-simplify]: Simplify 0 into 0 2.642 * [backup-simplify]: Simplify 0 into 0 2.643 * [taylor]: Taking taylor expansion of 0 in a 2.643 * [backup-simplify]: Simplify 0 into 0 2.643 * [backup-simplify]: Simplify 0 into 0 2.643 * [backup-simplify]: Simplify 0 into 0 2.643 * [backup-simplify]: Simplify 0 into 0 2.643 * [taylor]: Taking taylor expansion of 0 in a 2.643 * [backup-simplify]: Simplify 0 into 0 2.643 * [backup-simplify]: Simplify 0 into 0 2.643 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 2.692 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.692 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 2.692 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.693 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.693 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.693 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.693 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 2.693 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.693 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 2.693 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.694 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2.694 * [taylor]: Taking taylor expansion of 0 in a 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [taylor]: Taking taylor expansion of 0 in a 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [taylor]: Taking taylor expansion of 0 in a 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 2.711 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.711 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 2.711 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.711 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.711 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.711 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.711 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 2.711 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.711 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 2.711 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.712 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2.712 * [taylor]: Taking taylor expansion of 0 in a 2.712 * [backup-simplify]: Simplify 0 into 0 2.712 * [backup-simplify]: Simplify 0 into 0 2.712 * [backup-simplify]: Simplify 0 into 0 2.712 * [taylor]: Taking taylor expansion of 0 in a 2.712 * [backup-simplify]: Simplify 0 into 0 2.712 * [backup-simplify]: Simplify 0 into 0 2.712 * [backup-simplify]: Simplify 0 into 0 2.712 * [backup-simplify]: Simplify 0 into 0 2.712 * [taylor]: Taking taylor expansion of 0 in a 2.712 * [backup-simplify]: Simplify 0 into 0 2.712 * [backup-simplify]: Simplify 0 into 0 2.712 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 2.712 * * * [progress]: simplifying candidates 2.724 * [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)) 2.726 * * [simplify]: Extracting # 0 : cost 0 2.726 * * [simplify]: Extracting # 1 : cost 0 2.726 * * [simplify]: Extracting # 2 : cost 0 2.726 * * [simplify]: Extracting # 3 : cost 0 2.726 * * [simplify]: Extracting # 4 : cost 0 2.726 * * [simplify]: iteration 0 : 12 enodes (cost 75 ) 2.742 * * [simplify]: Extracting # 0 : cost 0 2.742 * * [simplify]: Extracting # 1 : cost 0 2.742 * * [simplify]: Extracting # 2 : cost 0 2.742 * * [simplify]: Extracting # 3 : cost 0 2.742 * * [simplify]: Extracting # 4 : cost 0 2.742 * * [simplify]: Extracting # 5 : cost 0 2.742 * * [simplify]: iteration 1 : 19 enodes (cost 75 ) 2.748 * * [simplify]: Extracting # 0 : cost 0 2.748 * * [simplify]: Extracting # 1 : cost 0 2.748 * * [simplify]: Extracting # 2 : cost 0 2.748 * * [simplify]: iteration 2 : 24 enodes (cost 65 ) 2.756 * * [simplify]: Extracting # 0 : cost 0 2.757 * * [simplify]: Extracting # 1 : cost 0 2.757 * * [simplify]: Extracting # 2 : cost 0 2.757 * * [simplify]: Extracting # 3 : cost 0 2.757 * * [simplify]: Extracting # 4 : cost 0 2.757 * * [simplify]: iteration 3 : 30 enodes (cost 65 ) 2.766 * * [simplify]: Extracting # 0 : cost 0 2.766 * * [simplify]: Extracting # 1 : cost 0 2.766 * * [simplify]: Extracting # 2 : cost 0 2.766 * * [simplify]: Extracting # 3 : cost 0 2.766 * * [simplify]: Extracting # 4 : cost 0 2.767 * * [simplify]: iteration 4 : 38 enodes (cost 65 ) 2.783 * * [simplify]: Extracting # 0 : cost 0 2.783 * * [simplify]: Extracting # 1 : cost 0 2.783 * * [simplify]: Extracting # 2 : cost 0 2.783 * * [simplify]: Extracting # 3 : cost 0 2.783 * * [simplify]: iteration 5 : 72 enodes (cost 65 ) 2.813 * * [simplify]: Extracting # 0 : cost 0 2.814 * * [simplify]: Extracting # 1 : cost 0 2.814 * * [simplify]: Extracting # 2 : cost 0 2.814 * * [simplify]: Extracting # 3 : cost 0 2.814 * * [simplify]: Extracting # 4 : cost 0 2.814 * * [simplify]: iteration 6 : 148 enodes (cost 65 ) 2.923 * * [simplify]: Extracting # 0 : cost 0 2.924 * * [simplify]: Extracting # 1 : cost 0 2.924 * * [simplify]: Extracting # 2 : cost 0 2.924 * * [simplify]: Extracting # 3 : cost 0 2.924 * * [simplify]: Extracting # 4 : cost 0 2.925 * * [simplify]: iteration 7 : 334 enodes (cost 65 ) 3.448 * * [simplify]: Extracting # 0 : cost 0 3.454 * * [simplify]: Extracting # 1 : cost 0 3.455 * * [simplify]: Extracting # 2 : cost 0 3.457 * * [simplify]: Extracting # 3 : cost 0 3.458 * * [simplify]: Extracting # 4 : cost 0 3.459 * * [simplify]: iteration 8 : 1002 enodes (cost 65 ) 5.538 * * [simplify]: Extracting # 0 : cost 0 5.567 * * [simplify]: Extracting # 1 : cost 0 5.578 * * [simplify]: Extracting # 2 : cost 0 5.589 * * [simplify]: Extracting # 3 : cost 0 5.599 * * [simplify]: Extracting # 4 : cost 0 5.609 * * [simplify]: iteration done: 5001 enodes (cost 65 ) 5.610 * [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)) 5.610 * * * [progress]: adding candidates to table 5.664 * * [progress]: iteration 2 / 4 5.664 * * * [progress]: picking best candidate 5.748 * * * * [pick]: Picked # 5.748 * * * [progress]: localizing error 5.791 * * * [progress]: generating rewritten candidates 5.791 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 5.793 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 5.827 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 5.844 * * * [progress]: generating series expansions 5.844 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 5.845 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.845 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 5.845 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.846 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.847 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.847 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.847 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.847 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.847 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.847 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.847 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.847 * [taylor]: Taking taylor expansion of 0 in a 5.847 * [backup-simplify]: Simplify 0 into 0 5.847 * [backup-simplify]: Simplify 0 into 0 5.847 * [backup-simplify]: Simplify 0 into 0 5.847 * [taylor]: Taking taylor expansion of 0 in a 5.847 * [backup-simplify]: Simplify 0 into 0 5.847 * [backup-simplify]: Simplify 0 into 0 5.848 * [backup-simplify]: Simplify 0 into 0 5.848 * [backup-simplify]: Simplify 0 into 0 5.848 * [taylor]: Taking taylor expansion of 0 in a 5.848 * [backup-simplify]: Simplify 0 into 0 5.848 * [backup-simplify]: Simplify 0 into 0 5.848 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.848 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.848 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 5.848 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.848 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.848 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.848 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.848 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.849 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.849 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.849 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.849 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.849 * [taylor]: Taking taylor expansion of 0 in a 5.849 * [backup-simplify]: Simplify 0 into 0 5.849 * [backup-simplify]: Simplify 0 into 0 5.849 * [backup-simplify]: Simplify 0 into 0 5.849 * [taylor]: Taking taylor expansion of 0 in a 5.849 * [backup-simplify]: Simplify 0 into 0 5.849 * [backup-simplify]: Simplify 0 into 0 5.849 * [backup-simplify]: Simplify 0 into 0 5.849 * [backup-simplify]: Simplify 0 into 0 5.850 * [taylor]: Taking taylor expansion of 0 in a 5.850 * [backup-simplify]: Simplify 0 into 0 5.850 * [backup-simplify]: Simplify 0 into 0 5.850 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 5.850 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.850 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 5.850 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.850 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.850 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.851 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.851 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.851 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.851 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.851 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.851 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.851 * [taylor]: Taking taylor expansion of 0 in a 5.851 * [backup-simplify]: Simplify 0 into 0 5.851 * [backup-simplify]: Simplify 0 into 0 5.851 * [backup-simplify]: Simplify 0 into 0 5.852 * [taylor]: Taking taylor expansion of 0 in a 5.852 * [backup-simplify]: Simplify 0 into 0 5.852 * [backup-simplify]: Simplify 0 into 0 5.852 * [backup-simplify]: Simplify 0 into 0 5.852 * [backup-simplify]: Simplify 0 into 0 5.852 * [taylor]: Taking taylor expansion of 0 in a 5.852 * [backup-simplify]: Simplify 0 into 0 5.852 * [backup-simplify]: Simplify 0 into 0 5.852 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 5.852 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 5.852 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.852 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 5.852 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 5.852 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.853 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.853 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.854 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 5.854 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.854 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.854 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.854 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 5.854 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.854 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.854 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.854 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 5.854 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.854 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.855 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.855 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.862 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 5.862 * [taylor]: Taking taylor expansion of 0 in a 5.862 * [backup-simplify]: Simplify 0 into 0 5.862 * [backup-simplify]: Simplify 0 into 0 5.864 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 5.864 * [backup-simplify]: Simplify 0 into 0 5.880 * [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 5.880 * [taylor]: Taking taylor expansion of 0 in a 5.880 * [backup-simplify]: Simplify 0 into 0 5.880 * [backup-simplify]: Simplify 0 into 0 5.880 * [backup-simplify]: Simplify 0 into 0 5.883 * [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 5.884 * [backup-simplify]: Simplify 0 into 0 5.889 * [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 5.889 * [taylor]: Taking taylor expansion of 0 in a 5.889 * [backup-simplify]: Simplify 0 into 0 5.889 * [backup-simplify]: Simplify 0 into 0 5.889 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 5.889 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.889 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 5.889 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 5.889 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.889 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.890 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.890 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 5.890 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.890 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.890 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.890 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 5.890 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.890 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.891 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.891 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 5.891 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.891 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.891 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.891 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 5.894 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 5.894 * [taylor]: Taking taylor expansion of 0 in a 5.894 * [backup-simplify]: Simplify 0 into 0 5.894 * [backup-simplify]: Simplify 0 into 0 5.896 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 5.896 * [backup-simplify]: Simplify 0 into 0 5.899 * [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 5.900 * [taylor]: Taking taylor expansion of 0 in a 5.900 * [backup-simplify]: Simplify 0 into 0 5.900 * [backup-simplify]: Simplify 0 into 0 5.900 * [backup-simplify]: Simplify 0 into 0 5.904 * [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 5.904 * [backup-simplify]: Simplify 0 into 0 5.909 * [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 5.909 * [taylor]: Taking taylor expansion of 0 in a 5.909 * [backup-simplify]: Simplify 0 into 0 5.909 * [backup-simplify]: Simplify 0 into 0 5.910 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 5.910 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.910 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 5.910 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 5.910 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.910 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.910 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.910 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 5.910 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.911 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.911 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.911 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 5.911 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.911 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.911 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.911 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 5.911 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.911 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.912 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.912 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 5.914 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 5.914 * [taylor]: Taking taylor expansion of 0 in a 5.914 * [backup-simplify]: Simplify 0 into 0 5.914 * [backup-simplify]: Simplify 0 into 0 5.916 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 5.916 * [backup-simplify]: Simplify 0 into 0 5.920 * [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 5.920 * [taylor]: Taking taylor expansion of 0 in a 5.920 * [backup-simplify]: Simplify 0 into 0 5.920 * [backup-simplify]: Simplify 0 into 0 5.920 * [backup-simplify]: Simplify 0 into 0 5.924 * [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 5.924 * [backup-simplify]: Simplify 0 into 0 5.932 * [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 5.932 * [taylor]: Taking taylor expansion of 0 in a 5.932 * [backup-simplify]: Simplify 0 into 0 5.932 * [backup-simplify]: Simplify 0 into 0 5.933 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 5.933 * * * * [progress]: [ 3 / 3 ] generating series at (2) 5.934 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 5.934 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 5.934 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.934 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.934 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.934 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.934 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 5.934 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.935 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 5.935 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.935 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.935 * [taylor]: Taking taylor expansion of 0 in a 5.935 * [backup-simplify]: Simplify 0 into 0 5.935 * [backup-simplify]: Simplify 0 into 0 5.935 * [backup-simplify]: Simplify 0 into 0 5.935 * [taylor]: Taking taylor expansion of 0 in a 5.935 * [backup-simplify]: Simplify 0 into 0 5.935 * [backup-simplify]: Simplify 0 into 0 5.935 * [backup-simplify]: Simplify 0 into 0 5.935 * [backup-simplify]: Simplify 0 into 0 5.936 * [taylor]: Taking taylor expansion of 0 in a 5.936 * [backup-simplify]: Simplify 0 into 0 5.936 * [backup-simplify]: Simplify 0 into 0 5.936 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 5.936 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.936 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 5.936 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.937 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.937 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.937 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.937 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 5.937 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.937 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 5.938 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.938 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 5.938 * [taylor]: Taking taylor expansion of 0 in a 5.938 * [backup-simplify]: Simplify 0 into 0 5.938 * [backup-simplify]: Simplify 0 into 0 5.938 * [backup-simplify]: Simplify 0 into 0 5.938 * [taylor]: Taking taylor expansion of 0 in a 5.938 * [backup-simplify]: Simplify 0 into 0 5.938 * [backup-simplify]: Simplify 0 into 0 5.938 * [backup-simplify]: Simplify 0 into 0 5.938 * [backup-simplify]: Simplify 0 into 0 5.938 * [taylor]: Taking taylor expansion of 0 in a 5.939 * [backup-simplify]: Simplify 0 into 0 5.939 * [backup-simplify]: Simplify 0 into 0 5.939 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 5.940 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.940 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 5.940 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.940 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.940 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.940 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.940 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 5.940 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.941 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 5.941 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.941 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 5.941 * [taylor]: Taking taylor expansion of 0 in a 5.941 * [backup-simplify]: Simplify 0 into 0 5.941 * [backup-simplify]: Simplify 0 into 0 5.941 * [backup-simplify]: Simplify 0 into 0 5.941 * [taylor]: Taking taylor expansion of 0 in a 5.941 * [backup-simplify]: Simplify 0 into 0 5.942 * [backup-simplify]: Simplify 0 into 0 5.942 * [backup-simplify]: Simplify 0 into 0 5.942 * [backup-simplify]: Simplify 0 into 0 5.942 * [taylor]: Taking taylor expansion of 0 in a 5.942 * [backup-simplify]: Simplify 0 into 0 5.942 * [backup-simplify]: Simplify 0 into 0 5.942 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 5.942 * * * [progress]: simplifying candidates 5.944 * [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)) 5.947 * * [simplify]: Extracting # 0 : cost 0 5.947 * * [simplify]: Extracting # 1 : cost 0 5.947 * * [simplify]: Extracting # 2 : cost 0 5.948 * * [simplify]: Extracting # 3 : cost 0 5.948 * * [simplify]: Extracting # 4 : cost 0 5.948 * * [simplify]: Extracting # 5 : cost 0 5.948 * * [simplify]: Extracting # 6 : cost 0 5.949 * * [simplify]: iteration 0 : 38 enodes (cost 384 ) 5.966 * * [simplify]: Extracting # 0 : cost 0 5.966 * * [simplify]: Extracting # 1 : cost 0 5.966 * * [simplify]: Extracting # 2 : cost 0 5.966 * * [simplify]: Extracting # 3 : cost 0 5.966 * * [simplify]: Extracting # 4 : cost 0 5.967 * * [simplify]: Extracting # 5 : cost 0 5.967 * * [simplify]: iteration 1 : 62 enodes (cost 347 ) 5.985 * * [simplify]: Extracting # 0 : cost 0 5.986 * * [simplify]: Extracting # 1 : cost 0 5.986 * * [simplify]: Extracting # 2 : cost 0 5.986 * * [simplify]: Extracting # 3 : cost 0 5.986 * * [simplify]: Extracting # 4 : cost 0 5.987 * * [simplify]: iteration 2 : 98 enodes (cost 301 ) 6.026 * * [simplify]: Extracting # 0 : cost 0 6.026 * * [simplify]: Extracting # 1 : cost 0 6.026 * * [simplify]: Extracting # 2 : cost 0 6.027 * * [simplify]: Extracting # 3 : cost 0 6.027 * * [simplify]: Extracting # 4 : cost 0 6.027 * * [simplify]: iteration 3 : 153 enodes (cost 301 ) 6.259 * * [simplify]: Extracting # 0 : cost 0 6.260 * * [simplify]: Extracting # 1 : cost 0 6.260 * * [simplify]: Extracting # 2 : cost 0 6.261 * * [simplify]: Extracting # 3 : cost 0 6.261 * * [simplify]: Extracting # 4 : cost 0 6.261 * * [simplify]: iteration 4 : 241 enodes (cost 295 ) 6.337 * * [simplify]: Extracting # 0 : cost 0 6.337 * * [simplify]: Extracting # 1 : cost 0 6.338 * * [simplify]: Extracting # 2 : cost 0 6.338 * * [simplify]: Extracting # 3 : cost 0 6.339 * * [simplify]: Extracting # 4 : cost 0 6.339 * * [simplify]: iteration 5 : 421 enodes (cost 295 ) 6.784 * * [simplify]: Extracting # 0 : cost 0 6.786 * * [simplify]: Extracting # 1 : cost 0 6.787 * * [simplify]: Extracting # 2 : cost 0 6.789 * * [simplify]: Extracting # 3 : cost 0 6.790 * * [simplify]: Extracting # 4 : cost 0 6.791 * * [simplify]: iteration 6 : 1047 enodes (cost 295 ) 9.853 * * [simplify]: Extracting # 0 : cost 0 9.865 * * [simplify]: Extracting # 1 : cost 0 9.873 * * [simplify]: Extracting # 2 : cost 0 9.880 * * [simplify]: Extracting # 3 : cost 0 9.886 * * [simplify]: Extracting # 4 : cost 0 9.900 * * [simplify]: Extracting # 5 : cost 0 9.906 * * [simplify]: iteration 7 : 4342 enodes (cost 295 ) 13.798 * * [simplify]: Extracting # 0 : cost 0 13.830 * * [simplify]: Extracting # 1 : cost 0 13.837 * * [simplify]: Extracting # 2 : cost 0 13.845 * * [simplify]: Extracting # 3 : cost 0 13.893 * * [simplify]: Extracting # 4 : cost 0 13.926 * * [simplify]: iteration done: 5001 enodes (cost 295 ) 13.934 * [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)) 13.941 * * * [progress]: adding candidates to table 14.221 * * [progress]: iteration 3 / 4 14.224 * * * [progress]: picking best candidate 14.292 * * * * [pick]: Picked # 14.293 * * * [progress]: localizing error 14.412 * * * [progress]: generating rewritten candidates 14.412 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 14.413 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 14.419 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 14.437 * * * [progress]: generating series expansions 14.438 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 14.439 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.439 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 14.439 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 14.440 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.440 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 14.440 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.440 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 14.440 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.440 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 14.440 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.440 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.440 * [taylor]: Taking taylor expansion of 0 in a 14.440 * [backup-simplify]: Simplify 0 into 0 14.440 * [backup-simplify]: Simplify 0 into 0 14.440 * [backup-simplify]: Simplify 0 into 0 14.440 * [taylor]: Taking taylor expansion of 0 in a 14.440 * [backup-simplify]: Simplify 0 into 0 14.440 * [backup-simplify]: Simplify 0 into 0 14.441 * [backup-simplify]: Simplify 0 into 0 14.441 * [backup-simplify]: Simplify 0 into 0 14.441 * [taylor]: Taking taylor expansion of 0 in a 14.441 * [backup-simplify]: Simplify 0 into 0 14.441 * [backup-simplify]: Simplify 0 into 0 14.441 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.441 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.441 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 14.441 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 14.441 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.441 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 14.441 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.442 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 14.442 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.442 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 14.442 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.442 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.442 * [taylor]: Taking taylor expansion of 0 in a 14.442 * [backup-simplify]: Simplify 0 into 0 14.442 * [backup-simplify]: Simplify 0 into 0 14.442 * [backup-simplify]: Simplify 0 into 0 14.442 * [taylor]: Taking taylor expansion of 0 in a 14.442 * [backup-simplify]: Simplify 0 into 0 14.443 * [backup-simplify]: Simplify 0 into 0 14.443 * [backup-simplify]: Simplify 0 into 0 14.443 * [backup-simplify]: Simplify 0 into 0 14.443 * [taylor]: Taking taylor expansion of 0 in a 14.443 * [backup-simplify]: Simplify 0 into 0 14.443 * [backup-simplify]: Simplify 0 into 0 14.443 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 14.443 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.443 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 14.443 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 14.443 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.443 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 14.444 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.444 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 14.444 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.444 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 14.444 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.444 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.444 * [taylor]: Taking taylor expansion of 0 in a 14.444 * [backup-simplify]: Simplify 0 into 0 14.445 * [backup-simplify]: Simplify 0 into 0 14.445 * [backup-simplify]: Simplify 0 into 0 14.445 * [taylor]: Taking taylor expansion of 0 in a 14.445 * [backup-simplify]: Simplify 0 into 0 14.445 * [backup-simplify]: Simplify 0 into 0 14.445 * [backup-simplify]: Simplify 0 into 0 14.445 * [backup-simplify]: Simplify 0 into 0 14.445 * [taylor]: Taking taylor expansion of 0 in a 14.445 * [backup-simplify]: Simplify 0 into 0 14.445 * [backup-simplify]: Simplify 0 into 0 14.445 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 14.445 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 14.445 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.445 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 14.446 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 14.446 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 14.446 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.446 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.446 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 14.446 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 14.446 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.446 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.446 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 14.446 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 14.446 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.446 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.447 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 14.447 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 14.447 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.447 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.447 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.454 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 14.454 * [taylor]: Taking taylor expansion of 0 in a 14.454 * [backup-simplify]: Simplify 0 into 0 14.454 * [backup-simplify]: Simplify 0 into 0 14.457 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 14.457 * [backup-simplify]: Simplify 0 into 0 14.460 * [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 14.461 * [taylor]: Taking taylor expansion of 0 in a 14.461 * [backup-simplify]: Simplify 0 into 0 14.461 * [backup-simplify]: Simplify 0 into 0 14.461 * [backup-simplify]: Simplify 0 into 0 14.465 * [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 14.465 * [backup-simplify]: Simplify 0 into 0 14.471 * [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 14.471 * [taylor]: Taking taylor expansion of 0 in a 14.471 * [backup-simplify]: Simplify 0 into 0 14.471 * [backup-simplify]: Simplify 0 into 0 14.471 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.472 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.472 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 14.472 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 14.472 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 14.472 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.472 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.472 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 14.472 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 14.473 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.473 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.473 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 14.473 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 14.473 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.473 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.474 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 14.474 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 14.474 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.474 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.474 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.476 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 14.476 * [taylor]: Taking taylor expansion of 0 in a 14.476 * [backup-simplify]: Simplify 0 into 0 14.477 * [backup-simplify]: Simplify 0 into 0 14.479 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 14.479 * [backup-simplify]: Simplify 0 into 0 14.483 * [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 14.483 * [taylor]: Taking taylor expansion of 0 in a 14.483 * [backup-simplify]: Simplify 0 into 0 14.483 * [backup-simplify]: Simplify 0 into 0 14.483 * [backup-simplify]: Simplify 0 into 0 14.487 * [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 14.487 * [backup-simplify]: Simplify 0 into 0 14.493 * [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 14.493 * [taylor]: Taking taylor expansion of 0 in a 14.494 * [backup-simplify]: Simplify 0 into 0 14.494 * [backup-simplify]: Simplify 0 into 0 14.494 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 14.494 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.494 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 14.494 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 14.494 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 14.495 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.495 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.495 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 14.495 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 14.495 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.496 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.496 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 14.496 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 14.496 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.496 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.496 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 14.496 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 14.497 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.497 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.497 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.499 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 14.499 * [taylor]: Taking taylor expansion of 0 in a 14.499 * [backup-simplify]: Simplify 0 into 0 14.499 * [backup-simplify]: Simplify 0 into 0 14.501 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 14.501 * [backup-simplify]: Simplify 0 into 0 14.506 * [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 14.506 * [taylor]: Taking taylor expansion of 0 in a 14.506 * [backup-simplify]: Simplify 0 into 0 14.506 * [backup-simplify]: Simplify 0 into 0 14.506 * [backup-simplify]: Simplify 0 into 0 14.510 * [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 14.511 * [backup-simplify]: Simplify 0 into 0 14.517 * [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 14.517 * [taylor]: Taking taylor expansion of 0 in a 14.517 * [backup-simplify]: Simplify 0 into 0 14.517 * [backup-simplify]: Simplify 0 into 0 14.518 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 14.518 * * * * [progress]: [ 3 / 3 ] generating series at (2) 14.518 * [backup-simplify]: Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a)))) 14.518 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0 14.518 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a 14.518 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a 14.518 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a 14.518 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 14.518 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 14.519 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.519 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.519 * [taylor]: Taking taylor expansion of (log E) in a 14.519 * [taylor]: Taking taylor expansion of E in a 14.519 * [backup-simplify]: Simplify E into E 14.519 * [backup-simplify]: Simplify (log E) into 1 14.539 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 14.540 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 14.540 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 14.540 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 14.540 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 14.540 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 14.540 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 14.540 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.541 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.541 * [taylor]: Taking taylor expansion of (log E) in c 14.541 * [taylor]: Taking taylor expansion of E in c 14.541 * [backup-simplify]: Simplify E into E 14.541 * [backup-simplify]: Simplify (log E) into 1 14.541 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 14.541 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 14.541 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 14.542 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 14.542 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 14.542 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 14.542 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 14.542 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.542 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.542 * [taylor]: Taking taylor expansion of (log E) in c 14.542 * [taylor]: Taking taylor expansion of E in c 14.542 * [backup-simplify]: Simplify E into E 14.542 * [backup-simplify]: Simplify (log E) into 1 14.543 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 14.543 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 14.544 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 14.544 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.544 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.556 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 14.571 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 14.573 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0 14.585 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0 14.585 * [taylor]: Taking taylor expansion of 0 in a 14.585 * [backup-simplify]: Simplify 0 into 0 14.585 * [backup-simplify]: Simplify 0 into 0 14.585 * [backup-simplify]: Simplify 0 into 0 14.601 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 14.611 * [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 14.611 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0 14.613 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 14.613 * [taylor]: Taking taylor expansion of 0 in a 14.613 * [backup-simplify]: Simplify 0 into 0 14.613 * [backup-simplify]: Simplify 0 into 0 14.613 * [backup-simplify]: Simplify 0 into 0 14.613 * [backup-simplify]: Simplify 0 into 0 14.618 * [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 14.626 * [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 14.628 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.630 * [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 14.631 * [taylor]: Taking taylor expansion of 0 in a 14.631 * [backup-simplify]: Simplify 0 into 0 14.631 * [backup-simplify]: Simplify 0 into 0 14.631 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.631 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 14.631 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0 14.631 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 14.631 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a 14.631 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a 14.631 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 14.631 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 14.632 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.632 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.632 * [taylor]: Taking taylor expansion of (log E) in a 14.632 * [taylor]: Taking taylor expansion of E in a 14.632 * [backup-simplify]: Simplify E into E 14.632 * [backup-simplify]: Simplify (log E) into 1 14.632 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.633 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.633 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 14.633 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 14.633 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 14.633 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 14.633 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 14.633 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.633 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.633 * [taylor]: Taking taylor expansion of (log E) in c 14.633 * [taylor]: Taking taylor expansion of E in c 14.633 * [backup-simplify]: Simplify E into E 14.633 * [backup-simplify]: Simplify (log E) into 1 14.634 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.634 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.634 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 14.634 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 14.634 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 14.634 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 14.634 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 14.634 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.635 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.635 * [taylor]: Taking taylor expansion of (log E) in c 14.635 * [taylor]: Taking taylor expansion of E in c 14.635 * [backup-simplify]: Simplify E into E 14.635 * [backup-simplify]: Simplify (log E) into 1 14.635 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.635 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.635 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 14.636 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.636 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.638 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 14.640 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 14.641 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0 14.642 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 14.643 * [taylor]: Taking taylor expansion of 0 in a 14.643 * [backup-simplify]: Simplify 0 into 0 14.643 * [backup-simplify]: Simplify 0 into 0 14.643 * [backup-simplify]: Simplify 0 into 0 14.646 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 14.649 * [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 14.651 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 14.653 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 14.653 * [taylor]: Taking taylor expansion of 0 in a 14.653 * [backup-simplify]: Simplify 0 into 0 14.653 * [backup-simplify]: Simplify 0 into 0 14.653 * [backup-simplify]: Simplify 0 into 0 14.653 * [backup-simplify]: Simplify 0 into 0 14.662 * [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 14.667 * [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 14.668 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.671 * [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 14.671 * [taylor]: Taking taylor expansion of 0 in a 14.671 * [backup-simplify]: Simplify 0 into 0 14.671 * [backup-simplify]: Simplify 0 into 0 14.672 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 14.672 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 14.672 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0 14.672 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 14.672 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a 14.672 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a 14.672 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 14.672 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 14.673 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.673 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.673 * [taylor]: Taking taylor expansion of (log E) in a 14.673 * [taylor]: Taking taylor expansion of E in a 14.673 * [backup-simplify]: Simplify E into E 14.673 * [backup-simplify]: Simplify (log E) into 1 14.673 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.674 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.674 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 14.674 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 14.674 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 14.674 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 14.674 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 14.674 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.674 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.674 * [taylor]: Taking taylor expansion of (log E) in c 14.674 * [taylor]: Taking taylor expansion of E in c 14.674 * [backup-simplify]: Simplify E into E 14.674 * [backup-simplify]: Simplify (log E) into 1 14.674 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.675 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.675 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 14.675 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 14.675 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 14.675 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 14.675 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 14.675 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.675 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.675 * [taylor]: Taking taylor expansion of (log E) in c 14.675 * [taylor]: Taking taylor expansion of E in c 14.675 * [backup-simplify]: Simplify E into E 14.676 * [backup-simplify]: Simplify (log E) into 1 14.676 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.676 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.676 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 14.676 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.677 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.679 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 14.681 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 14.682 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0 14.684 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 14.684 * [taylor]: Taking taylor expansion of 0 in a 14.684 * [backup-simplify]: Simplify 0 into 0 14.684 * [backup-simplify]: Simplify 0 into 0 14.684 * [backup-simplify]: Simplify 0 into 0 14.687 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 14.690 * [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 14.691 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 14.694 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 14.694 * [taylor]: Taking taylor expansion of 0 in a 14.694 * [backup-simplify]: Simplify 0 into 0 14.694 * [backup-simplify]: Simplify 0 into 0 14.694 * [backup-simplify]: Simplify 0 into 0 14.694 * [backup-simplify]: Simplify 0 into 0 14.700 * [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 14.705 * [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 14.706 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.708 * [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 14.708 * [taylor]: Taking taylor expansion of 0 in a 14.709 * [backup-simplify]: Simplify 0 into 0 14.709 * [backup-simplify]: Simplify 0 into 0 14.709 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 14.709 * * * [progress]: simplifying candidates 14.710 * [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)) 14.712 * * [simplify]: Extracting # 0 : cost 0 14.712 * * [simplify]: Extracting # 1 : cost 0 14.712 * * [simplify]: Extracting # 2 : cost 0 14.712 * * [simplify]: Extracting # 3 : cost 0 14.713 * * [simplify]: Extracting # 4 : cost 0 14.713 * * [simplify]: Extracting # 5 : cost 0 14.713 * * [simplify]: Extracting # 6 : cost 0 14.713 * * [simplify]: iteration 0 : 53 enodes (cost 513 ) 14.848 * * [simplify]: Extracting # 0 : cost 0 14.849 * * [simplify]: Extracting # 1 : cost 0 14.850 * * [simplify]: Extracting # 2 : cost 0 14.850 * * [simplify]: Extracting # 3 : cost 0 14.851 * * [simplify]: Extracting # 4 : cost 0 14.851 * * [simplify]: Extracting # 5 : cost 0 14.852 * * [simplify]: Extracting # 6 : cost 0 14.852 * * [simplify]: iteration 1 : 135 enodes (cost 480 ) 14.993 * * [simplify]: Extracting # 0 : cost 0 14.995 * * [simplify]: Extracting # 1 : cost 0 14.997 * * [simplify]: Extracting # 2 : cost 0 14.999 * * [simplify]: Extracting # 3 : cost 0 15.000 * * [simplify]: Extracting # 4 : cost 0 15.002 * * [simplify]: Extracting # 5 : cost 0 15.004 * * [simplify]: iteration 2 : 562 enodes (cost 408 ) 15.926 * * [simplify]: Extracting # 0 : cost 0 16.077 * * [simplify]: Extracting # 1 : cost 0 16.098 * * [simplify]: Extracting # 2 : cost 0 16.111 * * [simplify]: Extracting # 3 : cost 0 16.125 * * [simplify]: Extracting # 4 : cost 0 16.142 * * [simplify]: iteration done: 5000 enodes (cost 408 ) 16.146 * [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))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (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))) (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)) 16.150 * * * [progress]: adding candidates to table 16.691 * * [progress]: iteration 4 / 4 16.692 * * * [progress]: picking best candidate 16.822 * * * * [pick]: Picked # 16.822 * * * [progress]: localizing error 16.852 * * * [progress]: generating rewritten candidates 16.853 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2 1) 16.853 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 16.857 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 16.871 * * * [progress]: generating series expansions 16.871 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2 1) 16.871 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 16.871 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 16.871 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 16.872 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 16.872 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 16.872 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 16.872 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 16.872 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 16.872 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 16.872 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 16.872 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 16.872 * [taylor]: Taking taylor expansion of 0 in a 16.872 * [backup-simplify]: Simplify 0 into 0 16.872 * [backup-simplify]: Simplify 0 into 0 16.872 * [backup-simplify]: Simplify 0 into 0 16.872 * [taylor]: Taking taylor expansion of 0 in a 16.872 * [backup-simplify]: Simplify 0 into 0 16.872 * [backup-simplify]: Simplify 0 into 0 16.872 * [backup-simplify]: Simplify 0 into 0 16.872 * [backup-simplify]: Simplify 0 into 0 16.872 * [taylor]: Taking taylor expansion of 0 in a 16.873 * [backup-simplify]: Simplify 0 into 0 16.873 * [backup-simplify]: Simplify 0 into 0 16.873 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 16.873 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 16.873 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 16.873 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 16.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 16.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 16.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 16.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 16.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 16.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 16.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 16.874 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 16.874 * [taylor]: Taking taylor expansion of 0 in a 16.874 * [backup-simplify]: Simplify 0 into 0 16.874 * [backup-simplify]: Simplify 0 into 0 16.874 * [backup-simplify]: Simplify 0 into 0 16.874 * [taylor]: Taking taylor expansion of 0 in a 16.874 * [backup-simplify]: Simplify 0 into 0 16.874 * [backup-simplify]: Simplify 0 into 0 16.874 * [backup-simplify]: Simplify 0 into 0 16.875 * [backup-simplify]: Simplify 0 into 0 16.875 * [taylor]: Taking taylor expansion of 0 in a 16.875 * [backup-simplify]: Simplify 0 into 0 16.875 * [backup-simplify]: Simplify 0 into 0 16.875 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 16.875 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 16.875 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 16.875 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 16.875 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 16.875 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 16.875 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 16.876 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 16.876 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 16.876 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 16.876 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 16.876 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 16.876 * [taylor]: Taking taylor expansion of 0 in a 16.876 * [backup-simplify]: Simplify 0 into 0 16.876 * [backup-simplify]: Simplify 0 into 0 16.876 * [backup-simplify]: Simplify 0 into 0 16.876 * [taylor]: Taking taylor expansion of 0 in a 16.876 * [backup-simplify]: Simplify 0 into 0 16.876 * [backup-simplify]: Simplify 0 into 0 16.877 * [backup-simplify]: Simplify 0 into 0 16.877 * [backup-simplify]: Simplify 0 into 0 16.877 * [taylor]: Taking taylor expansion of 0 in a 16.877 * [backup-simplify]: Simplify 0 into 0 16.877 * [backup-simplify]: Simplify 0 into 0 16.877 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 16.877 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 16.877 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 16.877 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 16.877 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 16.877 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 16.878 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 16.878 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 16.878 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 16.878 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 16.878 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 16.878 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 16.878 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 16.878 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 16.878 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 16.879 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 16.879 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 16.879 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 16.879 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 16.879 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 16.879 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 16.881 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 16.881 * [taylor]: Taking taylor expansion of 0 in a 16.881 * [backup-simplify]: Simplify 0 into 0 16.881 * [backup-simplify]: Simplify 0 into 0 16.883 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 16.883 * [backup-simplify]: Simplify 0 into 0 16.887 * [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 16.887 * [taylor]: Taking taylor expansion of 0 in a 16.887 * [backup-simplify]: Simplify 0 into 0 16.887 * [backup-simplify]: Simplify 0 into 0 16.887 * [backup-simplify]: Simplify 0 into 0 16.890 * [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 16.890 * [backup-simplify]: Simplify 0 into 0 16.894 * [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 16.894 * [taylor]: Taking taylor expansion of 0 in a 16.894 * [backup-simplify]: Simplify 0 into 0 16.894 * [backup-simplify]: Simplify 0 into 0 16.894 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 16.895 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 16.895 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 16.895 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 16.895 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 16.895 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 16.895 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 16.895 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 16.895 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 16.895 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 16.896 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 16.896 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 16.896 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 16.896 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 16.896 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 16.896 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 16.896 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 16.896 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 16.896 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 16.897 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 16.898 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 16.898 * [taylor]: Taking taylor expansion of 0 in a 16.898 * [backup-simplify]: Simplify 0 into 0 16.898 * [backup-simplify]: Simplify 0 into 0 16.899 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 16.899 * [backup-simplify]: Simplify 0 into 0 16.901 * [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 16.901 * [taylor]: Taking taylor expansion of 0 in a 16.901 * [backup-simplify]: Simplify 0 into 0 16.901 * [backup-simplify]: Simplify 0 into 0 16.901 * [backup-simplify]: Simplify 0 into 0 16.903 * [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 16.903 * [backup-simplify]: Simplify 0 into 0 16.907 * [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 16.907 * [taylor]: Taking taylor expansion of 0 in a 16.907 * [backup-simplify]: Simplify 0 into 0 16.907 * [backup-simplify]: Simplify 0 into 0 16.907 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 16.907 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 16.907 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 16.907 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 16.907 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 16.908 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 16.908 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 16.908 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 16.908 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 16.908 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 16.908 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 16.908 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 16.908 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 16.908 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 16.909 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 16.909 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 16.909 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 16.909 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 16.909 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 16.909 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 16.910 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 16.911 * [taylor]: Taking taylor expansion of 0 in a 16.911 * [backup-simplify]: Simplify 0 into 0 16.911 * [backup-simplify]: Simplify 0 into 0 16.912 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 16.912 * [backup-simplify]: Simplify 0 into 0 16.914 * [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 16.914 * [taylor]: Taking taylor expansion of 0 in a 16.914 * [backup-simplify]: Simplify 0 into 0 16.914 * [backup-simplify]: Simplify 0 into 0 16.914 * [backup-simplify]: Simplify 0 into 0 16.916 * [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 16.916 * [backup-simplify]: Simplify 0 into 0 16.919 * [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 16.919 * [taylor]: Taking taylor expansion of 0 in a 16.920 * [backup-simplify]: Simplify 0 into 0 16.920 * [backup-simplify]: Simplify 0 into 0 16.920 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 16.920 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 16.920 * [backup-simplify]: Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a)))) 16.920 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0 16.920 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a 16.920 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a 16.920 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a 16.920 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 16.920 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 16.920 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 16.921 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 16.921 * [taylor]: Taking taylor expansion of (log E) in a 16.921 * [taylor]: Taking taylor expansion of E in a 16.921 * [backup-simplify]: Simplify E into E 16.921 * [backup-simplify]: Simplify (log E) into 1 16.921 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 16.921 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 16.921 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 16.921 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 16.921 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 16.921 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 16.921 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 16.921 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 16.921 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 16.921 * [taylor]: Taking taylor expansion of (log E) in c 16.921 * [taylor]: Taking taylor expansion of E in c 16.921 * [backup-simplify]: Simplify E into E 16.922 * [backup-simplify]: Simplify (log E) into 1 16.922 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 16.922 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 16.922 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 16.922 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 16.922 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 16.922 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 16.922 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 16.922 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 16.922 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 16.922 * [taylor]: Taking taylor expansion of (log E) in c 16.922 * [taylor]: Taking taylor expansion of E in c 16.922 * [backup-simplify]: Simplify E into E 16.922 * [backup-simplify]: Simplify (log E) into 1 16.923 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 16.923 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 16.923 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 16.923 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 16.923 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 16.925 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 16.926 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 16.926 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0 16.927 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0 16.927 * [taylor]: Taking taylor expansion of 0 in a 16.927 * [backup-simplify]: Simplify 0 into 0 16.927 * [backup-simplify]: Simplify 0 into 0 16.927 * [backup-simplify]: Simplify 0 into 0 16.930 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 16.932 * [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 16.933 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0 16.935 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 16.935 * [taylor]: Taking taylor expansion of 0 in a 16.935 * [backup-simplify]: Simplify 0 into 0 16.935 * [backup-simplify]: Simplify 0 into 0 16.935 * [backup-simplify]: Simplify 0 into 0 16.935 * [backup-simplify]: Simplify 0 into 0 16.940 * [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 16.943 * [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 16.944 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 16.946 * [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 16.946 * [taylor]: Taking taylor expansion of 0 in a 16.946 * [backup-simplify]: Simplify 0 into 0 16.946 * [backup-simplify]: Simplify 0 into 0 16.946 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 16.946 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 16.946 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0 16.946 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 16.946 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a 16.946 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a 16.946 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 16.946 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 16.947 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 16.947 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 16.947 * [taylor]: Taking taylor expansion of (log E) in a 16.947 * [taylor]: Taking taylor expansion of E in a 16.947 * [backup-simplify]: Simplify E into E 16.947 * [backup-simplify]: Simplify (log E) into 1 16.947 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 16.947 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 16.947 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 16.947 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 16.947 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 16.948 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 16.948 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 16.948 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 16.948 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 16.948 * [taylor]: Taking taylor expansion of (log E) in c 16.948 * [taylor]: Taking taylor expansion of E in c 16.948 * [backup-simplify]: Simplify E into E 16.948 * [backup-simplify]: Simplify (log E) into 1 16.948 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 16.948 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 16.948 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 16.949 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 16.949 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 16.949 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 16.949 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 16.949 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 16.949 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 16.949 * [taylor]: Taking taylor expansion of (log E) in c 16.949 * [taylor]: Taking taylor expansion of E in c 16.949 * [backup-simplify]: Simplify E into E 16.949 * [backup-simplify]: Simplify (log E) into 1 16.949 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 16.950 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 16.950 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 16.950 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 16.950 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 16.952 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 16.953 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 16.953 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0 16.954 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 16.954 * [taylor]: Taking taylor expansion of 0 in a 16.954 * [backup-simplify]: Simplify 0 into 0 16.954 * [backup-simplify]: Simplify 0 into 0 16.954 * [backup-simplify]: Simplify 0 into 0 16.957 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 16.960 * [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 16.960 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 16.962 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 16.962 * [taylor]: Taking taylor expansion of 0 in a 16.962 * [backup-simplify]: Simplify 0 into 0 16.962 * [backup-simplify]: Simplify 0 into 0 16.962 * [backup-simplify]: Simplify 0 into 0 16.962 * [backup-simplify]: Simplify 0 into 0 16.967 * [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 16.970 * [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 16.971 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 16.973 * [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 16.973 * [taylor]: Taking taylor expansion of 0 in a 16.973 * [backup-simplify]: Simplify 0 into 0 16.973 * [backup-simplify]: Simplify 0 into 0 16.973 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 16.974 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 16.974 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0 16.974 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 16.974 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a 16.974 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a 16.974 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 16.974 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 16.974 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 16.974 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 16.974 * [taylor]: Taking taylor expansion of (log E) in a 16.974 * [taylor]: Taking taylor expansion of E in a 16.974 * [backup-simplify]: Simplify E into E 16.974 * [backup-simplify]: Simplify (log E) into 1 16.974 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 16.975 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 16.975 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 16.975 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 16.975 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 16.975 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 16.975 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 16.975 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 16.975 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 16.975 * [taylor]: Taking taylor expansion of (log E) in c 16.975 * [taylor]: Taking taylor expansion of E in c 16.975 * [backup-simplify]: Simplify E into E 16.975 * [backup-simplify]: Simplify (log E) into 1 16.975 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 16.976 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 16.976 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 16.976 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 16.976 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 16.976 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 16.976 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 16.976 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 16.976 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 16.976 * [taylor]: Taking taylor expansion of (log E) in c 16.976 * [taylor]: Taking taylor expansion of E in c 16.976 * [backup-simplify]: Simplify E into E 16.976 * [backup-simplify]: Simplify (log E) into 1 16.976 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 16.977 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 16.977 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 16.977 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 16.977 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 16.979 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 16.980 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 16.981 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0 16.982 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 16.982 * [taylor]: Taking taylor expansion of 0 in a 16.982 * [backup-simplify]: Simplify 0 into 0 16.982 * [backup-simplify]: Simplify 0 into 0 16.982 * [backup-simplify]: Simplify 0 into 0 16.985 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 16.987 * [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 16.988 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 16.989 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 16.989 * [taylor]: Taking taylor expansion of 0 in a 16.989 * [backup-simplify]: Simplify 0 into 0 16.989 * [backup-simplify]: Simplify 0 into 0 16.989 * [backup-simplify]: Simplify 0 into 0 16.989 * [backup-simplify]: Simplify 0 into 0 17.055 * [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 17.061 * [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 17.061 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 17.063 * [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 17.063 * [taylor]: Taking taylor expansion of 0 in a 17.063 * [backup-simplify]: Simplify 0 into 0 17.063 * [backup-simplify]: Simplify 0 into 0 17.063 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 17.063 * * * [progress]: simplifying candidates 17.067 * [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)) 17.069 * * [simplify]: Extracting # 0 : cost 0 17.069 * * [simplify]: Extracting # 1 : cost 0 17.069 * * [simplify]: Extracting # 2 : cost 0 17.069 * * [simplify]: Extracting # 3 : cost 0 17.069 * * [simplify]: Extracting # 4 : cost 0 17.069 * * [simplify]: Extracting # 5 : cost 0 17.069 * * [simplify]: Extracting # 6 : cost 0 17.069 * * [simplify]: iteration 0 : 53 enodes (cost 513 ) 17.093 * * [simplify]: Extracting # 0 : cost 0 17.093 * * [simplify]: Extracting # 1 : cost 0 17.093 * * [simplify]: Extracting # 2 : cost 0 17.093 * * [simplify]: Extracting # 3 : cost 0 17.093 * * [simplify]: Extracting # 4 : cost 0 17.093 * * [simplify]: Extracting # 5 : cost 0 17.093 * * [simplify]: Extracting # 6 : cost 0 17.094 * * [simplify]: iteration 1 : 135 enodes (cost 480 ) 17.311 * * [simplify]: Extracting # 0 : cost 0 17.314 * * [simplify]: Extracting # 1 : cost 0 17.315 * * [simplify]: Extracting # 2 : cost 0 17.316 * * [simplify]: Extracting # 3 : cost 0 17.317 * * [simplify]: Extracting # 4 : cost 0 17.318 * * [simplify]: Extracting # 5 : cost 0 17.321 * * [simplify]: iteration 2 : 562 enodes (cost 408 ) 18.104 * * [simplify]: Extracting # 0 : cost 0 18.262 * * [simplify]: Extracting # 1 : cost 0 18.278 * * [simplify]: Extracting # 2 : cost 0 18.292 * * [simplify]: Extracting # 3 : cost 0 18.306 * * [simplify]: Extracting # 4 : cost 0 18.320 * * [simplify]: iteration done: 5000 enodes (cost 408 ) 18.320 * [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))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (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))) (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)) 18.334 * * * [progress]: adding candidates to table 18.762 * [progress]: [Phase 3 of 3] Extracting. 18.774 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # #) 18.786 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a) 18.790 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # # # # # # # #) 19.103 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # # # # # # # #) 19.236 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # # # # # # #) 19.435 * * * * [regimes]: Trying to branch on c from (# # # # # # # # # # # # # #) 19.562 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # # #) 19.690 * * * [regime]: Found split indices: #