8.119 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.310 * * * [progress]: [2/2] Setting up program. 0.313 * [progress]: [Phase 2 of 3] Improving. 0.313 * [simplify]: Simplifying: (fmod (cosh c) (log1p a)) 0.313 * [simplify]: Sending expressions to egg_math: (fmod (cosh h0) (log1p h1)) 0.315 * * [simplify]: iteration 0 : 11 enodes (cost 3 ) 0.316 * * [simplify]: iteration 1 : 14 enodes (cost 3 ) 0.317 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 0.318 * * [simplify]: iteration 3 : 18 enodes (cost 3 ) 0.319 * * [simplify]: iteration 4 : 19 enodes (cost 3 ) 0.321 * * [simplify]: iteration 5 : 24 enodes (cost 3 ) 0.322 * * [simplify]: iteration 6 : 43 enodes (cost 3 ) 0.323 * * [simplify]: iteration 7 : 64 enodes (cost 3 ) 0.325 * * [simplify]: iteration 8 : 154 enodes (cost 3 ) 0.332 * * [simplify]: iteration 9 : 1044 enodes (cost 3 ) 0.527 * * [simplify]: iteration 10 : 5001 enodes (cost 3 ) 0.528 * * [progress]: iteration 1 / 4 0.528 * * * [progress]: picking best candidate 0.530 * * * * [pick]: Picked # 0.531 * * * [progress]: localizing error 0.541 * * * [progress]: generating rewritten candidates 0.541 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.541 * * * [progress]: generating series expansions 0.541 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.542 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.542 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.542 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.542 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.542 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.542 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.542 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.542 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.542 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.542 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.542 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.542 * [taylor]: Taking taylor expansion of 0 in a 0.542 * [backup-simplify]: Simplify 0 into 0 0.542 * [backup-simplify]: Simplify 0 into 0 0.542 * [backup-simplify]: Simplify 0 into 0 0.542 * [taylor]: Taking taylor expansion of 0 in a 0.542 * [backup-simplify]: Simplify 0 into 0 0.542 * [backup-simplify]: Simplify 0 into 0 0.542 * [backup-simplify]: Simplify 0 into 0 0.542 * [backup-simplify]: Simplify 0 into 0 0.542 * [taylor]: Taking taylor expansion of 0 in a 0.542 * [backup-simplify]: Simplify 0 into 0 0.542 * [backup-simplify]: Simplify 0 into 0 0.542 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.542 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.542 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.542 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.543 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.543 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.543 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.543 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.543 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.543 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.543 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.543 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.543 * [taylor]: Taking taylor expansion of 0 in a 0.543 * [backup-simplify]: Simplify 0 into 0 0.543 * [backup-simplify]: Simplify 0 into 0 0.543 * [backup-simplify]: Simplify 0 into 0 0.543 * [taylor]: Taking taylor expansion of 0 in a 0.543 * [backup-simplify]: Simplify 0 into 0 0.543 * [backup-simplify]: Simplify 0 into 0 0.543 * [backup-simplify]: Simplify 0 into 0 0.543 * [backup-simplify]: Simplify 0 into 0 0.543 * [taylor]: Taking taylor expansion of 0 in a 0.543 * [backup-simplify]: Simplify 0 into 0 0.543 * [backup-simplify]: Simplify 0 into 0 0.543 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.543 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.543 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.543 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.544 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.544 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.544 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.544 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.544 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.544 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.544 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.544 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.544 * [taylor]: Taking taylor expansion of 0 in a 0.544 * [backup-simplify]: Simplify 0 into 0 0.544 * [backup-simplify]: Simplify 0 into 0 0.544 * [backup-simplify]: Simplify 0 into 0 0.544 * [taylor]: Taking taylor expansion of 0 in a 0.544 * [backup-simplify]: Simplify 0 into 0 0.544 * [backup-simplify]: Simplify 0 into 0 0.544 * [backup-simplify]: Simplify 0 into 0 0.544 * [backup-simplify]: Simplify 0 into 0 0.544 * [taylor]: Taking taylor expansion of 0 in a 0.544 * [backup-simplify]: Simplify 0 into 0 0.544 * [backup-simplify]: Simplify 0 into 0 0.544 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.544 * * * [progress]: simplifying candidates 0.545 * [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.545 * [simplify]: Sending expressions to egg_math: (log (fmod (cosh h0) (log1p h1))) (exp (fmod (cosh h0) (log1p h1))) (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1)))) (cbrt (fmod (cosh h0) (log1p h1))) (* (* (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) 0.547 * * [simplify]: iteration 0 : 19 enodes (cost 49 ) 0.548 * * [simplify]: iteration 1 : 24 enodes (cost 42 ) 0.549 * * [simplify]: iteration 2 : 29 enodes (cost 42 ) 0.550 * * [simplify]: iteration 3 : 36 enodes (cost 42 ) 0.552 * * [simplify]: iteration 4 : 56 enodes (cost 42 ) 0.553 * * [simplify]: iteration 5 : 115 enodes (cost 42 ) 0.558 * * [simplify]: iteration 6 : 564 enodes (cost 42 ) 0.572 * * [simplify]: iteration 7 : 1838 enodes (cost 42 ) 0.641 * * [simplify]: iteration 8 : 5001 enodes (cost 42 ) 0.642 * * * [progress]: adding candidates to table 0.661 * * [progress]: iteration 2 / 4 0.661 * * * [progress]: picking best candidate 0.673 * * * * [pick]: Picked # 0.673 * * * [progress]: localizing error 0.681 * * * [progress]: generating rewritten candidates 0.681 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 0.681 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 0.682 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.696 * * * [progress]: generating series expansions 0.696 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 0.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.697 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.697 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.697 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.697 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.697 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.697 * [taylor]: Taking taylor expansion of 0 in a 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [taylor]: Taking taylor expansion of 0 in a 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [taylor]: Taking taylor expansion of 0 in a 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [backup-simplify]: Simplify 0 into 0 0.697 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.697 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.697 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.698 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.698 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.698 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.698 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.698 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.701 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.701 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.701 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.701 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.701 * [taylor]: Taking taylor expansion of 0 in a 0.701 * [backup-simplify]: Simplify 0 into 0 0.701 * [backup-simplify]: Simplify 0 into 0 0.701 * [backup-simplify]: Simplify 0 into 0 0.701 * [taylor]: Taking taylor expansion of 0 in a 0.701 * [backup-simplify]: Simplify 0 into 0 0.701 * [backup-simplify]: Simplify 0 into 0 0.701 * [backup-simplify]: Simplify 0 into 0 0.701 * [backup-simplify]: Simplify 0 into 0 0.701 * [taylor]: Taking taylor expansion of 0 in a 0.702 * [backup-simplify]: Simplify 0 into 0 0.702 * [backup-simplify]: Simplify 0 into 0 0.702 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.702 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.702 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.702 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.702 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.702 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.702 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.702 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.702 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.702 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.702 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.702 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.702 * [taylor]: Taking taylor expansion of 0 in a 0.702 * [backup-simplify]: Simplify 0 into 0 0.702 * [backup-simplify]: Simplify 0 into 0 0.702 * [backup-simplify]: Simplify 0 into 0 0.702 * [taylor]: Taking taylor expansion of 0 in a 0.702 * [backup-simplify]: Simplify 0 into 0 0.702 * [backup-simplify]: Simplify 0 into 0 0.702 * [backup-simplify]: Simplify 0 into 0 0.702 * [backup-simplify]: Simplify 0 into 0 0.703 * [taylor]: Taking taylor expansion of 0 in a 0.703 * [backup-simplify]: Simplify 0 into 0 0.703 * [backup-simplify]: Simplify 0 into 0 0.703 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.703 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 0.703 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.703 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.703 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.703 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.703 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.703 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.703 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.703 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.703 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.703 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.703 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.703 * [taylor]: Taking taylor expansion of 0 in a 0.703 * [backup-simplify]: Simplify 0 into 0 0.703 * [backup-simplify]: Simplify 0 into 0 0.703 * [backup-simplify]: Simplify 0 into 0 0.703 * [taylor]: Taking taylor expansion of 0 in a 0.703 * [backup-simplify]: Simplify 0 into 0 0.703 * [backup-simplify]: Simplify 0 into 0 0.703 * [backup-simplify]: Simplify 0 into 0 0.703 * [backup-simplify]: Simplify 0 into 0 0.703 * [taylor]: Taking taylor expansion of 0 in a 0.703 * [backup-simplify]: Simplify 0 into 0 0.703 * [backup-simplify]: Simplify 0 into 0 0.703 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.704 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.704 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.704 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.704 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.704 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.704 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.704 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.704 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.704 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.704 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.704 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.704 * [taylor]: Taking taylor expansion of 0 in a 0.704 * [backup-simplify]: Simplify 0 into 0 0.704 * [backup-simplify]: Simplify 0 into 0 0.704 * [backup-simplify]: Simplify 0 into 0 0.704 * [taylor]: Taking taylor expansion of 0 in a 0.704 * [backup-simplify]: Simplify 0 into 0 0.704 * [backup-simplify]: Simplify 0 into 0 0.704 * [backup-simplify]: Simplify 0 into 0 0.704 * [backup-simplify]: Simplify 0 into 0 0.704 * [taylor]: Taking taylor expansion of 0 in a 0.704 * [backup-simplify]: Simplify 0 into 0 0.704 * [backup-simplify]: Simplify 0 into 0 0.704 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.705 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.705 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.705 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.705 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.705 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.705 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.705 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.705 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.705 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.705 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.705 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.705 * [taylor]: Taking taylor expansion of 0 in a 0.705 * [backup-simplify]: Simplify 0 into 0 0.705 * [backup-simplify]: Simplify 0 into 0 0.705 * [backup-simplify]: Simplify 0 into 0 0.705 * [taylor]: Taking taylor expansion of 0 in a 0.705 * [backup-simplify]: Simplify 0 into 0 0.705 * [backup-simplify]: Simplify 0 into 0 0.705 * [backup-simplify]: Simplify 0 into 0 0.705 * [backup-simplify]: Simplify 0 into 0 0.705 * [taylor]: Taking taylor expansion of 0 in a 0.705 * [backup-simplify]: Simplify 0 into 0 0.705 * [backup-simplify]: Simplify 0 into 0 0.705 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.705 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.706 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 0.706 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.706 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.706 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.706 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.706 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.706 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.706 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.706 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.706 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.706 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.706 * [taylor]: Taking taylor expansion of 0 in a 0.706 * [backup-simplify]: Simplify 0 into 0 0.706 * [backup-simplify]: Simplify 0 into 0 0.706 * [backup-simplify]: Simplify 0 into 0 0.706 * [taylor]: Taking taylor expansion of 0 in a 0.706 * [backup-simplify]: Simplify 0 into 0 0.706 * [backup-simplify]: Simplify 0 into 0 0.706 * [backup-simplify]: Simplify 0 into 0 0.706 * [backup-simplify]: Simplify 0 into 0 0.706 * [taylor]: Taking taylor expansion of 0 in a 0.706 * [backup-simplify]: Simplify 0 into 0 0.706 * [backup-simplify]: Simplify 0 into 0 0.706 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.707 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (sqrt (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.707 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.707 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.707 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.707 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.707 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.707 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.707 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.707 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.707 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.707 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.707 * [taylor]: Taking taylor expansion of 0 in a 0.707 * [backup-simplify]: Simplify 0 into 0 0.707 * [backup-simplify]: Simplify 0 into 0 0.707 * [backup-simplify]: Simplify 0 into 0 0.707 * [taylor]: Taking taylor expansion of 0 in a 0.707 * [backup-simplify]: Simplify 0 into 0 0.707 * [backup-simplify]: Simplify 0 into 0 0.707 * [backup-simplify]: Simplify 0 into 0 0.707 * [backup-simplify]: Simplify 0 into 0 0.707 * [taylor]: Taking taylor expansion of 0 in a 0.707 * [backup-simplify]: Simplify 0 into 0 0.707 * [backup-simplify]: Simplify 0 into 0 0.707 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.708 * [backup-simplify]: Simplify (* (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) (sqrt (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.708 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.708 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.708 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.708 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.708 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.708 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.708 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.708 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.708 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.708 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.708 * [taylor]: Taking taylor expansion of 0 in a 0.708 * [backup-simplify]: Simplify 0 into 0 0.708 * [backup-simplify]: Simplify 0 into 0 0.708 * [backup-simplify]: Simplify 0 into 0 0.708 * [taylor]: Taking taylor expansion of 0 in a 0.708 * [backup-simplify]: Simplify 0 into 0 0.708 * [backup-simplify]: Simplify 0 into 0 0.708 * [backup-simplify]: Simplify 0 into 0 0.708 * [backup-simplify]: Simplify 0 into 0 0.708 * [taylor]: Taking taylor expansion of 0 in a 0.708 * [backup-simplify]: Simplify 0 into 0 0.708 * [backup-simplify]: Simplify 0 into 0 0.709 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.709 * * * [progress]: simplifying candidates 0.709 * [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))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (+ 1 1) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a))))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (exp (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (* (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (sqrt (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (* (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (cbrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* 1 1) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (fmod (cosh c) (log1p a))) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (cbrt (sqrt (fmod (cosh c) (log1p a)))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt 1)) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (sqrt (fmod (cosh c) (log1p a))))) (* (sqrt (fmod (cosh c) (log1p a))) 1) (* (cbrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (cbrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (sqrt (fmod (cosh c) (log1p a)))) (sqrt (fmod (cosh c) (log1p a)))) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))) (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)) 0.710 * [simplify]: Sending expressions to egg_math: (log (fmod (cosh h0) (log1p h1))) (exp (fmod (cosh h0) (log1p h1))) (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1)))) (cbrt (fmod (cosh h0) (log1p h1))) (* (* (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (exp (fmod (cosh h0) (log1p h1))) (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1)))) (cbrt (fmod (cosh h0) (log1p h1))) (* (* (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1))) (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1)))) (* (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1))) (+ 1 1) (+ (log (sqrt (fmod (cosh h0) (log1p h1)))) (log (sqrt (fmod (cosh h0) (log1p h1))))) (log (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))))) (exp (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))))) (* (* (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (fmod (cosh h0) (log1p h1)))) (* (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (fmod (cosh h0) (log1p h1))))) (* (cbrt (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))))) (cbrt (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1)))))) (cbrt (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))))) (* (* (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1)))) (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))))) (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))))) (* (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1))) (sqrt (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))))) (sqrt (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))))) (* (* (cbrt (sqrt (fmod (cosh h0) (log1p h1)))) (cbrt (sqrt (fmod (cosh h0) (log1p h1))))) (* (cbrt (sqrt (fmod (cosh h0) (log1p h1)))) (cbrt (sqrt (fmod (cosh h0) (log1p h1)))))) (* (cbrt (sqrt (fmod (cosh h0) (log1p h1)))) (cbrt (sqrt (fmod (cosh h0) (log1p h1))))) (* (sqrt (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1))))) (sqrt (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1)))))) (* (sqrt (cbrt (fmod (cosh h0) (log1p h1)))) (sqrt (cbrt (fmod (cosh h0) (log1p h1))))) (* (sqrt (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (sqrt (fmod (cosh h0) (log1p h1))))) (* (sqrt (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (sqrt (fmod (cosh h0) (log1p h1))))) (* (sqrt (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (sqrt (fmod (cosh h0) (log1p h1))))) (* (sqrt (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (sqrt (fmod (cosh h0) (log1p h1))))) (* (sqrt 1) (sqrt 1)) (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1)))) (* (sqrt (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (sqrt (fmod (cosh h0) (log1p h1))))) (* (sqrt (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (sqrt (fmod (cosh h0) (log1p h1))))) (* (sqrt (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (sqrt (fmod (cosh h0) (log1p h1))))) (* (sqrt (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (sqrt (fmod (cosh h0) (log1p h1))))) (* 1 1) (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1)))) (* (sqrt (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (sqrt (fmod (cosh h0) (log1p h1))))) (* (sqrt (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (sqrt (fmod (cosh h0) (log1p h1))))) (* (sqrt (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (sqrt (fmod (cosh h0) (log1p h1))))) (* (sqrt (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (sqrt (fmod (cosh h0) (log1p h1))))) (* (sqrt (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (sqrt (fmod (cosh h0) (log1p h1))))) (* (sqrt (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (sqrt (fmod (cosh h0) (log1p h1))))) (* (sqrt (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (sqrt (fmod (cosh h0) (log1p h1))))) (* (sqrt (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (sqrt (fmod (cosh h0) (log1p h1))))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (fmod (cosh h0) (log1p h1))) (* (cbrt (sqrt (fmod (cosh h0) (log1p h1)))) (cbrt (sqrt (fmod (cosh h0) (log1p h1)))))) (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1)))))) (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (sqrt (fmod (cosh h0) (log1p h1))))) (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt 1)) (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (sqrt (fmod (cosh h0) (log1p h1))))) (* (sqrt (fmod (cosh h0) (log1p h1))) 1) (* (cbrt (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (fmod (cosh h0) (log1p h1)))) (* (sqrt (cbrt (fmod (cosh h0) (log1p h1)))) (sqrt (fmod (cosh h0) (log1p h1)))) (* (sqrt (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (fmod (cosh h0) (log1p h1)))) (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1)))) (* (sqrt (sqrt (fmod (cosh h0) (log1p h1)))) (sqrt (fmod (cosh h0) (log1p h1)))) (* (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1)))) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) 0.713 * * [simplify]: iteration 0 : 96 enodes (cost 405 ) 0.716 * * [simplify]: iteration 1 : 366 enodes (cost 348 ) 0.726 * * [simplify]: iteration 2 : 2218 enodes (cost 328 ) 0.809 * * [simplify]: iteration 3 : 5001 enodes (cost 310 ) 0.811 * * * [progress]: adding candidates to table 0.915 * * [progress]: iteration 3 / 4 0.916 * * * [progress]: picking best candidate 0.940 * * * * [pick]: Picked # 0.940 * * * [progress]: localizing error 0.949 * * * [progress]: generating rewritten candidates 0.949 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.950 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.951 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.954 * * * [progress]: generating series expansions 0.954 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.955 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.955 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.955 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.955 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.955 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.955 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.955 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.955 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.955 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.955 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.955 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.955 * [taylor]: Taking taylor expansion of 0 in a 0.955 * [backup-simplify]: Simplify 0 into 0 0.955 * [backup-simplify]: Simplify 0 into 0 0.955 * [backup-simplify]: Simplify 0 into 0 0.955 * [taylor]: Taking taylor expansion of 0 in a 0.955 * [backup-simplify]: Simplify 0 into 0 0.955 * [backup-simplify]: Simplify 0 into 0 0.955 * [backup-simplify]: Simplify 0 into 0 0.955 * [backup-simplify]: Simplify 0 into 0 0.955 * [taylor]: Taking taylor expansion of 0 in a 0.955 * [backup-simplify]: Simplify 0 into 0 0.955 * [backup-simplify]: Simplify 0 into 0 0.955 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.955 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.955 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.955 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.955 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.956 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.956 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.956 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.956 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.956 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.956 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.956 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.956 * [taylor]: Taking taylor expansion of 0 in a 0.956 * [backup-simplify]: Simplify 0 into 0 0.956 * [backup-simplify]: Simplify 0 into 0 0.956 * [backup-simplify]: Simplify 0 into 0 0.956 * [taylor]: Taking taylor expansion of 0 in a 0.956 * [backup-simplify]: Simplify 0 into 0 0.956 * [backup-simplify]: Simplify 0 into 0 0.956 * [backup-simplify]: Simplify 0 into 0 0.956 * [backup-simplify]: Simplify 0 into 0 0.956 * [taylor]: Taking taylor expansion of 0 in a 0.956 * [backup-simplify]: Simplify 0 into 0 0.956 * [backup-simplify]: Simplify 0 into 0 0.956 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.956 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.956 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 0.956 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.957 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.957 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.957 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.957 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 0.957 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.957 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 0.957 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.957 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.957 * [taylor]: Taking taylor expansion of 0 in a 0.957 * [backup-simplify]: Simplify 0 into 0 0.957 * [backup-simplify]: Simplify 0 into 0 0.957 * [backup-simplify]: Simplify 0 into 0 0.957 * [taylor]: Taking taylor expansion of 0 in a 0.957 * [backup-simplify]: Simplify 0 into 0 0.957 * [backup-simplify]: Simplify 0 into 0 0.957 * [backup-simplify]: Simplify 0 into 0 0.957 * [backup-simplify]: Simplify 0 into 0 0.957 * [taylor]: Taking taylor expansion of 0 in a 0.957 * [backup-simplify]: Simplify 0 into 0 0.957 * [backup-simplify]: Simplify 0 into 0 0.957 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.957 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.957 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.957 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 0.957 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 0.957 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.958 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.958 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.958 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 0.958 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.958 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.958 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.958 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 0.958 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.958 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.958 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.958 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 0.958 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.958 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.958 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.958 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.959 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 0.959 * [taylor]: Taking taylor expansion of 0 in a 0.959 * [backup-simplify]: Simplify 0 into 0 0.959 * [backup-simplify]: Simplify 0 into 0 0.959 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 0.959 * [backup-simplify]: Simplify 0 into 0 0.961 * [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.961 * [taylor]: Taking taylor expansion of 0 in a 0.961 * [backup-simplify]: Simplify 0 into 0 0.961 * [backup-simplify]: Simplify 0 into 0 0.961 * [backup-simplify]: Simplify 0 into 0 0.962 * [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.962 * [backup-simplify]: Simplify 0 into 0 0.964 * [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.964 * [taylor]: Taking taylor expansion of 0 in a 0.964 * [backup-simplify]: Simplify 0 into 0 0.964 * [backup-simplify]: Simplify 0 into 0 0.964 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 0.964 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.964 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 0.964 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 0.964 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.964 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.964 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.964 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 0.964 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.964 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.964 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.964 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 0.964 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.965 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.965 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.965 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 0.965 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.965 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.965 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.965 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0.966 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) 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 (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 0.966 * [backup-simplify]: Simplify 0 into 0 0.967 * [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.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.969 * [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.969 * [backup-simplify]: Simplify 0 into 0 0.970 * [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.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.971 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 0.971 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.971 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 0.971 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in 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.971 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.971 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 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 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.971 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 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 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.971 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 0.971 * [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 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.972 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0.972 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) 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.973 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 0.973 * [backup-simplify]: Simplify 0 into 0 0.974 * [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.974 * [taylor]: Taking taylor expansion of 0 in a 0.974 * [backup-simplify]: Simplify 0 into 0 0.974 * [backup-simplify]: Simplify 0 into 0 0.974 * [backup-simplify]: Simplify 0 into 0 0.975 * [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.975 * [backup-simplify]: Simplify 0 into 0 0.977 * [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.977 * [taylor]: Taking taylor expansion of 0 in a 0.977 * [backup-simplify]: Simplify 0 into 0 0.977 * [backup-simplify]: Simplify 0 into 0 0.977 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 0.977 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.978 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 0.978 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 0.978 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.978 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.978 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.978 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.978 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 0.978 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.978 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 0.978 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.978 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.978 * [taylor]: Taking taylor expansion of 0 in a 0.978 * [backup-simplify]: Simplify 0 into 0 0.978 * [backup-simplify]: Simplify 0 into 0 0.978 * [backup-simplify]: Simplify 0 into 0 0.978 * [taylor]: Taking taylor expansion of 0 in a 0.978 * [backup-simplify]: Simplify 0 into 0 0.978 * [backup-simplify]: Simplify 0 into 0 0.978 * [backup-simplify]: Simplify 0 into 0 0.978 * [backup-simplify]: Simplify 0 into 0 0.978 * [taylor]: Taking taylor expansion of 0 in a 0.978 * [backup-simplify]: Simplify 0 into 0 0.978 * [backup-simplify]: Simplify 0 into 0 0.978 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 0.978 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.978 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 0.978 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.979 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.979 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.979 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.979 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 0.979 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.979 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 0.979 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 0.979 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 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 0 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 0 into 0 0.979 * [backup-simplify]: Simplify 0 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 (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 0.979 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.980 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 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 * [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 * [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 * [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 (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 0.980 * [taylor]: Taking taylor expansion of 0 in a 0.980 * [backup-simplify]: Simplify 0 into 0 0.980 * [backup-simplify]: Simplify 0 into 0 0.980 * [backup-simplify]: Simplify 0 into 0 0.980 * [taylor]: Taking taylor expansion of 0 in a 0.980 * [backup-simplify]: Simplify 0 into 0 0.980 * [backup-simplify]: Simplify 0 into 0 0.980 * [backup-simplify]: Simplify 0 into 0 0.980 * [backup-simplify]: Simplify 0 into 0 0.980 * [taylor]: Taking taylor expansion of 0 in a 0.980 * [backup-simplify]: Simplify 0 into 0 0.980 * [backup-simplify]: Simplify 0 into 0 0.980 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 0.980 * * * [progress]: simplifying candidates 0.981 * [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.981 * [simplify]: Sending expressions to egg_math: (log (fmod (cosh h0) (log1p h1))) (exp (fmod (cosh h0) (log1p h1))) (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1)))) (cbrt (fmod (cosh h0) (log1p h1))) (* (* (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))) (log (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1))))) (log (cbrt (fmod (cosh h0) (log1p h1)))) (log (sqrt (fmod (cosh h0) (log1p h1)))) (log (sqrt (fmod (cosh h0) (log1p h1)))) (log 1) (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (log (log (fmod (cosh h0) (log1p h1)))) (exp (log (fmod (cosh h0) (log1p h1)))) (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1))))) (cbrt (log (fmod (cosh h0) (log1p h1)))) (* (* (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1)))) (log (fmod (cosh h0) (log1p h1)))) (sqrt (log (fmod (cosh h0) (log1p h1)))) (sqrt (log (fmod (cosh h0) (log1p h1)))) (exp 1) (exp (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1)))))) (exp (sqrt (log (fmod (cosh h0) (log1p h1))))) (exp 1) (exp (log (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1)))))) (exp (log (cbrt (fmod (cosh h0) (log1p h1))))) (exp (log (sqrt (fmod (cosh h0) (log1p h1))))) (exp (log (sqrt (fmod (cosh h0) (log1p h1))))) (exp (log 1)) (exp (log (fmod (cosh h0) (log1p h1)))) (log (exp (log (fmod (cosh h0) (log1p h1))))) (exp (exp (log (fmod (cosh h0) (log1p h1))))) (* (cbrt (exp (log (fmod (cosh h0) (log1p h1))))) (cbrt (exp (log (fmod (cosh h0) (log1p h1)))))) (cbrt (exp (log (fmod (cosh h0) (log1p h1))))) (* (* (exp (log (fmod (cosh h0) (log1p h1)))) (exp (log (fmod (cosh h0) (log1p h1))))) (exp (log (fmod (cosh h0) (log1p h1))))) (sqrt (exp (log (fmod (cosh h0) (log1p h1))))) (sqrt (exp (log (fmod (cosh h0) (log1p h1))))) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) 0.984 * * [simplify]: iteration 0 : 55 enodes (cost 234 ) 0.985 * * [simplify]: iteration 1 : 81 enodes (cost 206 ) 0.987 * * [simplify]: iteration 2 : 103 enodes (cost 200 ) 0.988 * * [simplify]: iteration 3 : 150 enodes (cost 194 ) 0.990 * * [simplify]: iteration 4 : 295 enodes (cost 194 ) 0.995 * * [simplify]: iteration 5 : 724 enodes (cost 194 ) 1.007 * * [simplify]: iteration 6 : 2472 enodes (cost 194 ) 1.059 * * [simplify]: iteration 7 : 5001 enodes (cost 194 ) 1.060 * * * [progress]: adding candidates to table 1.150 * * [progress]: iteration 4 / 4 1.150 * * * [progress]: picking best candidate 1.187 * * * * [pick]: Picked # 1.187 * * * [progress]: localizing error 1.197 * * * [progress]: generating rewritten candidates 1.197 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1) 1.198 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 1.199 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.203 * * * [progress]: generating series expansions 1.203 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1) 1.203 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.203 * [approximate]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0 1.203 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.203 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.203 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.203 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.203 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.203 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.203 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.203 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.203 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.203 * [taylor]: Taking taylor expansion of 0 in a 1.203 * [backup-simplify]: Simplify 0 into 0 1.203 * [backup-simplify]: Simplify 0 into 0 1.203 * [backup-simplify]: Simplify 0 into 0 1.203 * [taylor]: Taking taylor expansion of 0 in a 1.204 * [backup-simplify]: Simplify 0 into 0 1.204 * [backup-simplify]: Simplify 0 into 0 1.204 * [backup-simplify]: Simplify 0 into 0 1.204 * [backup-simplify]: Simplify 0 into 0 1.204 * [taylor]: Taking taylor expansion of 0 in a 1.204 * [backup-simplify]: Simplify 0 into 0 1.204 * [backup-simplify]: Simplify 0 into 0 1.204 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.204 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.204 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0 1.204 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.204 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.204 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.204 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.204 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.204 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.204 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.204 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.204 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.204 * [taylor]: Taking taylor expansion of 0 in a 1.204 * [backup-simplify]: Simplify 0 into 0 1.204 * [backup-simplify]: Simplify 0 into 0 1.204 * [backup-simplify]: Simplify 0 into 0 1.204 * [taylor]: Taking taylor expansion of 0 in a 1.204 * [backup-simplify]: Simplify 0 into 0 1.204 * [backup-simplify]: Simplify 0 into 0 1.204 * [backup-simplify]: Simplify 0 into 0 1.205 * [backup-simplify]: Simplify 0 into 0 1.205 * [taylor]: Taking taylor expansion of 0 in a 1.205 * [backup-simplify]: Simplify 0 into 0 1.205 * [backup-simplify]: Simplify 0 into 0 1.205 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.205 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.205 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0 1.205 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.205 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.205 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.205 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.205 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.205 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.205 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.205 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.205 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.205 * [taylor]: Taking taylor expansion of 0 in a 1.205 * [backup-simplify]: Simplify 0 into 0 1.205 * [backup-simplify]: Simplify 0 into 0 1.205 * [backup-simplify]: Simplify 0 into 0 1.205 * [taylor]: Taking taylor expansion of 0 in a 1.205 * [backup-simplify]: Simplify 0 into 0 1.205 * [backup-simplify]: Simplify 0 into 0 1.205 * [backup-simplify]: Simplify 0 into 0 1.205 * [backup-simplify]: Simplify 0 into 0 1.206 * [taylor]: Taking taylor expansion of 0 in a 1.206 * [backup-simplify]: Simplify 0 into 0 1.206 * [backup-simplify]: Simplify 0 into 0 1.206 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.206 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 1.206 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.206 * [approximate]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0 1.206 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.206 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.206 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.206 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.206 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.206 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.206 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.206 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.206 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.206 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.206 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.206 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.206 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.206 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.206 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.206 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.207 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.207 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.207 * [taylor]: Taking taylor expansion of 0 in a 1.207 * [backup-simplify]: Simplify 0 into 0 1.207 * [backup-simplify]: Simplify 0 into 0 1.208 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.208 * [backup-simplify]: Simplify 0 into 0 1.209 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 1.209 * [taylor]: Taking taylor expansion of 0 in a 1.209 * [backup-simplify]: Simplify 0 into 0 1.209 * [backup-simplify]: Simplify 0 into 0 1.209 * [backup-simplify]: Simplify 0 into 0 1.210 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 1.210 * [backup-simplify]: Simplify 0 into 0 1.212 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 1.212 * [taylor]: Taking taylor expansion of 0 in a 1.212 * [backup-simplify]: Simplify 0 into 0 1.212 * [backup-simplify]: Simplify 0 into 0 1.213 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.213 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.213 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0 1.213 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.213 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.213 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.213 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.213 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.213 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.213 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.213 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.213 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.213 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.213 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.213 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.213 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.213 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.213 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.214 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.214 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.214 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.214 * [taylor]: Taking taylor expansion of 0 in a 1.214 * [backup-simplify]: Simplify 0 into 0 1.214 * [backup-simplify]: Simplify 0 into 0 1.215 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.215 * [backup-simplify]: Simplify 0 into 0 1.219 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 1.219 * [taylor]: Taking taylor expansion of 0 in a 1.219 * [backup-simplify]: Simplify 0 into 0 1.219 * [backup-simplify]: Simplify 0 into 0 1.219 * [backup-simplify]: Simplify 0 into 0 1.220 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 1.220 * [backup-simplify]: Simplify 0 into 0 1.222 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 1.222 * [taylor]: Taking taylor expansion of 0 in a 1.222 * [backup-simplify]: Simplify 0 into 0 1.222 * [backup-simplify]: Simplify 0 into 0 1.222 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a))) 1.223 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.223 * [approximate]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0 1.223 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.223 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.223 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.223 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.223 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.223 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.223 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.223 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.223 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.223 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.223 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.223 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.223 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.223 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.223 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.224 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.224 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.224 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.224 * [taylor]: Taking taylor expansion of 0 in a 1.224 * [backup-simplify]: Simplify 0 into 0 1.224 * [backup-simplify]: Simplify 0 into 0 1.225 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.225 * [backup-simplify]: Simplify 0 into 0 1.226 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 1.226 * [taylor]: Taking taylor expansion of 0 in a 1.226 * [backup-simplify]: Simplify 0 into 0 1.226 * [backup-simplify]: Simplify 0 into 0 1.226 * [backup-simplify]: Simplify 0 into 0 1.227 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 1.227 * [backup-simplify]: Simplify 0 into 0 1.229 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 1.229 * [taylor]: Taking taylor expansion of 0 in a 1.229 * [backup-simplify]: Simplify 0 into 0 1.229 * [backup-simplify]: Simplify 0 into 0 1.229 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a))) 1.229 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.229 * [backup-simplify]: Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a)))) 1.229 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0 1.229 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a 1.230 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a 1.230 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a 1.230 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a 1.230 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.230 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.230 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.230 * [taylor]: Taking taylor expansion of (log E) in a 1.230 * [taylor]: Taking taylor expansion of E in a 1.230 * [backup-simplify]: Simplify E into E 1.230 * [backup-simplify]: Simplify (log E) into 1 1.230 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 1.230 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.230 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 1.230 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 1.230 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 1.230 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.230 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.230 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.230 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.230 * [taylor]: Taking taylor expansion of (log E) in c 1.230 * [taylor]: Taking taylor expansion of E in c 1.230 * [backup-simplify]: Simplify E into E 1.230 * [backup-simplify]: Simplify (log E) into 1 1.230 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 1.230 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.230 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c 1.230 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c 1.230 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c 1.231 * [taylor]: Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c 1.231 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in c 1.231 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.231 * [backup-simplify]: Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a))) 1.231 * [taylor]: Taking taylor expansion of (log E) in c 1.231 * [taylor]: Taking taylor expansion of E in c 1.231 * [backup-simplify]: Simplify E into E 1.231 * [backup-simplify]: Simplify (log E) into 1 1.231 * [backup-simplify]: Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a))) 1.231 * [backup-simplify]: Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a)) 1.231 * [taylor]: Taking taylor expansion of (fmod (cosh c) (log1p a)) in a 1.231 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.231 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.232 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1.232 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0 1.233 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0 1.233 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0 1.233 * [taylor]: Taking taylor expansion of 0 in a 1.233 * [backup-simplify]: Simplify 0 into 0 1.233 * [backup-simplify]: Simplify 0 into 0 1.233 * [backup-simplify]: Simplify 0 into 0 1.235 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1.236 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0 1.237 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0 1.237 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.237 * [taylor]: Taking taylor expansion of 0 in a 1.237 * [backup-simplify]: Simplify 0 into 0 1.237 * [backup-simplify]: Simplify 0 into 0 1.237 * [backup-simplify]: Simplify 0 into 0 1.238 * [backup-simplify]: Simplify 0 into 0 1.240 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 1.242 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0 1.242 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.243 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.243 * [taylor]: Taking taylor expansion of 0 in a 1.243 * [backup-simplify]: Simplify 0 into 0 1.243 * [backup-simplify]: Simplify 0 into 0 1.243 * [backup-simplify]: Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a)) 1.243 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) 1.243 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0 1.244 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a 1.244 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a 1.244 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a 1.244 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a 1.244 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.244 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.244 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.244 * [taylor]: Taking taylor expansion of (log E) in a 1.244 * [taylor]: Taking taylor expansion of E in a 1.244 * [backup-simplify]: Simplify E into E 1.244 * [backup-simplify]: Simplify (log E) into 1 1.244 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.244 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.244 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 1.244 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 1.244 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 1.244 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.244 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.244 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.244 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.244 * [taylor]: Taking taylor expansion of (log E) in c 1.244 * [taylor]: Taking taylor expansion of E in c 1.244 * [backup-simplify]: Simplify E into E 1.244 * [backup-simplify]: Simplify (log E) into 1 1.245 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.245 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.245 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c 1.245 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c 1.245 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c 1.245 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c 1.245 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c 1.245 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.245 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.245 * [taylor]: Taking taylor expansion of (log E) in c 1.245 * [taylor]: Taking taylor expansion of E in c 1.245 * [backup-simplify]: Simplify E into E 1.245 * [backup-simplify]: Simplify (log E) into 1 1.245 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1.245 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.245 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a 1.245 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.246 * [backup-simplify]: Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1.246 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1.247 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0 1.247 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0 1.248 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 1.248 * [taylor]: Taking taylor expansion of 0 in a 1.248 * [backup-simplify]: Simplify 0 into 0 1.248 * [backup-simplify]: Simplify 0 into 0 1.248 * [backup-simplify]: Simplify 0 into 0 1.249 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1.251 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0 1.251 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 1.252 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.252 * [taylor]: Taking taylor expansion of 0 in a 1.252 * [backup-simplify]: Simplify 0 into 0 1.252 * [backup-simplify]: Simplify 0 into 0 1.252 * [backup-simplify]: Simplify 0 into 0 1.252 * [backup-simplify]: Simplify 0 into 0 1.255 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 1.257 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0 1.257 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.258 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.258 * [taylor]: Taking taylor expansion of 0 in a 1.258 * [backup-simplify]: Simplify 0 into 0 1.258 * [backup-simplify]: Simplify 0 into 0 1.259 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a)) 1.259 * [backup-simplify]: Simplify (pow E (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) 1.259 * [approximate]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0 1.259 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a 1.259 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a 1.259 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a 1.259 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a 1.259 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.259 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.259 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.259 * [taylor]: Taking taylor expansion of (log E) in a 1.259 * [taylor]: Taking taylor expansion of E in a 1.259 * [backup-simplify]: Simplify E into E 1.259 * [backup-simplify]: Simplify (log E) into 1 1.259 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.259 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.259 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 1.259 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 1.259 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 1.259 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.259 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.260 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.260 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.260 * [taylor]: Taking taylor expansion of (log E) in c 1.260 * [taylor]: Taking taylor expansion of E in c 1.260 * [backup-simplify]: Simplify E into E 1.260 * [backup-simplify]: Simplify (log E) into 1 1.260 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.260 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.260 * [taylor]: Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c 1.260 * [taylor]: Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c 1.260 * [taylor]: Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c 1.260 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c 1.260 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c 1.260 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.260 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.260 * [taylor]: Taking taylor expansion of (log E) in c 1.260 * [taylor]: Taking taylor expansion of E in c 1.260 * [backup-simplify]: Simplify E into E 1.260 * [backup-simplify]: Simplify (log E) into 1 1.261 * [backup-simplify]: Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1.261 * [backup-simplify]: Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.261 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a 1.261 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.261 * [backup-simplify]: Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1.262 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0 1.262 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0 1.263 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0 1.263 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0 1.263 * [taylor]: Taking taylor expansion of 0 in a 1.263 * [backup-simplify]: Simplify 0 into 0 1.263 * [backup-simplify]: Simplify 0 into 0 1.263 * [backup-simplify]: Simplify 0 into 0 1.265 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0 1.266 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0 1.267 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0 1.267 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1.267 * [taylor]: Taking taylor expansion of 0 in a 1.267 * [backup-simplify]: Simplify 0 into 0 1.267 * [backup-simplify]: Simplify 0 into 0 1.267 * [backup-simplify]: Simplify 0 into 0 1.267 * [backup-simplify]: Simplify 0 into 0 1.270 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0 1.272 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0 1.272 * [backup-simplify]: Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.273 * [backup-simplify]: Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1.273 * [taylor]: Taking taylor expansion of 0 in a 1.273 * [backup-simplify]: Simplify 0 into 0 1.273 * [backup-simplify]: Simplify 0 into 0 1.274 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a)) 1.274 * * * [progress]: simplifying candidates 1.274 * [simplify]: Simplifying: (log (fmod (cosh c) (log1p a))) (exp (fmod (cosh c) (log1p a))) (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))) (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))) (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))) (log 1) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))) (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a)))) (* (log E) (log (fmod (cosh c) (log1p a)))) (* (log E) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a)))) (pow E 1) (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (pow E 1) (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a)))) (pow (* (cbrt E) (cbrt E)) (log (fmod (cosh c) (log1p a)))) (pow (cbrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow (sqrt E) (log (fmod (cosh c) (log1p a)))) (pow 1 (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a)))) (log (pow E (log (fmod (cosh c) (log1p a))))) (exp (pow E (log (fmod (cosh c) (log1p a))))) (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (pow E (/ (log (fmod (cosh c) (log1p a))) 2)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a)) 1.275 * [simplify]: Sending expressions to egg_math: (log (fmod (cosh h0) (log1p h1))) (exp (fmod (cosh h0) (log1p h1))) (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1)))) (cbrt (fmod (cosh h0) (log1p h1))) (* (* (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))) (sqrt (fmod (cosh h0) (log1p h1))) (log (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1))))) (log (cbrt (fmod (cosh h0) (log1p h1)))) (log (sqrt (fmod (cosh h0) (log1p h1)))) (log (sqrt (fmod (cosh h0) (log1p h1)))) (log 1) (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (log (log (fmod (cosh h0) (log1p h1)))) (exp (log (fmod (cosh h0) (log1p h1)))) (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1))))) (cbrt (log (fmod (cosh h0) (log1p h1)))) (* (* (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1)))) (log (fmod (cosh h0) (log1p h1)))) (sqrt (log (fmod (cosh h0) (log1p h1)))) (sqrt (log (fmod (cosh h0) (log1p h1)))) (* 1 (log (fmod (cosh h0) (log1p h1)))) (* (log h2) (log (fmod (cosh h0) (log1p h1)))) (* (log h2) (log (fmod (cosh h0) (log1p h1)))) (* 1 (log (fmod (cosh h0) (log1p h1)))) (pow h2 1) (pow h2 (* (cbrt (log (fmod (cosh h0) (log1p h1)))) (cbrt (log (fmod (cosh h0) (log1p h1)))))) (pow h2 (sqrt (log (fmod (cosh h0) (log1p h1))))) (pow h2 1) (pow h2 (log (* (cbrt (fmod (cosh h0) (log1p h1))) (cbrt (fmod (cosh h0) (log1p h1)))))) (pow h2 (log (cbrt (fmod (cosh h0) (log1p h1))))) (pow h2 (log (sqrt (fmod (cosh h0) (log1p h1))))) (pow h2 (log (sqrt (fmod (cosh h0) (log1p h1))))) (pow h2 (log 1)) (pow h2 (log (fmod (cosh h0) (log1p h1)))) (pow (* (cbrt h2) (cbrt h2)) (log (fmod (cosh h0) (log1p h1)))) (pow (cbrt h2) (log (fmod (cosh h0) (log1p h1)))) (pow (sqrt h2) (log (fmod (cosh h0) (log1p h1)))) (pow (sqrt h2) (log (fmod (cosh h0) (log1p h1)))) (pow 1 (log (fmod (cosh h0) (log1p h1)))) (pow h2 (log (fmod (cosh h0) (log1p h1)))) (log (pow h2 (log (fmod (cosh h0) (log1p h1))))) (exp (pow h2 (log (fmod (cosh h0) (log1p h1))))) (* (cbrt (pow h2 (log (fmod (cosh h0) (log1p h1))))) (cbrt (pow h2 (log (fmod (cosh h0) (log1p h1)))))) (cbrt (pow h2 (log (fmod (cosh h0) (log1p h1))))) (* (* (pow h2 (log (fmod (cosh h0) (log1p h1)))) (pow h2 (log (fmod (cosh h0) (log1p h1))))) (pow h2 (log (fmod (cosh h0) (log1p h1))))) (sqrt (pow h2 (log (fmod (cosh h0) (log1p h1))))) (sqrt (pow h2 (log (fmod (cosh h0) (log1p h1))))) (pow h2 (/ (log (fmod (cosh h0) (log1p h1))) 2)) (pow h2 (/ (log (fmod (cosh h0) (log1p h1))) 2)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (log (fmod (cosh h0) (log1p h1))) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) (fmod (cosh h0) (log1p h1)) 1.277 * * [simplify]: iteration 0 : 101 enodes (cost 324 ) 1.280 * * [simplify]: iteration 1 : 290 enodes (cost 297 ) 1.284 * * [simplify]: iteration 2 : 960 enodes (cost 293 ) 1.307 * * [simplify]: iteration 3 : 4564 enodes (cost 291 ) 1.462 * * [simplify]: iteration 4 : 5001 enodes (cost 291 ) 1.464 * * * [progress]: adding candidates to table 1.580 * [progress]: [Phase 3 of 3] Extracting. 1.580 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # #) 1.584 * * * [regime-changes]: Trying 5 branch expressions: ((log1p a) (cosh c) (fmod (cosh c) (log1p a)) c a) 1.584 * * * * [regimes]: Trying to branch on (log1p a) from (# # # # # # # # # # # # # # # #) 1.651 * * * * [regimes]: Trying to branch on (cosh c) from (# # # # # # # # # # # # # # # #) 1.708 * * * * [regimes]: Trying to branch on (fmod (cosh c) (log1p a)) from (# # # # # # # # # # # # # # # #) 1.783 * * * * [regimes]: Trying to branch on c from (# # # # # # # # # # # # # # # #) 1.845 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # # # # #) 1.908 * * * [regime]: Found split indices: #