8.036 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.386 * * * [progress]: [2/2] Setting up program. 0.389 * [progress]: [Phase 2 of 3] Improving. 0.389 * [simplify]: Simplifying: (fmod (cosh c) (log1p a)) 0.389 * [simplify]: Sending expressions to egg_math: (fmod (cosh h1) (log1p h0)) 0.391 * * [simplify]: iteration 0 : 11 enodes (cost 3 ) 0.392 * * [simplify]: iteration 1 : 14 enodes (cost 3 ) 0.393 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 0.394 * * [simplify]: iteration 3 : 18 enodes (cost 3 ) 0.395 * * [simplify]: iteration 4 : 19 enodes (cost 3 ) 0.396 * * [simplify]: iteration 5 : 24 enodes (cost 3 ) 0.398 * * [simplify]: iteration 6 : 43 enodes (cost 3 ) 0.399 * * [simplify]: iteration 7 : 64 enodes (cost 3 ) 0.401 * * [simplify]: iteration 8 : 154 enodes (cost 3 ) 0.408 * * [simplify]: iteration 9 : 1044 enodes (cost 3 ) 0.606 * * [simplify]: iteration 10 : 5001 enodes (cost 3 ) 0.607 * * [progress]: iteration 1 / 4 0.608 * * * [progress]: picking best candidate 0.610 * * * * [pick]: Picked # 0.610 * * * [progress]: localizing error 0.616 * * * [progress]: generating rewritten candidates 0.616 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.617 * * * [progress]: generating series expansions 0.617 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.617 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.617 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.617 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.617 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.617 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.617 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.617 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.617 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.617 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.617 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.617 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.617 * [taylor]: Taking taylor expansion of 0 in a 0.617 * [backup-simplify]: Simplify 0 into 0 0.617 * [backup-simplify]: Simplify 0 into 0 0.617 * [backup-simplify]: Simplify 0 into 0 0.617 * [taylor]: Taking taylor expansion of 0 in a 0.617 * [backup-simplify]: Simplify 0 into 0 0.617 * [backup-simplify]: Simplify 0 into 0 0.617 * [backup-simplify]: Simplify 0 into 0 0.617 * [backup-simplify]: Simplify 0 into 0 0.617 * [taylor]: Taking taylor expansion of 0 in a 0.617 * [backup-simplify]: Simplify 0 into 0 0.617 * [backup-simplify]: Simplify 0 into 0 0.618 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.618 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.618 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.618 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.618 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.618 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.618 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.618 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.618 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.618 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.618 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.618 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.618 * [taylor]: Taking taylor expansion of 0 in a 0.618 * [backup-simplify]: Simplify 0 into 0 0.618 * [backup-simplify]: Simplify 0 into 0 0.618 * [backup-simplify]: Simplify 0 into 0 0.618 * [taylor]: Taking taylor expansion of 0 in a 0.618 * [backup-simplify]: Simplify 0 into 0 0.618 * [backup-simplify]: Simplify 0 into 0 0.618 * [backup-simplify]: Simplify 0 into 0 0.618 * [backup-simplify]: Simplify 0 into 0 0.618 * [taylor]: Taking taylor expansion of 0 in a 0.618 * [backup-simplify]: Simplify 0 into 0 0.618 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.619 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.619 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.619 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.619 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.619 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.619 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.619 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.619 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.619 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.619 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.619 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.619 * [taylor]: Taking taylor expansion of 0 in a 0.619 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify 0 into 0 0.619 * [taylor]: Taking taylor expansion of 0 in a 0.619 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify 0 into 0 0.619 * [taylor]: Taking taylor expansion of 0 in a 0.619 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify 0 into 0 0.620 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.620 * * * [progress]: simplifying candidates 0.620 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 0.620 * [simplify]: Sending expressions to egg_math: (log (fmod (cosh h1) (log1p h0))) (exp (fmod (cosh h1) (log1p h0))) (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0)))) (cbrt (fmod (cosh h1) (log1p h0))) (* (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) 0.622 * * [simplify]: iteration 0 : 19 enodes (cost 49 ) 0.623 * * [simplify]: iteration 1 : 24 enodes (cost 42 ) 0.624 * * [simplify]: iteration 2 : 29 enodes (cost 42 ) 0.625 * * [simplify]: iteration 3 : 36 enodes (cost 42 ) 0.627 * * [simplify]: iteration 4 : 56 enodes (cost 42 ) 0.628 * * [simplify]: iteration 5 : 115 enodes (cost 42 ) 0.633 * * [simplify]: iteration 6 : 564 enodes (cost 42 ) 0.648 * * [simplify]: iteration 7 : 1838 enodes (cost 42 ) 0.718 * * [simplify]: iteration 8 : 5001 enodes (cost 42 ) 0.718 * * * [progress]: adding candidates to table 0.739 * * [progress]: iteration 2 / 4 0.739 * * * [progress]: picking best candidate 0.754 * * * * [pick]: Picked # 0.754 * * * [progress]: localizing error 0.763 * * * [progress]: generating rewritten candidates 0.763 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.763 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.764 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.768 * * * [progress]: generating series expansions 0.768 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.768 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.768 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.768 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.768 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.768 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.768 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.768 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.769 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.769 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.769 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.769 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.769 * [taylor]: Taking taylor expansion of 0 in a 0.769 * [backup-simplify]: Simplify 0 into 0 0.769 * [backup-simplify]: Simplify 0 into 0 0.769 * [backup-simplify]: Simplify 0 into 0 0.769 * [taylor]: Taking taylor expansion of 0 in a 0.769 * [backup-simplify]: Simplify 0 into 0 0.769 * [backup-simplify]: Simplify 0 into 0 0.769 * [backup-simplify]: Simplify 0 into 0 0.769 * [backup-simplify]: Simplify 0 into 0 0.769 * [taylor]: Taking taylor expansion of 0 in a 0.769 * [backup-simplify]: Simplify 0 into 0 0.769 * [backup-simplify]: Simplify 0 into 0 0.769 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.769 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.769 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.769 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.769 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.769 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.769 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.769 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.769 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.769 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.770 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.770 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.770 * [taylor]: Taking taylor expansion of 0 in a 0.770 * [backup-simplify]: Simplify 0 into 0 0.770 * [backup-simplify]: Simplify 0 into 0 0.770 * [backup-simplify]: Simplify 0 into 0 0.770 * [taylor]: Taking taylor expansion of 0 in a 0.770 * [backup-simplify]: Simplify 0 into 0 0.770 * [backup-simplify]: Simplify 0 into 0 0.770 * [backup-simplify]: Simplify 0 into 0 0.770 * [backup-simplify]: Simplify 0 into 0 0.770 * [taylor]: Taking taylor expansion of 0 in a 0.770 * [backup-simplify]: Simplify 0 into 0 0.770 * [backup-simplify]: Simplify 0 into 0 0.770 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.770 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.770 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.770 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.770 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.770 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.770 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.770 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.770 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.770 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.771 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.771 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.771 * [taylor]: Taking taylor expansion of 0 in a 0.771 * [backup-simplify]: Simplify 0 into 0 0.771 * [backup-simplify]: Simplify 0 into 0 0.771 * [backup-simplify]: Simplify 0 into 0 0.771 * [taylor]: Taking taylor expansion of 0 in a 0.771 * [backup-simplify]: Simplify 0 into 0 0.771 * [backup-simplify]: Simplify 0 into 0 0.771 * [backup-simplify]: Simplify 0 into 0 0.771 * [backup-simplify]: Simplify 0 into 0 0.771 * [taylor]: Taking taylor expansion of 0 in a 0.771 * [backup-simplify]: Simplify 0 into 0 0.771 * [backup-simplify]: Simplify 0 into 0 0.771 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.771 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.771 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.771 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 0.771 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 0.771 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.771 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.771 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.771 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 0.771 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.771 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.771 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.771 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 0.771 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.771 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.772 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.772 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 0.772 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.772 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.772 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.772 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.773 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 0.773 * [taylor]: Taking taylor expansion of 0 in a 0.773 * [backup-simplify]: Simplify 0 into 0 0.773 * [backup-simplify]: Simplify 0 into 0 0.773 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 0.773 * [backup-simplify]: Simplify 0 into 0 0.774 * [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.774 * [taylor]: Taking taylor expansion of 0 in a 0.774 * [backup-simplify]: Simplify 0 into 0 0.774 * [backup-simplify]: Simplify 0 into 0 0.774 * [backup-simplify]: Simplify 0 into 0 0.775 * [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.776 * [backup-simplify]: Simplify 0 into 0 0.777 * [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.777 * [taylor]: Taking taylor expansion of 0 in a 0.777 * [backup-simplify]: Simplify 0 into 0 0.777 * [backup-simplify]: Simplify 0 into 0 0.777 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.778 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.778 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 0.778 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 0.778 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.778 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.778 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.778 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 0.778 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.778 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.778 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.778 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 0.778 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.778 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.778 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.778 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 0.778 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.778 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.778 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.779 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.779 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 0.779 * [taylor]: Taking taylor expansion of 0 in a 0.779 * [backup-simplify]: Simplify 0 into 0 0.779 * [backup-simplify]: Simplify 0 into 0 0.780 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 0.780 * [backup-simplify]: Simplify 0 into 0 0.781 * [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.781 * [taylor]: Taking taylor expansion of 0 in a 0.781 * [backup-simplify]: Simplify 0 into 0 0.781 * [backup-simplify]: Simplify 0 into 0 0.781 * [backup-simplify]: Simplify 0 into 0 0.782 * [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.782 * [backup-simplify]: Simplify 0 into 0 0.784 * [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.784 * [taylor]: Taking taylor expansion of 0 in a 0.784 * [backup-simplify]: Simplify 0 into 0 0.784 * [backup-simplify]: Simplify 0 into 0 0.784 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 0.784 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.785 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 0.785 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 0.785 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.785 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.785 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.785 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 0.785 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.785 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.785 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.785 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 0.785 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.785 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.785 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.785 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 0.785 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.785 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.785 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.786 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.786 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 0.786 * [taylor]: Taking taylor expansion of 0 in a 0.786 * [backup-simplify]: Simplify 0 into 0 0.786 * [backup-simplify]: Simplify 0 into 0 0.787 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 0.787 * [backup-simplify]: Simplify 0 into 0 0.788 * [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.788 * [taylor]: Taking taylor expansion of 0 in a 0.788 * [backup-simplify]: Simplify 0 into 0 0.788 * [backup-simplify]: Simplify 0 into 0 0.788 * [backup-simplify]: Simplify 0 into 0 0.789 * [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.789 * [backup-simplify]: Simplify 0 into 0 0.791 * [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.791 * [taylor]: Taking taylor expansion of 0 in a 0.791 * [backup-simplify]: Simplify 0 into 0 0.791 * [backup-simplify]: Simplify 0 into 0 0.792 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 0.792 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.792 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 0.792 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.792 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.792 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.792 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.792 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.792 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.792 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.792 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.792 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.792 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.792 * [taylor]: Taking taylor expansion of 0 in a 0.792 * [backup-simplify]: Simplify 0 into 0 0.792 * [backup-simplify]: Simplify 0 into 0 0.792 * [backup-simplify]: Simplify 0 into 0 0.792 * [taylor]: Taking taylor expansion of 0 in a 0.792 * [backup-simplify]: Simplify 0 into 0 0.792 * [backup-simplify]: Simplify 0 into 0 0.792 * [backup-simplify]: Simplify 0 into 0 0.792 * [backup-simplify]: Simplify 0 into 0 0.792 * [taylor]: Taking taylor expansion of 0 in a 0.792 * [backup-simplify]: Simplify 0 into 0 0.792 * [backup-simplify]: Simplify 0 into 0 0.792 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.793 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.793 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.793 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.793 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.793 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.793 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.793 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.793 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.793 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.793 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.793 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.793 * [taylor]: Taking taylor expansion of 0 in a 0.793 * [backup-simplify]: Simplify 0 into 0 0.793 * [backup-simplify]: Simplify 0 into 0 0.793 * [backup-simplify]: Simplify 0 into 0 0.793 * [taylor]: Taking taylor expansion of 0 in a 0.793 * [backup-simplify]: Simplify 0 into 0 0.793 * [backup-simplify]: Simplify 0 into 0 0.793 * [backup-simplify]: Simplify 0 into 0 0.793 * [backup-simplify]: Simplify 0 into 0 0.793 * [taylor]: Taking taylor expansion of 0 in a 0.793 * [backup-simplify]: Simplify 0 into 0 0.793 * [backup-simplify]: Simplify 0 into 0 0.793 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.794 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.794 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.794 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.794 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.794 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.794 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.794 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.794 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.794 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.794 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.794 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.794 * [taylor]: Taking taylor expansion of 0 in a 0.794 * [backup-simplify]: Simplify 0 into 0 0.794 * [backup-simplify]: Simplify 0 into 0 0.794 * [backup-simplify]: Simplify 0 into 0 0.794 * [taylor]: Taking taylor expansion of 0 in a 0.794 * [backup-simplify]: Simplify 0 into 0 0.794 * [backup-simplify]: Simplify 0 into 0 0.794 * [backup-simplify]: Simplify 0 into 0 0.794 * [backup-simplify]: Simplify 0 into 0 0.794 * [taylor]: Taking taylor expansion of 0 in a 0.794 * [backup-simplify]: Simplify 0 into 0 0.794 * [backup-simplify]: Simplify 0 into 0 0.795 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.795 * * * [progress]: simplifying candidates 0.795 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (exp 1) (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (exp (sqrt (log (fmod (cosh c) (log1p a))))) (exp 1) (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log 1)) (exp (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a))))) (exp (exp (log (fmod (cosh c) (log1p a))))) (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a))))) (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a))))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 0.795 * [simplify]: Sending expressions to egg_math: (log (fmod (cosh h1) (log1p h0))) (exp (fmod (cosh h1) (log1p h0))) (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0)))) (cbrt (fmod (cosh h1) (log1p h0))) (* (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0))) (log (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))) (log (cbrt (fmod (cosh h1) (log1p h0)))) (log (sqrt (fmod (cosh h1) (log1p h0)))) (log (sqrt (fmod (cosh h1) (log1p h0)))) (log 1) (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0))) (log (log (fmod (cosh h1) (log1p h0)))) (exp (log (fmod (cosh h1) (log1p h0)))) (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0))))) (cbrt (log (fmod (cosh h1) (log1p h0)))) (* (* (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0)))) (log (fmod (cosh h1) (log1p h0)))) (sqrt (log (fmod (cosh h1) (log1p h0)))) (sqrt (log (fmod (cosh h1) (log1p h0)))) (exp 1) (exp (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0)))))) (exp (sqrt (log (fmod (cosh h1) (log1p h0))))) (exp 1) (exp (log (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0)))))) (exp (log (cbrt (fmod (cosh h1) (log1p h0))))) (exp (log (sqrt (fmod (cosh h1) (log1p h0))))) (exp (log (sqrt (fmod (cosh h1) (log1p h0))))) (exp (log 1)) (exp (log (fmod (cosh h1) (log1p h0)))) (log (exp (log (fmod (cosh h1) (log1p h0))))) (exp (exp (log (fmod (cosh h1) (log1p h0))))) (* (cbrt (exp (log (fmod (cosh h1) (log1p h0))))) (cbrt (exp (log (fmod (cosh h1) (log1p h0)))))) (cbrt (exp (log (fmod (cosh h1) (log1p h0))))) (* (* (exp (log (fmod (cosh h1) (log1p h0)))) (exp (log (fmod (cosh h1) (log1p h0))))) (exp (log (fmod (cosh h1) (log1p h0))))) (sqrt (exp (log (fmod (cosh h1) (log1p h0))))) (sqrt (exp (log (fmod (cosh h1) (log1p h0))))) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) 0.798 * * [simplify]: iteration 0 : 55 enodes (cost 234 ) 0.799 * * [simplify]: iteration 1 : 81 enodes (cost 206 ) 0.800 * * [simplify]: iteration 2 : 103 enodes (cost 200 ) 0.802 * * [simplify]: iteration 3 : 150 enodes (cost 194 ) 0.804 * * [simplify]: iteration 4 : 295 enodes (cost 194 ) 0.809 * * [simplify]: iteration 5 : 724 enodes (cost 194 ) 0.822 * * [simplify]: iteration 6 : 2472 enodes (cost 194 ) 0.875 * * [simplify]: iteration 7 : 5001 enodes (cost 194 ) 0.877 * * * [progress]: adding candidates to table 0.961 * * [progress]: iteration 3 / 4 0.961 * * * [progress]: picking best candidate 0.987 * * * * [pick]: Picked # 0.987 * * * [progress]: localizing error 0.997 * * * [progress]: generating rewritten candidates 0.997 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 0.997 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.999 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.002 * * * [progress]: generating series expansions 1.003 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 1.003 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.003 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.003 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.003 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.003 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.003 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.003 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.003 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.003 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.003 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.003 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 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.003 * [backup-simplify]: Simplify 0 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.003 * [backup-simplify]: Simplify 0 into 0 1.003 * [backup-simplify]: Simplify 0 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.003 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.003 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.003 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.004 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.004 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.004 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.004 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.004 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.004 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.004 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.004 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.004 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.004 * [taylor]: Taking taylor expansion of 0 in a 1.004 * [backup-simplify]: Simplify 0 into 0 1.004 * [backup-simplify]: Simplify 0 into 0 1.004 * [backup-simplify]: Simplify 0 into 0 1.004 * [taylor]: Taking taylor expansion of 0 in a 1.004 * [backup-simplify]: Simplify 0 into 0 1.004 * [backup-simplify]: Simplify 0 into 0 1.004 * [backup-simplify]: Simplify 0 into 0 1.004 * [backup-simplify]: Simplify 0 into 0 1.004 * [taylor]: Taking taylor expansion of 0 in a 1.004 * [backup-simplify]: Simplify 0 into 0 1.004 * [backup-simplify]: Simplify 0 into 0 1.004 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.004 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.004 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.004 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.005 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.005 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.005 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.005 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.005 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.005 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.005 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.005 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 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.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.005 * [backup-simplify]: Simplify 0 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 (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.005 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 1.005 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.005 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 1.006 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.006 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.006 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.006 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.006 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.006 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.006 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.006 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.006 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.006 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.006 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.006 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.006 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.006 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.006 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.006 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.006 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.007 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.007 * [taylor]: Taking taylor expansion of 0 in a 1.007 * [backup-simplify]: Simplify 0 into 0 1.007 * [backup-simplify]: Simplify 0 into 0 1.008 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.008 * [backup-simplify]: Simplify 0 into 0 1.009 * [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.009 * [taylor]: Taking taylor expansion of 0 in a 1.009 * [backup-simplify]: Simplify 0 into 0 1.009 * [backup-simplify]: Simplify 0 into 0 1.009 * [backup-simplify]: Simplify 0 into 0 1.010 * [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.010 * [backup-simplify]: Simplify 0 into 0 1.012 * [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.012 * [taylor]: Taking taylor expansion of 0 in a 1.012 * [backup-simplify]: Simplify 0 into 0 1.012 * [backup-simplify]: Simplify 0 into 0 1.012 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p 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.013 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.013 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.013 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.013 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (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 (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.014 * [backup-simplify]: Simplify 0 into 0 1.014 * [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.017 * [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.019 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 1.019 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.019 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 1.019 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.019 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.019 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.019 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.019 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.019 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.019 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.019 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.019 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.019 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.019 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.019 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.019 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.019 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.020 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.020 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.020 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.020 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.020 * [taylor]: Taking taylor expansion of 0 in a 1.020 * [backup-simplify]: Simplify 0 into 0 1.020 * [backup-simplify]: Simplify 0 into 0 1.021 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.021 * [backup-simplify]: Simplify 0 into 0 1.022 * [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.022 * [taylor]: Taking taylor expansion of 0 in a 1.022 * [backup-simplify]: Simplify 0 into 0 1.022 * [backup-simplify]: Simplify 0 into 0 1.022 * [backup-simplify]: Simplify 0 into 0 1.023 * [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.023 * [backup-simplify]: Simplify 0 into 0 1.025 * [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.025 * [taylor]: Taking taylor expansion of 0 in a 1.025 * [backup-simplify]: Simplify 0 into 0 1.025 * [backup-simplify]: Simplify 0 into 0 1.025 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 1.025 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.026 * [backup-simplify]: Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a)))) 1.026 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0 1.026 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a 1.026 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a 1.026 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a 1.026 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.026 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.026 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.026 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.026 * [taylor]: Taking taylor expansion of (log E) in a 1.026 * [taylor]: Taking taylor expansion of E in a 1.026 * [backup-simplify]: Simplify E into E 1.026 * [backup-simplify]: Simplify (log E) into 1 1.026 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 1.026 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.026 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 1.026 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 1.026 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 1.026 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.026 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.026 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.027 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.027 * [taylor]: Taking taylor expansion of (log E) in c 1.027 * [taylor]: Taking taylor expansion of E in c 1.027 * [backup-simplify]: Simplify E into E 1.027 * [backup-simplify]: Simplify (log E) into 1 1.027 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 1.027 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.027 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 1.027 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 1.027 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 1.027 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.027 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.027 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.027 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.027 * [taylor]: Taking taylor expansion of (log E) in c 1.027 * [taylor]: Taking taylor expansion of E in c 1.027 * [backup-simplify]: Simplify E into E 1.027 * [backup-simplify]: Simplify (log E) into 1 1.027 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 1.027 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.027 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.027 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.027 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.028 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1.029 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.029 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0 1.030 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0 1.030 * [taylor]: Taking taylor expansion of 0 in a 1.030 * [backup-simplify]: Simplify 0 into 0 1.030 * [backup-simplify]: Simplify 0 into 0 1.030 * [backup-simplify]: Simplify 0 into 0 1.032 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1.033 * [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.033 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0 1.034 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.034 * [taylor]: Taking taylor expansion of 0 in a 1.034 * [backup-simplify]: Simplify 0 into 0 1.034 * [backup-simplify]: Simplify 0 into 0 1.034 * [backup-simplify]: Simplify 0 into 0 1.034 * [backup-simplify]: Simplify 0 into 0 1.037 * [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.039 * [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.039 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.040 * [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.040 * [taylor]: Taking taylor expansion of 0 in a 1.040 * [backup-simplify]: Simplify 0 into 0 1.040 * [backup-simplify]: Simplify 0 into 0 1.040 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.040 * [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.040 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0 1.040 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 1.040 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a 1.040 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a 1.041 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.041 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.041 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.041 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.041 * [taylor]: Taking taylor expansion of (log E) in a 1.041 * [taylor]: Taking taylor expansion of E in a 1.041 * [backup-simplify]: Simplify E into E 1.041 * [backup-simplify]: Simplify (log E) into 1 1.041 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.041 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.041 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 1.041 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 1.041 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 1.041 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.041 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.041 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.041 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.041 * [taylor]: Taking taylor expansion of (log E) in c 1.041 * [taylor]: Taking taylor expansion of E in c 1.041 * [backup-simplify]: Simplify E into E 1.041 * [backup-simplify]: Simplify (log E) into 1 1.041 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.042 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.042 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 1.042 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 1.042 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 1.042 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.042 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.042 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.042 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.042 * [taylor]: Taking taylor expansion of (log E) in c 1.042 * [taylor]: Taking taylor expansion of E in c 1.042 * [backup-simplify]: Simplify E into E 1.042 * [backup-simplify]: Simplify (log E) into 1 1.042 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.042 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.042 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.042 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.042 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.043 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1.044 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.044 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0 1.045 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 1.045 * [taylor]: Taking taylor expansion of 0 in a 1.045 * [backup-simplify]: Simplify 0 into 0 1.045 * [backup-simplify]: Simplify 0 into 0 1.045 * [backup-simplify]: Simplify 0 into 0 1.046 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1.048 * [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.048 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 1.049 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.049 * [taylor]: Taking taylor expansion of 0 in a 1.049 * [backup-simplify]: Simplify 0 into 0 1.049 * [backup-simplify]: Simplify 0 into 0 1.049 * [backup-simplify]: Simplify 0 into 0 1.049 * [backup-simplify]: Simplify 0 into 0 1.052 * [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.054 * [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.054 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.055 * [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.055 * [taylor]: Taking taylor expansion of 0 in a 1.055 * [backup-simplify]: Simplify 0 into 0 1.055 * [backup-simplify]: Simplify 0 into 0 1.055 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.055 * [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.056 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0 1.056 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 1.056 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a 1.056 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a 1.056 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.056 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.056 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.056 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.056 * [taylor]: Taking taylor expansion of (log E) in a 1.056 * [taylor]: Taking taylor expansion of E in a 1.056 * [backup-simplify]: Simplify E into E 1.056 * [backup-simplify]: Simplify (log E) into 1 1.056 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.056 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.056 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 1.056 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 1.056 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 1.056 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.056 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.056 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.056 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.056 * [taylor]: Taking taylor expansion of (log E) in c 1.056 * [taylor]: Taking taylor expansion of E in c 1.056 * [backup-simplify]: Simplify E into E 1.056 * [backup-simplify]: Simplify (log E) into 1 1.057 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.057 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.057 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 1.057 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 1.057 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 1.057 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.057 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.057 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.057 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.057 * [taylor]: Taking taylor expansion of (log E) in c 1.057 * [taylor]: Taking taylor expansion of E in c 1.057 * [backup-simplify]: Simplify E into E 1.057 * [backup-simplify]: Simplify (log E) into 1 1.057 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.057 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.057 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.057 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.058 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.058 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1.059 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.059 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0 1.063 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (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.063 * [backup-simplify]: Simplify 0 into 0 1.064 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1.066 * [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.066 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 1.067 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.067 * [taylor]: Taking taylor expansion of 0 in a 1.067 * [backup-simplify]: Simplify 0 into 0 1.067 * [backup-simplify]: Simplify 0 into 0 1.067 * [backup-simplify]: Simplify 0 into 0 1.067 * [backup-simplify]: Simplify 0 into 0 1.070 * [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.072 * [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.072 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.073 * [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.073 * [taylor]: Taking taylor expansion of 0 in a 1.073 * [backup-simplify]: Simplify 0 into 0 1.073 * [backup-simplify]: Simplify 0 into 0 1.073 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.073 * * * [progress]: simplifying candidates 1.074 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a)))) (* (log E) (log (fmod (cosh c) (log1p a)))) (* (log E) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a)))) (pow E 1) (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (pow E 1) (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a)))) (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow 1 (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a)))) (log (pow E (log (fmod (cosh c) (log1p a))))) (exp (pow E (log (fmod (cosh c) (log1p a))))) (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 1.074 * [simplify]: Sending expressions to egg_math: (log (fmod (cosh h1) (log1p h0))) (exp (fmod (cosh h1) (log1p h0))) (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0)))) (cbrt (fmod (cosh h1) (log1p h0))) (* (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0))) (log (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))) (log (cbrt (fmod (cosh h1) (log1p h0)))) (log (sqrt (fmod (cosh h1) (log1p h0)))) (log (sqrt (fmod (cosh h1) (log1p h0)))) (log 1) (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0))) (log (log (fmod (cosh h1) (log1p h0)))) (exp (log (fmod (cosh h1) (log1p h0)))) (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0))))) (cbrt (log (fmod (cosh h1) (log1p h0)))) (* (* (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0)))) (log (fmod (cosh h1) (log1p h0)))) (sqrt (log (fmod (cosh h1) (log1p h0)))) (sqrt (log (fmod (cosh h1) (log1p h0)))) (* 1 (log (fmod (cosh h1) (log1p h0)))) (* (log h2) (log (fmod (cosh h1) (log1p h0)))) (* (log h2) (log (fmod (cosh h1) (log1p h0)))) (* 1 (log (fmod (cosh h1) (log1p h0)))) (pow h2 1) (pow h2 (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0)))))) (pow h2 (sqrt (log (fmod (cosh h1) (log1p h0))))) (pow h2 1) (pow h2 (log (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0)))))) (pow h2 (log (cbrt (fmod (cosh h1) (log1p h0))))) (pow h2 (log (sqrt (fmod (cosh h1) (log1p h0))))) (pow h2 (log (sqrt (fmod (cosh h1) (log1p h0))))) (pow h2 (log 1)) (pow h2 (log (fmod (cosh h1) (log1p h0)))) (pow (* (cbrt h2) (cbrt h2)) (log (fmod (cosh h1) (log1p h0)))) (pow (cbrt h2) (log (fmod (cosh h1) (log1p h0)))) (pow (sqrt h2) (log (fmod (cosh h1) (log1p h0)))) (pow (sqrt h2) (log (fmod (cosh h1) (log1p h0)))) (pow 1 (log (fmod (cosh h1) (log1p h0)))) (pow h2 (log (fmod (cosh h1) (log1p h0)))) (log (pow h2 (log (fmod (cosh h1) (log1p h0))))) (exp (pow h2 (log (fmod (cosh h1) (log1p h0))))) (* (cbrt (pow h2 (log (fmod (cosh h1) (log1p h0))))) (cbrt (pow h2 (log (fmod (cosh h1) (log1p h0)))))) (cbrt (pow h2 (log (fmod (cosh h1) (log1p h0))))) (* (* (pow h2 (log (fmod (cosh h1) (log1p h0)))) (pow h2 (log (fmod (cosh h1) (log1p h0))))) (pow h2 (log (fmod (cosh h1) (log1p h0))))) (sqrt (pow h2 (log (fmod (cosh h1) (log1p h0))))) (sqrt (pow h2 (log (fmod (cosh h1) (log1p h0))))) (pow h2 (/ (log (fmod (cosh h1) (log1p h0))) 2)) (pow h2 (/ (log (fmod (cosh h1) (log1p h0))) 2)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) 1.077 * * [simplify]: iteration 0 : 101 enodes (cost 324 ) 1.079 * * [simplify]: iteration 1 : 290 enodes (cost 297 ) 1.084 * * [simplify]: iteration 2 : 960 enodes (cost 293 ) 1.108 * * [simplify]: iteration 3 : 4564 enodes (cost 291 ) 1.268 * * [simplify]: iteration 4 : 5001 enodes (cost 291 ) 1.270 * * * [progress]: adding candidates to table 1.385 * * [progress]: iteration 4 / 4 1.385 * * * [progress]: picking best candidate 1.415 * * * * [pick]: Picked # 1.415 * * * [progress]: localizing error 1.427 * * * [progress]: generating rewritten candidates 1.427 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 1.428 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 1.429 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1.434 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.438 * * * [progress]: generating series expansions 1.438 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 1.439 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.439 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.439 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.439 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.439 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.439 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.439 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.439 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.439 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.439 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.439 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.439 * [taylor]: Taking taylor expansion of 0 in a 1.439 * [backup-simplify]: Simplify 0 into 0 1.439 * [backup-simplify]: Simplify 0 into 0 1.439 * [backup-simplify]: Simplify 0 into 0 1.439 * [taylor]: Taking taylor expansion of 0 in a 1.439 * [backup-simplify]: Simplify 0 into 0 1.439 * [backup-simplify]: Simplify 0 into 0 1.439 * [backup-simplify]: Simplify 0 into 0 1.439 * [backup-simplify]: Simplify 0 into 0 1.439 * [taylor]: Taking taylor expansion of 0 in a 1.439 * [backup-simplify]: Simplify 0 into 0 1.439 * [backup-simplify]: Simplify 0 into 0 1.439 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.439 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.439 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.439 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.439 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.439 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.440 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.440 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.440 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.440 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.440 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.440 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.440 * [taylor]: Taking taylor expansion of 0 in a 1.440 * [backup-simplify]: Simplify 0 into 0 1.440 * [backup-simplify]: Simplify 0 into 0 1.440 * [backup-simplify]: Simplify 0 into 0 1.440 * [taylor]: Taking taylor expansion of 0 in a 1.440 * [backup-simplify]: Simplify 0 into 0 1.440 * [backup-simplify]: Simplify 0 into 0 1.440 * [backup-simplify]: Simplify 0 into 0 1.440 * [backup-simplify]: Simplify 0 into 0 1.440 * [taylor]: Taking taylor expansion of 0 in a 1.440 * [backup-simplify]: Simplify 0 into 0 1.440 * [backup-simplify]: Simplify 0 into 0 1.440 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.440 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.440 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.440 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.440 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.441 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.441 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.441 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.441 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.441 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.441 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.441 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.441 * [taylor]: Taking taylor expansion of 0 in a 1.441 * [backup-simplify]: Simplify 0 into 0 1.441 * [backup-simplify]: Simplify 0 into 0 1.441 * [backup-simplify]: Simplify 0 into 0 1.441 * [taylor]: Taking taylor expansion of 0 in a 1.441 * [backup-simplify]: Simplify 0 into 0 1.441 * [backup-simplify]: Simplify 0 into 0 1.441 * [backup-simplify]: Simplify 0 into 0 1.441 * [backup-simplify]: Simplify 0 into 0 1.441 * [taylor]: Taking taylor expansion of 0 in a 1.441 * [backup-simplify]: Simplify 0 into 0 1.441 * [backup-simplify]: Simplify 0 into 0 1.441 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.441 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1) 1.441 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.441 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 1.441 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.441 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.441 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.442 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.442 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.442 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.442 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.442 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.442 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.442 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.442 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.442 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.442 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.442 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.442 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.442 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.442 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.443 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.443 * [taylor]: Taking taylor expansion of 0 in a 1.443 * [backup-simplify]: Simplify 0 into 0 1.443 * [backup-simplify]: Simplify 0 into 0 1.443 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.443 * [backup-simplify]: Simplify 0 into 0 1.445 * [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.445 * [taylor]: Taking taylor expansion of 0 in a 1.445 * [backup-simplify]: Simplify 0 into 0 1.445 * [backup-simplify]: Simplify 0 into 0 1.445 * [backup-simplify]: Simplify 0 into 0 1.446 * [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.446 * [backup-simplify]: Simplify 0 into 0 1.448 * [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.448 * [taylor]: Taking taylor expansion of 0 in a 1.448 * [backup-simplify]: Simplify 0 into 0 1.448 * [backup-simplify]: Simplify 0 into 0 1.448 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.448 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.448 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 1.448 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.448 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.448 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.448 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.448 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.448 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.448 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.448 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.448 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.449 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.449 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.449 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.449 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.449 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.449 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.449 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.450 * [taylor]: Taking taylor expansion of 0 in a 1.450 * [backup-simplify]: Simplify 0 into 0 1.450 * [backup-simplify]: Simplify 0 into 0 1.450 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.450 * [backup-simplify]: Simplify 0 into 0 1.451 * [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.451 * [taylor]: Taking taylor expansion of 0 in a 1.451 * [backup-simplify]: Simplify 0 into 0 1.451 * [backup-simplify]: Simplify 0 into 0 1.451 * [backup-simplify]: Simplify 0 into 0 1.453 * [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.453 * [backup-simplify]: Simplify 0 into 0 1.454 * [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.454 * [taylor]: Taking taylor expansion of 0 in a 1.454 * [backup-simplify]: Simplify 0 into 0 1.455 * [backup-simplify]: Simplify 0 into 0 1.455 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 1.455 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.455 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 1.455 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in 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 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.455 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 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 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.455 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 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 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.455 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in 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 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.456 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.456 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) 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.457 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.457 * [backup-simplify]: Simplify 0 into 0 1.458 * [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.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.458 * [backup-simplify]: Simplify 0 into 0 1.459 * [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.459 * [backup-simplify]: Simplify 0 into 0 1.461 * [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.461 * [taylor]: Taking taylor expansion of 0 in a 1.461 * [backup-simplify]: Simplify 0 into 0 1.461 * [backup-simplify]: Simplify 0 into 0 1.461 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 1.462 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1.462 * [backup-simplify]: Simplify (pow E (cbrt (pow (log (fmod (cosh c) (log1p a))) 3))) into (pow E (log (fmod (cosh c) (log1p a)))) 1.462 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0 1.462 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a 1.462 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a 1.462 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a 1.462 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.462 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.462 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.462 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.462 * [taylor]: Taking taylor expansion of (log E) in a 1.462 * [taylor]: Taking taylor expansion of E in a 1.462 * [backup-simplify]: Simplify E into E 1.462 * [backup-simplify]: Simplify (log E) into 1 1.462 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 1.462 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.462 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 1.462 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 1.462 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 1.462 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.462 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.462 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.462 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.462 * [taylor]: Taking taylor expansion of (log E) in c 1.462 * [taylor]: Taking taylor expansion of E in c 1.462 * [backup-simplify]: Simplify E into E 1.462 * [backup-simplify]: Simplify (log E) into 1 1.463 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 1.463 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.463 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 1.463 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 1.463 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 1.463 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.463 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.463 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.463 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.463 * [taylor]: Taking taylor expansion of (log E) in c 1.463 * [taylor]: Taking taylor expansion of E in c 1.463 * [backup-simplify]: Simplify E into E 1.463 * [backup-simplify]: Simplify (log E) into 1 1.463 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 1.463 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.463 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.463 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.463 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.464 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1.465 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.465 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0 1.468 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0 1.468 * [taylor]: Taking taylor expansion of 0 in a 1.468 * [backup-simplify]: Simplify 0 into 0 1.468 * [backup-simplify]: Simplify 0 into 0 1.468 * [backup-simplify]: Simplify 0 into 0 1.470 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1.471 * [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.472 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0 1.472 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) 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.473 * [backup-simplify]: Simplify 0 into 0 1.475 * [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.477 * [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.477 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.478 * [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.478 * [taylor]: Taking taylor expansion of 0 in a 1.479 * [backup-simplify]: Simplify 0 into 0 1.479 * [backup-simplify]: Simplify 0 into 0 1.479 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.479 * [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.479 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0 1.479 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 1.479 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a 1.479 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a 1.479 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.479 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.479 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.479 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.479 * [taylor]: Taking taylor expansion of (log E) in a 1.479 * [taylor]: Taking taylor expansion of E in a 1.479 * [backup-simplify]: Simplify E into E 1.479 * [backup-simplify]: Simplify (log E) into 1 1.479 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.479 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.480 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 1.480 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 1.480 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 1.480 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.480 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.480 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.480 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.480 * [taylor]: Taking taylor expansion of (log E) in c 1.480 * [taylor]: Taking taylor expansion of E in c 1.480 * [backup-simplify]: Simplify E into E 1.480 * [backup-simplify]: Simplify (log E) into 1 1.480 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.480 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.480 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 1.480 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 1.480 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 1.480 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.480 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.480 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.480 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.480 * [taylor]: Taking taylor expansion of (log E) in c 1.480 * [taylor]: Taking taylor expansion of E in c 1.480 * [backup-simplify]: Simplify E into E 1.480 * [backup-simplify]: Simplify (log E) into 1 1.481 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.481 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.481 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.481 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.481 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.482 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1.482 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.483 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0 1.483 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 1.483 * [taylor]: Taking taylor expansion of 0 in a 1.483 * [backup-simplify]: Simplify 0 into 0 1.483 * [backup-simplify]: Simplify 0 into 0 1.483 * [backup-simplify]: Simplify 0 into 0 1.485 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1.486 * [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.487 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 1.487 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.487 * [taylor]: Taking taylor expansion of 0 in a 1.487 * [backup-simplify]: Simplify 0 into 0 1.487 * [backup-simplify]: Simplify 0 into 0 1.487 * [backup-simplify]: Simplify 0 into 0 1.488 * [backup-simplify]: Simplify 0 into 0 1.490 * [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.492 * [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.493 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.494 * [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.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 (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.494 * [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.494 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0 1.494 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 1.494 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a 1.494 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a 1.494 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.494 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.494 * [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.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.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.496 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.496 * [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.500 * [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.509 * [taylor]: Taking taylor expansion of 0 in a 1.509 * [backup-simplify]: Simplify 0 into 0 1.509 * [backup-simplify]: Simplify 0 into 0 1.509 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.509 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1.510 * [backup-simplify]: Simplify (pow (log (fmod (cosh c) (log1p a))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3) 1.510 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in (c a) around 0 1.510 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in a 1.510 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.510 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.510 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.510 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.510 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in c 1.510 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.510 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.510 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.510 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.510 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in c 1.510 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.510 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.510 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.510 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.511 * [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.511 * [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.511 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh c) (log1p a))) 3) in a 1.511 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.511 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.511 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.511 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.511 * [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.511 * [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.511 * [backup-simplify]: Simplify (pow (log (fmod (cosh c) (log1p a))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3) 1.512 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.512 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0 1.512 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2))) into 0 1.512 * [taylor]: Taking taylor expansion of 0 in a 1.512 * [backup-simplify]: Simplify 0 into 0 1.512 * [backup-simplify]: Simplify 0 into 0 1.513 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.513 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (log (fmod (cosh c) (log1p a))))) into 0 1.513 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2))) into 0 1.513 * [backup-simplify]: Simplify 0 into 0 1.514 * [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.515 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0 1.515 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2)))) into 0 1.515 * [taylor]: Taking taylor expansion of 0 in a 1.515 * [backup-simplify]: Simplify 0 into 0 1.515 * [backup-simplify]: Simplify 0 into 0 1.515 * [backup-simplify]: Simplify 0 into 0 1.516 * [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.517 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a)))))) into 0 1.517 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 (pow (log (fmod (cosh c) (log1p a))) 2)))) into 0 1.517 * [backup-simplify]: Simplify 0 into 0 1.519 * [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.520 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh c) (log1p a))))))) into 0 1.521 * [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.521 * [taylor]: Taking taylor expansion of 0 in a 1.521 * [backup-simplify]: Simplify 0 into 0 1.521 * [backup-simplify]: Simplify 0 into 0 1.521 * [backup-simplify]: Simplify (pow (log (fmod (cosh c) (log1p a))) 3) into (pow (log (fmod (cosh c) (log1p a))) 3) 1.521 * [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.521 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in (c a) around 0 1.521 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in a 1.521 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.521 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.521 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.521 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.521 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in c 1.521 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.521 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.521 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.521 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.521 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in c 1.521 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.521 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.522 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.522 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.522 * [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.522 * [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.522 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 3) in a 1.522 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.522 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.522 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.522 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.523 * [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.523 * [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.523 * [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.523 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.524 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1.524 * [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.524 * [taylor]: Taking taylor expansion of 0 in a 1.524 * [backup-simplify]: Simplify 0 into 0 1.524 * [backup-simplify]: Simplify 0 into 0 1.525 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.525 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))) into 0 1.525 * [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.525 * [backup-simplify]: Simplify 0 into 0 1.526 * [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.527 * [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.527 * [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.527 * [taylor]: Taking taylor expansion of 0 in a 1.527 * [backup-simplify]: Simplify 0 into 0 1.527 * [backup-simplify]: Simplify 0 into 0 1.527 * [backup-simplify]: Simplify 0 into 0 1.528 * [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.529 * [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.529 * [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.529 * [backup-simplify]: Simplify 0 into 0 1.531 * [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.532 * [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.533 * [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.533 * [taylor]: Taking taylor expansion of 0 in a 1.533 * [backup-simplify]: Simplify 0 into 0 1.533 * [backup-simplify]: Simplify 0 into 0 1.533 * [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.533 * [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.533 * [approximate]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in (c a) around 0 1.533 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in a 1.533 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.533 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.533 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.533 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.533 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in c 1.533 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.533 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.533 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.533 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.534 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in c 1.534 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.534 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.534 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.534 * [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.534 * [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.534 * [taylor]: Taking taylor expansion of (pow (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 3) in a 1.534 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.534 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.534 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.534 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.535 * [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.535 * [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.535 * [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 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.536 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1.536 * [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.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.537 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.537 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))) into 0 1.537 * [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.537 * [backup-simplify]: Simplify 0 into 0 1.538 * [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.539 * [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.539 * [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.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.539 * [backup-simplify]: Simplify 0 into 0 1.541 * [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.541 * [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.541 * [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.541 * [backup-simplify]: Simplify 0 into 0 1.543 * [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.544 * [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.545 * [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.545 * [taylor]: Taking taylor expansion of 0 in a 1.545 * [backup-simplify]: Simplify 0 into 0 1.545 * [backup-simplify]: Simplify 0 into 0 1.545 * [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.545 * * * [progress]: simplifying candidates 1.546 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (* 1 (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)) (* (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.546 * [simplify]: Sending expressions to egg_math: (log (fmod (cosh h1) (log1p h0))) (exp (fmod (cosh h1) (log1p h0))) (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0)))) (cbrt (fmod (cosh h1) (log1p h0))) (* (* (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0))) (sqrt (fmod (cosh h1) (log1p h0))) (log (* (cbrt (fmod (cosh h1) (log1p h0))) (cbrt (fmod (cosh h1) (log1p h0))))) (log (cbrt (fmod (cosh h1) (log1p h0)))) (log (sqrt (fmod (cosh h1) (log1p h0)))) (log (sqrt (fmod (cosh h1) (log1p h0)))) (log 1) (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0))) (log (log (fmod (cosh h1) (log1p h0)))) (exp (log (fmod (cosh h1) (log1p h0)))) (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0))))) (cbrt (log (fmod (cosh h1) (log1p h0)))) (* (* (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0)))) (log (fmod (cosh h1) (log1p h0)))) (sqrt (log (fmod (cosh h1) (log1p h0)))) (sqrt (log (fmod (cosh h1) (log1p h0)))) (* 1 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))) (* (log h2) (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))) (* (log h2) (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))) (* 1 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))) (pow h2 (cbrt (pow 1 3))) (pow h2 (cbrt (pow (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0))))) 3))) (pow h2 (cbrt (pow (sqrt (log (fmod (cosh h1) (log1p h0)))) 3))) (pow h2 (cbrt (pow 1 3))) (pow h2 (cbrt (* (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0)))))) (pow h2 (cbrt (* (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)) (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))))) (pow h2 (cbrt (pow 1 3))) (pow h2 (cbrt (pow (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0))))) 3))) (pow h2 (cbrt (pow (sqrt (log (fmod (cosh h1) (log1p h0)))) 3))) (pow h2 (cbrt (pow 1 3))) (pow h2 (cbrt (log (fmod (cosh h1) (log1p h0))))) (pow h2 (cbrt (sqrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))) (pow h2 (cbrt 1)) (pow h2 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) (/ 3 2)))) (pow h2 (* (cbrt (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))) (cbrt (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))))) (pow h2 (sqrt (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))) (pow h2 1) (pow (* (cbrt h2) (cbrt h2)) (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))) (pow (cbrt h2) (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))) (pow (sqrt h2) (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))) (pow (sqrt h2) (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))) (pow 1 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))) (pow h2 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))) (log (pow h2 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))) (exp (pow h2 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))) (* (cbrt (pow h2 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))) (cbrt (pow h2 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))))) (cbrt (pow h2 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))) (* (* (pow h2 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))) (pow h2 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))) (pow h2 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))) (sqrt (pow h2 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))) (sqrt (pow h2 (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)))) (pow h2 (/ (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)) 2)) (pow h2 (/ (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)) 2)) (* (log (log (fmod (cosh h1) (log1p h0)))) 3) (* (log (log (fmod (cosh h1) (log1p h0)))) 3) (* 1 3) (pow (log (fmod (cosh h1) (log1p h0))) (* (cbrt 3) (cbrt 3))) (pow (log (fmod (cosh h1) (log1p h0))) (sqrt 3)) (pow (log (fmod (cosh h1) (log1p h0))) 1) (pow 1 3) (pow (log (fmod (cosh h1) (log1p h0))) 3) (pow (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0))))) 3) (pow (cbrt (log (fmod (cosh h1) (log1p h0)))) 3) (pow (sqrt (log (fmod (cosh h1) (log1p h0)))) 3) (pow (sqrt (log (fmod (cosh h1) (log1p h0)))) 3) (pow 1 3) (pow (log (fmod (cosh h1) (log1p h0))) 3) (* (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0)))) (log (pow (log (fmod (cosh h1) (log1p h0))) 3)) (exp (pow (log (fmod (cosh h1) (log1p h0))) 3)) (* (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)) (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3))) (cbrt (pow (log (fmod (cosh h1) (log1p h0))) 3)) (* (* (pow (log (fmod (cosh h1) (log1p h0))) 3) (pow (log (fmod (cosh h1) (log1p h0))) 3)) (pow (log (fmod (cosh h1) (log1p h0))) 3)) (pow 1 3) (pow (log (fmod (cosh h1) (log1p h0))) 3) (pow (* (cbrt (log (fmod (cosh h1) (log1p h0)))) (cbrt (log (fmod (cosh h1) (log1p h0))))) 3) (pow (cbrt (log (fmod (cosh h1) (log1p h0)))) 3) (pow (sqrt (log (fmod (cosh h1) (log1p h0)))) 3) (pow (sqrt (log (fmod (cosh h1) (log1p h0)))) 3) (pow 1 3) (pow (log (fmod (cosh h1) (log1p h0))) 3) (* (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0)))) (sqrt (pow (log (fmod (cosh h1) (log1p h0))) 3)) (sqrt (pow (log (fmod (cosh h1) (log1p h0))) 3)) (pow (log (fmod (cosh h1) (log1p h0))) (/ 3 2)) (pow (log (fmod (cosh h1) (log1p h0))) (/ 3 2)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0))) (log (fmod (cosh h1) (log1p h0))) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (pow (log (fmod (cosh h1) (log1p h0))) 3) (pow (log (fmod (cosh h1) (log1p h0))) 3) (pow (log (fmod (cosh h1) (log1p h0))) 3) 1.550 * * [simplify]: iteration 0 : 192 enodes (cost 585 ) 1.554 * * [simplify]: iteration 1 : 704 enodes (cost 532 ) 1.576 * * [simplify]: iteration 2 : 5001 enodes (cost 525 ) 1.578 * * * [progress]: adding candidates to table 1.789 * [progress]: [Phase 3 of 3] Extracting. 1.789 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # #) 1.792 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a) 1.793 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # # # # # # # # # # #) 1.869 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # # # # # # # # # # #) 1.937 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # # # # # # # # # #) 2.021 * * * * [regimes]: Trying to branch on c from (# # # # # # # # # # # # # # # # #) 2.094 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # # # # # #) 2.167 * * * [regime]: Found split indices: #