8.267 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.358 * * * [progress]: [2/2] Setting up program. 0.361 * [progress]: [Phase 2 of 3] Improving. 0.361 * [simplify]: Simplifying: (fmod (cosh c) (log1p a)) 0.361 * [simplify]: Sending expressions to egg_math: (fmod (cosh h0) (log1p h1)) 0.363 * * [simplify]: iteration 0 : 11 enodes (cost 3 ) 0.364 * * [simplify]: iteration 1 : 14 enodes (cost 3 ) 0.365 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 0.366 * * [simplify]: iteration 3 : 18 enodes (cost 3 ) 0.368 * * [simplify]: iteration 4 : 19 enodes (cost 3 ) 0.369 * * [simplify]: iteration 5 : 24 enodes (cost 3 ) 0.370 * * [simplify]: iteration 6 : 44 enodes (cost 3 ) 0.371 * * [simplify]: iteration 7 : 69 enodes (cost 3 ) 0.373 * * [simplify]: iteration 8 : 169 enodes (cost 3 ) 0.380 * * [simplify]: iteration 9 : 1127 enodes (cost 3 ) 0.576 * * [simplify]: iteration 10 : 5002 enodes (cost 3 ) 0.576 * * [progress]: iteration 1 / 4 0.576 * * * [progress]: picking best candidate 0.578 * * * * [pick]: Picked # 0.578 * * * [progress]: localizing error 0.585 * * * [progress]: generating rewritten candidates 0.585 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.585 * * * [progress]: generating series expansions 0.585 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.585 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.585 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.585 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.585 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.585 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.585 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.585 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.585 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.586 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.586 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.586 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.586 * [taylor]: Taking taylor expansion of 0 in a 0.586 * [backup-simplify]: Simplify 0 into 0 0.586 * [backup-simplify]: Simplify 0 into 0 0.586 * [backup-simplify]: Simplify 0 into 0 0.586 * [taylor]: Taking taylor expansion of 0 in a 0.586 * [backup-simplify]: Simplify 0 into 0 0.586 * [backup-simplify]: Simplify 0 into 0 0.586 * [backup-simplify]: Simplify 0 into 0 0.586 * [backup-simplify]: Simplify 0 into 0 0.586 * [taylor]: Taking taylor expansion of 0 in a 0.586 * [backup-simplify]: Simplify 0 into 0 0.586 * [backup-simplify]: Simplify 0 into 0 0.586 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.586 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.586 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.586 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.586 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.586 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.586 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.586 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.586 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.586 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.587 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.587 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.587 * [taylor]: Taking taylor expansion of 0 in a 0.587 * [backup-simplify]: Simplify 0 into 0 0.587 * [backup-simplify]: Simplify 0 into 0 0.587 * [backup-simplify]: Simplify 0 into 0 0.587 * [taylor]: Taking taylor expansion of 0 in a 0.587 * [backup-simplify]: Simplify 0 into 0 0.587 * [backup-simplify]: Simplify 0 into 0 0.587 * [backup-simplify]: Simplify 0 into 0 0.587 * [backup-simplify]: Simplify 0 into 0 0.587 * [taylor]: Taking taylor expansion of 0 in a 0.587 * [backup-simplify]: Simplify 0 into 0 0.587 * [backup-simplify]: Simplify 0 into 0 0.587 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.587 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.587 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.587 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.587 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.587 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.587 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.587 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.587 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.587 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.588 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.588 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.588 * [taylor]: Taking taylor expansion of 0 in a 0.588 * [backup-simplify]: Simplify 0 into 0 0.588 * [backup-simplify]: Simplify 0 into 0 0.588 * [backup-simplify]: Simplify 0 into 0 0.588 * [taylor]: Taking taylor expansion of 0 in a 0.588 * [backup-simplify]: Simplify 0 into 0 0.588 * [backup-simplify]: Simplify 0 into 0 0.588 * [backup-simplify]: Simplify 0 into 0 0.588 * [backup-simplify]: Simplify 0 into 0 0.588 * [taylor]: Taking taylor expansion of 0 in a 0.588 * [backup-simplify]: Simplify 0 into 0 0.588 * [backup-simplify]: Simplify 0 into 0 0.588 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.588 * * * [progress]: simplifying candidates 0.588 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 0.588 * [simplify]: Sending expressions to egg_math: (expm1 (fmod (cosh h0) (log1p h1))) (log1p (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (exp (fmod (cosh h0) (log1p h1))) (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1)))) (cbrt (fmod (cosh h0) (log1p h1))) (* (* (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) 0.590 * * [simplify]: iteration 0 : 21 enodes (cost 57 ) 0.592 * * [simplify]: iteration 1 : 26 enodes (cost 50 ) 0.593 * * [simplify]: iteration 2 : 31 enodes (cost 50 ) 0.594 * * [simplify]: iteration 3 : 38 enodes (cost 50 ) 0.596 * * [simplify]: iteration 4 : 58 enodes (cost 50 ) 0.597 * * [simplify]: iteration 5 : 117 enodes (cost 50 ) 0.602 * * [simplify]: iteration 6 : 567 enodes (cost 50 ) 0.616 * * [simplify]: iteration 7 : 1852 enodes (cost 50 ) 0.682 * * [simplify]: iteration 8 : 5001 enodes (cost 50 ) 0.683 * * * [progress]: adding candidates to table 0.709 * * [progress]: iteration 2 / 4 0.709 * * * [progress]: picking best candidate 0.721 * * * * [pick]: Picked # 0.721 * * * [progress]: localizing error 0.730 * * * [progress]: generating rewritten candidates 0.730 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.730 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.731 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.735 * * * [progress]: generating series expansions 0.735 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.736 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.736 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.736 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.736 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.736 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.736 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.736 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.736 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.736 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.736 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.736 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.736 * [taylor]: Taking taylor expansion of 0 in a 0.736 * [backup-simplify]: Simplify 0 into 0 0.736 * [backup-simplify]: Simplify 0 into 0 0.736 * [backup-simplify]: Simplify 0 into 0 0.736 * [taylor]: Taking taylor expansion of 0 in a 0.736 * [backup-simplify]: Simplify 0 into 0 0.736 * [backup-simplify]: Simplify 0 into 0 0.736 * [backup-simplify]: Simplify 0 into 0 0.736 * [backup-simplify]: Simplify 0 into 0 0.736 * [taylor]: Taking taylor expansion of 0 in a 0.736 * [backup-simplify]: Simplify 0 into 0 0.736 * [backup-simplify]: Simplify 0 into 0 0.736 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.736 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.736 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.737 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.737 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.737 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.737 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.737 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.737 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.737 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.737 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.737 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.737 * [taylor]: Taking taylor expansion of 0 in a 0.737 * [backup-simplify]: Simplify 0 into 0 0.737 * [backup-simplify]: Simplify 0 into 0 0.737 * [backup-simplify]: Simplify 0 into 0 0.737 * [taylor]: Taking taylor expansion of 0 in a 0.737 * [backup-simplify]: Simplify 0 into 0 0.737 * [backup-simplify]: Simplify 0 into 0 0.737 * [backup-simplify]: Simplify 0 into 0 0.737 * [backup-simplify]: Simplify 0 into 0 0.737 * [taylor]: Taking taylor expansion of 0 in a 0.737 * [backup-simplify]: Simplify 0 into 0 0.737 * [backup-simplify]: Simplify 0 into 0 0.737 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.737 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.737 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.738 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.738 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.738 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.738 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.738 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.738 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.738 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.738 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.738 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.738 * [taylor]: Taking taylor expansion of 0 in a 0.738 * [backup-simplify]: Simplify 0 into 0 0.738 * [backup-simplify]: Simplify 0 into 0 0.738 * [backup-simplify]: Simplify 0 into 0 0.738 * [taylor]: Taking taylor expansion of 0 in a 0.738 * [backup-simplify]: Simplify 0 into 0 0.738 * [backup-simplify]: Simplify 0 into 0 0.738 * [backup-simplify]: Simplify 0 into 0 0.738 * [backup-simplify]: Simplify 0 into 0 0.738 * [taylor]: Taking taylor expansion of 0 in a 0.738 * [backup-simplify]: Simplify 0 into 0 0.738 * [backup-simplify]: Simplify 0 into 0 0.738 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.738 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.739 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.739 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 0.739 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 0.739 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.739 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.739 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.739 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 0.739 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.739 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.739 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.739 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 0.739 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.739 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.739 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.739 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 0.739 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.739 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.739 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.739 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.740 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 0.740 * [taylor]: Taking taylor expansion of 0 in a 0.740 * [backup-simplify]: Simplify 0 into 0 0.740 * [backup-simplify]: Simplify 0 into 0 0.741 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 0.741 * [backup-simplify]: Simplify 0 into 0 0.742 * [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 0.742 * [taylor]: Taking taylor expansion of 0 in a 0.742 * [backup-simplify]: Simplify 0 into 0 0.742 * [backup-simplify]: Simplify 0 into 0 0.742 * [backup-simplify]: Simplify 0 into 0 0.743 * [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 0.743 * [backup-simplify]: Simplify 0 into 0 0.745 * [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 0.745 * [taylor]: Taking taylor expansion of 0 in a 0.745 * [backup-simplify]: Simplify 0 into 0 0.745 * [backup-simplify]: Simplify 0 into 0 0.745 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.745 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.745 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 0.745 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 0.745 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.745 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.746 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.746 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 0.746 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.746 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.746 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.746 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 0.746 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.746 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.746 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.746 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 0.746 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.746 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.746 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.746 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.747 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 0.747 * [taylor]: Taking taylor expansion of 0 in a 0.747 * [backup-simplify]: Simplify 0 into 0 0.747 * [backup-simplify]: Simplify 0 into 0 0.747 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 0.747 * [backup-simplify]: Simplify 0 into 0 0.749 * [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 0.749 * [taylor]: Taking taylor expansion of 0 in a 0.749 * [backup-simplify]: Simplify 0 into 0 0.749 * [backup-simplify]: Simplify 0 into 0 0.749 * [backup-simplify]: Simplify 0 into 0 0.750 * [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 0.750 * [backup-simplify]: Simplify 0 into 0 0.752 * [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 0.752 * [taylor]: Taking taylor expansion of 0 in a 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 0.752 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.752 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 0.752 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 0.752 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.752 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.752 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.752 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 0.752 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.752 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.753 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.753 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 0.753 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.753 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.753 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.753 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 0.753 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.753 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.753 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.753 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.754 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 0.754 * [taylor]: Taking taylor expansion of 0 in a 0.754 * [backup-simplify]: Simplify 0 into 0 0.754 * [backup-simplify]: Simplify 0 into 0 0.754 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 0.754 * [backup-simplify]: Simplify 0 into 0 0.755 * [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 0.756 * [taylor]: Taking taylor expansion of 0 in a 0.756 * [backup-simplify]: Simplify 0 into 0 0.756 * [backup-simplify]: Simplify 0 into 0 0.756 * [backup-simplify]: Simplify 0 into 0 0.757 * [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 0.757 * [backup-simplify]: Simplify 0 into 0 0.759 * [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 0.759 * [taylor]: Taking taylor expansion of 0 in a 0.759 * [backup-simplify]: Simplify 0 into 0 0.759 * [backup-simplify]: Simplify 0 into 0 0.759 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 0.759 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.759 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 0.759 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.759 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.759 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.759 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.759 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.759 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.759 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.759 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.759 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.759 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.759 * [taylor]: Taking taylor expansion of 0 in a 0.759 * [backup-simplify]: Simplify 0 into 0 0.759 * [backup-simplify]: Simplify 0 into 0 0.759 * [backup-simplify]: Simplify 0 into 0 0.759 * [taylor]: Taking taylor expansion of 0 in a 0.759 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [taylor]: Taking taylor expansion of 0 in a 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.760 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.760 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.760 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.760 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.760 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.760 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.760 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.760 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.760 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.760 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.760 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.760 * [taylor]: Taking taylor expansion of 0 in a 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [taylor]: Taking taylor expansion of 0 in a 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [taylor]: Taking taylor expansion of 0 in a 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.761 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.761 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.761 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.761 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.761 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.761 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.761 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.761 * [taylor]: Taking taylor expansion of 0 in a 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [taylor]: Taking taylor expansion of 0 in a 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [taylor]: Taking taylor expansion of 0 in a 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.762 * * * [progress]: simplifying candidates 0.762 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (log (fmod (cosh c) (log1p a)))) (log1p (log (fmod (cosh c) (log1p a)))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (expm1 (exp (log (fmod (cosh c) (log1p a))))) (log1p (exp (log (fmod (cosh c) (log1p a))))) (exp 1) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (sqrt (log (fmod (cosh c) (log1p a))))) (exp 1) (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log 1)) (exp (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a))))) (exp (exp (log (fmod (cosh c) (log1p a))))) (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))) (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a))))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 0.763 * [simplify]: Sending expressions to egg_math: (expm1 (fmod (cosh h0) (log1p h1))) (log1p (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (exp (fmod (cosh h0) (log1p h1))) (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1)))) (cbrt (fmod (cosh h0) (log1p h1))) (* (* (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))) (expm1 (log (fmod (cosh h0) (log1p h1)))) (log1p (log (fmod (cosh h0) (log1p h1)))) (log (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1))))) (log (cbrt (fmod (cosh h0) (log1p h1)))) (log (sqrt (fmod (cosh h0) (log1p h1)))) (log (sqrt (fmod (cosh h0) (log1p h1)))) (log 1) (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (log (log (fmod (cosh h0) (log1p h1)))) (exp (log (fmod (cosh h0) (log1p h1)))) (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1))))) (cbrt (log (fmod (cosh h0) (log1p h1)))) (* (* (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1)))) (log (fmod (cosh h0) (log1p h1)))) (sqrt (log (fmod (cosh h0) (log1p h1)))) (sqrt (log (fmod (cosh h0) (log1p h1)))) (expm1 (exp (log (fmod (cosh h0) (log1p h1))))) (log1p (exp (log (fmod (cosh h0) (log1p h1))))) (exp 1) (exp (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1)))))) (exp (sqrt (log (fmod (cosh h0) (log1p h1))))) (exp 1) (exp (log (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1)))))) (exp (log (cbrt (fmod (cosh h0) (log1p h1))))) (exp (log (sqrt (fmod (cosh h0) (log1p h1))))) (exp (log (sqrt (fmod (cosh h0) (log1p h1))))) (exp (log 1)) (exp (log (fmod (cosh h0) (log1p h1)))) (log (exp (log (fmod (cosh h0) (log1p h1))))) (exp (exp (log (fmod (cosh h0) (log1p h1))))) (* (cbrt (exp (log (fmod (cosh h0) (log1p h1))))) (cbrt (exp (log (fmod (cosh h0) (log1p h1)))))) (cbrt (exp (log (fmod (cosh h0) (log1p h1))))) (* (* (exp (log (fmod (cosh h0) (log1p h1)))) (exp (log (fmod (cosh h0) (log1p h1))))) (exp (log (fmod (cosh h0) (log1p h1))))) (sqrt (exp (log (fmod (cosh h0) (log1p h1))))) (sqrt (exp (log (fmod (cosh h0) (log1p h1))))) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) 0.765 * * [simplify]: iteration 0 : 61 enodes (cost 260 ) 0.767 * * [simplify]: iteration 1 : 87 enodes (cost 232 ) 0.768 * * [simplify]: iteration 2 : 110 enodes (cost 226 ) 0.770 * * [simplify]: iteration 3 : 158 enodes (cost 220 ) 0.772 * * [simplify]: iteration 4 : 303 enodes (cost 220 ) 0.776 * * [simplify]: iteration 5 : 741 enodes (cost 220 ) 0.789 * * [simplify]: iteration 6 : 2510 enodes (cost 220 ) 0.841 * * [simplify]: iteration 7 : 5002 enodes (cost 220 ) 0.843 * * * [progress]: adding candidates to table 0.952 * * [progress]: iteration 3 / 4 0.952 * * * [progress]: picking best candidate 0.976 * * * * [pick]: Picked # 0.976 * * * [progress]: localizing error 0.986 * * * [progress]: generating rewritten candidates 0.986 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 0.986 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.988 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.992 * * * [progress]: generating series expansions 0.992 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 0.992 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.992 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.992 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.992 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.992 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.992 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.992 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.992 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.993 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.993 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.993 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.993 * [taylor]: Taking taylor expansion of 0 in a 0.993 * [backup-simplify]: Simplify 0 into 0 0.993 * [backup-simplify]: Simplify 0 into 0 0.993 * [backup-simplify]: Simplify 0 into 0 0.993 * [taylor]: Taking taylor expansion of 0 in a 0.993 * [backup-simplify]: Simplify 0 into 0 0.993 * [backup-simplify]: Simplify 0 into 0 0.993 * [backup-simplify]: Simplify 0 into 0 0.993 * [backup-simplify]: Simplify 0 into 0 0.993 * [taylor]: Taking taylor expansion of 0 in a 0.993 * [backup-simplify]: Simplify 0 into 0 0.993 * [backup-simplify]: Simplify 0 into 0 0.993 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.993 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.993 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.993 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.993 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.993 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.993 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.993 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.993 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.993 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.994 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.994 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.994 * [taylor]: Taking taylor expansion of 0 in a 0.994 * [backup-simplify]: Simplify 0 into 0 0.994 * [backup-simplify]: Simplify 0 into 0 0.994 * [backup-simplify]: Simplify 0 into 0 0.994 * [taylor]: Taking taylor expansion of 0 in a 0.994 * [backup-simplify]: Simplify 0 into 0 0.994 * [backup-simplify]: Simplify 0 into 0 0.994 * [backup-simplify]: Simplify 0 into 0 0.994 * [backup-simplify]: Simplify 0 into 0 0.994 * [taylor]: Taking taylor expansion of 0 in a 0.994 * [backup-simplify]: Simplify 0 into 0 0.994 * [backup-simplify]: Simplify 0 into 0 0.994 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.994 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.994 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.994 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.994 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.994 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.994 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.994 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.994 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.994 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.995 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.995 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.995 * [taylor]: Taking taylor expansion of 0 in a 0.995 * [backup-simplify]: Simplify 0 into 0 0.995 * [backup-simplify]: Simplify 0 into 0 0.995 * [backup-simplify]: Simplify 0 into 0 0.995 * [taylor]: Taking taylor expansion of 0 in a 0.995 * [backup-simplify]: Simplify 0 into 0 0.995 * [backup-simplify]: Simplify 0 into 0 0.995 * [backup-simplify]: Simplify 0 into 0 0.995 * [backup-simplify]: Simplify 0 into 0 0.995 * [taylor]: Taking taylor expansion of 0 in a 0.995 * [backup-simplify]: Simplify 0 into 0 0.995 * [backup-simplify]: Simplify 0 into 0 0.995 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.995 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.995 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.995 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 0.995 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 0.995 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.995 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.995 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.995 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 0.995 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.995 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.995 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.995 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 0.995 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.996 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.996 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.996 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 0.996 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.996 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.996 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.996 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.997 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 0.997 * [taylor]: Taking taylor expansion of 0 in a 0.997 * [backup-simplify]: Simplify 0 into 0 0.997 * [backup-simplify]: Simplify 0 into 0 0.997 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 0.997 * [backup-simplify]: Simplify 0 into 0 0.998 * [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 0.998 * [taylor]: Taking taylor expansion of 0 in a 0.998 * [backup-simplify]: Simplify 0 into 0 0.998 * [backup-simplify]: Simplify 0 into 0 0.998 * [backup-simplify]: Simplify 0 into 0 0.999 * [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 0.999 * [backup-simplify]: Simplify 0 into 0 1.001 * [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 1.001 * [taylor]: Taking taylor expansion of 0 in a 1.001 * [backup-simplify]: Simplify 0 into 0 1.001 * [backup-simplify]: Simplify 0 into 0 1.001 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.002 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.002 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 1.002 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.002 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.002 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.002 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.002 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.002 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.002 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.002 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.002 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.002 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.002 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.002 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.002 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.002 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.002 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.002 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.003 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.003 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.003 * [taylor]: Taking taylor expansion of 0 in a 1.003 * [backup-simplify]: Simplify 0 into 0 1.003 * [backup-simplify]: Simplify 0 into 0 1.004 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.004 * [backup-simplify]: Simplify 0 into 0 1.005 * [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 1.005 * [taylor]: Taking taylor expansion of 0 in a 1.005 * [backup-simplify]: Simplify 0 into 0 1.005 * [backup-simplify]: Simplify 0 into 0 1.005 * [backup-simplify]: Simplify 0 into 0 1.009 * [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 1.009 * [backup-simplify]: Simplify 0 into 0 1.011 * [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 1.011 * [taylor]: Taking taylor expansion of 0 in a 1.011 * [backup-simplify]: Simplify 0 into 0 1.011 * [backup-simplify]: Simplify 0 into 0 1.011 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 1.012 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.012 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 1.012 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.012 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.012 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.012 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.012 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.012 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.012 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.012 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.012 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.012 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.012 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.012 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.012 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.012 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.012 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.012 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.013 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.013 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.013 * [taylor]: Taking taylor expansion of 0 in a 1.013 * [backup-simplify]: Simplify 0 into 0 1.013 * [backup-simplify]: Simplify 0 into 0 1.014 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.014 * [backup-simplify]: Simplify 0 into 0 1.015 * [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 1.015 * [taylor]: Taking taylor expansion of 0 in a 1.015 * [backup-simplify]: Simplify 0 into 0 1.015 * [backup-simplify]: Simplify 0 into 0 1.015 * [backup-simplify]: Simplify 0 into 0 1.016 * [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 1.016 * [backup-simplify]: Simplify 0 into 0 1.018 * [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 1.018 * [taylor]: Taking taylor expansion of 0 in a 1.018 * [backup-simplify]: Simplify 0 into 0 1.018 * [backup-simplify]: Simplify 0 into 0 1.018 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 1.018 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.018 * [backup-simplify]: Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a)))) 1.019 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0 1.019 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a 1.019 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a 1.019 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a 1.019 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.019 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.019 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.019 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.019 * [taylor]: Taking taylor expansion of (log E) in a 1.019 * [taylor]: Taking taylor expansion of E in a 1.019 * [backup-simplify]: Simplify E into E 1.019 * [backup-simplify]: Simplify (log E) into 1 1.019 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 1.019 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.019 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 1.019 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 1.019 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 1.019 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.019 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.019 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.019 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.019 * [taylor]: Taking taylor expansion of (log E) in c 1.019 * [taylor]: Taking taylor expansion of E in c 1.019 * [backup-simplify]: Simplify E into E 1.019 * [backup-simplify]: Simplify (log E) into 1 1.019 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 1.019 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.020 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 1.020 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 1.020 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 1.020 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.020 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.020 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.020 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.020 * [taylor]: Taking taylor expansion of (log E) in c 1.020 * [taylor]: Taking taylor expansion of E in c 1.020 * [backup-simplify]: Simplify E into E 1.020 * [backup-simplify]: Simplify (log E) into 1 1.020 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 1.020 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.020 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.020 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.020 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.021 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1.022 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.022 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0 1.023 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0 1.023 * [taylor]: Taking taylor expansion of 0 in a 1.023 * [backup-simplify]: Simplify 0 into 0 1.023 * [backup-simplify]: Simplify 0 into 0 1.023 * [backup-simplify]: Simplify 0 into 0 1.024 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1.025 * [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 1.026 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0 1.026 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.027 * [taylor]: Taking taylor expansion of 0 in a 1.027 * [backup-simplify]: Simplify 0 into 0 1.027 * [backup-simplify]: Simplify 0 into 0 1.027 * [backup-simplify]: Simplify 0 into 0 1.027 * [backup-simplify]: Simplify 0 into 0 1.029 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 1.031 * [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 1.032 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.033 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.033 * [taylor]: Taking taylor expansion of 0 in a 1.033 * [backup-simplify]: Simplify 0 into 0 1.033 * [backup-simplify]: Simplify 0 into 0 1.033 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.033 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 1.033 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0 1.033 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 1.033 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a 1.033 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a 1.033 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.033 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.033 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.033 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.033 * [taylor]: Taking taylor expansion of (log E) in a 1.033 * [taylor]: Taking taylor expansion of E in a 1.033 * [backup-simplify]: Simplify E into E 1.033 * [backup-simplify]: Simplify (log E) into 1 1.034 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.034 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.034 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 1.034 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 1.034 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 1.034 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.034 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.034 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.034 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.034 * [taylor]: Taking taylor expansion of (log E) in c 1.034 * [taylor]: Taking taylor expansion of E in c 1.034 * [backup-simplify]: Simplify E into E 1.034 * [backup-simplify]: Simplify (log E) into 1 1.034 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.034 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.034 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 1.034 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 1.034 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 1.034 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.034 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.034 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.035 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.035 * [taylor]: Taking taylor expansion of (log E) in c 1.035 * [taylor]: Taking taylor expansion of E in c 1.035 * [backup-simplify]: Simplify E into E 1.035 * [backup-simplify]: Simplify (log E) into 1 1.035 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.035 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.035 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.036 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1.036 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.037 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0 1.037 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 1.037 * [taylor]: Taking taylor expansion of 0 in a 1.037 * [backup-simplify]: Simplify 0 into 0 1.037 * [backup-simplify]: Simplify 0 into 0 1.038 * [backup-simplify]: Simplify 0 into 0 1.039 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1.040 * [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 1.041 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 1.042 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.042 * [taylor]: Taking taylor expansion of 0 in a 1.042 * [backup-simplify]: Simplify 0 into 0 1.042 * [backup-simplify]: Simplify 0 into 0 1.042 * [backup-simplify]: Simplify 0 into 0 1.042 * [backup-simplify]: Simplify 0 into 0 1.045 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 1.047 * [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 1.047 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.048 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.048 * [taylor]: Taking taylor expansion of 0 in a 1.048 * [backup-simplify]: Simplify 0 into 0 1.048 * [backup-simplify]: Simplify 0 into 0 1.048 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.049 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 1.049 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0 1.049 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 1.049 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a 1.049 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a 1.049 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.049 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.049 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.049 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.049 * [taylor]: Taking taylor expansion of (log E) in a 1.049 * [taylor]: Taking taylor expansion of E in a 1.049 * [backup-simplify]: Simplify E into E 1.049 * [backup-simplify]: Simplify (log E) into 1 1.049 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.049 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.049 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 1.049 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 1.049 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 1.049 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.049 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.049 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.050 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.050 * [taylor]: Taking taylor expansion of (log E) in c 1.050 * [taylor]: Taking taylor expansion of E in c 1.050 * [backup-simplify]: Simplify E into E 1.050 * [backup-simplify]: Simplify (log E) into 1 1.050 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.050 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.050 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 1.050 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 1.050 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 1.050 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.050 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.050 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.050 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.050 * [taylor]: Taking taylor expansion of (log E) in c 1.050 * [taylor]: Taking taylor expansion of E in c 1.050 * [backup-simplify]: Simplify E into E 1.050 * [backup-simplify]: Simplify (log E) into 1 1.050 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.050 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.050 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.051 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.051 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.051 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1.052 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.052 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0 1.053 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 1.053 * [taylor]: Taking taylor expansion of 0 in a 1.053 * [backup-simplify]: Simplify 0 into 0 1.053 * [backup-simplify]: Simplify 0 into 0 1.053 * [backup-simplify]: Simplify 0 into 0 1.055 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1.056 * [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 1.056 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 1.057 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.057 * [taylor]: Taking taylor expansion of 0 in a 1.057 * [backup-simplify]: Simplify 0 into 0 1.057 * [backup-simplify]: Simplify 0 into 0 1.057 * [backup-simplify]: Simplify 0 into 0 1.057 * [backup-simplify]: Simplify 0 into 0 1.060 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 1.062 * [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 1.062 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.063 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.063 * [taylor]: Taking taylor expansion of 0 in a 1.063 * [backup-simplify]: Simplify 0 into 0 1.063 * [backup-simplify]: Simplify 0 into 0 1.064 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.064 * * * [progress]: simplifying candidates 1.064 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (log (fmod (cosh c) (log1p a)))) (log1p (log (fmod (cosh c) (log1p a)))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (expm1 (pow E (log (fmod (cosh c) (log1p a))))) (log1p (pow E (log (fmod (cosh c) (log1p a))))) (* 1 (log (fmod (cosh c) (log1p a)))) (* (log E) (log (fmod (cosh c) (log1p a)))) (* (log E) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a)))) (pow E 1) (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (pow E 1) (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a)))) (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow 1 (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a)))) (log (pow E (log (fmod (cosh c) (log1p a))))) (exp (pow E (log (fmod (cosh c) (log1p a))))) (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 1.065 * [simplify]: Sending expressions to egg_math: (expm1 (fmod (cosh h0) (log1p h1))) (log1p (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (exp (fmod (cosh h0) (log1p h1))) (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1)))) (cbrt (fmod (cosh h0) (log1p h1))) (* (* (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))) (expm1 (log (fmod (cosh h0) (log1p h1)))) (log1p (log (fmod (cosh h0) (log1p h1)))) (log (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1))))) (log (cbrt (fmod (cosh h0) (log1p h1)))) (log (sqrt (fmod (cosh h0) (log1p h1)))) (log (sqrt (fmod (cosh h0) (log1p h1)))) (log 1) (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (log (log (fmod (cosh h0) (log1p h1)))) (exp (log (fmod (cosh h0) (log1p h1)))) (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1))))) (cbrt (log (fmod (cosh h0) (log1p h1)))) (* (* (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1)))) (log (fmod (cosh h0) (log1p h1)))) (sqrt (log (fmod (cosh h0) (log1p h1)))) (sqrt (log (fmod (cosh h0) (log1p h1)))) (expm1 (pow h2 (log (fmod (cosh h0) (log1p h1))))) (log1p (pow h2 (log (fmod (cosh h0) (log1p h1))))) (* 1 (log (fmod (cosh h0) (log1p h1)))) (* (log h2) (log (fmod (cosh h0) (log1p h1)))) (* (log h2) (log (fmod (cosh h0) (log1p h1)))) (* 1 (log (fmod (cosh h0) (log1p h1)))) (pow h2 1) (pow h2 (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1)))))) (pow h2 (sqrt (log (fmod (cosh h0) (log1p h1))))) (pow h2 1) (pow h2 (log (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1)))))) (pow h2 (log (cbrt (fmod (cosh h0) (log1p h1))))) (pow h2 (log (sqrt (fmod (cosh h0) (log1p h1))))) (pow h2 (log (sqrt (fmod (cosh h0) (log1p h1))))) (pow h2 (log 1)) (pow h2 (log (fmod (cosh h0) (log1p h1)))) (pow (* (cbrt h2) (cbrt h2)) (log (fmod (cosh h0) (log1p h1)))) (pow (cbrt h2) (log (fmod (cosh h0) (log1p h1)))) (pow (sqrt h2) (log (fmod (cosh h0) (log1p h1)))) (pow (sqrt h2) (log (fmod (cosh h0) (log1p h1)))) (pow 1 (log (fmod (cosh h0) (log1p h1)))) (pow h2 (log (fmod (cosh h0) (log1p h1)))) (log (pow h2 (log (fmod (cosh h0) (log1p h1))))) (exp (pow h2 (log (fmod (cosh h0) (log1p h1))))) (* (cbrt (pow h2 (log (fmod (cosh h0) (log1p h1))))) (cbrt (pow h2 (log (fmod (cosh h0) (log1p h1)))))) (cbrt (pow h2 (log (fmod (cosh h0) (log1p h1))))) (* (* (pow h2 (log (fmod (cosh h0) (log1p h1)))) (pow h2 (log (fmod (cosh h0) (log1p h1))))) (pow h2 (log (fmod (cosh h0) (log1p h1))))) (sqrt (pow h2 (log (fmod (cosh h0) (log1p h1))))) (sqrt (pow h2 (log (fmod (cosh h0) (log1p h1))))) (pow h2 (/ (log (fmod (cosh h0) (log1p h1))) 2)) (pow h2 (/ (log (fmod (cosh h0) (log1p h1))) 2)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) 1.067 * * [simplify]: iteration 0 : 107 enodes (cost 354 ) 1.070 * * [simplify]: iteration 1 : 296 enodes (cost 327 ) 1.074 * * [simplify]: iteration 2 : 973 enodes (cost 323 ) 1.096 * * [simplify]: iteration 3 : 4649 enodes (cost 321 ) 1.249 * * [simplify]: iteration 4 : 5001 enodes (cost 321 ) 1.251 * * * [progress]: adding candidates to table 1.394 * * [progress]: iteration 4 / 4 1.394 * * * [progress]: picking best candidate 1.429 * * * * [pick]: Picked # 1.429 * * * [progress]: localizing error 1.442 * * * [progress]: generating rewritten candidates 1.442 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 1.442 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 1.444 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1.448 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.453 * * * [progress]: generating series expansions 1.454 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 1.454 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.454 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.454 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.454 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.454 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.454 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.454 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.454 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.454 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.454 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.454 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.454 * [taylor]: Taking taylor expansion of 0 in a 1.454 * [backup-simplify]: Simplify 0 into 0 1.454 * [backup-simplify]: Simplify 0 into 0 1.454 * [backup-simplify]: Simplify 0 into 0 1.454 * [taylor]: Taking taylor expansion of 0 in a 1.454 * [backup-simplify]: Simplify 0 into 0 1.454 * [backup-simplify]: Simplify 0 into 0 1.454 * [backup-simplify]: Simplify 0 into 0 1.454 * [backup-simplify]: Simplify 0 into 0 1.454 * [taylor]: Taking taylor expansion of 0 in a 1.454 * [backup-simplify]: Simplify 0 into 0 1.454 * [backup-simplify]: Simplify 0 into 0 1.454 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.454 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.455 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.455 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.455 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.455 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.455 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.455 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.455 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.455 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.455 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.455 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.455 * [taylor]: Taking taylor expansion of 0 in a 1.455 * [backup-simplify]: Simplify 0 into 0 1.455 * [backup-simplify]: Simplify 0 into 0 1.455 * [backup-simplify]: Simplify 0 into 0 1.455 * [taylor]: Taking taylor expansion of 0 in a 1.455 * [backup-simplify]: Simplify 0 into 0 1.455 * [backup-simplify]: Simplify 0 into 0 1.455 * [backup-simplify]: Simplify 0 into 0 1.455 * [backup-simplify]: Simplify 0 into 0 1.455 * [taylor]: Taking taylor expansion of 0 in a 1.455 * [backup-simplify]: Simplify 0 into 0 1.455 * [backup-simplify]: Simplify 0 into 0 1.455 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.455 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.456 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.456 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.456 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.456 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.456 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.456 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.456 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.456 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.456 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.456 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.456 * [taylor]: Taking taylor expansion of 0 in a 1.456 * [backup-simplify]: Simplify 0 into 0 1.456 * [backup-simplify]: Simplify 0 into 0 1.456 * [backup-simplify]: Simplify 0 into 0 1.456 * [taylor]: Taking taylor expansion of 0 in a 1.456 * [backup-simplify]: Simplify 0 into 0 1.456 * [backup-simplify]: Simplify 0 into 0 1.456 * [backup-simplify]: Simplify 0 into 0 1.456 * [backup-simplify]: Simplify 0 into 0 1.456 * [taylor]: Taking taylor expansion of 0 in a 1.456 * [backup-simplify]: Simplify 0 into 0 1.456 * [backup-simplify]: Simplify 0 into 0 1.456 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.456 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1) 1.457 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.457 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 1.457 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.457 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.457 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.457 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.457 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.457 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.457 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.457 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.457 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.457 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.457 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.457 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.457 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.457 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.457 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.457 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.457 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.458 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.458 * [taylor]: Taking taylor expansion of 0 in a 1.458 * [backup-simplify]: Simplify 0 into 0 1.458 * [backup-simplify]: Simplify 0 into 0 1.459 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.459 * [backup-simplify]: Simplify 0 into 0 1.460 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 1.460 * [taylor]: Taking taylor expansion of 0 in a 1.460 * [backup-simplify]: Simplify 0 into 0 1.460 * [backup-simplify]: Simplify 0 into 0 1.460 * [backup-simplify]: Simplify 0 into 0 1.461 * [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 1.461 * [backup-simplify]: Simplify 0 into 0 1.463 * [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 1.463 * [taylor]: Taking taylor expansion of 0 in a 1.463 * [backup-simplify]: Simplify 0 into 0 1.463 * [backup-simplify]: Simplify 0 into 0 1.463 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.463 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.463 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 1.463 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.463 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.463 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.463 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.463 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.463 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.463 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.463 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.463 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.463 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.464 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.464 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.464 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.464 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.464 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.464 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.464 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.465 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.465 * [taylor]: Taking taylor expansion of 0 in a 1.465 * [backup-simplify]: Simplify 0 into 0 1.465 * [backup-simplify]: Simplify 0 into 0 1.465 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.465 * [backup-simplify]: Simplify 0 into 0 1.466 * [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 1.466 * [taylor]: Taking taylor expansion of 0 in a 1.466 * [backup-simplify]: Simplify 0 into 0 1.466 * [backup-simplify]: Simplify 0 into 0 1.466 * [backup-simplify]: Simplify 0 into 0 1.468 * [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 1.468 * [backup-simplify]: Simplify 0 into 0 1.470 * [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 1.470 * [taylor]: Taking taylor expansion of 0 in a 1.470 * [backup-simplify]: Simplify 0 into 0 1.470 * [backup-simplify]: Simplify 0 into 0 1.470 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 1.470 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.470 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 1.470 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.470 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.470 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.470 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.470 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.470 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.470 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.470 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.470 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.470 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.470 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.471 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.471 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.471 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.471 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.471 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.471 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.471 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.472 * [taylor]: Taking taylor expansion of 0 in a 1.472 * [backup-simplify]: Simplify 0 into 0 1.472 * [backup-simplify]: Simplify 0 into 0 1.472 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.472 * [backup-simplify]: Simplify 0 into 0 1.473 * [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 1.473 * [taylor]: Taking taylor expansion of 0 in a 1.473 * [backup-simplify]: Simplify 0 into 0 1.473 * [backup-simplify]: Simplify 0 into 0 1.473 * [backup-simplify]: Simplify 0 into 0 1.475 * [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 1.475 * [backup-simplify]: Simplify 0 into 0 1.476 * [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 1.476 * [taylor]: Taking taylor expansion of 0 in a 1.476 * [backup-simplify]: Simplify 0 into 0 1.477 * [backup-simplify]: Simplify 0 into 0 1.477 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 1.477 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1.477 * [backup-simplify]: Simplify (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) into (pow E (log (fmod (cosh c) (log1p a)))) 1.477 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0 1.477 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a 1.477 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a 1.477 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a 1.477 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.477 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.477 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.477 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.477 * [taylor]: Taking taylor expansion of (log E) in a 1.477 * [taylor]: Taking taylor expansion of E in a 1.477 * [backup-simplify]: Simplify E into E 1.477 * [backup-simplify]: Simplify (log E) into 1 1.477 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 1.477 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.477 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 1.477 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 1.477 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 1.477 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.477 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.478 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.478 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.478 * [taylor]: Taking taylor expansion of (log E) in c 1.478 * [taylor]: Taking taylor expansion of E in c 1.478 * [backup-simplify]: Simplify E into E 1.478 * [backup-simplify]: Simplify (log E) into 1 1.478 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 1.478 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.478 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 1.478 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 1.478 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 1.478 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.478 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.478 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.478 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.478 * [taylor]: Taking taylor expansion of (log E) in c 1.478 * [taylor]: Taking taylor expansion of E in c 1.478 * [backup-simplify]: Simplify E into E 1.478 * [backup-simplify]: Simplify (log E) into 1 1.478 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 1.478 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.478 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.478 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.479 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.482 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1.483 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.483 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0 1.484 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0 1.484 * [taylor]: Taking taylor expansion of 0 in a 1.484 * [backup-simplify]: Simplify 0 into 0 1.484 * [backup-simplify]: Simplify 0 into 0 1.484 * [backup-simplify]: Simplify 0 into 0 1.486 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1.487 * [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 1.487 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0 1.488 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.488 * [taylor]: Taking taylor expansion of 0 in a 1.488 * [backup-simplify]: Simplify 0 into 0 1.488 * [backup-simplify]: Simplify 0 into 0 1.488 * [backup-simplify]: Simplify 0 into 0 1.488 * [backup-simplify]: Simplify 0 into 0 1.491 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 1.493 * [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 1.493 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.494 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.494 * [taylor]: Taking taylor expansion of 0 in a 1.494 * [backup-simplify]: Simplify 0 into 0 1.494 * [backup-simplify]: Simplify 0 into 0 1.494 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.495 * [backup-simplify]: Simplify (pow E (cbrt (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 1.495 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0 1.495 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 1.495 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a 1.495 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a 1.495 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.495 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.495 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.495 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.495 * [taylor]: Taking taylor expansion of (log E) in a 1.495 * [taylor]: Taking taylor expansion of E in a 1.495 * [backup-simplify]: Simplify E into E 1.495 * [backup-simplify]: Simplify (log E) into 1 1.495 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.495 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.495 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 1.495 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 1.495 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 1.495 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.495 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.495 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.495 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.495 * [taylor]: Taking taylor expansion of (log E) in c 1.495 * [taylor]: Taking taylor expansion of E in c 1.496 * [backup-simplify]: Simplify E into E 1.496 * [backup-simplify]: Simplify (log E) into 1 1.496 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.496 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.496 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 1.496 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 1.496 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 1.496 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.496 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.496 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.496 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.496 * [taylor]: Taking taylor expansion of (log E) in c 1.496 * [taylor]: Taking taylor expansion of E in c 1.496 * [backup-simplify]: Simplify E into E 1.496 * [backup-simplify]: Simplify (log E) into 1 1.496 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.496 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.496 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.497 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.497 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.497 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1.498 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.498 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0 1.499 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 1.499 * [taylor]: Taking taylor expansion of 0 in a 1.499 * [backup-simplify]: Simplify 0 into 0 1.499 * [backup-simplify]: Simplify 0 into 0 1.499 * [backup-simplify]: Simplify 0 into 0 1.501 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1.502 * [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 1.502 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 1.503 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.503 * [taylor]: Taking taylor expansion of 0 in a 1.503 * [backup-simplify]: Simplify 0 into 0 1.503 * [backup-simplify]: Simplify 0 into 0 1.503 * [backup-simplify]: Simplify 0 into 0 1.503 * [backup-simplify]: Simplify 0 into 0 1.506 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 1.508 * [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 1.508 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.509 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.510 * [taylor]: Taking taylor expansion of 0 in a 1.510 * [backup-simplify]: Simplify 0 into 0 1.510 * [backup-simplify]: Simplify 0 into 0 1.510 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.510 * [backup-simplify]: Simplify (pow E (cbrt (pow (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) 3))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 1.510 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0 1.510 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 1.510 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a 1.510 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a 1.510 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.510 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.510 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.510 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.510 * [taylor]: Taking taylor expansion of (log E) in a 1.510 * [taylor]: Taking taylor expansion of E in a 1.510 * [backup-simplify]: Simplify E into E 1.510 * [backup-simplify]: Simplify (log E) into 1 1.510 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.511 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.511 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 1.511 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 1.511 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 1.511 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.511 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.511 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.511 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.511 * [taylor]: Taking taylor expansion of (log E) in c 1.511 * [taylor]: Taking taylor expansion of E in c 1.511 * [backup-simplify]: Simplify E into E 1.511 * [backup-simplify]: Simplify (log E) into 1 1.511 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.511 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.511 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 1.511 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 1.511 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 1.511 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.511 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.511 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.511 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.511 * [taylor]: Taking taylor expansion of (log E) in c 1.511 * [taylor]: Taking taylor expansion of E in c 1.511 * [backup-simplify]: Simplify E into E 1.511 * [backup-simplify]: Simplify (log E) into 1 1.512 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.512 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.512 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.512 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.512 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.513 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1.513 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.514 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0 1.514 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 1.514 * [taylor]: Taking taylor expansion of 0 in a 1.514 * [backup-simplify]: Simplify 0 into 0 1.514 * [backup-simplify]: Simplify 0 into 0 1.514 * [backup-simplify]: Simplify 0 into 0 1.516 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1.517 * [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 1.518 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 1.518 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.518 * [taylor]: Taking taylor expansion of 0 in a 1.518 * [backup-simplify]: Simplify 0 into 0 1.519 * [backup-simplify]: Simplify 0 into 0 1.519 * [backup-simplify]: Simplify 0 into 0 1.519 * [backup-simplify]: Simplify 0 into 0 1.521 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 1.523 * [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 1.524 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.525 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.525 * [taylor]: Taking taylor expansion of 0 in a 1.525 * [backup-simplify]: Simplify 0 into 0 1.525 * [backup-simplify]: Simplify 0 into 0 1.525 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.525 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1.525 * [backup-simplify]: Simplify (pow (log (fmod (cosh c) (log1p a))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3) 1.525 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in (c a) around 0 1.525 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in a 1.525 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.525 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.525 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.525 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.525 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in c 1.525 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.525 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.525 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.525 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.525 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in c 1.525 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.525 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.526 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.526 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.526 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) into (pow (log (fmod (cosh c) (log1p a))) 2) 1.526 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)) into (pow (log (fmod (cosh c) (log1p a))) 3) 1.526 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in a 1.526 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.526 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.526 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.526 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.526 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) into (pow (log (fmod (cosh c) (log1p a))) 2) 1.527 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) (pow (log (fmod (cosh c) (log1p a))) 2)) into (pow (log (fmod (cosh c) (log1p a))) 3) 1.527 * [backup-simplify]: Simplify (pow (log (fmod (cosh c) (log1p a))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3) 1.527 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.528 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0 1.528 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2))) into 0 1.528 * [taylor]: Taking taylor expansion of 0 in a 1.528 * [backup-simplify]: Simplify 0 into 0 1.528 * [backup-simplify]: Simplify 0 into 0 1.528 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.529 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0 1.529 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2))) into 0 1.529 * [backup-simplify]: Simplify 0 into 0 1.530 * [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 1.530 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0 1.531 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2)))) into 0 1.531 * [taylor]: Taking taylor expansion of 0 in a 1.531 * [backup-simplify]: Simplify 0 into 0 1.531 * [backup-simplify]: Simplify 0 into 0 1.531 * [backup-simplify]: Simplify 0 into 0 1.532 * [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 1.532 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0 1.533 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2)))) into 0 1.533 * [backup-simplify]: Simplify 0 into 0 1.535 * [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 1.535 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a))))))) into 0 1.536 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2))))) into 0 1.536 * [taylor]: Taking taylor expansion of 0 in a 1.536 * [backup-simplify]: Simplify 0 into 0 1.536 * [backup-simplify]: Simplify 0 into 0 1.536 * [backup-simplify]: Simplify (pow (log (fmod (cosh c) (log1p a))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3) 1.536 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) 1.536 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in (c a) around 0 1.536 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in a 1.536 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.536 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.536 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.536 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.536 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in c 1.536 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.536 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.537 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.537 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.537 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in c 1.537 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.537 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.537 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.537 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.537 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1.537 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) 1.537 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in a 1.537 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.537 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.538 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.538 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.538 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2) 1.538 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) 1.538 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) into (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) 1.539 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.539 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1.539 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) into 0 1.539 * [taylor]: Taking taylor expansion of 0 in a 1.539 * [backup-simplify]: Simplify 0 into 0 1.539 * [backup-simplify]: Simplify 0 into 0 1.540 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.540 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1.541 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))) into 0 1.541 * [backup-simplify]: Simplify 0 into 0 1.542 * [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 1.543 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0 1.543 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) into 0 1.543 * [taylor]: Taking taylor expansion of 0 in a 1.543 * [backup-simplify]: Simplify 0 into 0 1.543 * [backup-simplify]: Simplify 0 into 0 1.544 * [backup-simplify]: Simplify 0 into 0 1.545 * [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 1.545 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))))) into 0 1.546 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2)))) into 0 1.546 * [backup-simplify]: Simplify 0 into 0 1.548 * [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 1.548 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))))) into 0 1.549 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 2))))) into 0 1.549 * [taylor]: Taking taylor expansion of 0 in a 1.549 * [backup-simplify]: Simplify 0 into 0 1.549 * [backup-simplify]: Simplify 0 into 0 1.549 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3) 1.549 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) 3) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) 1.549 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in (c a) around 0 1.549 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in a 1.549 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.549 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.550 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.550 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.550 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in c 1.550 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.550 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.550 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.550 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.550 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in c 1.550 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.550 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.550 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.550 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.550 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1.551 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) 1.551 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in a 1.551 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.551 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.551 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.551 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.551 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2) 1.551 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) 1.552 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) into (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) 1.552 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.552 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1.553 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) into 0 1.553 * [taylor]: Taking taylor expansion of 0 in a 1.553 * [backup-simplify]: Simplify 0 into 0 1.553 * [backup-simplify]: Simplify 0 into 0 1.553 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.554 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1.554 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))) into 0 1.554 * [backup-simplify]: Simplify 0 into 0 1.555 * [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 1.555 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0 1.556 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) into 0 1.556 * [taylor]: Taking taylor expansion of 0 in a 1.556 * [backup-simplify]: Simplify 0 into 0 1.556 * [backup-simplify]: Simplify 0 into 0 1.556 * [backup-simplify]: Simplify 0 into 0 1.557 * [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 1.558 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))))) into 0 1.558 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2)))) into 0 1.558 * [backup-simplify]: Simplify 0 into 0 1.560 * [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 1.561 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))))) into 0 1.561 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 2))))) into 0 1.561 * [taylor]: Taking taylor expansion of 0 in a 1.561 * [backup-simplify]: Simplify 0 into 0 1.562 * [backup-simplify]: Simplify 0 into 0 1.562 * [backup-simplify]: Simplify (pow (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3) 1.562 * * * [progress]: simplifying candidates 1.563 * [simplify]: Simplifying: (expm1 (fmod (cosh c) (log1p a))) (log1p (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (expm1 (log (fmod (cosh c) (log1p a)))) (log1p (log (fmod (cosh c) (log1p a)))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (expm1 (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (log1p (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (* 1 (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (* (log E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (* (log E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (* 1 (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (pow E (cbrt (pow 1 3))) (pow E (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))) (pow E (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3))) (pow E (cbrt (pow 1 3))) (pow E (cbrt (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))) (pow E (cbrt (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))) (pow E (cbrt (pow 1 3))) (pow E (cbrt (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3))) (pow E (cbrt (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3))) (pow E (cbrt (pow 1 3))) (pow E (cbrt (log (fmod (cosh c) (log1p a))))) (pow E (cbrt (sqrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (pow E (cbrt 1)) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) (/ 3 2)))) (pow E (* (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (cbrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))) (pow E (sqrt (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (pow E 1) (pow (* (cbrt E) (cbrt E)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (pow (cbrt E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (pow (sqrt E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (pow (sqrt E) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (pow 1 (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (log (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (exp (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (* (cbrt (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (cbrt (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))))) (cbrt (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (* (* (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (sqrt (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (sqrt (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))) (pow E (/ (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 2)) (pow E (/ (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 2)) (expm1 (pow (log (fmod (cosh c) (log1p a))) 3)) (log1p (pow (log (fmod (cosh c) (log1p a))) 3)) (* (log (log (fmod (cosh c) (log1p a)))) 3) (* (log (log (fmod (cosh c) (log1p a)))) 3) (* 1 3) (pow (log (fmod (cosh c) (log1p a))) (* (cbrt 3) (cbrt 3))) (pow (log (fmod (cosh c) (log1p a))) (sqrt 3)) (pow (log (fmod (cosh c) (log1p a))) 1) (pow 1 3) (pow (log (fmod (cosh c) (log1p a))) 3) (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3) (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3) (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3) (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3) (pow 1 3) (pow (log (fmod (cosh c) (log1p a))) 3) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (log (fmod (cosh c) (log1p a))) 3)) (exp (pow (log (fmod (cosh c) (log1p a))) 3)) (* (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) (* (* (pow (log (fmod (cosh c) (log1p a))) 3) (pow (log (fmod (cosh c) (log1p a))) 3)) (pow (log (fmod (cosh c) (log1p a))) 3)) (pow 1 3) (pow (log (fmod (cosh c) (log1p a))) 3) (pow (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) 3) (pow (cbrt (log (fmod (cosh c) (log1p a)))) 3) (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3) (pow (sqrt (log (fmod (cosh c) (log1p a)))) 3) (pow 1 3) (pow (log (fmod (cosh c) (log1p a))) 3) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (sqrt (pow (log (fmod (cosh c) (log1p a))) 3)) (sqrt (pow (log (fmod (cosh c) (log1p a))) 3)) (pow (log (fmod (cosh c) (log1p a))) (/ 3 2)) (pow (log (fmod (cosh c) (log1p a))) (/ 3 2)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (pow (log (fmod (cosh c) (log1p a))) 3) (pow (log (fmod (cosh c) (log1p a))) 3) (pow (log (fmod (cosh c) (log1p a))) 3) 1.563 * [simplify]: Sending expressions to egg_math: (expm1 (fmod (cosh h0) (log1p h1))) (log1p (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (exp (fmod (cosh h0) (log1p h1))) (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1)))) (cbrt (fmod (cosh h0) (log1p h1))) (* (* (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))) (expm1 (log (fmod (cosh h0) (log1p h1)))) (log1p (log (fmod (cosh h0) (log1p h1)))) (log (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1))))) (log (cbrt (fmod (cosh h0) (log1p h1)))) (log (sqrt (fmod (cosh h0) (log1p h1)))) (log (sqrt (fmod (cosh h0) (log1p h1)))) (log 1) (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (log (log (fmod (cosh h0) (log1p h1)))) (exp (log (fmod (cosh h0) (log1p h1)))) (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1))))) (cbrt (log (fmod (cosh h0) (log1p h1)))) (* (* (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1)))) (log (fmod (cosh h0) (log1p h1)))) (sqrt (log (fmod (cosh h0) (log1p h1)))) (sqrt (log (fmod (cosh h0) (log1p h1)))) (expm1 (pow h2 (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)))) (log1p (pow h2 (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)))) (* 1 (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))) (* (log h2) (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))) (* (log h2) (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))) (* 1 (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))) (pow h2 (cbrt (pow 1 3))) (pow h2 (cbrt (pow (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1))))) 3))) (pow h2 (cbrt (pow (sqrt (log (fmod (cosh h0) (log1p h1)))) 3))) (pow h2 (cbrt (pow 1 3))) (pow h2 (cbrt (* (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1)))))) (pow h2 (cbrt (* (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)) (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))))) (pow h2 (cbrt (pow 1 3))) (pow h2 (cbrt (pow (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1))))) 3))) (pow h2 (cbrt (pow (sqrt (log (fmod (cosh h0) (log1p h1)))) 3))) (pow h2 (cbrt (pow 1 3))) (pow h2 (cbrt (log (fmod (cosh h0) (log1p h1))))) (pow h2 (cbrt (sqrt (pow (log (fmod (cosh h0) (log1p h1))) 3)))) (pow h2 (cbrt 1)) (pow h2 (cbrt (pow (log (fmod (cosh h0) (log1p h1))) (/ 3 2)))) (pow h2 (* (cbrt (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))) (cbrt (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))))) (pow h2 (sqrt (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)))) (pow h2 1) (pow (* (cbrt h2) (cbrt h2)) (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))) (pow (cbrt h2) (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))) (pow (sqrt h2) (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))) (pow (sqrt h2) (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))) (pow 1 (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))) (pow h2 (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))) (log (pow h2 (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)))) (exp (pow h2 (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)))) (* (cbrt (pow h2 (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)))) (cbrt (pow h2 (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))))) (cbrt (pow h2 (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)))) (* (* (pow h2 (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))) (pow h2 (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)))) (pow h2 (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)))) (sqrt (pow h2 (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)))) (sqrt (pow h2 (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)))) (pow h2 (/ (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)) 2)) (pow h2 (/ (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)) 2)) (expm1 (pow (log (fmod (cosh h0) (log1p h1))) 3)) (log1p (pow (log (fmod (cosh h0) (log1p h1))) 3)) (* (log (log (fmod (cosh h0) (log1p h1)))) 3) (* (log (log (fmod (cosh h0) (log1p h1)))) 3) (* 1 3) (pow (log (fmod (cosh h0) (log1p h1))) (* (cbrt 3) (cbrt 3))) (pow (log (fmod (cosh h0) (log1p h1))) (sqrt 3)) (pow (log (fmod (cosh h0) (log1p h1))) 1) (pow 1 3) (pow (log (fmod (cosh h0) (log1p h1))) 3) (pow (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1))))) 3) (pow (cbrt (log (fmod (cosh h0) (log1p h1)))) 3) (pow (sqrt (log (fmod (cosh h0) (log1p h1)))) 3) (pow (sqrt (log (fmod (cosh h0) (log1p h1)))) 3) (pow 1 3) (pow (log (fmod (cosh h0) (log1p h1))) 3) (* (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1)))) (log (pow (log (fmod (cosh h0) (log1p h1))) 3)) (exp (pow (log (fmod (cosh h0) (log1p h1))) 3)) (* (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)) (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3))) (cbrt (pow (log (fmod (cosh h0) (log1p h1))) 3)) (* (* (pow (log (fmod (cosh h0) (log1p h1))) 3) (pow (log (fmod (cosh h0) (log1p h1))) 3)) (pow (log (fmod (cosh h0) (log1p h1))) 3)) (pow 1 3) (pow (log (fmod (cosh h0) (log1p h1))) 3) (pow (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1))))) 3) (pow (cbrt (log (fmod (cosh h0) (log1p h1)))) 3) (pow (sqrt (log (fmod (cosh h0) (log1p h1)))) 3) (pow (sqrt (log (fmod (cosh h0) (log1p h1)))) 3) (pow 1 3) (pow (log (fmod (cosh h0) (log1p h1))) 3) (* (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1)))) (sqrt (pow (log (fmod (cosh h0) (log1p h1))) 3)) (sqrt (pow (log (fmod (cosh h0) (log1p h1))) 3)) (pow (log (fmod (cosh h0) (log1p h1))) (/ 3 2)) (pow (log (fmod (cosh h0) (log1p h1))) (/ 3 2)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (pow (log (fmod (cosh h0) (log1p h1))) 3) (pow (log (fmod (cosh h0) (log1p h1))) 3) (pow (log (fmod (cosh h0) (log1p h1))) 3) 1.567 * * [simplify]: iteration 0 : 200 enodes (cost 631 ) 1.571 * * [simplify]: iteration 1 : 712 enodes (cost 578 ) 1.592 * * [simplify]: iteration 2 : 5001 enodes (cost 571 ) 1.595 * * * [progress]: adding candidates to table 1.848 * [progress]: [Phase 3 of 3] Extracting. 1.848 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # #) 1.852 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a) 1.852 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # # # # # # # # # # #) 1.934 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # # # # # # # # # # #) 2.004 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # # # # # # # # # #) 2.094 * * * * [regimes]: Trying to branch on c from (# # # # # # # # # # # # # # # # #) 2.171 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # # # # # #) 2.250 * * * [regime]: Found split indices: #