0.059 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.670 * * * [progress]: [2/2] Setting up program. 0.677 * [progress]: [Phase 2 of 3] Improving. 0.726 * [simplify]: Simplifying: (fmod (cosh c) (log1p a)) 0.727 * * [simplify]: Extracting # 0 : cost 0 0.728 * * [simplify]: Extracting # 1 : cost 0 0.728 * * [simplify]: Extracting # 2 : cost 0 0.728 * * [simplify]: Extracting # 3 : cost 0 0.728 * * [simplify]: Extracting # 4 : cost 0 0.728 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.737 * * [simplify]: Extracting # 0 : cost 0 0.737 * * [simplify]: Extracting # 1 : cost 0 0.737 * * [simplify]: Extracting # 2 : cost 0 0.737 * * [simplify]: Extracting # 3 : cost 0 0.737 * * [simplify]: Extracting # 4 : cost 0 0.738 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 0.740 * * [simplify]: Extracting # 0 : cost 0 0.740 * * [simplify]: Extracting # 1 : cost 0 0.740 * * [simplify]: Extracting # 2 : cost 0 0.741 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 0.744 * * [simplify]: Extracting # 0 : cost 0 0.744 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 0.747 * * [simplify]: Extracting # 0 : cost 0 0.748 * * [simplify]: iteration done: 16 enodes (cost 5 ) 0.748 * [simplify]: Simplified to: (fmod (cosh c) (log1p a)) 0.750 * * [progress]: iteration 1 / 4 0.750 * * * [progress]: picking best candidate 0.754 * * * * [pick]: Picked # 0.754 * * * [progress]: localizing error 0.773 * * * [progress]: generating rewritten candidates 0.773 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.776 * * * [progress]: generating series expansions 0.776 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.781 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.781 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.783 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.785 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.785 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.785 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.785 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.785 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.786 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.786 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.786 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.786 * [taylor]: Taking taylor expansion of 0 in a 0.786 * [backup-simplify]: Simplify 0 into 0 0.786 * [backup-simplify]: Simplify 0 into 0 0.786 * [backup-simplify]: Simplify 0 into 0 0.786 * [taylor]: Taking taylor expansion of 0 in a 0.787 * [backup-simplify]: Simplify 0 into 0 0.787 * [backup-simplify]: Simplify 0 into 0 0.787 * [backup-simplify]: Simplify 0 into 0 0.787 * [backup-simplify]: Simplify 0 into 0 0.787 * [taylor]: Taking taylor expansion of 0 in a 0.787 * [backup-simplify]: Simplify 0 into 0 0.787 * [backup-simplify]: Simplify 0 into 0 0.787 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.789 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.789 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.789 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.789 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.789 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.790 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.790 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.790 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.790 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.790 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.790 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.790 * [taylor]: Taking taylor expansion of 0 in a 0.790 * [backup-simplify]: Simplify 0 into 0 0.790 * [backup-simplify]: Simplify 0 into 0 0.791 * [backup-simplify]: Simplify 0 into 0 0.791 * [taylor]: Taking taylor expansion of 0 in a 0.791 * [backup-simplify]: Simplify 0 into 0 0.791 * [backup-simplify]: Simplify 0 into 0 0.791 * [backup-simplify]: Simplify 0 into 0 0.791 * [backup-simplify]: Simplify 0 into 0 0.791 * [taylor]: Taking taylor expansion of 0 in a 0.791 * [backup-simplify]: Simplify 0 into 0 0.791 * [backup-simplify]: Simplify 0 into 0 0.791 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.792 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.792 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.792 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.792 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.792 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.792 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.793 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.793 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.793 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.793 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.793 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.793 * [taylor]: Taking taylor expansion of 0 in a 0.793 * [backup-simplify]: Simplify 0 into 0 0.793 * [backup-simplify]: Simplify 0 into 0 0.793 * [backup-simplify]: Simplify 0 into 0 0.793 * [taylor]: Taking taylor expansion of 0 in a 0.793 * [backup-simplify]: Simplify 0 into 0 0.793 * [backup-simplify]: Simplify 0 into 0 0.793 * [backup-simplify]: Simplify 0 into 0 0.793 * [backup-simplify]: Simplify 0 into 0 0.793 * [taylor]: Taking taylor expansion of 0 in a 0.794 * [backup-simplify]: Simplify 0 into 0 0.794 * [backup-simplify]: Simplify 0 into 0 0.794 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.794 * * * [progress]: simplifying candidates 0.795 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 0.795 * * [simplify]: Extracting # 0 : cost 0 0.795 * * [simplify]: Extracting # 1 : cost 0 0.795 * * [simplify]: Extracting # 2 : cost 0 0.795 * * [simplify]: Extracting # 3 : cost 0 0.795 * * [simplify]: Extracting # 4 : cost 0 0.795 * * [simplify]: iteration 0 : 12 enodes (cost 75 ) 0.798 * * [simplify]: Extracting # 0 : cost 0 0.798 * * [simplify]: Extracting # 1 : cost 0 0.798 * * [simplify]: Extracting # 2 : cost 0 0.799 * * [simplify]: Extracting # 3 : cost 0 0.799 * * [simplify]: Extracting # 4 : cost 0 0.799 * * [simplify]: Extracting # 5 : cost 0 0.799 * * [simplify]: iteration 1 : 19 enodes (cost 75 ) 0.803 * * [simplify]: Extracting # 0 : cost 0 0.804 * * [simplify]: Extracting # 1 : cost 0 0.804 * * [simplify]: Extracting # 2 : cost 0 0.804 * * [simplify]: iteration 2 : 24 enodes (cost 65 ) 0.811 * * [simplify]: Extracting # 0 : cost 0 0.811 * * [simplify]: Extracting # 1 : cost 0 0.811 * * [simplify]: Extracting # 2 : cost 0 0.811 * * [simplify]: Extracting # 3 : cost 0 0.811 * * [simplify]: Extracting # 4 : cost 0 0.811 * * [simplify]: iteration 3 : 30 enodes (cost 65 ) 0.821 * * [simplify]: Extracting # 0 : cost 0 0.821 * * [simplify]: Extracting # 1 : cost 0 0.821 * * [simplify]: Extracting # 2 : cost 0 0.821 * * [simplify]: Extracting # 3 : cost 0 0.821 * * [simplify]: Extracting # 4 : cost 0 0.821 * * [simplify]: iteration 4 : 36 enodes (cost 65 ) 0.831 * * [simplify]: Extracting # 0 : cost 0 0.831 * * [simplify]: Extracting # 1 : cost 0 0.831 * * [simplify]: Extracting # 2 : cost 0 0.831 * * [simplify]: Extracting # 3 : cost 0 0.832 * * [simplify]: Extracting # 4 : cost 0 0.832 * * [simplify]: iteration 5 : 46 enodes (cost 65 ) 0.845 * * [simplify]: Extracting # 0 : cost 0 0.846 * * [simplify]: Extracting # 1 : cost 0 0.846 * * [simplify]: Extracting # 2 : cost 0 0.846 * * [simplify]: Extracting # 3 : cost 0 0.846 * * [simplify]: iteration 6 : 67 enodes (cost 65 ) 0.895 * * [simplify]: Extracting # 0 : cost 0 0.895 * * [simplify]: Extracting # 1 : cost 0 0.895 * * [simplify]: Extracting # 2 : cost 0 0.895 * * [simplify]: Extracting # 3 : cost 0 0.896 * * [simplify]: iteration 7 : 145 enodes (cost 65 ) 1.020 * * [simplify]: Extracting # 0 : cost 0 1.020 * * [simplify]: Extracting # 1 : cost 0 1.021 * * [simplify]: Extracting # 2 : cost 0 1.021 * * [simplify]: Extracting # 3 : cost 0 1.021 * * [simplify]: Extracting # 4 : cost 0 1.021 * * [simplify]: iteration 8 : 430 enodes (cost 65 ) 2.057 * * [simplify]: Extracting # 0 : cost 0 2.059 * * [simplify]: Extracting # 1 : cost 0 2.060 * * [simplify]: Extracting # 2 : cost 0 2.062 * * [simplify]: Extracting # 3 : cost 0 2.063 * * [simplify]: Extracting # 4 : cost 0 2.064 * * [simplify]: iteration 9 : 1839 enodes (cost 65 ) 3.182 * * [simplify]: Extracting # 0 : cost 0 3.194 * * [simplify]: Extracting # 1 : cost 0 3.200 * * [simplify]: Extracting # 2 : cost 0 3.205 * * [simplify]: Extracting # 3 : cost 0 3.210 * * [simplify]: iteration done: 5001 enodes (cost 65 ) 3.210 * [simplify]: Simplified to: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 3.210 * * * [progress]: adding candidates to table 3.248 * * [progress]: iteration 2 / 4 3.248 * * * [progress]: picking best candidate 3.273 * * * * [pick]: Picked # 3.273 * * * [progress]: localizing error 3.307 * * * [progress]: generating rewritten candidates 3.307 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 3.308 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 3.309 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 3.309 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 3.313 * * * [progress]: generating series expansions 3.313 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 3.313 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.313 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.313 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.313 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.313 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.313 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.313 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.313 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.313 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.313 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.313 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.313 * [taylor]: Taking taylor expansion of 0 in a 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [taylor]: Taking taylor expansion of 0 in a 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify 0 into 0 3.313 * [backup-simplify]: Simplify 0 into 0 3.314 * [taylor]: Taking taylor expansion of 0 in a 3.314 * [backup-simplify]: Simplify 0 into 0 3.314 * [backup-simplify]: Simplify 0 into 0 3.314 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.314 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.314 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.314 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.314 * [taylor]: Taking taylor expansion of 0 in a 3.314 * [backup-simplify]: Simplify 0 into 0 3.314 * [backup-simplify]: Simplify 0 into 0 3.314 * [backup-simplify]: Simplify 0 into 0 3.314 * [taylor]: Taking taylor expansion of 0 in a 3.314 * [backup-simplify]: Simplify 0 into 0 3.314 * [backup-simplify]: Simplify 0 into 0 3.314 * [backup-simplify]: Simplify 0 into 0 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [taylor]: Taking taylor expansion of 0 in a 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.315 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.315 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.315 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.315 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.315 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.315 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.315 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.315 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.315 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.315 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.315 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.315 * [taylor]: Taking taylor expansion of 0 in a 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [backup-simplify]: Simplify 0 into 0 3.315 * [backup-simplify]: Simplify 0 into 0 3.316 * [taylor]: Taking taylor expansion of 0 in a 3.316 * [backup-simplify]: Simplify 0 into 0 3.316 * [backup-simplify]: Simplify 0 into 0 3.316 * [backup-simplify]: Simplify 0 into 0 3.316 * [backup-simplify]: Simplify 0 into 0 3.316 * [taylor]: Taking taylor expansion of 0 in a 3.316 * [backup-simplify]: Simplify 0 into 0 3.316 * [backup-simplify]: Simplify 0 into 0 3.316 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.316 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 3.316 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.316 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.316 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.316 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.316 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.316 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.316 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.316 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.316 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.316 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.316 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.316 * [taylor]: Taking taylor expansion of 0 in a 3.316 * [backup-simplify]: Simplify 0 into 0 3.316 * [backup-simplify]: Simplify 0 into 0 3.316 * [backup-simplify]: Simplify 0 into 0 3.316 * [taylor]: Taking taylor expansion of 0 in a 3.316 * [backup-simplify]: Simplify 0 into 0 3.316 * [backup-simplify]: Simplify 0 into 0 3.316 * [backup-simplify]: Simplify 0 into 0 3.317 * [backup-simplify]: Simplify 0 into 0 3.317 * [taylor]: Taking taylor expansion of 0 in a 3.317 * [backup-simplify]: Simplify 0 into 0 3.317 * [backup-simplify]: Simplify 0 into 0 3.317 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.317 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.317 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.317 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.317 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.317 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.317 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.317 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.317 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.317 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.317 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.317 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.317 * [taylor]: Taking taylor expansion of 0 in a 3.317 * [backup-simplify]: Simplify 0 into 0 3.317 * [backup-simplify]: Simplify 0 into 0 3.317 * [backup-simplify]: Simplify 0 into 0 3.317 * [taylor]: Taking taylor expansion of 0 in a 3.317 * [backup-simplify]: Simplify 0 into 0 3.317 * [backup-simplify]: Simplify 0 into 0 3.317 * [backup-simplify]: Simplify 0 into 0 3.318 * [backup-simplify]: Simplify 0 into 0 3.318 * [taylor]: Taking taylor expansion of 0 in a 3.318 * [backup-simplify]: Simplify 0 into 0 3.318 * [backup-simplify]: Simplify 0 into 0 3.318 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.318 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.318 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.318 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.318 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.318 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.318 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.318 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.318 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.318 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.319 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.319 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.319 * [taylor]: Taking taylor expansion of 0 in a 3.319 * [backup-simplify]: Simplify 0 into 0 3.319 * [backup-simplify]: Simplify 0 into 0 3.319 * [backup-simplify]: Simplify 0 into 0 3.319 * [taylor]: Taking taylor expansion of 0 in a 3.319 * [backup-simplify]: Simplify 0 into 0 3.319 * [backup-simplify]: Simplify 0 into 0 3.319 * [backup-simplify]: Simplify 0 into 0 3.319 * [backup-simplify]: Simplify 0 into 0 3.319 * [taylor]: Taking taylor expansion of 0 in a 3.319 * [backup-simplify]: Simplify 0 into 0 3.319 * [backup-simplify]: Simplify 0 into 0 3.319 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.319 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 3.319 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.319 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 3.319 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.319 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.319 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.319 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.319 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.319 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.319 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.320 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.320 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.320 * [taylor]: Taking taylor expansion of 0 in a 3.320 * [backup-simplify]: Simplify 0 into 0 3.320 * [backup-simplify]: Simplify 0 into 0 3.320 * [backup-simplify]: Simplify 0 into 0 3.320 * [taylor]: Taking taylor expansion of 0 in a 3.320 * [backup-simplify]: Simplify 0 into 0 3.320 * [backup-simplify]: Simplify 0 into 0 3.320 * [backup-simplify]: Simplify 0 into 0 3.320 * [backup-simplify]: Simplify 0 into 0 3.320 * [taylor]: Taking taylor expansion of 0 in a 3.320 * [backup-simplify]: Simplify 0 into 0 3.320 * [backup-simplify]: Simplify 0 into 0 3.320 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.320 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.320 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 3.320 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.320 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.320 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.320 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.320 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.320 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.320 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.321 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.321 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.321 * [taylor]: Taking taylor expansion of 0 in a 3.321 * [backup-simplify]: Simplify 0 into 0 3.321 * [backup-simplify]: Simplify 0 into 0 3.321 * [backup-simplify]: Simplify 0 into 0 3.321 * [taylor]: Taking taylor expansion of 0 in a 3.321 * [backup-simplify]: Simplify 0 into 0 3.321 * [backup-simplify]: Simplify 0 into 0 3.321 * [backup-simplify]: Simplify 0 into 0 3.321 * [backup-simplify]: Simplify 0 into 0 3.321 * [taylor]: Taking taylor expansion of 0 in a 3.321 * [backup-simplify]: Simplify 0 into 0 3.321 * [backup-simplify]: Simplify 0 into 0 3.321 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 3.321 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.321 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 3.321 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.321 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.321 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.321 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.321 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.321 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.321 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.322 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.322 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.322 * [taylor]: Taking taylor expansion of 0 in a 3.322 * [backup-simplify]: Simplify 0 into 0 3.322 * [backup-simplify]: Simplify 0 into 0 3.322 * [backup-simplify]: Simplify 0 into 0 3.322 * [taylor]: Taking taylor expansion of 0 in a 3.322 * [backup-simplify]: Simplify 0 into 0 3.322 * [backup-simplify]: Simplify 0 into 0 3.322 * [backup-simplify]: Simplify 0 into 0 3.322 * [backup-simplify]: Simplify 0 into 0 3.322 * [taylor]: Taking taylor expansion of 0 in a 3.322 * [backup-simplify]: Simplify 0 into 0 3.322 * [backup-simplify]: Simplify 0 into 0 3.322 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 3.322 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 3.322 * [backup-simplify]: Simplify (cbrt (fmod (cosh c) (log1p a))) into (pow (fmod (cosh c) (log1p a)) 1/3) 3.322 * [approximate]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in (c a) around 0 3.322 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in a 3.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in a 3.322 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in a 3.322 * [taylor]: Taking taylor expansion of 1/3 in a 3.322 * [backup-simplify]: Simplify 1/3 into 1/3 3.322 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 3.322 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.322 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.323 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.323 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a)))) 3.323 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3) 3.323 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in c 3.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in c 3.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in c 3.323 * [taylor]: Taking taylor expansion of 1/3 in c 3.323 * [backup-simplify]: Simplify 1/3 into 1/3 3.323 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 3.323 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.323 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.323 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.323 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a)))) 3.323 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3) 3.323 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in c 3.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in c 3.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in c 3.324 * [taylor]: Taking taylor expansion of 1/3 in c 3.324 * [backup-simplify]: Simplify 1/3 into 1/3 3.324 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 3.324 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 3.324 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.324 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.324 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a)))) 3.324 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3) 3.324 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in a 3.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in a 3.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in a 3.324 * [taylor]: Taking taylor expansion of 1/3 in a 3.324 * [backup-simplify]: Simplify 1/3 into 1/3 3.324 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 3.324 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 3.324 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 3.324 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 3.324 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a)))) 3.324 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3) 3.325 * [backup-simplify]: Simplify (pow (fmod (cosh c) (log1p a)) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3) 3.326 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 3.327 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0 3.327 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 1) 1)))) into 0 3.327 * [taylor]: Taking taylor expansion of 0 in a 3.327 * [backup-simplify]: Simplify 0 into 0 3.327 * [backup-simplify]: Simplify 0 into 0 3.328 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 3.328 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0 3.329 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 1) 1)))) into 0 3.329 * [backup-simplify]: Simplify 0 into 0 3.331 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 3.331 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0 3.332 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.332 * [taylor]: Taking taylor expansion of 0 in a 3.332 * [backup-simplify]: Simplify 0 into 0 3.332 * [backup-simplify]: Simplify 0 into 0 3.332 * [backup-simplify]: Simplify 0 into 0 3.334 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 3.334 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0 3.335 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.335 * [backup-simplify]: Simplify 0 into 0 3.337 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 3.338 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a))))))) into 0 3.339 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 3.339 * [taylor]: Taking taylor expansion of 0 in a 3.339 * [backup-simplify]: Simplify 0 into 0 3.339 * [backup-simplify]: Simplify 0 into 0 3.339 * [backup-simplify]: Simplify (pow (fmod (cosh c) (log1p a)) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3) 3.339 * [backup-simplify]: Simplify (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 3.339 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in (c a) around 0 3.339 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in a 3.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a 3.340 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 3.340 * [taylor]: Taking taylor expansion of 1/3 in a 3.340 * [backup-simplify]: Simplify 1/3 into 1/3 3.340 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.340 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.340 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.340 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.340 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 3.340 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 3.340 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in c 3.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c 3.340 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 3.340 * [taylor]: Taking taylor expansion of 1/3 in c 3.340 * [backup-simplify]: Simplify 1/3 into 1/3 3.340 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.340 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.340 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.340 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.341 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 3.341 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 3.341 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in c 3.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c 3.341 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 3.341 * [taylor]: Taking taylor expansion of 1/3 in c 3.341 * [backup-simplify]: Simplify 1/3 into 1/3 3.341 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 3.341 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 3.341 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.341 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.341 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 3.341 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 3.341 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in a 3.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a 3.341 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 3.341 * [taylor]: Taking taylor expansion of 1/3 in a 3.341 * [backup-simplify]: Simplify 1/3 into 1/3 3.341 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 3.341 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 3.341 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3.342 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3.342 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 3.342 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 3.342 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 3.343 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 3.343 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 3.344 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0 3.344 * [taylor]: Taking taylor expansion of 0 in a 3.344 * [backup-simplify]: Simplify 0 into 0 3.344 * [backup-simplify]: Simplify 0 into 0 3.346 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 3.346 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 3.347 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0 3.347 * [backup-simplify]: Simplify 0 into 0 3.350 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 3.351 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0 3.353 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.353 * [taylor]: Taking taylor expansion of 0 in a 3.353 * [backup-simplify]: Simplify 0 into 0 3.353 * [backup-simplify]: Simplify 0 into 0 3.353 * [backup-simplify]: Simplify 0 into 0 3.355 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 3.356 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0 3.358 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.358 * [backup-simplify]: Simplify 0 into 0 3.361 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 3.363 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))))) into 0 3.365 * [backup-simplify]: Simplify (* (exp (* 1/3 (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 3.365 * [taylor]: Taking taylor expansion of 0 in a 3.365 * [backup-simplify]: Simplify 0 into 0 3.365 * [backup-simplify]: Simplify 0 into 0 3.365 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3) 3.366 * [backup-simplify]: Simplify (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 3.366 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in (c a) around 0 3.366 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in a 3.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a 3.366 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 3.366 * [taylor]: Taking taylor expansion of 1/3 in a 3.366 * [backup-simplify]: Simplify 1/3 into 1/3 3.366 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.366 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.366 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.366 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.366 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 3.367 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 3.367 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in c 3.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c 3.367 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 3.367 * [taylor]: Taking taylor expansion of 1/3 in c 3.367 * [backup-simplify]: Simplify 1/3 into 1/3 3.367 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.367 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.367 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.367 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.368 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 3.368 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 3.368 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in c 3.368 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c 3.368 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 3.368 * [taylor]: Taking taylor expansion of 1/3 in c 3.368 * [backup-simplify]: Simplify 1/3 into 1/3 3.368 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 3.368 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 3.368 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.369 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.369 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 3.369 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 3.369 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in a 3.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a 3.369 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 3.369 * [taylor]: Taking taylor expansion of 1/3 in a 3.370 * [backup-simplify]: Simplify 1/3 into 1/3 3.370 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 3.370 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 3.370 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3.370 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3.370 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 3.370 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 3.371 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 3.371 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 3.372 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 3.373 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0 3.373 * [taylor]: Taking taylor expansion of 0 in a 3.373 * [backup-simplify]: Simplify 0 into 0 3.373 * [backup-simplify]: Simplify 0 into 0 3.373 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 3.374 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 3.374 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0 3.374 * [backup-simplify]: Simplify 0 into 0 3.375 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 3.376 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0 3.377 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.377 * [taylor]: Taking taylor expansion of 0 in a 3.377 * [backup-simplify]: Simplify 0 into 0 3.377 * [backup-simplify]: Simplify 0 into 0 3.377 * [backup-simplify]: Simplify 0 into 0 3.378 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 3.379 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0 3.380 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 3.380 * [backup-simplify]: Simplify 0 into 0 3.382 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 3.383 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))))) into 0 3.384 * [backup-simplify]: Simplify (* (exp (* 1/3 (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 3.384 * [taylor]: Taking taylor expansion of 0 in a 3.384 * [backup-simplify]: Simplify 0 into 0 3.384 * [backup-simplify]: Simplify 0 into 0 3.384 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3) 3.384 * * * [progress]: simplifying candidates 3.385 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (cbrt (fmod (cosh c) (log1p a)))) (exp (cbrt (fmod (cosh c) (log1p a)))) (cbrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt 1) (cbrt (fmod (cosh c) (log1p a))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))) (* (* (cbrt (fmod (cosh c) (log1p a))) (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)))) (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)) (pow (fmod (cosh c) (log1p a)) 1/3) (pow (fmod (cosh c) (log1p a)) 1/3) (pow (fmod (cosh c) (log1p a)) 1/3) 3.385 * * [simplify]: Extracting # 0 : cost 0 3.385 * * [simplify]: Extracting # 1 : cost 0 3.385 * * [simplify]: Extracting # 2 : cost 0 3.385 * * [simplify]: Extracting # 3 : cost 0 3.385 * * [simplify]: Extracting # 4 : cost 0 3.385 * * [simplify]: Extracting # 5 : cost 0 3.385 * * [simplify]: Extracting # 6 : cost 0 3.386 * * [simplify]: iteration 0 : 24 enodes (cost 359 ) 3.390 * * [simplify]: Extracting # 0 : cost 0 3.390 * * [simplify]: Extracting # 1 : cost 0 3.390 * * [simplify]: Extracting # 2 : cost 0 3.390 * * [simplify]: Extracting # 3 : cost 0 3.390 * * [simplify]: Extracting # 4 : cost 0 3.390 * * [simplify]: Extracting # 5 : cost 0 3.390 * * [simplify]: Extracting # 6 : cost 0 3.390 * * [simplify]: iteration 1 : 38 enodes (cost 355 ) 3.397 * * [simplify]: Extracting # 0 : cost 0 3.397 * * [simplify]: Extracting # 1 : cost 0 3.397 * * [simplify]: Extracting # 2 : cost 0 3.397 * * [simplify]: Extracting # 3 : cost 0 3.397 * * [simplify]: Extracting # 4 : cost 0 3.397 * * [simplify]: iteration 2 : 68 enodes (cost 289 ) 3.419 * * [simplify]: Extracting # 0 : cost 0 3.419 * * [simplify]: Extracting # 1 : cost 0 3.419 * * [simplify]: Extracting # 2 : cost 0 3.419 * * [simplify]: Extracting # 3 : cost 0 3.420 * * [simplify]: Extracting # 4 : cost 0 3.420 * * [simplify]: iteration 3 : 120 enodes (cost 286 ) 3.470 * * [simplify]: Extracting # 0 : cost 0 3.470 * * [simplify]: Extracting # 1 : cost 0 3.470 * * [simplify]: Extracting # 2 : cost 0 3.471 * * [simplify]: Extracting # 3 : cost 0 3.471 * * [simplify]: Extracting # 4 : cost 0 3.472 * * [simplify]: iteration 4 : 448 enodes (cost 286 ) 4.348 * * [simplify]: Extracting # 0 : cost 0 4.355 * * [simplify]: Extracting # 1 : cost 0 4.360 * * [simplify]: Extracting # 2 : cost 0 4.366 * * [simplify]: Extracting # 3 : cost 0 4.371 * * [simplify]: Extracting # 4 : cost 0 4.377 * * [simplify]: Extracting # 5 : cost 0 4.382 * * [simplify]: iteration 5 : 2980 enodes (cost 286 ) 7.113 * * [simplify]: Extracting # 0 : cost 0 7.121 * * [simplify]: Extracting # 1 : cost 0 7.131 * * [simplify]: Extracting # 2 : cost 0 7.146 * * [simplify]: Extracting # 3 : cost 0 7.151 * * [simplify]: Extracting # 4 : cost 0 7.156 * * [simplify]: iteration done: 5001 enodes (cost 286 ) 7.157 * [simplify]: Simplified to: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 2/3) (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))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 2/3) (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))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 2/3) (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))) (log (cbrt (fmod (cosh c) (log1p a)))) (exp (cbrt (fmod (cosh c) (log1p a)))) (cbrt (pow (fmod (cosh c) (log1p a)) 2/3)) (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))) 1 (cbrt (fmod (cosh c) (log1p a))) (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))) (cbrt (cbrt (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (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)) (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))) 7.157 * * * [progress]: adding candidates to table 7.347 * * [progress]: iteration 3 / 4 7.347 * * * [progress]: picking best candidate 7.375 * * * * [pick]: Picked # 7.376 * * * [progress]: localizing error 7.408 * * * [progress]: generating rewritten candidates 7.408 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 7.408 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 7.409 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 7.409 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 7.420 * * * [progress]: generating series expansions 7.420 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 7.421 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.421 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 7.421 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.421 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.421 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.421 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.421 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.421 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.421 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.421 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.422 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.422 * [taylor]: Taking taylor expansion of 0 in a 7.422 * [backup-simplify]: Simplify 0 into 0 7.422 * [backup-simplify]: Simplify 0 into 0 7.422 * [backup-simplify]: Simplify 0 into 0 7.422 * [taylor]: Taking taylor expansion of 0 in a 7.422 * [backup-simplify]: Simplify 0 into 0 7.422 * [backup-simplify]: Simplify 0 into 0 7.422 * [backup-simplify]: Simplify 0 into 0 7.422 * [backup-simplify]: Simplify 0 into 0 7.422 * [taylor]: Taking taylor expansion of 0 in a 7.422 * [backup-simplify]: Simplify 0 into 0 7.422 * [backup-simplify]: Simplify 0 into 0 7.422 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.422 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.422 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 7.422 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.423 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.423 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.423 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.423 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.423 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.423 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.423 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.423 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.424 * [taylor]: Taking taylor expansion of 0 in a 7.424 * [backup-simplify]: Simplify 0 into 0 7.424 * [backup-simplify]: Simplify 0 into 0 7.424 * [backup-simplify]: Simplify 0 into 0 7.424 * [taylor]: Taking taylor expansion of 0 in a 7.424 * [backup-simplify]: Simplify 0 into 0 7.424 * [backup-simplify]: Simplify 0 into 0 7.424 * [backup-simplify]: Simplify 0 into 0 7.424 * [backup-simplify]: Simplify 0 into 0 7.424 * [taylor]: Taking taylor expansion of 0 in a 7.424 * [backup-simplify]: Simplify 0 into 0 7.424 * [backup-simplify]: Simplify 0 into 0 7.424 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 7.424 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.424 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 7.424 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.425 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.425 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.425 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.425 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.425 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.425 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.425 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.425 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.426 * [taylor]: Taking taylor expansion of 0 in a 7.426 * [backup-simplify]: Simplify 0 into 0 7.426 * [backup-simplify]: Simplify 0 into 0 7.426 * [backup-simplify]: Simplify 0 into 0 7.426 * [taylor]: Taking taylor expansion of 0 in a 7.426 * [backup-simplify]: Simplify 0 into 0 7.426 * [backup-simplify]: Simplify 0 into 0 7.426 * [backup-simplify]: Simplify 0 into 0 7.426 * [backup-simplify]: Simplify 0 into 0 7.426 * [taylor]: Taking taylor expansion of 0 in a 7.426 * [backup-simplify]: Simplify 0 into 0 7.426 * [backup-simplify]: Simplify 0 into 0 7.426 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 7.426 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 7.426 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.426 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 7.426 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.427 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.427 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.427 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.427 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.427 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.427 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.427 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.427 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.427 * [taylor]: Taking taylor expansion of 0 in a 7.427 * [backup-simplify]: Simplify 0 into 0 7.427 * [backup-simplify]: Simplify 0 into 0 7.427 * [backup-simplify]: Simplify 0 into 0 7.427 * [taylor]: Taking taylor expansion of 0 in a 7.428 * [backup-simplify]: Simplify 0 into 0 7.428 * [backup-simplify]: Simplify 0 into 0 7.428 * [backup-simplify]: Simplify 0 into 0 7.428 * [backup-simplify]: Simplify 0 into 0 7.428 * [taylor]: Taking taylor expansion of 0 in a 7.428 * [backup-simplify]: Simplify 0 into 0 7.428 * [backup-simplify]: Simplify 0 into 0 7.428 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.428 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.428 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 7.428 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.428 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.428 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.429 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.429 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.429 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.429 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.429 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.429 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.429 * [taylor]: Taking taylor expansion of 0 in a 7.429 * [backup-simplify]: Simplify 0 into 0 7.429 * [backup-simplify]: Simplify 0 into 0 7.429 * [backup-simplify]: Simplify 0 into 0 7.429 * [taylor]: Taking taylor expansion of 0 in a 7.429 * [backup-simplify]: Simplify 0 into 0 7.429 * [backup-simplify]: Simplify 0 into 0 7.429 * [backup-simplify]: Simplify 0 into 0 7.430 * [backup-simplify]: Simplify 0 into 0 7.430 * [taylor]: Taking taylor expansion of 0 in a 7.430 * [backup-simplify]: Simplify 0 into 0 7.430 * [backup-simplify]: Simplify 0 into 0 7.430 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 7.430 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.430 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 7.430 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.430 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.430 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.430 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.431 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.431 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.431 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.431 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.431 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.431 * [taylor]: Taking taylor expansion of 0 in a 7.431 * [backup-simplify]: Simplify 0 into 0 7.431 * [backup-simplify]: Simplify 0 into 0 7.431 * [backup-simplify]: Simplify 0 into 0 7.431 * [taylor]: Taking taylor expansion of 0 in a 7.431 * [backup-simplify]: Simplify 0 into 0 7.431 * [backup-simplify]: Simplify 0 into 0 7.431 * [backup-simplify]: Simplify 0 into 0 7.431 * [backup-simplify]: Simplify 0 into 0 7.432 * [taylor]: Taking taylor expansion of 0 in a 7.432 * [backup-simplify]: Simplify 0 into 0 7.432 * [backup-simplify]: Simplify 0 into 0 7.432 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 7.432 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 7.432 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.432 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 7.432 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.432 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.432 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.432 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.432 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.433 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.433 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.433 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.433 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.433 * [taylor]: Taking taylor expansion of 0 in a 7.433 * [backup-simplify]: Simplify 0 into 0 7.433 * [backup-simplify]: Simplify 0 into 0 7.433 * [backup-simplify]: Simplify 0 into 0 7.433 * [taylor]: Taking taylor expansion of 0 in a 7.433 * [backup-simplify]: Simplify 0 into 0 7.433 * [backup-simplify]: Simplify 0 into 0 7.433 * [backup-simplify]: Simplify 0 into 0 7.433 * [backup-simplify]: Simplify 0 into 0 7.433 * [taylor]: Taking taylor expansion of 0 in a 7.433 * [backup-simplify]: Simplify 0 into 0 7.433 * [backup-simplify]: Simplify 0 into 0 7.433 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.434 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.434 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 7.434 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.434 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.434 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.434 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.434 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.434 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.434 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.435 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.435 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.435 * [taylor]: Taking taylor expansion of 0 in a 7.435 * [backup-simplify]: Simplify 0 into 0 7.435 * [backup-simplify]: Simplify 0 into 0 7.435 * [backup-simplify]: Simplify 0 into 0 7.435 * [taylor]: Taking taylor expansion of 0 in a 7.435 * [backup-simplify]: Simplify 0 into 0 7.435 * [backup-simplify]: Simplify 0 into 0 7.435 * [backup-simplify]: Simplify 0 into 0 7.435 * [backup-simplify]: Simplify 0 into 0 7.435 * [taylor]: Taking taylor expansion of 0 in a 7.435 * [backup-simplify]: Simplify 0 into 0 7.435 * [backup-simplify]: Simplify 0 into 0 7.435 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 7.436 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.436 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 7.436 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.436 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.436 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.436 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.436 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.436 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.436 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.436 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.437 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.437 * [taylor]: Taking taylor expansion of 0 in a 7.437 * [backup-simplify]: Simplify 0 into 0 7.437 * [backup-simplify]: Simplify 0 into 0 7.437 * [backup-simplify]: Simplify 0 into 0 7.437 * [taylor]: Taking taylor expansion of 0 in a 7.437 * [backup-simplify]: Simplify 0 into 0 7.437 * [backup-simplify]: Simplify 0 into 0 7.437 * [backup-simplify]: Simplify 0 into 0 7.437 * [backup-simplify]: Simplify 0 into 0 7.437 * [taylor]: Taking taylor expansion of 0 in a 7.437 * [backup-simplify]: Simplify 0 into 0 7.437 * [backup-simplify]: Simplify 0 into 0 7.437 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 7.437 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 7.438 * [backup-simplify]: Simplify (exp (log (cbrt (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3) 7.438 * [approximate]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in (c a) around 0 7.438 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in a 7.438 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in a 7.438 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in a 7.438 * [taylor]: Taking taylor expansion of 1/3 in a 7.438 * [backup-simplify]: Simplify 1/3 into 1/3 7.438 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 7.438 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.438 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.438 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.438 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a)))) 7.439 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3) 7.439 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in c 7.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in c 7.439 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in c 7.439 * [taylor]: Taking taylor expansion of 1/3 in c 7.439 * [backup-simplify]: Simplify 1/3 into 1/3 7.439 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 7.439 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.439 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.439 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.439 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a)))) 7.439 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3) 7.439 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in c 7.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in c 7.439 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in c 7.439 * [taylor]: Taking taylor expansion of 1/3 in c 7.439 * [backup-simplify]: Simplify 1/3 into 1/3 7.439 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 7.439 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 7.439 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.439 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.439 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a)))) 7.440 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3) 7.440 * [taylor]: Taking taylor expansion of (pow (fmod (cosh c) (log1p a)) 1/3) in a 7.440 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) in a 7.440 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh c) (log1p a)))) in a 7.440 * [taylor]: Taking taylor expansion of 1/3 in a 7.440 * [backup-simplify]: Simplify 1/3 into 1/3 7.440 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 7.440 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 7.440 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 7.440 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 7.440 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh c) (log1p a)))) into (* 1/3 (log (fmod (cosh c) (log1p a)))) 7.440 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) into (pow (fmod (cosh c) (log1p a)) 1/3) 7.440 * [backup-simplify]: Simplify (pow (fmod (cosh c) (log1p a)) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3) 7.441 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 7.441 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0 7.442 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 1) 1)))) into 0 7.442 * [taylor]: Taking taylor expansion of 0 in a 7.442 * [backup-simplify]: Simplify 0 into 0 7.442 * [backup-simplify]: Simplify 0 into 0 7.443 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 7.443 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0 7.443 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 1) 1)))) into 0 7.443 * [backup-simplify]: Simplify 0 into 0 7.451 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 7.451 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0 7.452 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.452 * [taylor]: Taking taylor expansion of 0 in a 7.453 * [backup-simplify]: Simplify 0 into 0 7.453 * [backup-simplify]: Simplify 0 into 0 7.453 * [backup-simplify]: Simplify 0 into 0 7.454 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 7.454 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0 7.455 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.455 * [backup-simplify]: Simplify 0 into 0 7.457 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 7.458 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a))))))) into 0 7.459 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh c) (log1p a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.459 * [taylor]: Taking taylor expansion of 0 in a 7.459 * [backup-simplify]: Simplify 0 into 0 7.459 * [backup-simplify]: Simplify 0 into 0 7.459 * [backup-simplify]: Simplify (pow (fmod (cosh c) (log1p a)) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3) 7.459 * [backup-simplify]: Simplify (exp (log (cbrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 7.459 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in (c a) around 0 7.459 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in a 7.459 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a 7.459 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 7.459 * [taylor]: Taking taylor expansion of 1/3 in a 7.459 * [backup-simplify]: Simplify 1/3 into 1/3 7.459 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 7.459 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.459 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.460 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.460 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 7.460 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 7.460 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in c 7.460 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c 7.460 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 7.460 * [taylor]: Taking taylor expansion of 1/3 in c 7.460 * [backup-simplify]: Simplify 1/3 into 1/3 7.460 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 7.460 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.460 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.460 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.460 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 7.460 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 7.460 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in c 7.460 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in c 7.460 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 7.460 * [taylor]: Taking taylor expansion of 1/3 in c 7.460 * [backup-simplify]: Simplify 1/3 into 1/3 7.460 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 7.460 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 7.461 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.461 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.461 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 7.461 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 7.461 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) in a 7.461 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) in a 7.461 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 7.461 * [taylor]: Taking taylor expansion of 1/3 in a 7.461 * [backup-simplify]: Simplify 1/3 into 1/3 7.461 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 7.461 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 7.461 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 7.461 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 7.461 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 7.462 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 7.462 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) into (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1/3) 7.463 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 7.463 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 7.464 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0 7.464 * [taylor]: Taking taylor expansion of 0 in a 7.464 * [backup-simplify]: Simplify 0 into 0 7.464 * [backup-simplify]: Simplify 0 into 0 7.464 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 7.465 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 7.466 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0 7.466 * [backup-simplify]: Simplify 0 into 0 7.467 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 7.467 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0 7.468 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.468 * [taylor]: Taking taylor expansion of 0 in a 7.468 * [backup-simplify]: Simplify 0 into 0 7.468 * [backup-simplify]: Simplify 0 into 0 7.468 * [backup-simplify]: Simplify 0 into 0 7.470 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 7.470 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0 7.472 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.472 * [backup-simplify]: Simplify 0 into 0 7.475 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 7.477 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))))) into 0 7.479 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.479 * [taylor]: Taking taylor expansion of 0 in a 7.479 * [backup-simplify]: Simplify 0 into 0 7.479 * [backup-simplify]: Simplify 0 into 0 7.480 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3) 7.480 * [backup-simplify]: Simplify (exp (log (cbrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 7.480 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in (c a) around 0 7.480 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in a 7.480 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a 7.480 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 7.480 * [taylor]: Taking taylor expansion of 1/3 in a 7.480 * [backup-simplify]: Simplify 1/3 into 1/3 7.480 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 7.480 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.481 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.481 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.481 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 7.481 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 7.481 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in c 7.481 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c 7.481 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 7.481 * [taylor]: Taking taylor expansion of 1/3 in c 7.481 * [backup-simplify]: Simplify 1/3 into 1/3 7.481 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 7.481 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.482 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.482 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.482 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 7.482 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 7.482 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in c 7.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in c 7.482 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 7.482 * [taylor]: Taking taylor expansion of 1/3 in c 7.482 * [backup-simplify]: Simplify 1/3 into 1/3 7.482 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 7.482 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 7.483 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.483 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.483 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 7.483 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 7.483 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) in a 7.483 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) in a 7.483 * [taylor]: Taking taylor expansion of (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 7.483 * [taylor]: Taking taylor expansion of 1/3 in a 7.483 * [backup-simplify]: Simplify 1/3 into 1/3 7.483 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 7.484 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 7.484 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 7.484 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 7.484 * [backup-simplify]: Simplify (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 7.484 * [backup-simplify]: Simplify (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 7.485 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) into (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1/3) 7.486 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 7.486 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 7.488 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0 7.488 * [taylor]: Taking taylor expansion of 0 in a 7.488 * [backup-simplify]: Simplify 0 into 0 7.488 * [backup-simplify]: Simplify 0 into 0 7.489 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 7.489 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 7.490 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 1) 1)))) into 0 7.490 * [backup-simplify]: Simplify 0 into 0 7.492 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 7.493 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0 7.495 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.495 * [taylor]: Taking taylor expansion of 0 in a 7.495 * [backup-simplify]: Simplify 0 into 0 7.495 * [backup-simplify]: Simplify 0 into 0 7.495 * [backup-simplify]: Simplify 0 into 0 7.497 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 7.498 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0 7.500 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.500 * [backup-simplify]: Simplify 0 into 0 7.503 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 7.504 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))))) into 0 7.505 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.505 * [taylor]: Taking taylor expansion of 0 in a 7.505 * [backup-simplify]: Simplify 0 into 0 7.505 * [backup-simplify]: Simplify 0 into 0 7.505 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) 1/3) into (pow (fmod (cosh c) (log1p a)) 1/3) 7.505 * * * [progress]: simplifying candidates 7.506 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (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))) (exp 1/3) (exp 1) (exp (* (cbrt (log (cbrt (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (fmod (cosh c) (log1p a))))))) (exp (sqrt (log (cbrt (fmod (cosh c) (log1p a)))))) (exp 1) (exp (log (cbrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))) (exp (log (cbrt (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt 1))) (exp (log (cbrt (fmod (cosh c) (log1p a))))) (exp (log (* (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (cbrt (fmod (cosh c) (log1p a))))))) (exp (log (cbrt (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (sqrt (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (sqrt (cbrt (fmod (cosh c) (log1p a)))))) (exp (log 1)) (exp (log (cbrt (fmod (cosh c) (log1p a))))) (log (exp (log (cbrt (fmod (cosh c) (log1p a)))))) (exp (exp (log (cbrt (fmod (cosh c) (log1p a)))))) (* (cbrt (exp (log (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (exp (log (cbrt (fmod (cosh c) (log1p a)))))) (* (* (exp (log (cbrt (fmod (cosh c) (log1p a))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (exp (log (cbrt (fmod (cosh c) (log1p a)))))) (sqrt (exp (log (cbrt (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)) (pow (fmod (cosh c) (log1p a)) 1/3) (pow (fmod (cosh c) (log1p a)) 1/3) (pow (fmod (cosh c) (log1p a)) 1/3) 7.507 * * [simplify]: Extracting # 0 : cost 0 7.507 * * [simplify]: Extracting # 1 : cost 0 7.507 * * [simplify]: Extracting # 2 : cost 0 7.507 * * [simplify]: Extracting # 3 : cost 0 7.507 * * [simplify]: Extracting # 4 : cost 0 7.507 * * [simplify]: Extracting # 5 : cost 0 7.507 * * [simplify]: Extracting # 6 : cost 0 7.507 * * [simplify]: Extracting # 7 : cost 0 7.507 * * [simplify]: iteration 0 : 51 enodes (cost 479 ) 7.517 * * [simplify]: Extracting # 0 : cost 0 7.517 * * [simplify]: Extracting # 1 : cost 0 7.517 * * [simplify]: Extracting # 2 : cost 0 7.517 * * [simplify]: Extracting # 3 : cost 0 7.517 * * [simplify]: Extracting # 4 : cost 0 7.517 * * [simplify]: Extracting # 5 : cost 0 7.517 * * [simplify]: Extracting # 6 : cost 0 7.517 * * [simplify]: iteration 1 : 71 enodes (cost 429 ) 7.526 * * [simplify]: Extracting # 0 : cost 0 7.526 * * [simplify]: Extracting # 1 : cost 0 7.526 * * [simplify]: Extracting # 2 : cost 0 7.527 * * [simplify]: Extracting # 3 : cost 0 7.527 * * [simplify]: iteration 2 : 110 enodes (cost 355 ) 7.545 * * [simplify]: Extracting # 0 : cost 0 7.546 * * [simplify]: Extracting # 1 : cost 0 7.546 * * [simplify]: Extracting # 2 : cost 0 7.546 * * [simplify]: Extracting # 3 : cost 0 7.546 * * [simplify]: Extracting # 4 : cost 0 7.547 * * [simplify]: iteration 3 : 195 enodes (cost 352 ) 7.645 * * [simplify]: Extracting # 0 : cost 0 7.645 * * [simplify]: Extracting # 1 : cost 0 7.646 * * [simplify]: Extracting # 2 : cost 0 7.646 * * [simplify]: Extracting # 3 : cost 0 7.647 * * [simplify]: Extracting # 4 : cost 0 7.647 * * [simplify]: iteration 4 : 657 enodes (cost 348 ) 8.998 * * [simplify]: Extracting # 0 : cost 0 9.003 * * [simplify]: Extracting # 1 : cost 0 9.008 * * [simplify]: Extracting # 2 : cost 0 9.012 * * [simplify]: Extracting # 3 : cost 0 9.016 * * [simplify]: Extracting # 4 : cost 0 9.020 * * [simplify]: iteration 5 : 4075 enodes (cost 348 ) 11.864 * * [simplify]: Extracting # 0 : cost 0 11.872 * * [simplify]: Extracting # 1 : cost 0 11.877 * * [simplify]: Extracting # 2 : cost 0 11.887 * * [simplify]: Extracting # 3 : cost 0 11.892 * * [simplify]: Extracting # 4 : cost 0 11.896 * * [simplify]: iteration done: 5001 enodes (cost 348 ) 11.896 * [simplify]: Simplified to: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 2/3) (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))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 2/3) (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))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 2/3) (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))) (exp 1/3) E (exp (* (cbrt (log (cbrt (fmod (cosh c) (log1p a))))) (cbrt (log (cbrt (fmod (cosh c) (log1p a))))))) (exp (sqrt (log (cbrt (fmod (cosh c) (log1p a)))))) E (cbrt (pow (fmod (cosh c) (log1p a)) 2/3)) (cbrt (cbrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))) 1 (cbrt (fmod (cosh c) (log1p a))) (pow (cbrt (cbrt (fmod (cosh c) (log1p a)))) 2) (cbrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a)))) 1 (cbrt (fmod (cosh c) (log1p a))) (log (cbrt (fmod (cosh c) (log1p a)))) (exp (cbrt (fmod (cosh c) (log1p a)))) (pow (cbrt (cbrt (fmod (cosh c) (log1p a)))) 2) (cbrt (cbrt (fmod (cosh c) (log1p a)))) (fmod (cosh c) (log1p a)) (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (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)) (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))) 11.896 * * * [progress]: adding candidates to table 12.034 * * [progress]: iteration 4 / 4 12.034 * * * [progress]: picking best candidate 12.070 * * * * [pick]: Picked # 12.070 * * * [progress]: localizing error 12.099 * * * [progress]: generating rewritten candidates 12.099 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2 1) 12.100 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1 1) 12.100 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 12.100 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 12.101 * * * [progress]: generating series expansions 12.101 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2 1) 12.101 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.101 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 12.101 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 12.101 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.101 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 12.101 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.101 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 12.101 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.101 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 12.101 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.101 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.101 * [taylor]: Taking taylor expansion of 0 in a 12.101 * [backup-simplify]: Simplify 0 into 0 12.101 * [backup-simplify]: Simplify 0 into 0 12.101 * [backup-simplify]: Simplify 0 into 0 12.101 * [taylor]: Taking taylor expansion of 0 in a 12.101 * [backup-simplify]: Simplify 0 into 0 12.101 * [backup-simplify]: Simplify 0 into 0 12.101 * [backup-simplify]: Simplify 0 into 0 12.101 * [backup-simplify]: Simplify 0 into 0 12.101 * [taylor]: Taking taylor expansion of 0 in a 12.101 * [backup-simplify]: Simplify 0 into 0 12.101 * [backup-simplify]: Simplify 0 into 0 12.101 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.102 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.102 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 12.102 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 12.102 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.102 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 12.102 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.102 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 12.102 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.102 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 12.102 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.102 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.102 * [taylor]: Taking taylor expansion of 0 in a 12.102 * [backup-simplify]: Simplify 0 into 0 12.102 * [backup-simplify]: Simplify 0 into 0 12.102 * [backup-simplify]: Simplify 0 into 0 12.102 * [taylor]: Taking taylor expansion of 0 in a 12.102 * [backup-simplify]: Simplify 0 into 0 12.102 * [backup-simplify]: Simplify 0 into 0 12.102 * [backup-simplify]: Simplify 0 into 0 12.102 * [backup-simplify]: Simplify 0 into 0 12.102 * [taylor]: Taking taylor expansion of 0 in a 12.102 * [backup-simplify]: Simplify 0 into 0 12.102 * [backup-simplify]: Simplify 0 into 0 12.103 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 12.103 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.103 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 12.103 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 12.103 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.103 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 12.103 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.103 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 12.103 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.103 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 12.103 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.103 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.103 * [taylor]: Taking taylor expansion of 0 in a 12.103 * [backup-simplify]: Simplify 0 into 0 12.103 * [backup-simplify]: Simplify 0 into 0 12.103 * [backup-simplify]: Simplify 0 into 0 12.103 * [taylor]: Taking taylor expansion of 0 in a 12.103 * [backup-simplify]: Simplify 0 into 0 12.103 * [backup-simplify]: Simplify 0 into 0 12.103 * [backup-simplify]: Simplify 0 into 0 12.103 * [backup-simplify]: Simplify 0 into 0 12.103 * [taylor]: Taking taylor expansion of 0 in a 12.103 * [backup-simplify]: Simplify 0 into 0 12.103 * [backup-simplify]: Simplify 0 into 0 12.104 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 12.104 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1 1) 12.104 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.104 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 12.104 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 12.104 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.104 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 12.104 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.104 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 12.104 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.104 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 12.104 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.104 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.104 * [taylor]: Taking taylor expansion of 0 in a 12.104 * [backup-simplify]: Simplify 0 into 0 12.104 * [backup-simplify]: Simplify 0 into 0 12.104 * [backup-simplify]: Simplify 0 into 0 12.104 * [taylor]: Taking taylor expansion of 0 in a 12.104 * [backup-simplify]: Simplify 0 into 0 12.104 * [backup-simplify]: Simplify 0 into 0 12.104 * [backup-simplify]: Simplify 0 into 0 12.104 * [backup-simplify]: Simplify 0 into 0 12.104 * [taylor]: Taking taylor expansion of 0 in a 12.104 * [backup-simplify]: Simplify 0 into 0 12.104 * [backup-simplify]: Simplify 0 into 0 12.104 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.105 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.105 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 12.105 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 12.105 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.105 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 12.105 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.105 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 12.105 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.105 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 12.105 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.105 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.105 * [taylor]: Taking taylor expansion of 0 in a 12.105 * [backup-simplify]: Simplify 0 into 0 12.105 * [backup-simplify]: Simplify 0 into 0 12.105 * [backup-simplify]: Simplify 0 into 0 12.105 * [taylor]: Taking taylor expansion of 0 in a 12.105 * [backup-simplify]: Simplify 0 into 0 12.105 * [backup-simplify]: Simplify 0 into 0 12.105 * [backup-simplify]: Simplify 0 into 0 12.105 * [backup-simplify]: Simplify 0 into 0 12.105 * [taylor]: Taking taylor expansion of 0 in a 12.105 * [backup-simplify]: Simplify 0 into 0 12.105 * [backup-simplify]: Simplify 0 into 0 12.105 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 12.106 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.106 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 12.106 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 12.106 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.106 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 12.106 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.106 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 12.106 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.106 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 12.106 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.106 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.106 * [taylor]: Taking taylor expansion of 0 in a 12.106 * [backup-simplify]: Simplify 0 into 0 12.106 * [backup-simplify]: Simplify 0 into 0 12.106 * [backup-simplify]: Simplify 0 into 0 12.106 * [taylor]: Taking taylor expansion of 0 in a 12.106 * [backup-simplify]: Simplify 0 into 0 12.106 * [backup-simplify]: Simplify 0 into 0 12.106 * [backup-simplify]: Simplify 0 into 0 12.106 * [backup-simplify]: Simplify 0 into 0 12.106 * [taylor]: Taking taylor expansion of 0 in a 12.106 * [backup-simplify]: Simplify 0 into 0 12.106 * [backup-simplify]: Simplify 0 into 0 12.107 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 12.107 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 12.107 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.107 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 12.107 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 12.107 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.107 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 12.107 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.107 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 12.107 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.107 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 12.107 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.107 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.107 * [taylor]: Taking taylor expansion of 0 in a 12.107 * [backup-simplify]: Simplify 0 into 0 12.107 * [backup-simplify]: Simplify 0 into 0 12.107 * [backup-simplify]: Simplify 0 into 0 12.107 * [taylor]: Taking taylor expansion of 0 in a 12.107 * [backup-simplify]: Simplify 0 into 0 12.107 * [backup-simplify]: Simplify 0 into 0 12.107 * [backup-simplify]: Simplify 0 into 0 12.107 * [backup-simplify]: Simplify 0 into 0 12.107 * [taylor]: Taking taylor expansion of 0 in a 12.107 * [backup-simplify]: Simplify 0 into 0 12.107 * [backup-simplify]: Simplify 0 into 0 12.107 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.108 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.108 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 12.108 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 12.108 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.108 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 12.108 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.108 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 12.108 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.108 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 12.108 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.108 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.108 * [taylor]: Taking taylor expansion of 0 in a 12.108 * [backup-simplify]: Simplify 0 into 0 12.108 * [backup-simplify]: Simplify 0 into 0 12.108 * [backup-simplify]: Simplify 0 into 0 12.108 * [taylor]: Taking taylor expansion of 0 in a 12.108 * [backup-simplify]: Simplify 0 into 0 12.108 * [backup-simplify]: Simplify 0 into 0 12.108 * [backup-simplify]: Simplify 0 into 0 12.108 * [backup-simplify]: Simplify 0 into 0 12.108 * [taylor]: Taking taylor expansion of 0 in a 12.108 * [backup-simplify]: Simplify 0 into 0 12.108 * [backup-simplify]: Simplify 0 into 0 12.108 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 12.109 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.109 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 12.109 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 12.109 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.109 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 12.109 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.109 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 12.109 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.109 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 12.109 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.109 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.109 * [taylor]: Taking taylor expansion of 0 in a 12.109 * [backup-simplify]: Simplify 0 into 0 12.109 * [backup-simplify]: Simplify 0 into 0 12.109 * [backup-simplify]: Simplify 0 into 0 12.109 * [taylor]: Taking taylor expansion of 0 in a 12.109 * [backup-simplify]: Simplify 0 into 0 12.109 * [backup-simplify]: Simplify 0 into 0 12.109 * [backup-simplify]: Simplify 0 into 0 12.109 * [backup-simplify]: Simplify 0 into 0 12.109 * [taylor]: Taking taylor expansion of 0 in a 12.109 * [backup-simplify]: Simplify 0 into 0 12.109 * [backup-simplify]: Simplify 0 into 0 12.110 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 12.110 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 12.110 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.110 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 12.110 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 12.110 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.110 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 12.110 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.110 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 12.110 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.110 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 12.110 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.110 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.110 * [taylor]: Taking taylor expansion of 0 in a 12.110 * [backup-simplify]: Simplify 0 into 0 12.110 * [backup-simplify]: Simplify 0 into 0 12.110 * [backup-simplify]: Simplify 0 into 0 12.110 * [taylor]: Taking taylor expansion of 0 in a 12.110 * [backup-simplify]: Simplify 0 into 0 12.110 * [backup-simplify]: Simplify 0 into 0 12.110 * [backup-simplify]: Simplify 0 into 0 12.110 * [backup-simplify]: Simplify 0 into 0 12.110 * [taylor]: Taking taylor expansion of 0 in a 12.110 * [backup-simplify]: Simplify 0 into 0 12.110 * [backup-simplify]: Simplify 0 into 0 12.110 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 12.110 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.111 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 12.111 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 12.111 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.111 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 12.111 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.111 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 12.111 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.111 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 12.111 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.111 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 12.111 * [taylor]: Taking taylor expansion of 0 in a 12.111 * [backup-simplify]: Simplify 0 into 0 12.111 * [backup-simplify]: Simplify 0 into 0 12.111 * [backup-simplify]: Simplify 0 into 0 12.111 * [taylor]: Taking taylor expansion of 0 in a 12.111 * [backup-simplify]: Simplify 0 into 0 12.111 * [backup-simplify]: Simplify 0 into 0 12.111 * [backup-simplify]: Simplify 0 into 0 12.111 * [backup-simplify]: Simplify 0 into 0 12.111 * [taylor]: Taking taylor expansion of 0 in a 12.111 * [backup-simplify]: Simplify 0 into 0 12.111 * [backup-simplify]: Simplify 0 into 0 12.111 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 12.112 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.112 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 12.112 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 12.112 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.112 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 12.112 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.112 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 12.112 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.112 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 12.112 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.112 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 12.112 * [taylor]: Taking taylor expansion of 0 in a 12.112 * [backup-simplify]: Simplify 0 into 0 12.112 * [backup-simplify]: Simplify 0 into 0 12.112 * [backup-simplify]: Simplify 0 into 0 12.112 * [taylor]: Taking taylor expansion of 0 in a 12.112 * [backup-simplify]: Simplify 0 into 0 12.112 * [backup-simplify]: Simplify 0 into 0 12.112 * [backup-simplify]: Simplify 0 into 0 12.112 * [backup-simplify]: Simplify 0 into 0 12.112 * [taylor]: Taking taylor expansion of 0 in a 12.112 * [backup-simplify]: Simplify 0 into 0 12.112 * [backup-simplify]: Simplify 0 into 0 12.113 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 12.113 * * * [progress]: simplifying candidates 12.113 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (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)) (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)) 12.113 * * [simplify]: Extracting # 0 : cost 0 12.113 * * [simplify]: Extracting # 1 : cost 0 12.113 * * [simplify]: Extracting # 2 : cost 0 12.114 * * [simplify]: Extracting # 3 : cost 0 12.114 * * [simplify]: Extracting # 4 : cost 0 12.114 * * [simplify]: iteration 0 : 12 enodes (cost 300 ) 12.115 * * [simplify]: Extracting # 0 : cost 0 12.115 * * [simplify]: Extracting # 1 : cost 0 12.115 * * [simplify]: Extracting # 2 : cost 0 12.115 * * [simplify]: Extracting # 3 : cost 0 12.115 * * [simplify]: Extracting # 4 : cost 0 12.115 * * [simplify]: Extracting # 5 : cost 0 12.115 * * [simplify]: iteration 1 : 19 enodes (cost 300 ) 12.117 * * [simplify]: Extracting # 0 : cost 0 12.118 * * [simplify]: Extracting # 1 : cost 0 12.118 * * [simplify]: Extracting # 2 : cost 0 12.118 * * [simplify]: iteration 2 : 24 enodes (cost 260 ) 12.121 * * [simplify]: Extracting # 0 : cost 0 12.121 * * [simplify]: Extracting # 1 : cost 0 12.121 * * [simplify]: Extracting # 2 : cost 0 12.121 * * [simplify]: Extracting # 3 : cost 0 12.121 * * [simplify]: Extracting # 4 : cost 0 12.121 * * [simplify]: iteration 3 : 30 enodes (cost 260 ) 12.126 * * [simplify]: Extracting # 0 : cost 0 12.126 * * [simplify]: Extracting # 1 : cost 0 12.126 * * [simplify]: Extracting # 2 : cost 0 12.126 * * [simplify]: Extracting # 3 : cost 0 12.126 * * [simplify]: Extracting # 4 : cost 0 12.126 * * [simplify]: iteration 4 : 36 enodes (cost 260 ) 12.130 * * [simplify]: Extracting # 0 : cost 0 12.130 * * [simplify]: Extracting # 1 : cost 0 12.130 * * [simplify]: Extracting # 2 : cost 0 12.131 * * [simplify]: Extracting # 3 : cost 0 12.131 * * [simplify]: Extracting # 4 : cost 0 12.131 * * [simplify]: iteration 5 : 46 enodes (cost 260 ) 12.137 * * [simplify]: Extracting # 0 : cost 0 12.137 * * [simplify]: Extracting # 1 : cost 0 12.137 * * [simplify]: Extracting # 2 : cost 0 12.137 * * [simplify]: Extracting # 3 : cost 0 12.137 * * [simplify]: iteration 6 : 67 enodes (cost 260 ) 12.152 * * [simplify]: Extracting # 0 : cost 0 12.152 * * [simplify]: Extracting # 1 : cost 0 12.152 * * [simplify]: Extracting # 2 : cost 0 12.152 * * [simplify]: Extracting # 3 : cost 0 12.152 * * [simplify]: iteration 7 : 145 enodes (cost 260 ) 12.221 * * [simplify]: Extracting # 0 : cost 0 12.222 * * [simplify]: Extracting # 1 : cost 0 12.222 * * [simplify]: Extracting # 2 : cost 0 12.222 * * [simplify]: Extracting # 3 : cost 0 12.222 * * [simplify]: Extracting # 4 : cost 0 12.223 * * [simplify]: iteration 8 : 430 enodes (cost 260 ) 12.826 * * [simplify]: Extracting # 0 : cost 0 12.827 * * [simplify]: Extracting # 1 : cost 0 12.828 * * [simplify]: Extracting # 2 : cost 0 12.829 * * [simplify]: Extracting # 3 : cost 0 12.830 * * [simplify]: Extracting # 4 : cost 0 12.831 * * [simplify]: iteration 9 : 1839 enodes (cost 260 ) 13.515 * * [simplify]: Extracting # 0 : cost 0 13.519 * * [simplify]: Extracting # 1 : cost 0 13.799 * * [simplify]: Extracting # 2 : cost 0 13.804 * * [simplify]: Extracting # 3 : cost 0 13.810 * * [simplify]: iteration done: 5001 enodes (cost 260 ) 13.810 * [simplify]: Simplified to: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (pow (fmod (cosh c) (log1p a)) 3) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (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))) (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))) (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)) (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)) 13.810 * * * [progress]: adding candidates to table 13.962 * [progress]: [Phase 3 of 3] Extracting. 13.962 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # #) 13.968 * * * [regime-changes]: Trying 3 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a))) 13.968 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # # # # # # # # #) 14.042 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # # # # # # # # #) 14.100 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # # # # # # # #) 14.177 * * * [regime]: Found split indices: #