6.023 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.359 * * * [progress]: [2/2] Setting up program. 0.361 * [progress]: [Phase 2 of 3] Improving. 0.361 * [simplify]: Simplifying: (fmod (cosh c) (log1p a)) 0.361 * [simplify]: Sending expressions to egg_math: (fmod (cosh h1) (log1p h0)) 0.363 * * [simplify]: iteration 0 : 11 enodes (cost 3 ) 0.364 * * [simplify]: iteration 1 : 14 enodes (cost 3 ) 0.365 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 0.366 * * [simplify]: iteration 3 : 18 enodes (cost 3 ) 0.368 * * [simplify]: iteration 4 : 19 enodes (cost 3 ) 0.369 * * [simplify]: iteration 5 : 24 enodes (cost 3 ) 0.370 * * [simplify]: iteration 6 : 43 enodes (cost 3 ) 0.371 * * [simplify]: iteration 7 : 64 enodes (cost 3 ) 0.373 * * [simplify]: iteration 8 : 154 enodes (cost 3 ) 0.380 * * [simplify]: iteration 9 : 1044 enodes (cost 3 ) 0.577 * * [simplify]: iteration 10 : 5001 enodes (cost 3 ) 0.579 * * [progress]: iteration 1 / 4 0.579 * * * [progress]: picking best candidate 0.581 * * * * [pick]: Picked # 0.581 * * * [progress]: localizing error 0.587 * * * [progress]: generating rewritten candidates 0.587 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.588 * * * [progress]: generating series expansions 0.588 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.588 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.588 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.588 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.588 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.588 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.588 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.588 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.588 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.588 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.588 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.588 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.589 * [taylor]: Taking taylor expansion of 0 in a 0.589 * [backup-simplify]: Simplify 0 into 0 0.589 * [backup-simplify]: Simplify 0 into 0 0.589 * [backup-simplify]: Simplify 0 into 0 0.589 * [taylor]: Taking taylor expansion of 0 in a 0.589 * [backup-simplify]: Simplify 0 into 0 0.589 * [backup-simplify]: Simplify 0 into 0 0.589 * [backup-simplify]: Simplify 0 into 0 0.589 * [backup-simplify]: Simplify 0 into 0 0.589 * [taylor]: Taking taylor expansion of 0 in a 0.589 * [backup-simplify]: Simplify 0 into 0 0.589 * [backup-simplify]: Simplify 0 into 0 0.589 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.589 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.589 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.589 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.589 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.589 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.589 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.589 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.589 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.589 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.589 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.589 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.590 * [taylor]: Taking taylor expansion of 0 in a 0.590 * [backup-simplify]: Simplify 0 into 0 0.590 * [backup-simplify]: Simplify 0 into 0 0.590 * [backup-simplify]: Simplify 0 into 0 0.590 * [taylor]: Taking taylor expansion of 0 in a 0.590 * [backup-simplify]: Simplify 0 into 0 0.590 * [backup-simplify]: Simplify 0 into 0 0.590 * [backup-simplify]: Simplify 0 into 0 0.590 * [backup-simplify]: Simplify 0 into 0 0.590 * [taylor]: Taking taylor expansion of 0 in a 0.590 * [backup-simplify]: Simplify 0 into 0 0.590 * [backup-simplify]: Simplify 0 into 0 0.590 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.590 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.590 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.590 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.590 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.590 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.590 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.590 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.590 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.590 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.590 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.590 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.590 * [taylor]: Taking taylor expansion of 0 in a 0.590 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [taylor]: Taking taylor expansion of 0 in a 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [taylor]: Taking taylor expansion of 0 in a 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.591 * * * [progress]: simplifying candidates 0.591 * [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.591 * [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.593 * * [simplify]: iteration 0 : 19 enodes (cost 49 ) 0.594 * * [simplify]: iteration 1 : 24 enodes (cost 42 ) 0.595 * * [simplify]: iteration 2 : 29 enodes (cost 42 ) 0.596 * * [simplify]: iteration 3 : 36 enodes (cost 42 ) 0.598 * * [simplify]: iteration 4 : 56 enodes (cost 42 ) 0.599 * * [simplify]: iteration 5 : 115 enodes (cost 42 ) 0.604 * * [simplify]: iteration 6 : 564 enodes (cost 42 ) 0.619 * * [simplify]: iteration 7 : 1838 enodes (cost 42 ) 0.688 * * [simplify]: iteration 8 : 5001 enodes (cost 42 ) 0.689 * * * [progress]: adding candidates to table 0.708 * * [progress]: iteration 2 / 4 0.708 * * * [progress]: picking best candidate 0.719 * * * * [pick]: Picked # 0.719 * * * [progress]: localizing error 0.727 * * * [progress]: generating rewritten candidates 0.727 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.728 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.729 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.733 * * * [progress]: generating series expansions 0.733 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.733 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.733 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.733 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.733 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.733 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.733 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.733 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.733 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.733 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.733 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.733 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.733 * [taylor]: Taking taylor expansion of 0 in a 0.733 * [backup-simplify]: Simplify 0 into 0 0.733 * [backup-simplify]: Simplify 0 into 0 0.733 * [backup-simplify]: Simplify 0 into 0 0.733 * [taylor]: Taking taylor expansion of 0 in a 0.733 * [backup-simplify]: Simplify 0 into 0 0.733 * [backup-simplify]: Simplify 0 into 0 0.733 * [backup-simplify]: Simplify 0 into 0 0.733 * [backup-simplify]: Simplify 0 into 0 0.733 * [taylor]: Taking taylor expansion of 0 in a 0.733 * [backup-simplify]: Simplify 0 into 0 0.733 * [backup-simplify]: Simplify 0 into 0 0.733 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.734 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.734 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.734 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.734 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.734 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.734 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.734 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.734 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.734 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.734 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.734 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.734 * [taylor]: Taking taylor expansion of 0 in a 0.734 * [backup-simplify]: Simplify 0 into 0 0.734 * [backup-simplify]: Simplify 0 into 0 0.734 * [backup-simplify]: Simplify 0 into 0 0.734 * [taylor]: Taking taylor expansion of 0 in a 0.734 * [backup-simplify]: Simplify 0 into 0 0.734 * [backup-simplify]: Simplify 0 into 0 0.734 * [backup-simplify]: Simplify 0 into 0 0.734 * [backup-simplify]: Simplify 0 into 0 0.734 * [taylor]: Taking taylor expansion of 0 in a 0.734 * [backup-simplify]: Simplify 0 into 0 0.734 * [backup-simplify]: Simplify 0 into 0 0.734 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.734 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.735 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.735 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.735 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.735 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.735 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.735 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.735 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.735 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.735 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.735 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.735 * [taylor]: Taking taylor expansion of 0 in a 0.735 * [backup-simplify]: Simplify 0 into 0 0.735 * [backup-simplify]: Simplify 0 into 0 0.735 * [backup-simplify]: Simplify 0 into 0 0.735 * [taylor]: Taking taylor expansion of 0 in a 0.735 * [backup-simplify]: Simplify 0 into 0 0.735 * [backup-simplify]: Simplify 0 into 0 0.735 * [backup-simplify]: Simplify 0 into 0 0.735 * [backup-simplify]: Simplify 0 into 0 0.735 * [taylor]: Taking taylor expansion of 0 in a 0.735 * [backup-simplify]: Simplify 0 into 0 0.735 * [backup-simplify]: Simplify 0 into 0 0.735 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.735 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.735 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.735 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 0.736 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 0.736 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.736 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.736 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.736 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 0.736 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.736 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.736 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.736 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 0.736 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.736 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.736 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.736 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 0.736 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.736 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.736 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.736 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.737 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 0.737 * [taylor]: Taking taylor expansion of 0 in a 0.737 * [backup-simplify]: Simplify 0 into 0 0.737 * [backup-simplify]: Simplify 0 into 0 0.738 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 0.738 * [backup-simplify]: Simplify 0 into 0 0.742 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 0.742 * [taylor]: Taking taylor expansion of 0 in a 0.742 * [backup-simplify]: Simplify 0 into 0 0.742 * [backup-simplify]: Simplify 0 into 0 0.742 * [backup-simplify]: Simplify 0 into 0 0.744 * [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.744 * [backup-simplify]: Simplify 0 into 0 0.745 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 0.745 * [taylor]: Taking taylor expansion of 0 in a 0.745 * [backup-simplify]: Simplify 0 into 0 0.745 * [backup-simplify]: Simplify 0 into 0 0.746 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.746 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.746 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 0.746 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 0.746 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.746 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.746 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.746 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 0.746 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.746 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.746 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.746 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 0.746 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.746 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.746 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.746 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 0.746 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.746 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.747 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.747 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.747 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 0.747 * [taylor]: Taking taylor expansion of 0 in a 0.747 * [backup-simplify]: Simplify 0 into 0 0.747 * [backup-simplify]: Simplify 0 into 0 0.748 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 0.748 * [backup-simplify]: Simplify 0 into 0 0.749 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 0.749 * [taylor]: Taking taylor expansion of 0 in a 0.749 * [backup-simplify]: Simplify 0 into 0 0.749 * [backup-simplify]: Simplify 0 into 0 0.749 * [backup-simplify]: Simplify 0 into 0 0.750 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 0.750 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 0.752 * [taylor]: Taking taylor expansion of 0 in a 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify 0 into 0 0.752 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 0.752 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.753 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 0.753 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 0.753 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.753 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.753 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.753 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 0.753 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.753 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.753 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.753 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 0.753 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.753 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.753 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.753 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 0.753 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.753 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.753 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.753 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.754 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 0.754 * [taylor]: Taking taylor expansion of 0 in a 0.754 * [backup-simplify]: Simplify 0 into 0 0.754 * [backup-simplify]: Simplify 0 into 0 0.755 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 0.755 * [backup-simplify]: Simplify 0 into 0 0.756 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 0.756 * [taylor]: Taking taylor expansion of 0 in a 0.756 * [backup-simplify]: Simplify 0 into 0 0.756 * [backup-simplify]: Simplify 0 into 0 0.756 * [backup-simplify]: Simplify 0 into 0 0.757 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 0.757 * [backup-simplify]: Simplify 0 into 0 0.759 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 0.759 * [taylor]: Taking taylor expansion of 0 in a 0.759 * [backup-simplify]: Simplify 0 into 0 0.759 * [backup-simplify]: Simplify 0 into 0 0.759 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 0.759 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.760 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 0.760 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.760 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.760 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.760 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.760 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.760 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.760 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.760 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.760 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.760 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.760 * [taylor]: Taking taylor expansion of 0 in a 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [taylor]: Taking taylor expansion of 0 in a 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [taylor]: Taking taylor expansion of 0 in a 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.760 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.760 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.760 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.761 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.761 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.761 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.761 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.761 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.761 * [taylor]: Taking taylor expansion of 0 in a 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [taylor]: Taking taylor expansion of 0 in a 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [taylor]: Taking taylor expansion of 0 in a 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify 0 into 0 0.761 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.761 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.761 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.762 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.762 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.762 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.762 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.762 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.762 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.762 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.762 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.762 * [taylor]: Taking taylor expansion of 0 in a 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [taylor]: Taking taylor expansion of 0 in a 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [taylor]: Taking taylor expansion of 0 in a 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify 0 into 0 0.762 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.762 * * * [progress]: simplifying candidates 0.763 * [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.763 * [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.765 * * [simplify]: iteration 0 : 55 enodes (cost 234 ) 0.767 * * [simplify]: iteration 1 : 81 enodes (cost 206 ) 0.768 * * [simplify]: iteration 2 : 103 enodes (cost 200 ) 0.770 * * [simplify]: iteration 3 : 150 enodes (cost 194 ) 0.772 * * [simplify]: iteration 4 : 295 enodes (cost 194 ) 0.776 * * [simplify]: iteration 5 : 724 enodes (cost 194 ) 0.789 * * [simplify]: iteration 6 : 2472 enodes (cost 194 ) 0.842 * * [simplify]: iteration 7 : 5001 enodes (cost 194 ) 0.843 * * * [progress]: adding candidates to table 0.925 * * [progress]: iteration 3 / 4 0.926 * * * [progress]: picking best candidate 0.946 * * * * [pick]: Picked # 0.946 * * * [progress]: localizing error 0.962 * * * [progress]: generating rewritten candidates 0.962 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 0.963 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1) 0.963 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 0.963 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 0.965 * * * [progress]: generating series expansions 0.965 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 0.965 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.965 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.965 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.965 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.965 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.965 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.965 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.965 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.965 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.965 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.965 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.965 * [taylor]: Taking taylor expansion of 0 in a 0.965 * [backup-simplify]: Simplify 0 into 0 0.965 * [backup-simplify]: Simplify 0 into 0 0.965 * [backup-simplify]: Simplify 0 into 0 0.965 * [taylor]: Taking taylor expansion of 0 in a 0.965 * [backup-simplify]: Simplify 0 into 0 0.965 * [backup-simplify]: Simplify 0 into 0 0.965 * [backup-simplify]: Simplify 0 into 0 0.965 * [backup-simplify]: Simplify 0 into 0 0.965 * [taylor]: Taking taylor expansion of 0 in a 0.965 * [backup-simplify]: Simplify 0 into 0 0.966 * [backup-simplify]: Simplify 0 into 0 0.966 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.966 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.966 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.966 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.966 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.966 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.966 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.966 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.966 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.966 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.966 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.966 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.966 * [taylor]: Taking taylor expansion of 0 in a 0.966 * [backup-simplify]: Simplify 0 into 0 0.966 * [backup-simplify]: Simplify 0 into 0 0.966 * [backup-simplify]: Simplify 0 into 0 0.966 * [taylor]: Taking taylor expansion of 0 in a 0.966 * [backup-simplify]: Simplify 0 into 0 0.966 * [backup-simplify]: Simplify 0 into 0 0.966 * [backup-simplify]: Simplify 0 into 0 0.966 * [backup-simplify]: Simplify 0 into 0 0.966 * [taylor]: Taking taylor expansion of 0 in a 0.966 * [backup-simplify]: Simplify 0 into 0 0.966 * [backup-simplify]: Simplify 0 into 0 0.967 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.967 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.967 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.967 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.967 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.967 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.967 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.967 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.967 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.967 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.967 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.967 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.967 * [taylor]: Taking taylor expansion of 0 in a 0.967 * [backup-simplify]: Simplify 0 into 0 0.967 * [backup-simplify]: Simplify 0 into 0 0.967 * [backup-simplify]: Simplify 0 into 0 0.967 * [taylor]: Taking taylor expansion of 0 in a 0.967 * [backup-simplify]: Simplify 0 into 0 0.967 * [backup-simplify]: Simplify 0 into 0 0.967 * [backup-simplify]: Simplify 0 into 0 0.967 * [backup-simplify]: Simplify 0 into 0 0.967 * [taylor]: Taking taylor expansion of 0 in a 0.967 * [backup-simplify]: Simplify 0 into 0 0.967 * [backup-simplify]: Simplify 0 into 0 0.967 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.968 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1) 0.968 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.968 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.968 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.968 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.968 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.968 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.968 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.968 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.968 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.968 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.968 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.968 * [taylor]: Taking taylor expansion of 0 in a 0.968 * [backup-simplify]: Simplify 0 into 0 0.968 * [backup-simplify]: Simplify 0 into 0 0.968 * [backup-simplify]: Simplify 0 into 0 0.968 * [taylor]: Taking taylor expansion of 0 in a 0.968 * [backup-simplify]: Simplify 0 into 0 0.968 * [backup-simplify]: Simplify 0 into 0 0.968 * [backup-simplify]: Simplify 0 into 0 0.968 * [backup-simplify]: Simplify 0 into 0 0.968 * [taylor]: Taking taylor expansion of 0 in a 0.968 * [backup-simplify]: Simplify 0 into 0 0.968 * [backup-simplify]: Simplify 0 into 0 0.968 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.968 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.968 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.968 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.968 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.968 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.969 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.969 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.969 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.969 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.969 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.969 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.969 * [taylor]: Taking taylor expansion of 0 in a 0.969 * [backup-simplify]: Simplify 0 into 0 0.969 * [backup-simplify]: Simplify 0 into 0 0.969 * [backup-simplify]: Simplify 0 into 0 0.969 * [taylor]: Taking taylor expansion of 0 in a 0.969 * [backup-simplify]: Simplify 0 into 0 0.969 * [backup-simplify]: Simplify 0 into 0 0.969 * [backup-simplify]: Simplify 0 into 0 0.969 * [backup-simplify]: Simplify 0 into 0 0.969 * [taylor]: Taking taylor expansion of 0 in a 0.969 * [backup-simplify]: Simplify 0 into 0 0.969 * [backup-simplify]: Simplify 0 into 0 0.969 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.969 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.969 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.969 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.969 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.969 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.970 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.970 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.970 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.970 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.970 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.970 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.970 * [taylor]: Taking taylor expansion of 0 in a 0.970 * [backup-simplify]: Simplify 0 into 0 0.970 * [backup-simplify]: Simplify 0 into 0 0.970 * [backup-simplify]: Simplify 0 into 0 0.970 * [taylor]: Taking taylor expansion of 0 in a 0.970 * [backup-simplify]: Simplify 0 into 0 0.970 * [backup-simplify]: Simplify 0 into 0 0.970 * [backup-simplify]: Simplify 0 into 0 0.970 * [backup-simplify]: Simplify 0 into 0 0.970 * [taylor]: Taking taylor expansion of 0 in a 0.970 * [backup-simplify]: Simplify 0 into 0 0.970 * [backup-simplify]: Simplify 0 into 0 0.970 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.970 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 0.970 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.970 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.970 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.970 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.970 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.970 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.970 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.971 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.971 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.971 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.971 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.971 * [taylor]: Taking taylor expansion of 0 in a 0.971 * [backup-simplify]: Simplify 0 into 0 0.971 * [backup-simplify]: Simplify 0 into 0 0.971 * [backup-simplify]: Simplify 0 into 0 0.971 * [taylor]: Taking taylor expansion of 0 in a 0.971 * [backup-simplify]: Simplify 0 into 0 0.971 * [backup-simplify]: Simplify 0 into 0 0.971 * [backup-simplify]: Simplify 0 into 0 0.971 * [backup-simplify]: Simplify 0 into 0 0.971 * [taylor]: Taking taylor expansion of 0 in a 0.971 * [backup-simplify]: Simplify 0 into 0 0.971 * [backup-simplify]: Simplify 0 into 0 0.971 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.971 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.971 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.971 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.971 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.971 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.971 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.971 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.971 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.971 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.971 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.972 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.972 * [taylor]: Taking taylor expansion of 0 in a 0.972 * [backup-simplify]: Simplify 0 into 0 0.972 * [backup-simplify]: Simplify 0 into 0 0.972 * [backup-simplify]: Simplify 0 into 0 0.972 * [taylor]: Taking taylor expansion of 0 in a 0.972 * [backup-simplify]: Simplify 0 into 0 0.972 * [backup-simplify]: Simplify 0 into 0 0.972 * [backup-simplify]: Simplify 0 into 0 0.972 * [backup-simplify]: Simplify 0 into 0 0.972 * [taylor]: Taking taylor expansion of 0 in a 0.972 * [backup-simplify]: Simplify 0 into 0 0.972 * [backup-simplify]: Simplify 0 into 0 0.972 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.972 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.972 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.972 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.972 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.972 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.972 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.972 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.972 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.972 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.972 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.973 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.973 * [taylor]: Taking taylor expansion of 0 in a 0.973 * [backup-simplify]: Simplify 0 into 0 0.973 * [backup-simplify]: Simplify 0 into 0 0.973 * [backup-simplify]: Simplify 0 into 0 0.973 * [taylor]: Taking taylor expansion of 0 in a 0.973 * [backup-simplify]: Simplify 0 into 0 0.973 * [backup-simplify]: Simplify 0 into 0 0.973 * [backup-simplify]: Simplify 0 into 0 0.973 * [backup-simplify]: Simplify 0 into 0 0.973 * [taylor]: Taking taylor expansion of 0 in a 0.973 * [backup-simplify]: Simplify 0 into 0 0.973 * [backup-simplify]: Simplify 0 into 0 0.973 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.973 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 0.973 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.973 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 0.973 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 0.973 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.973 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.973 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.973 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 0.973 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.973 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.973 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.973 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 0.973 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.973 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.973 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.974 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 0.974 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.974 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.974 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.974 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.975 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 0.975 * [taylor]: Taking taylor expansion of 0 in a 0.975 * [backup-simplify]: Simplify 0 into 0 0.975 * [backup-simplify]: Simplify 0 into 0 0.975 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 0.975 * [backup-simplify]: Simplify 0 into 0 0.976 * [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.976 * [taylor]: Taking taylor expansion of 0 in a 0.976 * [backup-simplify]: Simplify 0 into 0 0.976 * [backup-simplify]: Simplify 0 into 0 0.976 * [backup-simplify]: Simplify 0 into 0 0.978 * [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.978 * [backup-simplify]: Simplify 0 into 0 0.979 * [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.979 * [taylor]: Taking taylor expansion of 0 in a 0.979 * [backup-simplify]: Simplify 0 into 0 0.979 * [backup-simplify]: Simplify 0 into 0 0.979 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.980 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.980 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 0.980 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 0.980 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.980 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.980 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.980 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 0.980 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.980 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.980 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.980 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 0.980 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.980 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.980 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.980 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 0.980 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.980 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.981 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.981 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.981 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 0.981 * [taylor]: Taking taylor expansion of 0 in a 0.981 * [backup-simplify]: Simplify 0 into 0 0.981 * [backup-simplify]: Simplify 0 into 0 0.982 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 0.982 * [backup-simplify]: Simplify 0 into 0 0.983 * [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.983 * [taylor]: Taking taylor expansion of 0 in a 0.983 * [backup-simplify]: Simplify 0 into 0 0.983 * [backup-simplify]: Simplify 0 into 0 0.983 * [backup-simplify]: Simplify 0 into 0 0.984 * [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.984 * [backup-simplify]: Simplify 0 into 0 0.986 * [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.986 * [taylor]: Taking taylor expansion of 0 in a 0.986 * [backup-simplify]: Simplify 0 into 0 0.986 * [backup-simplify]: Simplify 0 into 0 0.986 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 0.986 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.986 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 0.987 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 0.987 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.987 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.987 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.987 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 0.987 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.987 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.987 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.987 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 0.987 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.987 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.987 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.987 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 0.987 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.987 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.987 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.987 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.988 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 0.988 * [taylor]: Taking taylor expansion of 0 in a 0.988 * [backup-simplify]: Simplify 0 into 0 0.988 * [backup-simplify]: Simplify 0 into 0 0.989 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 0.989 * [backup-simplify]: Simplify 0 into 0 0.990 * [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.990 * [taylor]: Taking taylor expansion of 0 in a 0.990 * [backup-simplify]: Simplify 0 into 0 0.990 * [backup-simplify]: Simplify 0 into 0 0.990 * [backup-simplify]: Simplify 0 into 0 0.991 * [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.991 * [backup-simplify]: Simplify 0 into 0 0.993 * [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.993 * [taylor]: Taking taylor expansion of 0 in a 0.993 * [backup-simplify]: Simplify 0 into 0 0.993 * [backup-simplify]: Simplify 0 into 0 0.993 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 0.993 * * * [progress]: simplifying candidates 0.994 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (* (cbrt (fmod (cosh c) (log1p a))) (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)))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) 0.994 * [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 (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 (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)))) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (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))) 0.996 * * [simplify]: iteration 0 : 35 enodes (cost 241 ) 0.998 * * [simplify]: iteration 1 : 48 enodes (cost 206 ) 0.999 * * [simplify]: iteration 2 : 62 enodes (cost 206 ) 1.000 * * [simplify]: iteration 3 : 76 enodes (cost 206 ) 1.002 * * [simplify]: iteration 4 : 120 enodes (cost 206 ) 1.004 * * [simplify]: iteration 5 : 247 enodes (cost 206 ) 1.011 * * [simplify]: iteration 6 : 1104 enodes (cost 206 ) 1.043 * * [simplify]: iteration 7 : 4889 enodes (cost 206 ) 1.181 * * [simplify]: iteration 8 : 5001 enodes (cost 206 ) 1.183 * * * [progress]: adding candidates to table 1.326 * * [progress]: iteration 4 / 4 1.326 * * * [progress]: picking best candidate 1.365 * * * * [pick]: Picked # 1.365 * * * [progress]: localizing error 1.381 * * * [progress]: generating rewritten candidates 1.381 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 1) 1.381 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1 1) 1.381 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1 1) 1.382 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1) 1.382 * * * [progress]: generating series expansions 1.382 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 1) 1.383 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.383 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.383 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.383 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.383 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.383 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.383 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.383 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.383 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.383 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.383 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.383 * [taylor]: Taking taylor expansion of 0 in a 1.383 * [backup-simplify]: Simplify 0 into 0 1.383 * [backup-simplify]: Simplify 0 into 0 1.383 * [backup-simplify]: Simplify 0 into 0 1.383 * [taylor]: Taking taylor expansion of 0 in a 1.383 * [backup-simplify]: Simplify 0 into 0 1.383 * [backup-simplify]: Simplify 0 into 0 1.383 * [backup-simplify]: Simplify 0 into 0 1.383 * [backup-simplify]: Simplify 0 into 0 1.383 * [taylor]: Taking taylor expansion of 0 in a 1.383 * [backup-simplify]: Simplify 0 into 0 1.383 * [backup-simplify]: Simplify 0 into 0 1.383 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.383 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.383 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.383 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.383 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.383 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.384 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.384 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.384 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.384 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.384 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.384 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.384 * [taylor]: Taking taylor expansion of 0 in a 1.384 * [backup-simplify]: Simplify 0 into 0 1.384 * [backup-simplify]: Simplify 0 into 0 1.384 * [backup-simplify]: Simplify 0 into 0 1.384 * [taylor]: Taking taylor expansion of 0 in a 1.384 * [backup-simplify]: Simplify 0 into 0 1.384 * [backup-simplify]: Simplify 0 into 0 1.384 * [backup-simplify]: Simplify 0 into 0 1.384 * [backup-simplify]: Simplify 0 into 0 1.384 * [taylor]: Taking taylor expansion of 0 in a 1.384 * [backup-simplify]: Simplify 0 into 0 1.384 * [backup-simplify]: Simplify 0 into 0 1.384 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.384 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.384 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.384 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.384 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.384 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.385 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.385 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.385 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.385 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.385 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.385 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.385 * [taylor]: Taking taylor expansion of 0 in a 1.385 * [backup-simplify]: Simplify 0 into 0 1.385 * [backup-simplify]: Simplify 0 into 0 1.385 * [backup-simplify]: Simplify 0 into 0 1.385 * [taylor]: Taking taylor expansion of 0 in a 1.385 * [backup-simplify]: Simplify 0 into 0 1.385 * [backup-simplify]: Simplify 0 into 0 1.385 * [backup-simplify]: Simplify 0 into 0 1.385 * [backup-simplify]: Simplify 0 into 0 1.385 * [taylor]: Taking taylor expansion of 0 in a 1.385 * [backup-simplify]: Simplify 0 into 0 1.385 * [backup-simplify]: Simplify 0 into 0 1.385 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.385 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1 1) 1.385 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.385 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.385 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.385 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.385 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.385 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.385 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.386 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.386 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.386 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.386 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.386 * [taylor]: Taking taylor expansion of 0 in a 1.386 * [backup-simplify]: Simplify 0 into 0 1.386 * [backup-simplify]: Simplify 0 into 0 1.386 * [backup-simplify]: Simplify 0 into 0 1.386 * [taylor]: Taking taylor expansion of 0 in a 1.386 * [backup-simplify]: Simplify 0 into 0 1.386 * [backup-simplify]: Simplify 0 into 0 1.386 * [backup-simplify]: Simplify 0 into 0 1.386 * [backup-simplify]: Simplify 0 into 0 1.386 * [taylor]: Taking taylor expansion of 0 in a 1.386 * [backup-simplify]: Simplify 0 into 0 1.386 * [backup-simplify]: Simplify 0 into 0 1.386 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.386 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.386 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.386 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.386 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.386 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.386 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.386 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.386 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.386 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.387 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.387 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.387 * [taylor]: Taking taylor expansion of 0 in a 1.387 * [backup-simplify]: Simplify 0 into 0 1.387 * [backup-simplify]: Simplify 0 into 0 1.387 * [backup-simplify]: Simplify 0 into 0 1.387 * [taylor]: Taking taylor expansion of 0 in a 1.387 * [backup-simplify]: Simplify 0 into 0 1.387 * [backup-simplify]: Simplify 0 into 0 1.387 * [backup-simplify]: Simplify 0 into 0 1.387 * [backup-simplify]: Simplify 0 into 0 1.387 * [taylor]: Taking taylor expansion of 0 in a 1.387 * [backup-simplify]: Simplify 0 into 0 1.387 * [backup-simplify]: Simplify 0 into 0 1.387 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.387 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.387 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.387 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.387 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.387 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.387 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.387 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.387 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.387 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.387 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.388 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.388 * [taylor]: Taking taylor expansion of 0 in a 1.388 * [backup-simplify]: Simplify 0 into 0 1.388 * [backup-simplify]: Simplify 0 into 0 1.388 * [backup-simplify]: Simplify 0 into 0 1.388 * [taylor]: Taking taylor expansion of 0 in a 1.388 * [backup-simplify]: Simplify 0 into 0 1.388 * [backup-simplify]: Simplify 0 into 0 1.388 * [backup-simplify]: Simplify 0 into 0 1.388 * [backup-simplify]: Simplify 0 into 0 1.388 * [taylor]: Taking taylor expansion of 0 in a 1.388 * [backup-simplify]: Simplify 0 into 0 1.388 * [backup-simplify]: Simplify 0 into 0 1.388 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.388 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1 1) 1.388 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.388 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.388 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.388 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.388 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.388 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.388 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.388 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.388 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.388 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.388 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.388 * [taylor]: Taking taylor expansion of 0 in a 1.388 * [backup-simplify]: Simplify 0 into 0 1.388 * [backup-simplify]: Simplify 0 into 0 1.388 * [backup-simplify]: Simplify 0 into 0 1.388 * [taylor]: Taking taylor expansion of 0 in a 1.388 * [backup-simplify]: Simplify 0 into 0 1.389 * [backup-simplify]: Simplify 0 into 0 1.389 * [backup-simplify]: Simplify 0 into 0 1.389 * [backup-simplify]: Simplify 0 into 0 1.389 * [taylor]: Taking taylor expansion of 0 in a 1.389 * [backup-simplify]: Simplify 0 into 0 1.389 * [backup-simplify]: Simplify 0 into 0 1.389 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.389 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.389 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.389 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.389 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.389 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.389 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.389 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.389 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.389 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.389 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.389 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.389 * [taylor]: Taking taylor expansion of 0 in a 1.389 * [backup-simplify]: Simplify 0 into 0 1.389 * [backup-simplify]: Simplify 0 into 0 1.389 * [backup-simplify]: Simplify 0 into 0 1.389 * [taylor]: Taking taylor expansion of 0 in a 1.389 * [backup-simplify]: Simplify 0 into 0 1.389 * [backup-simplify]: Simplify 0 into 0 1.389 * [backup-simplify]: Simplify 0 into 0 1.389 * [backup-simplify]: Simplify 0 into 0 1.389 * [taylor]: Taking taylor expansion of 0 in a 1.389 * [backup-simplify]: Simplify 0 into 0 1.389 * [backup-simplify]: Simplify 0 into 0 1.390 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.390 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.390 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.390 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.390 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.390 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.390 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.390 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.390 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.390 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.390 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.390 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.390 * [taylor]: Taking taylor expansion of 0 in a 1.390 * [backup-simplify]: Simplify 0 into 0 1.390 * [backup-simplify]: Simplify 0 into 0 1.390 * [backup-simplify]: Simplify 0 into 0 1.390 * [taylor]: Taking taylor expansion of 0 in a 1.390 * [backup-simplify]: Simplify 0 into 0 1.390 * [backup-simplify]: Simplify 0 into 0 1.390 * [backup-simplify]: Simplify 0 into 0 1.390 * [backup-simplify]: Simplify 0 into 0 1.390 * [taylor]: Taking taylor expansion of 0 in a 1.390 * [backup-simplify]: Simplify 0 into 0 1.390 * [backup-simplify]: Simplify 0 into 0 1.391 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.391 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1) 1.391 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.391 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.391 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.391 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.391 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.391 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.391 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.391 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.391 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.391 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.391 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.391 * [taylor]: Taking taylor expansion of 0 in a 1.391 * [backup-simplify]: Simplify 0 into 0 1.391 * [backup-simplify]: Simplify 0 into 0 1.391 * [backup-simplify]: Simplify 0 into 0 1.391 * [taylor]: Taking taylor expansion of 0 in a 1.391 * [backup-simplify]: Simplify 0 into 0 1.391 * [backup-simplify]: Simplify 0 into 0 1.391 * [backup-simplify]: Simplify 0 into 0 1.391 * [backup-simplify]: Simplify 0 into 0 1.391 * [taylor]: Taking taylor expansion of 0 in a 1.391 * [backup-simplify]: Simplify 0 into 0 1.391 * [backup-simplify]: Simplify 0 into 0 1.391 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.391 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.391 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.391 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.392 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.392 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.392 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.392 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.392 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.392 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.392 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.392 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.392 * [taylor]: Taking taylor expansion of 0 in a 1.392 * [backup-simplify]: Simplify 0 into 0 1.392 * [backup-simplify]: Simplify 0 into 0 1.392 * [backup-simplify]: Simplify 0 into 0 1.392 * [taylor]: Taking taylor expansion of 0 in a 1.392 * [backup-simplify]: Simplify 0 into 0 1.392 * [backup-simplify]: Simplify 0 into 0 1.392 * [backup-simplify]: Simplify 0 into 0 1.392 * [backup-simplify]: Simplify 0 into 0 1.392 * [taylor]: Taking taylor expansion of 0 in a 1.392 * [backup-simplify]: Simplify 0 into 0 1.392 * [backup-simplify]: Simplify 0 into 0 1.392 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.392 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.392 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.392 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.392 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.393 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.393 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.393 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.393 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.393 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.393 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.393 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.393 * [taylor]: Taking taylor expansion of 0 in a 1.393 * [backup-simplify]: Simplify 0 into 0 1.393 * [backup-simplify]: Simplify 0 into 0 1.393 * [backup-simplify]: Simplify 0 into 0 1.393 * [taylor]: Taking taylor expansion of 0 in a 1.393 * [backup-simplify]: Simplify 0 into 0 1.393 * [backup-simplify]: Simplify 0 into 0 1.393 * [backup-simplify]: Simplify 0 into 0 1.393 * [backup-simplify]: Simplify 0 into 0 1.393 * [taylor]: Taking taylor expansion of 0 in a 1.393 * [backup-simplify]: Simplify 0 into 0 1.393 * [backup-simplify]: Simplify 0 into 0 1.393 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.393 * * * [progress]: simplifying candidates 1.394 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 1.394 * [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 (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 (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 (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)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) (fmod (cosh h1) (log1p h0)) 1.396 * * [simplify]: iteration 0 : 19 enodes (cost 196 ) 1.397 * * [simplify]: iteration 1 : 24 enodes (cost 168 ) 1.398 * * [simplify]: iteration 2 : 29 enodes (cost 168 ) 1.399 * * [simplify]: iteration 3 : 36 enodes (cost 168 ) 1.401 * * [simplify]: iteration 4 : 56 enodes (cost 168 ) 1.403 * * [simplify]: iteration 5 : 115 enodes (cost 168 ) 1.407 * * [simplify]: iteration 6 : 564 enodes (cost 168 ) 1.421 * * [simplify]: iteration 7 : 1838 enodes (cost 168 ) 1.490 * * [simplify]: iteration 8 : 5001 enodes (cost 168 ) 1.491 * * * [progress]: adding candidates to table 1.642 * [progress]: [Phase 3 of 3] Extracting. 1.642 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 1.646 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a) 1.646 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # # # # #) 1.698 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # # # # #) 1.742 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # # # #) 1.804 * * * * [regimes]: Trying to branch on c from (# # # # # # # # # # #) 1.854 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # #) 1.903 * * * [regime]: Found split indices: #