0.063 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.664 * * * [progress]: [2/2] Setting up program. 0.668 * [progress]: [Phase 2 of 3] Improving. 0.671 * [simplify]: Simplifying: (fmod (cosh c) (log1p a)) 0.672 * * [simplify]: Extracting # 0 : cost 0 0.672 * * [simplify]: Extracting # 1 : cost 0 0.672 * * [simplify]: Extracting # 2 : cost 0 0.672 * * [simplify]: Extracting # 3 : cost 0 0.672 * * [simplify]: Extracting # 4 : cost 0 0.672 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.676 * * [simplify]: Extracting # 0 : cost 0 0.676 * * [simplify]: Extracting # 1 : cost 0 0.676 * * [simplify]: Extracting # 2 : cost 0 0.676 * * [simplify]: Extracting # 3 : cost 0 0.676 * * [simplify]: Extracting # 4 : cost 0 0.676 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 0.677 * * [simplify]: Extracting # 0 : cost 0 0.677 * * [simplify]: Extracting # 1 : cost 0 0.677 * * [simplify]: Extracting # 2 : cost 0 0.677 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 0.680 * * [simplify]: Extracting # 0 : cost 0 0.680 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 0.682 * * [simplify]: Extracting # 0 : cost 0 0.682 * * [simplify]: iteration done: 16 enodes (cost 5 ) 0.715 * [simplify]: Simplified to: (fmod (cosh c) (log1p a)) 0.717 * * [progress]: iteration 1 / 4 0.717 * * * [progress]: picking best candidate 0.721 * * * * [pick]: Picked # 0.721 * * * [progress]: localizing error 0.743 * * * [progress]: generating rewritten candidates 0.743 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.747 * * * [progress]: generating series expansions 0.747 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.751 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.751 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.753 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.755 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.755 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.756 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.756 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.756 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.756 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.756 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.756 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.757 * [taylor]: Taking taylor expansion of 0 in a 0.757 * [backup-simplify]: Simplify 0 into 0 0.757 * [backup-simplify]: Simplify 0 into 0 0.757 * [backup-simplify]: Simplify 0 into 0 0.757 * [taylor]: Taking taylor expansion of 0 in a 0.757 * [backup-simplify]: Simplify 0 into 0 0.757 * [backup-simplify]: Simplify 0 into 0 0.757 * [backup-simplify]: Simplify 0 into 0 0.757 * [backup-simplify]: Simplify 0 into 0 0.757 * [taylor]: Taking taylor expansion of 0 in a 0.757 * [backup-simplify]: Simplify 0 into 0 0.757 * [backup-simplify]: Simplify 0 into 0 0.757 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.760 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.760 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.760 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.760 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.760 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.760 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.760 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.760 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.761 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.761 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.761 * [taylor]: Taking taylor expansion of 0 in a 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [taylor]: Taking taylor expansion of 0 in a 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [taylor]: Taking taylor expansion of 0 in a 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.763 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.763 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.763 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.763 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.763 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.763 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.763 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.763 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.763 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.764 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.764 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.764 * [taylor]: Taking taylor expansion of 0 in a 0.764 * [backup-simplify]: Simplify 0 into 0 0.764 * [backup-simplify]: Simplify 0 into 0 0.764 * [backup-simplify]: Simplify 0 into 0 0.764 * [taylor]: Taking taylor expansion of 0 in a 0.764 * [backup-simplify]: Simplify 0 into 0 0.764 * [backup-simplify]: Simplify 0 into 0 0.764 * [backup-simplify]: Simplify 0 into 0 0.764 * [backup-simplify]: Simplify 0 into 0 0.764 * [taylor]: Taking taylor expansion of 0 in a 0.764 * [backup-simplify]: Simplify 0 into 0 0.764 * [backup-simplify]: Simplify 0 into 0 0.765 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.765 * * * [progress]: simplifying candidates 0.765 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 0.766 * * [simplify]: Extracting # 0 : cost 0 0.766 * * [simplify]: Extracting # 1 : cost 0 0.766 * * [simplify]: Extracting # 2 : cost 0 0.766 * * [simplify]: Extracting # 3 : cost 0 0.766 * * [simplify]: Extracting # 4 : cost 0 0.766 * * [simplify]: Extracting # 5 : cost 0 0.766 * * [simplify]: Extracting # 6 : cost 0 0.766 * * [simplify]: iteration 0 : 14 enodes (cost 87 ) 0.770 * * [simplify]: Extracting # 0 : cost 0 0.770 * * [simplify]: Extracting # 1 : cost 0 0.770 * * [simplify]: Extracting # 2 : cost 0 0.770 * * [simplify]: Extracting # 3 : cost 0 0.770 * * [simplify]: Extracting # 4 : cost 0 0.770 * * [simplify]: Extracting # 5 : cost 0 0.770 * * [simplify]: iteration 1 : 21 enodes (cost 87 ) 0.776 * * [simplify]: Extracting # 0 : cost 0 0.776 * * [simplify]: Extracting # 1 : cost 0 0.776 * * [simplify]: Extracting # 2 : cost 0 0.776 * * [simplify]: iteration 2 : 26 enodes (cost 77 ) 0.784 * * [simplify]: Extracting # 0 : cost 0 0.784 * * [simplify]: Extracting # 1 : cost 0 0.784 * * [simplify]: Extracting # 2 : cost 0 0.784 * * [simplify]: Extracting # 3 : cost 0 0.784 * * [simplify]: Extracting # 4 : cost 0 0.785 * * [simplify]: iteration 3 : 32 enodes (cost 77 ) 0.793 * * [simplify]: Extracting # 0 : cost 0 0.793 * * [simplify]: Extracting # 1 : cost 0 0.793 * * [simplify]: Extracting # 2 : cost 0 0.793 * * [simplify]: Extracting # 3 : cost 0 0.794 * * [simplify]: Extracting # 4 : cost 0 0.794 * * [simplify]: iteration 4 : 38 enodes (cost 77 ) 0.804 * * [simplify]: Extracting # 0 : cost 0 0.804 * * [simplify]: Extracting # 1 : cost 0 0.804 * * [simplify]: Extracting # 2 : cost 0 0.804 * * [simplify]: Extracting # 3 : cost 0 0.804 * * [simplify]: Extracting # 4 : cost 0 0.804 * * [simplify]: iteration 5 : 48 enodes (cost 77 ) 0.819 * * [simplify]: Extracting # 0 : cost 0 0.819 * * [simplify]: Extracting # 1 : cost 0 0.820 * * [simplify]: Extracting # 2 : cost 0 0.820 * * [simplify]: Extracting # 3 : cost 0 0.820 * * [simplify]: iteration 6 : 69 enodes (cost 77 ) 0.850 * * [simplify]: Extracting # 0 : cost 0 0.850 * * [simplify]: Extracting # 1 : cost 0 0.850 * * [simplify]: Extracting # 2 : cost 0 0.851 * * [simplify]: Extracting # 3 : cost 0 0.851 * * [simplify]: iteration 7 : 147 enodes (cost 77 ) 1.372 * * [simplify]: Extracting # 0 : cost 0 1.373 * * [simplify]: Extracting # 1 : cost 0 1.373 * * [simplify]: Extracting # 2 : cost 0 1.374 * * [simplify]: Extracting # 3 : cost 0 1.374 * * [simplify]: Extracting # 4 : cost 0 1.375 * * [simplify]: iteration 8 : 440 enodes (cost 77 ) 2.312 * * [simplify]: Extracting # 0 : cost 0 2.313 * * [simplify]: Extracting # 1 : cost 0 2.314 * * [simplify]: Extracting # 2 : cost 0 2.315 * * [simplify]: Extracting # 3 : cost 0 2.317 * * [simplify]: Extracting # 4 : cost 0 2.319 * * [simplify]: iteration 9 : 1834 enodes (cost 77 ) 3.400 * * [simplify]: Extracting # 0 : cost 0 3.408 * * [simplify]: Extracting # 1 : cost 0 3.414 * * [simplify]: Extracting # 2 : cost 0 3.420 * * [simplify]: Extracting # 3 : cost 0 3.425 * * [simplify]: iteration done: 5000 enodes (cost 77 ) 3.426 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 3.426 * * * [progress]: adding candidates to table 3.489 * * [progress]: iteration 2 / 4 3.489 * * * [progress]: picking best candidate 3.512 * * * * [pick]: Picked # 3.512 * * * [progress]: localizing error 3.524 * * * [progress]: generating rewritten candidates 3.524 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 3.524 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 3.525 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 3.543 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 3.550 * * * [progress]: generating series expansions 3.550 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 3.551 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.551 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.551 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.551 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.551 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.551 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.551 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.551 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.551 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.551 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.552 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.552 * [taylor]: Taking taylor expansion of 0 in a 3.552 * [backup-simplify]: Simplify 0 into 0 3.552 * [backup-simplify]: Simplify 0 into 0 3.552 * [backup-simplify]: Simplify 0 into 0 3.552 * [taylor]: Taking taylor expansion of 0 in a 3.552 * [backup-simplify]: Simplify 0 into 0 3.552 * [backup-simplify]: Simplify 0 into 0 3.552 * [backup-simplify]: Simplify 0 into 0 3.552 * [backup-simplify]: Simplify 0 into 0 3.552 * [taylor]: Taking taylor expansion of 0 in a 3.552 * [backup-simplify]: Simplify 0 into 0 3.552 * [backup-simplify]: Simplify 0 into 0 3.552 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.553 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.553 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.553 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.553 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.553 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.553 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.553 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.553 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.553 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.554 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.554 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.554 * [taylor]: Taking taylor expansion of 0 in a 3.554 * [backup-simplify]: Simplify 0 into 0 3.554 * [backup-simplify]: Simplify 0 into 0 3.554 * [backup-simplify]: Simplify 0 into 0 3.554 * [taylor]: Taking taylor expansion of 0 in a 3.554 * [backup-simplify]: Simplify 0 into 0 3.554 * [backup-simplify]: Simplify 0 into 0 3.554 * [backup-simplify]: Simplify 0 into 0 3.554 * [backup-simplify]: Simplify 0 into 0 3.554 * [taylor]: Taking taylor expansion of 0 in a 3.554 * [backup-simplify]: Simplify 0 into 0 3.554 * [backup-simplify]: Simplify 0 into 0 3.554 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.555 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.555 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.555 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.555 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.555 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.555 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.555 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.555 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.555 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.556 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.556 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.556 * [taylor]: Taking taylor expansion of 0 in a 3.556 * [backup-simplify]: Simplify 0 into 0 3.556 * [backup-simplify]: Simplify 0 into 0 3.556 * [backup-simplify]: Simplify 0 into 0 3.556 * [taylor]: Taking taylor expansion of 0 in a 3.556 * [backup-simplify]: Simplify 0 into 0 3.556 * [backup-simplify]: Simplify 0 into 0 3.556 * [backup-simplify]: Simplify 0 into 0 3.556 * [backup-simplify]: Simplify 0 into 0 3.556 * [taylor]: Taking taylor expansion of 0 in a 3.556 * [backup-simplify]: Simplify 0 into 0 3.556 * [backup-simplify]: Simplify 0 into 0 3.556 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.556 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 3.557 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.557 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.557 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.557 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.557 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.557 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.557 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.557 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.557 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.557 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.558 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.558 * [taylor]: Taking taylor expansion of 0 in a 3.558 * [backup-simplify]: Simplify 0 into 0 3.558 * [backup-simplify]: Simplify 0 into 0 3.558 * [backup-simplify]: Simplify 0 into 0 3.558 * [taylor]: Taking taylor expansion of 0 in a 3.558 * [backup-simplify]: Simplify 0 into 0 3.558 * [backup-simplify]: Simplify 0 into 0 3.558 * [backup-simplify]: Simplify 0 into 0 3.558 * [backup-simplify]: Simplify 0 into 0 3.558 * [taylor]: Taking taylor expansion of 0 in a 3.558 * [backup-simplify]: Simplify 0 into 0 3.558 * [backup-simplify]: Simplify 0 into 0 3.558 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.558 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.558 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.558 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.559 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.559 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.559 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.559 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.559 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.559 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.559 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.559 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.559 * [taylor]: Taking taylor expansion of 0 in a 3.559 * [backup-simplify]: Simplify 0 into 0 3.559 * [backup-simplify]: Simplify 0 into 0 3.560 * [backup-simplify]: Simplify 0 into 0 3.560 * [taylor]: Taking taylor expansion of 0 in a 3.560 * [backup-simplify]: Simplify 0 into 0 3.560 * [backup-simplify]: Simplify 0 into 0 3.560 * [backup-simplify]: Simplify 0 into 0 3.560 * [backup-simplify]: Simplify 0 into 0 3.560 * [taylor]: Taking taylor expansion of 0 in a 3.560 * [backup-simplify]: Simplify 0 into 0 3.560 * [backup-simplify]: Simplify 0 into 0 3.560 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.560 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.560 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.560 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.561 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.561 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.561 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.561 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.561 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.561 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.561 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.561 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.561 * [taylor]: Taking taylor expansion of 0 in a 3.561 * [backup-simplify]: Simplify 0 into 0 3.562 * [backup-simplify]: Simplify 0 into 0 3.562 * [backup-simplify]: Simplify 0 into 0 3.562 * [taylor]: Taking taylor expansion of 0 in a 3.562 * [backup-simplify]: Simplify 0 into 0 3.562 * [backup-simplify]: Simplify 0 into 0 3.562 * [backup-simplify]: Simplify 0 into 0 3.562 * [backup-simplify]: Simplify 0 into 0 3.562 * [taylor]: Taking taylor expansion of 0 in a 3.562 * [backup-simplify]: Simplify 0 into 0 3.562 * [backup-simplify]: Simplify 0 into 0 3.563 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.563 * * * * [progress]: [ 3 / 4 ] generating series at (2) 3.563 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 3.563 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.563 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.563 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.563 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.563 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.563 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.564 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.564 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.564 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.564 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.564 * [taylor]: Taking taylor expansion of 0 in a 3.564 * [backup-simplify]: Simplify 0 into 0 3.564 * [backup-simplify]: Simplify 0 into 0 3.564 * [backup-simplify]: Simplify 0 into 0 3.564 * [taylor]: Taking taylor expansion of 0 in a 3.564 * [backup-simplify]: Simplify 0 into 0 3.564 * [backup-simplify]: Simplify 0 into 0 3.564 * [backup-simplify]: Simplify 0 into 0 3.564 * [backup-simplify]: Simplify 0 into 0 3.564 * [taylor]: Taking taylor expansion of 0 in a 3.564 * [backup-simplify]: Simplify 0 into 0 3.564 * [backup-simplify]: Simplify 0 into 0 3.564 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.565 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.565 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.565 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.565 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.565 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.565 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.565 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.566 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.566 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.566 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.566 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.566 * [taylor]: Taking taylor expansion of 0 in a 3.566 * [backup-simplify]: Simplify 0 into 0 3.566 * [backup-simplify]: Simplify 0 into 0 3.566 * [backup-simplify]: Simplify 0 into 0 3.566 * [taylor]: Taking taylor expansion of 0 in a 3.566 * [backup-simplify]: Simplify 0 into 0 3.566 * [backup-simplify]: Simplify 0 into 0 3.566 * [backup-simplify]: Simplify 0 into 0 3.566 * [backup-simplify]: Simplify 0 into 0 3.566 * [taylor]: Taking taylor expansion of 0 in a 3.566 * [backup-simplify]: Simplify 0 into 0 3.566 * [backup-simplify]: Simplify 0 into 0 3.567 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.567 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.567 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.567 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.567 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.567 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.568 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.568 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.568 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.568 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.568 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.568 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.568 * [taylor]: Taking taylor expansion of 0 in a 3.568 * [backup-simplify]: Simplify 0 into 0 3.568 * [backup-simplify]: Simplify 0 into 0 3.568 * [backup-simplify]: Simplify 0 into 0 3.568 * [taylor]: Taking taylor expansion of 0 in a 3.568 * [backup-simplify]: Simplify 0 into 0 3.569 * [backup-simplify]: Simplify 0 into 0 3.569 * [backup-simplify]: Simplify 0 into 0 3.569 * [backup-simplify]: Simplify 0 into 0 3.569 * [taylor]: Taking taylor expansion of 0 in a 3.569 * [backup-simplify]: Simplify 0 into 0 3.569 * [backup-simplify]: Simplify 0 into 0 3.569 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.569 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 3.569 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 3.569 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in (c a) around 0 3.569 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a 3.569 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.569 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.570 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 3.570 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 3.570 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c 3.570 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.570 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.570 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 3.571 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 3.571 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in c 3.571 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.571 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.571 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 3.571 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 3.571 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh c) (log1p a))) in a 3.571 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.571 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.572 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 3.572 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 3.572 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 3.572 * [taylor]: Taking taylor expansion of 0 in a 3.572 * [backup-simplify]: Simplify 0 into 0 3.572 * [backup-simplify]: Simplify 0 into 0 3.572 * [backup-simplify]: Simplify 0 into 0 3.574 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 3.574 * [taylor]: Taking taylor expansion of 0 in a 3.574 * [backup-simplify]: Simplify 0 into 0 3.574 * [backup-simplify]: Simplify 0 into 0 3.574 * [backup-simplify]: Simplify 0 into 0 3.575 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 3.575 * [backup-simplify]: Simplify 0 into 0 3.576 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh c) (log1p a))))) into 0 3.576 * [taylor]: Taking taylor expansion of 0 in a 3.576 * [backup-simplify]: Simplify 0 into 0 3.576 * [backup-simplify]: Simplify 0 into 0 3.576 * [backup-simplify]: Simplify (sqrt (fmod (cosh c) (log1p a))) into (sqrt (fmod (cosh c) (log1p a))) 3.577 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.577 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 3.577 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.577 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.577 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.577 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.577 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 3.577 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.577 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.578 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.578 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.578 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 3.578 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.578 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.578 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.578 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.579 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 3.579 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.579 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.579 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.579 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.579 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 3.580 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.580 * [taylor]: Taking taylor expansion of 0 in a 3.580 * [backup-simplify]: Simplify 0 into 0 3.580 * [backup-simplify]: Simplify 0 into 0 3.580 * [backup-simplify]: Simplify 0 into 0 3.581 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 3.581 * [taylor]: Taking taylor expansion of 0 in a 3.581 * [backup-simplify]: Simplify 0 into 0 3.581 * [backup-simplify]: Simplify 0 into 0 3.581 * [backup-simplify]: Simplify 0 into 0 3.582 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 3.582 * [backup-simplify]: Simplify 0 into 0 3.583 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 3.583 * [taylor]: Taking taylor expansion of 0 in a 3.583 * [backup-simplify]: Simplify 0 into 0 3.583 * [backup-simplify]: Simplify 0 into 0 3.583 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (sqrt (fmod (cosh c) (log1p a))) 3.584 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.584 * [approximate]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 3.584 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.584 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.584 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.584 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.584 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 3.584 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.584 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.585 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.585 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.585 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 3.585 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.585 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.585 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.586 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.586 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 3.586 * [taylor]: Taking taylor expansion of (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.586 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.586 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.586 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.587 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 3.587 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.587 * [taylor]: Taking taylor expansion of 0 in a 3.587 * [backup-simplify]: Simplify 0 into 0 3.587 * [backup-simplify]: Simplify 0 into 0 3.587 * [backup-simplify]: Simplify 0 into 0 3.588 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 3.588 * [taylor]: Taking taylor expansion of 0 in a 3.588 * [backup-simplify]: Simplify 0 into 0 3.588 * [backup-simplify]: Simplify 0 into 0 3.588 * [backup-simplify]: Simplify 0 into 0 3.589 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 3.589 * [backup-simplify]: Simplify 0 into 0 3.596 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 3.596 * [taylor]: Taking taylor expansion of 0 in a 3.596 * [backup-simplify]: Simplify 0 into 0 3.597 * [backup-simplify]: Simplify 0 into 0 3.597 * [backup-simplify]: Simplify (sqrt (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (sqrt (fmod (cosh c) (log1p a))) 3.597 * * * [progress]: simplifying candidates 3.598 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log1p (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (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))) (+ 1 1) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* 1 1) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1)) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) 1) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (expm1 (sqrt (fmod (cosh c) (log1p a)))) (log1p (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (exp (sqrt (fmod (cosh c) (log1p a)))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (cbrt (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt 1) (sqrt (fmod (cosh c) (log1p a))) (/ 1 2) (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 3.599 * * [simplify]: Extracting # 0 : cost 0 3.600 * * [simplify]: Extracting # 1 : cost 0 3.600 * * [simplify]: Extracting # 2 : cost 0 3.600 * * [simplify]: Extracting # 3 : cost 0 3.600 * * [simplify]: Extracting # 4 : cost 0 3.600 * * [simplify]: Extracting # 5 : cost 0 3.600 * * [simplify]: Extracting # 6 : cost 0 3.600 * * [simplify]: iteration 0 : 63 enodes (cost 1178 ) 3.619 * * [simplify]: Extracting # 0 : cost 0 3.619 * * [simplify]: Extracting # 1 : cost 0 3.620 * * [simplify]: Extracting # 2 : cost 0 3.620 * * [simplify]: Extracting # 3 : cost 0 3.620 * * [simplify]: Extracting # 4 : cost 0 3.620 * * [simplify]: iteration 1 : 98 enodes (cost 776 ) 3.653 * * [simplify]: Extracting # 0 : cost 0 3.653 * * [simplify]: Extracting # 1 : cost 0 3.654 * * [simplify]: Extracting # 2 : cost 0 3.654 * * [simplify]: Extracting # 3 : cost 0 3.655 * * [simplify]: Extracting # 4 : cost 0 3.655 * * [simplify]: iteration 2 : 212 enodes (cost 698 ) 3.757 * * [simplify]: Extracting # 0 : cost 0 3.758 * * [simplify]: Extracting # 1 : cost 0 3.758 * * [simplify]: Extracting # 2 : cost 0 3.759 * * [simplify]: Extracting # 3 : cost 0 3.759 * * [simplify]: Extracting # 4 : cost 0 3.760 * * [simplify]: iteration 3 : 403 enodes (cost 671 ) 4.059 * * [simplify]: Extracting # 0 : cost 0 4.060 * * [simplify]: Extracting # 1 : cost 0 4.061 * * [simplify]: Extracting # 2 : cost 0 4.062 * * [simplify]: Extracting # 3 : cost 0 4.062 * * [simplify]: Extracting # 4 : cost 0 4.063 * * [simplify]: iteration 4 : 836 enodes (cost 647 ) 6.888 * * [simplify]: Extracting # 0 : cost 0 6.893 * * [simplify]: Extracting # 1 : cost 0 6.897 * * [simplify]: Extracting # 2 : cost 0 6.901 * * [simplify]: Extracting # 3 : cost 0 6.915 * * [simplify]: Extracting # 4 : cost 0 6.922 * * [simplify]: iteration 5 : 4737 enodes (cost 635 ) 9.760 * * [simplify]: Extracting # 0 : cost 0 9.764 * * [simplify]: Extracting # 1 : cost 0 9.768 * * [simplify]: Extracting # 2 : cost 0 9.772 * * [simplify]: Extracting # 3 : cost 0 9.783 * * [simplify]: Extracting # 4 : cost 0 9.787 * * [simplify]: iteration done: 5000 enodes (cost 635 ) 9.787 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) 1 1 2 1 1 (pow (sqrt (fmod (cosh c) (log1p a))) 4) (fmod (cosh c) (log1p a)) (pow (sqrt (fmod (cosh c) (log1p a))) 4) 2 (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (pow (sqrt (fmod (cosh c) (log1p a))) 4) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 2) (pow (sqrt (cbrt (fmod (cosh c) (log1p a)))) 4) (cbrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 2 1 (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 5) (* (fabs (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (fmod (cosh c) (log1p a))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (sqrt (fmod (cosh c) (log1p a))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 4) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (fmod (cosh c) (log1p a)) (pow (sqrt (sqrt (fmod (cosh c) (log1p a)))) 3) (fmod (cosh c) (log1p a)) (expm1 (sqrt (fmod (cosh c) (log1p a)))) (log1p (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (exp (sqrt (fmod (cosh c) (log1p a)))) (pow (cbrt (sqrt (fmod (cosh c) (log1p a)))) 2) (cbrt (sqrt (fmod (cosh c) (log1p a)))) (pow (sqrt (fmod (cosh c) (log1p a))) 3) (fabs (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))) 1 (sqrt (fmod (cosh c) (log1p a))) 1/2 (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 9.788 * * * [progress]: adding candidates to table 10.012 * * [progress]: iteration 3 / 4 10.012 * * * [progress]: picking best candidate 10.081 * * * * [pick]: Picked # 10.081 * * * [progress]: localizing error 10.092 * * * [progress]: generating rewritten candidates 10.092 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 10.092 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 10.094 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 10.098 * * * [progress]: generating series expansions 10.098 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 10.098 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.098 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 10.098 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.098 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.098 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.098 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.098 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.098 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.098 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.098 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.098 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.098 * [taylor]: Taking taylor expansion of 0 in a 10.098 * [backup-simplify]: Simplify 0 into 0 10.098 * [backup-simplify]: Simplify 0 into 0 10.098 * [backup-simplify]: Simplify 0 into 0 10.098 * [taylor]: Taking taylor expansion of 0 in a 10.098 * [backup-simplify]: Simplify 0 into 0 10.099 * [backup-simplify]: Simplify 0 into 0 10.099 * [backup-simplify]: Simplify 0 into 0 10.099 * [backup-simplify]: Simplify 0 into 0 10.099 * [taylor]: Taking taylor expansion of 0 in a 10.099 * [backup-simplify]: Simplify 0 into 0 10.099 * [backup-simplify]: Simplify 0 into 0 10.099 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.099 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.099 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 10.099 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.099 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.099 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.099 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.099 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.099 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.099 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.099 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.099 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.099 * [taylor]: Taking taylor expansion of 0 in a 10.100 * [backup-simplify]: Simplify 0 into 0 10.100 * [backup-simplify]: Simplify 0 into 0 10.100 * [backup-simplify]: Simplify 0 into 0 10.100 * [taylor]: Taking taylor expansion of 0 in a 10.100 * [backup-simplify]: Simplify 0 into 0 10.100 * [backup-simplify]: Simplify 0 into 0 10.100 * [backup-simplify]: Simplify 0 into 0 10.100 * [backup-simplify]: Simplify 0 into 0 10.100 * [taylor]: Taking taylor expansion of 0 in a 10.100 * [backup-simplify]: Simplify 0 into 0 10.100 * [backup-simplify]: Simplify 0 into 0 10.100 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 10.100 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.100 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 10.100 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.100 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.100 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.100 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.100 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.100 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.100 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.101 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.101 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.101 * [taylor]: Taking taylor expansion of 0 in a 10.101 * [backup-simplify]: Simplify 0 into 0 10.101 * [backup-simplify]: Simplify 0 into 0 10.101 * [backup-simplify]: Simplify 0 into 0 10.101 * [taylor]: Taking taylor expansion of 0 in a 10.101 * [backup-simplify]: Simplify 0 into 0 10.101 * [backup-simplify]: Simplify 0 into 0 10.101 * [backup-simplify]: Simplify 0 into 0 10.101 * [backup-simplify]: Simplify 0 into 0 10.101 * [taylor]: Taking taylor expansion of 0 in a 10.101 * [backup-simplify]: Simplify 0 into 0 10.101 * [backup-simplify]: Simplify 0 into 0 10.101 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 10.101 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 10.101 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.101 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 10.101 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 10.101 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.101 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.102 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.102 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 10.102 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.102 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.102 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.102 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 10.102 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.102 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.102 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.102 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 10.102 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.102 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.102 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.102 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.104 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 10.104 * [taylor]: Taking taylor expansion of 0 in a 10.104 * [backup-simplify]: Simplify 0 into 0 10.104 * [backup-simplify]: Simplify 0 into 0 10.104 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 10.104 * [backup-simplify]: Simplify 0 into 0 10.106 * [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 10.106 * [taylor]: Taking taylor expansion of 0 in a 10.106 * [backup-simplify]: Simplify 0 into 0 10.106 * [backup-simplify]: Simplify 0 into 0 10.106 * [backup-simplify]: Simplify 0 into 0 10.107 * [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 10.107 * [backup-simplify]: Simplify 0 into 0 10.110 * [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 10.110 * [taylor]: Taking taylor expansion of 0 in a 10.110 * [backup-simplify]: Simplify 0 into 0 10.110 * [backup-simplify]: Simplify 0 into 0 10.110 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 10.110 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 10.110 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 10.110 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 10.110 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.110 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.110 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 10.110 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 10.110 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.110 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.110 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 10.110 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 10.110 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.111 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.111 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 10.111 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 10.111 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.111 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.111 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 10.111 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 10.112 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 10.112 * [taylor]: Taking taylor expansion of 0 in a 10.112 * [backup-simplify]: Simplify 0 into 0 10.112 * [backup-simplify]: Simplify 0 into 0 10.113 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 10.113 * [backup-simplify]: Simplify 0 into 0 10.115 * [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 10.115 * [taylor]: Taking taylor expansion of 0 in a 10.115 * [backup-simplify]: Simplify 0 into 0 10.115 * [backup-simplify]: Simplify 0 into 0 10.115 * [backup-simplify]: Simplify 0 into 0 10.117 * [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 10.117 * [backup-simplify]: Simplify 0 into 0 10.121 * [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 10.121 * [taylor]: Taking taylor expansion of 0 in a 10.121 * [backup-simplify]: Simplify 0 into 0 10.121 * [backup-simplify]: Simplify 0 into 0 10.121 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 10.122 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 10.122 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 10.122 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 10.122 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.122 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.122 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 10.122 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 10.122 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.122 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.123 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 10.123 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 10.123 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.123 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.123 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 10.123 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 10.123 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.123 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.124 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 10.124 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 10.125 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 10.125 * [taylor]: Taking taylor expansion of 0 in a 10.125 * [backup-simplify]: Simplify 0 into 0 10.125 * [backup-simplify]: Simplify 0 into 0 10.126 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 10.126 * [backup-simplify]: Simplify 0 into 0 10.129 * [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 10.129 * [taylor]: Taking taylor expansion of 0 in a 10.129 * [backup-simplify]: Simplify 0 into 0 10.129 * [backup-simplify]: Simplify 0 into 0 10.129 * [backup-simplify]: Simplify 0 into 0 10.131 * [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 10.132 * [backup-simplify]: Simplify 0 into 0 10.135 * [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 10.135 * [taylor]: Taking taylor expansion of 0 in a 10.135 * [backup-simplify]: Simplify 0 into 0 10.135 * [backup-simplify]: Simplify 0 into 0 10.136 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 10.136 * * * * [progress]: [ 3 / 3 ] generating series at (2) 10.136 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 10.136 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 10.136 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.136 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.136 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.136 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.136 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 10.137 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.137 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 10.137 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.137 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.137 * [taylor]: Taking taylor expansion of 0 in a 10.137 * [backup-simplify]: Simplify 0 into 0 10.137 * [backup-simplify]: Simplify 0 into 0 10.137 * [backup-simplify]: Simplify 0 into 0 10.137 * [taylor]: Taking taylor expansion of 0 in a 10.137 * [backup-simplify]: Simplify 0 into 0 10.137 * [backup-simplify]: Simplify 0 into 0 10.137 * [backup-simplify]: Simplify 0 into 0 10.137 * [backup-simplify]: Simplify 0 into 0 10.137 * [taylor]: Taking taylor expansion of 0 in a 10.137 * [backup-simplify]: Simplify 0 into 0 10.137 * [backup-simplify]: Simplify 0 into 0 10.138 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 10.138 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.138 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 10.138 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.138 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.138 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.138 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.138 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 10.139 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.139 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 10.139 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.139 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 10.139 * [taylor]: Taking taylor expansion of 0 in a 10.139 * [backup-simplify]: Simplify 0 into 0 10.139 * [backup-simplify]: Simplify 0 into 0 10.139 * [backup-simplify]: Simplify 0 into 0 10.139 * [taylor]: Taking taylor expansion of 0 in a 10.139 * [backup-simplify]: Simplify 0 into 0 10.139 * [backup-simplify]: Simplify 0 into 0 10.139 * [backup-simplify]: Simplify 0 into 0 10.139 * [backup-simplify]: Simplify 0 into 0 10.139 * [taylor]: Taking taylor expansion of 0 in a 10.139 * [backup-simplify]: Simplify 0 into 0 10.140 * [backup-simplify]: Simplify 0 into 0 10.140 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 10.140 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.140 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 10.140 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.140 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.140 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.141 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.141 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 10.141 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.141 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 10.141 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.141 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 10.141 * [taylor]: Taking taylor expansion of 0 in a 10.141 * [backup-simplify]: Simplify 0 into 0 10.141 * [backup-simplify]: Simplify 0 into 0 10.141 * [backup-simplify]: Simplify 0 into 0 10.142 * [taylor]: Taking taylor expansion of 0 in a 10.142 * [backup-simplify]: Simplify 0 into 0 10.142 * [backup-simplify]: Simplify 0 into 0 10.142 * [backup-simplify]: Simplify 0 into 0 10.142 * [backup-simplify]: Simplify 0 into 0 10.142 * [taylor]: Taking taylor expansion of 0 in a 10.142 * [backup-simplify]: Simplify 0 into 0 10.142 * [backup-simplify]: Simplify 0 into 0 10.142 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 10.142 * * * [progress]: simplifying candidates 10.143 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (log (fmod (cosh c) (log1p a)))) (log1p (log (fmod (cosh c) (log1p a)))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (expm1 (exp (log (fmod (cosh c) (log1p a))))) (log1p (exp (log (fmod (cosh c) (log1p a))))) (exp 1) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (sqrt (log (fmod (cosh c) (log1p a))))) (exp 1) (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log 1)) (exp (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a))))) (exp (exp (log (fmod (cosh c) (log1p a))))) (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))) (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a))))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 10.145 * * [simplify]: Extracting # 0 : cost 0 10.145 * * [simplify]: Extracting # 1 : cost 0 10.145 * * [simplify]: Extracting # 2 : cost 0 10.145 * * [simplify]: Extracting # 3 : cost 0 10.145 * * [simplify]: Extracting # 4 : cost 0 10.145 * * [simplify]: Extracting # 5 : cost 0 10.145 * * [simplify]: Extracting # 6 : cost 0 10.146 * * [simplify]: Extracting # 7 : cost 0 10.146 * * [simplify]: iteration 0 : 44 enodes (cost 426 ) 10.166 * * [simplify]: Extracting # 0 : cost 0 10.166 * * [simplify]: Extracting # 1 : cost 0 10.166 * * [simplify]: Extracting # 2 : cost 0 10.167 * * [simplify]: Extracting # 3 : cost 0 10.167 * * [simplify]: Extracting # 4 : cost 0 10.167 * * [simplify]: Extracting # 5 : cost 0 10.167 * * [simplify]: iteration 1 : 60 enodes (cost 385 ) 10.180 * * [simplify]: Extracting # 0 : cost 0 10.180 * * [simplify]: Extracting # 1 : cost 0 10.181 * * [simplify]: Extracting # 2 : cost 0 10.181 * * [simplify]: Extracting # 3 : cost 0 10.181 * * [simplify]: iteration 2 : 74 enodes (cost 339 ) 10.199 * * [simplify]: Extracting # 0 : cost 0 10.199 * * [simplify]: Extracting # 1 : cost 0 10.199 * * [simplify]: Extracting # 2 : cost 0 10.199 * * [simplify]: Extracting # 3 : cost 0 10.199 * * [simplify]: Extracting # 4 : cost 0 10.200 * * [simplify]: iteration 3 : 93 enodes (cost 339 ) 10.226 * * [simplify]: Extracting # 0 : cost 0 10.226 * * [simplify]: Extracting # 1 : cost 0 10.226 * * [simplify]: Extracting # 2 : cost 0 10.226 * * [simplify]: Extracting # 3 : cost 0 10.227 * * [simplify]: Extracting # 4 : cost 0 10.227 * * [simplify]: iteration 4 : 134 enodes (cost 333 ) 10.274 * * [simplify]: Extracting # 0 : cost 0 10.275 * * [simplify]: Extracting # 1 : cost 0 10.275 * * [simplify]: Extracting # 2 : cost 0 10.276 * * [simplify]: Extracting # 3 : cost 0 10.276 * * [simplify]: Extracting # 4 : cost 0 10.276 * * [simplify]: iteration 5 : 218 enodes (cost 333 ) 10.350 * * [simplify]: Extracting # 0 : cost 0 10.351 * * [simplify]: Extracting # 1 : cost 0 10.351 * * [simplify]: Extracting # 2 : cost 0 10.352 * * [simplify]: Extracting # 3 : cost 0 10.352 * * [simplify]: Extracting # 4 : cost 0 10.352 * * [simplify]: iteration 6 : 426 enodes (cost 333 ) 10.614 * * [simplify]: Extracting # 0 : cost 0 10.616 * * [simplify]: Extracting # 1 : cost 0 10.617 * * [simplify]: Extracting # 2 : cost 0 10.618 * * [simplify]: Extracting # 3 : cost 0 10.619 * * [simplify]: Extracting # 4 : cost 0 10.620 * * [simplify]: iteration 7 : 1209 enodes (cost 333 ) 12.655 * * [simplify]: Extracting # 0 : cost 0 12.668 * * [simplify]: Extracting # 1 : cost 0 12.675 * * [simplify]: Extracting # 2 : cost 0 12.681 * * [simplify]: Extracting # 3 : cost 0 12.687 * * [simplify]: Extracting # 4 : cost 0 12.693 * * [simplify]: Extracting # 5 : cost 0 12.696 * * [simplify]: iteration 8 : 4524 enodes (cost 333 ) 14.345 * * [simplify]: Extracting # 0 : cost 0 14.354 * * [simplify]: Extracting # 1 : cost 0 14.361 * * [simplify]: Extracting # 2 : cost 0 14.364 * * [simplify]: Extracting # 3 : cost 0 14.368 * * [simplify]: iteration done: 5001 enodes (cost 333 ) 14.368 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (log (fmod (cosh c) (log1p a)))) (log1p (log (fmod (cosh c) (log1p a)))) (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) 0 (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 3) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) E (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (sqrt (log (fmod (cosh c) (log1p a))))) E (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (cbrt (fmod (cosh c) (log1p a))) 2) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 14.369 * * * [progress]: adding candidates to table 14.567 * * [progress]: iteration 4 / 4 14.567 * * * [progress]: picking best candidate 14.627 * * * * [pick]: Picked # 14.627 * * * [progress]: localizing error 14.640 * * * [progress]: generating rewritten candidates 14.640 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 14.640 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 14.641 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 14.646 * * * [progress]: generating series expansions 14.646 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 14.646 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.646 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 14.646 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 14.646 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.646 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 14.646 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.646 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 14.646 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.646 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 14.646 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.646 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.646 * [taylor]: Taking taylor expansion of 0 in a 14.646 * [backup-simplify]: Simplify 0 into 0 14.646 * [backup-simplify]: Simplify 0 into 0 14.646 * [backup-simplify]: Simplify 0 into 0 14.646 * [taylor]: Taking taylor expansion of 0 in a 14.646 * [backup-simplify]: Simplify 0 into 0 14.646 * [backup-simplify]: Simplify 0 into 0 14.646 * [backup-simplify]: Simplify 0 into 0 14.646 * [backup-simplify]: Simplify 0 into 0 14.646 * [taylor]: Taking taylor expansion of 0 in a 14.646 * [backup-simplify]: Simplify 0 into 0 14.647 * [backup-simplify]: Simplify 0 into 0 14.647 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.647 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.647 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 14.647 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 14.647 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.647 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 14.647 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.647 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 14.647 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.647 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 14.647 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.647 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.647 * [taylor]: Taking taylor expansion of 0 in a 14.647 * [backup-simplify]: Simplify 0 into 0 14.647 * [backup-simplify]: Simplify 0 into 0 14.647 * [backup-simplify]: Simplify 0 into 0 14.647 * [taylor]: Taking taylor expansion of 0 in a 14.647 * [backup-simplify]: Simplify 0 into 0 14.647 * [backup-simplify]: Simplify 0 into 0 14.648 * [backup-simplify]: Simplify 0 into 0 14.648 * [backup-simplify]: Simplify 0 into 0 14.648 * [taylor]: Taking taylor expansion of 0 in a 14.648 * [backup-simplify]: Simplify 0 into 0 14.648 * [backup-simplify]: Simplify 0 into 0 14.648 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 14.648 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.648 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 14.648 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 14.648 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.648 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 14.648 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.648 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 14.648 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.648 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 14.649 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.649 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.649 * [taylor]: Taking taylor expansion of 0 in a 14.649 * [backup-simplify]: Simplify 0 into 0 14.649 * [backup-simplify]: Simplify 0 into 0 14.649 * [backup-simplify]: Simplify 0 into 0 14.649 * [taylor]: Taking taylor expansion of 0 in a 14.649 * [backup-simplify]: Simplify 0 into 0 14.649 * [backup-simplify]: Simplify 0 into 0 14.649 * [backup-simplify]: Simplify 0 into 0 14.649 * [backup-simplify]: Simplify 0 into 0 14.649 * [taylor]: Taking taylor expansion of 0 in a 14.649 * [backup-simplify]: Simplify 0 into 0 14.649 * [backup-simplify]: Simplify 0 into 0 14.649 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 14.650 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 14.650 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.650 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 14.650 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 14.650 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 14.650 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.650 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.650 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 14.650 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 14.650 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.651 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.651 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 14.651 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 14.651 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.651 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.651 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 14.651 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 14.651 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.651 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.651 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.653 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 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.654 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 14.654 * [backup-simplify]: Simplify 0 into 0 14.656 * [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.656 * [taylor]: Taking taylor expansion of 0 in a 14.656 * [backup-simplify]: Simplify 0 into 0 14.656 * [backup-simplify]: Simplify 0 into 0 14.656 * [backup-simplify]: Simplify 0 into 0 14.658 * [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.658 * [backup-simplify]: Simplify 0 into 0 14.661 * [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.662 * [taylor]: Taking taylor expansion of 0 in a 14.662 * [backup-simplify]: Simplify 0 into 0 14.662 * [backup-simplify]: Simplify 0 into 0 14.662 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.662 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.662 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 14.662 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 14.662 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 14.662 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.662 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.663 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 14.663 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 14.663 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.663 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.663 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 14.663 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 14.663 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.663 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.664 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 14.664 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 14.664 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.664 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.664 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.665 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 14.665 * [taylor]: Taking taylor expansion of 0 in a 14.665 * [backup-simplify]: Simplify 0 into 0 14.666 * [backup-simplify]: Simplify 0 into 0 14.667 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 14.667 * [backup-simplify]: Simplify 0 into 0 14.669 * [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.669 * [taylor]: Taking taylor expansion of 0 in a 14.669 * [backup-simplify]: Simplify 0 into 0 14.669 * [backup-simplify]: Simplify 0 into 0 14.669 * [backup-simplify]: Simplify 0 into 0 14.672 * [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.672 * [backup-simplify]: Simplify 0 into 0 14.675 * [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.676 * [taylor]: Taking taylor expansion of 0 in a 14.676 * [backup-simplify]: Simplify 0 into 0 14.676 * [backup-simplify]: Simplify 0 into 0 14.676 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 14.676 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.676 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 14.676 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in 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 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.677 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 14.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 14.677 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.677 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.677 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 14.677 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 14.677 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.678 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.678 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 14.678 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 14.678 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.678 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.678 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.680 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 14.680 * [taylor]: Taking taylor expansion of 0 in a 14.680 * [backup-simplify]: Simplify 0 into 0 14.680 * [backup-simplify]: Simplify 0 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.681 * [backup-simplify]: Simplify 0 into 0 14.683 * [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.683 * [taylor]: Taking taylor expansion of 0 in a 14.683 * [backup-simplify]: Simplify 0 into 0 14.683 * [backup-simplify]: Simplify 0 into 0 14.683 * [backup-simplify]: Simplify 0 into 0 14.685 * [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.685 * [backup-simplify]: Simplify 0 into 0 14.689 * [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.689 * [taylor]: Taking taylor expansion of 0 in a 14.689 * [backup-simplify]: Simplify 0 into 0 14.689 * [backup-simplify]: Simplify 0 into 0 14.690 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 14.690 * * * * [progress]: [ 3 / 3 ] generating series at (2) 14.690 * [backup-simplify]: Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a)))) 14.690 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0 14.690 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a 14.690 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a 14.690 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a 14.690 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 14.690 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 14.690 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.691 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.691 * [taylor]: Taking taylor expansion of (log E) in a 14.691 * [taylor]: Taking taylor expansion of E in a 14.691 * [backup-simplify]: Simplify E into E 14.691 * [backup-simplify]: Simplify (log E) into 1 14.691 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 14.691 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 14.691 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 14.692 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 14.692 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 14.692 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 14.692 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 14.692 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.692 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.692 * [taylor]: Taking taylor expansion of (log E) in c 14.692 * [taylor]: Taking taylor expansion of E in c 14.692 * [backup-simplify]: Simplify E into E 14.692 * [backup-simplify]: Simplify (log E) into 1 14.692 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 14.692 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 14.692 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 14.693 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 14.693 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 14.693 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 14.693 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 14.693 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.693 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 14.693 * [taylor]: Taking taylor expansion of (log E) in c 14.693 * [taylor]: Taking taylor expansion of E in c 14.693 * [backup-simplify]: Simplify E into E 14.693 * [backup-simplify]: Simplify (log E) into 1 14.693 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 14.693 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 14.694 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 14.694 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.694 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.696 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 14.697 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 14.698 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0 14.699 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0 14.699 * [taylor]: Taking taylor expansion of 0 in a 14.699 * [backup-simplify]: Simplify 0 into 0 14.699 * [backup-simplify]: Simplify 0 into 0 14.699 * [backup-simplify]: Simplify 0 into 0 14.703 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 14.705 * [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.705 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0 14.706 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 14.706 * [taylor]: Taking taylor expansion of 0 in a 14.706 * [backup-simplify]: Simplify 0 into 0 14.706 * [backup-simplify]: Simplify 0 into 0 14.706 * [backup-simplify]: Simplify 0 into 0 14.706 * [backup-simplify]: Simplify 0 into 0 14.709 * [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.711 * [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.712 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.713 * [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.713 * [taylor]: Taking taylor expansion of 0 in a 14.713 * [backup-simplify]: Simplify 0 into 0 14.713 * [backup-simplify]: Simplify 0 into 0 14.713 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 14.713 * [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.713 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0 14.713 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 14.713 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a 14.713 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a 14.713 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 14.713 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 14.714 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.714 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.714 * [taylor]: Taking taylor expansion of (log E) in a 14.714 * [taylor]: Taking taylor expansion of E in a 14.714 * [backup-simplify]: Simplify E into E 14.714 * [backup-simplify]: Simplify (log E) into 1 14.714 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.714 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.714 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 14.714 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 14.714 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 14.714 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 14.714 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 14.714 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.714 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.714 * [taylor]: Taking taylor expansion of (log E) in c 14.714 * [taylor]: Taking taylor expansion of E in c 14.714 * [backup-simplify]: Simplify E into E 14.714 * [backup-simplify]: Simplify (log E) into 1 14.715 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.715 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.715 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 14.715 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 14.715 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 14.715 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 14.715 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 14.715 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.715 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.715 * [taylor]: Taking taylor expansion of (log E) in c 14.715 * [taylor]: Taking taylor expansion of E in c 14.715 * [backup-simplify]: Simplify E into E 14.715 * [backup-simplify]: Simplify (log E) into 1 14.715 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 14.715 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.716 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 14.716 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.716 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 14.717 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 14.717 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 14.718 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0 14.719 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 14.719 * [taylor]: Taking taylor expansion of 0 in a 14.719 * [backup-simplify]: Simplify 0 into 0 14.719 * [backup-simplify]: Simplify 0 into 0 14.719 * [backup-simplify]: Simplify 0 into 0 14.721 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 14.722 * [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.722 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 14.723 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 14.723 * [taylor]: Taking taylor expansion of 0 in a 14.723 * [backup-simplify]: Simplify 0 into 0 14.723 * [backup-simplify]: Simplify 0 into 0 14.723 * [backup-simplify]: Simplify 0 into 0 14.723 * [backup-simplify]: Simplify 0 into 0 14.726 * [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.728 * [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.729 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.730 * [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.730 * [taylor]: Taking taylor expansion of 0 in a 14.730 * [backup-simplify]: Simplify 0 into 0 14.731 * [backup-simplify]: Simplify 0 into 0 14.731 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 14.731 * [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.731 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0 14.731 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 14.731 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a 14.731 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a 14.731 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 14.731 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 14.731 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.731 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.731 * [taylor]: Taking taylor expansion of (log E) in a 14.731 * [taylor]: Taking taylor expansion of E in a 14.731 * [backup-simplify]: Simplify E into E 14.731 * [backup-simplify]: Simplify (log E) into 1 14.731 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.732 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.732 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 14.732 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 14.732 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 14.732 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 14.732 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 14.732 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.732 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.732 * [taylor]: Taking taylor expansion of (log E) in c 14.732 * [taylor]: Taking taylor expansion of E in c 14.732 * [backup-simplify]: Simplify E into E 14.732 * [backup-simplify]: Simplify (log E) into 1 14.732 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.732 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.732 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 14.732 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 14.732 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 14.732 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 14.733 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 14.733 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.733 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.733 * [taylor]: Taking taylor expansion of (log E) in c 14.733 * [taylor]: Taking taylor expansion of E in c 14.733 * [backup-simplify]: Simplify E into E 14.733 * [backup-simplify]: Simplify (log E) into 1 14.733 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 14.734 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.734 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 14.734 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.734 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 14.736 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 14.737 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 14.738 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0 14.739 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 14.739 * [taylor]: Taking taylor expansion of 0 in a 14.739 * [backup-simplify]: Simplify 0 into 0 14.739 * [backup-simplify]: Simplify 0 into 0 14.739 * [backup-simplify]: Simplify 0 into 0 14.742 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 14.744 * [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.745 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 14.747 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 14.747 * [taylor]: Taking taylor expansion of 0 in a 14.747 * [backup-simplify]: Simplify 0 into 0 14.747 * [backup-simplify]: Simplify 0 into 0 14.747 * [backup-simplify]: Simplify 0 into 0 14.747 * [backup-simplify]: Simplify 0 into 0 14.753 * [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.757 * [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.767 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.770 * [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.770 * [taylor]: Taking taylor expansion of 0 in a 14.770 * [backup-simplify]: Simplify 0 into 0 14.770 * [backup-simplify]: Simplify 0 into 0 14.770 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 14.770 * * * [progress]: simplifying candidates 14.772 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (log (fmod (cosh c) (log1p a)))) (log1p (log (fmod (cosh c) (log1p a)))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (expm1 (pow E (log (fmod (cosh c) (log1p a))))) (log1p (pow E (log (fmod (cosh c) (log1p a))))) (* 1 (log (fmod (cosh c) (log1p a)))) (* (log E) (log (fmod (cosh c) (log1p a)))) (* (log E) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a)))) (pow E 1) (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (pow E 1) (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a)))) (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow 1 (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a)))) (log (pow E (log (fmod (cosh c) (log1p a))))) (exp (pow E (log (fmod (cosh c) (log1p a))))) (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 14.774 * * [simplify]: Extracting # 0 : cost 0 14.774 * * [simplify]: Extracting # 1 : cost 0 14.774 * * [simplify]: Extracting # 2 : cost 0 14.774 * * [simplify]: Extracting # 3 : cost 0 14.774 * * [simplify]: Extracting # 4 : cost 0 14.775 * * [simplify]: Extracting # 5 : cost 0 14.775 * * [simplify]: Extracting # 6 : cost 0 14.775 * * [simplify]: iteration 0 : 59 enodes (cost 557 ) 14.793 * * [simplify]: Extracting # 0 : cost 0 14.793 * * [simplify]: Extracting # 1 : cost 0 14.793 * * [simplify]: Extracting # 2 : cost 0 14.793 * * [simplify]: Extracting # 3 : cost 0 14.793 * * [simplify]: Extracting # 4 : cost 0 14.793 * * [simplify]: Extracting # 5 : cost 0 14.793 * * [simplify]: Extracting # 6 : cost 0 14.794 * * [simplify]: iteration 1 : 108 enodes (cost 522 ) 14.821 * * [simplify]: Extracting # 0 : cost 0 14.821 * * [simplify]: Extracting # 1 : cost 0 14.822 * * [simplify]: Extracting # 2 : cost 0 14.822 * * [simplify]: Extracting # 3 : cost 0 14.823 * * [simplify]: Extracting # 4 : cost 0 14.823 * * [simplify]: iteration 2 : 208 enodes (cost 446 ) 14.932 * * [simplify]: Extracting # 0 : cost 0 14.933 * * [simplify]: Extracting # 1 : cost 0 14.934 * * [simplify]: Extracting # 2 : cost 0 14.935 * * [simplify]: Extracting # 3 : cost 0 14.936 * * [simplify]: Extracting # 4 : cost 0 14.937 * * [simplify]: iteration 3 : 512 enodes (cost 446 ) 15.491 * * [simplify]: Extracting # 0 : cost 0 15.493 * * [simplify]: Extracting # 1 : cost 0 15.494 * * [simplify]: Extracting # 2 : cost 0 15.496 * * [simplify]: Extracting # 3 : cost 0 15.497 * * [simplify]: Extracting # 4 : cost 0 15.498 * * [simplify]: Extracting # 5 : cost 0 15.500 * * [simplify]: iteration 4 : 1617 enodes (cost 444 ) 16.935 * * [simplify]: Extracting # 0 : cost 0 16.949 * * [simplify]: Extracting # 1 : cost 0 16.960 * * [simplify]: Extracting # 2 : cost 0 16.969 * * [simplify]: Extracting # 3 : cost 0 16.979 * * [simplify]: Extracting # 4 : cost 0 16.989 * * [simplify]: Extracting # 5 : cost 0 16.999 * * [simplify]: iteration done: 5001 enodes (cost 432 ) 16.999 * [simplify]: Simplified to: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (log (fmod (cosh c) (log1p a)))) (log1p (log (fmod (cosh c) (log1p a)))) (* 2 (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) 0 (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 3) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) E (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow E (sqrt (log (fmod (cosh c) (log1p a))))) E (pow E (* 2 (log (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a))))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) 1 (fmod (cosh c) (log1p a)) (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) 1 (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 17.000 * * * [progress]: adding candidates to table 17.222 * [progress]: [Phase 3 of 3] Extracting. 17.223 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # #) 17.226 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a) 17.226 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # # # # # # # # #) 17.310 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # # # # # # # # #) 17.383 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # # # # # # # #) 17.474 * * * * [regimes]: Trying to branch on c from (# # # # # # # # # # # # # # #) 17.566 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # # # #) 17.652 * * * [regime]: Found split indices: #